H. Bender Korrekte Zugriffe zu verteilten Daten

Annotation

Eine unabdingbare Voraussetzung fur den Betrieb universeller verteilter DV-Systeme ist eine dezentral durchgefuhrte Zugriffssynchronisation. Diese mu fur global konkurrierende Zugriffe zu verteilten Daten das Korrektheitskriterium der Serialisierbarkeit garantieren. Es gibt zwar eine weitgehend ausgereifte Theorie fur die Serialisierbarkeit und teilweise auch fur 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 gultige Entscheidungen zu treffen sind. In. der vorliegenden Arbeit wird nun ein neuer, systematischer Ansatz vorgestellt, der dieses Problem fur die Zugriffssynchro- nisation lost und der stets nur eine raumlich 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 hierfur quantitative Leistungsaussagen gemacht werden konnen. Der vorliegende Band entspricht meiner von der Fakultat fur Informatik der Universitat Karlsruhe genehmigten Dissertation. Die mundliche prufung fand am 3.11.1982 statt. Mehreren Mitgliedern der Fakultat fur Informatik habe ich fur ihren Beitrag zum Gelingen dieser Arbeit zu danken: Herrn Prof. Dr. H. Wettstein fur wichtige Diskussionsbeitrage und fur die Ubernahme des Erstreferats, Herrn Prof. Dr. G. Kruger fur die Ubernahme des Korreferats und Herrn Heinz Zoller fur seine unterstutzung bei der Durchfuhrung der Experimente. Herzlicher Dank gebuhrt auch meiner Ehefrau Inge fur ihre Geduld und Unterstutzung wahrend der Anfertiqung dieser Arbeit.