Präsentation herunterladen
Die Präsentation wird geladen. Bitte warten
1
Parallel Programming Linearizability http://n.ethz.ch/~klauserc/FS10/PP/
2
Übersicht 1. Nachbesprechung der Übung 10 2. Histories etc.
3
1. NACHBESPRECHUNG ÜBUNG 10
4
2. HISTORIES ETC.
5
Übungsbeispiel f.flag = 0;//Initialisierung while(f.flag < 1) {//Thread 1 f.flag++; } while(f.flag >= 0) {//Thread 2 f.flag--; } Ist die Sequenz -1 0 1 möglich ?
6
Übungsbeispiel f.flag = 0;//Initialisierung while(f.flag < 1) {//Thread 1 int t = f.flag; f.flag = t+1; } while(f.flag >= 0) {//Thread 2 int t = f.flag; f.flag = t-1; } Ist die Sequenz -1 0 1 möglich ? ( bezüglich )
7
FRAGEN?
Ähnliche Präsentationen
