Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav07_lecture_26 [2007/07/02 01:37] feride.cetin |
sav07_lecture_26 [2007/07/02 23:33] feride.cetin |
||
---|---|---|---|
Line 154: | Line 154: | ||
* have significantly more overhead | * have significantly more overhead | ||
2. Locksets | 2. Locksets | ||
- | * imprecise | + | * imprecise -> may generate false race warnings |
+ | * efficient | ||
+ | |||
+ | * **Goldilocks:** | ||
+ | - precise | ||
+ | - efficient (purely lockset based) | ||
+ | |||
+ | * **Happens-before relation:** Data race occurs between two accesses to a shared variable if they are not ordered by the happens-before relation. | ||
+ | |||