Minor simplification of DRD suppression file.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7521

Replaced per-thread start/stop recording mechanism by extra suppression patterns.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7520

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.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7519

Fixed compiler warning (duplicate const).

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7518

Added -Wsign-compare.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7517

When started with linuxthreads, the DRD tool now stops as soon as the first thread is created.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7516

Updated tc20_verifywrap to current output, and documented that an error message is missing at the end of the output for this test.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7515

Updated output variants.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7512

Added detection of more types of runtime errors. Cleaned up tracing output. Added test for tracing output (tc20_verifywrap2).

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7511

Removed debugging code.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7510

Converted type of trace messages from Vg_DebugMsg to Vg_UserMsg.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7509

Eliminated upper bounds on the number of condition variables, semaphores and barriers. Added command-line option --trace-semaphore.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7508

Updated after renaming / removing regression test output files.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7507

Bug fix: "mutex reinitialization" error message is no longer printed for the tc09_bad_unlock test.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7506

Updated to do list.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7505

Simplified stack tracking.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7504

Removed calls to set_thread_name() because the calls to snprintf() caused data races.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7503

Converted triple "Destroying locked mutex" messages into single messages.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7502

Converted triple "Destroying locked mutex" messages into single messages.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7501

Eliminated the upper bound on the number of client-side mutexes.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7500

Eliminated the upper bound on the number of client-side mutexes.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7499

Added support for recognizing invalid mutexes.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7497

Should compile again with linuxthreads header files.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7496

Make comments reflect the code.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7494

Updated to do list.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7493

Converted to new mutex error message format.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7492

Fixed compiler warning.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7491

An error message is now printed before attempting to lock a non-recursive mutex recursively.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7490

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.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7489

Make sure tc20_verifywrap does not trigger an assertion failure in combination with glibc 2.7.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7488

Cleaned up generation of "Not a mutex" error messages.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7483

First step towards bus locking support.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7482

Disabled tc07_hbl1 and tc08_hbl2 again since running these tests makes only sense with proper support for bus locks in exp-drd.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7481

Updated to do list.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7477

Added Helgrind regression tests tc05, tc06 and tc08.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7476

Added more barrier tests.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7475

Left out number of suppressed error messages.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7474

Summarized multiple pth_barrier.stderr.exp* output files into one.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7472

Added to repository.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7467

Fixed typo.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7466

Fixed more Fedora 8 regression test failures.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7465

Fixed most Fedora 8 regression test failures.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7464

Filter out stack offset of stack variables.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7463

Added more of Helgrind's regression tests.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7462

Converted several assertions into error messages.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7461

The mutex address may now be left zero when triggering a MutexErr.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7460

Added output for the case where the data race is detected in thread 3.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7459

Renamed pth_barrier.stderr.exp into pth_barrier.stderr.exp-thread2.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7458

Intercept pthread_rwlock_try{rd,wr}lock.  Fixes #158212.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7454

Updated to do list.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7451

Added --trace-csw and --trace-danger-set. Removed commented out code.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7450

Fixed race conditions in client pthread_barrier_wait() intercept code.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7449

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.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7448

Fixed a memory leak.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7447

Cleanup: moved const keyword in front of datatype.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7446

Cleanup: removed commented out code.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7445

Minor change: renamed one variable.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7444

Added vc_assign() function.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7443

Cleanup: removed old data race detection algorithm implementation.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7442

Fixed a memory leak and renamed one variable.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7441

Added more debugging output.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7440

Fixed output.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7439

Various minor changes.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7438

Whitespace-only change.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7437

Added const keyword to second argument of VG_(OSetGen_Remove)().

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7436

Added a section about programming with threads, added an acknowledgements section and added more references.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7433

Rewrote the README.txt document.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7420

Updated to do list.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7419

Comment-only changes.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7418

Fix exp-drd Fedora 8 tc18_semabuse regression test failure. It is okay to leave out the tl_assert(waited) statement because this statement is only triggered in case sem_post() fails, and sem_post() currently only fails when called on something that is not a semaphore.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7417

Ignore executables.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7413

Ignore post.out files.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7412

Oops - don't ignore stuff here.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7411

Ignore output files.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7410

Try to sort out signedness problems in hg_wordfm.[ch], and do a bunch
of other tidying too.

* All these word-based abstractions (WordFM, WordSet, WordBag) now
  operate on unsigned words (UWord), whereas they previously operated
  on signed words (Word).  This became a problem, when using unboxed
  comparisons, with the introduction of HG_(initIterAtFM), which
  allows iteration over parts of mappings.  Iterating over a mapping in
  increasing order of signed Word keys is not what callers expect when
  iterating through maps whose keys representing addresses (Addr) since
  Addr is unsigned, and causes logical problems and assertion
  failures.

* Change various size-of-things types from signed to unsigned, and
  make them consistently word sized.  For example the return type
  of HG_(sizeFM) used to be an Int, which never made any sense
  (the size can't be negative, and, on a 64-bit platform, the
  map could have more than 2G elements, in which case an Int can't
  represent the result).  So make the return value a UWord instead.
  This should generally help avoid obscure overflow problems on 64-bit
  platforms.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7409

Fix minor breakage in 7 tests.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7405

notes about SPEC benchmarks

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7401

Update bug status.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7400

Always call ML_(generic_POST_sys_shmat) when a shmat call succeeds, even
if the memory was attached at address zero. Fixes bug #157665.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7399

Update copyright dates ("200X-2007" --> "200X-2008").

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7398

Update.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7397

Include headers for VG_(register_stack) calls.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7396

Fix race condition in sem_post() wrapper (Bart Van Assche).

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7395

Track top level Makefile.am changes in r7390.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7394

Update.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7392

From Bart van Assche:

A long time ago pthreads-functions were instrumented in the drd-patch
via modifications of coregrind/vg_preloaded.c. A.o. detached threads
were recognized by intercepting pthread_create(). This intercept was
active for all tools, so it made sense to add a unit test for it
(none/tests/pth_detached.c). This intercept has been moved from
coregrind/vg_preloaded.c to exp-drd/drd_preloaded.c, so this unit
test does no longer make sense for nulgrind. This test may be
removed.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7391

Test exp-tools by default as well.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7390

Try to fix build system breakage w.r.t. ssse3_misaligned.  It isn't
created from a .def file so should not be included in INSN_TESTS.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7389

Make exp-drd regression tests succeed when glibc-debuginfo is
installed.  (Bart Van Assche)

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7388

Only build the SSSE3 tests on machines whose assemblers know about
these instructions.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7387

start 3.4.0 release notes

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7386

Add SSSE3 tests.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7385

Tool-side support for the new primops required by SSSE3 instructions.
I think this is all that is required on the tools side.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7384

Make the clone system call wrappers call VG_(register_stack) to record
the new thread's stack, then make the stack unwinder use that information
to make a better guess at the stack bounds.

This helps avoid crashes trying to unwind the stack under wine when
the starting point is a routine without a proper stack frame.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7383

Update (mostly to check that the svn server still works after host change)

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7371

minor tweak

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7368

Fix 'make dist' -- don't list nonexistent files for inclusion in the
tarball.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7366

fix typo

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7364

update

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7363

Massif: --time-unit=ms was broken in the ms_print script.  People obviously
aren't using that option much!

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7361