Abstract:
Abstract—Mobile systems increasingly are being used for production-grade datacentered 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. Index Terms—Recovery specification, database transactions, mobile systems. 1
Citations
|
1320
|
Concurrency Control and Recovery in Database Systems
– Bernstein, Hadzilacos, et al.
- 1987
|
|
1139
|
Transaction Processing: Concepts and Techniques
– Gray, Reuter
- 1993
|
|
250
|
ARIES: A transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging
– Mohan, Haderle, et al.
- 1992
|
|
65
|
Database System Issues in Nomadic Computing
– Alonso, Korth
- 1993
|
|
63
|
Transaction Processing in a Mobile Computing Environment
– Chrysanthis
- 1993
|
|
49
|
Supporting semantics-based transaction processing in mobile databasesystems
– Walborn, Chrysanthis
- 1995
|
|
45
|
Recovery in mobile environments: Design and trade-off analysis
– Pradhan, Krishna, et al.
- 1996
|
|
30
|
Failure Handling and Coordinated Execution of Concurrent Workflows
– Kamath, Ramamritham
- 1998
|
|
27
|
Mobile computing and databases-a survey
– Barbara
- 1999
|
|
18
|
A transaction model for mobile computing
– SK, Bhargava
- 1998
|
|
13
|
Logical Logging to Extend Recovery to New Domains
– Lomet, Tuttle
- 1999
|
|
8
|
Implementing Atomicity in Two Systems: Techniques, Tradeoffs and Experience
– Cabrera, McPherson, et al.
- 1993
|
|
6
|
Achieving consistency in mobile databases through localization
– Mazumdar, Chrysanthis
- 1999
|
|
5
|
Specification and Implementation of Exceptions
– Casati, Ceri, et al.
- 1999
|
|
5
|
Message Logging
– Yao, Ssu, et al.
- 1999
|
|
4
|
Model and Verification of a Data Manager Based on
– Kuo
- 1996
|
|
2
|
Guaranteeing Recoverability
– Pedregal-Martin, Ramamritham
- 2001
|
|
2
|
Transaction Recovery in Databases and Beyond
– Pedregal-Martin
- 2001
|
|
1
|
A Formal Approach to Recovery in Transaction-Oriented Database Systems
– Wallace, Gurevich, et al.
- 1997
|
