Korrekte Zugriffe zu verteilten Daten [Paperback]

Eine unabdingbare Voraussetzung f?r den Betrieb universeller verteilter DV-Systeme ist eine dezentral durchgef?hrte Zugriffssynchronisation. Diese mu? f?r global konkurrierende Zugriffe zu verteilten Daten das Korrektheitskriterium der Serialisierbarkeit garantieren. Es gibt zwar eine weitgehend ausgereifte Theorie f?r die Serialisierbarkeit und teilweise auch f?r die (zentrale) Zugriffssynchronisation, aber eine Theorie zur dezentralen Verwaltung steht noch aus. Das Kernproblem ist, da? es keinen global einheitlich beobachtbaren Systemzustand eines verteilten Systems gibt und da? trotzdem global g?ltige Entscheidungen zu treffen sind. In. der vorliegenden Arbeit wird nun ein neuer, systematischer Ansatz vorgestellt, der dieses Problem f?r die Zugriffssynchro? nisation l?st und der stets nur eine r?umlich und zeitlich exakt begrenzte Kooperation verteilter Verwaltungsinstanzen erfordert. Zwei neue darauf aufbauende Verfahren zur dezentra? len Zugriffssynchronisation werden beschrieben. Ihre Korrekt? heit wird formal nachgewiesen. Das erste der neuen Verfahren wurde auch experimentell untersucht, soda? hierf?r quantitative Leistungsaussagen gemacht werden k?nnen. Der vorliegende Band entspricht meiner von der Fakult?t f?r Informatik der Universit?t Karlsruhe genehmigten Dissertation. Die m?ndliche pr?fung fand am 3.11.1982 statt. Mehreren Mitgliedern der Fakult?t f?r Informatik habe ich f?r ihren Beitrag zum Gelingen dieser Arbeit zu danken: Herrn Prof. Dr. H. Wettstein f?r wichtige Diskussionsbeitr?ge und f?r die ?bernahme des Erstreferats, Herrn Prof. Dr. G. Kr?ger f?r die ?bernahme des Korreferats und Herrn Heinz Zoller f?r seine unterst?tzung bei der Durchf?hrung der Experimente. Herzlicher Dank geb?hrt auch meiner Ehefrau Inge f?r ihre Geduld und Unterst?tzung w?hrend der Anfertiqung dieser Arbeit.Eine unabdingbare Voraussetzung f?r den Betrieb universeller verteilter DV-Systeme ist eine dezentral durchgef?hrte Zugriffssynchronisation. Diese mu? f?r global konkulók