Dissertation of Rolf Rabenseifner

Title (original) Die geregelte logische Uhr, eine globale Uhr für die tracebasierte Überwachung paralleler Anwendungen
Title (English) The controlled logical clock, a global clock for trace-based monitoring of parallel applications
Author Rolf Rabenseifner
Keywords (German, official catalogue) Synchronisierung , Monitoring , Kausalität , Verteiltes System
Keywords (German, additional) logische Uhr , globale Zeit , Rückwärtige Amortisation , Zeitstempel , Message-Passing
Keywords (English) Logical time , clock synchronization , causality , monitoring , backward amortization
CRCS categories D.1.3 [Distributed and parallel programming] , D.2.5 [Monitors, Tracing] , D.2.6 , D.4.1 [Synchronization] , D.4.8 [Monitors, Measurements]
Abstract (German) Das Aufzeichnen und Darstellen des Programmflusses sowie des Nachrichtenaustauschs paralleler Anwendungen ist schwierig, wenn jeder Prozessor eine eigene Uhr besitzt, und diese Uhren nicht synchronisiert sind. Mehrere Strategien zur Bildung einer globalen Uhrzeit werden in einem Überblick dargestellt, und die Grenzen werden aufgezeigt.
Die geregelte logische Uhr, eine neue Methode auf der Basis von Lamports logischer Uhr, wird vorgestellt. Ungenaue Zeitstempel aus Tracefiles werden derart modifiziert, daß sie die Uhrenbedingung erfüllen, d.h. daß der Empfang einer Nachricht einen späteren Zeitstempel als das zugehörige Sendeereignis besitzt. Mit dem Regler wird das Maximum aller lokalen Prozessoruhren als Basis für eine globale Zeit angenähert. Die korrigierten Zeitstempel ermöglichen Leistungsmessungen, bei denen die Ereignisse in verschiedenen Prozessen liegen. Eine stückweise lineare rückwärtige Amortisation der Uhrenkorrekturen garantiert, daß die Fehler bei Messungen von Zeitintervallen zwischen Ereignissen im selben Prozeß minimal sind.
Bei der Erstellung eines Tracefiles ist kein zusätzlicher Protokollaufwand nötig. Die geregelte logische Uhr kann als Filter für Tracefiles implementiert werden. Sie kann aber auch in Monitor- und Debuggingwerkzeuge integriert werden.
Abstract (English) Event tracing and monitoring of the program flow and the message exchanges of parallel applications are difficult if each processor has its own unsynchronized clock. A survey of several strategies to generate a global time is given, and the limits are discussed.
The controlled logical clock is presented. It is a new method based on Lamport's logical clock and provides a method to modify inexact timestamps of tracefiles. The new timestamps guarantee the clock condition, i.e. that the receive event of a message has a later timestamp than the send event. With the control algorithm an approximation of the maximum of all local processor clocks is used as global time. The corrected timestamps can also be used for performance measurements with pairs of events in different processes. A piecewise linear backward amortisation of the clock corrections guarantees a minimal error for measurements of time intervals between events in the same process.
No additional protocol overhead is needed for the new method while tracing the application. The method can be implemented as a filter for tracefiles or it can be integrated into monitor and debug tools for parallel applications.
Faculty Universität Stuttgart, Fakultät 14, Informatik
Published, year 2000
Published, officially OPUS, online, http://elib.uni-stuttgart.de/opus/volltexte/2000/600
Published, additionally Forschungs- und Entwicklungsberichte des Rechenzentrums der Universität Stuttgart, RUS-44, März 2000,
http://www.hlrs.de/people/rabenseifner/dissertation/
or http://fs.hlrs.de/projects/rabenseifner/dissertation/
Files: diss_rabenseifner.pdf (1191529 bytes), diss_rabenseifner.ps.gz (677642 bytes), diss_rabenseifner.ps (3575721 bytes), diss_rabenseifner_duplex.ps.gz (677685 bytes), diss_rabenseifner_duplex_blackwhite_pages.ps.gz (440173 bytes), diss_rabenseifner_duplex_color_pages.ps.gz (421959 bytes)
also available at IPVS, Distributed Systems Department, PhD thesis list: http://www.informatik.uni-stuttgart.de/zd/buecherei/NCSTRL_listings/IPVS/DIS.html
E-mail rabenseifner@hlrs.de
Day af accaptance 3-Feb-2000
Erstberichter Prof. Dr. Kurt Rothermel
Zweitberichter Prof. Dr.-Ing. Roland Rühle