Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
An efficient implementation of vector clocks
Information Processing Letters
The power of processor consistency
SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
Sequential consistency versus linearizability
ACM Transactions on Computer Systems (TOCS)
Efficient distributed shared memory based on multi-protocol release consistency
Efficient distributed shared memory based on multi-protocol release consistency
Safe and efficient sharing of persistent objects in Thor
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Lazy release consistency for distributed shared memory
Lazy release consistency for distributed shared memory
SIAM Journal on Computing
Building reliable, high-performance communication systems from components
Proceedings of the seventeenth ACM symposium on Operating systems principles
Implementing a caching service a distributed COBRA objects
IFIP/ACM International Conference on Distributed systems platforms
Globe: A Wide-Area Distributed System
IEEE Concurrency
Session Guarantees for Weakly Consistent Replicated Data
PDIS '94 Proceedings of the Third International Conference on Parallel and Distributed Information Systems
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
Causal separators for large-scale multicast communication
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
IEEE Transactions on Computers
Caching web services in mobile ad-hoc networks: opportunities and challenges
Proceedings of the second ACM international workshop on Principles of mobile computing
View consistencies and exact implementations
Parallel Computing
On the composability of consistency conditions
Information Processing Letters
From session guarantees to contract guarantees for consistency of SOA-compliant processing
ACIIDS'11 Proceedings of the Third international conference on Intelligent information and database systems - Volume Part I
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
| Hi-index | 0.00 |
Distributed object caching is essential for building and deploying Internet wide services based on middlewares such as CORBA. By caching objects, it is possible to mask much of the latency associated with accessing remote objects, to provide more predictable quality of service to clients, and to improve the scalability of the service. This paper presents a combined theoretical and practical view on specifying and implementing consistency conditions for such a service. First, a formal definition of a set of basic consistency conditions is given in an abstract, implementation independent manner. It is then shown that common consistency conditions such as sequential consistency, causal consistency, and PRAM can be formally specified as a combination of these more basic conditions. Finally, the paper describes the implementation of the proposed basic consistency conditions in CASCADE, a distributed CORBA object caching service.