Relaxed Memory Consistency

Book Section

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.

Full Text

Duke Authors

Cited Authors

  • Sorin, DJ; Hill, MD; Wood, DA

Published Date

  • January 1, 2009

Book Title

  • Synthesis Lectures on Computer Architecture

Start / End Page

  • 51 - 81

Digital Object Identifier (DOI)

  • 10.1007/978-3-031-01733-9_5

Citation Source

  • Scopus