Relaxed Memory Order RMO
The weakest SPARC model. Allows all four reorderings (load-load, load-store, store-load, store-store) between independent memory operations.
Ordering relationships
- Strictly weaker than
- Partial Store Order (PSO) — RMO allows all four reordering types including load-load and load-store.
- Strictly stronger than
- Cache Coherence — RMO still enforces per-address coherence; weaker models could violate it.
References
- SPARC International. The SPARC Architecture Manual, Version 9. Prentice Hall, 1994.
- Jade Alglave. A Shared Memory Poetics. PhD Thesis, Université Paris 7, 2010.