|
From: Nicholas N. <nj...@cs...> - 2006-08-12 10:02:32
|
On Sat, 12 Aug 2006, Bart Van Assche wrote: > Yes, the algorithm used in DRD recognizes user-built synchronization > constructs (as long as these are implemented via POSIX thread > synchronization function calls). And it doesn't report false positives -- > another known problem of the Eraser algorithm. Nice. So what's the status of DRD? Nick |