Roboter- und Automatisierungstechnik

Transkript

1 Roboter- und Automatisierungstechnik Teil 4: Grundlagen der Echtzeitprogrammierung Hochschule Bremerhaven SS 2007 Prof. Dr. Oliver Zielinski Inhalt 4.1 Problemstellung 4.2 Echtzeitprogrammierverfahren 4.3 Rechenprozesse 4.4 Zeitliche Koordinierung von Rechenprozessen 4.5 Kommunikation zwischen Rechenprozessen 4.6 Scheduling-Verfahren

2 Lernziele Wissen, was man unter Echtzeit-Programmierung versteht Die Forderungen bei der Echtzeit-Programmierung kennen Zwischen harter und weicher Echtzeit unterscheiden können Wissen, was man unter synchroner Programmierung versteht Die asynchrone Programmierung kennen Erklären können, was Rechenprozesse sind Wissen, welche Möglichkeiten zur zeitlichen Synchronisierung es gibt Semaphorvariablen anwenden können Verstanden haben, was Scheduling-Verfahren sind Die unterschiedlichen Scheduling-Verfahren anwenden können Wissen, was ein Schedulability-Test ist Problemstellung Was heißt Echtzeit? Bei Prozessrechneranwendungen kommt es im Gegensatz zur klassischen EDV darauf an, wann exakt (deterministisch -> vorhersagbar) durch einen Rechenprozess zeitlich genau eine zu erfüllende Aufgabe abgeschlossen ist. Häufig sind zeitkritische Anwendungen zu bearbeiten. Forderung Echtzeitverhalten (Realzeitbetrieb): Der Rechner muß mit den Vorgängen des technischen Prozeßes, die er erfassen und steuern soll, trägheitslos Schritt halten können.(din 44300). Dies bedingt, dass der Prozessrechner dann, wenn es vom Prozess erforderlich ist, die relevanten Prozesszustandsgrößen erfasst, die erforderlichen Stellgrößen berechnet und an den technischen Prozess ausgibt. Dabei darf die Zeitdauer eines solchen Erfassungs/Berechnungs/Ausgabezyklus durch die Rechenprozesse maximal nur solange dauern, wie im worst-case der erforderliche zeitliche Abstand zweier solcher Ereigniszeitpunkte durch den technischen Prozess vorgegeben ist.

3 Was heißt Echtzeit-Programmierung? Kommerzielle Datenverarbeitung Richtigkeit des Ergebnisses Echtzeit-Datenverarbeitung Richtigkeit des Ergebnisses Rechtzeitigkeit des Ergebnisses nicht zu früh, nicht zu spät NICHT-ECHTZEIT-DATENVERARBEITUNG: Eingangsdaten Ausgangsdaten ECHTZEIT-DATENVERARBEITUNG: Zeit Zeit Zeit Eingangsdaten Datenverarbeitung Datenverarbeitung Ausgangsdaten

4 Aber: Echtzeitanforderung ist nicht zwangsläufig an Prozessrechner gebunden. Sie existiert auch in Systemen, die nicht zu den Prozessrechner gehören z.b. in Buchungs- und Reservierungssysteme (z.b. von Fluggesellschaften) müssen bezüglich Antwortzeiten enge Zeitbedingungen einhalten (Größenordnung Sekunden). Bei Prozessrechner sehr häufig nur Milli- oder sogar Mikrosekunden. Beispiele: Echtzeitsysteme in a Nutshell 1 Prozessor, Lines of Code (LoC) Herzschrittmacher ein kleines Echtzeitsystem

5 ca.1200 Prozessoren, 4 Milliarden LoC Boeing 777 ein etwas größeres Echtzeitsystem Problem der zeitlichen Synchronisation der Rechenprozesse mit technischen Prozess: Erfassung der unterschiedlichen Messgrößen und/oder Ausgabe der Stellgrößen (Prozesssignalen) kann periodisch oder zeitlich variabel mit min/max Zeitangaben zu jeweils unterschiedlichen Zeiten nötig sein. Berechnung der Stellgrößen hängt von der Verfügbarkeit der Messgrößen ab unerwünschte/sicherheitsrelevante Prozesszustände müssen vorrangig und unmittelbar bearbeitet werden. Problem bei einem PZR: die Zuteilung der exklusiv einmal verfügbaren Rechenzeit an die einzelnen Rechenprozesse, so dass Realzeitbetrieb gewährleistet

