| Edition |
Second edition. |
| Description |
1 online resource (xx, 274 pages) : illustrations. |
| Series |
Synthesis lectures on computer architecture, 1935-3243 ; #49 |
|
Synthesis lectures in computer architecture ;
#49.
|
| Bibliography |
Includes bibliographical references. |
| Contents |
Introduction to consistency and coherence -- Coherence basics -- Memory consistency motivation and sequential consistency -- Total store order and the x86 memory model -- Relaxed memory consistency -- Coherence protocols -- Snooping coherence protocols -- Directory coherence protocols -- 9. Advanced topics in coherence -- 10. Consistency and coherence for heterogeneous systems -- 11. Specifying and validating memory consistency models and cache coherence. |
| Summary |
Many modern computer systems, including homogeneous and heterogeneous architectures, support shared memory in hardware. In a shared memory system, each of the processor cores may read and write to a single shared address space. For a shared memory machine, the memory consistency model defines the architecturally visible behavior of its memory system. Consistency definitions provide rules about loads and stores (or memory reads and writes) and how they act upon memory. As part of supporting a memory consistency model, many machines also provide cache coherence protocols that ensure that multiple cached copies of data are kept up-to-date. The goal of this primer is to provide readers with a basic understanding of consistency and coherence. This understanding includes both the issues that must be solved as well as a variety of solutions. We present both high-level concepts as well as specific, concrete examples from real-world systems. This second edition reflects a decade of advancements since the first edition and includes, among other more modest changes, two new chapters: one on consistency and coherence for non-CPU accelerators (with a focus on GPUs) and one that points to formal work and tools on consistency and coherence. |
| Note |
Title from PDF title page (viewed on February 28, 2020). |
| Local Note |
Springer Nature Springer Nature - SpringerLink eBooks - Fully Open Access |
| Subject |
Memory management (Computer science)
|
|
Cache memory.
|
|
Cache memory
|
|
Memory management (Computer science)
|
| Indexed Term |
computer architecture |
|
memory consistency |
|
cache coherence |
|
shared memory |
|
memory systems |
|
multicore processor |
|
heterogeneous architecture |
|
GPU |
|
accelerators |
|
semantics |
|
verification |
| Added Author |
Sorin, Daniel J., author.
|
|
Hill, Mark D. (Mark Donald), author. https://id.oclc.org/worldcat/entity/E39PCjKkYc3YDVX4Y6b4QVvgVd
|
|
Wood, David Allen, author.
|
| Other Form: |
Print version: Nagarajan, Vijay. Primer on memory consistency and cache coherence. Second edition. [San Rafael, Calif.] : Morgan & Claypool Publishers, [2020] 9781681737119 (OCoLC)1141095013 |
| ISBN |
1681737108 (electronic bk.) |
|
9781681737102 (electronic bk.) |
|
9781681737119 (hardcover) |
|
1681737116 (hardcover) |
|
9781681737096 (paperback) |
|
1681737094 (paperback) |
|
9783031017643 (electronic bk.) |
|
3031017641 (electronic bk.) |
| Standard No. |
10.2200/S00962ED2V01Y201910CAC049 doi |
|
10.1007/978-3-031-01764-3 doi |
|
