HP Labs Technical Reports

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