6 Aufgrund der Forderungen nach Rechtzeitigkeit und Gleichzeitigkeit ergeben sich parallele bzw. quasiparallele Abläufe im Automatisierungssystem. Während in einem sequentiellen Programm der Ablauf vorhersehbar ist, ist dies in einem Echtzeitsystem mit parallelen Vorgängen und asynchronen Ereignissen nicht zwangsläufig. Geringste zeitliche Verschiebungen können zu vollkommen unterschiedlichen Abläufen führen, die vielleicht dasselbe funktionale Ergebnis, aber nicht dasselbe zeitliche Verhalten besitzen. Bei harten Echtzeitsystemen, insbesondere bei sicherheitskritischen Systemen spielt die Vorhersehbarkeit, d. h. die Determiniertheit, eine entscheidende Rolle. Wenn der genaue Ablauf nicht bestimmt ist, kann das zeitliche Verhalten und damit die Sicherheit des Automatisierungssystem nicht garantiert werden. In einem determinierten System ist garantiert, dass das System zu jedem Zeitpunkt reagieren kann und in einem zeitlich determinierten System sogar bis wann die Reaktion erfolgt sein wird. Echtzeitprogrammierung Erstellung von Programmen so, dass bei der Datenverarbeitung im Computer die zeitlichen Anforderungen an die Erfassung der Eingabedaten, an die Verarbeitung im Computer und an die Ausgabe der Ausgabedaten erfüllt werden. Zeitanforderungen Zeitliche Anforderungen abhängig von den zeitlichen Abläufen im technischen Prozess Koordination mit dem technischen Prozess Echtzeit: den echten Zeitabläufen entsprechend, keine Zeitdehnung, keine Zeitraffung Anforderungen an das zeitliche Verhalten der Datenverarbeitung - Rechtzeitigkeit - Gleichzeitigkeit

7 Unterschiede zwischen Informations- und Echtzeitsystemen Begriffsklärungen (1) Reaktive Systeme Echtzeitsysteme, die auf Eingangssignale vom technischen Prozess reagieren und Ausgangssignale zur Beeinflussung des technischen Prozesses liefern. Beispiel: Automatisierungssysteme Eingebettete Systeme Integration des Automatisierungssystems in den technischen Prozess (Physikalisch und logisch) Beispiel: Rasierapparat, Handy, Waschmaschine, Werkzeugmaschine

8 Begriffsklärungen (2) Harte Echtzeitsysteme Einhaltung von strengen Zeitschranken (Deadlines) ist unabdingbar Beispiel: DDC-Regelungen in Flugzeugen, Motorsteuerungen im Kraftfahrzeug Weiche Echtzeitsysteme Eine Verletzung von Zeitschranken kann toleriert werden Beispiele für weiches und hartes Echtzeitsystem Weiches Echtzeitsystem: Digitaler Videorekorder Hartes Echtzeitsystem: Kernkraftwerk Biblis

9 Rechtzeitigkeit Zeitbedingungen: Absolutzeitbedingung Bedingungen liegen bezogen auf die Uhrzeit fest Beispiel: Signal setzen um 11:45h zur Abfahrt des Zuges Relativzeitbedingung Bedingungen liegen bezogen zu noch stattzufindenden stochastischen Ereignissen fest Beispiel: Abschaltsignal 10s nach Überschreiten eines Messwertes Klassifizierung von Zeitbedingungen (1)

