Strategien zur Festlegung von Rücksetzpunkten in Prozeβ-Systemen unter Berücksichtigung der Programm-Redundanz zur Ausnahmebehandlung

Zusammenfassung

Vier Strategien zur Festlegung von Rücksetzpunkten in Prozeβ-Systemen werden entwickelt, die

• * während der Übersetzung eines mehrere Prozesse umfassenden Programms angewandt werden können und die

• * es erlauben, die im Prozeß-System enthaltene Redundanz zur VorwärtsFehlerbehebung (z. B. Ausnahmebehandlung) zu nutzen, wenn Fehler im Grundsystem durch Rücksetzen der betroffenen Prozesse nicht maskiert werden können.

Der Umfang von Rücksetzpunkten kann verringert werden, indem nur Unbekannte mit lebendigem Inhalt in Rucksetzpunkte aufgenommen werden.

Erkennt der Übersetzer bei der globalen Programmoptimierung, daß Prozesse mehrmals hintereinander interagieren, kann er gemeinsame Rucksetzpunkt-Strukturen bilden, die dem Sprachkonstrukt Konversation entsprechen. Es müssen dann seltener Rucksetzpunkte erstellt werden.

In robusten Programmen kann Vorwärts-Fehlerbehebung als Indikator für die Wichtigkeit von System-Funktionen und damit als Indikator für die Notwendigkeit von Rücksetzpunkten verwendet werden.

Durch Erhaltung alter, lokaler Rücksetzlinien, sofern ihr Speicherplatz nicht anderweitig benötigt wird, d. h. durch einen zweiten Rücksetzpunkt pro Prozeß, kann die Menge der tolerierbaren Fehler vergrößert werden, ohne daß der Aufwand nennenswert steigt.

Abstract

Four strategies to insert checkpoints into a system of cooperating processes are developed. These strategies

• * may be applied by a compiler and

• * enable the use of program capabilities for forward error recovery (e. g. exception handling) if backward error recovery using the inserted checkpoints and retry fails.

Checkpoints can be kept small by only including live and at compilation-time unknown contents of variables. The content of a variable is called live at a program point, if a successive “read” is possible before a “store”.

During global program optimization, the compiler may find that e. g. two processes communicate several times in a row. The compiler may then generate checkpoints at the beginning and the end only, which decreases checkpointing overhead and corresponds to a conversation.

In robust programs, measures for forward error recovery may be taken as a hint which system-functions are crucial and therefore where checkpoints are really necessary.

By preservation of local recovery lines, as far as their memory space is not needed otherwise, i. e. by a second checkpoint for each process, more faults may be tolerated without considerable additional overhead.