Tests Run

• Basic-send
  • Tests infinite loop of send-receive between two threads
  • Models page faults in transfer
• Ack-test
  • Tests flow control switch
  • Models page faults in transfer
• Interposer-test
  • Three threads, one in the “middle”
  • Infinite loop of send-send-receive-receive
• Cancel-test
  • Tests thread cancel (undo)
  • Fails due to mistake in independent port/port set model