Algebraic Topology and Concurrency - Université Paris Cité Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2006

Algebraic Topology and Concurrency

Résumé

We show in this article that some concepts from homotopy theory, in algebraic topology, are relevant for studying concurrent programs. We exhibit a natural semantics of semaphore programs, based on partially ordered topological spaces, which are studied up to “elastic deformation” or homotopy, giving information about important properties of the program, such as deadlocks, unreachables, serializability, essential schedules, etc. In fact, it is not quite ordinary homotopy that has to be used, but rather a “directed homotopy” that does not reverse the flow of time. We show some of the essential differences between ordinary and directed homotopy through examples. We also relate the topological view to a combinatorial view of concurrent programs closer to transition systems, through the notion of a cubical set. Finally we apply some of these concepts to the proof of the safeness of a two-phase protocol, well-known and used in concurrent database theory. We end up with a list of problems from both a mathematical and a computer-scientific point of view.
Fichier non déposé

Dates et versions

hal-00150860 , version 1 (31-05-2007)

Identifiants

  • HAL Id : hal-00150860 , version 1

Citer

Eric Goubault. Algebraic Topology and Concurrency. Theoretical Computer Science, 2006, 357 (1-3), pp.241-278. ⟨hal-00150860⟩
112 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More