Categories and Subject Descriptors: D.4.1 [Operating Systems]: Process Management -- concurrency; H.2.4 [Database Management]: Systems -- transaction processing
General Terms: Algorithms, Theory
Additional Key Words and Phrases: Locking
Selected papers that cite this one
- Georg Lausen and Eljas Soisalon-Soininen. Safety by uninterpreted locks. Information and Computation, 117(1):37-49, 15 February 1995.
- Georg Lausen, Eljas Soisalon-Soininen, and Peter Widmayer. Pre-analysis locking. Information and Control, 70(2/3):193-215, August/September 1986.
- Christos H. Papadimitriou. Correction to ``A theorem in database concurrency control''. Journal of the ACM, 32(3):750, July 1985.
Selected references
- Christos H. Papadimitriou. The serializability of concurrent database updates. Journal of the ACM, 26(4):631-653, October 1979.
- Eugene W. Stark. Semaphore primitives and starvation-free mutual exclusion. Journal of the ACM, 29(4):1049-1072, October 1982.
- R. E. Stearns, P. M. Lewis II, and D. J. Rosenkrantz. Concurrency control for database systems. In 17th Annual Symposium on Foundations of Computer Science, pages 19-32, Houston, Texas, 25-27 October 1976. IEEE.
- Mihalis Yannakakis. Issues of correctness in database concurrency control by locking. In Conference Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computation, pages 363-367, Milwaukee, Wisconsin, 11-13 May 1981.
- Mihalis Yannakakis, C. H. Papadimitriou, and H. T. Kung. Locking policies: Safety and freedom from deadlock. In 20th Annual Symposium on Foundations of Computer Science, pages 286-297, San Juan, Puerto Rico, 29-31 October 1979. IEEE.