|
From: Godmar B. <go...@gm...> - 2012-10-01 16:04:07
|
The subject really says it all - I noticed that Helgrind originally used a hybrid happens-before/lockset scheme, up to around 3.3 - then Helgrind was broken for some time, and the current version appears to be a pure happens-before checker. I'm curious to know which experience/reasons led to this decision. I searched the developer mailing list archives for 'lockset', but wasn't able to pinpoint anything. If anyone could provide a pointer, or summarize the key reasons for this decision, I'd be very grateful. - Godmar |