1. fa37c92 Made mutex tracing output more verbose. by bart · 17 years ago
  2. 6b71761 When the "not a mutex" error message is printed, the offending address is now printed too. by bart · 17 years ago
  3. 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 · 17 years ago
  4. 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
  5. 3772a98 Made indentation in the DRD source code uniform: indentation size is now two spaces in all soure files. by bart · 17 years ago
  6. 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
  7. 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
  8. 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
  9. 0034464 Converted double mutex error messages into single error messages. by bart · 17 years ago
  10. 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
  11. 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
  12. 28230a3 Eliminated upper bounds on the number of condition variables, semaphores and barriers. Added command-line option --trace-semaphore. by bart · 17 years ago
  13. b78312c Bug fix: "mutex reinitialization" error message is no longer printed for the tc09_bad_unlock test. by bart · 17 years ago
  14. 46d5f17 Converted triple "Destroying locked mutex" messages into single messages. by bart · 17 years ago
  15. 4bb53d8 Eliminated the upper bound on the number of client-side mutexes. by bart · 17 years ago
  16. 635cb16 Added support for recognizing invalid mutexes. by bart · 17 years ago
  17. 8bba1f7 An error message is now printed before attempting to lock a non-recursive mutex recursively. by bart · 17 years ago
  18. 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
  19. e883bc8 Cleaned up generation of "Not a mutex" error messages. by bart · 17 years ago
  20. ab7a644 Converted several assertions into error messages. by bart · 17 years ago
  21. 301c311 Fixed a memory leak and renamed one variable. by bart · 17 years ago
  22. 347eeba by sewardj · 17 years ago
  23. 8564292 by sewardj · 17 years ago
  24. 721ad7b Remove pthread_object_size.h and associated hardwired constants. by sewardj · 17 years ago
  25. af44c82 Add DRD as an experimental tool. Bart Van Assche is the maintainer. by sewardj · 17 years ago