From 44078a7eabec5b2a51b3f8aac1f8c2efc17be9c3 Mon Sep 17 00:00:00 2001 From: Bart Van Assche Date: Thu, 3 Jul 2008 16:23:17 +0000 Subject: [PATCH] Updated to do list. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8344 --- exp-drd/TODO.txt | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/exp-drd/TODO.txt b/exp-drd/TODO.txt index f4a71be9db..70a443df72 100644 --- a/exp-drd/TODO.txt +++ b/exp-drd/TODO.txt @@ -4,19 +4,17 @@ Last updated July 1, 2008. Data-race detection algorithm ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -- Let DRD print a warning message when, after 30s runtime, the ratio of - the number of mutex lock / unlock calls to the number of executed basic - blocks exceeds a certain threshold. Test with Firefox and nautilus. - Propose to rename exp-drd back to drd. - Memory pool support. +- Find out why DRD reports an error on the POSIX implementation of libgomp.so. - Add locking order checking. Start from the following information: * http://sourceforge.net/mailarchive/message.php?msg_id=alpine.LNX.1.10.0803270822080.17890%40mudge.stoecker.eu * http://lwn.net/Articles/185605/ * http://git.kernel.org/?p=linux/kernel/git/torvalds/linux-2.6.git;a=blob;f=Documentation/lockdep-design.txt;h=488773018152056ea159685e732e42452a7ae142;hb=HEAD - Make sure tc14_laog_dinphils is run during exp-drd regression tests (only possible after locking order checking is implemented). -- Find out why no line number or variable name information is printed for - races detected in parallel sections of OpenMP programs. An example: +- Find out why no variable name information is printed for races + detected in parallel sections of OpenMP programs. An example: ./vg-in-place --tool=exp-drd exp-drd/tests/omp_prime 4 -t 2 -- 2.47.2