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 also attempted to document the current helgrind's state machine (
http://code.google.com/p/data-race-test/wiki/MSMHelgrind).
Comments are welcome :)
Regrading size of SVal: I will prefer 64-bit over 48 bit. These extra 16
bits will give us some room for experiments with 'heavy' state machines.
--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
