...
- Take the read/write operations performed by each process thread and put them in the order the process does thread executes them (process thread order)
- Interleave the operations in some way to form a total program order
- Read operations must return most recently written data in the total program order for the execution to be sequentially consistent
- Implies all processes see the same total ordering of the operations
...