On Jan 23, 2008 12:19 PM, Konstantin Serebryany <
[EMAIL PROTECTED]> 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
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
Valgrind-developers mailing list
Valgrind-developers@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-developers
