Safety of an Object-Based Version Vector Consistency Protocol of Session Guarantees

  • Jerzy Brzeziński
  • Cezary Sobaniec
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3911)


Replication provides high performance and availability but introduces the problem of data consistency that arises when replicas are modified. Session guarantees may be used to manage replica consistency of a distributed system from a migrating client’s perspective. This paper presents and proves safety of a new consistency protocol of session guarantees using object-based version vectors.


Sequence Number Version Vector Client Side Shared Object Respective Object 
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.
    Tanenbaum, A.S., van Steen, M.: Distributed Systems — Principles and Paradigms. Prentice Hall, New Jersey (2002)MATHGoogle Scholar
  2. 2.
    Terry, D.B., Demers, A.J., Petersen, K., Spreitzer, M., Theimer, M., Welch, B.W.: Session guarantees for weakly consistent replicated data. In: Proc. of the Third Int. Conf.on Parallel and Distributed Information Systems (PDIS 1994), Austin, USA, pp. 140–149. IEEE Computer Society, Los Alamitos (1994)CrossRefGoogle Scholar
  3. 3.
    Mattern, F.: Virtual time and global states of distributed systems. In: Cosnard, Quinton, Raynal, Robert (eds.) Proc. of the Int’l. Conf.on Parallel and Distributed Algorithms, pp. 215–226. Elsevier Science Publishers B. V, Amsterdam (1988)Google Scholar
  4. 4.
    Fidge, C.: Logical time in distributed computing systems. Computer 24, 28–33 (1991)CrossRefGoogle Scholar
  5. 5.
    Petersen, K., Spreitzer, M.J., Terry, D.B., Theimer, M.M., Demers, A.J.: Flexible update propagation for weakly consistent replication. In: Proc. of the 16th ACM Symp. on Operating Systems Principles (SOSP-16), Saint Malo, France, pp. 288–301 (1997)Google Scholar
  6. 6.
    Brzeziński, J., Sobaniec, C., Wawrzyniak, D.: Safety of a server-based version vector protocol implementing session guarantees. In: Sunderam, V.S., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2005. LNCS, vol. 3516, pp. 423–430. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    Kobusińska, A., Libuda, M., Sobaniec, C., Wawrzyniak, D.: Version vector protocols implementing session guarantees. In: Proc. of Int. Symp. on Cluster Computing and the Grid (CCGrid 2005), Cardiff, UK (2005)Google Scholar
  8. 8.
    Ratner, D., Reiher, P., Popek, G.: Dynamic version vector maintenance. Technical Report CSD-970022, Univ.of California, Los Angeles (1997)Google Scholar
  9. 9.
    Goodman, J.R.: Cache consistency and sequential consistency. Technical Report 61, IEEE Scalable Coherence Interface Working Group (1989)Google Scholar
  10. 10.
    Brzeziński, J., Sobaniec, C.: Safety of VoSG consistency protocol of session guarantees. Technical Report RA-009/05, Institute of Computing Science, Poznań University of Technology (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jerzy Brzeziński
    • 1
  • Cezary Sobaniec
    • 1
  1. 1.Institute of Computing SciencePoznań University of TechnologyPoland

Personalised recommendations