Improving data consistency in mobile computing using isolation-only transactions

Disconnected operation is an important technique for providing mobile access to shared data in distributed file systems. However, data inconsistency resulting from partitioned sharing remains a serious concern. This paper presents a new mechanism called isolation-only transaction (IOT) that uses serializability constraints to automatically detect read/write conflicts. The IOT consistency model provides a set of options for automatic and manual conflict resolution. In addition, application-specific knowledge can be incorporated to detect and resolve conflicts. To preserve upward Unix compatibility, the IOT mechanism is provided as an optional file system facility and its flexible interfaces allow any existing Unix application to be executed as an IOT. This paper describes high-level system design and implementation and concludes with related work and current status.

[1]  Qi Lu,et al.  Isolation-only transactions for mobile computing , 1994, OPSR.

[2]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[3]  Bharat K. Bhargava,et al.  Revising Transaction Conceptsf or Mobile Computing , 1994, 1994 First Workshop on Mobile Computing Systems and Applications.

[4]  Mahadev Satyanarayanan,et al.  Disconnected Operation in the Coda File System , 1999, Mobidata.

[5]  Marvin Theimer,et al.  The Bayou Architecture: Support for Data Sharing Among Mobile Users , 1994, 1994 First Workshop on Mobile Computing Systems and Applications.

[6]  Mahadev Satyanarayanan,et al.  Log-based directory resolution in the Coda file system , 1993, [1993] Proceedings of the Second International Conference on Parallel and Distributed Information Systems.

[7]  Susan B. Davidson,et al.  An optimistic protocol for partitioned distributed database systems , 1982 .

[8]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

[9]  Christos H. Papadimitriou,et al.  The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case) , 1978, IEEE Transactions on Software Engineering.

[10]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[11]  Bharat Bhargava,et al.  Revising transaction concepts for mobile computing , 1994, Workshop on Mobile Computing Systems and Applications.

[12]  John S. Heidemann,et al.  Resolving File Conflicts in the Ficus File System , 1994, USENIX Summer.

[13]  Puneet Kumar,et al.  Mitigating the Effects of Optimistic Replication in a Distributed File System , 1994 .

[14]  David P. Reed,et al.  Implementing atomic actions on decentralized data , 1983, TOCS.

[15]  J. T. Robinson,et al.  On optimistic methods for concurrency control , 1979, TODS.

[16]  R. Kordale,et al.  Detecting mutual consistency of shared objects , 1994, Workshop on Mobile Computing Systems and Applications.

[17]  Mahadev Satyanarayanan,et al.  Coda: A Highly Available File System for a Distributed Workstation Environment , 1990, IEEE Trans. Computers.

[18]  Irving L. Traiger,et al.  Granularity of Locks and Degrees of Consistency in a Shared Data Base , 1998, IFIP Working Conference on Modelling in Data Base Management Systems.

[19]  Marvin Theimer,et al.  Session guarantees for weakly consistent replicated data , 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.

[20]  Mahadev Satyanarayanan,et al.  Flexible and Safe Resolution of File Conflicts , 1995, USENIX.