28.03.2017 Scheduling von Prozess-Netzwerken Axel Sanwald CES - Chair for Embedded Systems Department of Computer Science University of.

Präsentation zum Thema: "28.03.2017 Scheduling von Prozess-Netzwerken Axel Sanwald CES - Chair for Embedded Systems Department of Computer Science University of."—  Präsentation transkript:

1 Scheduling von Prozess-Netzwerken Axel Sanwald CES - Chair for Embedded Systems Department of Computer Science University of Karlsruhe Description must be written here for your seminar.

2 Übersicht Was sind Prozess-Netzwerke? Wo kann man sie verwenden?
Übersicht Was sind Prozess-Netzwerke? Wo kann man sie verwenden? Grenzen/mögliche Probleme/Gefahren Gewünschte Eigenschaften eines Schedulers Statisches Scheduling Dynamisches Scheduling Zusammenfassung Was sind PNs - Definition Einsatzbeispiele Grenzen bzw. mögliche Probleme oder Gefahren Scheduler können hier evtl. helfen  Eigenschaften Statisches & dynamisches Scheduling Zusammenfassung

3 Was sind Kahn-Prozess-Netzwerke?
Was sind Kahn-Prozess-Netzwerke? Modell für paralleles Rechnen, bestehend aus Prozessen und Kanälen Kanal: einziger Kommunikationsweg – gerichtet, asynchron, FIFO Prozess: Teilprogramm, dass parallel ausführbar ist Semantik: Ausgangskanäle jederzeit beschreibbar, Lesen blockiert bei leerem Eingangskanal Terminierung: alle Prozesse warten auf leeren Eingangskanal Darstellung kann als Graph erfolgen, hier ein Beispiel: Es handelt sich um ein Modell aus Prozessen, Kanälen Kanal – einziger Kommunikationsweg Prozess – Teilprogramm Semantik – was ist blockierend, was nicht Terminierung – wann terminiert ein programm Darstellung als Graph, Skizze erklären Kanal Nachricht= Token Prozess

4 Einsatzmöglichkeiten
Einsatzmöglichkeiten Einige Beispiele: IPC oder RPC in µKernel- Betriebssystemen µKernel Console Network Memory Datenströme in eingebetteten Systemen Elementar- sensor Auf- bereitung Vor- verarbeitung Auswertung physikalische Größen ...5,7,13... ...2*5;8*1;... ...Hund;Auto;... Beispiele IPC im Kernel Modellierung von Netzwerken Konstruktion von Embedded Systems am Beispiel eines intelligenten Sensors Netzwerkverkehr in z.B. LAN, WAN oder peer-to-peer Netzen

5 Die Kehrseite des Kahn-Netzwerk-Modells
Die Kehrseite des Kahn-Netzwerk-Modells Es kann immer nur von einem bestimmten Kanal gelesen werden!  z.B. select-syscall nicht modellierbar Programmablauf muss nicht deterministisch sein  unvorhersagbares Zeitverhalten einer Applikation Durch unbestimmten Programmablauf oder durch das Programm selbst ist  unendlicher Speicherbedarf möglich readFrom( any,...); NO! NO! Kein select-syscall möglich Kein Determinismus!  unvorhersagbares Zeitverhalten einer App Unendlicher Speicherbedarf möglich  siehe Skizze P2 P3 P1 P4

6 Gewünschte Eigenschaften eines Schedulers
Gewünschte Eigenschaften eines Schedulers Ein Scheduler sollte die komplette Ausführung eines Kahn-Prozess-Netzwerkes der partiellen bevorzugen. Soll z.B. ein Programm niemals terminieren, dann darf es vom Scheduler auch nicht eingeschränkt werden. Ein Scheduler sollte, sofern möglich die Prozesse eines Netzwerks in einer Reihenfolge ausführen, so daß sich stets nur eine beschränkte Menge an Tokens auf jedem Kanal befinden. Im Konfliktfall ist 1. zu bevorzugen. Unterschied komplett und partiell Erklären Wie erkennen: Prozesse sind durch ein Write blockiert Ausführungsreihenfolge so das Beschränktheit Konfliktfall  bei unbounded Nets

