Monitor (Informatik)

Ein Monitor ist ein Konzept in der Informatik,

das Zugriffsüberschneidungen bei nebenläufigen Prozessen vermeidet. In einigen Programmiersprachen, wie z.B. in Java und Concurrent Pascal, werden Monitore durch spezielle Konstrukte unterstützt.

Monitore lassen für die Benutzung einer Ressource, etwa eines Speicherinhaltes, jeweils nur einen Prozess zu, andere müssen sich in Warteschlangen einreihen und auf ihre Ausführung warten. Weitere Möglichkeiten zur Synchronisation von Zugriffen bestehen in der Anwendung von Semaphoren oder Spin-Locks. Monitore, Locks und Semaphore schließen sich nicht gegenseitig aus.

Aufbau

Ein Monitor besteht aus einer geschlossenen Einheit von Daten und Prozeduren (oder Methoden). Jeder Monitor besitzt ein implizites Lock und eine Warteschlange (die Monitor-Warteschlange) sowie eine beliebige Anzahl von Bedingungsvariablen. Jeder Bedingungsvariable ist eine weitere Warteschlange (die Variablen-Warteschlange) zugeordnet.

Ein Prozess betritt den Monitor, indem er eine dem Monitor zugeordnete Prozedur aufruft. Das Lock des Monitors wird dann gesetzt. Weitere Prozesse, die den Monitor betreten wollen, werden in die Monitor-Warteschlange eingetragen. Wenn ein Prozess den Monitor wieder verlässt, wird ein Prozess aus der Warteschlange entnommen und fortgesetzt. Das Lock wird freigegeben, wenn keine Prozesse mehr fortgesetzt werden können.

Ein Prozess kann den Monitor auch verlassen, indem er auf eine Bedingungsvariable wartet (wait). Er wird angehalten und in die Variablen-Warteschlange eingereiht. Ein Prozess wird daraufhin aus der Monitor-Warteschlange entnommen und fortgesetzt, oder das Lock wird freigegeben.

Mittels signal auf eine Bedingungsvariable wird ein Prozess aus der Variablen-Warteschlange entnommen und kann fortgesetzt werden.

wait und signal dürfen nur innerhalb von Prozeduren des Monitors verwendet werden.

Hoare-Typ

Das Monitor-Konzept geht ursprünglich auf eine Definition von C. A. R Hoare im Jahre 1974 zurück. Beim signal-Aufruf wird geprüft, ob die Variablen-Warteschlange Prozesse enthält. Falls diese nicht leer ist, wird der signalisierende Prozess angehalten und ein Prozess aus der Variablen-Warteschlange entnommen und fortgesetzt.

Der signalisierende Prozess wird in die Monitor-Warteschlange eingetragen. Er wird normalerweise also fortgesetzt, nachdem der vormals wartende Prozess den Monitor verlässt.

Mesa-Typ

Neben dem Hoare-Typ gibt es noch den Mesa-Monitor-Typ, der Ende der 1970er Jahre von einer Gruppe bei Xerox entwickelt wurde. Im Gegensatz zum Hoare-Typ hält signal den signalisierenden Prozess nicht an. Dieser wird stets fortgesetzt. signal fügt stattdessen einen Prozess aus der Variablen-Warteschlange in die Monitor-Warteschlange ein.

Mesa-Typ Monitore werden auch Signal-and-Continue (etwa: signalisiere und fahre fort)-Monitore genannt.

signal und wait in Monitoren und Semaphoren