Variable Sequentialisierungsstrukturen und Deren Hardwareunterstuetzte Realisierung

Zusammenfassung

Nehmen mehrere parallele Prozesse Manipulationen an ihren gemeinsamen Daten vor, so sind gewisse Zugriffe auf diese — oder ganze Gruppen derselben — zu sequentialisieren. Wir wollen folgende Anforderungen bezüglich der Sequentialisierung stellen: Erstens, sollte es ausgeschlossen sein, notwendige oder von Prozessen gewünschte Sequentialisierungen zu umgehen („garantierte Sequentialisierung“). Zweitens, sollten Zugriffe auf beliebig zu definierende — jedoch disjunkte — Teile eines Datenobjektes voneinander unabhängig sequentialisierbar sein; etwa die Felder eines Satzes einer Datei („Sequentialisierungsstruktur“), und schließlich, drittens, sollte die Sequentialisierungsstruktur variabel sein.