Abstract
This paper addresses a problem of integrating the consistency management of Writes Follow Reads (WFR) session guarantee with recovery mechanisms in distributed mobile systems. To solve such a problem, rollback-recovery protocol rVsWFR, providing WFR consistency model for mobile clients and unreliable servers is proposed. The costs of rollback-recovery in rVsWFR protocol are minimized by exploiting the semantics of clients’ operations and the properties of WFR session guarantee. The paper includes the proof of safety property of the presented protocol.
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.
References
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)
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)
Sobaniec, C.: Consistency Protocols of Session Guarantees in Distributed Mobile Systems. PhD thesis, Institute of Computing Science, Poznan University of Technology (2005)
Elmootazbellah, N., Elnozahy, L.A., Wang, Y.M., Johnson, D.: A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys 34, 375–408 (2002)
Pradhan, D., Krishna, P., Vaidya, N.: Recovery in mobile environments: Design and trade-off analysis. In: Proc. of the 26th International Symposium on Fault-Tolerant Computing, pp. 16–25 (1996)
Tanaka, K., Higaki, H., Takizawa, M.: Object-based checkpoints in distributed systems. Journal of computer system science and Engineering 13, 125–131 (1998)
Brzeziński, J., Szychowiak, M.: An extended coherence protocol for recoverable dsm systems with causal consistency. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004. LNCS, vol. 3037, pp. 475–482. Springer, Heidelberg (2004)
Chockler, G., Dolev, D., Friedman, R., Vitenberg, R.: Implementing a Caching Service for Distributed CORBA Objects. In: Coulson, G., Sventek, J. (eds.) Middleware 2000. LNCS, vol. 1795, Springer, Heidelberg (2000)
Kermarrec, A.M., Kuz, I., van Steen, M., Tanenbaum, A.S.: A framework for consistent, replicated Web objects. In: Proc. of the 18th Int. Conf. on Distributed Computing Systems (ICDCS) (1998)
Kubiatowicz, J., Bindel, D., Chen, Y., Czerwinski, S., Eaton, P., Geels, D., Gummadi, R., Rhea, S., Weatherspoon, H., Weimer, W., Wells, C., Zhao, B.: Oceanstore: An architecture for global-scale persistent storage. In: Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2000) (2000)
Picconi, F., Busca, J.M., Sens, P.: Pastis: a highly-scalable multi-user peer-to-peer file system. In: EuroPar 2005, pp. 1173–1182 (2005)
Guerraoui, R., Rodrigues, L.: Introduction to distributed algorithms. Springer, Heidelberg (2004)
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., Kobusiński, J. (2006). Safety of Rollback-Recovery Protocol Maintaining WFR Session Guarantee. In: Levi, A., Savaş, E., Yenigün, H., Balcısoy, S., Saygın, Y. (eds) Computer and Information Sciences – ISCIS 2006. ISCIS 2006. Lecture Notes in Computer Science, vol 4263. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11902140_86
Download citation
DOI: https://doi.org/10.1007/11902140_86
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-47242-1
Online ISBN: 978-3-540-47243-8
eBook Packages: Computer ScienceComputer Science (R0)