Skip to main content
Synthesis Lectures on Computer Architecture

Total Store Order and the x86 Memory Model

Publication ,  Chapter
Sorin, DJ; Hill, MD; Wood, DA
January 1, 2009

A widely implemented memory consistency model is total store order (TSO). TSO is used in SPARC implementations and, more importantly, appears to match the memory consistency model of the widely used x86 architecture. This chapter presents this important consistency model using a pattern similar to that in the previous chapter on sequential consistency. We first motivate TSO/x86 (Section 4.1) in part by pointing out limitations of SC. We then present TSO/x86 at an intuitive level (Section 4.2) before describing it more formally (Section 4.3), explaining how systems implement TSO/x86 (Section 4.4), and discussing how systems with TSO/x86 implement atomic instructions and instructions used to enforce ordering between instructions (Section 4.5). We conclude by discussing other resources for learning more about TSO/x86 (Section 4.6) and comparing TSO/x86 and SC (Section 4.7).

Duke Scholars

DOI

Publication Date

January 1, 2009

Start / End Page

37 / 50
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Sorin, D. J., Hill, M. D., & Wood, D. A. (2009). Total Store Order and the x86 Memory Model. In Synthesis Lectures on Computer Architecture (pp. 37–50). https://doi.org/10.1007/978-3-031-01733-9_4
Sorin, D. J., M. D. Hill, and D. A. Wood. “Total Store Order and the x86 Memory Model.” In Synthesis Lectures on Computer Architecture, 37–50, 2009. https://doi.org/10.1007/978-3-031-01733-9_4.
Sorin DJ, Hill MD, Wood DA. Total Store Order and the x86 Memory Model. In: Synthesis Lectures on Computer Architecture. 2009. p. 37–50.
Sorin, D. J., et al. “Total Store Order and the x86 Memory Model.” Synthesis Lectures on Computer Architecture, 2009, pp. 37–50. Scopus, doi:10.1007/978-3-031-01733-9_4.
Sorin DJ, Hill MD, Wood DA. Total Store Order and the x86 Memory Model. Synthesis Lectures on Computer Architecture. 2009. p. 37–50.

DOI

Publication Date

January 1, 2009

Start / End Page

37 / 50