10 Klassifizierung von Zeitbedingungen (2) Klassifizierung von Zeitbedingungen (2) Ausführung einer Funktion zu festen Zeitpunkten Relativzeitbedingungen Absolutzeitbedingungen Kennfeldaufnahme an Prüfständen Analyse von Stoffen in der Chemie Ausführung einer Funktion in einem Toleranz- Zeitintevall Erfassung von Regelgrößen Messwertüberwachung auf gleitende Grenzen Ausführung einer Funktion in einem Zeitintervall bis zu einem spätesten Zeitpunkt Erfassung von Datentelegrammen Erfassung von Stückgutkennungen Ausführung einer Funktion n einem Zeitintervall von einem frühesten Zeitpunkt an Folgesteuerung bei Chargenprozessen Erfassung von Signalen einer Lichtschranke

11 Gleichzeitigkeit Echtzeitsysteme müssen auf gleichzeitig ablaufende Vorgänge gleichzeitig reagieren. D.h. mehrere Datenverarbeitungsaufgaben müssen gleichzeitig durchgeführt werden. Beispiele: - gleichzeitige Fahrt mehrerer Züge - Erfassung und Verarbeitung mehrerer gleichzeitig anfallender Messwerte z.b. einer Heizung - ABS und Motor gleichzeitig - Gleichzeitig Programm editieren und Peripheriegrät (z.b. Drucker, Terminal) bedienen Realisierung von Gleichzeitigkeit jede Datenverarbeitungsaufgabe durch getrennte Computer Echt parallel einen Computer für alle Datenverarbeitungsaufgaben Quasi gleichzeitig / quasi parallel Voraussetzung: Vorgänge in der Umwelt langsam im Vergleich zum Ablauf der Programme im Rechner

12 Forderung Determiniertheit Ein Echtzeitsystem heißt determiniert, wenn sich für jeden möglichen Zustand und für jede Menge an Eingangsinformationen eine eindeutige Menge von Ausgabeinformationen und ein eindeutiger nächster Zustand bestimmen lässt. Voraussetzung: Endliche Menge von Systemzuständen Zeitlich determiniertes System: Antwortzeit für alle Ausgabeinformationen ist bekannt! In einem determinierten System ist garantiert, dass das System zu jedem Zeitpunkt reagieren kann, in einem zeitlich determinierten System zusätzlich auch bis wann die Reaktion erfolgt sein wird. Echtzeit-Programmierverfahren Arten des Vorgehens Synchrone Programmierung Planung des zeitlichen Ablaufs vor der Ausführung der Programme erfordert einen Planer Planwirtschaft Asynchrone Programmierung (Parallelprogrammierung) Organisation des zeitlichen Ablaufs während der Ausführung der Programme erfordert einen Organisator Marktwirtschaft

13 Verfahren zur synchronen Programmierung Synchrone Programmierung: Planung des zeitlichen Verhaltens zyklisch auszuführender Teilprogramme vor der Ausführung Prinzipielle Vorgehensweise: Synchronisierung der zyklisch auszuführenden Teilprogramme mit einem Zeitraster Zeitraster über Echtzeit-Uhr, Unterbrechungssignal zum Aufruf über Teilprogramme Time triggered fest vorgegebene Reihenfolge des Ablaufs der Teilprogramme Beispiel: Regelung einer Heizungsanlage

14 Planung Auslegung der Regelalgorithmen und Reglerparameter Festlegung der Abtastzeiten für die Regelkreise T = Taktdauer der Echtzeituhr T i = Abtastzeit für den Regelkreis i T 1 = T T 2 = 2T T 3 = 5T Zuordnung von Bezeichnern und Abtastzeiten Teilprogramm Temperatur-Regelung für die Regelstrecke Heizkreis Wohnung Temperatur-Regelung für die Regelstrecke Heizkreis Büro Temperatur-Regelung für die Regelstrecke Heizkessel Bezeichner (Name) REGELUNG 1 REGELUNG 2 REGELUNG 3 Abtastzeit (Zykluszeit) T 1 = T T 2 = 2T T 3 = 5T

15 Grobentwurf Feinentwurf

16 Zeitlicher Ablauf Wichtigsten Eigenschaften synchroner Programmierung (1) Forderung nach Rechtzeitigkeit wird näherungsweise erfüllt Forderung nach Gleichzeitigkeit wird erfüllt, wenn Zykluszeit T klein gegenüber den Zeitabläufen im technischen Prozess ist Gute Eignung für Echtzeit-Systeme mit zyklischen Programmabläufen Nicht geeignet für Echtzeit-Systeme mit zeitlich nicht vorhersehbaren (asynchronen) Ereignissen (z.b. Einführen einer Brennerstörung) Erhöhung der Rechenzeit durch ständiges Abfragen (Polling) Verzögerung der Reaktion

