ftmemsim-valgrind

docs

Added information about OpenMP.

2008-03-10 20:05:57 +00:00

tests

Depending on the fourth command line argument, a racy or non-racy run is started.

2008-03-11 20:06:04 +00:00

drd_barrier.c

Fixed false positives reported after the second last pthread_barrier_wait() call in a thread.

2008-03-09 08:48:01 +00:00

drd_barrier.h

Added command-line option --trace-clientobj. Renamed drd_clientobj* functions into clientobj*. Moved some code from drd_main.c into the drd_mutex.c/drd_cond.c/drd_semaphore.c.

2008-03-01 13:44:24 +00:00

drd_bitmap.c

Cleanup: removed commented out code.

2008-02-24 18:28:19 +00:00

drd_bitmap.h

DRD updates (Bart Van Assche):

2008-01-14 11:54:56 +00:00

drd_clientobj.c

Added command-line option --trace-clientobj. Renamed drd_clientobj* functions into clientobj*. Moved some code from drd_main.c into the drd_mutex.c/drd_cond.c/drd_semaphore.c.

2008-03-01 13:44:24 +00:00

drd_clientobj.h

Fixed false positives reported after the second last pthread_barrier_wait() call in a thread.

2008-03-09 08:48:01 +00:00

drd_clientreq.c

Added new command-line option --trace-rwlock. Added regression test exp-drd/tests/rwlock_race. Updated to do list. Fixed bug in vc_min(), the function that computes the elementwise minimum of two vector clocks. Fixed bug in thread_update_danger_set(). Fixed recently introduced bug in mutex code with regard to vector clock combining.

2008-03-03 20:31:58 +00:00

drd_clientreq.h

Added new command-line option --trace-rwlock. Added regression test exp-drd/tests/rwlock_race. Updated to do list. Fixed bug in vc_min(), the function that computes the elementwise minimum of two vector clocks. Fixed bug in thread_update_danger_set(). Fixed recently introduced bug in mutex code with regard to vector clock combining.

2008-03-03 20:31:58 +00:00

drd_cond.c

Converted double mutex error messages into single error messages.

2008-03-01 15:27:41 +00:00

drd_cond.h

Added command-line option --trace-clientobj. Renamed drd_clientobj* functions into clientobj*. Moved some code from drd_main.c into the drd_mutex.c/drd_cond.c/drd_semaphore.c.

2008-03-01 13:44:24 +00:00

drd_error.c

Fixed typo.

2008-03-09 13:39:58 +00:00

drd_error.h

Switched to VG_(get_data_description)() for descriptions of addresses in error reports.

2008-03-07 18:52:38 +00:00

drd_main.c

Removed duplicate code.

2008-03-10 18:35:03 +00:00

drd_malloc_wrappers.c

Added command-line option --trace-clientobj. Renamed drd_clientobj* functions into clientobj*. Moved some code from drd_main.c into the drd_mutex.c/drd_cond.c/drd_semaphore.c.

2008-03-01 13:44:24 +00:00

drd_malloc_wrappers.h

DRD updates (Bart Van Assche):

2008-01-14 11:54:56 +00:00

drd_mutex.c

Added new command-line option --trace-rwlock. Added regression test exp-drd/tests/rwlock_race. Updated to do list. Fixed bug in vc_min(), the function that computes the elementwise minimum of two vector clocks. Fixed bug in thread_update_danger_set(). Fixed recently introduced bug in mutex code with regard to vector clock combining.

2008-03-03 20:31:58 +00:00

drd_mutex.h

Added support for POSIX reader-writer locks. Modified exp-drd/tests/filter-stderr such that i386 and AMD64 now generate the same output. Removed *.stderr.exp2 files. Added section that explains differences between LinuxThreads and NPTL to exp-drd/docs/README.txt. Made error message about LinuxThreads more clear. Made error messages more uniform.

2008-03-02 17:43:18 +00:00

drd_pthread_intercepts.c

Renamed drd_intercepts.c into drd_pthread_intercepts.c.

2008-03-11 18:29:35 +00:00

drd_rwlock.c

Added new command-line option --trace-rwlock. Added regression test exp-drd/tests/rwlock_race. Updated to do list. Fixed bug in vc_min(), the function that computes the elementwise minimum of two vector clocks. Fixed bug in thread_update_danger_set(). Fixed recently introduced bug in mutex code with regard to vector clock combining.

2008-03-03 20:31:58 +00:00

drd_rwlock.h

Added support for POSIX reader-writer locks. Modified exp-drd/tests/filter-stderr such that i386 and AMD64 now generate the same output. Removed *.stderr.exp2 files. Added section that explains differences between LinuxThreads and NPTL to exp-drd/docs/README.txt. Made error message about LinuxThreads more clear. Made error messages more uniform.

2008-03-02 17:43:18 +00:00

drd_segment.c

Converted type of trace messages from Vg_DebugMsg to Vg_UserMsg.

2008-02-29 19:17:28 +00:00

drd_segment.h

Cleanup: moved const keyword in front of datatype.

2008-02-24 18:29:10 +00:00

drd_semaphore.c

Added command-line option --trace-clientobj. Renamed drd_clientobj* functions into clientobj*. Moved some code from drd_main.c into the drd_mutex.c/drd_cond.c/drd_semaphore.c.

2008-03-01 13:44:24 +00:00

drd_semaphore.h

Added command-line option --trace-clientobj. Renamed drd_clientobj* functions into clientobj*. Moved some code from drd_main.c into the drd_mutex.c/drd_cond.c/drd_semaphore.c.

2008-03-01 13:44:24 +00:00

drd_suppression.c

Bug fix: "mutex reinitialization" error message is no longer printed for the tc09_bad_unlock test.

2008-02-29 11:00:17 +00:00

drd_suppression.h

Add DRD as an experimental tool. Bart Van Assche is the maintainer.

2007-11-25 14:01:38 +00:00

drd_thread.c

Removed too restrictive assert.

2008-03-10 18:37:22 +00:00

drd_thread.h

Eliminated per-thread start/stop recording mechanism, which should make DRD a little bit faster. malloc()/free() is now intercepted on all platforms instead of just on i386.

2008-03-01 10:49:37 +00:00

drd_track.h

Added new command-line option --trace-rwlock. Added regression test exp-drd/tests/rwlock_race. Updated to do list. Fixed bug in vc_min(), the function that computes the elementwise minimum of two vector clocks. Fixed bug in thread_update_danger_set(). Fixed recently introduced bug in mutex code with regard to vector clock combining.

2008-03-03 20:31:58 +00:00

drd_vc.c

Cleaned up vc_min() and vc_combine() implementations.

2008-03-06 18:02:37 +00:00

drd_vc.h

Added vc_assign() function.

2008-02-24 18:26:46 +00:00

Makefile.am

Renamed drd_intercepts.c into drd_pthread_intercepts.c.

2008-03-11 18:29:35 +00:00

priv_drd_clientreq.h

DRD updates (Bart Van Assche):

2008-01-14 11:54:56 +00:00

pub_drd_bitmap.h

DRD updates (Bart Van Assche):

2008-01-14 11:54:56 +00:00

TODO.txt

Updated to do list.

2008-03-10 20:05:07 +00:00