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.     «

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...     »

In concurrent distributed systems, in contrast to sequential ones, it is very difficult to gain a meaningful view on the run of a computation. Yet, this is essential in order to better be able to understand, design, and control distributed systems. This Problem is examined under different aspects and circumstances. Based on the deficiencies of the usual approaches, new and more powerful tools and solutions are developed using causality and logical time. The main focus is on the search for a sensible and efficient mechanism for capturing causality in systems featuring dynamic process creation. However, DSM systems are also taken in consideration. Another part of the work is the exemplary implementation (proof of concept) of some of the newly developed methods.     «

In concurrent distributed systems, in contrast to sequential ones, it is very difficult to gain a meaningful view on the run of a computation. Yet, this is essential in order to better be able to understand, design, and control distributed systems. This Problem is examined under different aspects and circumstances. Based on the deficiencies of the usual approaches, new and more powerful tools and solutions are developed using causality and logical time. The main focus is on the search for a sens...     »