> Is it possible for the DRD/Helgrind tools to detect this sort of > double-write access behaviour?
Both of them should be able to detect a write-vs-write race, if that's what you mean. > Could I instrument QEMU so it marked the > codegen buffer as one that should only grow upwards (modulo-patchable > bits) so if anything re-wrote the buffer it could trigger an error? This is confusing. Both tools are able to detect races at a byte level granularity. If you can show that QEMU doesn't race on individual writes to its code buffer, isn't that good enough from a correctness perspective? J ------------------------------------------------------------------------------ Is your legacy SCM system holding you back? Join Perforce May 7 to find out: • 3 signs your SCM is hindering your productivity • Requirements for releasing software faster • Expert tips and advice for migrating your SCM now http://p.sf.net/sfu/perforce _______________________________________________ Valgrind-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/valgrind-users
