2001:16B8:B6B4:F100:68AD:B738:E078:9D75: Puntk statt Doppelpunkt

2024-12-29T11:46:43Z

Puntk statt Doppelpunkt

Neue Seite

Ein '''Prozess-Scheduler''' (Scheduler = Steuerprogramm; vom englischen ''{{lang|en|schedule}}'' für „Zeitplan“) ist eine [[Arbiter|Arbitrations]]<nowiki></nowiki>logik, die die [[Scheduling|zeitliche Ausführung]] mehrerer [[Prozess (Informatik)|Prozesse]] in [[Betriebssystem]]en und der [[Anwendungsvirtualisierung]] regelt.

Prozess-Scheduler lassen sich grob aufteilen in:
* ''unterbrechende'' (''präemptive'') Scheduler: sie teilen die CPU von vornherein nur für eine bestimmte Zeitspanne zu und entziehen sie dem Prozess daraufhin wieder.
* ''nicht unterbrechende'' Scheduler ({{lang|en|''non preemptive''}}, auch ''kooperative'' genannt): sie lassen einen Prozess, nachdem ihm die [[Central Processing Unit|CPU]] einmal zugeteilt wurde, solange laufen, bis er die CPU von sich aus wieder freigibt oder bis er blockiert.

Eine weitere mögliche Unterscheidung ist diejenige in:
* ''work-conserving''-Strategien: das Umschalten zwischen Prozessen nimmt nur eine vernachlässigbar geringe Zeit in Anspruch.<ref>[[Otto Spaniol]]: ''Systemprogrammierung : Skript zur Vorlesung an der RWTH Aachen.'' 1996, ISBN 3-86073-470-9</ref>
* ''non work-conserving''-Strategien.

Man kann verschiedene Systeme unterscheiden, in welchen jeweils verschiedene Anforderungen an den Scheduler gestellt werden:
# [[Stapelverarbeitung]]ssysteme: hier sieht der Scheduler denkbar einfach aus: ankommende Aufträge werden in eine [[Warteschlange (Datenstruktur)|Warteschlange]] eingereiht und jedes Mal, wenn ein Job abgearbeitet ist, kommt der nächste aus der Schlange dran (Queue-Manager).
# [[Mensch-Computer-Interaktion|interaktive Systeme]]: der Benutzer legt Wert auf kurze [[Antwortzeit]]. Wenn er beispielsweise in einem [[Texteditor]] eine Tastatureingabe tätigt, sollte der Text ''sofort'' erscheinen.
# [[Echtzeitbetriebssystem|Echtzeitsysteme]]: sie müssen garantieren, dass ein Prozess eine Aufgabe innerhalb einer vorgegebenen Zeitspanne abgearbeitet haben muss. Bei harten Echtzeitanforderungen wird das in 100 % aller Fälle garantiert, während bei weichen Anforderungen das Zeitlimit in einigen wenigen Fällen überschritten werden darf.

Typische [[Desktop-PC]]s sind interaktive Systeme, auf denen gelegentlich auch Prozesse als [[Hintergrundprozess]]e mit niedrigerer [[Priorität]] ablaufen können.

== Ziele ==
Die Zuteilung der CPU an die Prozesse sollte bestmöglich erfolgen, wobei (abhängig vom ausführenden System) unterschiedliche Ziele verfolgt werden können:

=== Allgemein ===
* Fairness: Kein Prozess sollte unverhältnismäßig lange warten müssen, während ein anderer bevorzugt wird.
* Balance: Die Prozesse sollten der CPU auf eine Weise zugeteilt werden, dass auch andere Ressourcen wie [[Massenspeicher]], [[Rechnernetz|Netzwerk]]-Schnittstelle u. a. ausgelastet sind.
* Einhaltung der Systemregeln.

=== Stapelverarbeitungssysteme ===
* CPU-[[Auslastung]]: Die CPU sollte zu jeder Zeit ausgelastet sein. Es soll nicht vorkommen, dass die CPU sich im [[Leerlauf]] befindet, nur weil ein Prozess auf Daten von der [[Festplatte]] wartet.
* [[Durchsatz]]: Die Anzahl beendeter Aufgaben pro Zeitspanne sollte maximiert werden. Dies ergibt eine ähnliche Strategie wie die Auslastung, betrachtet aber mehr das tatsächliche Ergebnis.
* kurze Turnaroundzeit ([[Durchlaufzeit]]): Die Zeit, die von der Ankunft eines Prozesses bis zu seiner vollständigen Beendigung vergeht, sollte minimiert werden.

