Parallel Programming Linearizability
Übersicht 1. Nachbesprechung der Übung Histories etc.
1. NACHBESPRECHUNG ÜBUNG 10
2. HISTORIES ETC.
Übungsbeispiel f.flag = 0;//Initialisierung while(f.flag < 1) {//Thread 1 f.flag++; } while(f.flag >= 0) {//Thread 2 f.flag--; } Ist die Sequenz möglich ?
Ü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 möglich ? ( bezüglich )
FRAGEN?