|
From: Nicholas N. <nj...@cs...> - 2006-08-12 13:02:10
|
On Sat, 12 Aug 2006, Bart Van Assche wrote: >> Nice. So what's the status of DRD? > > What already works: > - support algorithms and data structures for the DIOTA algorithm: vector > clocks, bitmaps for recording read and write accesses during execution, > segments, keeping track of thread and mutex state information. > - data-race detection for so-called fork-join parallelism (pthread_create() > / pthread_join()). > - support for pthread mutexes. > - works already for toy examples (two threads / less than hundred mutex lock > and unlock operations). > > What is still missing (in order of importance): > - keeping track of all dynamically allocated memory. > - better error reporting for stack and heap variables. > - pthread condition variable state tracking and proper support for pthread > condition variables. > - testing with more complex multithreaded test programs. > - 64-bit support / testing on PPC (current implementation is only tested on > x86 yet). > - unit tests. > - documentation. Sounds good. There has a been a small but steady flow of comments from people who want Helgrind back -- they liked it even though it gave a lot of false positives. So if you can get this working well I think it will be well received. Nick |