17 Wichtigsten Eigenschaften synchroner Programmierung (2) Deterministisches Verhalten kein komplexes Organisationsprogramm aufwendigere Planung Nachteil der synchronen Programmierung: Änderung der Aufgabenstellung bedeutet Änderung der gesamten Programmstruktur! Verfahren der asynchronen Programmierung (2) Zeitlicher Ablauf wird nicht vorher geplant Organisationsprogramm (Echtzeitbetriebssystem) steuert während des Ablaufs der Teilprogramme den zeitlichen Aufruf. Aufruf der Teilprogramme, wenn Zeitbedingungen erfüllt sind Gleichzeitige Ausführung wird nach bestimmter Strategie sequenzialisiert (Scheduling-Strategie) In der Praxis häufig: Zuordnung von Prioritätsnummern Priorität umso höher, je niedriger die Prioritätsnummer ist

18 Beispiel: Regelung einer Heizungsanlage Zuordnung von Bezeichnern, Abtastzeiten und Prioritäten Teilprogramm Bezeichner (Name) Abtastzeit (Zykluszeit) Prioritätsnummer Priorität Reaktion auf Brennerstörung mit Alarmmeldung ALARM - 1 Höchste Temperatur-Regelung für die Regelstrecke Heizkreis Wohnung REGELUNG 1 T 1 = T 2 zweithöchste Temperatur-Regelung für die Regelstrecke Heizkreis Büro REGELUNG 2 T 2 = 2T 3 dritthöchste Temperatur-Regelung für die Regelstrecke Heizkessel REGELUNG 3 T 3 = 5T 4 vierthöchste

19 Zeitlicher Ablauf Wichtigsten Eigenschaften synchroner Programmierung (1) Forderung nach Rechtzeitigkeit nur näherungsweise erfüllt bei niedriger Priorität Zeitbedingungen um so besser erfüllt, je höher die Priorität des jeweiligen Teilprogramms ist Ist-Zeitablauf kann sich gegenüber Soll-Zeitablauf stark verschieben, dass Teilprogramme sich gegenseitig überholen können. Aufeinanderfolge der Teilprogramme ist nicht deterministisch, sondern stellt sich dynamisch ein Bei Programmerstellung lässt sich nicht im Voraus angeben, welches Teilprogramm zu welchem Zeitpunkt ablaufen wird einfache Entwicklung Komplexes Verwaltungsprogramm Programmablauf schwer durchschaubar

20 Ereignisgesteuerte Echtzeitsysteme Alle Aktivitäten werden durch Ereignisse ausgelöst Aktivierung von Tasks Senden von Nachrichten Organisation der Abläufe erfolgt durch Echtzeit-Betriebssysteme Verhalten ist nicht deterministisch flexibel bezüglich Veränderungen Zeitgesteuerte Echtzeitsysteme Periodische Durchführung aller Tasks und Kommunikationsaufgaben Abtastung von externen Zustandsgrößen zu festgelegten Zeitpunkten wenig flexibel bei Änderungen einfach analysierbar Für Automatisierungssysteme, bei denen die Sicherheit zu gewährleisten ist, werden nur zeitgesteuerte Strategien zugelassen Rechenprozesse Unterscheidung Programm (Anzahl von Befehlen) Ausführung des Programms (einmalige Ausführung der Befehlsfolge) Rechenprozess Aufruf von Unterprogrammen Ausführung des aufrufenden Programms wird unterbrochen Ausführung des Unterprogramms Fortsetzung des aufrufenden Programms Aufruf eines Rechenprozesses gleichzeitige Ausführung des aufrufenden Programms und des aufgerufenen Rechenprozesses

