Record Details

Support for recovery in mobile systems

DSpace at IIT Bombay

View Archive Info
 
 
Field Value
 
Title Support for recovery in mobile systems
 
Creator PEDREGAL-MARTIN, C
RAMAMRITHAM, K
 
Subject recovery specification
database transactions
mobile systems
 
Description 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.
 
Publisher IEEE COMPUTER SOC
 
Date 2011-07-31T15:08:54Z
2011-12-26T12:53:03Z
2011-12-27T05:40:09Z
2011-07-31T15:08:54Z
2011-12-26T12:53:03Z
2011-12-27T05:40:09Z
2002
 
Type Article
 
Identifier IEEE TRANSACTIONS ON COMPUTERS, 51(10), 1219-1224
0018-9340
http://dx.doi.org/10.1109/TC.2002.1039847
http://dspace.library.iitb.ac.in/xmlui/handle/10054/8155
http://hdl.handle.net/10054/8155
 
Language en