Fluke Reliable IPC Implementation Properties

• Cooperative threads
• 3 locks per thread
• Many wait states & captured threads
• Clean exception mechanism
• Cancelable -- equivalent to precise exceptions in hardware
• Decomposed operations
  • e.g., fluke_ipc_connect_send_over_receive()
• Designed to run on SMP machines
• I.e. its complicated