Proof RESTART_TABLES(#252) (#376)

* Proof P76

* 1) comma instead of period
2) -- to -
3) remove space after comma

* Proof RESTART_TABLES
pull/378/head
cai 2019-03-28 00:09:45 +08:00 committed by James Harris
parent 50d977a891
commit df1dd7cf58
1 changed files with 27 additions and 36 deletions

View File

@ -37,10 +37,10 @@
# #
# THERE ARE TWO FORMS OF RESTART TABLES FOR EACH GROUP. THEY ARE KNOWN AS THE EVEN RESTART TABLES AND THE ODD # THERE ARE TWO FORMS OF RESTART TABLES FOR EACH GROUP. THEY ARE KNOWN AS THE EVEN RESTART TABLES AND THE ODD
# RESTART TABLES. THE ODD TABLES HAVE ONLY ONE ENTRY OF THREE LOCATIONS WHILE THE EVEN TABLES HAVE TWO ENTRIES # RESTART TABLES. THE ODD TABLES HAVE ONLY ONE ENTRY OF THREE LOCATIONS WHILE THE EVEN TABLES HAVE TWO ENTRIES
# EACH USING THREE LOCATIONS. THE INFORMATION AS TO WHETHER IT IS A JOB, WAITLIST, OR A LONGCALL IS GIVEN BY THE # EACH USING THREE LOCATIONS. THE INFORMATION AS TO WHETHER IT IS A JOB, WAITLIST, OR A LONGCALL IS GIVEN BY THE
# WAY THINGS ARE PUT IN TO THE TABLES. # WAY THINGS ARE PUT INTO THE TABLES.
# #
# A JOB HAS ITS PRIORITY STORED IN A PRDTTAB OF THE CORRECT PHASE SPOT -- A POSITIVE PRIORITY INDICATES A # A JOB HAS ITS PRIORITY STORED IN PRDTTAB OF THE CORRECT PHASE SPOT - A POSITIVE PRIORITY INDICATES A
# FINDVAC JOB, A NEGATIVE PRIORITY A NOVAC. THE 2CADR OF THE JOB IS STORED IN THE CADRTAB. # FINDVAC JOB, A NEGATIVE PRIORITY A NOVAC. THE 2CADR OF THE JOB IS STORED IN THE CADRTAB.
# FOR EXAMPLE, # FOR EXAMPLE,
# #
@ -64,19 +64,19 @@
# OCT 31000 # OCT 31000
# 2CADR JOBAGAIN # 2CADR JOBAGAIN
# #
# THIS WOULD START UP LONGTASK AT THE APPROPRIATE TIME, OR IMMEDIATELY IF THE TIME HAD ALREADY PASSED. IT SHOULD # THIS WOULD START UP LONGTASK AT THE APPROPRIATE TIME, OR IMMEDIATELY IF THE TIME HAD ALREADY PASSED. IT SHOULD
# BE NOTED THAT IF DELTAT IS IN A SWITCHED E BANK, THIS INFORMATION SHOULD BE IN THE BBCON OF THE 2CADR OF THE # BE NOTED THAT IF DELTAT IS IN A SWITCHED E BANK, THIS INFORMATION SHOULD BE IN THE BBCON OF THE 2CADR OF THE
# TASK. FROM ABOVE, WE SEE THAT THE SECOND PART OF THIS PHASE WOULD BE STARTED AS A JOB WITH A PRIORITY OF 31. # TASK. FROM ABOVE, WE SEE THAT THE SECOND PART OF THIS PHASE WOULD BE STARTED AS A JOB WITH A PRIORITY OF 31.
# #
# WAITLIST CALLS ARE IDENTIFIED BY THE FACT THAT THEIR 2CADR IS STORED NEGATIVELY. IF PRDTTAB OF THE PHASE SPOT # WAITLIST CALLS ARE IDENTIFIED BY THE FACT THAT THEIR 2CADR IS STORED NEGATIVELY. IF PRDTTAB OF THE PHASE SPOT
# IS POSITIVE, THEN IT CONTAINS THE DELTA TIME, IF PRDTTAB IS NEGATIVE THEN IT IS THE -GENADR OF AN ERASABLE # IS POSITIVE, THEN IT CONTAINS THE DELTA TIME, IF PRDTTAB IS NEGATIVE THEN IT IS THE -GENADR OF AN ERASABLE
# LOCATION CONTAINING THE DELTA TIME, THAT IS, THE TIME IS STORED INDIRECTLY. IT SHOULD BE NOTED AS ABOVE, THAT # LOCATION CONTAINING THE DELTA TIME, THAT IS, THE TIME IS STORED INDIRECTLY. IT SHOULD BE NOTED AS ABOVE, THAT
# IF THE TIME IS STORED INDIRECTLY, THE BBCON MUST CONTAIN THE NECESSARY E BANK INFORMATION IF APPLICABLE. WITH # IF THE TIME IS STORED INDIRECTLY, THE BBCON MUST CONTAIN THE NECESSARY E BANK INFORMATION IF APPLICABLE. WITH
# WAITLIST WE HAVE ONE FURTHER OPTION, IF -0 IS STORED IN PRDTTAB, IT WILL CAUSE AN IMMEDIATE RESTART OF THE # WAITLIST WE HAVE ONE FURTHER OPTION, IF -0 IS STORED IN PRDTTAB, IT WILL CAUSE AN IMMEDIATE RESTART OF THE
# TASK. EXAMPLES, # TASK. EXAMPLES,
# #
# OCT 77777 # THIS WILL CAUSE AN IMMEDIATE RESTART # OCT 77777 # THIS WILL CAUSE AN IMMEDIATE RESTART
# -2CADR ATASK # OF THE TASK "ATASK" # -2CADR ATASK # OF THE TASK :ATASK:
# #
# DEC 200 # IF THE TIME OF THE 2 SECONDS SINCE DUMMY # DEC 200 # IF THE TIME OF THE 2 SECONDS SINCE DUMMY
# -2CADR DUMMY # WAS PUT ON THE WAITLIST IS UP, IT WILL BEGIN # -2CADR DUMMY # WAS PUT ON THE WAITLIST IS UP, IT WILL BEGIN
@ -112,7 +112,7 @@ SIZETAB TC 1.2SPOT -12006
TC 6.3SPOT -12004 TC 6.3SPOT -12004
1.2SPOT EQUALS 3.2SPOT 1.2SPOT EQUALS 3.2SPOT
# ANY MORE GROUP 1.EVEN RESTART VALUES SHOULD GO HERE. # ANY MORE GROUP 1.EVEN RESTART VALUES SHOULD GO HERE
1.3SPOT DEC 120 # THIS NUMBER MUST BE EQUAL C(JTAGTIME) 1.3SPOT DEC 120 # THIS NUMBER MUST BE EQUAL C(JTAGTIME)
EBANK= AOG EBANK= AOG
@ -130,7 +130,7 @@ SIZETAB TC 1.2SPOT -12006
EBANK= ESTROKER EBANK= ESTROKER
2CADR PIKUP20 2CADR PIKUP20
# ANY MORE GROUP 1.ODD RESTART VALUES SHOULD GO HERE. # ANY MORE GROUP 1.ODD RESTART VALUES SHOULD GO HERE
2.2SPOT EQUALS 1.2SPOT 2.2SPOT EQUALS 1.2SPOT
@ -158,7 +158,7 @@ SIZETAB TC 1.2SPOT -12006
EBANK= MRKBUF2 EBANK= MRKBUF2
2CADR REDOR22 2CADR REDOR22
# ANY MORE GROUP 2.ODD RESTART VALUES SHOULD GO HERE. # ANY MORE GROUP 2.ODD RESTART VALUES SHOULD GO HERE
3.2SPOT EQUALS 4.2SPOT 3.2SPOT EQUALS 4.2SPOT
@ -171,7 +171,6 @@ SIZETAB TC 1.2SPOT -12006
3.5SPOT DEC 0 3.5SPOT DEC 0
DEC 0 DEC 0
DEC 0 DEC 0
3.7SPOT OCT 22000 3.7SPOT OCT 22000
EBANK= TEPHEM EBANK= TEPHEM
2CADR MATRXJOB 2CADR MATRXJOB
@ -184,7 +183,7 @@ SIZETAB TC 1.2SPOT -12006
EBANK= TEPHEM EBANK= TEPHEM
2CADR REP11A 2CADR REP11A
3.15SPOT -GENADR TGO +1 3.15SPOT -GENADR TGO +1
EBANK= TGO EBANK= TGO
-2CADR ENGINOFF -2CADR ENGINOFF
@ -242,16 +241,15 @@ SIZETAB TC 1.2SPOT -12006
# Page 215 # Page 215
2CADR COMPVER # CALLS FOR OPTICS DATA AGAIN (STD LEADIN) 2CADR COMPVER # CALLS FOR OPTICS DATA AGAIN (STD LEADIN)
4.17SPOT OCT 16000 4.17SPOT OCT 16000 # PRELAUNCH AZIMUTH CHANGE
EBANK= XSM EBANK= XSM
2CADR AZMTHCG1 2CADR AZMTHCG1
4.21SPOT GENADR P40TMP # DELTA TIME USED IN SETTING UP 4.21SPOT GENADR P40TMP # DELTA TIME USED IN SETTING UP
-GENADR TIGBLNK # LONG CALL OF TIGBLNK BY P40,P41 -GENADR TIGBLNK # LONG CALL OF TIGBLNK BY P40,P41
EBANK= P40TMP EBANK= P40TMP
BBCON TIGBLNK BBCON TIGBLNK
4.23SPOT OCT 12000 # PROTECT P40S/SV BY P40 P41
4.23SPOT OCT 12000 # PROTECT P40S/SV BY P40 P41
EBANK= TIG EBANK= TIG
2CADR P40S/SV 2CADR P40S/SV
@ -265,7 +263,7 @@ SIZETAB TC 1.2SPOT -12006
4.31SPOT OCT 13000 4.31SPOT OCT 13000
EBANK= STAR EBANK= STAR
2CADR R51 +1 2CADR R51 +1
4.33SPOT DEC 2100 # PROTECT CONTINUING JOB TO START P63 4.33SPOT DEC 2100 # PROTECT CONTINUING JOB TO START P63
EBANK= AOG EBANK= AOG
@ -290,9 +288,9 @@ SIZETAB TC 1.2SPOT -12006
4.45SPOT OCT 13000 # PROTECT CONTINUING JOB S61.1 4.45SPOT OCT 13000 # PROTECT CONTINUING JOB S61.1
EBANK= AOG # (ENTRY IMU ALIGNMENT) EBANK= AOG # (ENTRY IMU ALIGNMENT)
# Page 216 # Page 216
2CADR S61.1A -1 2CADR S61.1A -1
4.47SPOT OCT 17000 # PROTECT HUNTEST ITERATION 4.47SPOT OCT 17000 # PROTECT HUNTEST ITERATION.
EBANK= AOG EBANK= AOG
2CADR PRE-HUNT 2CADR PRE-HUNT
@ -304,7 +302,7 @@ SIZETAB TC 1.2SPOT -12006
EBANK= END-E7 # EBANK7 FOR TIG EBANK= END-E7 # EBANK7 FOR TIG
-2CADR V97ETASK -2CADR V97ETASK
4.55SPOT OCT 13000 # PROTECT P65 RESPONSIVE DISPLAY. 4.55SPOT OCT 13000 # PROTECT P65 RESPONSIVE DISPLAY.
EBANK= RTINIT EBANK= RTINIT
2CADR P65.1 2CADR P65.1
@ -413,7 +411,6 @@ SIZETAB TC 1.2SPOT -12006
5.31SPOT DEC 0 5.31SPOT DEC 0
DEC 0 DEC 0
DEC 0 DEC 0
5.33SPOT OCT 20000 5.33SPOT OCT 20000
EBANK= XSM EBANK= XSM
2CADR RESCHNG 2CADR RESCHNG
@ -426,7 +423,7 @@ SIZETAB TC 1.2SPOT -12006
-2CADR CHEKAVEG -2CADR CHEKAVEG
5.41SPOT OCT 77777 # TO PROTECT PREREAD AT TIG-30A 5.41SPOT OCT 77777 # TO PROTECT PREREAD AT TIG-30A
EBANK= DVCNTR # TIG-15 T+60 EBANK= DVCNTR # TIG-15 T+60
-2CADR PREREAD -2CADR PREREAD
# ANY MORE GROUP 5.ODD RESTART VALUES SHOULD GO HERE # ANY MORE GROUP 5.ODD RESTART VALUES SHOULD GO HERE
@ -466,10 +463,9 @@ SIZETAB TC 1.2SPOT -12006
# PROGRAM DESCRIPTION: NEWPHASE DATE: 11 NOV 1966 # PROGRAM DESCRIPTION: NEWPHASE DATE: 11 NOV 1966
# MOD: 1 ASSEMBLY: SUNBURST REV # MOD: 1 ASSEMBLY: SUNBURST REV
# MOD BY: COPPS LOG SECTION: PHASE TABLE MAINTENANCE # MOD BY: COPPS LOG SECTION: PHASE TABLE MAINTENANCE
#
# FUNCTIONAL DESCRIPTION: # FUNCTIONAL DESCRIPTION:
# #
# NEWPHASE IS THE QUICK WAY TO MAKE A NON VARIABLE PHASE CHANGE. IT INCLUDES THE OPTION OF SETTING # NEWPHASE IS THE QUICK WAY TO MAKE A NON VARIABLE PHASE CHANGE. IT INCLUDES THE OPTION OF SETTING
# TBASE OF THE GROUP. IF TBASE IS TO BE SET, -C(TIME1) IS STORED IN THE TBASE TABLE AS FOLLOWS: # TBASE OF THE GROUP. IF TBASE IS TO BE SET, -C(TIME1) IS STORED IN THE TBASE TABLE AS FOLLOWS:
# #
# (L-1) TBASE0 # (L-1) TBASE0
@ -494,32 +490,31 @@ SIZETAB TC 1.2SPOT -12006
# (L+9) PHASE5 # (L+9) PHASE5
# #
# CALLING SEQUENCE: # CALLING SEQUENCE:
#
# EXAMPLE IS FOR PLACING A PHASE OF FIVE INTO GROUP THREE: # EXAMPLE IS FOR PLACING A PHASE OF FIVE INTO GROUP THREE:
# #
# 1) IF TBASE IS NOT TO BE SET: # 1) IF TBASE IS NOT TO BE SET:
# L-1 CA FIVE # L-1 CA FIVE
# L TC NEWPHASE # L TC NEWPHASE
# L+1 OCT 00003 # L+1 OCT 00003
# #
# 2) IF TBASE IS TO BE SET: # 2) IF TBASE IS TO BE SET:
# L-1 CS FIVE # L-1 CS FIVE
# L TC NEWPHASE # L TC NEWPHASE
# L+1 OCT 00003 # L+1 OCT 00003
# #
# SUBROUTINES CALLED: NONE # SUBROUTINES CALLED: NONE
# #
# NORMAL EXIT MODE: AT L+2 OF CALLING SEQUENCE # NORMAL EXIT MODE: AT L+2 OF CALLING SEQUENCE
# #
# ALARM OR ABORT EXITS: NONE # ALARM OR ABORT EXITS: NONE
# #
# OUTPUT: PHASE TABLE AND TBASE TABLE UPDATED # OUTPUT: PHASE TABLE AND TBASE TABLE UPDATED
# #
# ERASABLE INITIALIZATION REQ'D: NONE # ERASABLE INITIALIZATION REQ'D: NONE
# Page 221 # Page 221
# DEBRIS: A,L,TEMPG # DEBRIS: A,L,TEMPG
# *** WARNING *** THIS PROGRAM IS TO BE PLACED IN FIXED-FIXED AND UNSWITCHED ERASABLE. # ***WARNING*** THIS PROGRAM IS TO BE PLACED IN FIXED-FIXED AND UNSWITCHED ERASABLE.
BLOCK 02 BLOCK 02
SETLOC FFTAG1 SETLOC FFTAG1
@ -530,7 +525,6 @@ SIZETAB TC 1.2SPOT -12006
NEWPHASE INHINT NEWPHASE INHINT
TS L # SAVE FOR FURTHER USE TS L # SAVE FOR FURTHER USE
NDX Q # OBTAIN THE GROUP NUMBER NDX Q # OBTAIN THE GROUP NUMBER
CA 0 CA 0
INCR Q # OBTAIN THE RETURN ADDRESS INCR Q # OBTAIN THE RETURN ADDRESS
@ -543,15 +537,12 @@ NEWPHASE INHINT
NUFAZ+10 INCR A # SET TBASE AND STORE PHASE CORRECTLY NUFAZ+10 INCR A # SET TBASE AND STORE PHASE CORRECTLY
TS L TS L
CS TIME1 # SET TBASE CS TIME1 # SET TBASE
NDX TEMPG NDX TEMPG
TS TBASE1 -2 TS TBASE1 -2
CS L # NOW PUT THE PHASE IN THE RIGHT TABLE LOC CS L # NOW PUT THE PHASE IN THE RIGHT TABLE LOC
NDX TEMPG NDX TEMPG
DXCH -PHASE1 -2 DXCH -PHASE1 -2
RELINT RELINT
TC Q # NOW RETURN TO CALLER TC Q # NOW RETURN TO CALLER