Systemaufrufschnittstelle zum Scheduler.
Der Guarded_Scheduler implementiert die Systemaufrufschnittstelle zum Scheduler. Die von ihm angebotenen Methoden werden direkt auf die Methoden der Basisklasse abgebildet, nur dass ihre Ausführung jeweils mit Hilfe eines Objekts der Klasse Secure geschützt wird und dass nicht Entrant, sondern Thread Objekte behandelt werden.
Hinweis
Da die Methoden von Guarded_Scheduler die gleichen Namen haben wie die der Basisklasse Scheduler, verdecken sie diese normalerweise. Dies kann verhindert werden, wenn bei dem Aufruf einer Methode der Name der Basisklasse explizit angeführt wird. Beispiel:
scheduler.Scheduler::ready (appl2);