HP Labs Technical Reports



Click here for full text: PDF

Homotopy and Concurrency

Gunawardena, Jeremy

HPL-BRIMS-95-01
May, 1995

Keyword(s): homotopy theory, serializability, 2-phase locking, concurrency theory

Abstract: In this paper we give a homtopy theoretic proof of a well-known result in database engineering: that 2-phase locking is safe. The proof gives an immediate intuitive reason for why the 2-phase locking condition implies safety. We point out a number of interesting open questions regarding the interplay between homotopy and concurrency.

Back to Index

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map][Home] [Hewlett-Packard]