Abstract
In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is presented. The protocol preserves Monotonic Writes session guarantee required by clients, despite failures of servers. The costs of rollback-recovery are minimized, by exploiting semantics of operations and properties of MW guarantee. The proof of safety property of rVsMW is included.
This work was supported in part by the State Committee for Scientific Research (KBN), Poland, under grant KBN 3 T11C 073 28.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Brzeziński, J., Kobusińska, A., Kobusiński, J.: Safety of rvsmw rollbackrecovery protocol for mobile systems. Technical Report RA-011/05, Institute of Computing Science, Poznań University of Technology (November 2005)
Brzeziński, J., Sobaniec, C.: Safety of an object-based version vector consistency protocol of session guarantees. In: Proc. of the 6th Int. Conf. on Parallel Processing and Applied Mathematics, Poznań, Poland (September 2005)
Brzeziński, J., Sobaniec, C., Wawrzyniak, D.: Safety of a client-based version vector consistency protocol of session guarantees. In: Proc. of the 19th Int. Symp. on Distributed Computing (DISC 2005), Cracow, Poland (September 2005)
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)
Elmootazbellah, N., Elnozahy, A.L., Wang, Y.-M., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys 34(3), 375–408 (2002)
Guerraoui, R., Rodrigues, L.: Introduction to distributed algorithms. Springer, Heidelberg (2004)
Sergent, N., Défago, X., Schiper, A.: Failure detectors: Implementation issues and impact on consensus performance. Technical Report SSC/1999/019, École Polytechnique Fédérale de Lausanne, Switzerland (May 1999)
Sobaniec, C.: Consistency Protocols of Session Guarantees in Distributed Mobile Systems. PhD thesis, Institute of Computing Science, Poznan University of Technology (September 2005)
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, September 1994, pp. 140–149. IEEE Computer Society, Los Alamitos (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brzeziński, J., Kobusińska, A. (2006). Safety of Recovery Protocol Preserving MW Session Guarantee in Mobile Systems. In: Gavrilova, M.L., et al. Computational Science and Its Applications - ICCSA 2006. ICCSA 2006. Lecture Notes in Computer Science, vol 3983. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11751632_125
Download citation
DOI: https://doi.org/10.1007/11751632_125
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34077-5
Online ISBN: 978-3-540-34078-2
eBook Packages: Computer ScienceComputer Science (R0)