Verteilte Basisalgorithmen

Verteilte Algorithmen sind Verfahren, die dadurch charakterisiert sind, daB mehrere autonome Prozesse gleichzeitig Teile eines gemeinsamen Problems in kooperativer Weise bearbeiten und der dabei erforderliche Informationsaustausch ausschlieBlich liber Nachrichten erfolgt. Derartige Algorithmen kommen im Rahmen verteilter Systeme zurn Einsatz, bei denen kein gemeinsamer Speicher existiert und die Ubertragungs- und Bearbeitungsdauer von Nachrichten i.a. nieht vernachlassigt werden kann. DaB dabei kein ProzeB eine aktuelle konsistente Sieht des globalen Zustands besitzt, fUhrt zu sammen mit anderen typischen Eigenschaften der Verfahren, wie Nebenliiufigkeit und Nichtdeterminismus, zu interessanten Problemen. In der vorliegenden Arbeit werden einige dieser Probleme analysiert, diskutiert und zueinander in Beziehung gesetzt. Flir eine Reihe von Grundproblemen, zu denen das Election-Problem, das SchnappschufJproblem und das Terminierungsproblem geh6ren, werden verschiedene LOsungsalgorithmen angegeben und miteinander verglichen. Die Bewertung der Algorithmen umfaBt analytische und empirische Untersuchungen sowie eine Diskussion der qualitativen Eigenschaften verschiedener Varianten. Urn ein tieferes Verstandnis des "Prinzips der Verteiltheit" zu erreichen, werden grundsatzliche Aspekte hervorgehoben, wie etwa die Bedeutung des Zeitbegriffs in verteilten Systemen. Dariiber hinaus werden einige typische Methoden und Techniken vorgestellt, die auch fUr die systemnahe oder anwendungsbezogene Programmierung verteilter oder hochgradig paralleler Systeme praktisch relevant sind. Durch die Beschreibung des Urnfeldes und der wichtigsten Konzepte der verteilten Programmierung, durch weiterflihrende Literaturangaben und einige spielerische und gleichnishafte Beispiele werden die Problemstellungen motiviert und die Ergebnisse der Arbeit in den gr6Beren Rahmen des Distributed Computing eingeordnet.