Proof 226-232

This commit is contained in:
atknssl 2020-10-24 01:03:10 +03:00
parent 95abe7f008
commit 8b84ae76c4

View file

@ -683,50 +683,51 @@ V37N99 VN 3799
# #
# FUNCTIONAL DESCRIPTION # FUNCTIONAL DESCRIPTION
# #
# 1. CHECK IF NEW PROGRAM ALLOWED. IF BIT 1 OF FLAGWRD2 (NODOFLAG) IS SET, AN ALARM 1520 IS CALLED. # 1. CHECK IF NEW PROGRAM ALLOWED. IF BIT 1 OF FLAGWRD2(NODOFLAG) IS SET, AN ALARM 1520 IS CALLED.
# 2. CHECK FOR VALIDITY OF PROGRAM SELECTED. IF AN INVALID PROGRAM IS SELECTED, THE OPERATOR ERROR LIGHT IS # 2. CHECK FOR VALIDITY OF PROGRAM SELECTED. IF AN INVALID PROGRAM IS SELECTED, THE OPERATOR ERROR LIGHT IS
# SET AND CURRENT ACTIVITY, IF ANY, CONTINUE. # SET AND CURRENT ACTIVITY, IF ANY, CONTINUES.
# 3. SERVICER IS TERMINATED IF IT HAS BEEN RUNNING. # 3. SERVICER IS TERMINATED IF IT HAS BEEN RUNNING.
# 4. INSTALL IS EXECUTED TO AVOID INTERRUPTING INTEGRATION. # 4. INSTALL IS EXECUTED TO AVOID INTERRUPTING INTEGRATION.
# 5. THE ENGINE IS TURNED OFF AND THE DAP IS INITIALIZED FOR COAST. # 5. THE ENGINE IS TURNED OFF AND THE DAP IS INITIALIZED FOR COAST.
# 6. TRACK AND UPDATE FLAGS ARE SET TO ZERO. # 6. TRACK AND UPDATE FLAGS ARE SET TO ZERO.
# 7. DISPLAY SYSTEM IS RELEASED. # 7. DISPLAY SYSTEM IS RELEASED.
# 8. THE FOLLOWING ARE PERFORMED FOR EACH OF THE THREE CASES. # 8. THE FOLLOWING ARE PERFORMED FOR EACH OF THE THREE CASES.
# A. PROGRAM SELECTED IS P00 # A. PROGRAM SELECTED IS P00.
# 1. RENDEZVOUS AND P25 FLAGS ARE RESET. (KILL P20 AND P25) # 1. RENDEZVOUS AND P25 FLAGS ARE RESET.(KILL P20 AND P25)
# 2. STATINT1 IS SCHEDULED BY SETTING RESTART GROUP 2. # 2. STATINT1 IS SCHEDULED BY SETTING RESTART GROUP 2.
# 3. MAJOR MODE 00 IS STORED IN THE MODE REGISTER (MODREG). # 3. MAJOR MODE 00 IS STORED IN THE MODE REGISTER(MODREG).
# 4. SUPERBANK 3 IS SELECTED. # 4. SUPERBANK 3 IS SELECTED.
# 5. NODOFLAG IS RESET. # 5. NODOFLAG IS RESET.
# 6. ALL RESTART GROUPS EXCEPT GROUP2 ARE CLEARED. CONTROL IS TRANSFERRED TO RESTART PROGRAM (GOPROG2) # 6. ALL RESTART GROUPS EXCEPT GROUP 2 ARE CLEARED. CONTROL ISTRANSFERRED TO RESTART PROGRAM (GOPROG2)
# WHICH CAUSES ALL CURRENT ACTIVITY TO BE DISCONTINUED AND A 9 MINUTE INTEGRATION CYCLE TO BE # WHICH CAUSES ALL CURRENT ACTIVITY TO BE DISCONTINUED AND A 9 MINUTE INTEGRATION CYCLE TO BE
# INITIATED. # INITIATED.
# B. PROGRAM SELECTES IS P20 OR P25. # B. PROGRAM SELECTES IS P20 OR P25.
# 1. IF THE CURRENT MAJOR MODE IS THE SAME AS THE SELECTED NEWPROGRAM. THE PROGRAM IS RE-INITIALIZED # 1. IF THE CURRENT MAJOR MODE IS THE SAME AS THE SELECTED NEWPROGRAM, THE PROGRAM IS RE-INITIALIZED
# VIA V37XEQ, ALL RESTART GROUPS, EXCEPT GROUP 4 ARE CLEARED. # VIA V37XEQ, ALL RESTART GROUPS, EXCEPT GROUP 4 ARE CLEARED.
# 2. IF THE CURRENT MAJOR MODE IS NOT EQUAL TO THE NEW REQUEST, A CHECK IS MADE TO SEE IF THE REQUEST- # 2. IF THE CURRENT MAJOR MODE IS NOT EQUAL TO THE NEW REQUEST, A CHECK IS MADE TO SEE IF THE REQUEST-
# ED MAJOR MODE HAS BEEN RUNNING THE BACKGROUND, # ED MAJOR MODE HAS BEEN RUNNING IN THE BACKGROUND,
# AND IF IT HAS, NO NEW PROGRAM IS SCHEDULED, THE EXISTING # AND IF IT HAS, NO NEW PROGRAM IS SCHEDULED, THE EXISTING
# P20 OR P25 IS RESTARTED TO CONTINUE, AND ITS MM IS SET. # P20 OR P25 IS RESTARTED TO CONTINUE, AND ITS M M IS SET.
# 3. CONTROL IS TRANSFERRED TO GOPROG2. # 3. CONTROL IS TRANSFERRED TO GOPROG2.
# C. PROGRAM SELECTED IS NEITHER P00, P20, NOR P25 # C. PROGRAM SELECTED IS NEITHER P00,P20, NOR P25
# 1. V37XEQ IS SCHEDULED (AS A JOB) BY SETTING RESTART GROUP 4 # 1. V37XEQ IS SCHEDULED (AS A JOB) BY SETTING RESTART GROUP 4
# 2. ALL CURRENT ACTIVITY EXCEPT RENDEZVOUS AND TRACKING IS DISCONTINUED BY CLEARING ALL RESTART # 2. ALL CURRENT ACTIVITY EXCEPT RENDEZVOUS AND TRACKING IS DISCONTINUED BY CLEARING ALL RESTART
# GROUPS. IF THE RENDEZVOUS OR THE P25 FLAG IS ON, GROUP 2 IS NOT CLEARED, ALLOWING THESE PROGRAMS # GROUPS. IF THE RENDEZVOUS OR THE P25 FLAG IS ON, GROUP 2 IS NOT CLEARED, ALLOWING THESE PROGRAMS
# TO CONTINUE. # TO CONTINUE.
# #
# INPUT/OUTPUT INFORMATION # INPUT/OUTPUT INFORMATION
# #
# A. CALLING SEQUENCE # A. CALLING SEQUENCE
# CONTROL IS DIRECTED TO V37 BY THE VERBFAN ROUTINE. # CONTROL IS DIRECTED TO V37 BY THE VERBFAN ROUTINE.
# VERBFAN GOES TO C(VERBTAB+C(VERBREG)). VERB 37 = MMCHANG. # VERBFAN GOES TO C(VERBTAB+C(VERBREG)). VERB 37 = MMCHANG.
# MMCHANG EXECUTES A `TC POSTJUMP', CADR V37. # MMCHANG EXECUTES A TC POSTJUMP, CADR V37.
# #
# B. ERASABLE INITIALIZATION NONE # B. ERASABLE INITIALIZATION NONE
# #
# C. OUTPUT # C. OUTPUT
# Page 227 # Page 227
# MAJOR MOD CHANGE # MAJOR MODE CHANGE
# #
# D. DEBRIS # D. DEBRIS
# MMNUMBER, MPAC +1, MINDEX, BASETEMP +C(MINDEX), FLAGWRD0, FLAGWRD1, FLAGWRD2, MODREG, GOLOC -1, # MMNUMBER, MPAC +1, MINDEX, BASETEMP +C(MINDEX), FLAGWRD0, FLAGWRD1, FLAGWRD2, MODREG, GOLOC -1,
@ -773,7 +774,7 @@ CANTROD TC ALARM
V37BAD TC RELDSP # RELEASES DISPLAY FROM ASTRONAUT V37BAD TC RELDSP # RELEASES DISPLAY FROM ASTRONAUT
TC POSTJUMP # BRING BACK LAST NORMAL DISPLAY IF THERE TC POSTJUMP # BRING BACK LAST NORMAL DISPLAY IF THERE
CADR PINBRNCH # WAS ONE. OTHERWISE DO AN EOJ. CADR PINBRNCH # WAS ONE. OTHERWISE DO AN EOJ.
CHECKTAB CA NOV37MM # INDEX FOR MM TABLES. CHECKTAB CA NOV37MM # INDEX FOR MM TABLES.
@ -792,13 +793,13 @@ AGAINMM TS MPAC +1
CA MPAC +1 CA MPAC +1
TS MINDEX # SAVE INDEX FOR LATER TS MINDEX # SAVE INDEX FOR LATER
ISSERVON CS FLAGWRD7 # V37 FLAG SET -- I.E., IS SERVICER GOING ISSERVON CS FLAGWRD7 # V37 FLAG SET - I.E. IS SERVICER GOING
MASK V37FLBIT MASK V37FLBIT
CCS A CCS A
TCF CANV37 # NO TCF CANV37 # NO
TC DOWNFLAG # YES, TURN OFF THE AVERAGE FLAG AND TC DOWNFLAG # YES,TURN OFF THE AVERAGE FLAG AND
ADRES AVEGFLAG # WAIT FOR SERVICER TO RETURN TO CANV37 ADRES AVEGFLAG # WAIT FOR SERVICER TO RETURN TO CANV37.
CAF V37RETAD CAF V37RETAD
TS OUTROUTE TS OUTROUTE
@ -809,7 +810,7 @@ V37RET CS FLAGWRD0 # IS P20 OR P22 RUNNING?
MASK RNDVZBIT MASK RNDVZBIT
CCS A CCS A
TCF +2 # NO. CHECK FOR P25. TCF +2 # NO. CHECK FOR P25.
TCF 2.7SPT # YES. DO 2.7SPOT TCF 2.7SPT # YES. DO 2.7SPOT
CS FLAGWRD0 # IS P25 RUNNING? CS FLAGWRD0 # IS P25 RUNNING?
MASK P25FLBIT MASK P25FLBIT
CCS A CCS A
@ -869,15 +870,15 @@ POOH TC RELDSP # RELEASE DISPLAY SYSTEM
COM COM
DXCH -PHASE2 DXCH -PHASE2
CS OCT700 # TURN OFF P20, P25, IMU IN USE FLAG CS OCT700 # TURN OFF P20,P25,IMU IN USE FLAG
MASK FLAGWRD0 MASK FLAGWRD0
TS FLAGWRD0 # REMDFLG TS FLAGWRD0 # REMDFLG
CAF DNLADP00 CAF DNLADP00
SEUDOP00 TS DNLSTCOD # SET UP APPROPRIATE DOWNLIST CODE SEUDOP00 TS DNLSTCOD # SET UP APPROPRIATE DOWNLIST CODE
TS AGSWORD # (CURRENT LIST WILL BE COMPLETED BEFORE TS AGSWORD # (CURRENT LIST WILL BE COMPLETED BEFORE
# NEW ONE IS STARTED) # NEW ONE IS STARTED)
TC IBNKCALL TC IBNKCALL
CADR ENGINOF1 CADR ENGINOF1
@ -907,9 +908,9 @@ GOGOPROG TC POSTJUMP
RENDV00 CS MODREG # IS CURRENT PROGRAM 22 RENDV00 CS MODREG # IS CURRENT PROGRAM 22
AD OCT26 AD OCT26
EXTEND EXTEND
BZF RESET22 # YES -- CLEAR RENDEZVOUS FLAG BZF RESET22 # YES - CLEAR RENDEZVOUS FLAG
CS MMNUMBER # IS NE PROGRAM P22 CS MMNUMBER # IS NEW PROGRAM P22
AD OCT26 AD OCT26
EXTEND EXTEND
BZF RESET22 BZF RESET22
@ -926,7 +927,7 @@ RENDV00 CS MODREG # IS CURRENT PROGRAM 22
CCS A CCS A
TCF P00FIZZ # YES, LEAVE GROUP 2 TO PICK UP P20 OR P25 TCF P00FIZZ # YES, LEAVE GROUP 2 TO PICK UP P20 OR P25
RESET22 CS OCT700 # CLEAR RENDEZVOUS, P25 RESET22 CS OCT700 # CLEAR RENDEZVOUS,P25
MASK FLAGWRD0 # AND IMU IN USE FLAGS MASK FLAGWRD0 # AND IMU IN USE FLAGS
TS FLAGWRD0 TS FLAGWRD0
TC CLRADMOD TC CLRADMOD
@ -944,7 +945,7 @@ P00FIZZ CAF V37QCAD # RESTART POINT FOR V37XEQ
RENDN00 CS MODREG RENDN00 CS MODREG
AD OCT24 AD OCT24
EXTEND EXTEND
BZF KILL2 # P20 OR P25 ON TOP OF P20 OR P25 -- BZF KILL2 # P20 OR P25 ON TOP OF P20 OR P25 -
AD FIVE AD FIVE
EXTEND EXTEND
@ -963,7 +964,7 @@ RENDN00 CS MODREG
TCF KILL2 TCF KILL2
STATQUO CS FLAGWRD1 # SET TRACKFLAG STATQUO CS FLAGWRD1 # SET TRACKFLAG
MASK OCT120 # UPDATE FLAG MASK OCT120 # UPDATE FLAG
ADS FLAGWRD1 ADS FLAGWRD1
TCF GOMOD TCF GOMOD
@ -972,7 +973,7 @@ NOUVEAU CAF OCT500 # IS P20 OR P25 FLAG SET
MASK FLAGWRD0 MASK FLAGWRD0
CCS A CCS A
TCF +3 # YES TCF +3 # YES
TC DOWNFLAG # NO, RESET IMUINUSE FLAG TC DOWNFLAG # NO,RESET IMUINUSE FLAG
ADRES IMUSE ADRES IMUSE
INDEX MINDEX INDEX MINDEX
@ -981,7 +982,7 @@ NOUVEAU CAF OCT500 # IS P20 OR P25 FLAG SET
INHINT INHINT
TCF SEUDOP00 TCF SEUDOP00
V37NONO TC FALTON # COME HERE IF MM REQUESTED DOESN'T EXIST V37NONO TC FALTON # COME HERE IF MM REQUESTED DOESNT EXIST
# Page 232 # Page 232
TCF V37BAD TCF V37BAD
@ -995,14 +996,14 @@ V37XEQ INHINT
INDEX MINDEX INDEX MINDEX
CAF PREMM1 # OBTAIN PRIO, EBANK, AND MM CAF PREMM1 # OBTAIN PRIO, EBANK, AND MM
TS MMTEMP TS MMTEMP
TS CYR # SHIFT RIGHT TO BITS 14-10 TS CYR # SHIFT RIGHT TO BITS 14 - 10
CA CYR CA CYR
MASK PRIO37 MASK PRIO37
TS PHSPRDT4 # PRESET GROUP 4 RESTART PRIORITY TS PHSPRDT4 # PRESET GROUP 4 RESTART PRIORITY
TS NEWPRIO # STORE PRIO FOR SPVAC TS NEWPRIO # STORE PRIO FOR SPVAC
CA MMTEMP # OBTAIN EBANK -- BITS 8, 9, 10 OF MMTEMP. CA MMTEMP # OBTAIN EBANK - BITS 8, 9, 10 OF MMTEMP.
EXTEND EXTEND
MP BIT8 MP BIT8
MASK LOW3 MASK LOW3