Anwendung eines Systems


$\displaystyle Inp$ $\textstyle :$ $\displaystyle CLCK \times E' \times E \times G \times Q \longmapsto Q$ (2.49)

  1. CLCK+1 = 0
  2. Entferne aus $Q$ alle Tasks, die fertig abgearbeitet sind: $Q$ ist zu diesem Zeitpunkt leer
  3. Überprüfe alle Tasks in $Q$ bzgl. Deadline: nichts zu tun
  4. Bestimme mit $E'=\{e1\}$ und der Tabelle $E \times G$ welche neuen Tasks aus $G$ neu in $Q$ kommen: $e1 \times g1: g1$. Notiere bei jedem Task die aktuelle Zeit $t \in CLCK$ als 'Startzeit': $Q=\{(0,g1)\}$


$\displaystyle Sched$ $\textstyle :$ $\displaystyle Q \times \Pi \times CRES \times CLCK \longmapsto Q^{*}$ (2.50)

  1. Berechne mit Hilfe von $\Pi=\{RM\}$ und $CRES=\emptyset$ $CLCK=0$ die Prioritäten für alle Elemente in $Q$; ordne die Menge entsprechend neu an, so dass $Q^{*} = \langle (0,g1)\rangle$ entsteht


$\displaystyle Cpu$ $\textstyle :$ $\displaystyle Q^{*} \times CRES \longmapsto X$ (2.51)

  1. Nimm aus $Q^{*} = \langle (0,g1)\rangle$ das Element mit der höchsten Prioriät und nimm das Elementarkommando $c_{1}$, auf das der Brk-Zeiger zeigt
  2. Erhöhe $Brk+1 \Rightarrow Brk=1$
  3. Führe $c_{1}$ aus
  4. Falls cmd(1) == END dann gibt resp($g_{1}$) aus

Beginne die Schleife von vorne.

Gerd Doeben-Henisch 2013-01-16