bart | 14af596 | 2008-07-01 13:46:33 +0000 | [diff] [blame] | 1 | Last updated July 1, 2008. |
bart | 055c56b | 2008-02-17 18:13:00 +0000 | [diff] [blame] | 2 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
sewardj | af44c82 | 2007-11-25 14:01:38 +0000 | [diff] [blame] | 3 | |
| 4 | |
| 5 | Data-race detection algorithm |
| 6 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
bart | 9955415 | 2008-04-14 16:11:50 +0000 | [diff] [blame] | 7 | - Memory pool support. |
bart | 0e3a0be | 2008-07-03 16:23:17 +0000 | [diff] [blame] | 8 | - Find out why DRD reports an error on the POSIX implementation of libgomp.so. |
bart | aae367c | 2008-04-19 15:17:08 +0000 | [diff] [blame] | 9 | - Add locking order checking. Start from the following information: |
| 10 | * http://sourceforge.net/mailarchive/message.php?msg_id=alpine.LNX.1.10.0803270822080.17890%40mudge.stoecker.eu |
| 11 | * http://lwn.net/Articles/185605/ |
| 12 | * http://git.kernel.org/?p=linux/kernel/git/torvalds/linux-2.6.git;a=blob;f=Documentation/lockdep-design.txt;h=488773018152056ea159685e732e42452a7ae142;hb=HEAD |
bart | 906ef12 | 2008-05-25 18:11:32 +0000 | [diff] [blame] | 13 | - Make sure tc14_laog_dinphils is run during exp-drd regression tests |
| 14 | (only possible after locking order checking is implemented). |
bart | 0e3a0be | 2008-07-03 16:23:17 +0000 | [diff] [blame] | 15 | - Find out why no variable name information is printed for races |
| 16 | detected in parallel sections of OpenMP programs. An example: |
bart | 7b8e43b | 2008-03-16 10:57:02 +0000 | [diff] [blame] | 17 | ./vg-in-place --tool=exp-drd exp-drd/tests/omp_prime 4 -t 2 |
bart | 7f912c0 | 2008-07-07 08:45:55 +0000 | [diff] [blame^] | 18 | - Report races in glibc on stdout / stderr back to glibc maintainers. |
bart | 3bdf125 | 2008-03-23 14:32:21 +0000 | [diff] [blame] | 19 | |
sewardj | af44c82 | 2007-11-25 14:01:38 +0000 | [diff] [blame] | 20 | |
| 21 | Testing |
| 22 | ~~~~~~~ |
bart | e4da24f | 2008-06-17 14:19:04 +0000 | [diff] [blame] | 23 | - Measure the performance and the memory overhead of exp-drd on the PARSEC |
| 24 | benchmark (http://parsec.cs.princeton.edu/license.htm). |
| 25 | - Test with Synfig Studio (see also http://bugs.kde.org/show_bug.cgi?id=158555) |
| 26 | - Test with a multithreaded Python application. |
sewardj | af44c82 | 2007-11-25 14:01:38 +0000 | [diff] [blame] | 27 | |
| 28 | |
| 29 | Documentation |
| 30 | ~~~~~~~~~~~~~ |
bart | 7f912c0 | 2008-07-07 08:45:55 +0000 | [diff] [blame^] | 31 | - Add comment on double checked locking. |
| 32 | - Add comment on circular buffers. |
bart | fbccd7f | 2008-05-10 13:00:27 +0000 | [diff] [blame] | 33 | - Explain how to handle transactions (with regard to locking order). |
bart | 59bdc76 | 2008-05-15 11:45:08 +0000 | [diff] [blame] | 34 | - Continue the discussion on the Valgrind mailing list about docbook and |
| 35 | 'make dist'. See also http://bugs.kde.org/show_bug.cgi?id=162121. |