Kommunikationsmodell eines verteilten virtuellen Speichers release_vse3tu2ajrawln36mdkweg7fpq

by Moritz Wende, Universität Ulm, Universität Ulm

Published by Universität Ulm.

2016  

Abstract

Ein verteilter virtueller Speicher (VVS) bietet sich an, um einen Workstation Cluster aufzubauen (NOW). Das zentrale Problem eines VVS besteht darin, die gemeinsamen Daten konsistent zu halten. Diese Problematik wurde ausgiebig im Bereich der Datenbank-Systeme studiert, jedoch lässt sich dies auch in modifizierter Form auf Betriebssysteme und ihre Objektstrukturen übertragen. Das Kommunikationsmodell nimmt innerhalb des VVS eine zentrale Rolle ein. Die Aufgaben der Kommunikation bestehen darin, Daten verlustfrei und effizient zwischen den Rechnern des VVS zu übertragen und diese konsistent zu halten. Beim Ausfall eines oder mehrerer Rechner wird durch das Kommunikationsmodell in Kombination mit einem dedizierten Rechner - dem Pageserver - die Integrität des VVS gewährleistet. Für die Konsistenz der verteilten Daten wird eine optimistische Synchronisierung in Kombination mit Transaktionen eingesetzt, um konkurrierende Zugriffe aufzulösen. Diese Art der Synchronisierung wird bezüglich der erreichten Konsistenz genauer untersucht und es wird der Begriff der transaktionalen Konsistenz eingeführt, welche aus Sicht der Transaktionen für einen sequentiell konsistenten Speicher sorgt. Das im Rahmen dieser Arbeit spezifizierte und implementierte Kommunikationsmodell wurde durch ausgewählte Messungen sowie durch formale Techniken überprüft. Weiterhin wird das Kommunikationsprotokoll erfolgreich innerhalb eines Plurix VVS eingesetzt.
In text/plain format

Archived Files and Locations

application/pdf  1.7 MB
file_mcryhxtzmzfmzmr3hatggwmsda
oparu.uni-ulm.de (publisher)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   published
Date   2016-03-14
Language   de ?
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 82e0276d-0e80-40b6-bb8c-ec591de21660
API URL: JSON