FATES
2006
Springer
14 years 3 months ago
2006
Springer
We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-before relation and thereby detecting data-races at runtime. Dynamic race detection algori...