Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Primer on Memory Consistency and Cache CoherenceRelaxed Memory Consistency

A Primer on Memory Consistency and Cache Coherence: Relaxed Memory Consistency [The previous two chapters explored the memory consistency models sequential consistency (SC) and total store order (TSO). These chapters presented SC as intuitive and TSO as widely implemented (e.g., in x86). Both models are sometimes called strong because the global memory order of each model usually respects (preserves) per-thread program order. Recall that SC preserves order for two memory operations from the same thread for all four combinations of loads and stores (Load → Load, Load → Store, Store → Store, and Store → Load), whereas TSO preserves the first three orders but not Store → Load order.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A Primer on Memory Consistency and Cache CoherenceRelaxed Memory Consistency

Download PDF
34 pages

Loading next page...
 
/lp/springer-journals/a-primer-on-memory-consistency-and-cache-coherence-relaxed-memory-VRk30R1f0S
Publisher
Springer International Publishing
Copyright
© Springer Nature Switzerland AG 2020
ISBN
978-3-031-00636-4
Pages
55 –89
DOI
10.1007/978-3-031-01764-3_5
Publisher site
See Chapter on Publisher Site

Abstract

[The previous two chapters explored the memory consistency models sequential consistency (SC) and total store order (TSO). These chapters presented SC as intuitive and TSO as widely implemented (e.g., in x86). Both models are sometimes called strong because the global memory order of each model usually respects (preserves) per-thread program order. Recall that SC preserves order for two memory operations from the same thread for all four combinations of loads and stores (Load → Load, Load → Store, Store → Store, and Store → Load), whereas TSO preserves the first three orders but not Store → Load order.]

Published: Jan 1, 2020

There are no references for this article.