License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-1364
URL: http://drops.dagstuhl.de/opus/volltexte/2005/136/
Go to the corresponding Portal


Raussen, Martin

Deadlocks and Dihomotopy in Mutual Exclusion Models

pdf-format:
Document 1.pdf (197 KB)


Abstract

Parallel processes in concurrency theory can be modelled in a geometric framework. A convenient model are the Higher Dimensional Automata of V. Pratt and E. Goubault with cubical complexes as their mathematical description. More abstract models are given by (locally) partially ordered topological spaces, the directed ($d$-spaces) of M.Grandis and the flows of P. Gaucher. All models invite to use or modify ideas from algebraic topology, notably homotopy. In specific semaphore models for mutual exclusion, we have developed methods and algorithms that can detect deadlocks and unsafe regions and give information about essentially different schedules using higher dimensional ``geometric'' representations of the state space and executions (directed paths) along it.

BibTeX - Entry

@InProceedings{raussen:DSP:2005:136,
  author =	{Martin Raussen},
  title =	{Deadlocks and Dihomotopy in Mutual Exclusion Models},
  booktitle =	{Spatial Representation: Discrete vs. Continuous Computational Models},
  year =	{2005},
  editor =	{Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
  number =	{04351},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2005/136},
  annote =	{Keywords: Mutual exclusion , deadlock detection , dihomotopy}
}

Keywords: Mutual exclusion , deadlock detection , dihomotopy
Seminar: 04351 - Spatial Representation: Discrete vs. Continuous Computational Models
Issue Date: 2005
Date of publication: 22.04.2005


DROPS-Home | Fulltext Search | Imprint Published by LZI