Consistency Conditions for a CORBA Caching Service. / Chockler, Gregory; Friedman, Roy; Vitenberg, Roman.

Proceedings of the 14th International Conference on Distributed Computing (DISC '00). Springer-Verlag, 2000. p. 374-388 (Lecture Notes In Computer Science; No. 1914).

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

Published

Abstract

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)
PublisherSpringer-Verlag
Pages374-388
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
PublisherSpringer-Verlag
Number1914

Conference

Conference14th International Conference on Distributed Computing (DISC '00)
CountrySpain
CityToledo
Period1/10/003/10/00

ID: 10719355