Results 1 - 10 of 4,338,167

Shared memory consistency models: A tutorial

by Sarita V. Adve, Kourosh Gharachorloo - IEEE Computer , 1996
"... 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 con ..."
Abstract - Cited by 435 (11 self) - Add to MetaCart
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

Memory Consistency Models

by David Mosberger , 1993
"... This paper discusses memory consistency models and their influence on software in the context of parallel machines. In the first part we review previous work on memory consistency models. The second part discusses the issues that arise due to weakening memory consistency. We are especially intereste ..."
Abstract - Cited by 121 (1 self) - Add to MetaCart
This paper discusses memory consistency models and their influence on software in the context of parallel machines. In the first part we review previous work on memory consistency models. The second part discusses the issues that arise due to weakening memory consistency. We are especially

Memory Consistency Models 1

by David Mosberger
"... This paper discusses memory consistency models and their influence on software in the context of parallel machines. In the first part we review previous work on memory consistency models. The second part discusses the issues that arise due to weakening memory consistency. We are especially intereste ..."
Abstract - Add to MetaCart
This paper discusses memory consistency models and their influence on software in the context of parallel machines. In the first part we review previous work on memory consistency models. The second part discusses the issues that arise due to weakening memory consistency. We are especially

Memory Consistency Models

by Sela Mador-haim, Rajeev Alur, Milo Martin, Sela Mador-haim, Rajeev Alur, Milo M. K. Martin
"... Abstract—Modern microprocessors implement many different memory consistency models, some of which have complex semantics. Although most system architects tend to specify memory models in an axiomatic style, executable specifications are useful for memory-model-aware verification of concurrent progra ..."
Abstract - Add to MetaCart
Abstract—Modern microprocessors implement many different memory consistency models, some of which have complex semantics. Although most system architects tend to specify memory models in an axiomatic style, executable specifications are useful for memory-model-aware verification of concurrent

A Framework of Memory Consistency Models

by Weiwu Hu, Weisong Shi, Zhimin Tang , 1998
"... Previous descriptions of memory consistency models in shared-memory multiprocessor systems are mainly expressed as constraints on the memory access event ordering and hence are hardware-centric. This paper presents a framework of memory consistency models which describes the memory consistency model ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
Previous descriptions of memory consistency models in shared-memory multiprocessor systems are mainly expressed as constraints on the memory access event ordering and hence are hardware-centric. This paper presents a framework of memory consistency models which describes the memory consistency

Defining and Comparing Memory Consistency Models

by Lisa Higham, Jalal Kawash, Nathaly Verwaal - In Proc. of the 10th Int'l Conf. on Parallel and Distributed Computing Systems , 1997
"... Because multiprocessors implement sophisticated memory structures in order to enhance performance, processes can have inconsistent views of memory which may result in unexpected program outcomes. A memory consistency model is a set of guarantees that describes constraints on the outcome of sequences ..."
Abstract - Cited by 19 (4 self) - Add to MetaCart
Because multiprocessors implement sophisticated memory structures in order to enhance performance, processes can have inconsistent views of memory which may result in unexpected program outcomes. A memory consistency model is a set of guarantees that describes constraints on the outcome

Two Techniques to Enhance the Performance of Memory Consistency Models

by Kourosh Gharachorloo, Anoop Gupta, John Hennessy - In Proceedings of the 1991 International Conference on Parallel Processing , 1991
"... The memory consistency model supported by a multiprocessor directly affects its performance. Thus, several attempts have been made to relax the consistency models to allow for more buffering and pipelining of memory accesses. Unfortunately, the potential increase in performance afforded by relaxing ..."
Abstract - Cited by 163 (6 self) - Add to MetaCart
The memory consistency model supported by a multiprocessor directly affects its performance. Thus, several attempts have been made to relax the consistency models to allow for more buffering and pipelining of memory accesses. Unfortunately, the potential increase in performance afforded by relaxing

Programming for Different Memory Consistency Models

by Kourosh Gharachorloo , Sarita V. Adve, Anoop Gupta, John L. Hennessy, Mark D. Hill - JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING , 1992
"... The memory consistency model, or memory model, supported by a shared-memory multiprocessor directly affects its performance. The most commonly assumed memory model is sequential consistency (SC). While SC provides a simple model for the programmer, it imposes rigid constraints on the ordering of mem ..."
Abstract - Cited by 50 (6 self) - Add to MetaCart
The memory consistency model, or memory model, supported by a shared-memory multiprocessor directly affects its performance. The most commonly assumed memory model is sequential consistency (SC). While SC provides a simple model for the programmer, it imposes rigid constraints on the ordering

Memory Consistency Models of Bus-Based

by Multiprocessors Jalal Kawash, Jalal Kawash, Lisa Higham , 1996
"... The Partial Orders Framework [3] provides a unified way to specify the memory semantics of distributed systems. This report demonstrates the usefulness of this framework for reasoning about the behavior of the shared memory of existing multiprocessors. Three bus-based machine models are examined: ..."
Abstract - Add to MetaCart
: total ordering, total store ordering, and partial store ordering. A formal and unambiguous description of their memory consistency models is established using the unifying framework. The influence of caches on the memory model is also investigated.

Modular Metatheory for Memory Consistency Models

by Laura Effinger-Dean, Dan Grossman , 2010
"... We present a framework based on operational semantics for formalizing shared-memory multithreaded programming languages with relaxed memory consistency models. The key feature of our framework is a division of each system’s semantics into two modules, the program semantics and the heap semantics. Th ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
We present a framework based on operational semantics for formalizing shared-memory multithreaded programming languages with relaxed memory consistency models. The key feature of our framework is a division of each system’s semantics into two modules, the program semantics and the heap semantics
Results 1 - 10 of 4,338,167