21 Rechenprozess = Task Ein Rechenprozess ist ein von einem Echtzeit-Betriebssystem gesteuerter Vorgang der Abarbeitung eines sequentiellen Programms. Eigenschaften von Rechenprozessen Rechenprozess beginnt mit Eintrag in eine Liste des Echtzeit-Betriebssystems und endet mit dem Löschen aus dieser Liste Rechenprozess existiert nicht nur während der Ausführung der Befehle, sondern auch während geplanter oder erzwungener Wartezeiten Task besteht aus einem oder mehreren Threads Zweckmässig Einführung einer Hierarchie von parallel ausführbaren Objekten umfassendes Objekt: Task Task setzt sich aus einem oder mehreren Threads zusammen Unterschiede zwischen Task und Thread Task Besitzer von Betriebsmitteln Eigener Adressraum Thread Kann außer Prozessor selbst keine Betriebsmittel besitzen, verfügt über alle Betriebsmittel der Task, der er angehört Adressraum der Task, der er angehört Enthält einen oder mehrere Threads Kommunikation über die Taskgrenzen hinaus, bevorzugt über Botschaften Element einer Task Kommunikation zwischen den Threads, bevorzugt über gleiche Daten

22 Zustände von Prozessen Zustand laufend (running) das Teilprogramm ist in Bearbeitung Zustand bereit oder ablaufwillig (runable) Zeitbedingungen für den Ablauf sind erfüllt Es fehlt der Start durch das Betriebssystem Zustand blockiert (suspended) Rechenprozess wartet auf den Eintritt eines Ereignisses Wenn das Ereignis eingetreten ist, Übergang aus dem Zustand blockiert in den Zustand bereit Zustand ruhend (dormant) Rechenprozess ist nicht ablaufbereit, weil Zeitbedingungen oder sonstige Voraussetzungen nicht erfüllt sind. Zustandsdiagramm eines Rechenprozesses

23 Rechenprozess REGELUNG3 bei asynchroner Programmierung Prioritätsvergabe von Rechenprozessen statische Prioritätsvergabe dynamische Prioritätsvergabe (z.b. durch Verwendung von Deadlines) Zeitparameter eines Rechenprozesses: A: Arrival time (Ankunftszeitpunkt) R: Request time (Einplanungszeitpunkt) S: Start time (Startzeit, Zuteilung eines Betriebsmittels) C: Completion time (Beendigungszeitpunkt) D: Deadline (Maximalzeit) E: Execution time (maximale Ausführungsdauer) P: Period time (maximale Antwortzeit) L: Laxity (Spielraum) r: Remaining flow time (Restantwortzeit) f: Flow time (Antwortzeit)

24 Auftreten der Zeitparameter eines Rechenprozesses A <= R <= S <= C - E <= D - E Zusammenhang zwischen den Zeitparametern A <= R <= S <= C - E <= D - E Maximale Ausführungsdauer (Rechenzeitdauer) E = E alt (t) + E neu (t) E alt (t): E neu (t): bisherige Ausführungsdauer zum Betrachtungszeitpunkt verbleibende Ausführungsdauer Zeitlicher Spielraum (laxity) für die Ausführung eines Rechenprozesses L = D -S -E

25 Zeitliche Koordinierung von Rechenprozessen Aussage, zwei Prozess sind parallel oder sequentiell oft zu ungenau, da es Sowohl Programmteile geben kann, die parallel als Programmteile die nicht Gleichzeitig ausgeführt werden dürfen. Daher zeitlich zusammenhängende Abschnitte sog. Aktionen betrachten. Klassifikationen von Aktionen eines Rechenprozesses Zwei Aktionen in Rechenprozessen heißen parallel, wenn sie gleichzeitig ablaufen können Zwei Aktionen heißen sequentiell, wenn sie in einer bestimmten Reihenfolge angeordnet sind und immer in dieser ablaufen müssen Zwei Aktionen aus zwei verschiedenen Rechenprozessen heißen nebenläufig, wenn sie gleichzeitig ablaufen können (äußere Parallelität) Zwei Aktionen eines Rechenprozesses heißen simultan, wenn sie gleichzeitig ausgeführt werden können (innere Parallelität) Aktionen = Threads Anforderung bei der Durchführung von Rechenprozessen Synchronität zwischen Rechenprozessen und den Vorgängen im technischen Prozess. Abhängigkeiten zwischen Rechenprozessen Logische Abhängigkeiten aufgrund der Vorgänge im technischen Prozess (z.b. Prozess1 kann immer nur nach Prozess2 ablaufen) Abhängigkeiten durch die gemeinsame Benutzung von Betriebsmitteln

