Korrekte Zugriffe Zu Verteilten Daten [German]

By H. Bender

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 Ingef r ihre Geduld und Unterst tzung w hrend der Anfertiqung dieser Arbeit.

• Format: Paperback
• Language: German
• ISBN: 3540122826
• ISBN13: 9783540122821
• Release Date: April 1983
• Publisher: Springer
• Length: 203 Pages
• Weight: 0.76 lbs.
• Dimensions: 0.5" x 6.7" x 9.6"