Shared memory consistency models: A tutorial

DMCA

Shared memory consistency models: A tutorial (1996)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Sarita V. Adve , Kourosh Gharachorloo

Venue:	IEEE Computer
Citations:	441 - 10 self

BibTeX

@ARTICLE{Adve96sharedmemory,
    author = {Sarita V. Adve and Kourosh Gharachorloo},
    title = {Shared memory consistency models: A tutorial},
    journal = {IEEE Computer},
    year = {1996},
    volume = {29},
    pages = {66--76}
}

OpenURL

Abstract

Parallel systems that support the shared memory abstraction are becoming widely accepted in many areas of computing. Writing correct and efficient programs for such systems requires a formal specification of memory semantics, called a memory consistency model. The most intuitive model—sequential consistency—greatly restricts the use of many performance optimizations commonly used by uniprocessor hardware and compiler designers, thereby reducing the benefit of using a multiprocessor. To alleviate this problem, many current multiprocessors support more relaxed consistency models. Unfortunately, the models supported by various systems differ from each other in subtle yet important ways. Furthermore, precisely defining the semantics of each model often leads to complex specifications that are difficult to understand for typical users and builders of computer systems. The purpose of this tutorial paper is to describe issues related to memory consistency models in a way that would be understandable to most computer professionals. We focus on consistency models proposed for hardware-based shared-memory systems. Many of these models are originally specified with an emphasis on the system optimizations they allow. We retain the system-centric emphasis, but use uniform and simple terminology to describe the different models. We also briefly discuss an alternate programmer-centric view that describes the models in terms of program behavior rather than specific system optimizations. 1

Keyphrases

shared memory consistency model memory consistency model many current multiprocessor computer professional program behavior intuitive model sequential consistency alternate programmer-centric view formal specification computer system tutorial paper hardware-based shared-memory system many area simple terminology different model uniprocessor hardware typical user consistency model memory semantics many performance optimization various system compiler designer system-centric emphasis shared memory abstraction specific system optimization parallel system efficient program important way relaxed consistency model