Sequential Consistency Semantics
- Should appear that every program executes
instructions in sequential order, in spite of out-of-order pipes
- Requires all shared loads and stores
be atomic -- main memory update must occur before any other access
- Works well if little sharing