26 Beispiel: Probleme die durch Abhängigkeiten entstehen können: Verklemmung (Deadlock): zwei oder mehrere Rechenprozesse blockieren sich gegenseitig Permanente Blockierung (Lifelock, starvation) Konspiration von Rechenprozessen blockiert einen Rechenprozess zeitliche Koordinierung der Rechenprozesse notwendig = Synchronisierung von Rechenprozessen = Einschränkung des freien parallelen Ablaufs

27 Beispiel eines Deadlock Beispiel eines Livelock: The Dining Philosophers

28 Formen der Synchronisierung Logische Synchronisierung aufgaben-/oder prozessorientierte Synchronisierung Anpassung des Ablaufs der Rechenprozesse an den Ablauf der Vorgänge im technischen Prozess Synchronisierung bedeutet Erfüllung von Anforderungen bezüglich der Reihenfolge von Aktionen Berücksichtigung vorgegebener Zeitpunkte bzw. Zeitabstände Reaktionen auf Unterbrechungsmeldungen aus dem technischen Prozess Betriebsmittelorientierte Synchronisierung Einhaltung von Bedingungen bezüglich der Verwendung gemeinsam benutzter Betriebsmittel (Ressourcen) Verfahren zur Synchronisierung Semaphore kritische Regionen Rendez-vous-Konzept Grundgedanke Rechenprozess muss warten, bis ein bestimmtes Signal bzw. Ereignis eintrifft Einfügen von Wartebedingungen an den kritischen Stellen

29 Semaphorkonzept Synchronisierung von Rechenprozessen durch Signale (Dijkstra) Semaphorvariable: positive, ganzzahlige Werte Semaphoroperationen: V(S) und P(S) V(S i ): Operation V(S i ) erhöht den Wert der Semaphorvariable S i um 1 P(S i ): Operation P(S i ) bestimmt den Wert von S i ist der Wert von S i > 0 wird S i um 1 erniedrigt ist S i = 0 wird gewartet, bis S i > 0 geworden ist Beispiel 1: Zugverkehr über eine eingleisige Strecke

30 Beispiel 2: Zugverkehr über eine eingleisige Strecke Beispiel : Zwei Prozesse sollen abwechselnd laufen

31 Kommunikation zwischen Rechenprozessen Definitionen Synchronisierung = Erfüllung zeitlicher und logischer Randbedingungen beim parallelen Ablauf von Rechenprozessen Kommunikation = Austausch von Daten zwischen parallel ablaufenden Rechenprozessen Wechselwirkung: Synchronisierung Kommunikation Synchronisierung: Kommunikation: informationslose Kommunikation Synchronisierung zum Informationsaustausch Möglichkeiten der Datenkommunikation Gemeinsam benutzter Speicher (shared memory) gemeinsame Variable gemeinsame komplexe Datenstruktur Versenden von Nachrichten explizite Übertragung von Nachrichten von einem Rechenprozess zu einem anderen durch einen Nachrichtendienst (message passing) vor allem bei verteilten Systemen

32 Arten der Kommunikation Synchrone Kommunikation sendender und empfangender Rechenprozess kommunizieren an einer definierten Stelle im Programmablauf Warten durch Blockierung Asynchrone Kommunikation Daten werden gepuffert keine Wartezeiten Scheduling Verfahren Scheduling-Problem Rechenprozesse benötigen Ressourcen (Prozessor, Ein-/Ausgabegeräte usw.) Ressourcen sind knapp Rechenprozesse konkurrieren um Ressourcen Zuteilung von Ressourcen muss verwaltet werden Definitionen Task: Taskset: Rechenprozess der vom Scheduler verwaltet wird Menge aller verwalteten Tasks

