Download:
|
by Calton Pu, A Cost/benefit Analysis
in the Proceedings of Fifth ACM SIGOPS European Workshop, 1992, Le Mont Saint-Michel
ftp://ftp.cse.ogi.edu/pub/esr/reports/sigops-93.ps.gz
Add To MetaCart
Abstract:
Atomic transactions have been recognized as an important concept in the development of databases and operating systems (OS). Serializability is the standard notion of correctness [3] in transaction processing. Informally, transactions maintain system consistency: a transaction takes a consistent system state into another consistent system state, regardless of concurrent executions of other transactions and crashes. Despite the recognition given to the concept, however, OS researchers have refrained from adopting transactions in practice. Some exceptions such as Argus [10], Eden [1], and Clouds [6] only prove the rule. The main advantage of programs encapsulated in transactions is their simple structure. Such programs do not have to deal with interleaving of other concurrent
Citations
|
1319
|
Concurrency Control and Recovery in Database Systems
– Bernstein, Hadzilacos, et al.
- 1987
|
|
864
|
Implementing remote procedure calls
– Birrell, Nelson
- 1984
|
|
192
|
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
– Liskov, Scheifler
- 1983
|
|
148
|
Replica control in distributed system: An asynchronous approach
– Pu, Leff
- 1991
|
|
129
|
Granularity of locks and degrees of consistency in a shared data base
– GRAY, LORIE, et al.
- 1976
|
|
88
|
The Eden System: A Technical Review
– Almes, Black, et al.
- 1985
|
|
76
|
The Demarcation Protocol: A Technique for Maintaining Linear Arithmetic Constraints in Distributed Database Systems
– Barbar'a, Garcia-Molina
- 1992
|
|
62
|
A formal characterization of epsilon serializability
– RAMAMRITHAM, C
- 1995
|
|
60
|
ACTA: The SAGA continues
– Chrysanthis, Ramamritham
- 1992
|
|
57
|
Divergence Control for Epsilon-Serializability
– Wu, Yu, et al.
- 1992
|
|
47
|
An Optimistic Commit Protocol for Distributed Transaction Management
– Levy, Korth, et al.
- 1991
|
|
39
|
The Design and Implementation of the Clouds Distributed Operating System
– Dasgupta, Chen, et al.
- 1990
|
|
21
|
Unilateral Commit: A New Paradigm for Reliable Distributed Transaction Processing
– Hsu, Silberschatz
- 1990
|
|
19
|
Autonomous transaction execution with epsilon serializability
– Pu,
- 1992
|
|
16
|
Generalized transaction processing with epsilon-serializability
– PU
- 1991
|
|
10
|
Maintaining consistency of interdependent data in multidatabase systems
– Sheth, Leu, et al.
- 1991
|