K-Resilient Session Guarantees Synchronization Protocol for Mobile Ad-Hoc Networks

  • Jerzy Brzeziński
  • Dariusz Dwornikowski
  • Łukasz Piątkowski
  • Grzegorz Sobański
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7203)


Session guarantees define data consistency in a distributed system as required by a single, mobile client. Consistency protocols of session guarantees are built from two components: one is aimed at providing safety (the guarantees) and the other at providing liveness (data synchronization). This paper presents a new k-resilient data synchronization protocol designed for mobile ad-hoc networks and other systems, where crash-stop failures occur. The application of the protocol is targeted at, but not limited to, various rescue and emergency operations.


Version Vector Synchronization Protocol Broadcast Transmission Consistency Protocol Vector Clock 
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.
    Baldoni, R., Raynal, M.: Fundamentals of distributed computing: A practical tour of vector clock systems. IEEE Distributed Systems Online 3(2) (February 2002),
  2. 2.
    Brzeziński, J., Sobaniec, C., Wawrzyniak, D.: Session Guarantees to Achieve PRAM Consistency of Replicated Shared Objects. In: Wyrzykowski, R., Dongarra, J., Paprzycki, M., Waśniewski, J. (eds.) PPAM 2004. LNCS, vol. 3019, pp. 1–8. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Brzeziński, J., Sobaniec, C., Wawrzyniak, D.: From session causality to causal consistency. In: Proc. of the 12th Euromicro Conf. on Parallel, Distributed and Network-Based Processing (PDP 2004), A Coruña, Spain, pp. 152–158 (February 2004)Google Scholar
  4. 4.
    Camp, T., Boleng, J., Davies, V.: A survey of mobility models for ad hoc network research. Wireless Communication & Mobile Computing (WCMC): Special issue on Mobile Ad Hoc Networking: Research, Trends and Applications 2(5), 488–502 (2002)Google Scholar
  5. 5.
    Community, O.:
  6. 6.
    Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. Journal of the ACM 32(2), 374–382 (1985)MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Kobusińska, A.: Rollback-Recovery Protocols for Distributed Mobile Systems Providing Session Guarantees. Ph.D. thesis, Institute of Computing Science, Poznan University of Technology (September 2006)Google 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, pp. 929–936 (May 2005)Google Scholar
  9. 9.
    Mattern, F.: Virtual time and global states of distributed systems. In: Cosnard, Quinton, Raynal, Robert (eds.) Proc. of the Int. Conf. on Parallel and Distributed Algorithms, pp. 215–226. Elsevier Science Publishers B. V. (October 1988)Google Scholar
  10. 10.
    Piątkowski, L., Sobaniec, C., Sobański, G.: On-demand server synchronization protocols of session guarantees. Foundations of Computing and Decision Sciences 35(4), 307–324 (2010)Google Scholar
  11. 11.
  12. 12.
    Royer, E.M., Toh, C.K.: A review of current routing protocols for ad hoc mobile wireless networks. IEEE Personal Communications (April 1999)Google Scholar
  13. 13.
    Sobaniec, C.: Consistency Protocols of Session Guarantees in Distributed Mobile Systems. Ph.D. thesis, Poznań University of Technology, Poznań (September 2005)Google Scholar
  14. 14.
    Tanenbaum, A.S., van Steen, M.: Distributed Systems — Principles and Paradigms. Prentice Hall, New Jersey (2002)zbMATHGoogle Scholar
  15. 15.
    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 3rd Int. Conf. on Parallel and Distributed Information Systems (PDIS 1994), pp. 140–149. IEEE Computer Society, Austin (1994)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jerzy Brzeziński
    • 1
  • Dariusz Dwornikowski
    • 1
  • Łukasz Piątkowski
    • 1
  • Grzegorz Sobański
    • 1
  1. 1.Institute of Computing SciencePoznań University of TechnologyPoland

Personalised recommendations