The Programming Interface
WO and RC require synchronized programs
All synchronization operations must be labeled and visible to the hardware
- easy if synchronization library used
- must provide language support for arbitrary ld/st synchronization (event notification, e.g., flag)
Program that is correct for TSO portable to WO & RC