HP Labs Technical Reports
Click here for full text:
Homotopy and Concurrency
Gunawardena, Jeremy
HPLBRIMS9501
May, 1995
Keyword(s): homotopy theory, serializability, 2phase locking, concurrency theory
Abstract: In this paper we give a homtopy theoretic proof of a wellknown result in database engineering: that 2phase locking is safe. The proof gives an immediate intuitive reason for why the 2phase locking condition implies safety. We point out a number of interesting open questions regarding the interplay between homotopy and concurrency.
Back to Index
