Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
valgrind
/
a37b57cc724654fd5d8b8b4f718c469f14f6a775
/
drd
/
drd_clientobj.h
03f8d3f
Update copyright dates to include 2012.
by sewardj
· 12 years ago
1081fe2
Remove emacs modeline and/or local variables from DRD source files
by bart
· 13 years ago
d61580e
drd: Fix a race condition in the barrier implementation that could result in false positives.
by bart
· 13 years ago
922304f
Updated modeline and copyright statement in DRD source files.
by bart
· 14 years ago
876cafd
E-mail address update.
by bart
· 14 years ago
eef3584
Removed ANNOTATE_HAPPENS_BEFORE/AFTER() usage restrictions.
by bart
· 14 years ago
9eecbbb
Update copyright dates to 2010.
by sewardj
· 14 years ago
62cc232
Changes:
by bart
· 15 years ago
c844150
Implemented type checking for reader-writer synchronization
by bart
· 15 years ago
bedfd23
- Reindented code such that it uses three spaces for indentation instead
by bart
· 16 years ago
d2c5eae
Changes:
by bart
· 16 years ago
86562bd
- Updated copyright statements. - Improved consistency of source file headers.
by bart
· 16 years ago
195e41f
Wrapped DRD_() macro around all client object function names.
by bart
· 16 years ago
c8914e9
Renamed a variable and removed two statements that were commented out.
by bart
· 16 years ago
94866cc
Fixed bug in vector clock updating for semaphores with non-zero initial value.
by bart
· 16 years ago
3e017fa
Fixed semaphore vector clock updating / simplified semaphore tracing.
by bart
· 16 years ago
afb42b7
Fixed regression test tc20_verifywrap2, which was broken through r8829.
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_clientobj.h]
391d9dc
Made error messages more verbose.
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
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
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
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
8ddef88
Fixed false positives reported after the second last pthread_barrier_wait() call in a thread.
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
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
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
e7d5872
Eliminated the upper bound on the number of client-side mutexes.
by bart
· 17 years ago