Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
sav07_lecture_26 [2007/07/02 23:33] feride.cetin |
sav07_lecture_26 [2007/07/03 00:06] feride.cetin |
||
|---|---|---|---|
| Line 163: | Line 163: | ||
| * **Happens-before relation:** Data race occurs between two accesses to a shared variable if they are not ordered by the happens-before relation. | * **Happens-before relation:** Data race occurs between two accesses to a shared variable if they are not ordered by the happens-before relation. | ||
| + | * A concurrent execution δ is represented by a finite sequence | ||
| - | + | {{sav1.jpg|Figure 4}} | |
| + | - t<sub>i</sub> is a thread | ||
| + | - s<sub>i</sub> is a program state | ||
| + | - α<sub>i</sub> is one of the following actions: acq(), rel (), read(), write(), fork (), join(), and alloc() | ||
| == References == | == References == | ||