|
From: Nicholas N. <nj...@cs...> - 2007-10-08 00:01:16
|
On Fri, 5 Oct 2007, Robert Walsh wrote: >> I'm in favor of this proposal, and would appreciate it if drd could be >> added as an experimental tool. Since the drd and thrcheck tools use >> different algorithms for detecting data races, it can be interesting to >> compare the output of the two tools and their performance. Yes, DRD is an obvious candidate for inclusion. Can you remind me -- does it work with the current core? If not, how big are the changes you'd need? > Might this be a suitable location for omega, too? Assuming someone is OK > with maintaining it enough to keep it compiling at least? If someone volunteered to be a maintainer, it would be suitable, IMO. Without a maintainer, I'm less keen because simple keep-it-compiling-only maintenance doesn't work that well in practice, as we saw with Helgrind. Nick |