|
From: Konstantin S. <kon...@gm...> - 2008-01-24 16:07:22
|
On Jan 23, 2008 12:19 PM, Konstantin Serebryany < kon...@gm...> wrote: > Hi, > > I've described the proposed memory state machine at > http://code.google.com/p/data-race-test/wiki/MSMProp1 . > It has some false positives but imho better than the current one. > I will try to implement it in helgrind and see if it really works. > I've made first (quick-and-dirty) implementation. The machine works as expected, at least on my set of tests. Details on wiki. To be continued... --kcc |