Concurrent programming: principles and practice
Concurrent programming: principles and practice
Implementation and performance of Munin
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGOPS Operating Systems Review
Sequential consistency versus linearizability
ACM Transactions on Computer Systems (TOCS)
Mirage+: a kernel implementation of distributed shared memory on a network of personal computers
Software—Practice & Experience
Mixed consistency: a model for parallel programming (extended abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Techniques for reducing consistency-related communication in distributed shared-memory systems
ACM Transactions on Computer Systems (TOCS)
An integrated compile-time/run-time software distributed shared memory system
Proceedings of the seventh international conference on Architectural support for programming languages and operating systems
A combined-consistency approach: sequential amp; causal-consistency
ACM SIGOPS Operating Systems Review
Implementing sequentially consistent shared objects using broadcast and point-to-point communication
Journal of the ACM (JACM)
SIAM Journal on Computing
Weak ordering—a new definition
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Memory consistency and event ordering in scalable shared-memory multiprocessors
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
DIPC: The Linux Way of Distributed Programming
Linux Journal
Implementing a caching service a distributed COBRA objects
IFIP/ACM International Conference on Distributed systems platforms
The Ninja architecture for robust Internet-scale systems and services373423
Computer Networks: The International Journal of Computer and Telecommunications Networking - pervasive computing
Distributed Shared Memory: Concepts and Systems
IEEE Parallel & Distributed Technology: Systems & Technology
Globe: A Wide-Area Distributed System
IEEE Concurrency
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Consistency Conditions for a CORBA Caching Service
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
From Causal Consistency to Sequential Consistency in Shared Memory Systems
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Sequential Consistency in Distributed Systems
Selected Papers from the International Workshop on Theory and Practice in Distributed Systems
Executing Java threads in parallel in a distributed-memory environment
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
An Adaptive Protocol for Implementing Causally Consistent Distributed Services
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Defining Uniform and Hybrid Memory Consistency Models on a Unified Framework
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 8 - Volume 8
Evaluation of Two Optimized Protocols for Sequential Consistency
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 8 - Volume 8
IBM Systems Journal
| Hi-index | 0.00 |
Numerous shared memory consistency models have appeared for the purpose of obtaining better shared memory parallel computers, ones which suffer less from long memory latency. This paper uses the primitive notion of program-order and value-order to define global view. Using this as a seed, various consistency models evolve and form hierarchies of models. The creation of these models comes naturally via one of the following means: (i) a global view is augmented with additional ordering among its operations whenever some orderings exist, or (ii) a global view should not contain certain orderings. The former involves augmentation rules, and the latter involves ordering requirements. These models may attract different implementations and a notion of exact implementation is developed. The usefulness of these models is also analyzed and exemplified.