A formal description of SYSTEM/360

Table 3 ContinuedsymbollimensionSignifianceeferences: sef, used, [via local variable]311111211648"1 oca1 variablesf ield lengths1 oad unit switchI nachine (model) characteristicsprotection featuredecimal featurefloating-point featuredirect control featureinterlock featurememory width in bytesnumber of bytes inmachine checknumber of final 0's indiagnosediagnose completionoptionset IC key optionburst mode intervalmain prefixnavigation vectorinstruction set options(mol ml, m2, m3, m4)privileged operationsformat (RR, RX, RS,ss, SI)starting line in EXCbranch control in EXCprogram status wordsystem maskprotection key(extended BCD/Americanstandard) codemachine check mask(running/wait) state(supervisor/program)stateinterruption code-instruction length codecondition codefixed-point overflow masldecimal overflow maskexponent underflow masllost significance maskinstruction addresscharacter from patternfield:PU 17; EXC f22, 26, 31, g, h5, 36, j:H 5, 6; IPL 5, 6:H 103; CPU 2; MAC 11; NovoVOvovo:P 18, 23; MAC 6MCIE 8TXC a19YXC a227P 16BMT 2WAC 47PU 97PU 10YPU 10CPU 11CPU 21; EXC 0; TU 0EXCCPU 31, 32; EXC a26; IPL 7CPU 25, 26; EXC a2; IOIE 4CPU 2; MAC 10EXC g24, h2, j19, 36MCIE 0CPU 36CPU 10CPU 24, 33; EIE 2, 3; EXC a27; IOIE 0;IPL 8; MCIE 6CPU 1-7, 23, EXC 33; b10; IPL 8CH 133,138,146,161; EXC b10, bll; Table 5EXC aO, b10, d12, e9, i24EXC aO, b10, j29EXC aO, b10, k73EXC aO, b10, k41, 42, 72CP 16,21; CPU 3, 5; EXC b10, 13, 14,23, 24EXC hll, 12, 13254 A. D. FALKOFF, K. E. IVERSON, AND E. E. SUSSENGUTH