Consistency Conditions for a CORBA Caching Service

Gregory Chockler, Roy Friedman, Roman Vitenberg

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationProceedings of the 14th International Conference on Distributed Computing (DISC '00)
Number of pages15
ISBN (Print)ISBN:3-540-41143-7
Publication statusPublished - 2000
Event14th International Conference on Distributed Computing (DISC '00) - Toledo, Spain
Duration: 1 Oct 20003 Oct 2000

Publication series

NameLecture Notes In Computer Science


Conference14th International Conference on Distributed Computing (DISC '00)

Cite this