A Better x86 Memory Model: x86-TSO

other

Author(s): Scott Owens , Susmit Sarkar , Peter Sewell

Publication date (Print): 2009

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 391-407

DOI: 10.1007/978-3-642-03359-9_27

SO-VID: 0b3dad34-9c53-4d65-bae6-b59c2edb6679

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 32

Herding Cats
Authors: Michael Tautschnig, Luc Maranget, Jade Alglave
Software Verification for Weak Memory via Program Transformation
Authors: Jade Alglave, Daniel Kroening, Vincent Nimal …
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
Authors: Scott Owens

See all cited by