Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
valgrind
/
a2b6e1bbcc45fcb42ac0441a2e5b4d40c3671ec6
/
exp-drd
/
drd_mutex.c
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
· 17 years ago
3772a98
Made indentation in the DRD source code uniform: indentation size is now two spaces in all soure files.
by bart
· 17 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
· 17 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
· 17 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
· 17 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