7 Statisches Scheduling
Statisches Scheduling Nur auf Synchrone-Datenfluß-Netzwerke, Spezialfall von Kahn- Prozess-Netzwerken, anwendbar: Topologiematrix Gamma aufstellen Lösung für Balancegleichung finden Anfangswertproblem lösen Ziel: Finden einer Ausführungsreihenfolge Wunscheigenschaften P1 P2 K1 1 1 1 K2 1 1 1 2 P3 1 P2 Erklären, was Synchrone-Datenfluß-Netzwerke sind Topologie Matrix Zeigen und Erklären Sagen, daß Balancegleichung positiv und nicht trivial sein darf! Ziel: das Finden einer Ausführungsreihenfolge 1 P1 1 3 P4 3 Mögliche Ausführungsreihenfolge: 1, 2, 1, 2, 1, 2, 3, 3, 3, 4

8 Dynamisches Scheduling I
Dynamisches Scheduling I Ziel: Unzulänglichkeiten von statischem Scheduling umgehen Ein einfaches Daten gesteuertes Scheduling Verfahren: Suche alle Prozesse im Zustand bereit Starte alle gefundenen Prozesse Warte bis alle gestarteten Prozesse blockiert sind Springe zu 1. Wunscheigenschaften 1 2 Anwendung auf allgemeine Prozess Netzwerke Scheduling ist Datengesteuert Es erfüllt die komplette Ausführung – Wunsch 1

9 Dynamisches Scheduling II
Dynamisches Scheduling II Zweites Ziel erfordert Semantik-Änderung des Netzwerks: Neu: beschränkte Kanäle und blockierendes Schreiben Allerdings können ‘künstliche Verklemmungen‘ entstehen! Folgender Algorithmus löst das Problem: Initialisiere alle Kanäle mit einer Startkapazität Führe Programm mit vorherigem Scheduler aus Bei Stop: prüfe ob es durch ein Write blockierte Prozesse gibt Ja: erhöhe Kanalkapazitäten aller blockierten Kanäle und springe zu 2. Nein: Terminiere Wunscheigenschaften 1 2 Lösung des unbounded Problems durch Netztransformation bzw. Semantikänderung Künstliche Deadlocks erklären 2x Möglichkeiten: entweder Semantikänderung (Beschränkte Kanäle und blockierendes Write) ODER Feedback Kanäle Erkläre Skizze: warum deadlock? k=1 1 2 P1 P2 k=1

10 Bereit Verklemmt Blockiert
Beispiel Kanalkapazitäten entsprechend Initialzustand setzen, Scheduler starten k=0 1 1 P2 P3 1 1 1 1 k=0 k=1 k=0 k=3 Beispielskizze erklären Farben erklären 1 P1 1 3 P4 3 Prozess Bereit Verklemmt Blockiert

11 Bereit Verklemmt Blockiert
Beispiel Kanalkapazitäten entsprechend Initialzustand setzen, Scheduler starten Prozesse finden Deadlock bei Kanal 1 beheben k=0 1 1 P2 P3 1 1 1 1 k=0 k=1 k=0 k=3 Initialer Zustand 1 P1 1 3 P4 3 Prozess Bereit Verklemmt Blockiert

12 Bereit Verklemmt Blockiert
Beispiel Kanalkapazitäten entsprechend Initialzustand setzen, Scheduler starten Prozesse finden Deadlock bei Kanal 1 beheben Deadlock bei Kanal 3 beheben k=0 1 1 P2 P3 1 1 1 1 k=1 k=1 k=0 k=3 Kapazität Kanal 1 wurde erhöht Netz läuft eine Weile Kapazitätsproblem am Kanal 3 1 P1 1 3 P4 3 Prozess Bereit Verklemmt Blockiert

13 Bereit Verklemmt Blockiert
Beispiel Kanalkapazitäten entsprechend Initialzustand setzen, Scheduler starten Prozesse finden Deadlock bei Kanal 1 beheben Deadlock bei Kanal 3 beheben k=1 1 1 P2 P3 1 1 1 1 k=1 k=1 k=0 k=3 1 P1 1 3 P4 3 Prozess Bereit Verklemmt Blockiert

14 Bereit Verklemmt Blockiert
Beispiel Kanalkapazitäten entsprechend Initialzustand setzen, Scheduler starten Prozesse finden Deadlock bei Kanal 1 beheben Deadlock bei Kanal 3 beheben Deadlocks bei Kanälen 3,4 beheben k=1 1 1 P2 P3 1 1 1 1 k=1 k=1 k=0 k=3 1 P1 1 3 P4 3 Prozess Bereit Verklemmt Blockiert

15 Bereit Verklemmt Blockiert
Beispiel Kanalkapazitäten entsprechend Initialzustand setzen, Scheduler starten Prozesse finden Deadlock bei Kanal 1 beheben Deadlock bei Kanal 3 beheben Deadlocks bei Kanälen 3,4 beheben k=2 1 1 P2 P3 1 1 1 1 k=1 k=1 k=1 k=3 1 P1 1 3 P4 3 Prozess Bereit Verklemmt Blockiert

