Self-Stabilizing Autonomic Recoverers, Fachbücher von Shlomi Dolev, Olga Brukman

Das Buch "Self-Stabilizing Autonomic Recoverers" bietet eine umfassende Untersuchung der Selbststabilisierung in Systemen und deren Fähigkeit zur automatischen Wiederherstellung. Es behandelt die grundlegenden Prinzipien der Selbststabilisierung, die es einem System ermöglichen, sich von jedem möglichen Zustand aus in ein gewünschtes Verhalten zu bewegen. Der erste Teil des Buches konzentriert sich auf die Überwachung von Sicherheits- und Lebensfähigkeitseigenschaften von Softwarepaketen, indem die Eingabe-Ausgabe-Spuren aufgezeichnet werden. Diese Überwachungsschicht analysiert kontinuierlich die Spuren, um Verstösse gegen die Eigenschaften zu identifizieren und geeignete Wiederherstellungsmassnahmen zu ergreifen. Im zweiten Teil wird ein Rahmenwerk für die Erstellung von wiederherstellungsorientierter Software vorgestellt, das als Vorverarbeiter fungiert und aus bereitgestellten Wiederherstellungstupeln augmentierten Code erzeugt. Der dritte Teil des Buches schlägt vor, Programme automatisch zu erstellen, anstatt bestehende Systeme zu überwachen oder zu verbessern, und präsentiert generische Algorithmen zur automatischen Programmsuche, die sich an den aktuellen, möglicherweise unvorhergesehenen, Umgebungszustand anpassen.