1. bedfd23 - Reindented code such that it uses three spaces for indentation instead by bart · 15 years ago
  2. 776a91e Updated documentation. by bart · 16 years ago
  3. d2c5eae Changes: by bart · 16 years ago
  4. 86562bd - Updated copyright statements. - Improved consistency of source file headers. by bart · 16 years ago
  5. 62a784c Wrapped DRD_() macro around thread-related function names. by bart · 16 years ago
  6. 195e41f Wrapped DRD_() macro around all client object function names. by bart · 16 years ago
  7. a8cf765 Wrapped DRD_() macro around all barrier-related function names. by bart · 16 years ago
  8. 62ada3f Wrapped DRD_() macro around all segment function names. by bart · 16 years ago
  9. 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
  10. 9c606bd by sewardj · 16 years ago
  11. 7f912c0 Updated internal documentation. by bart · 16 years ago
  12. 22f7457 Out-of-spec use of POSIX barriers could make drd crash -- fixed this. by bart · 16 years ago
  13. 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]
  14. 195a398 Converted VG_(message)() / tl_assert() calls into VG_(maybe_record_error)() calls. by bart · 16 years ago
  15. 5f57be9 - Renamed the client request VG_USERREQ__GET_THREAD_SELF into by bart · 16 years ago
  16. d9e39ec Semaphore and barrier reinitialization are now reported. by bart · 16 years ago
  17. 654013c Changed the unusual "%s", "" back to "". by bart · 16 years ago
  18. 6bbefaf Added more detailed statistics about thread_new_segment() calls. by bart · 16 years ago
  19. 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
  20. 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 · 16 years ago
  21. 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 · 16 years ago
  22. 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
  23. 8ddef88 Fixed false positives reported after the second last pthread_barrier_wait() call in a thread. by bart · 16 years ago
  24. 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
  25. 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
  26. 28230a3 Eliminated upper bounds on the number of condition variables, semaphores and barriers. Added command-line option --trace-semaphore. by bart · 17 years ago
  27. bebc5d6 Fixed race conditions in client pthread_barrier_wait() intercept code. by bart · 17 years ago
  28. 8564292 by sewardj · 17 years ago