16 Bereit Verklemmt Blockiert
Beispiel Kanalkapazitäten entsprechend Initialzustand setzen, Scheduler starten Prozesse finden Deadlock bei Kanal 1 beheben Deadlock bei Kanal 3 beheben Deadlocks bei Kanälen 3,4 beheben k=2 1 1 P2 P3 1 1 1 1 k=1 k=1 k=1 k=3 1 P1 1 3 P4 3 Prozess Bereit Verklemmt Blockiert

17 Bereit Verklemmt Blockiert
Beispiel Kanalkapazitäten entsprechend Initialzustand setzen, Scheduler starten Prozesse finden Deadlock bei Kanal 1 beheben Deadlock bei Kanal 3 beheben Deadlocks bei Kanälen 3,4 beheben k=3 1 1 P2 P3 1 1 1 1 k=1 k=1 k=2 k=3 1 P1 1 3 P4 3 Prozess Bereit Verklemmt Blockiert

18 Bereit Verklemmt Blockiert
Beispiel Scheduler starten Prozesse finden Deadlock bei Kanal 1 beheben Deadlock bei Kanal 3 beheben Deadlocks bei Kanälen 3,4 beheben k=3 1 1 P2 P3 1 1 1 1 k=1 k=1 k=2 k=3 1 P1 1 3 P4 3 Prozess Bereit Verklemmt Blockiert

19 Bereit Verklemmt Blockiert
Beispiel Prozesse finden Deadlock bei Kanal 1 beheben Scheduler starten Deadlock bei Kanal 3 beheben Deadlocks bei Kanälen 3,4 beheben k=4 1 1 P2 P3 1 1 1 1 k=1 k=1 k=3 k=3 1 P1 1 3 P4 3 Prozess Bereit Verklemmt Blockiert

20 Bewertung des Verfahrens
Bewertung des Verfahrens Verfahren findet bei beschränkten Programmen eine Ausführungsreihenfolge, die mit beschränktem Speicher auskommt Andere Scheduler, die bereits Eigenschaft 1 erfüllen, sind kompatibel Reagiert im Konfliktfall wie gewünscht Möglicherweise große Anzahl an Stops Parallelität wird durch beschränkte Kanäle behindert Anmerken: alle Scheduler, die Eigenschaft 1 erfüllen sind kompatibel Solange das Programm bounded ist, wird Pfad gefunden ABER: viele Stops  schlechte Parallelität

21 Zusammenfassung Ein Kahn-Prozess-Netzwerk ist einfaches aber mächtiges und vielseitig verwendbares Modell Allerdings kann es programmtechnisch oder durch ungeschicktes Scheduling zu unbeschränktem Hauptspeicherbedarf kommen Im Spezialfall synchroner-Datenfluß-Netzwerke können offline bzw. statische Scheduling-Verfahren verwendet werden Für den allgemeinen Fall ist es mittels einer Netztransformation und eines geeigneten Schedulers möglich ein beschränktes Programm mit endlichem Speicher auszuführen. Mächtiges Modell Unbeschränkter Hauptspeicherbedarf möglich Statische Scheduling verfahren sind nur eingeschränkt anwendbar Ansonsten Netztransformation oder Semantikänderung nötig.

22 Fragen ? Für Aufmerksamkeit bedankten (Weitere) Fragen?

23

24

25 Beschreibung Synchrone-Datenfluß-Netzwerke 1
Synchronous data flow (SDF) differs from traditional data flow in that the amount of data produced and consumed by a data flow node is specified a priori for each input and output. This is equivalent to specifying the relative sample rates in signal processing system. This means that the scheduling of SDF nodes need not be done at runtime, but can be done at compile time (statically), so the runtime overhead evaporates. (Quelle:

26 Beschreibung Synchrone-Datenfluß-Netzwerke II
A synchronous dataflow actor can consume a fixed positive number of tokens from each input channel and produces a fixed positive number of tokens at each output channel. Let the state of the graph be represented by the sequence consisting of the number of tokens present on each channel. Then the state transition graph of the network would have transitions between the states represented by the firings of the actors. We want a finite sequence of firings, called a finite complete cycle, which leaves the network in the same state. This sequence can be repeated forever and hence the graph can be executed in bounded memory. The are a number of advantages of this. Scheduling can be done statically. The buffer sizes for the channels can be computed in advance. Deadlocks can be detected. (Quelle: