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 |
rabenseifner@hlrs.de | |
Day af accaptance | 3-Feb-2000 |
Erstberichter | Prof. Dr. Kurt Rothermel |
Zweitberichter | Prof. Dr.-Ing. Roland Rühle |