ftmemsim-valgrind

docs

Added a section about programming with threads, added an acknowledgements section and added more references.

2008-02-21 20:32:57 +00:00

tests

Fixed compiler warning.

2008-02-27 17:41:22 +00:00

drd_barrier.c

Fixed race conditions in client pthread_barrier_wait() intercept code.

2008-02-24 18:42:53 +00:00

drd_barrier.h

DRD updates (Bart Van Assche):

2008-01-14 11:54:56 +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_clientreq.c

An error message is now printed before attempting to lock a non-recursive mutex recursively.

2008-02-27 16:13:05 +00:00

drd_clientreq.h

Modified drd client requests such that the mutex type can be passed from the intercepts to the tool. An error message is now printed in case a locked mutex is destroyed and in case a thread exits while it holds a lock on a mutex. Changed format of mutex error messages. Added recursive_mutex regression test. Fixed autogen warnings in exp-drd/tests/Makefile.am.

2008-02-27 15:46:00 +00:00

drd_cond.c

DRD updates (Bart Van Assche):

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

drd_cond.h

DRD updates (Bart Van Assche):

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

drd_error.c

Modified drd client requests such that the mutex type can be passed from the intercepts to the tool. An error message is now printed in case a locked mutex is destroyed and in case a thread exits while it holds a lock on a mutex. Changed format of mutex error messages. Added recursive_mutex regression test. Fixed autogen warnings in exp-drd/tests/Makefile.am.

2008-02-27 15:46:00 +00:00

drd_error.h

Cleaned up generation of "Not a mutex" error messages.

2008-02-26 19:13:04 +00:00

drd_intercepts.c

Modified drd client requests such that the mutex type can be passed from the intercepts to the tool. An error message is now printed in case a locked mutex is destroyed and in case a thread exits while it holds a lock on a mutex. Changed format of mutex error messages. Added recursive_mutex regression test. Fixed autogen warnings in exp-drd/tests/Makefile.am.

2008-02-27 15:46:00 +00:00

drd_main.c

An error message is now printed before attempting to lock a non-recursive mutex recursively.

2008-02-27 16:13:05 +00:00

drd_malloc_wrappers.c

DRD updates (Bart Van Assche):

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

drd_malloc_wrappers.h

DRD updates (Bart Van Assche):

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

drd_mutex.c

An error message is now printed before attempting to lock a non-recursive mutex recursively.

2008-02-27 16:13:05 +00:00

drd_mutex.h

An error message is now printed before attempting to lock a non-recursive mutex recursively.

2008-02-27 16:13:05 +00:00

drd_segment.c

Added more debugging output.

2008-02-24 18:21:12 +00:00

drd_segment.h

Cleanup: moved const keyword in front of datatype.

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

drd_semaphore.c

Fixed a memory leak.

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

drd_semaphore.h

Regtest/stability changes for drd (Bart Van Assche)

2008-01-18 07:42:01 +00:00

drd_suppression.c

DRD updates (Bart Van Assche):

2008-01-14 11:54:56 +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

Corrected various comments. Removed commented out code. Added code for tracing thread context switches and danger set updating. Fixed memory leak. Danger set is now updated every time a new segment is created instead of only at every context switch, which fixes the bug that no data races were reported for the pth_barrier test program.

2008-02-24 18:37:08 +00:00

drd_thread.h

Corrected various comments. Removed commented out code. Added code for tracing thread context switches and danger set updating. Fixed memory leak. Danger set is now updated every time a new segment is created instead of only at every context switch, which fixes the bug that no data races were reported for the pth_barrier test program.

2008-02-24 18:37:08 +00:00

drd_track.h

Regtest/stability changes for drd (Bart Van Assche)

2008-01-18 07:42:01 +00:00

drd_vc.c

Added vc_assign() function.

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

drd_vc.h

Added vc_assign() function.

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

Makefile.am

DRD updates (Bart Van Assche):

2008-01-14 11:54:56 +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-02-26 16:07:41 +00:00