25 Commits

Author SHA1 Message Date
Bart Van Assche
9b2de38586 DRD: the help text does now indicate that lock contention detection is off by default / changed default value of the exclusive mutex threshold from 1000s to off. See also #255247.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11477
2010-10-25 18:18:54 +00:00
Bart Van Assche
ad86d78a6c E-mail address update.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11420
2010-10-10 18:07:31 +00:00
Julian Seward
9b0574dff8 Update copyright dates to 2010.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11121
2010-05-03 21:37:12 +00:00
Bart Van Assche
e5f5573f88 Changes:
- Generalized the behavior of happens-before / happens-after annotations such
  that not only 1:1 but also n:m patterns are supported.
- Dropped support for invoking happens-before / happens-after annotations on
  POSIX condition variables (pthread_cond_t).
- Report the details about the offending synchronization object in generic
  errors.
- Converted a few tl_assert() statements into error messages.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11073
2010-03-07 10:54:21 +00:00
Bart Van Assche
ead7766abe Fixed an assertion failure triggered by running DRD with the command-line option --trace-mutex=yes on a program using one of the ANNOTATE_HAPPENS_*() macros.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10904
2009-10-20 18:13:26 +00:00
Bart Van Assche
8af98b77e3 Made sure that DRD does something meaningful when using another threading library than LinuxThreads or the NPTL.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10503
2009-07-21 12:39:25 +00:00
Bart Van Assche
511096144e DRD no longer prints the thread ID's assigned by the Valgrind core but only those assigned by DRD itself.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10488
2009-07-19 17:53:56 +00:00
Julian Seward
c020a7e3b6 Merge drd/ changes from branches/MESSAGING_TIDYUP r10464.
See trunk r10465 commit message for details.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10466
2009-07-15 14:49:17 +00:00
Bart Van Assche
6b937d7d95 Combined DRD_(thread_new_segment)() and DRD_(thread_combine_vc_sync)()
into the function DRD_(thread_new_segment_and_combine_vc)() because
before DRD_(thread_combine_vc_sync)() was called the function
DRD_(thread_new_segment)() was always called.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10357
2009-06-21 18:07:35 +00:00
Bart Van Assche
e34229bd49 svn merge -r9818:10278 svn://svn.valgrind.org/valgrind/branches/DRDDEV
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10279
2009-06-08 18:20:42 +00:00
Bart Van Assche
f6d9317997 Consistency improvement: made sure that for all synchronization operations vector clocks are combined after having created a new segment instead of before.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10265
2009-06-06 12:26:05 +00:00
Bart Van Assche
e73284e37f - Added support for most of the ANNOTATE_...() macro's supported by
ThreadSanitizer.                                                              
- Modified DRD's error reporting code such that it does no longer let           
  the Valgrind core print the Valgrind thread ID but that it now prints         
  the DRD thread ID and name. Updated expected output files where               
  necessary.                                                                    
- Modified drd/test/Makefile.am such that the tests using gcc's built-in        
  functions for atomic memory access such that these are only compiled when     
  the gcc version in use supports these built-in functions.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10186
2009-05-31 18:53:54 +00:00
Bart Van Assche
5a4e0404ce Update mutex type upon mutex reinitialization such that DRD does not trigger an assertion failure when a reinitialized mutex is used.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9851
2009-05-16 06:22:46 +00:00
Bart Van Assche
32df44aaa2 Make sure that DRD does not complain about mutexes being held too long on systems where the clock can go backward. Apparently this happens frequently when Linux is running inside a virtual machine.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9521
2009-04-13 08:05:18 +00:00
Bart Van Assche
219e77b9bc - Reindented code such that it uses three spaces for indentation instead
of two. The indentation of the DRD source code is now consistent with
  the other Valgrind source files.
- Added emacs mode line with indentation settings.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9496
2009-03-26 19:07:15 +00:00
Bart Van Assche
aaef6d016e Changes:
- pthread_barrier_wait() intercept now passes the information to the DRD
  tool whether or not this function returned
  PTHREAD_BARRIER_SERIAL_THREAD. This information is now displayed when
  the command-line option --trace-barrier=yes has been specified.
- Changed the cleanup functions for client objects that are called just
  before a thread stops into callback functions.
- Added DRD_(clientobj_delete_thread)().
- Removed DRD_(clientobj_resetiter)(void) and DRD_(clientobj_next)().
- Added test for race conditions between pthread_barrier_wait() and
  pthread_barrier_destroy() calls. An error message is now printed if
  this condition has been detected.
- Bug fix: pthread_barrier_delete() calls on barriers being waited upon
  are now reported.
- Removed DRD_() wrapper from around the name of some static variables and
  functions.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9211
2009-02-21 15:27:04 +00:00
Bart Van Assche
2d732560b7 Documentation updates.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9208
2009-02-21 09:39:09 +00:00
Bart Van Assche
b71a8e5966 - Updated copyright statements.
- Improved consistency of source file headers.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9182
2009-02-16 19:43:56 +00:00
Bart Van Assche
cadc14611e Wrapped DRD_() macro around even more function names.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9170
2009-02-15 14:18:02 +00:00
Bart Van Assche
8dd5b6ceb8 Wrapped DRD_() macro around thread-related function names.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9168
2009-02-15 13:11:14 +00:00
Bart Van Assche
280e61760d Wrapped DRD_() macro around all client object function names.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9166
2009-02-15 11:34:57 +00:00
Bart Van Assche
a2f849972f Wrapped DRD_() macro around all segment function names.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9160
2009-02-14 17:19:58 +00:00
Bart Van Assche
233320f614 Added DRD_(spinlock_init_or_unlock)().
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9150
2009-02-14 12:14:50 +00:00
Bart Van Assche
10c73ac342 Enabled support for nesting mutexes and condition variables in higher-level synchronization primitives. Changed mutex tracing output slightly.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8377
2008-07-07 16:53:07 +00:00
Bart Van Assche
6e368a9f37 Renamed exp-drd directory into drd. Moved drd from the experimental tool class to the class of regular tools.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8361
2008-07-04 15:14:35 +00:00