Function Interrupt At

None

Format:

interrupt at computer: id index: i time: t

Input:

Output:

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