Safety of a Client-Based Version Vector Consistency Protocol of Session Guarantees

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


Session guarantees are used to manage consistency of replicas in distributed systems with mobile clients. This paper presents and formally proves safety of a novel consistency protocol of session guarantees using client-based version vectors. Client-based version vectors represent sets of writes resulting from definitions of session guarantees more accurately, which results in a protocol performing better then the standard protocol using server-based version vectors.


Version Vector Mobile Client Shared Object Distribute Information System Distribute Storage System 
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.
    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
  2. 2.
    Mattern, F.: Virtual time and global states of distributed systems. In: Cosnard, M., et al. (eds.) Proc. of the Int’l. Conf. on Parallel and Distributed Algorithms, pp. 215–226. Elsevier Science Publishers B. V., Amsterdam (1988)Google Scholar
  3. 3.
    Fidge, C.: Logical time in distributed computing systems. Computer 24, 28–33 (1991)CrossRefGoogle Scholar
  4. 4.
    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
  5. 5.
    Parker, D.S., Popek, G., Rudisin, G., Stoughton, A., Walker, B., Walton, E., Chow, J., Edwards, D., Kiser, S., Kline, C.: Detection of mutual inconsistency in distributed systems. IEEE Trans. on Software Engineering 9, 240–247 (1983)CrossRefGoogle Scholar
  6. 6.
    Satyanarayanan, M., Kistler, J.J., Kumar, P., Okasaki, M.E., Siegel, E.H., Steere, D.C.: Coda: A highly available file system for a distributed workstation environment. IEEE Transactions on Computers 39, 447–459 (1990)CrossRefGoogle Scholar
  7. 7.
    Page, T.W., Guy, R.G., Heidemann, J.S., Ratner, D.H., Reiher, P.L., Goel, A., Kuenning, G.H., Popek, G.J.: Perspectives on optimistically replicated peer-topeer filing. Software Practice and Experience 28, 155–180 (1998)CrossRefGoogle Scholar
  8. 8.
    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
  9. 9.
    Ratner, D., Reiher, P., Popek, G.: Dynamic version vector maintenance. Technical Report CSD-970022, Univ. of California, Los Angeles (1997)Google Scholar
  10. 10.
    Sobaniec, C.: Consistency Protocols of Session Guarantees in Distributed Mobile Systems. PhD thesis, Poznań University of Technology, Poznań (2005)Google Scholar
  11. 11.
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

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

Personalised recommendations