=== Interaktive Systeme (Dialogsysteme) ===
* Niedrige Antwortzeiten: Die Wartezeiten des Benutzers (oder anderer Systeme) sollten minimiert werden. Prozesse, die eine Interaktion mit dem Benutzer erfordern, sollten also bevorzugt werden vor solchen, die im Hintergrund stattfinden können.
* Proportionalität: Die Antwortzeiten verschiedener Prozesse sollten den Erwartungen des Benutzers entsprechen. Werden Prozesse (wie z. B. das Schließen einer [[Anwendungssoftware|Anwendung]]) vom Benutzer als simpel betrachtet, sollten diese auch schnell ausgeführt werden.

=== Echtzeitsysteme ===
* Deadlines einhalten
* [[Vorhersagbarkeit]]: Wichtig für [[Multimedia]]-Anwendungen (da sonst z. B. Verschlechterung der Tonqualität droht) oder sicherheitskritische Anwendungen wie z. B. [[Steuergerät]]e für [[Airbag]]s, [[Tempomat]] bei [[Kraftfahrzeug]]en oder [[Autopilot]]en bei [[Flugzeug]]en.

== Strategien ==
Das größte Problem des Schedulers ist die Tatsache, dass die benötigten [[Betriebsmittel (Informatik)|Betriebsmittel]] für die einzelnen Prozesse nicht im Vorfeld bekannt sind. Es lässt sich also im Allgemeinen keine optimale Planung erstellen, sondern der Scheduler muss dynamisch auf geänderte Anforderungen reagieren. Dabei können (abhängig vom Scheduler) verschiedene Zuteilungsstrategien zum Einsatz kommen, u. a.:

* '''[[First In – First Out]]''' (FIFO), '''First-Come First-Served''' (FCFS): Hierbei werden alle Prozesse in der Reihenfolge ihres Eingangs bearbeitet. Eine Neuzuteilung der Prozesse findet erst statt, wenn der laufende Prozess zu warten beginnt oder seine Ausführung beendet ist, das Verfahren ist daher nonpräemptive. Diese Strategie erzielt eine gute Auslastung bezüglich der CPU, allerdings nicht bezüglich Ressourcen, die längere Zeit für eine Anforderung benötigen können, wie z. B. Ein-/Ausgabe oder Massenspeicher. Für Mehrbenutzersysteme ist die Strategie darüber hinaus wenig geeignet, da einzelne Benutzer so ggf. für längere Zeit (nämlich bei aufwendigen Prozessen anderer Benutzer) ausgeschlossen werden.

