Consistency Conditions for a CORBA Caching Service

  • Gregory Chockler
  • Roy Friedman
  • Roman Vitenberg
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1914)


Distributed object caching is essential for building and de ploying Internet wide services based on middle wares 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 pa per 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 con sistency 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.


Formal Definition Consistency Condition Independent Manner Predictable Quality Sequential Consistency 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Ahamad, R. Bazzi, R. John, P. Kohli, and G. Neiger. The Power of Processor Consistency. In Proc. of the 5th ACM Symposium On Parallel Algorithms and Architectures, pages 251–260, June/July 1993.Google Scholar
  2. 2.
    M. Ahamad, G. Neiger, P. Kohli, J. Burns, and P. Hutto. Causal Memory: Definitions, Implementation, and Programming. Distributed Computing, 9(1), 93.Google Scholar
  3. 3.
    H. Attiya, S. Chaudhuri, R. Friedman, and J. Welch. Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions and Programming Strategies. SIAM Journal of Computing, 27(1), February 1998.Google Scholar
  4. 4.
    H. Attiya and J. Welch. Sequential Consistency versus Linearizability. ACM Transactions on Computer Systems, 12(2):91–122, May 1994.CrossRefGoogle Scholar
  5. 5.
    B. N. Bershad, M. J. Zekauskas, and W. A. Sawdon.The Midway Distributed Shared Memory System. In Proc. of the 38th IEEE Intl. Computer Conf. (COM-PCON), pages 528–537, February 1993.Google Scholar
  6. 6.
    J. B. Carter. Efficient Distributed Shared Memory Based on Multi-Protocol Rel ease Consistency. PhD thesis, Computer Science Dpt., Rice University, 1993.Google Scholar
  7. 7.
    G. Chockler, D. Dolev, R. Friedman, and R. Vitenberg. Implementing a Caching Service for Distributed CORBA Objects. In Proceedings of Middleware ’00, pages 1–23, April 2000. The Best Conference Paper award.Google Scholar
  8. 8.
    R. Friedman. Consistency Conditions for Distributed Shared Memories. PhD thesis, Department of Computer Science, The Technion, 1994.Google Scholar
  9. 9.
    M. Herlihy and J. Wing. Linearizability: A Correctness Condition for Concurrent Objects. ACM Trans, on Programming Languages and Systems, 12(3):463–492, 1990.CrossRefGoogle Scholar
  10. 10.
    P. Hutto and M. Ahamad.Slow Memory: Weakening Consistency to Enhance Concurrency in Distributed Shared Memories.Technical Report TR GIT-ICS-89/39, Georgia Institute of Technology, October1989.Google Scholar
  11. 11.
    P. Keleher. Lazy Release Consistency for Distributed Shared Memory. PhD thesis, Department of Computer Science, Rice University, December 1994.Google Scholar
  12. 12.
    L. Lamport. How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Trans, on Computers, C-28(9):690–691, 1979.CrossRefGoogle Scholar
  13. 13.
    R. Lipton and J. Sandberg. PRAM: A Scalable Shared Memory. Technical Report CS-TR-180-88, Computer Science Dpt., Princeton University, September 1988.Google Scholar
  14. 14.
    B. Liskov, A. Adya, M. Castro, M. Day, S. Ghemawat, R. Gruber, U. Maheshwari, A. Myers, and L. Shrira. Safe and efficient sharing of persistent objects in Thor. In ACM SIGMOD Intl. Symp. on Management of Data, pages 318–329, June 1996.Google Scholar
  15. 15.
    X. Liu, C. Keitz, R. vanRenesse, J. Hickey, M. Hayden, K. Birman, and R. Constable. Building Reliable, High-Performance Communication Systems from Components. In the 17th Symp. on Operating Systems Principles, December 1999.Google Scholar
  16. 16.
    M. Mizuno, M. Raynal, and J. Zhou. Sequential Consistency in Distributed Systems. In Proceedings of the Intl Workshop“Theory and Practice in Distributed Systems”, pages 224–241, September 1994.Google Scholar
  17. 17.
    OMG.The Common Object Request Broker: Architecture and Specification. 1995.Google Scholar
  18. 18.
    M. Raynal and A. Schiper. From Causal Consistency to Sequential Consistency in Shared Memory Systems. In the 15th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science, pages 180–194, December 1995.Google Scholar
  19. 19.
    L. Rodrigues and P. Verissimo. Causal Separators for Large-Scale Multicast Communication. In Proceedings of the 15th IEEE Intl. Conference on Distributed Computing Systems, pages 83–91, June 1995.Google Scholar
  20. 20.
    M. Singhal and A. Kshemkalyani. An Efficient Implementation of Vector Clocks. Information Processing Letters, 43:47–52, August 1992.Google Scholar
  21. 21.
    D.B. Terry, A.J. Demers, K. Petersen, M.J. Spreitzer, M.M. Theimer, and B.B. Welsh. Session Guarantees for Weakly Consistent Replicated Data. In IEEE Conf. on Parallel and Distributed Information Systems (PDIS), pages 140–149, 1994.Google Scholar
  22. 22.
    M. van Steen, P. Homburg, and A. S. Tanenbaum. Globe: A Wide-Area Distributed System. IEEE Concurency, 7(l):70–78, January-March 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Gregory Chockler
    • 1
  • Roy Friedman
    • 2
  • Roman Vitenberg
    • 2
  1. 1.Institute of Computer ScienceThe Hebrew UniversityJerusalemIsrael
  2. 2.Computer Science DepartmentTechnion - The Israel Institute of TechnologyHaifaIsrael

Personalised recommendations