Ablaufsteuerung

In den vorangegangenen Kapiteln war wiederholt von Betriebsmitteln die Rede, die zu jedem Zeitpunkt höchstens einem Benutzer zur Verfügung stehen können, z. B. Geräte oder Speicherblöcke, aber auch so abstrakte Betriebsmittel wie kritische Abschnitte. Wenn mehrere Benutzer sich um ein solches Betriebsmittel bewerben, dann erhalten sie es nacheinander zugeteilt. Die Zuteilung des Betriebsmittels muß demnach über einen geeigneten Verwaltungsmechanismus koordiniert werden. Dabei wird die Reihenfolge, in der die Benutzer bedient werden, durch eine Zuteilungsstrategie festgelegt (engl. scheduling strategy/policy/discipline).