|
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, |
