A formal description of SYSTEM/360

~~MCIE, machine check interruption entry system program0 A V/f 0h, + 1 1-+ CPU; 26 2e, + 1 3DELAY (4 to 1 microsecond) 1e3 + 0 5fi1~~(16) (I6) 6DIAGNOSE 7MAC'(128, m6, s, g; cpustatusl 8h,,gotf + F h,,9EIE, external interruption entry system program1h, t V /timer alarm, console interrupt, external signals 00 : go A (h = 3) - 1p,~n(~n) + @), timer alarna, console interrupt, externalsignals 2timer alarm, console interrupt, external signals +- 36(timer alarm, console interrupt, external signals) A jj,21(g)go 4- 0 4ES, external signals system programd external signals +-(w6/E3) V external signalsTU, timer3update system program= 0: tick A (manual light = off) A (rate sw = process) A 0(-e2 A n3 = a13)MAC'(80, 4, f , g; j) 1k t (32) T (1 j ) - 2' X 300 f timer frepuency 2MAC8@0, 4, s, g; k) 3timer alarm + timer alarm V (I k) > I j 4tick c 0 5T, timer system programDELAY ((I + timerfrequency) seconds) 0tick + 1 1RESET, reset defined operation- - ..+ f, g, h, 9, r, w + 0operating ipl +- state, stop, 0 1"-f CPU; 35 2-+ (CHo,,-CH', CH2, CH3, CH5 CH'); CH', 2 3-+ IPL; 0 4load light + off 5MODEL-DEPENDENT RESET 6