Parallel Programming ( J ) CSP
Übersicht 1. Nachbesprechung Übung 6 2. Nachbesprechung Übung 7 3. Vorbesprechung Übung 8
1. NACHBESPRECHUNG ÜBUNG 6 Proofs
Labels für Thread A public void run() { while (true) { A1: // non-critical section A2: turn0.request(); A3: while (true) { if (turn1.read() == 1) break; A4: turn0.free(); A5: turn0.request(); } A6: // critical section A7: turn0.free(); }
public void run() { while (true) { A1: // non-critical section A2: turn0.request(); A3: while (true) { if (turn1.read() == 1) break; A4: turn0.free(); A5: turn0.request(); } A6: // critical section A7: turn0.free(); } public void run() { while (true) { B1: // non-critical section B2: turn1.request(); B3: while (true) { if (turn0.read() == 1) break; B4: turn1.free(); B5: turn1.request(); } B6: // critical section B7: turn1.free(); } turn0 wird ausschliesslich von Thread A gesetzt. Jeweils entweder turn0.flag == 0 weil gerade so gesetzt oder turn0.flag == 0 dank Induktionshypothese ( weil nicht geändert )
2. NACHBESPRECHUNG ÜBUNG 7 ReaderWriterLock
Eclipse und so …
3. VORBESPRECHUNG ÜBUNG 8 JCSP
Communicating Sequential Processes Broken Sensor Console Printer Irregular Signal Timed Polling req out res in reg out
Communicating Sequential Processes Broken Sensor Console Printer Timed Polling req out res in reg out Repeater assign in pulse in out
Nochmal Eclipse …
Dining Philosophers Locking mit JCSP implementieren Monitor ReaderWriterLock Semaphore Vorsicht Deadlocks !
Mergesort II: Revenge of JCSP Nein, das wird nur in der Theorie effizient sein ^^ Arrays sind Privatsache ; werden als Elementweise in einzelnen Nachrichten von Prozess zu Prozess geschickt Länge des Arrays muss signalisiert werden : 1. Nachricht enthält Länge Spezielle Ende - des - Array - Nachricht 2. Kanal für Kontrollnachrichten ( via select )
FRAGEN?