SAFETY OF CHECKPOINTING AND ROLLBACK-RECOVERY PROTOCOL FOR MOBILE SYSTEMS WITH RYW SESSION GUARANTEE

Jerzy Brzeziński, Anna Kobusińska, Jacek Kobusiński

2006

Abstract

This paper presents rVsRYW checkpointing and rollback-recovery protocol, which preserves Read Your Writes session guarantee and includes the proof of safety property of the proposed protocol. In order to provide RYW guarantee required by mobile clients, despite failures of servers, in rVsRYW protocol semantics of consistency protocol operations is exploited and build in recovery mechanisms.

References

  1. Alvasi, L. and Marzullo, K. (1998). Message logging: pessimistic, optimistic, causal and optimal. IEEE Trans. Softw. Eng, 24(2):149-159.
  2. Bernstein, P. A., Hadzilacos, V., and Goodman, N. (1987). Concurrency Control and Recovery in Database Systems. Addison Wesley.
  3. Duchamp, D., Feiner, S., and Jr, G. M. (1991). Software technology for wireless mobile computing. IEEE Network Magazine, pages 2-18.
  4. Elmootazbellah, N., Elnozahy, Lorenzo, A., Wang, Y.- M., and Johnson, D. (2002). A survey of rollbackrecovery protocols in message-passing systems. ACM Computing Surveys, 34(3):375-408.
  5. Elnozahy, E. and Zwaenepoel, W. (1992). Manetho: Transparent rollback-recovery with low overhead, limited rollback, and fast output commit. IEEE Transactions on Computer, 41(5):526-531.
  6. Guerraoui, R. and Rodrigues, L. (2004). Introduction to distributed algorithms. Springer-Verlag.
  7. KobusiÁska, A., Libuda, M., Sobaniec, C., and Wawrzyniak, D. (2005). Version vector protocols implementing session guarantees. Proc. of Int. Symp. on Cluster Computing and the Grid (CCGrid 2005).
  8. Pradhan, D., P.Krishna, and Vaidya, N. (1996). Recovery in mobile environments: Design and trade-off analysis. Proc. of the 26th International Symposium on FaultTolerant Computing, pages 16-25.
  9. Sergent, N., Dfago, X., and Schiper, A. (1999). Failure detectors: Implementation issues and impact on consensus performance. Technical Report SSC/1999/019, cole Polytechnique Fdrale de Lausanne, Switzerland.
  10. Sobaniec, C. (2005). Consistency Protocols of Session Guarantees in Distributed Mobile Systems. PhD thesis, Institute of Computing Science, Poznan University of Technology.
  11. Szychowiak, M. (2003). Replication of checkpoints in DSM systems with read-write objects. PhD thesis, Institute of Computing Science, Poznan University of Technology.
  12. Tanaka, K., Higaki, H., and Takizawa, M. (1998). Objectbased checkpoints in distributed systems. Journal of computer system science and Engineering, 13(3):125- 131.
  13. Terry, D. B., Demers, A. J., Petersen, K., Spreitzer, M., Theimer, M., and Welch, B. W. (1994). Session guarantees for weakly consistent replicated data. Proc. of the Third Int. Conf. on Parallel and Distributed Information Systems (PDIS 94), pages 140-149.
Download


Paper Citation


in Harvard Style

Brzeziński J., Kobusińska A. and Kobusiński J. (2006). SAFETY OF CHECKPOINTING AND ROLLBACK-RECOVERY PROTOCOL FOR MOBILE SYSTEMS WITH RYW SESSION GUARANTEE . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS, ISBN 978-972-8865-44-3, pages 118-123. DOI: 10.5220/0002446101180123


in Bibtex Style

@conference{iceis06,
author={Jerzy Brzeziński and Anna Kobusińska and Jacek Kobusiński},
title={SAFETY OF CHECKPOINTING AND ROLLBACK-RECOVERY PROTOCOL FOR MOBILE SYSTEMS WITH RYW SESSION GUARANTEE},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS,},
year={2006},
pages={118-123},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002446101180123},
isbn={978-972-8865-44-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS,
TI - SAFETY OF CHECKPOINTING AND ROLLBACK-RECOVERY PROTOCOL FOR MOBILE SYSTEMS WITH RYW SESSION GUARANTEE
SN - 978-972-8865-44-3
AU - Brzeziński J.
AU - Kobusińska A.
AU - Kobusiński J.
PY - 2006
SP - 118
EP - 123
DO - 10.5220/0002446101180123