Cancelability and Decomposed Operations

• Cancelablility provides illusion of atomicity
• Canceled thread rolls `back` or `forward`
• Decomposition provides “clean points”
  • fluke_ipc_connect_send_over_receive()
    • connect
    • send (at any point in send)
    • over
    • receive