Analyse und Simulation des Schedulingverhaltens von Betriebssystemen mit Hilfe von SystemC

Inhaltsverzeichnis

• 1 Einleitung
• 1.1 Motivation der Arbeit
• 1.2 Zielsetzung
• 1.3 Aufbau der Arbeit
• 2 Grundlagen
• 2.1 Aufgaben von Betriebssystemen
• 2.2 Das Prozessmodell
• 2.3 Scheduling
• 2.3.1 Prozesswechsel
• 2.3.2 Strategien
• 3 Stand der Technik
• 3.1 Cheddar
• 3.2 FORTISSIMO
• 3.3 YASA 2
• 3.4 RTOS Modellierung auf Systemebene
• 3.5 Scheduling Simulation in SystemC
• 3.6 Automatische Codegenerierung
• 3.7 Statische Timinganalyse mit GROMIT
• 3.8 Fast Timed Software Model
• 3.9 Zusammenfassung
• 4 Methode zur Scheduling-Analyse und Simulation
• 4.1 Scheduling-Analyse
• 4.1.1 Vorbetrachtungen
• 4.1.2 Methode
• 4.1.3 Fehlerbetrachtung
• 4.1.4 Testverfahren
• 4.2 Simulation
• 4.2.1 Hardwareressourcen
• 4.2.2 Prozesse und Threads
• 4.2.3 Scheduling
• 4.2.4 Software-Hardware-Kommunikation
• 4.2.5 Anwendung auf die Schedulingsimulation
• 5 Details zur Implementierung
• 5.1 Messung und Auswertung
• 5.1.1 Fehlgeschlagene Versuche
• 5.1.2 Realisierte Zeitmessung
• 5.1.3 Das Messprogramm
• 5.1.4 Programmaufruf und Kommandozeilenparameter
• 5.1.5 Besonderheiten der Betriebssysteme
• 5.2 Simulation
• 5.2.1 Hardwareressourcen
• 5.2.2 Betriebssystem
• 5.2.3 Anwendung der libsystemcos
• 6 Ergebnisse
• 6.1 Windows XP
• 6.1.1 Interpretation der Messergebnisse
• 6.1.2 Der Schedulingalgorithmus
• 6.1.3 Modellierung und Simulation
• 6.2 QNX
• 6.2.1 Auswertung der Messergebnisse
• 6.2.2 Modellierung und Simulation
• 6.3 Linux
• 6.3.1 Auswertung der Messergebnisse
• 6.3.2 Modellierung und Simulation
• 6.4 Zusammenfassung
• 7 Bewertung der Ergebnisse
• 7.1 Vorbetrachtungen
• 7.1.1 FCFS
• 7.1.2 Präemptives Prioritätsscheduling
• 7.1.3 Round-Robin
• 7.2 Verifikationsmethode
• 7.2.1 Vorüberlegung
• 7.2.2 Mathematische Grundlagen
• 7.3 Ergebnis der Verifikation
• 7.3.1 Windows XP
• 7.3.2 QNX
• 7.3.3 Linux

Zielsetzung und Themenschwerpunkte

Die Diplomarbeit befasst sich mit der Analyse und Simulation des Schedulingverhaltens von Betriebssystemen. Ziel ist es, eine Methode zu entwickeln, um die Performance von Schedulern verschiedener Betriebssysteme zu messen und zu simulieren. Diese Methode soll es ermöglichen, die Wahl des richtigen Betriebssystems für eingebettete Systeme und Echtzeitanwendungen zu erleichtern.

• Scheduling-Analyse und -Simulation von Betriebssystemen
• Messung von Scheduling-Parametern
• Modellierung von Schedulern in SystemC
• Anwendung der Methode auf verschiedene Betriebssysteme (Windows XP, QNX, Linux)
• Bewertung der Ergebnisse und Verifikation der Simulation

Zusammenfassung der Kapitel

Die Arbeit beginnt mit einer Einleitung, die die Motivation und Zielsetzung der Arbeit sowie den Aufbau erläutert. Kapitel 2 behandelt die Grundlagen von Betriebssystemen, das Prozessmodell und verschiedene Schedulingstrategien. Kapitel 3 gibt einen Überblick über den Stand der Technik, indem es verschiedene Ansätze zur Modellierung und Simulation von Betriebssystemen und deren Schedulern beleuchtet.

Kapitel 4 beschreibt die entwickelten Methoden zur Scheduling-Analyse und -Simulation. Dabei werden die Vorbetrachtungen, die Methode selbst und die Fehlerbetrachtung erläutert. Außerdem werden Testverfahren für die Analyse und Simulation vorgestellt. Kapitel 5 geht in die Details der Implementierung, insbesondere der Messung und Auswertung von Scheduling-Parametern sowie der Simulation des Schedulingverhaltens in SystemC.

In Kapitel 6 werden die Ergebnisse der Analyse und Simulation für die Betriebssysteme Windows XP, QNX und Linux vorgestellt und interpretiert. Kapitel 7 bewertet die Ergebnisse und überprüft die Validität der Simulation. Abschließend fasst Kapitel 8 die Ergebnisse der Arbeit zusammen und gibt einen Ausblick auf zukünftige Arbeiten.

Schlüsselwörter

Betriebssystem, Scheduling, Scheduling-Analyse, Scheduling-Simulation, SystemC, Echtzeitbetriebssystem, eingebettete Systeme, Windows XP, QNX, Linux, Performance-Analyse, Zeitverhalten, Modellierung, Simulation.