Back

Read Check Magic

• Sequencing
• Sequencing Point: switch to READ-CHECK status
• Decision Point: switch to SUCCESSFUL or FAILED status
• Between these two points the system is in a limbo
• Schroedinger's cat
• Sequencing point: we fire the electron that may or may not release the cyanide
• The system is in a quantum superposition of two states
• Decision point: we open the cage and find out if the cat is alive or dead
• If somebody tries to open the cage in between, they don't get the logical value
• They have to kill the cat!
• From the point of view of other threads, the transaction occurs at the sequencing point