*'''[[Shortest-Job-Next]]''' (SJN), '''Shortest Job First''' (SJF), '''Shortest Processing Time''' (SPT): ein weiteres Verfahren, das nicht für Mehrbenutzersysteme geeignet ist. Es lässt sich in Fällen einsetzen, in denen die benötigte Rechenzeit für einzelne Aufgaben aus Erfahrungswerten gut vorhergesagt werden kann. Ein Nachteil ist, dass große Prozesse u. U. ''niemals'' die CPU zugeteilt bekommen, wenn sich immer kürzere Jobs vordrängeln. Können Prozesse unterbrochen werden, so dass ein Prozesswechsel durchgeführt wird, wenn ein neu ankommender Prozess eine kürzere Ausführungszeit aufweist als der aktuell laufende Prozess, so spricht man von '''Shortest-Remaining-Time''' (SRT) oder '''Shortest-Remaining-Processing-Time''' (SRPT).
*[[Lotterie-Scheduling|'''Random Job Next''']] (RJN): Hierbei wird einem Prozess eine bestimmte Anzahl an Lotterie-Tickets zugewiesen. Der Scheduler lost ein Ticket, wonach der Prozess, welcher die Auslosung gewonnen hat, die vorgesehene Bearbeitungszeit übergeben bekommt. Der Overhead hiervon liegt bei O(2n) von der Implementation, welche nach David Petrou als [[Pseudocode]] repräsentiert wird.<ref>{{Internetquelle |autor=David Petrou, John W. Milford, Garth A. Gibson |url=https://www.usenix.org/legacy/events/usenix99/full_papers/petrou/petrou.pdf |titel=Implementing Lottery Scheduling: Matching the Specializations in Traditional Schedulers |werk=USENIX |hrsg=USENIX Annual Technical Conference |datum=1999-06-06 |format=PDF |sprache=en |abruf=2021-11-08}}</ref>

* '''Earliest Due Date''' (EDD): Bei dieser Strategie werden diejenigen Prozesse zuerst ausgeführt, welche die geringste [[Termin|Deadline]] haben. Voraussetzung dafür sind statische Deadlines und gleichzeitiges Eintreffen voneinander unabhängiger Tasks. Dieses nichtunterbrechende Verfahren ist ideal, um die maximale Verspätung zu minimieren. Wenn Prozesse unterbrochen werden können spricht man von einer '''Terminabhängigen Ablaufplanung''', '''Planen nach Fristen''' oder '''[[Earliest Deadline First]]''' (EDF). Diese Strategie kommt hauptsächlich in Echtzeitsystemen vor, da es damit möglich ist, eine definierte Antwortzeit für bestimmte Prozesse zu garantieren.

* '''[[Prioritätsscheduling]]''': Bei dieser Strategie wird jedem Prozess eine Priorität zugeordnet. Die Abarbeitung erfolgt dann in der Reihenfolge der Prioritäten.
** '''[[Rate Monotonic Scheduling]]''' (RMS): Die Priorität wird aus der Periodenlänge berechnet (Prozesse mit kürzeren Perioden haben höhere Priorität).
** '''[[Deadline Monotonic Scheduling]]''' (DMS): Die Priorität wird aus der relativen Deadline berechnet (Prozesse mit kürzeren relativen Deadlines haben höhere Priorität).
** Man kann auch mehreren Prozessen die gleiche Priorität geben, sie werden dann in Eingangsreihenfolge ausgeführt, oder mit einem untergeordneten Zeitscheibenverfahren innerhalb der gleichen Priorität abgewechselt (zum Beispiel '''[[Multilevel Feedback Queue]] Scheduling''' oder '''Shortest-Elapsed-Time''' (SET) )
** Die Prioritäten können auch dynamisch sein, wobei sich die Priorität eines Prozesses mit der Zeit erhöht, damit auch niedrig priorisierte Prozesse irgendwann bearbeitet werden und nicht ständig von höher priorisierten Prozessen verdrängt werden.

* '''[[Round Robin (Informatik)|Round Robin]]''', '''Zeitscheibenverfahren''': Einem Prozess wird die CPU für eine bestimmte (kurze) Zeitspanne zugeteilt. Danach wird der Prozess wieder hinten in die Warteschlange eingereiht. Sind die einzelnen Zeitspannen unterschiedlich groß, so spricht man von [[Weighted Round Robin]] (WRR)

== Scheduling-Verfahren ==
* [[Completely Fair Scheduler]] (CFS), Scheduler von [[Linux]] von 2.6.23 bis 6.6
* [[Fair-Share-Scheduling]]
* [[Brain Fuck Scheduler]]
* [[Highest Response Ratio Next]] (HRRN)
* [[Least Laxity First]] (Planen nach Spielraum)
* [[Lotterie-Scheduling]]
* [[Three-Level-Scheduling]]
* ''Credit Scheduler''<ref>[https://wiki.xenproject.org/wiki/Credit_Scheduler Credit Scheduler] im [https://wiki.xenproject.org/wiki/Main_Page Xen-Wiki]</ref>, ''Credit2 Scheduler''<ref>[https://wiki.xenproject.org/wiki/Credit2_Scheduler Credit2 Scheduler] im [https://wiki.xenproject.org/wiki/Main_Page Xen-Wiki]</ref> von [[Xen]]

== Literatur ==
* [[Andrew S. Tanenbaum|Tanenbaum, Andrew S.]]: ''Moderne Betriebssysteme'' ISBN 3-8273-7019-1
* A. Silberschatz, P. B. Galvin, G. Gagne: ''Operating System Concepts'', 7th edition, John Wiley & Sons Inc. 2000, ISBN 0-471-69466-5

== Einzelnachweise ==
<references />

[[Kategorie:Betriebssystemtheorie]]
[[Kategorie:Betriebssystemkomponente]]

Prozess-Scheduler - Versionsgeschichte

2001:16B8:B6B4:F100:68AD:B738:E078:9D75: Puntk statt Doppelpunkt