6 Commits

Author SHA1 Message Date
Bart Van Assche
fd57d8b1f8 Implemented segment merging.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7750
2008-03-22 09:38:48 +00:00
Bart Van Assche
4bc9d8c635 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.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7727
2008-03-17 18:32:39 +00:00
Bart Van Assche
6966bc8a44 Renamed functions for querying segment creation counters. Added the function sg_get_alive_segments_count(). Removed sg_init() and sg_cleanup() from the public segment interface.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7726
2008-03-17 17:37:53 +00:00
Bart Van Assche
706322759c Cleanup: moved const keyword in front of datatype.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7446
2008-02-24 18:29:10 +00:00
Julian Seward
22b3fe2a3e DRD updates (Bart Van Assche):
- Updated copyright statement: replaced 2006-2007 by 2006-2008.
- Added copyright statement in the files where it was missing
(drd_track.h and drd_clientreq.c)
- Eliminated dependencies on core header files -- there are no more
#include "pub_core....h" directives in the exp-drd source code.
- Added semaphore support.
- Added barrier support.
- Added pthread_mutex_timedlock() support.
- Stack depth of stack traces printed by exp-drd can now be set via
--num-callers=...
- Added command-line option --trace-barrier=[yes|no].
- Added regression test for pthread_barrier() (matinv, a program that
performs matrix inversion).
- Added regression test sem_as_mutex, which tests whether race
detection works correctly when a semaphore is used to ensure mutual
exclusion of critical sections.
- Some of helgrind's regression tests are now used to test both
helgrind and exp-drd: tc17_sembar and tc18_semabuse.
- Cleaned up bitmap implementation code now that the const keyword has
been added to the declarations of the OSet functions.
- Cleaned up exp-drd/Makefile.am
- Updated exp-drd/TODO.txt




git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7346
2008-01-14 11:54:56 +00:00
Julian Seward
dc1dbea937 Add DRD as an experimental tool. Bart Van Assche is the maintainer.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7211
2007-11-25 14:01:38 +00:00