Korrekte Zugriffe Zu Verteilten Daten (German, Paperback)

Eine unabdingbare Voraussetzung fur den Betrieb universeller verteilter DV-Systeme ist eine dezentral durchgefuhrte Zugriffssynchronisation. Diese muss 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, dass es keinen global einheitlich beobachtbaren Systemzustand eines verteilten Systems gibt und dass 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 loest 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, sodass hierfur quantitative Leistungsaussagen gemacht werden koennen. 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 UEbernahme des Erstreferats, Herrn Prof. Dr. G. Kruger fur die UEbernahme 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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Informatik-Fachberichte / Subreihe Kunstliche Intelligenz, 63
Release date:	April 1983
First published:	1983
Authors:	H Bender
Dimensions:	244 x 170 x 11mm (L x W x T)
Format:	Paperback
Pages:	211
ISBN-13:	978-3-540-12282-1
Languages:	German
Categories:	Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Internet > Network computers Promotions
LSN:	3-540-12282-6
Barcode:	9783540122821

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!