Function Interrupt At
None
Format:
interrupt at computer: id index: i time: t
Input:
any id -
number i -
number t -
Output:
number - None
Conditional properties that reference this function:
- if interrupt at computer: c index: 0 time: t = 1, then the PC at computer c and time (t + 1) = 1 (link)
- if interrupt at computer: c index: x time: t = 1, then interrupt at computer: c index: x time: (t + 1) = 0 (link)
- if interrupt at computer: c index: x time: t = 1, then byte at ID: c, cell #idx at time (t + 1) = byte at ID: c, cell #idx at time t (link)
- if interrupt at computer: c index: 1 time: t = 1, then the PC at computer c and time (t + 1) = 2 (link)
- if the following are true:
- byte at ID: c, cell #49 at time t = 1
- disk bytes read at time t = byte at ID: c, cell #46 at time t
- byte at ID: c, cell #48 at time t = 0
then interrupt at computer: c index: 1 time: (t + 1) = 1
(link) - if the following are true:
- byte at ID: x, cell #68 at time t = 1
- byte at ID: x, cell #67 at time t = y_decimal
- y in decimal = y_decimal
- network bytes read from computer: x at time t = byte at ID: x, cell #66 at time t
then interrupt at computer: y index: 2 time: (t + 1) = 1
(link) - if interrupt at computer: x index: 2 time: t = 1, then the PC at computer x and time (t + 1) = 3 (link)
Comments
Please log in to add comments