33 Scheduling Unter Scheduling versteht man die Vergabe des Prozessors an ablaufbereite Rechenprozesse nach einem festgelegten Algorithmus (Scheduling-Verfahren). Problem 1. Gibt es für eine Menge von Tasks (Taskset) einen ausführbaren Plan (Schedule)? 2. Gibt es einen Algorithmus, der einen ausführbaren Schedule findet? 3. Ist der Algorthmus optimal in dem Sinne, dass er immer einen gültigen Schedule findet, wenn dies durch einen Ausführbarkeitstest nachgewiesen wurde? Klassifizierung in Abhängigkeit vom Zeitpunkt der Planung Statisches Scheduling Planung des zeitlichen Ablaufs der Tasks erfolgt vor der Ausführung (dispatching table) Berücksichtigung von Informationen über Taskset, Deadlines, Ausführungszeiten, Reihenfolgebeziehungen, Ressourcen Dispatcher macht Zuteilung gemäß dispatching table Laufzeit- Overhead minimal determiniertes Verhalten Dynamisches Scheduling Organisation des zeitlichen Ablaufs während der Ausführung der Tasks erheblicher Laufzeit-Overhead

34 Klassifizierung nach Art der Durchführung Unterscheidung, ob eine laufende Task verdrängt werden darf oder nicht Preemptives Scheduling laufende Task kann unterbrochen werden höherpriore Task verdrängt niederpriore Task Nicht-preemptives Scheduling laufende Task kann nicht unterbrochen werden Prozessorfreigabe durch die Task selbst Scheduling Verfahren FIFO-Scheduling (First-in-first-out) Zeitscheibenverfahren Scheduling mit festen (unveränderlichen) Prioritäten Ratenmonotones Scheduling Verfahren der kleinsten Restantwortzeit Verfahren des kleinsten Spielraums

35 FIFO-Scheduling Nicht-preemptives Scheduling Task, deren Einplanung am weitesten zurückliegt bekommt Prozessor einfache Realisierung ungeeignet für harte Echtzeitsysteme Tasks werden in der Reihenfolge ausgeführt, in der sie ablauffähig werden Zeitscheibenverfahren (Round-Robin-Verfahren) Jede Task bekommt einen festgelegten Zeitschlitz, zu der sie den Prozessor bekommt Reihenfolge wird statisch festgelegt Abarbeitung einer Task Stück für Stück Verwendung bei Dialogsystemen (Multi-Tasking-Systeme) ungeeignet für harte Echtzeitsysteme

36 Beispiel: Round-Robin-Verfahren Jeder Zeitschlitz sei 10ms groß und die Tasks werden in der zyklischen Reihenfolge A-B-C-D abgearbeitet. Zeitdauern der Tasks: Task A: 25ms Task B: 20ms Task C: 30ms Task D: 20ms Scheduling mit festen Prioritäten Prioritäten werden statisch vergeben Task mit höchster Priorität bekommt Prozessor preemptive und nicht-preemptive Strategie ist möglich einfache Implementierung für harte Echtzeitsysteme nur bedingt geeignet

37 Ratenmonotones Scheduling (Rate-Monotonic - Verfahren) Spezialfall des Verfahrens mit festen Prioritäten für zyklische Tasks Priorität um so höher, je kürzer die Zykluszeit (Periode) ist Task mit kleinster Zykluszeit erhält höchste Priorität preemptive Strategie Wird in der Praxis häufig verwendet Beispiel: Ratenmonotones Scheduling (Rate-Monotonic - Verfahren)

38 Verfahren der kleinsten Restantwortzeit = Earliest-Deadline-First-Verfahren Task mit kleinster Restantwortzeit bekommt den Prozessor preemptives Vorgehen hoher Rechenaufwand für das Scheduling Einhaltung von zeitlichen Anforderungen wird speziell unterstützt Verfahren des kleinsten Spielraums (least laxity) Task mit kleinstem Spielraum erhält Prozessor Berücksichtigung von Deadlines und Ausführungsdauern sehr aufwendiges Verfahren für harte Echtzeitsysteme am besten geeignet