Orange Locking: Channel-Free Database Concurrency Control via Locking
Abstract
The concurrency control lock (e.g. file lock, table lock) has long been used as a canonical example of a covert channel in a database system. Locking is a fundamental concurrency control technique used in many kinds of computer systems besides database systems. Locking is generally considered to be interfering and hence unsuitable for multilevel systems. In this paper we show how such locks can be used for concurrency control, without introducing covert channels.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1992
- Accession Number
- ADA465539
Entities
People
- John Mcdermott
- Sushil Jajodia
Organizations
- United States Naval Research Laboratory