Proof SXTMARK #260 (#395)

* Proof FIXED_FIXED_CONSTANT_POOL (#207)

* done(pp. 0222-0235): Proof SXTMARK #260
This commit is contained in:
Glenn Dwiyatcita 2019-06-15 10:53:33 +02:00 committed by James Harris
parent 1fd3c9548c
commit 8499a3e178

View File

@ -29,46 +29,40 @@
# information. Please report any errors to info@sandroid.org.
# Page 222
# PROGRAM NAME: SXTMARK DATE: 5 APRIL 1967
# PROGRAM NAME - SXTMARK DATE- 5 APRIL 1967
# PROGRAM MODIFIED BY 258/278 PROGRAMMERS LOG SECTION SXTMARK
# MOD BY: R. MELANSON TO ADD DOCUMENTATION ASSEMBLY SUNDISK REV. 116
#
# FUNCTIONAL DESCRIPTION:
#
# MOD BY- R. MELANSON TO ADD DOCUMENTATION ASSEMBLY SUNDISK REV. 116
# FUNCTIONAL DESCRIPTION-
# SXTMARK IS CALLED FROM INTERNAL ROUTINES WHICH MAY REQUIRE STAR OR LANDMARK MARKINGS BY THE ASTRONAUT. IF
# THE MARK SYSTEM IS NOT IN USE, SXTMARK RESERVES A VAC AREA FOR MARKING AND REQUESTS EXECUTION OF THE MKVB51
# ROUTINE VIA THE EXECUTIVE JOB PRIORITY LIST. R21 USES THIS ROUTINE TO DETERMINE IF THE MARK SYSTEM CAN BE
# USED. IF YES, SXTMARK RETURNS TO R21 TO PERFORM ITS OWN MARK REQUESTS VIA THE V51 FLASH.
#
# CALLING SEQUENCE:
#
# CALLING SEQUENCE-
# CAF (NO. MARK REQUESTS IN BITS 1-3 OF A)
# TC BANKCALL
# CADR SXTMARK
#
# NORMAL EXIT MODE:
#
# NORMAL EXIT MODE-
# SWRETURN
#
# ALARM OR ABORT EXIT MODE:
#
# ALARM OR ABORT EXIT MODE-
# ABORT
#
# OUTPUT:
#
# OUTPUT-
# 1) MARKSTAT CONTAINS MARK VALUE (BITS 14-12) AND VAC AREA ADDRESS
# 2) QPRET = VAC AREA POINTER VALUE
# 3) 1ST WORD OF RESERVED VAC AREA SET TO +0
# 4) PRIO32 PLACED IN A REGISTER
#
# ERASABLE INITIALIZATION:
#
# ERASABLE INITIALIZATION-
# 1) BITS 1-3 OF A = NO. MARKS REQUESTED
# 2) BITS 2,3 OF EXTVBACT =0
# 3) A VAC AREA MUST BE AVAILABLE (WORD 1 = ADDRESS OF VAC AREA)
#
# DEBRIS:
#
# DEBRIS-
# A,Q,L,RUPTREG1,MARKSTAT,QPRET,BIT2 OF EXTVBACT
BANK 13
@ -84,7 +78,7 @@ SXTMARK INHINT
CAF SIX # BIT2 = MARKING SYSTEM IN USE
MASK EXTVBACT # BIT3 = EXTENDED VERB IN PROGRESS
CCS A
TC MKABORT
TC MKABORT # SET THEREFORE ABORT
# Page 223
CAF BIT2 # NOT SET
ADS EXTVBACT # SET IT, RESET IN ENDMARK
@ -137,38 +131,34 @@ MKVACFND AD TWO # ADDRESS OF VAC AREA
TCF SWRETURN # SAME AS MODEEXIT
# Page 224
# PROGRAM NAME: MKRELEAS DATE: 5 APRIL 1967
# PROGRAM NAME - MKRELEAS DATE- 5 APRIL 1967
# PROGRAM MODIFIED BY 248/278 PROGRAMMERS LOG SECTION SXTMARK
# MOD BY: R. MELANSON TO ADD DOCUMENTATION ASSEMBLY SUNDISK REV. 116
#
# FUNCTIONAL DESCRIPTION:
#
# MOD BY- R. MELANSON TO ADD DOCUMENTATION ASSEMBLY SUNDISK REV. 116
# FUNCTIONAL DESCRIPTION-
# MKRELEAS IS EXECUTED BY INTERNAL ROUTINES TO RELEASE THE MARK SYSTEM TO MAKE IT AVAILABLE TO OTHER INTERNAL
# SYSTEM ROUTINES. IT ALSO CLEARS THE COARSE OPTICS FLAG BIT AND DISABLES THE OPTICS ERROR COUNTER.
#
# CALLING SEQUENCE:
#
# CALLING SEQUENCE-
# TC BANKCALL
# CADR MKRELEAS
#
# NORMAL EXIT MODE:
#
# NORMAL EXIT MODE-
# SWRETURN
#
# ALARM OR EXIT MODE: NONE
#
# OUTPUT:
#
# ALARM OR ABORT EXIT MODE- NONE
# OUTPUT-
# 1) BIT9 OPTMODES SET TO 0
# 2) OPTIND SET TO -1
# 3) 1ST WORD OF VAC AREA SET TO VAC ADDRESS TO SIGNIFY AVAILABILITY
# 3) 1ST WORD OF VAC AREA SET TO VAC ADDRESS TO SIGNIFY AVAILABILITY.
# 4) MARKSTAT CLEARED
# 5) BIT2 CHANNEL 12 SET TO 0
#
# ERASABLE INITIALIZATION: NONE
#
# DEBRIS:
#
# ERASABLE INITIALIZATION- NONE
# DEBRIS-
# A,MARKSTAT,BIT9,OPTMODES OPTIND,BIT2 CHANNEL 12
MKRELEAS CAF ZERO # SHOW MARK SYSTEM NOW AVAILABLE
@ -192,39 +182,32 @@ MKRLEES INHINT
RELINT
TC SWRETURN
# Page 225
# PROGRAM NAME: MARKRUPT DATE: 5 APRIL 1967
# PROGRAM NAME - MARKRUPT DATE- 5 APRIL 1967
# PROGRAM MODIFIED BY 258/278 PROGRAMMERS LOG SECTION SXTMARK
# MOD BY: R. MELANSON TO ADD DOCUMENTATION ASSEMBLY SUNDISK REV. 116
#
# FUNCTIONAL DESCRIPTION:
#
# MOD BY- R. MELANSON TO ADD DOCUMENTATION ASSEMBLY SUNDISK REV. 116
# FUNCTIONAL DESCRIPTION-
# MARKRUPT STORES CDUS,OPTICS AND TIME AND TRANSFERS CONTROL TO THE MARKIT,MARK REJECT OR KEYCOM ROUTINES IF
# BITS IN CHANNEL 16 ARE SET AS REQUIRED.
#
# CALLING SEQUENCE:
#
# CALLING SEQUENCE-
# ROUTINE ENTERED VIA KEYRUPT2 WHEN MARK,MARK REJECT OR DSKY KEYS DEPRESSED BY THE OPERATOR.
#
# NORMAL EXIT MODE:
#
# NORMAL EXIT MODE-
# MARKIT, MKREJECT, OR POSTJUMP ROUTINES (MARK,MARK REJECT, OR DSKY CODE)
#
# ALARM OR ABORT EXIT MODE:
#
# ALARM OR ABORT EXIT MODE-
# ALARM AND RESUME
#
# OUTPUT:
#
# OUTPUT-
# RUPTSTOR+5 = CDUT, RUPTSTOR+3 = CDUS, RUPTSTOR+2 = CDUY,
# RUPTREG3 = CDUZ, RUPTSTOR+6 = CDUX, RUPTSTOR+1 AND SAMPTIME+1 =TIME1,
# RUPTSTOR AND SAMPTIME = TIME2
#
# ERASABLE INITIALIZATION:
#
# CDUT,CDUS,CDUY,CDUZ,CDUX,TIME2,TIME1,CHANNEL 16 BITS 6,7 OR 1-5.
#
# DEBRIS:
#
# ERASABLE INITIALIZATION-
# CDUT,CDUS,CDUY,CDUZ,CDUX,TIME2,TIME1,CHANNEL 16 BITS 6,7 OR 1-5
# DEBRIS-
# A,QRUPT,RUPTREG3,SAMPTIME,SAMPTIME+1,RUPTSTOR TO RUPTSTOR+6 EXCEPT RUPTSTOR+4 (LOCATION 67)
MARKRUPT TS BANKRUPT # STORE CDUS AND OPTICS NOW
@ -253,13 +236,13 @@ MARKRUPT TS BANKRUPT # STORE CDUS AND OPTICS NOW
EXTEND
RAND NAVKEYIN
CCS A
TC MARKIT # IT'S A MARK
TC MARKIT # ITS A MARK
CAF BIT7 # NOT A MARK, SEE IF MKREJECT
EXTEND
RAND NAVKEYIN
CCS A
TC MKREJECT # IT'S A MARK REJECT
TC MKREJECT # ITS A MARK REJECT
KEYCALL CAF OCT37 # NOT MARK OR MKREJECT, SEE IF KEYCODE
EXTEND
@ -267,69 +250,63 @@ KEYCALL CAF OCT37 # NOT MARK OR MKREJECT, SEE IF KEYCODE
EXTEND
BZF +3 # IF NO INBITS
TC POSTJUMP
CADR KEYCOM # IT'S A KEY CODE, NOT A MARK.
CADR KEYCOM # IT,S A KEY CODE, NOT A MARK.
+3 TC ALARM # ALARM IF NO INBITS
OCT 113
TC RESUME
# Page 227
# PROGRAM NAME: MARKCONT DATE: 19 SEPT 1967
# PROGRAM NAME - MARKCONT DATE- 19 SEPT 1967
# PROGRAM MODIFIED BY 258/278 PROGRAMMERS LOG SECTION SXTMARK
# MOD BY: R. MELANSON TO ADD DOCUMENTATION ASSEMBLY SUNDISK REV. 116
#
# FUNCTIONAL DESCRIPTION:
#
# MOD BY- R. MELANSON TO ADD DOCUMENTATION ASSEMBLY SUNDISK REV. 116
# FUNCTIONAL DESCRIPTION-
# MARKCONT IS USED TO PERFORM A SPECIAL MARK FUNCTION FOR R21, TO EXECUTE A SPECIAL DISPLAY OF OPTICS AND TIME OR
# TO PERFORM A MARK OF THE STAR OR LAND SIGHTING BASED UPON FLASHING V-N.
#
# CALLING SEQUENCE:
#
# CALLING SEQUENCE-
# FROM MARKDIF
#
# NORMAL EXIT MODE:
#
# NORMAL EXIT MODE-
# TASKOVER
#
# ALARM OR ABORT EXIT MODE:
#
# ALARM OR ABORT EXIT MODE-
# ALARM AND TASKOVER
#
# OUTPUT:
#
# 1) FOR R21:
# OUTPUT-
# 1) FOR R21-
# EBANK=EBANK7
# MRKBUF1 TO MRKBUF1+6 = TIME2,TIME1,CDUY,OPTICX,CDUZ,OPTICSY,CDUX OF CURRENT R21 MARK FUNCTION
# MRKBUF1 TO MRKBUF1+6 = TIME2,TIME1,CDUY,OPTICX,CDUZ,OPTICSY,CDUX OF CURRENT R21 MARK FUNCTION.
# MRKBUF2 TO MRKBUF2+6 CONTAINS PREVIOUS R21 MARK VALUES.
# 2) FOR SPECIAL DISPLAY JOB:
# RUPTREG1 AND MRKBUF1 = CDUS,RUPTREG2, AND MRKBUF1+1 = CDUT.
# RUPTREG3 AND MRKBUF1+2 = TIME2,RUPTREG4, AND MRKBUF1+3 = TIME1.
# 3) FOR NORMAL MARKING:
# 2) FOR SPECIAL DISPLAY JOB-
# RUPTREG1 AND MRKBUF1 = CDUS,RUPTREG2 AND MRKBUF1 +1 = CDUT.
# RUPTREG3 AND MRKBUF1 +2 = TIME2,RUPTREG4 AND MRKBUF1 +3 = TIME1
# 3) FOR NORMAL MARKING-
# DECREMENT BITS14-12 OF MARKSTAT BY 1,
# BIT10 MARKSTAT SET TO 1,INCREMENT QPRET BY 7,
# STORE TIME2,TIME1,CDUY,CDUS,CDUZ,CDUT, AND CDUX IN VAC+1 TO VAC+7.
#
# ERASABLE INITIALIZATION:
#
# 1) FOR R21:
# STORE TIME2,TIME1,CDUY,CDUS,CDUZ,CDUT AND CDUX IN VAC+1 TO VAC+7
# ERASABLE INITIALIZATION-
# 1) FOR R21-
# BIT14 OF STATE+2 =1, MRKBUF1 TO MRKBUF1+6, ITEMP1, RUPTREG3,
# RUPTSTOR TO RUPTSTOR+6 EXCEPT RUPTSTOR+4.
# 2) FOR SPECIAL DISPLAY JOB:
# RUPTSTOR TO RUPTSTOR+6 EXCEPT RUPTSTOR+4
# 2) FOR SPECIAL DISPLAY JOB-
# BIT14 OF STATE+2 =0,MARKSTAT =+0,RUPTREG1,RUPTREG2,RUPTREG3
# RUPTREG4,RUPTSTOR,RUPTSTOR+1,RUPTSTOR+3,RUPTSTOR+5,
# BIT12 OF STATE+5 (V59 FLAG),MRKBUF1 THRU MRKBUF1+3
# 3) FOR NORMAL MARKING:
# BIT14 OF STATE+2 =0, MARKSTATE =VAC ADDRESS, A REG, ITEMP1, RUPTREG3,
# 3) FOR NORMAL MARKING-
# BIT14 OF STATE+2 =0,MARKSTAE =VAC ADDRESS, A REG, ITEMP1, RUPTREG3,
# RUPTSTOR TO RUPTSTOR+6 EXCEPT RUPTSTOR+4.
#
# DEBRIS:
#
# 1) FOR R21:
# DEBRIS-
# 1) FOR R21-
# A,ITEMP1,MRKBUF1,MRKBUF2
# 2) FOR SPECIAL DISPLAY JOB:
# A,RUPTREG1,RUPTREG2,RUPTREG3,RUPTREG4,MPAC TO MPAC+3.
# 3) FOR NORMAL MARKING:
# A,MARKSTAT,ITEMP1,QPRET,VAC+1 TO VAC+7 OF VAC AREA IN USE.
# 2) FOR SPECIAL DISPLAY JOB-
# A,RUPTREG1,RUPTREG2,RUPTREG3,RUPTREG4,MPAC TO MPAC+3
# 3) FOR NORMAL MARKING-
# A,MARKSTAT,ITEMP1,QPRET,VAC+1 TO VAC+7 OF VAC AREA IN USE
# Page 228
MARKCONT CAF BIT14
@ -341,7 +318,7 @@ MARKIT1 CAF SIX # SPECIAL FOR R21
ADRES MRKBUF1
ADRES MRKBUF2
CAF SIX # TRANSFER CURRENT MARK DATE TO MARKBUF1
CAF SIX # TRANSFER CURRENT MARK DATA TO MARKBUF1
TC GENTRAN
ADRES MKT2T1
ADRES MRKBUF1
@ -433,45 +410,38 @@ VACSTOR EXTEND
TCF TASKOVER
# Page 230
# PROGRAM NAME: MKREJECT DATE: 5 APRIL 1967
# PROGRAM NAME - MKREJECT DATE- 5 APRIL 1967
# PROGRAM MODIFIED BY 258/276 PROGRAMMERS LOG SECTION SXTMARK
# MOD BY: R. MELANSON TO ADD DOCUMENTATION ASSEMBLY SUNDISK REV. 116
#
# FUNCTIONAL DESCRIPTION:
#
# ROUTINE ALLOWS OPEATOR TO REJECT MARK MADE PRIOR TO ACCEPTANCE AND ALLOWS A NEW MARK TO BE MADE BY ASTRONAUT.
#
# CALLING SEQUENCE:
#
# MOD BY- R. MELANSON TO ADD DOCUMENTATION ASSEMBLY SUNDISK REV. 116
# FUNCTIONAL DESCRIPTION-
# ROUTINE ALLOWS OPEATOR TO REJECT MARK MADE PRIOR TO ACCEPTANCE AND ALLOWS A NEW MARK TO BE MADE BY ASTRONAUT
# CALLING SEQUENCE-
# FROM MARKRUPT IF BIT7 OF CHANNEL 16 IS 1.
#
# NORMAL EXIT MODE:
#
# NORMAL EXIT MODE-
# RESUME
#
# ALARM OR ABORT EXIT MODE:
#
# ALARM OR ABORT EXIT MODE-
# ALARM AND RESUME
#
# OUTPUT:
#
# 1) FOR R21:
# OUTPUT-
# 1) FOR R21-
# MRKRUP1 SET TO -1
# 2) FOR NORMAL MARKING:
# 2) FOR NORMAL MARKING-
# BIT10 MARKSTAT =0,INCREMENT NO. MARKS BY 1,DECREMENT QPRET BY 7
#
# ERASABLE INITIALIZATION:
#
# 1) FOR R21:
# ERASABLE INITIALIZATION-
# 1) FOR R21-
# BIT14 OF STATE+2 SET TO 1
# 2) FOR NORMAL MARKING:
# 2) FOR NORMAL MARKING-
# BIT14 OF STATE+2 SET TO 0, MARKSTAT,QPRET
#
# DEBRIS:
#
# 1) FOR R21:
# DEBRIS-
# 1) FOR R21-
# A,MARKSTAT,EBANK
# 2) FOR NORMAL MARKING:
# 2) FOR NORMAL MARKING-
# A,MARKSTAT,ITEMP1,QPRET
MKREJECT CAF BIT14
@ -495,7 +465,7 @@ REJECT2 CS BIT10 # SEE IF MARK HAD BEEN MADE SINCE LAST
CCS A
TC REJECT3
TC ALARM # DON'T ACCEPT TWO REJECTS TOGETHER
TC ALARM # DONT ACCEPT TWO REJECTS TOGETHER
OCT 110
TC RESUME
@ -521,30 +491,29 @@ REJECT3 CAF LOW9 # DECREMENT POINTER TO REJECT MARK
# Page 232
# PROGRAM DESCRIPTION MKVB51 AND MKVB50
#
# AUTHOR: BARNERT DATE: 2-15-67 MOD: 0
# PURPOSE: FLASH V51N70,V51N43, OR V51 TO REQUEST MARKING,
# AUTHOR-BARNERT DATE-2-15-67 MOD-0
# PURPOSE FLASH V51N70,V51N43, OR V51 TO REQUEST MARKING,
# AND V50N25 R1=16 TO REQUEST TERMINATE MARKING.
#
# CALLING SEQUENCE: AS JOB WITHIN SXTMARK
#
# CALLING SEQUENCE AS JOB WITHIN SXTMARK
# EXIT TO ENDMARK UPON RECEIPT OF V33, V34 CAUSES GOTOP00H, ENTER
# RECYCLES THE DISPLAY
#
# NOTE: SXTMARK AUTOMATICALLY CHANGES FROM CALLING MKVB51 TO MKVB50 WHEN
# NOTE- SXTMARK AUTOMATICALLY CHANGES FROM CALLING MKVB51 TO MKVB50 WHEN
# SUFFICIENT MARKS HAVE BEEN MADE, AND THE REVERSE WHEN A MARK
# REJECT REDUCES THE NUMBER MADE BELOW THAT REQUIRED
#
# SUBROUTINES CALLED: BANKCALL, GOMARK2, GOODEND, ENDMARK, WAITLIST
#
# ALARM OR ABORT MODES: NONE
#
# ERASABLE USED: VERBREG, MARKSTAT, QPRET, DSPTEM1
#
# SUBROUTINES CALLED- BANKCALL, GOMARK2,GOODEND,ENDMARK,WAITLIST
# ALARM OR ABORT MODES - NONE
# ERASABLE USED-VERBREG,MARKSTAT,QPRET,DSPTEM1
# OUTPUT MARKSTAT=VAC ADDRESS
# QPRET= NO.MARKS
MKVB51 TC BANKCALL # CLEAR DISPLAY FOR MARK VERB
CADR KLEENEX
CAF VB51 # DISPLAY MARK VB51
@ -603,26 +572,21 @@ V50N25 VN 5025
VB51 VN 5100
OCT37 = LOW5
# PROGRAM NAME: MARKIT DATE: 19 SEPT 1967
#
# CALLING SEQUENCE:
#
# PROGRAM NAME - MARKIT DATE- 19 SEPT 1967
# CALLING SEQUENCE
# FROM MARKRUPT IF CHAN 16 BIT 6 = 1
#
# EXIT
#
# RESUME
#
# INPUT
#
# CDUCHKWD. ALSO ALL INITIALIZATION FOR MARKCONT
#
# OUTPUT
#
# MKT2T1,MKCDUX,MKCDUY,MKCDUZ,MKCDUS,MKCDUT
#
# ALARM EXIT
#
# NONE
MARKIT CCS CDUCHKWD
@ -642,26 +606,21 @@ MARKIT CCS CDUCHKWD
COUNT 20/SXTMK
# PROGRAM NAME: MARKDIF
#
# PROGRAM NAME - MARKDIF DATE- 19 SEPT 1967
# CALLING SEQUENCE
#
# WAITLIST FROM MARKIT
#
# EXIT
#
# TASKOVER TO IBNKCALL TO MARKCONT
#
# INPUT
#
# OUTPUT FROM MARKIT, INPUT TO MARKCONT, CDUCHKWD
#
# OUTPUT
#
# RUPTSTOR - RUPTSTOR+3,RUPTREG3,RUPTSTOR+5 - RUPTSTOR+6
#
# ALARM EXIT
#
# ALARM AND TASKOVER
MARKDIF CA CDUCHKWD # IF DELAY CHECK IS ZERO OR NEG,ACP MARK
@ -698,5 +657,3 @@ DIFCHK INCR MKNDX # INCREMENT INDEX
OCT 00121
TCF TASKOVER # DO NOT ACCEPT