Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Memory access buffering in multiprocessors
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Performance evaluation of memory consistency models for shared-memory multiprocessors
ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems
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
The Stanford Dash Multiprocessor
Computer
A performance study of memory consistency models
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
Lazy release consistency for software distributed shared memory
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
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
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
SPLASH: Stanford parallel applications for shared-memory
SPLASH: Stanford parallel applications for shared-memory
Object distribution in Orca using Compile-Time and Run-Time techniques
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A comprehensive bibliography of distributed shared memory
ACM SIGOPS Operating Systems Review
Using spatial techniques to decrease message passing in a distributed VE system
VRML '97 Proceedings of the second symposium on Virtual reality modeling language
Community Place: architecture and performance
VRML '97 Proceedings of the second symposium on Virtual reality modeling language
Virtual Society: Collaboration in 3D Spaces on the Internet
Computer Supported Cooperative Work - Special issue on groupware and the World Wide Web
View-based consistency and false sharing effect in distributed shared memory
ACM SIGOPS Operating Systems Review
Partial order relations in distributed object environments
ACM SIGOPS Operating Systems Review
Strategies optimization and integration in DSM
ACM SIGOPS Operating Systems Review
Device driver programming in a transactional DSM operating system
CRPIT '02 Proceedings of the seventh Asia-Pacific conference on Computer systems architecture
Application-Controlled Coherence Protocols for Scope Consistent Software DSMs
HPCN Europe 2001 Proceedings of the 9th International Conference on High-Performance Computing and Networking
Applying Distributed Shared Memory Techniques for Implementing Distributed Objects
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
DSM-Communities in the World-Wide Web
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
View consistencies and exact implementations
Parallel Computing
Communication in GLOBE: an object-based worldwide operating system
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
A Top-Down Driven, Object-Based Approach to application-Specific Operating system Design
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Efficient support for pipelining in software distributed shared memory systems
Real-time system security
A unified theory of shared memory consistency
Journal of the ACM (JACM)
A page-coherent, causally consistent protocol for distributed shared memory
Journal of Systems and Software
Consistency models for distributed interactive multimedia applications
ACM SIGOPS Operating Systems Review
Replication for web hosting systems
ACM Computing Surveys (CSUR)
Replication for web hosting systems
ACM Computing Surveys (CSUR)
Parallel Strategies for Local Biological Sequence Alignment in a Cluster of Workstations
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 15 - Volume 16
Sequential consistency and the lazy caching algorithm
Distributed Computing - Special issue: Verification of lazy caching
Using CSP to verify sequential consistency
Distributed Computing - Special issue: Verification of lazy caching
Integrating coordinated checkpointing and recovery mechanisms into DSM synchronization barriers
Journal of Experimental Algorithmics (JEA)
Parallel strategies for the local biological sequence alignment in a cluster of workstations
Journal of Parallel and Distributed Computing
Workflow support for wireless sensor and actor networks: a position paper
DMSN '07 Proceedings of the 4th workshop on Data management for sensor networks: in conjunction with 33rd International Conference on Very Large Data Bases
False sharing and its effect on shared memory performance
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Implementing sequentially consistent programs on processor consistent platforms
Journal of Parallel and Distributed Computing
A practical approach of memory access parallelization to exploit multiple off-chip DDR memories
Proceedings of the 45th annual Design Automation Conference
Data sharing over mobile ad hoc networks
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Revising 1-Copy Equivalence in Replicated Databases with Snapshot Isolation
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Implicit and explicit transactions in a distributed transactional memory system
PDCN '08 Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks
KStruct: preserving consistency through C annotations
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Scalability of relaxed consistency models in NoC based multicore architectures
ACM SIGARCH Computer Architecture News
Parallel DNA sequence alignment using a DSM system in a cluster of workstations
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Weak consistency in hybrid group update for replication
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Proceedings of the 16th Asia and South Pacific Design Automation Conference
Integrating distributed composite objects into java environment
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
ICA3PP'05 Proceedings of the 6th international conference on Algorithms and Architectures for Parallel Processing
iSAN: an intelligent storage area network architecture
HiPC'04 Proceedings of the 11th international conference on High Performance Computing
Integrating coordinated checkpointing and recovery mechanisms into DSM synchronization barriers
WEA'05 Proceedings of the 4th international conference on Experimental and Efficient Algorithms
Parallel smith-waterman algorithm for local DNA comparison in a cluster of workstations
WEA'05 Proceedings of the 4th international conference on Experimental and Efficient Algorithms
Parameterized memory models and concurrent separation logic
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Data-race and concurrent-write freedom are undecidable
Computer Languages, Systems and Structures
LibRe: a consistency protocol for modern storage systems
Proceedings of the 6th ACM India Computing Convention
| Hi-index | 0.00 |
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 interested in the influence that weakened consistency models have on language, compiler, and runtime system design. We conclude that tighter interaction between those parts and the memory system might improve performance considerably.