Memory coherence in shared virtual memory systems
ACM Transactions on Computer Systems (TOCS)
Design and validation of computer protocols
Design and validation of computer protocols
Implementation and performance of Munin
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
A distributed consistency server for the CHORUS system
SEDMS III Papers from the symposium on Experiences with distributed and multiprocessor systems
CRL: high-performance all-software distributed shared memory
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Horus: a flexible group communication system
Communications of the ACM
Memory consistency and event ordering in scalable shared-memory multiprocessors
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Distributed Systems: Concepts and Design
Distributed Systems: Concepts and Design
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Efficient solutions to the replicated log and dictionary problems
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
View consistencies and exact implementations
Parallel Computing
| Hi-index | 0.00 |
This paper presents a new algorithm that provides two types of consistency models simultaneously on the same data. This algorithm combines sequential and causal consistencies. Two community of sites share the same set of data with different consistency models. This algorithm has been validated by a SPIN/PROMELA simulation. Our proposal addresses uniform memory models based applications. Our work can be applied to passive object, variable or page based environments.