Korrekte Zugriffe Zu Verteilten Daten
| AUTHOR | Bender, H. |
| PUBLISHER | Springer (04/01/1983) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
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.
Show More
Product Format
Product Details
ISBN-13:
9783540122821
ISBN-10:
3540122826
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
German
More Product Details
Page Count:
203
Carton Quantity:
20
Product Dimensions:
6.69 x 0.45 x 9.61 inches
Weight:
0.76 pound(s)
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Computer Science
Computers | Data Science - Data Modeling & Design
Computers | Networking - Hardware
Dewey Decimal:
001.64
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
List Price $69.99
Your Price
$69.29
