Weak Consistency

Synchronizations must be atomic and have a consistent order
Loads/stores preceding synch point must first complete
Synchs before shared accesses must complete
Puts burden of proof on programmer
More flexible, but costly