]>
git.ipfire.org Git - thirdparty/valgrind.git/log
Bart Van Assche [Sat, 8 Mar 2008 08:20:43 +0000 (08:20 +0000)]
Added an output variant for exp-drd/tests/hg03_inherit.
Bart Van Assche [Sat, 8 Mar 2008 08:18:02 +0000 (08:18 +0000)]
Correction.
Bart Van Assche [Sat, 8 Mar 2008 08:10:19 +0000 (08:10 +0000)]
More finetuning of output filtering.
Julian Seward [Fri, 7 Mar 2008 22:17:31 +0000 (22:17 +0000)]
Try to handle the situation where an object is first split into a base
Julian Seward [Fri, 7 Mar 2008 20:07:58 +0000 (20:07 +0000)]
Handle DW_FORM_data8.
Bart Van Assche [Fri, 7 Mar 2008 19:32:02 +0000 (19:32 +0000)]
Updated to do list.
Bart Van Assche [Fri, 7 Mar 2008 19:29:03 +0000 (19:29 +0000)]
Added LinuxThreads output files.
Bart Van Assche [Fri, 7 Mar 2008 19:11:54 +0000 (19:11 +0000)]
Removed frame numbers and debuginfo reader warnings from output.
Bart Van Assche [Fri, 7 Mar 2008 18:52:38 +0000 (18:52 +0000)]
Switched to VG_(get_data_description)() for descriptions of addresses in error reports.
Bart Van Assche [Fri, 7 Mar 2008 18:50:06 +0000 (18:50 +0000)]
Added more suppression patterns to DRD's suppression file.
Bart Van Assche [Fri, 7 Mar 2008 18:44:26 +0000 (18:44 +0000)]
Modified pth_detached test program such that each dot printed by the detached threads is now printed on a line by itself.
Bart Van Assche [Fri, 7 Mar 2008 17:34:22 +0000 (17:34 +0000)]
Added more atomic read/modify/write tests.
Bart Van Assche [Fri, 7 Mar 2008 17:22:26 +0000 (17:22 +0000)]
Added support for atomic modifications (VEX' Imbe_BusLock/Imbe_BusUnlock).
Julian Seward [Thu, 6 Mar 2008 18:31:42 +0000 (18:31 +0000)]
Don't tell m_redir (and the user) that debuginfo is about to be
Bart Van Assche [Thu, 6 Mar 2008 18:02:37 +0000 (18:02 +0000)]
Cleaned up vc_min() and vc_combine() implementations.
Bart Van Assche [Thu, 6 Mar 2008 07:00:47 +0000 (07:00 +0000)]
Updated DRD's readme.txt.
Bart Van Assche [Tue, 4 Mar 2008 19:11:38 +0000 (19:11 +0000)]
More suppression pattern generalization.
Bart Van Assche [Tue, 4 Mar 2008 19:03:29 +0000 (19:03 +0000)]
Generalized a suppression pattern.
Bart Van Assche [Tue, 4 Mar 2008 19:03:06 +0000 (19:03 +0000)]
Reverted -- no races should be reported on tc21_pthonce.
Bart Van Assche [Tue, 4 Mar 2008 18:37:20 +0000 (18:37 +0000)]
Added stdout.exp and stderr.exp files for LinuxThreads.
Bart Van Assche [Tue, 4 Mar 2008 18:36:23 +0000 (18:36 +0000)]
Replaced non-deterministic LinuxThreads test by a deterministic one (the time at which getpid() was called in the created thread did depend on how the Valgrind core scheduled threads).
Julian Seward [Mon, 3 Mar 2008 22:20:51 +0000 (22:20 +0000)]
VG_(get_strace_wrk): don't segfault in the degenerate case fp_min =
Bart Van Assche [Mon, 3 Mar 2008 20:40:51 +0000 (20:40 +0000)]
Compiles now with gcc 2.96 too.
Bart Van Assche [Mon, 3 Mar 2008 20:31:58 +0000 (20:31 +0000)]
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.
Bart Van Assche [Mon, 3 Mar 2008 17:40:31 +0000 (17:40 +0000)]
Added test for recursive writer locking.
Bart Van Assche [Mon, 3 Mar 2008 17:37:24 +0000 (17:37 +0000)]
The pth_broadcast test program now prints a message when finished such that the difference between successful completion and termination because of SIGALRM can be detected.
Julian Seward [Mon, 3 Mar 2008 15:51:58 +0000 (15:51 +0000)]
Don't be quite so paranoid about rejecting symbols that fall outside
Bart Van Assche [Mon, 3 Mar 2008 11:16:33 +0000 (11:16 +0000)]
Made sure that the pth_broadcast test is aborted if it does not complete within 100s.
Bart Van Assche [Mon, 3 Mar 2008 07:40:54 +0000 (07:40 +0000)]
Made exp-drd/tests/trylock.c compile with older glibc versions.
Nicholas Nethercote [Mon, 3 Mar 2008 02:15:03 +0000 (02:15 +0000)]
update comments
Nicholas Nethercote [Mon, 3 Mar 2008 02:13:16 +0000 (02:13 +0000)]
Update for the new VG_(ssort) algorithm.
Julian Seward [Mon, 3 Mar 2008 01:35:41 +0000 (01:35 +0000)]
Merge in the DATASYMS branch.
Nicholas Nethercote [Sun, 2 Mar 2008 22:48:48 +0000 (22:48 +0000)]
This wasn't supposed to go in the last commit; undo.
Nicholas Nethercote [Sun, 2 Mar 2008 22:48:14 +0000 (22:48 +0000)]
Ignore Emacs temporary files. Also, produce the correct .diff filename when
Bart Van Assche [Sun, 2 Mar 2008 19:15:15 +0000 (19:15 +0000)]
Updated to do list.
Bart Van Assche [Sun, 2 Mar 2008 19:03:19 +0000 (19:03 +0000)]
Added regression test for pthread_*timedlock() and pthread_*trylock() calls.
Bart Van Assche [Sun, 2 Mar 2008 18:12:59 +0000 (18:12 +0000)]
More error message uniformization.
Bart Van Assche [Sun, 2 Mar 2008 18:06:35 +0000 (18:06 +0000)]
More error message uniformization.
Bart Van Assche [Sun, 2 Mar 2008 18:03:24 +0000 (18:03 +0000)]
More error message uniformization.
Bart Van Assche [Sun, 2 Mar 2008 17:47:50 +0000 (17:47 +0000)]
Made error messages more uniform.
Bart Van Assche [Sun, 2 Mar 2008 17:43:18 +0000 (17:43 +0000)]
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.
Bart Van Assche [Sat, 1 Mar 2008 15:34:25 +0000 (15:34 +0000)]
Updated alternative expected output files.
Bart Van Assche [Sat, 1 Mar 2008 15:27:41 +0000 (15:27 +0000)]
Converted double mutex error messages into single error messages.
Bart Van Assche [Sat, 1 Mar 2008 13:55:33 +0000 (13:55 +0000)]
Added a glibc 2.7 suppression.
Bart Van Assche [Sat, 1 Mar 2008 13:44:24 +0000 (13:44 +0000)]
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.
Bart Van Assche [Sat, 1 Mar 2008 11:39:00 +0000 (11:39 +0000)]
Minor simplification of DRD suppression file.
Bart Van Assche [Sat, 1 Mar 2008 10:50:45 +0000 (10:50 +0000)]
Replaced per-thread start/stop recording mechanism by extra suppression patterns.
Bart Van Assche [Sat, 1 Mar 2008 10:49:37 +0000 (10:49 +0000)]
Eliminated per-thread start/stop recording mechanism, which should make DRD a little bit faster. malloc()/free() is now intercepted on all platforms instead of just on i386.
Bart Van Assche [Sat, 1 Mar 2008 07:41:17 +0000 (07:41 +0000)]
Fixed compiler warning (duplicate const).
Bart Van Assche [Sat, 1 Mar 2008 07:35:52 +0000 (07:35 +0000)]
Added -Wsign-compare.
Bart Van Assche [Sat, 1 Mar 2008 07:25:13 +0000 (07:25 +0000)]
When started with linuxthreads, the DRD tool now stops as soon as the first thread is created.
Bart Van Assche [Fri, 29 Feb 2008 19:49:06 +0000 (19:49 +0000)]
Updated tc20_verifywrap to current output, and documented that an error message is missing at the end of the output for this test.
Bart Van Assche [Fri, 29 Feb 2008 19:37:03 +0000 (19:37 +0000)]
Updated output variants.
Bart Van Assche [Fri, 29 Feb 2008 19:28:15 +0000 (19:28 +0000)]
Added detection of more types of runtime errors. Cleaned up tracing output. Added test for tracing output (tc20_verifywrap2).
Bart Van Assche [Fri, 29 Feb 2008 19:19:39 +0000 (19:19 +0000)]
Removed debugging code.
Bart Van Assche [Fri, 29 Feb 2008 19:17:28 +0000 (19:17 +0000)]
Converted type of trace messages from Vg_DebugMsg to Vg_UserMsg.
Bart Van Assche [Fri, 29 Feb 2008 17:27:03 +0000 (17:27 +0000)]
Eliminated upper bounds on the number of condition variables, semaphores and barriers. Added command-line option --trace-semaphore.
Bart Van Assche [Fri, 29 Feb 2008 13:15:57 +0000 (13:15 +0000)]
Updated after renaming / removing regression test output files.
Bart Van Assche [Fri, 29 Feb 2008 11:00:17 +0000 (11:00 +0000)]
Bug fix: "mutex reinitialization" error message is no longer printed for the tc09_bad_unlock test.
Bart Van Assche [Thu, 28 Feb 2008 20:36:25 +0000 (20:36 +0000)]
Updated to do list.
Bart Van Assche [Thu, 28 Feb 2008 20:28:00 +0000 (20:28 +0000)]
Simplified stack tracking.
Bart Van Assche [Thu, 28 Feb 2008 20:27:34 +0000 (20:27 +0000)]
Removed calls to set_thread_name() because the calls to snprintf() caused data races.
Bart Van Assche [Thu, 28 Feb 2008 19:54:29 +0000 (19:54 +0000)]
Converted triple "Destroying locked mutex" messages into single messages.
Bart Van Assche [Thu, 28 Feb 2008 19:49:37 +0000 (19:49 +0000)]
Converted triple "Destroying locked mutex" messages into single messages.
Bart Van Assche [Thu, 28 Feb 2008 19:08:04 +0000 (19:08 +0000)]
Eliminated the upper bound on the number of client-side mutexes.
Bart Van Assche [Thu, 28 Feb 2008 19:06:34 +0000 (19:06 +0000)]
Eliminated the upper bound on the number of client-side mutexes.
Bart Van Assche [Thu, 28 Feb 2008 08:30:43 +0000 (08:30 +0000)]
Added support for recognizing invalid mutexes.
Bart Van Assche [Thu, 28 Feb 2008 07:36:04 +0000 (07:36 +0000)]
Should compile again with linuxthreads header files.
Nicholas Nethercote [Wed, 27 Feb 2008 18:10:19 +0000 (18:10 +0000)]
Make comments reflect the code.
Bart Van Assche [Wed, 27 Feb 2008 18:06:09 +0000 (18:06 +0000)]
Updated to do list.
Bart Van Assche [Wed, 27 Feb 2008 17:42:04 +0000 (17:42 +0000)]
Converted to new mutex error message format.
Bart Van Assche [Wed, 27 Feb 2008 17:41:22 +0000 (17:41 +0000)]
Fixed compiler warning.
Bart Van Assche [Wed, 27 Feb 2008 16:13:05 +0000 (16:13 +0000)]
An error message is now printed before attempting to lock a non-recursive mutex recursively.
Bart Van Assche [Wed, 27 Feb 2008 15:46:00 +0000 (15:46 +0000)]
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.
Bart Van Assche [Wed, 27 Feb 2008 15:38:10 +0000 (15:38 +0000)]
Make sure tc20_verifywrap does not trigger an assertion failure in combination with glibc 2.7.
Bart Van Assche [Tue, 26 Feb 2008 19:13:04 +0000 (19:13 +0000)]
Cleaned up generation of "Not a mutex" error messages.
Bart Van Assche [Tue, 26 Feb 2008 19:11:20 +0000 (19:11 +0000)]
First step towards bus locking support.
Bart Van Assche [Tue, 26 Feb 2008 19:09:59 +0000 (19:09 +0000)]
Disabled tc07_hbl1 and tc08_hbl2 again since running these tests makes only sense with proper support for bus locks in exp-drd.
Bart Van Assche [Tue, 26 Feb 2008 16:07:41 +0000 (16:07 +0000)]
Updated to do list.
Bart Van Assche [Tue, 26 Feb 2008 16:06:33 +0000 (16:06 +0000)]
Added Helgrind regression tests tc05, tc06 and tc08.
Bart Van Assche [Tue, 26 Feb 2008 16:03:44 +0000 (16:03 +0000)]
Added more barrier tests.
Bart Van Assche [Tue, 26 Feb 2008 16:03:25 +0000 (16:03 +0000)]
Left out number of suppressed error messages.
Bart Van Assche [Tue, 26 Feb 2008 12:52:00 +0000 (12:52 +0000)]
Summarized multiple pth_barrier.stderr.exp* output files into one.
Bart Van Assche [Mon, 25 Feb 2008 20:41:07 +0000 (20:41 +0000)]
Added to repository.
Bart Van Assche [Mon, 25 Feb 2008 20:40:52 +0000 (20:40 +0000)]
Fixed typo.
Bart Van Assche [Mon, 25 Feb 2008 20:34:15 +0000 (20:34 +0000)]
Fixed more Fedora 8 regression test failures.
Bart Van Assche [Mon, 25 Feb 2008 20:25:41 +0000 (20:25 +0000)]
Fixed most Fedora 8 regression test failures.
Bart Van Assche [Mon, 25 Feb 2008 20:25:10 +0000 (20:25 +0000)]
Filter out stack offset of stack variables.
Bart Van Assche [Mon, 25 Feb 2008 19:58:25 +0000 (19:58 +0000)]
Added more of Helgrind's regression tests.
Bart Van Assche [Mon, 25 Feb 2008 19:46:14 +0000 (19:46 +0000)]
Converted several assertions into error messages.
Bart Van Assche [Mon, 25 Feb 2008 19:40:14 +0000 (19:40 +0000)]
The mutex address may now be left zero when triggering a MutexErr.
Bart Van Assche [Mon, 25 Feb 2008 17:29:13 +0000 (17:29 +0000)]
Added output for the case where the data race is detected in thread 3.
Bart Van Assche [Mon, 25 Feb 2008 17:26:23 +0000 (17:26 +0000)]
Renamed pth_barrier.stderr.exp into pth_barrier.stderr.exp-thread2.
Julian Seward [Mon, 25 Feb 2008 12:10:07 +0000 (12:10 +0000)]
Intercept pthread_rwlock_try{rd,wr}lock. Fixes #158212.
Bart Van Assche [Sun, 24 Feb 2008 18:47:12 +0000 (18:47 +0000)]
Updated to do list.
Bart Van Assche [Sun, 24 Feb 2008 18:46:05 +0000 (18:46 +0000)]
Added --trace-csw and --trace-danger-set. Removed commented out code.
Bart Van Assche [Sun, 24 Feb 2008 18:42:53 +0000 (18:42 +0000)]
Fixed race conditions in client pthread_barrier_wait() intercept code.
Bart Van Assche [Sun, 24 Feb 2008 18:37:08 +0000 (18:37 +0000)]
Corrected various comments. Removed commented out code. Added code for tracing thread context switches and danger set updating. Fixed memory leak. Danger set is now updated every time a new segment is created instead of only at every context switch, which fixes the bug that no data races were reported for the pth_barrier test program.
Bart Van Assche [Sun, 24 Feb 2008 18:29:43 +0000 (18:29 +0000)]
Fixed a memory leak.
Bart Van Assche [Sun, 24 Feb 2008 18:29:10 +0000 (18:29 +0000)]
Cleanup: moved const keyword in front of datatype.
projects / thirdparty / valgrind.git / log
