Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
valgrind
/
4dd957a6771e4ad619bc5b565be340e82127d9fc
/
drd
/
drd_mutex.c
52b7d8a
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.
by bart
· 15 years ago
adb7a20
Made sure that DRD does something meaningful when using another threading library than LinuxThreads or the NPTL.
by bart
· 15 years ago
63c92ea
DRD no longer prints the thread ID's assigned by the Valgrind core but only those assigned by DRD itself.
by bart
· 15 years ago
1e29ebc
by sewardj
· 15 years ago
f6ec1fe
Combined DRD_(thread_new_segment)() and DRD_(thread_combine_vc_sync)()
by bart
· 15 years ago
8f822af
svn merge -r9818:10278 svn://svn.valgrind.org/valgrind/branches/DRDDEV
by bart
· 15 years ago
7627be3
Consistency improvement: made sure that for all synchronization operations vector clocks are combined after having created a new segment instead of before.
by bart
· 15 years ago
d45d995
- Added support for most of the ANNOTATE_...() macro's supported by
by bart
· 15 years ago
fa35828
Update mutex type upon mutex reinitialization such that DRD does not trigger an assertion failure when a reinitialized mutex is used.
by bart
· 15 years ago
430c45f
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.
by bart
· 15 years ago
bedfd23
- Reindented code such that it uses three spaces for indentation instead
by bart
· 15 years ago
d2c5eae
Changes:
by bart
· 16 years ago
7e6de96
Documentation updates.
by bart
· 16 years ago
86562bd
- Updated copyright statements. - Improved consistency of source file headers.
by bart
· 16 years ago
dc1ef03
Wrapped DRD_() macro around even more function names.
by bart
· 16 years ago
62a784c
Wrapped DRD_() macro around thread-related function names.
by bart
· 16 years ago
195e41f
Wrapped DRD_() macro around all client object function names.
by bart
· 16 years ago
62ada3f
Wrapped DRD_() macro around all segment function names.
by bart
· 16 years ago
3dbdc86
Added DRD_(spinlock_init_or_unlock)().
by bart
· 16 years ago
3f4623e
Enabled support for nesting mutexes and condition variables in higher-level synchronization primitives. Changed mutex tracing output slightly.
by bart
· 16 years ago
ccf17de
Renamed exp-drd directory into drd. Moved drd from the experimental tool class to the class of regular tools.
by bart
· 16 years ago
[Renamed from exp-drd/drd_mutex.c]
391d9dc
Made error messages more verbose.
by bart
· 16 years ago
5f57be9
- Renamed the client request VG_USERREQ__GET_THREAD_SELF into
by bart
· 16 years ago
2225a03
Changed function not_a_mutex() from static to extern.
by bart
· 16 years ago
886b87c
DRD now prints where a mutex appeared for the first time in addition to
by bart
· 16 years ago
9d5b796
Added support for detecting locks that have been held too long.
by bart
· 16 years ago
6bbefaf
Added more detailed statistics about thread_new_segment() calls.
by bart
· 16 years ago
4a975e1
Modified mutex and condtion variable tracing output slightly.
by bart
· 16 years ago
fa37c92
Made mutex tracing output more verbose.
by bart
· 16 years ago
6b71761
When the "not a mutex" error message is printed, the offending address is now printed too.
by bart
· 16 years ago
2e3a3c1
Make sure no error message is printed when pthread_mutex_trylock() is called on a non-recursive mutex from the thread that holds a lock on the mutex.
by bart
· 16 years ago
a2b6e1b
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.
by bart
· 16 years ago
3772a98
Made indentation in the DRD source code uniform: indentation size is now two spaces in all soure files.
by bart
· 16 years ago
0268dfa
Added support for OpenMP barriers -- if libgomp.so has been built with debug information. More in general, added support for nested synchronization constructs.
by bart
· 16 years ago
5bd9f2d
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.
by bart
· 16 years ago
777f7fe
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.
by bart
· 16 years ago
0034464
Converted double mutex error messages into single error messages.
by bart
· 17 years ago
72b751c
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.
by bart
· 17 years ago
3b1ee45
Added detection of more types of runtime errors. Cleaned up tracing output. Added test for tracing output (tc20_verifywrap2).
by bart
· 17 years ago
28230a3
Eliminated upper bounds on the number of condition variables, semaphores and barriers. Added command-line option --trace-semaphore.
by bart
· 17 years ago
b78312c
Bug fix: "mutex reinitialization" error message is no longer printed for the tc09_bad_unlock test.
by bart
· 17 years ago
46d5f17
Converted triple "Destroying locked mutex" messages into single messages.
by bart
· 17 years ago
4bb53d8
Eliminated the upper bound on the number of client-side mutexes.
by bart
· 17 years ago
635cb16
Added support for recognizing invalid mutexes.
by bart
· 17 years ago
8bba1f7
An error message is now printed before attempting to lock a non-recursive mutex recursively.
by bart
· 17 years ago
5357fcb
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.
by bart
· 17 years ago
e883bc8
Cleaned up generation of "Not a mutex" error messages.
by bart
· 17 years ago
ab7a644
Converted several assertions into error messages.
by bart
· 17 years ago
301c311
Fixed a memory leak and renamed one variable.
by bart
· 17 years ago
347eeba
by sewardj
· 17 years ago
8564292
by sewardj
· 17 years ago
721ad7b
Remove pthread_object_size.h and associated hardwired constants.
by sewardj
· 17 years ago
af44c82
Add DRD as an experimental tool. Bart Van Assche is the maintainer.
by sewardj
· 17 years ago