From df1dd7cf581a134b17786fb9d6139477ab0476e4 Mon Sep 17 00:00:00 2001 From: cai Date: Thu, 28 Mar 2019 00:09:45 +0800 Subject: [PATCH] Proof RESTART_TABLES(#252) (#376) * Proof P76 * 1) comma instead of period 2) -- to - 3) remove space after comma * Proof RESTART_TABLES --- Comanche055/RESTART_TABLES.agc | 63 +++++++++++++++------------------- 1 file changed, 27 insertions(+), 36 deletions(-) diff --git a/Comanche055/RESTART_TABLES.agc b/Comanche055/RESTART_TABLES.agc index 293e119..8f7b08c 100644 --- a/Comanche055/RESTART_TABLES.agc +++ b/Comanche055/RESTART_TABLES.agc @@ -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 # 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 -# WAY THINGS ARE PUT IN TO THE TABLES. +# 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 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. # FOR EXAMPLE, # @@ -64,19 +64,19 @@ # OCT 31000 # 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 # 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 # 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 # WAITLIST WE HAVE ONE FURTHER OPTION, IF -0 IS STORED IN PRDTTAB, IT WILL CAUSE AN IMMEDIATE RESTART OF THE # TASK. EXAMPLES, # # 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 # -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 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) EBANK= AOG @@ -130,7 +130,7 @@ SIZETAB TC 1.2SPOT -12006 EBANK= ESTROKER 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 @@ -158,7 +158,7 @@ SIZETAB TC 1.2SPOT -12006 EBANK= MRKBUF2 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 @@ -171,7 +171,6 @@ SIZETAB TC 1.2SPOT -12006 3.5SPOT DEC 0 DEC 0 DEC 0 - 3.7SPOT OCT 22000 EBANK= TEPHEM 2CADR MATRXJOB @@ -184,7 +183,7 @@ SIZETAB TC 1.2SPOT -12006 EBANK= TEPHEM 2CADR REP11A -3.15SPOT -GENADR TGO +1 +3.15SPOT -GENADR TGO +1 EBANK= TGO -2CADR ENGINOFF @@ -242,16 +241,15 @@ SIZETAB TC 1.2SPOT -12006 # Page 215 2CADR COMPVER # CALLS FOR OPTICS DATA AGAIN (STD LEADIN) -4.17SPOT OCT 16000 +4.17SPOT OCT 16000 # PRELAUNCH AZIMUTH CHANGE EBANK= XSM 2CADR AZMTHCG1 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 BBCON TIGBLNK - -4.23SPOT OCT 12000 # PROTECT P40S/SV BY P40 P41 +4.23SPOT OCT 12000 # PROTECT P40S/SV BY P40 P41 EBANK= TIG 2CADR P40S/SV @@ -265,7 +263,7 @@ SIZETAB TC 1.2SPOT -12006 4.31SPOT OCT 13000 EBANK= STAR - 2CADR R51 +1 + 2CADR R51 +1 4.33SPOT DEC 2100 # PROTECT CONTINUING JOB TO START P63 EBANK= AOG @@ -290,9 +288,9 @@ SIZETAB TC 1.2SPOT -12006 4.45SPOT OCT 13000 # PROTECT CONTINUING JOB S61.1 EBANK= AOG # (ENTRY IMU ALIGNMENT) # 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 2CADR PRE-HUNT @@ -304,7 +302,7 @@ SIZETAB TC 1.2SPOT -12006 EBANK= END-E7 # EBANK7 FOR TIG -2CADR V97ETASK -4.55SPOT OCT 13000 # PROTECT P65 RESPONSIVE DISPLAY. +4.55SPOT OCT 13000 # PROTECT P65 RESPONSIVE DISPLAY. EBANK= RTINIT 2CADR P65.1 @@ -413,7 +411,6 @@ SIZETAB TC 1.2SPOT -12006 5.31SPOT DEC 0 DEC 0 DEC 0 - 5.33SPOT OCT 20000 EBANK= XSM 2CADR RESCHNG @@ -426,7 +423,7 @@ SIZETAB TC 1.2SPOT -12006 -2CADR CHEKAVEG 5.41SPOT OCT 77777 # TO PROTECT PREREAD AT TIG-30A - EBANK= DVCNTR # TIG-15 T+60 + EBANK= DVCNTR # TIG-15 T+60 -2CADR PREREAD # 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 # MOD: 1 ASSEMBLY: SUNBURST REV # MOD BY: COPPS LOG SECTION: PHASE TABLE MAINTENANCE -# # 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: # # (L-1) TBASE0 @@ -494,32 +490,31 @@ SIZETAB TC 1.2SPOT -12006 # (L+9) PHASE5 # # CALLING SEQUENCE: -# # 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 TC NEWPHASE # L+1 OCT 00003 # -# 2) IF TBASE IS TO BE SET: +# 2) IF TBASE IS TO BE SET: # L-1 CS FIVE # L TC NEWPHASE # 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 # 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 SETLOC FFTAG1 @@ -530,7 +525,6 @@ SIZETAB TC 1.2SPOT -12006 NEWPHASE INHINT TS L # SAVE FOR FURTHER USE - NDX Q # OBTAIN THE GROUP NUMBER CA 0 INCR Q # OBTAIN THE RETURN ADDRESS @@ -543,15 +537,12 @@ NEWPHASE INHINT NUFAZ+10 INCR A # SET TBASE AND STORE PHASE CORRECTLY TS L - CS TIME1 # SET TBASE NDX TEMPG TS TBASE1 -2 - CS L # NOW PUT THE PHASE IN THE RIGHT TABLE LOC NDX TEMPG DXCH -PHASE1 -2 - RELINT TC Q # NOW RETURN TO CALLER