ftmemsim-valgrind

Added a section about interpreting data race reports.

2008-03-31 19:20:36 +00:00

Added command-line option --check-stack-var. Reporting data races on stack variables is now disabled by default.

2008-04-05 12:57:01 +00:00

drd_barrier.c

Added reference counting to segments. Synchronization objects (mutex, semaphore, barrier, rwlock) now keep a pointer to a segment instead of copying a vector clock for modeling causal relationships.

2008-03-17 18:32:39 +00:00

drd_barrier.h

Added support for OpenMP barriers -- if libgomp.so has been built with debug information. More in general, added support for nested synchronization constructs.

2008-03-11 20:10:21 +00:00

drd_bitmap.c

Added bm_get_bitmap2_node_creation_count().

2008-04-06 13:05:58 +00:00

drd_bitmap.h

Added bm_get_bitmap2_node_creation_count().

2008-04-06 13:05:58 +00:00

drd_clientobj.c

Improved scalability in case of many synchronization objects.

2008-03-30 16:55:40 +00:00

drd_clientobj.h

Added reference counting to segments. Synchronization objects (mutex, semaphore, barrier, rwlock) now keep a pointer to a segment instead of copying a vector clock for modeling causal relationships.

2008-03-17 18:32:39 +00:00

drd_clientreq.c

Suppressed reports about data races during thread creation.

2008-04-04 19:10:21 +00:00

drd_clientreq.h

Suppressed reports about data races during thread creation.

2008-04-04 19:10:21 +00:00

drd_cond.c

Modified mutex and condtion variable tracing output slightly.

2008-03-30 13:28:33 +00:00

drd_cond.h

Added support for OpenMP barriers -- if libgomp.so has been built with debug information. More in general, added support for nested synchronization constructs.

2008-03-11 20:10:21 +00:00

drd_error.c

Added tl_assert() statement on result of VG_(malloc)() calls.

2008-04-01 18:38:29 +00:00

drd_error.h

Reorganized error printing code slightly.

2008-03-23 07:54:02 +00:00

drd_gomp_intercepts.c

Cosmetic change.

2008-03-12 17:19:48 +00:00

drd_main.c

Renamed command-line option --trace-address into --trace-addr. Made bitmap statistics more detailed.

2008-04-06 13:06:36 +00:00

drd_malloc_wrappers.c

Fixed assert when delete[]-ing an array of size zero.

2008-03-22 17:35:28 +00:00

drd_malloc_wrappers.h

DRD updates (Bart Van Assche):

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

drd_mutex.c

Modified mutex and condtion variable tracing output slightly.

2008-03-30 13:28:33 +00:00

drd_mutex.h

Modified mutex and condtion variable tracing output slightly.

2008-03-30 13:28:33 +00:00

drd_pthread_intercepts.c

Data races on *stdout / *stderr are now suppressed via these objects itselves instead of via suppression patterns.

2008-04-06 07:51:24 +00:00

drd_rwlock.c

Added reference counting to segments. Synchronization objects (mutex, semaphore, barrier, rwlock) now keep a pointer to a segment instead of copying a vector clock for modeling causal relationships.

2008-03-17 18:32:39 +00:00

drd_rwlock.h

Added support for OpenMP barriers -- if libgomp.so has been built with debug information. More in general, added support for nested synchronization constructs.

2008-03-11 20:10:21 +00:00

drd_segment.c

Trace lines enabled by --trace-segment=yes now include the thread ID of the created thread instead of the creator thread.

2008-04-06 13:07:45 +00:00

drd_segment.h

Implemented segment merging.

2008-03-22 09:38:48 +00:00

drd_semaphore.c

Modified mutex and condtion variable tracing output slightly.

2008-03-30 13:28:33 +00:00

drd_semaphore.h

Added support for OpenMP barriers -- if libgomp.so has been built with debug information. More in general, added support for nested synchronization constructs.

2008-03-11 20:10:21 +00:00

drd_suppression.c

Split bm_has_any() into bm_has_any_load() and bm_has_any_store().

2008-03-30 18:41:07 +00:00

drd_suppression.h

Removed --trace-mem which traced all memory accesses. Added support for multiple --trace-address options. A range size can now be specified to the VG_USERREQ__DRD_START_TRACE_ADDR client request. Added VG_USERREQ__DRD_STOP_TRACE_ADDR client request.

2008-03-29 14:42:59 +00:00

drd_thread.c

Commented out the too frequently called tl_assert() statements.

2008-04-05 12:53:00 +00:00

drd_thread.h

Comment-only fix.

2008-03-29 13:13:33 +00:00

drd_track.h

Removed --trace-mem which traced all memory accesses. Added support for multiple --trace-address options. A range size can now be specified to the VG_USERREQ__DRD_START_TRACE_ADDR client request. Added VG_USERREQ__DRD_STOP_TRACE_ADDR client request.

2008-03-29 14:42:59 +00:00

drd_vc.c

Simplified format in which a vector clock is printed.

2008-04-06 13:03:49 +00:00

drd_vc.h

Added vc_assign() function.

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

Makefile.am

Added compiler flag -DCHECK_FORMAT_STRINGS.

2008-03-17 18:37:34 +00:00

priv_drd_clientreq.h

DRD updates (Bart Van Assche):

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

pub_drd_bitmap.h

Added bm_get_bitmap2_node_creation_count().

2008-04-06 13:05:58 +00:00

Testing.txt

Updated test plan.

2008-04-01 16:55:51 +00:00

TODO.txt

Updated to do list.

2008-04-01 16:55:33 +00:00