Eine Methode zur formalen Modellierung von ...

ii
INHALTSVERZEICHNIS
3.3.2 Speicherverwaltung . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.3.3 Prozekooperation . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.3.4 Prozeverwaltung . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4 Prozessorverwaltung 45
4.1 Einfuhrung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.2 Methodische Vorgehensweise . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.3 Dispatching fur einen Proze . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.3.1 Ein erstes verteiltes System zur Prozessorverwaltung . . . . . . . . 50
4.3.2 Zusammenspiel der Komponenten . . . . . . . . . . . . . . . . . . . 51
4.3.3 Der Proze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.3.4 Der Prozessor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.3.5 Der Dispatcher . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.3.6 Der Timer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.3.7 Der Warteraum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.4 Dispatching fur zwei Prozesse . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.4.1 Ein System zur Prozessorverwaltung mit zwei Prozessen . . . . . . 68
4.4.2 Der zweite Proze P2 . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.4.3 Der erweiterte Dispatcher . . . . . . . . . . . . . . . . . . . . . . . 71
4.4.4 Der erweiterte Warteraum . . . . . . . . . . . . . . . . . . . . . . . 73
4.4.5 Zusammenspiel der Komponenten . . . . . . . . . . . . . . . . . . . 76
4.5 Prozessorverwaltung fur n Prozesse . . . . . . . . . . . . . . . . . . . . . . 79
4.5.1 Ein System zur Prozessorverwaltung mit n Prozessen . . . . . . . . 80
4.5.2 Der Dispatcher fur n Prozesse . . . . . . . . . . . . . . . . . . . . . 82
4.5.3 Der Warteraum fur n Prozesse . . . . . . . . . . . . . . . . . . . . . 83
4.6 Zentrales Dispatching von m Prozessoren . . . . . . . . . . . . . . . . . . . 86
4.6.1 Ein System fur zentrales Dispatching . . . . . . . . . . . . . . . . . 87
4.6.2 Prozesse im System mit m Prozessoren . . . . . . . . . . . . . . . . 89
4.6.3 Der zentrale Dispatcher fur m Prozessoren . . . . . . . . . . . . . . 90
4.7 Verteiltes Dispatching von m Prozessoren . . . . . . . . . . . . . . . . . . . 98
4.7.1 Das System fur verteiltes Dispatching . . . . . . . . . . . . . . . . . 99
4.7.2 Der Warteraum fur verteiltes Dispatching . . . . . . . . . . . . . . 100