A Primer on Memory Consistency and Cache Coherence

A Primer on Memory Consistency and Cache Coherence
Author: Vijay Nagarajan
Publisher: Morgan & Claypool Publishers
Total Pages: 296
Release: 2020-02-04
Genre: Computers
ISBN: 1681737108

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.

A Primer on Memory Consistency and Cache Coherence

A Primer on Memory Consistency and Cache Coherence
Author: Daniel Sorin
Publisher: Morgan & Claypool Publishers
Total Pages: 214
Release: 2011-03-02
Genre: Technology & Engineering
ISBN: 1608455653

Many modern computer systems and most multicore chips (chip multiprocessors) 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 highlevel concepts as well as specific, concrete examples from real-world systems. Table of Contents: Preface / 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 / Advanced Topics in Coherence / Author Biographies

Computer Aided Verification

Computer Aided Verification
Author: Madhusudan Parthasarathy
Publisher: Springer
Total Pages: 804
Release: 2012-06-22
Genre: Computers
ISBN: 3642314244

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics
Author: Stefan Berghofer
Publisher: Springer
Total Pages: 517
Release: 2009-08-20
Genre: Computers
ISBN: 3642033598

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

Scalable Shared-Memory Multiprocessing

Scalable Shared-Memory Multiprocessing
Author: Daniel E. Lenoski
Publisher: Elsevier
Total Pages: 364
Release: 2014-06-28
Genre: Computers
ISBN: 1483296016

Dr. Lenoski and Dr. Weber have experience with leading-edge research and practical issues involved in implementing large-scale parallel systems. They were key contributors to the architecture and design of the DASH multiprocessor. Currently, they are involved with commercializing scalable shared-memory technology.

Distributed Systems

Distributed Systems
Author: Matthieu Perrin
Publisher: Elsevier
Total Pages: 190
Release: 2017-03-25
Genre: Computers
ISBN: 0081023170

Distributed Systems: Concurrency and Consistency explores the gray area of distributed systems and draws a map of weak consistency criteria, identifying several families and demonstrating how these may be implemented into a programming language. Unlike their sequential counterparts, distributed systems are much more difficult to design, and are therefore prone to problems. On a large scale, usability reminiscent of sequential consistency, which would provide the same global view to all users, is very expensive or impossible to achieve. This book investigates the best ways to specify the objects that are still possible to implement in these systems. - Explores the gray area of distributed systems and draws a map of weak consistency criteria - Investigates the best ways to specify the objects that are still possible to implement in these systems - Presents a description of existing memory models and consistency criteria

Parallel Computer Architecture

Parallel Computer Architecture
Author: David Culler
Publisher: Gulf Professional Publishing
Total Pages: 1056
Release: 1999
Genre: Computers
ISBN: 1558603433

This book outlines a set of issues that are critical to all of parallel architecture--communication latency, communication bandwidth, and coordination of cooperative work (across modern designs). It describes the set of techniques available in hardware and in software to address each issues and explore how the various techniques interact.