Friedrich-Alexander-Universität UnivisSuche FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Lehrstuhl für Informatik 4
Betriebssysteme
 
  Vorlesung
    - UnivIS-Infos
    - Inhalt
    - Folien
 
  Übungen
    - UnivIS-Infos
    - Inhalt
    - Mailingliste
    - Ergänzendes Material
    - Terminübersicht
    - Aufgaben
       * Umgebung
       * Typische Fehler
       * Aufgabe 1
          Dokumentation
       * Aufgabe 2
          Dokumentation
       * Aufgabe 3
          Dokumentation
       * Aufgabe 4
          Dokumentation
       * Aufgabe 5
          Dokumentation
       * Aufgabe 6
          Dokumentation
       * Aufgabe 7
          Dokumentation
 
  Evaluation
Department Informatik  >  Informatik 4  >  Lehre  >  WS 2010/11  >  Betriebssysteme  >  Ãœbungen  >  Aufgaben  >  Aufgabe 4

Guard Klassenreferenz

Synchronisation des BS-Kerns mit Unterbrechungen. Mehr ...

#include <guard.h>

Klassendiagramm für Guard:
Zusammengehörigkeiten von Guard:

Aufstellung aller Elemente

Öffentliche Methoden

 Guard ()
 Konstruktor.
void enter ()
 Betreten des kritischen Abschnitts.
void leave ()
 Verlassen des kritischen Abschnitts.
void relay (Gate *item)
 Ein Prolog möchte, dass seine Epilog-Aktivität ausgeführt wird.


Ausführliche Beschreibung

Synchronisation des BS-Kerns mit Unterbrechungen.

Die Klasse Guard dient der Synchronisation zwischen "normalen" Kernaktivitäten (zur Zeit Ausgaben, später Systemaufrufe) und Unterbrechungsbehandlungsroutinen. Dazu besitzt Guard eine Warteschlange (ein Queue Objekt), in die Gate Objekte eingereiht werden können. Das ist immer dann erforderlich, wenn zum Zeitpunkt des Auftretens einer Unterbrechung der kritische Abschnitt gerade besetzt ist, die epilogue() Methode also nicht sofort bearbeitet werden darf. Die angesammelten Epiloge werden behandelt, sobald der kritische Abschnitt wieder freigegeben wird.

Hinweise:

  • Die Epilogqueue stellt eine zentrale Datenstruktur dar, deren Konsistenz geeignet gesichert werden muß. Die von uns durch die Klasse Queue bereitgestellte Implementierung ist nicht unterbrechungstransparent! Entweder ihr implementiert also selbst eine unterbrechungstransparente Queue, oder ihr synchronisiert die bereitgestellte Queue entsprechend hart.
  • In MPStuBS gibt es grundsätzlich zwei Möglichkeiten die Klasse Guard zu implementieren:
    1. Zum einen kann man eine einzige Epilogqueue für alle Kerne verwenden. Jedoch muss dann beachtet werden, dass echt nebenläufige Zugriffe auf diese auftreten können. Dies muss entsprechend synchronisiert werden! Die Ausführung der Epiloge ist hier automatisch serialisiert, da immer nur ein Guard::leave() aktiv sein kann, weil es nur eine globale Epilogwarteschlange gibt.
    2. Zum anderen kann man auch für jeden Kern eine eigene Epilogqueue vorsehen. Allerdings sorgt bei diesem Ansatz der Guard nicht von selbst dafür, dass Epiloge serialisiert werden, da das Guard::leave() hier für jeden Prozessor unabhängig aufgerufen werden kann. Aus diesem Grund muss hier extra dafür gesorgt werden, dass immer nur ein Epilog gleichzeitig in Ausführung ist.
  • Da Gate Objekte nur einen einzigen Verkettungszeiger besitzen, dürfen sie zu einem Zeitpunkt nur ein einziges Mal in der Epilogliste aufgeführt sein. Wenn also zwei gleichartige Interrupts so schnell aufeinanderfolgen, dass der zugehörige Epilog noch gar nicht behandelt wurde, darf nicht versucht werden, dasselbe Gate Objekt zweimal in die Epilogliste einzutragen. Die Klasse Gate bietet Methoden, dies zu vermerken bzw. zu prüfen.
  • Ein Betriebssystem sollte Unterbrechungen immer nur so kurz wie möglich sperren. Daher sieht das Pro-/Epilog-Modell vor, dass Epiloge durch Prologe unterbrochen werden können. Für OOStuBS bedeutet das, dass bereits vor der Ausführung des Epilogs einer Unterbrechungsbehandlung Interrupts wieder zugelassen werden sollen.

Dokumentation der Elementfunktionen

void Guard::enter (  ) 

Betreten des kritischen Abschnitts.

Das Betreten des kritischen Abschnittes ist je nach Art des Systems unterschiedlich zu handhaben. Bei einem Uniprozessorsystem genügt es mittels Locker::enter() die Sperrvariable zu setzen, da nur ein einziger Kontrollfluss gleichzeitig den kritischen Bereich betreten kann. Sobald jedoch mehrere CPUs vorhanden sind, ist dies nicht mehr der Fall. Will nun eine CPU den kritischen Bereich betreten, obwohl sich dort schon eine andere CPU befindet, so soll hier aktiv gewartet werden, bis der kritische Bereich wieder freigegeben wurde.

Erneute Implementation von Locker.

void Guard::leave (  ) 

Verlassen des kritischen Abschnitts.

Mit dieser Methode wird der kritische Abschnitt verlassen und die angestauten Epiloge werden abgearbeitet.

void Guard::relay ( Gate item  ) 

Ein Prolog möchte, dass seine Epilog-Aktivität ausgeführt wird.

Diese Methode wird von guardian () aufgerufen, falls der zuvor ausgeführte Prolog durch einen Rückgabewert true angezeigt hat, dass sein Epilog ausgeführt werden soll. Ob der Epilog sofort behandelt oder zunächst nur in die Epilogliste eingehängt wird, hängt davon ab, ob der kritische Abschnitt frei oder besetzt ist.


Die Dokumentation für diese Klasse wurde erzeugt aufgrund der Dateien:
  Impressum   Datenschutz Stand: 2010-12-06 08:46   BO, DL