๐ Scheduling Simulator โ Handbuch
Browserbasiertes Lehr- und Analysewerkzeug fรผr Betriebssystem-Vorlesungen. Kein Server nรถtig โ einfach die HTML-Datei im Browser รถffnen.
Kernfunktionen
โ 8 Scheduling-Algorithmen
FCFS, SJF, SRTF, RR, Priority, MLQ, EDF, Rate Monotonic
๐ฅ Multi-Core (bis 8 Kerne)
6 Strategien: SMP, Partitioned, Work Stealing, Gang, G-EDF, P-EDF
๐ Analyse-Suite
WCRT, Laxity-Heatmap, Histogramm, Jitter, Fairness-Index
๐ฒ Taskset-Generator
UUniFast-Algorithmus, Schedulierbarkeits-Rechner
โก DVFS-Energiesimulation
6 Governor-Strategien, P-States, Pโfยณ-Modell
๐ 14 Lehr-Beispiele
Mit Beobachtungs-Leitfaden, Experimenten & Theorie
Begriffe & Definitionen
Scheduling-Literatur verwendet teils unterschiedliche Begriffe fรผr รคhnliche Konzepte. Diese Tabelle klรคrt die wichtigsten Terme โ insbesondere die Unterscheidung zwischen Execution Time, WCET und verwandten Grรถรen.
Zeitgrรถรen eines Tasks
| Begriff | Symbol | Definition | Im Simulator |
|---|
Execution Time
auch: CPU-Burst, Compute Time |
C / Cแตข |
Die reine CPU-Rechenzeit, die ein Task von dem Moment an benรถtigt, in dem er die CPU zugeteilt bekommt, bis er seinen Berechnungsanteil abgeschlossen hat. Enthรคlt keine Warte- oder I/O-Zeiten. |
Feld โExecution Time (C)" beim Anlegen eines Prozesses. Wird als fixer WCET-Wert behandelt (deterministisches Modell). |
WCET
Worst-Case Execution Time |
C |
Die maximale Execution Time รผber alle mรถglichen Eingaben und Codepfade. Sicherheitskritische Echtzeitsysteme garantieren Schedulierbarkeit nur dann, wenn Cแตข = WCET verwendet wird. Die tatsรคchliche Ausfรผhrungszeit liegt oft darunter (ACET). |
Im deterministischen Modell gilt: Execution Time = WCET. Mit Modell โACET" oder โZufรคllig ยฑ20 %" werden auch kรผrzere Ausfรผhrungszeiten simuliert. |
ACET
Average-Case Execution Time |
Cฬ |
Durchschnittliche Execution Time unter realistischer Last. Fรผr Schedulierbarkeitsanalysen ungeeignet โ nur fรผr Leistungsmessungen sinnvoll. |
Auswรคhlbar รผber โWCET/ACET-Modell" beim Anlegen eines Prozesses. |
Response Time
auch: Antwortzeit |
R |
Zeit vom Aktivierungszeitpunkt (Arrival) bis zum ersten CPU-Zugriff des Tasks. Misst die Wartezeit in der Ready-Queue vor der ersten Ausfรผhrung.
R = firstCPU โ arrival |
Spalten Min/ร/Max Resp. im Metriken-Panel. Im Gantt als blaue Pfeil-Linie darstellbar (Overlay โReaktionszeit"). |
WCRT
Worst-Case Response Time |
R* |
Analytisch garantierte maximale Antwortzeit unter einem gegebenen Scheduler, berechnet รผber die Response-Time-Analysis (RTA). Ein Task ist schedulierbar, wenn R* โค D (Deadline).
Rแตข = Cแตข + ฮฃโฑผโhp(i) โRแตข/TโฑผโยทCโฑผ |
Tab ๐ Statistiken โ ๐งฎ WCRT-Analyse. Zeigt R* und Slack = D โ R* pro Task. |
Turnaround Time
auch: Durchlaufzeit |
TAT |
Zeit vom Aktivierungszeitpunkt bis zur vollstรคndigen Fertigstellung des Tasks. Enthรคlt Warte- und Ausfรผhrungszeit.
TAT = finish โ arrival = Wait + C |
Spalte Turnar. im Metriken-Panel. |
Waiting Time
auch: Wartezeit |
W |
Zeit, die ein Task in der Ready-Queue verbringt, ohne die CPU zu nutzen.
W = TAT โ C |
Spalte Wait im Metriken-Panel. Gelb markiert wenn รผberdurchschnittlich hoch. |
Laxity / Slack
auch: Spielraum |
L(t) |
Verbleibender Zeitpuffer bis zur Deadline unter Berรผcksichtigung der noch nรถtigen Rechenzeit.
L(ฯแตข, t) = Dแตข โ t โ rem_Cแตข
L = 0: Task muss sofort laufen, sonst Deadline-Miss. |
Gantt-Overlay โก Kritischer Pfad (Laxity-Heatmap): rot = Lโค0, gelb = kritisch, grรผn = sicher. |
Tardiness
auch: Verspรคtung |
|
รberschreitung der Deadline.
tardiness = max(0, finish โ deadline) |
Spalte Tardin. im Metriken-Panel, rot markiert wenn > 0. |
Abgrenzung: Execution Time vs. Response Time
Hรคufige Verwechslung: โWie lange lรคuft der Task?" bezieht sich auf die Execution Time C (reine CPU-Zeit). โWie lange dauert es, bis der Task fertig ist?" bezieht sich auf die Turnaround Time (Warten + Rechnen). โWie lange wartet er, bis er das erste Mal die CPU bekommt?" ist die Response Time.
Arrival โโ[Response Time R]โโโถ firstCPU โโ[Execution Time C]โโโถ finish
โโโโโโโโโโโโโโ[Turnaround Time TAT]โโโโโโโโโโโโโโโโโโโโโโ
โโโ[Waiting Time W]โโโ
Termini in verschiedenen Quellen
| Dieser Simulator | Tanenbaum | Silberschatz | Liu & Layland / Buttazzo |
|---|
| Execution Time (C) | CPU burst | CPU burst time | computation time Cแตข |
| Response Time | response time | response time | response time Rแตข |
| Turnaround Time | turnaround time | turnaround time | โ |
| WCRT | โ | โ | worst-case response time R* |
| Laxity | โ | โ | laxity / slack Lแตข(t) |
Tabs & Navigation
| Tab | Inhalt |
|---|
| ๐ Scheduler | Hauptansicht: Prozesse anlegen, Algorithmus wรคhlen, Gantt animieren, Metriken analysieren |
| ๐ฅ Multi-Core | Parallele Ausfรผhrung auf 1โ8 Kernen mit verschiedenen Scheduling-Strategien |
| โก DVFS | Energiesimulation mit Frequenz-Governor und P-State-Konfiguration |
| ๐ Synchronisierung | Mutex, Semaphor, Producer/Consumer, Deadlock-Demo |
| ๐ Statistiken | Tabellarische Auswertung, WCRT-Analyse, Schedulierbarkeits-Rechner |
| โ A/B Vergleich | Zwei Algorithmen direkt gegenรผberstellen โ Gantt, Metriken, Diagramm |
| ๐ Handbuch | Diese Seite |
Tipp: Im Header befinden sich: ๐พ Presets (Szenarien speichern/laden/teilen), ๐ฒ Taskset-Gen, ๐ Beispiele, Export/Import und Reset.
Prozesse anlegen
Alle Felder im linken Panel des Scheduler-Tabs. Pflichtfelder: Name und Execution Time.
| Feld | Bedeutung | Hinweis |
|---|
| Name | Prozessbezeichnung | z.B. P1, ฯ1 |
| Ankunft | Arrival Time t | 0 = sofort verfรผgbar |
| Execution Time (C) | Reine CPU-Rechenzeit des Tasks (= Cแตข) | โฅ 1; wird als WCET behandelt |
| Prioritรคt | 1 = hรถchste Prioritรคt | Nur fรผr Priority-Algo relevant |
| Periode | Wiederholungsintervall fรผr periodische Tasks | Fรผr EDF/RM; beeinflusst Job-Expansion |
| Deadline | Relative Deadline ab Ankunft | Standard: = Periode (implizite Deadline) |
| Queue-Level | MLQ-Ebene (0=Highest, 1=Interactive, 2=Batch) | Nur fรผr MLQ |
| Mutex | Zugewiesenes Mutex-Objekt | Fรผr Synchronisierungs-Simulation |
| Task-Typ | Periodisch / Sporadisch (MIT) / Aperiodisch | Beeinflusst Ankunftsmuster |
| Threads | Anzahl paralleler Threads | 1โ8; fรผr Gang-Scheduling |
| WCET-Modell | WCET (deterministisch) / ACET (ร) / Zufรคllig ยฑ20% | Beeinflusst tatsรคchliche Ausfรผhrungszeit |
| Core-Affinitรคt | Bevorzugter Core bei Multi-Core | -1 = Auto (Scheduler entscheidet) |
Schnelles Setup
- Name und Execution Time eingeben โ + Prozess hinzufรผgen
- Fรผr Echtzeit: Periode und Deadline setzen, Task-Typ auf "Periodisch"
- โ Icon zum Bearbeiten, ร zum Lรถschen
- Farbe รผber den Color-Picker anpassen
Scheduling-Algorithmen
| Algorithmus | Typ | Quantum | Geeignet fรผr |
|---|
| Round Robin (RR) | Preemptiv | โ | Interaktive Systeme, faire CPU-Verteilung |
| FCFS | Non-preemptiv | โ | Einfache Stapelverarbeitung; demonstriert Konvoi-Effekt |
| SJF | Non-preemptiv | โ | Minimiert ร Wartezeit; erfordert Burst-Kenntnisse |
| SRTF | Preemptiv | โ | Optimal fรผr ร Antwortzeit; kann Starvation verursachen |
| Priority | Non-preemptiv | โ | Prioritรคtsbasierte Systeme; demonstriert Starvation |
| MLQ | Multilevel | pro Queue | Gemischte Workloads (Echtzeit / Interaktiv / Batch) |
| EDF | Preemptiv | โ | Echtzeit โ optimal solange U โค 100% |
| Rate Monotonic | Preemptiv | โ | Periodische Echtzeit โ stabil, statische Prioritรคten |
Konfigurations-Parameter
- Quantum: Zeitscheibe fรผr RR (Standard: 2). Grรถรeres Q โ weniger Ctx-Switches, schlechtere Response-Zeit
- Cores: Anzahl simulierter CPU-Kerne (1โ8) โ beeinflusst CPU-Auslastungsberechnung
- ฮด_cs: Kontextwechsel-Overhead (wird als grauer Block in den Gantt eingefรผgt)
- ฮด_sched: Scheduler-Overhead pro Dispatch-Entscheidung
U = CPU_busy_time / (totalTime ร numCores)
Gantt-Diagramm & Overlays
Steuerleiste
- โฎ โถ โญ โ Schritt zurรผck / Play-Pause / Schritt vor
- Speed-Slider โ Animationsgeschwindigkeit
- Core-Ansicht โ Zeigt Core-Zuweisung farbig (bei Multi-Core)
- ๐ฌ Schritt-Erklรคrung โ Zeigt Scheduling-Entscheidungsgrund รผber dem Gantt
Ein-/Ausblendbare Overlays
| Overlay | Symbol | Beschreibung |
|---|
| Sync-Ereignisse | โ | Gelb = kritischer Abschnitt (Mutex gehalten), Rot gestreift = blockiert |
| DVFS-Frequenz | โ | Frequenzรคnderungen als farbiger Streifen unter den Blรถcken |
| Ressourcen-Zeile | โ | Extra Zeile pro Mutex zeigt Lock-Zeiten |
| Deadlines | โ | Diamant + gestrichelte Linie bei absoluter Deadline |
| Ankunftszeiten | โผ | Grรผnes Dreieck bei jeder Job-Ankunft |
| Deadline-Misses | โ | Rote รberlappungsmarkierung + โ bei Deadline-Verletzung |
| Perioden-Grenzen | โ | Vertikale gestrichelte Linien an jedem Periodenende |
| Reaktionszeit | โ | Gestrichelte Linie von Ankunft bis erstem CPU-Zugriff (R=N Label) |
| Ctx-Switch-Overhead | โง | Grauer/Lila Block = Overhead-Zeit (nicht produktiv) |
| Kritischer Pfad | โก | Laxity-Heatmap am Blockrand: grรผn=sicher, rot=kritisch |
Metriken-Panel
Erscheint nach jeder Simulation unterhalb des Gantts. Collapsible รผber den Titel-Balken.
Zusammenfassungs-Chips
| Metrik | Formel |
|---|
| CPU-Util. | ฮฃ(CPU-Blรถcke) / (totalTime ร Cores) |
| Durchsatz | fertige Prozesse / totalTime |
| ร Wartezeit | ฮฃ(Turnaround_i โ C_i) / n |
| ร Response | ฮฃ(firstCPU_i โ arrival_i) / n |
| ร Turnaround | ฮฃ(finish_i โ arrival_i) / n |
| Tardiness ฮฃ | ฮฃ max(0, finish_i โ deadline_i) |
| Jain Fairness | (ฮฃw_i)ยฒ / (n ร ฮฃw_iยฒ) โ 1.0 = perfekt fair |
| OH-Anteil | ctxN ร (ฮด_cs + ฮด_sched) / totalTime |
Grafiken im Panel
- Response-Zeit Histogramm โ Verteilung der Response-Zeiten (erscheint ab โฅ 3 Job-Instanzen). Gelbe Linie = Mittelwert, grรผne Linie = Median.
- Jitter-Verlaufskurve โ Response-Zeit je Job-Instanz รผber die Zeit fรผr periodische Tasks (erscheint ab โฅ 2 Instanzen).
๐ฒ Taskset-Generator (UUniFast)
Header-Button ๐ฒ Taskset-Gen. Generiert zufรคllige Tasksets mit definierter Gesamtauslastung.
Parameter
| Parameter | Beschreibung |
|---|
| n | Anzahl Tasks (2โ12) |
| U (%) | Gesamtauslastung 10โ99% |
| T_min / T_max | Periodenbereich (zufรคllig uniform verteilt) |
| Deadline-Typ | Implizit (D=T) / Constrained (DโคT) / Arbitrรคr |
| Algorithmus | Wird direkt fรผr die Simulation รผbernommen |
UUniFast-Algorithmus
Erzeugt gleichmรครig verteilte Auslastungsvektoren (Bini & Buttazzo, 2005):
sumU = U_total
for i = 1 to n-1:
nextSumU = sumU ร rand(0,1)^(1/(n-i))
U_i = sumU - nextSumU
sumU = nextSumU
U_n = sumU
Die Vorschau zeigt: ฮฃ U, Liu & Layland-Schranke und EDF-Schedulierbarkeit. Mit ๐ฒ Generieren neuen Zufallssatz erzeugen, mit โ รbernehmen in den Simulator laden.
โ A/B Vergleichsmodus
Tab โ A/B Vergleich. Fรผhrt denselben Prozess-Set mit zwei verschiedenen Algorithmen aus und stellt die Ergebnisse direkt gegenรผber.
Workflow
- Prozesse im Scheduler-Tab anlegen (oder Beispiel laden)
- A/B-Tab รถffnen โ Algorithmus A und B wรคhlen
- Quantums fรผr beide einstellen
- โ Vergleichen klicken
Ausgabe
- Gantt-Vergleich: Beide Timelines nebeneinander
- Metriken-Tabelle: Alle Kennwerte, Gewinner grรผn hervorgehoben, Spalte "Besser": A / B / =
- Balkendiagramm: ร Wartezeit, ร Response, ร Turnaround, Ctx-Switches
Tipp: Lade ein Lehr-Beispiel (z.B. "Konvoi-Effekt") und vergleiche dann FCFS vs. SJF โ der Effekt ist unmittelbar sichtbar.
๐งฎ WCRT-Analyse (Response Time Analysis)
Im Tab ๐ Statistiken. Berechnet die Worst-Case Response Time (WCRT) fรผr alle Prozesse.
Algorithmus (Audsley / Tindell / Joseph)
R_i^(0) = C_i
R_i^(k+1) = C_i + ฮฃ_{j โ hp(i)} โ R_i^(k) / T_j โ ร C_j
Konvergiert โ R* wenn R^(k+1) = R^(k)
Schedulable โ R* โค D_i
hp(i) = Menge aller Tasks mit hรถherer Prioritรคt als ฯ_i.
Ausgabe-Spalten
| Spalte | Bedeutung |
|---|
| C | Execution Time (= WCET im Simulator) |
| T | Periode |
| D | Relative Deadline |
| U | Auslastung C/T |
| WCRT R* | Berechnete Worst-Case Antwortzeit (โ = nicht schedulable) |
| Slack | D โ R* (positiv = Puffer vorhanden) |
Hinweis: RTA gilt exakt fรผr feste Prioritรคten (RM, Priority). Fรผr EDF gilt: schedulable genau dann wenn ฮฃ U_i โค 1.
โก Kritischer Pfad / Laxity-Heatmap
Overlay-Checkbox im Gantt-Overlay-Panel. Visualisiert die Laxity (Puffer bis Deadline-Miss) als farbigen Balken am unteren Rand jedes Gantt-Blocks.
Laxity(ฯ_i, t) = deadline(ฯ_i) โ t โ remaining_C(ฯ_i)
| Farbe | Bedeutung |
|---|
| Grรผn | Hohe Laxity โ Task liegt gut im Zeitplan |
| Gelb | Mittlere Laxity โ Aufmerksamkeit empfohlen |
| Rot | Laxity โค 0 โ Deadline-Miss unvermeidlich |
Der Block mit global niedrigster Laxity wird mit โก L=X.X annotiert. Roter Rahmen = Deadline definitiv verpasst.
Anwendung: Bei EDF/RM aktivieren. Laxity = 0 bedeutet: dieser Task muss sofort laufen. Vergleiche Algorithmen: Welcher hรคlt die Laxity stabiler?
๐ Schedulierbarkeits-Rechner
Im Tab ๐ Statistiken. Interaktiver Chart der Auslastungs-Schranken.
Anzeige
- Lila Kurve โ Liu & Layland RM-Schranke:
U_bound(n) = n(2^(1/n) โ 1) (โ 69.3% fรผr nโโ)
- Grรผne Linie โ EDF-Schranke:
U โค 100%
- Punkt โ Aktueller Taskset: grรผn = RM schedulable, gelb = nur EDF, rot = รberlast
Interaktive Slider
Unterhalb des Charts kรถnnen U_i aller Tasks per Slider angepasst werden โ der Punkt wandert in Echtzeit.
RM schedulable โ ฮฃ U_i โค n(2^(1/n) โ 1)
EDF schedulable โ ฮฃ U_i โค 1.0
๐ฌ Schritt-Erklรคrung
Checkbox ๐ฌ Schritt-Erklรคrung in der Gantt-Steuerleiste. Zeigt fรผr jeden Simulationsschritt, warum der aktuelle Task gewรคhlt wurde.
Beispiele nach Algorithmus
| Algorithmus | Beispiel-Erklรคrung |
|---|
| FCFS | P1 ist an erster Stelle der Warteschlange (Ankunft t=0). Lรคuft bis Fertig. |
| EDF | P3 hat die frรผheste Deadline (D=8). Ready-Queue: [P1(D=12), P3(D=8)]. |
| RR | P2 ist an der Reihe. Zeitscheibe Q=2. Ready: [P1, P2, P3]. |
| RM | P2 hat kรผrzeste Periode (T=5) = hรถchste Prioritรคt. Ready: [P1(T=10), P2(T=5)]. |
| Priority | P1 hat hรถchste Prioritรคt (Prio=1). Ready: [P1(P=1), P3(P=3)]. |
Bei Overhead-Blรถcken wird Typ und Dauer angezeigt (ฮด_cs oder ฮด_sched).
๐พ Preset-Bibliothek
Header-Button ๐พ Presets. Szenarien lokal speichern, verwalten und teilen.
Features
- Speichern: Aktuelles Szenario mit Namen versehen โ sofort in der Liste
- Laden/Lรถschen: Per Knopfdruck in der Liste
- Export: Alle Presets als JSON-Datei herunterladen
- Import: JSON-Datei einlesen und mit bestehenden zusammenfรผhren
- ๐ Share-URL: Generiert eine URL mit dem aktuellen Szenario als Base64-Hash. Beim รffnen des Links wird es automatisch geladen.
Tipp: Presets werden im localStorage des Browsers gespeichert โ beim Lรถschen des Browser-Caches gehen sie verloren. Fรผr dauerhafte Archivierung regelmรครig exportieren.
๐ฅ Multi-Core Simulation
| Strategie | Beschreibung |
|---|
| Global SMP | Eine globale Ready-Queue, alle Kerne teilen sich Tasks |
| Partitioned | Feste Core-Zuweisung per Affinitรคt (kein Stealing) |
| Work Stealing | Idle-Kerne stehlen Tasks von รผberlasteten Queues |
| Gang Scheduling | Multi-Thread-Prozesse laufen auf mehreren Kernen parallel |
| G-EDF | Globales EDF: frรผheste Deadline รผber alle Kerne |
| P-EDF | Partitioniertes EDF mit Bin-Packing-Zuweisung |
Schnell-Setup: Im Scheduler-Tab Cores > 1 setzen โ โถ Simulieren โ nutzt automatisch Global SMP.
Die CPU-Auslastung wird core-normalisiert berechnet: U = busy / (totalTime ร n_cores). Migrationen werden im Gantt als Pfeil dargestellt (Overlay: Core-Migrationen).
โก DVFS (Dynamic Voltage/Frequency Scaling)
Tab โก DVFS. Simuliert dynamisches Frequenzscaling auf Basis der CPU-Auslastung.
P โ fยณ (CMOS-Nรคherung) Energie E = ฮฃ P(f_t) ร ฮt
| Governor | Verhalten |
|---|
| Performance | Immer f_max โ beste Leistung, hรถchster Verbrauch |
| Powersave | Immer f_min โ hรถchste Ersparnis, schlechteste Latenz |
| Ondemand | Springt bei Last > Schwelle auf f_max, sonst proportional |
| Conservative | Schrittweises Erhรถhen/Senken โ vermeidet รberschwingen |
| Schedutil | f proportional zur Scheduler-Auslastungsschรคtzung (Linux 4.7+) |
| Interactive | Hรคlt f_max solange kรผrzlich Burst-Aktivitรคt โ gut fรผr GUIs |
P-States als kommagetrennte MHz-Liste konfigurierbar (z.B. 400,800,1200,1600,2000).
๐ Synchronisierung
- Mutex-Simulation: Bis zu 3 Mutexes, Lock/Unlock-Protokoll, kritische Abschnitte im Gantt gelb
- Semaphor-Demo: Producer/Consumer mit konfigurierbarer Puffergrรถรe
- Deadlock-Generierung: Erzeugt zyklische Wartebedingung โ DFS-Erkennung
- Prioritรคtsinversion: Niedrig-prioritรคrer Task hรคlt Mutex, den ein hochprioritรคrer benรถtigt
Blockierte Prozesse erscheinen im Gantt rot gestreift. Das Protokoll-Log zeigt alle Lock/Unlock-Events.
Import / Export
- โฌ Export: Speichert Prozesse, Konfiguration und Simulations-Meta als JSON-Datei
- โฌ Import: Lรคdt eine exportierte JSON-Datei und stellt den Zustand wieder her
- ๐พ Presets: Fรผr dauerhaftes Speichern und Teilen (siehe Preset-Bibliothek)
Tipp: Exportiere interessante Konfigurationen vor dem Experimentieren, um zur Ausgangslage zurรผckzukehren.
๐ Lehr-Beispiele
14 vorgefertigte Szenarien in 6 Kategorien. รffnen รผber den Header-Button ๐ Beispiele. Nach dem Laden erscheint rechts ein Analyse-Leitfaden mit Beobachtungshinweisen, klickbaren Experiment-Buttons und Theorie-Hintergrund.
| Kategorie | Beispiele |
|---|
| Klassisch | ๐ Konvoi-Effekt ยท โ SJF vs. SRTF ยท ๐ Round Robin Quantum ยท ๐ฝ Starvation ยท ๐ MLQ |
| Synchronisierung | ๐ Prioritรคtsinversion ยท โ Kontextwechsel-Overhead |
| Echtzeit | โฑ EDF vs. RM ยท ๐ซ Sporadische Tasks ยท ๐ RM Auslastungsgrenze |
| Multi-Core | ๐ฅ Global SMP vs. Work Stealing ยท ๐ Skalierung 1โ4 Kerne |
| DVFS | โก Energie-Tradeoff Governor-Vergleich |
| Analyse | ๐ Jitter-Analyse Periodische Tasks |
โ Hรคufige Fragen
EDF simuliert keine Wiederholungen?
Periode und Task-Typ auf "Periodisch" setzen. Der Simulator expandiert automatisch Job-Instanzen bis t=60 (Hyperperiod-Fenster).
CPU-Util. bei Multi-Core erscheint zu niedrig?
Korrekt โ die Auslastung ist core-normalisiert: U = busy / (totalTime ร n_cores). 2 Kerne mit je 80% = 80% Util., nicht 160%.
Kontextwechsel-Overhead hat keinen sichtbaren Effekt?
ฮด_cs und ฮด_sched werden als graue Blรถcke injiziert. Bei FCFS gibt es wenige Switches โ kaum Overhead. Bei RR mit kleinem Quantum sehr deutlich sichtbar.
WCRT zeigt โ?
Die Fixpunktiteration divergiert โ Task nicht schedulable. Periodenharmonie prรผfen, Auslastung reduzieren, oder Task in eine niedrigere Prioritรคtsstufe verschieben.
Taskset-Generator erzeugt nicht die gewรผnschte Auslastung?
UUniFast kann bei einzelnen Tasks U_i > 1 liefern (wird automatisch verworfen + neu generiert). Bei U > 95% oder sehr kleinen Perioden kรถnnen viele Versuche nรถtig sein โ einfach nochmals auf "Generieren" klicken.
Share-URL funktioniert nicht?
Der Browser muss Clipboard-Zugriff erlauben. Falls die automatische Kopie fehlschlรคgt, รถffnet sich ein Prompt mit der URL zum manuellen Kopieren.
Preset verschwunden nach Browser-Update?
Presets liegen im localStorage. Browser-Datenlรถschung oder Inkognito-Modus lรถscht sie. Regelmรครig รผber "Alle exportieren" sichern.
๐ก Erweiterungsideen
Analyse & Visualisierung
- Anomalie-Detektor: Automatische Warnung bei Graham-Anomalien (Multi-Core)
- Parameter-Sweep: n Runs mit variierendem Quantum/Prioritรคt โ Metrik-Kurven
- SVG/PNG-Export: Gantt als Vektorgrafik herunterladen
- Trace-Import: Reale Linux
ftrace/perf Traces einlesen und visualisieren
Algorithmen
- MLFQ: Multi-Level Feedback Queue mit dynamischer Prioritรคtsanpassung
- CBS: Constant Bandwidth Server โ reservierungsbasiertes Scheduling
- LLF: Least Laxity First โ echtzeitoptimal, wechselt bei Laxity-Gleichstand
- Mixed-Criticality: Verschiedene Kritikalitรคtsstufen (VESTAL-Modell)
Echtzeit
- Processor Demand Criterion: EDF-Schedulierbarkeit fรผr beliebige Deadlines
- Hyperperiod-Simulation: Automatisch LCM(Tโ,โฆ,Tโ) als Simulationsfenster
- Jitter-Propagation: Ausgangsjitter eines Tasks als Eingangsjitter des nรคchsten
Pรคdagogik
- Quiz-Modus: Multiple-Choice Fragen zum beobachteten Gantt
- Undo/Redo: Prozessรคnderungen rรผckgรคngig machen
- Mehrsprachigkeit: Englische UI-Variante (i18n)
- Permalink/Embed: Einbettbarer iFrame-Modus fรผr Folien
