This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Support for Recovery in Mobile Systems
October 2002 (vol. 51 no. 10)
pp. 1219-1224

Abstract—Mobile systems increasingly are being used for production-grade data-centered applications which require system support for transactional properties. For mobile applications, transactions can hide, to some extent, the infrastructure intrinsic to mobile systems, such as disconnection from the network, dozing, and storage limitations. In this paper, we introduce a framework to understand, specify, and reason about recovery support for transactional functionality, based on the notion of guarantees (promises one subsystem makes to another) and protocols (prescriptions for correct behavior). We apply our framework to a simple mobile system scenario, yielding an abstract specification that exposes the role of each component in achieving specific transactional semantics support, such as the redo-ability of committed updates that might be lost due to a failure; it also reveals unstated assumptions necessary for the correctness of recovery support. We also show how to reason about alternative ways of obtaining the desired transactional support and the requirements on the components to support recovery and transactions.

[1] J. Gray and A. Reuter, Transaction Processing: Concepts and Techniques, Morgan Kauffman, 1993.
[2] C. Mohan, D. Haderle, B. Lindsay, H. Pirahesh, and P. Schwarz, ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging ACM Trans. Database Systems, vol. 17, no. 1, pp. 94-162, Mar. 1992.
[3] D.K. Pradhan, P. Krishna, and N.H. Vaidya, “Recoverable Mobile Environments: Design and Trade-Off Analysis,” Technical Report 95-053, Dept. of Computer Science, Texas A&M Univ., College Station, 1995.
[4] P. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
[5] L.-F. Cabrera, J.A. McPherson, P.M. Schwarz, and J.C. Wyllie, “Implementing Atomicity in Two Systems: Techniques, Tradeoffs and Experience,” IEEE Trans. Software Eng., vol. 19, no. 10, pp. 950-961, Oct. 1993.
[6] D.B. Lomet and M.R. Tuttle, “Logical Logging to Extend Recovery to New Domains,” Proc. ACM SIGMOD Conf., pp. 73-84, June 1999.
[7] R.S. Barga and D.B. Lomet, “Phoenix: Making Applications Robust,” Proc. ACM SIGMOD Conf., pp. 562-564, June 1999.
[8] M.U. Kamath and K. Ramamritham, “Failure Handling and Coordinated Execution of Concurrent Workflows,” Proc. 14th IEEE Int'l Conf. Design Eng. (ICDE), Feb. 1998.
[9] F. Casati, S. Ceri, S. Paraboschi, and G. Pozzi, “Specification and Implementation of Exceptions in Workflow Management Systems,” ACM Trans. Database Systems, pp. 405-451, Sept. 1999.
[10] R. Alonso and H.F. Korth, “Database System Issues in Nomadic Computing,” Proc. ACM SIGMOD Conf., pp. 388-392, June 1993.
[11] D. Barbara, “Mobile Computing and Databases—A Survey,” IEEE Trans. Knowledge and Data Eng., vol. 11, no. 1, pp. 108-117, Jan./Feb. 1999.
[12] P.K. Chrysanthis, “Transaction Processing in Mobile Computing Environment,” Proc. IEEE Workshop Advances in Parallel and Distributed Systems, pp. 77-82, Oct. 1993.
[13] D.G. Walborn and P.K. Chrysanthis, “Supporting Semantics Based Transaction Processing in Mobile Database Applications,” Proc. 14th IEEE Symp. Reliable Distributed Systems, Sept. 1995.
[14] S. Mazumdar and P.K. Chrysanthis, “Achieving Consistency in Mobile Databases through Localization in PRO-MOTION,” Proc. Int'l Conf. and Workshop Database and Expert Systems Applications (DEXA), pp. 82-89, 1999.
[15] S.K. Madria and B.K. Bhargava, “A Transaction Model for Mobile Computing,” Proc. Int'l Database Eng. and Application Symp., pp. 92-102, 1998.
[16] S.K. Madria and B.K. Bhargava, “On the Correctness of a Transaction Model for Mobile Computing,” Proc. Int'l Conf. and Workshop Database and Expert Systems Applications, pp. 573-583, 1998.
[17] B. Yao, K.F. Ssu, and W.K. Fuchs, “Message Logging in Mobile Computing,” Proc. IEEE Fault-Tolerant Computing Symp., pp. 294-301, June 1999.
[18] D. Kuo, “Model and Verification of a Data Manager Based on Aries,” ACM Trans. Database Systems, vol. 21, no. 4, pp. 427-479, Dec. 1997.
[19] C. Wallace, Y. Gurevich, and N. Soparkar, “A Formal Approach to Recovery in Transaction-Oriented Database Systems,” Springer J. Universal Computer Science, vol. 3, no. 4, pp. 320-340, Apr. 1997.
[20] C. Pedregal-Martin and K. Ramamritham, “Guaranteeing Recoverability in Electronic Commerce,” Proc. Third Int'l Workshop Advanced Issues of E-Commerce and Web-Based Information Systems, pp. 144-155, June 2001.
[21] C. Pedregal-Martin, “Transaction Recovery in Databases and Beyond,” PhD thesis, Univ. of Massachusetts, Amherst, 2001.

Index Terms:
Recovery specification, database transactions, mobile systems.
Citation:
Cris Pedregal-Martin, Krithi Ramamritham, "Support for Recovery in Mobile Systems," IEEE Transactions on Computers, vol. 51, no. 10, pp. 1219-1224, Oct. 2002, doi:10.1109/TC.2002.1039847
Usage of this product signifies your acceptance of the Terms of Use.