Proof RESTART_TABLES #633 (#714)

Co-authored-by: Richard Pilbery <tricky999@Richards-iMac.lan>
Co-authored-by: James Harris <wopian@wopian.me>
pull/761/head
Richard Pilbery 2020-10-13 19:59:52 +01:00 committed by GitHub
parent 0d6c2b10cc
commit 39c2ae827b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 63 additions and 67 deletions

View File

@ -28,56 +28,57 @@
# Page 238 # Page 238
# RESTART TABLES # RESTART TABLES
# -------------- # ------------------
# #
# 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 PRDTTAB OF THE CORRECT PHASE SPOT - A POSITIVE PRIORITY INDICATES A
# A JOB HAS ITS PRIORITY STORED IN A 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,
# #
# 5.7SPOT OCT 23000 # 5.7SPOT OCT 23000
# 2CADR SOMEJOB # 2CADR SOMEJOB
# #
# A RESTART OF GROUP 5 WITH PHASE SEVEN WOULD THEN CAUSE SOMEJOB TO BE RESTARTED AS A FINDVAC WITH PRIORITY 23. # A RESTART OF GROUP 5 WITH PHASE SEVEN WOULD THEN CAUSE SOMEJOB TO BE RESTARTED AS A FINDVAC WITH PRIORITY 23.
# #
# 5.5SPOT OCT -23000 # 5.5SPOT OCT -23000
# 2CADR ANYJOB # 2CADR ANYJOB
# #
# HERE A RESTART OF GROUP 5 WITH PHASE 7 WOULD CAUSE ANYJOB TO BE RESTARTED AS A NOVAC WITH PRIORITY 23. # HERE A RESTART OF GROUP 5 WITH PHASE 7 WOULD CAUSE ANYJOB TO BE RESTARTED AS A NOVAC WITH PRIORITY 23.
# A LONGCALL HAS ITS GENADR OF ITS 2CADR STORED NEGATIVELY AND ITS BBCON STORED POSITIVELY. IN ITS PRDTTAB IS # A LONGCALL HAS ITS GENADR OF ITS 2CADR STORED NEGATIVELY AND ITS BBCON STORED POSITIVELY. IN ITS PRDTTAB IS
# PLACED THE LOCATION OF A DP REGISTER THAT CONTAINS THE DELTA TIME THAT LONGCALL HAD BEEN ORIGINALLY STARTED # PLACED THE LOCATION OF A DP REGISTER THAT CONTAINS THE DELTA TIME THAT LONGCALL HAD BEEN ORIGINALLY STARTED
# WITH. EXAMPLE, # WITH. EXAMPLE,
# #
# 3.6SPOT GENADR DELTAT # 3.6SPOT GENADR DELTAT
# -GENADR LONGTASK # -GENADR LONGTASK
# BBCON LONGTASK # BBCON LONGTASK
# OCT 31000
# 2CADR JOBAGAIN
# #
# THIS WOULD START UP LONGTASK AT THE APPROPRIATE TIME, OR IMMEDIATELY IF THE TIME HAD ALREADY PASSED. IT SHOULD # OCT 31000
# BE NOTED THAT IF DELTAT IS IN A SWITCHED E BANK, THIS INFORMATION SHOULD BE IN THE BBCON OF THE 2CADR OF THE # 2CADR JOBAGAIN
# TASK. FROM ABOVE, WE SEE THAT THE SECOND PART O THIS PHASE WOULD BE STARTED AS A JOB WITH A PRIORITY OF 31.
# #
# WAITLIST CALLS ARE IDENTIFIED BY THE FCT THAT THEIR 2CADR IS STORED NEGATIVELY. IF PRDTTAB OF THE PHASE SPOT # 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 INFORMATOIN SHOULD BE IN THE BBCON OFTHE 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 # 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
# 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
# # IN 10 MS, OTHERWISE IT WILL BEGIN WHEN # # IN 10 MS, OTHERWISE IT WILL BEGIN WHEN
# # IT NORMALLY WOULD HAVE BEGUN. # # IT NORMALLY WOULD HAVE BEGUN.
# Page 239 # Page 239
# -GENADR DTIME # WHERE DTIME CONTAINS THE DELTA TIME # -GENADR DTIME # WHERE DTIME CONTAINS THE DELTA TIME
# -2CADR TASKTASK # OTHERWISE THIS IS AS ABOVE # -2CADR TASKTASK # OTHERWISE THIS IS AS ABOVE
# #
# ***** NOW THE TABLES THEMSELVES ***** # ***** NOW THE TABLES THEMSELVES *****
@ -85,11 +86,11 @@
SETLOC RESTART SETLOC RESTART
BANK BANK
PRDTTAB EQUALS 12000 # USED TO FIND THE PRIORITY OR DELTATIME PRDTTAB EQUALS 12000 # USED TO FIND THE PRIORITY OR DELTATIME
CADRTAB EQUALS 12001 # THIS AND THE NEXT RELATIVE LOC CONTAIN CADRTAB EQUALS 12001 # THIS AND THE NEXT RELATIVE LOC CONTAIN
# RESTART 2CADR # RESTART 2CADR
COUNT* $$/RSTAB # TABLES IN BANK 1. COUNT* $$/RSTAB # TABLES IN BANK 1.
SIZETAB TC 1.2SPOT -12006 SIZETAB TC 1.2SPOT -12006
TC 1.3SPOT -12004 TC 1.3SPOT -12004
TC 2.2SPOT -12006 TC 2.2SPOT -12006
@ -102,29 +103,27 @@ SIZETAB TC 1.2SPOT -12006
TC 5.3SPOT -12004 TC 5.3SPOT -12004
TC 6.2SPOT -12006 TC 6.2SPOT -12006
TC 6.3SPOT -12004 TC 6.3SPOT -12004
1.2SPOT OCT 21000 # A DUMMY EXAMPLE TO BE REPLACED AS SOON 1.2SPOT OCT 21000 # A DUMMY EXAMPLE TO BE REPLACED AS SOON
EBANK= STATE EBANK= STATE
2CADR ENDOFJOB # AS THERE IS A LEGITIMATE 1.2SPOT 2CADR ENDOFJOB # AS THERE IS A LEGITIMATE 1.2SPOT
DEC 100 DEC 100
EBANK= STATE EBANK= STATE
2CADR TASKOVER 2CADR TASKOVER
# ANY MORE GROUP 1.EVEN RESTART VALUES SHOULD GO HERE. # ANY MORE GROUP 1.EVEN RESTART VALUES SHOULD GO HERE
1.3SPOT -GENADR SAVET-30 1.3SPOT -GENADR SAVET-30
EBANK= DVCNTR EBANK= DVCNTR
-2CADR ULLGTASK -2CADR ULLGTASK
# 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
# ANY MORE GROUP 2.EVEN RESTART VALUES SHOULD GO HERE # ANY MORE GROUP 2.EVEN RESTART VALUES SHOULD GO HERE
2.3SPOT GENADR 600SECS 2.3SPOT GENADR 600SECS
-GENADR STATEINT
-GENADR STATEINT
EBANK= RRECTCSM EBANK= RRECTCSM
BBCON STATEINT BBCON STATEINT
@ -135,7 +134,7 @@ SIZETAB TC 1.2SPOT -12006
2.7SPOT DEC 1500 2.7SPOT DEC 1500
EBANK= LOSCOUNT EBANK= LOSCOUNT
-2CADR P20LEMC1 -2CADR P20LEMC1
2.11SPOT OCT 14000 2.11SPOT OCT 14000
EBANK= P21TIME EBANK= P21TIME
@ -151,21 +150,20 @@ SIZETAB TC 1.2SPOT -12006
2.17SPOT OCT 77777 2.17SPOT OCT 77777
EBANK= VGPREV EBANK= VGPREV
-2CADR REDO2.17 -2CADR REDO2.17
2.21SPOT DEC 25 2.21SPOT DEC 25
EBANK= DVCNTR EBANK= DVCNTR
-2CADR R10,R11 -2CADR R10,R11
# ANY MORE GROUP 2.ODD RESTART VALUES SHOULD GO HERE. # ANY MORE GROUP 2.ODD RESTART VALUES SHOULD GO HERE.
3.2SPOT EQUALS 1.2SPOT 3.2SPOT EQUALS 1.2SPOT
# ANY MORE GROUP 3.EVEN RESTART VALUES SHOULD GO HERE # ANY MORE GROUP 3.EVEN RESTART VALUES SHOULD GO HERE
3.3SPOT -GENADR ZOOMTIME 3.3SPOT -GENADR ZOOMTIME
EBANK= DVCNTR EBANK= DVCNTR
-2CADR ZOOM -2CADR ZOOM
3.5SPOT OCT 20000 3.5SPOT OCT 20000
EBANK= TTOGO EBANK= TTOGO
@ -175,13 +173,12 @@ SIZETAB TC 1.2SPOT -12006
4.2SPOT DEC 2500 4.2SPOT DEC 2500
EBANK= TTOGO EBANK= TTOGO
-2CADR TIG-5
-2CADR TIG-5
OCT 77777 OCT 77777
EBANK= TTOGO EBANK= TTOGO
# Page 241 # Page 241
-2CADR REDO4.2 -2CADR REDO4.2
# ANY MORE GROUP 4.EVEN RESTART VALUES SHOULD GO HERE # ANY MORE GROUP 4.EVEN RESTART VALUES SHOULD GO HERE
@ -191,15 +188,15 @@ SIZETAB TC 1.2SPOT -12006
4.5SPOT DEC 50 4.5SPOT DEC 50
EBANK= TTOGO EBANK= TTOGO
-2CADR ULLAGOFF -2CADR ULLAGOFF
4.7SPOT DEC 500 4.7SPOT DEC 500
EBANK= DVCNTR EBANK= DVCNTR
-2CADR TIG-0 -2CADR TIG-0
4.11SPOT -GENADR TGO +1 4.11SPOT -GENADR TGO +1
EBANK= DVCNTR EBANK= DVCNTR
-2CADR ENGOFTSK -2CADR ENGOFTSK
4.13SPOT OCT 12000 4.13SPOT OCT 12000
EBANK= TRKMKCNT EBANK= TRKMKCNT
@ -207,11 +204,11 @@ SIZETAB TC 1.2SPOT -12006
4.15SPOT DEC 500 4.15SPOT DEC 500
EBANK= TTOGO EBANK= TTOGO
-2CADR TIG-30 -2CADR TIG-30
4.17SPOT OCT 77777 4.17SPOT OCT 77777
EBANK= DVCNTR EBANK= DVCNTR
-2CADR TIG-5 -2CADR TIG-5
4.21SPOT OCT 13000 4.21SPOT OCT 13000
EBANK= STAR EBANK= STAR
@ -219,17 +216,17 @@ SIZETAB TC 1.2SPOT -12006
4.23SPOT OCT 77777 4.23SPOT OCT 77777
EBANK= DVCNTR EBANK= DVCNTR
-2CADR IGNITION -2CADR IGNITION
4.25SPOT GENADR SAVET-30 4.25SPOT GENADR SAVET-30
-GENADR TIG-35 -GENADR TIG-35
EBANK= SAVET-30 EBANK= SAVET-30
BBCON TIG-35 BBCON TIG-35
4.27SPOT OCT 52777 4.27SPOT OCT 52777
EBANK= DVCNTR EBANK= DVCNTR
2CADR P70A 2CADR P70A
# Page 242 # Page 242
4.31SPOT OCT 52777 4.31SPOT OCT 52777
EBANK= DVCNTR EBANK= DVCNTR
@ -248,17 +245,18 @@ SIZETAB TC 1.2SPOT -12006
2CADR COMFAIL 2CADR COMFAIL
# ANY MORE 4.ODD RESTART VALUES SHOULD GO HERE. # ANY MORE 4.ODD RESTART VALUES SHOULD GO HERE.
5.2SPOT OCT 22000 5.2SPOT OCT 22000
EBANK= DVCNTR EBANK= DVCNTR
2CADR NORMLIZE 2CADR NORMLIZE
DEC 200 DEC 200
EBANK= DVCNTR EBANK= DVCNTR
-2CADR REREADAC -2CADR REREADAC
5.4SPOT DEC 200 5.4SPOT DEC 200
EBANK= DVCNTR EBANK= DVCNTR
-2CADR REREADAC -2CADR REREADAC
OCT 20000 OCT 20000
EBANK= DVCNTR EBANK= DVCNTR
@ -268,30 +266,28 @@ SIZETAB TC 1.2SPOT -12006
5.3SPOT DEC 200 5.3SPOT DEC 200
EBANK= DVCNTR EBANK= DVCNTR
-2CADR REREADAC -2CADR REREADAC
5.5SPOT OCT 77777 5.5SPOT OCT 77777
EBANK= DVCNTR EBANK= DVCNTR
-2CADR REDO5.5 -2CADR REDO5.5
5.7SPOT OCT 77777 5.7SPOT OCT 77777
EBANK= DVCNTR EBANK= DVCNTR
# Page 243 # Page 243
-2CADR BIBIBIAS -2CADR BIBIBIAS
# ANY MORE GROUP 5.ODD RESTART VALUES SHOULD GO HERE # ANY MORE GROUP 5.ODD RESTART VALUES SHOULD GO HERE
6.2SPOT EQUALS 1.2SPOT 6.2SPOT EQUALS 1.2SPOT
6.3SPOT DEC 100 6.3SPOT DEC 100
EBANK= TIG EBANK= TIG
-2CADR CLOKTASK -2CADR CLOKTASK
6.5SPOT OCT 30000 # PROTECT INCREMENTING OF TIME2,TIME1 BY 6.5SPOT OCT 30000 # PROTECT INCREMENTING OF TIME2,TIME1 BY
EBANK= TEPHEM # P27(UPDATE PROGRAM) VIA V70 OR V73. EBANK= TEPHEM # P27(UPDATE PROGRAM) VIA V70 OR V73.
2CADR TIMEDIDR 2CADR TIMEDIDR
6.7SPOT OCT 17000 6.7SPOT OCT 17000
EBANK= VGPREV EBANK= VGPREV
2CADR REDO6.7 2CADR REDO6.7