Tobias Landes.
Kausale Ordnungen in dynamischen nebenläufigen Systemen
PhD Thesis, Technische Universität München, Germany, February 2008.
Abstract
In nebenläufigen verteilten Systemen ist es, im Gegensatz zu sequentiellen, außerordentlich schwierig, eine aussagekräftige Sicht auf den Ablauf einer Berechnung zu gewinnen. Dies ist jedoch essentiell notwendig, um verteilte Systeme besser verstehen, entwerfen, steuern und kontrollieren zu können. Diese Problematik wird unter verschiedenen Gegebenheiten und Gesichtspunkten beleuchtet. Ausgehend von den Defiziten bisheriger Ansätze werden neue und leistungsfähigere Werkzeuge und Lösungen auf der Basis von Kausalität bzw. logischer Zeit entwickelt. Der Schwerpunkt liegt dabei auf der Suche nach einem sinnvollen und effizienten Mechanismus zur Kausalitätserfassung in Systemen mit dynamischer Prozesserzeugung. Aber auch Systeme mit DSM werden betrachtet. Die exemplarische Implementierung von einigen der neu entwickelten Methoden ist ebenfalls Teil der Arbeit.
