DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA191981
Title:
Nested Transactions and Read/Write Locking.
Corporate Author:
MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE
Report Date:
1987-04-01
Abstract:
We give a clear yet rigorous correctness proof for Mosss algorithm for managing data in a nested transaction system. The algorithm, which is the basis of concurrency control and recovery in the Argus system, uses read- and write-locks and a stack of versions of each object to ensure the serializability and recoverability of transactions accessing the data. Our proof extends earlier work on exclusive locking to prove that Mosss algorithm generates serially correct executions in the presence of concurrency and transaction aborts. The key contribution is the identification of a simple property of read operations, called transparency, that permits shared locks to be used for read operations. Keywords Database management Nested transactions, Atomic actions, Concurrency control, Recovery, Databases, Serializability, Readlocks, Write-locks.
Descriptive Note:
Technical rept.,
Pages:
0042
Contract Number:
N00014-85-K-0168
Contract Number 2:
N00014-83-K-0125
File Size:
2.55MB
