1. fcff0b9 Print an error message instead of asserting when the count argument of pthread_barrier_init() is zero. Fixed a spelling error in an error message. by bart · 16 years ago
  2. 9c606bd by sewardj · 16 years ago
  3. 7f912c0 Updated internal documentation. by bart · 16 years ago
  4. 22f7457 Out-of-spec use of POSIX barriers could make drd crash -- fixed this. by bart · 16 years ago
  5. 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_barrier.c]
  6. 195a398 Converted VG_(message)() / tl_assert() calls into VG_(maybe_record_error)() calls. by bart · 16 years ago
  7. 5f57be9 - Renamed the client request VG_USERREQ__GET_THREAD_SELF into by bart · 16 years ago
  8. d9e39ec Semaphore and barrier reinitialization are now reported. by bart · 16 years ago
  9. 654013c Changed the unusual "%s", "" back to "". by bart · 16 years ago
  10. 6bbefaf Added more detailed statistics about thread_new_segment() calls. by bart · 17 years ago
  11. 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
  12. c68bd60 An error message is now printed if DRD is started with a client program that loads a version of libgomp.so that has been compiled with --enable-linux-futex. by bart · 17 years ago
  13. 306527d Bug fix: sometimes an assert was triggered if pthread_barrier_destroy() was called after the last pthread_barrier_wait() finished and before the post-pthread_barrier_wait() client request finished. by bart · 17 years ago
  14. 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
  15. 8ddef88 Fixed false positives reported after the second last pthread_barrier_wait() call in a thread. by bart · 17 years ago
  16. 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
  17. 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
  18. 28230a3 Eliminated upper bounds on the number of condition variables, semaphores and barriers. Added command-line option --trace-semaphore. by bart · 17 years ago
  19. bebc5d6 Fixed race conditions in client pthread_barrier_wait() intercept code. by bart · 17 years ago
  20. 8564292 by sewardj · 17 years ago