Eine Methode zur formalen Modellierung von ...

iv
INHALTSVERZEICHNIS
7 Prozeverwaltung 157
7.1 Einfuhrung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
7.2 Methodische Vorgehensweise . . . . . . . . . . . . . . . . . . . . . . . . . . 158
7.3 Das erweiterte System mit Prozeerzeugung . . . . . . . . . . . . . . . . . 161
7.4 Der Pfortner des Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
7.5 Die Queue des Pfortners . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
7.6 Der Prozeverwalter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
7.7 Erweiterung des Speicherverwalters . . . . . . . . . . . . . . . . . . . . . . 171
7.7.1 Erweiterung der Queue des Speicherverwalters . . . . . . . . . . . . 172
7.7.2 Speicherverwaltung zur Prozeerzeugung . . . . . . . . . . . . . . . 174
7.8 Terminierende Komponenten . . . . . . . . . . . . . . . . . . . . . . . . . . 177
7.8.1 Prozesse und Prozessor . . . . . . . . . . . . . . . . . . . . . . . . . 178
7.8.2 Lokale Speicherverwalter . . . . . . . . . . . . . . . . . . . . . . . . 179
8 Zusammenfassung und Ausblick 181
8.1 Modellierung eines Betriebssystems . . . . . . . . . . . . . . . . . . . . . . 181
8.2 Ergebnisse zur methodischen Vorgehensweise . . . . . . . . . . . . . . . . . 183
8.3 Weiterfuhrende Arbeiten . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
Literaturverzeichnis 188