A formal description of SYSTEM/360

dimensionsignijicancereferences: set, used, [via local variable]4241288 X m6323266835effective addressestemporary addressfirst addresssecond addressthird addressaddress switchalternate prefixconsole buttonsload keyreset keyinterrupt keystop keystart keyset-instruction-counter kejdisplay keystore keyCPU registers stored indiagnosisiata switchiisplay lights?xternal signal lineswrite outread outhold inmachine-check outIPL in-lineslet by Ea'ailures (parity, etc.)ill character:eneral interlock bitsinterruption interlock1/0 interruption retractio~burst-timer controlinterruption holdermachine checkprogram checksupervisor callexternalI /oCH 82; CPU 16, 19; EXC a, bll, b, cl, d, e,f, g, h, io-5, 19-30, j, kl-13, 69, 70, 11-3CPU 12, 15, 18; EXC a3-7, bl, 2, 13, 14, 23,24, d6, d, e3, f0, 1, 16, 18, g, h18, 19, i7-9,j0-16, kl-12,ll-3CPU 13; EXC b18, 19, d17, 23CP 16-25; MrlC 6MAC 4CP 5-7MCIE 8CP 16, 23-25CP 18-21EXC a10, 12EXC a14, 16EXC a17; TU 0MCIE 3,sCP 5-7EIE 0, 2, 3; ES 0HFC 4; IPL 9; MAC 22; MCIE 0, 9;RESET 0EXC h13, 16, 25RESET 07H 62, 64, 72, 82, 87-92, 117, 122, 123, 132-157; CPU 27, 28; EIE 1, 4; HFC 9; IOIE0,2; MCIE 9CPU 30; IOIE 3, 17BMT 0, I; CH 48, 58, 165; EXC c5; IOIE 6CPU 25, 26, 29; RESET 0MCIE 1CPU 24; MCIE 9EXC a27; MCIE 9EIE 0IOIE 1FORMAL DESCRIPTION OF SYSTEM/360 253