Korrekte Zugriffe zu verteilten Daten

Eine unabdingbare Voraussetzung fr den Betrieb universeller verteilter DV-Systeme ist eine dezentral durchgefhrte Zugriffssynchronisation. Diese mu fr global konkurrierende Zugriffe zu verteilten Daten das Korrektheitskriterium der Serialisierbarkeit garantieren. Es gibt zwar eine weitgehend ausgereifte Theorie fr die Serialisierbarkeit und teilweise auch fr 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 gltige Entscheidungen zu treffen sind. In. der vorliegenden Arbeit wird nun ein neuer, systematischer Ansatz vorgestellt, der dieses Problem fr die Zugriffssynchro nisation lst und der stets nur eine rumlich 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 hierfr quantitative Leistungsaussagen gemacht werden knnen. Der vorliegende Band entspricht meiner von der Fakultt fr Informatik der Universitt Karlsruhe genehmigten Dissertation. Die mndliche prfung fand am 3.11.1982 statt. Mehreren Mitgliedern der Fakultt fr Informatik habe ich fr ihren Beitrag zum Gelingen dieser Arbeit zu danken: Herrn Prof. Dr. H. Wettstein fr wichtige Diskussionsbeitrge und fr die bernahme des Erstreferats, Herrn Prof. Dr. G. Krger fr die bernahme des Korreferats und Herrn Heinz Zoller fr seine untersttzung bei der Durchfhrung der Experimente. Herzlicher Dank gebhrt auch meiner Ehefrau Ingefr ihre Geduld und Untersttzung whrend der Anfertiqung dieser Arbeit.