362d1202e2
tsan: fix test
...
this test is flaky because of ASLR
app memory is 7e8000000000-800000000000,
there may or may not be a 1TB hole depending on
where ASLR will choose to map libraries
llvm-svn: 223469
2014-12-05 15:42:17 +00:00
870e790924
[Tsan] Fix the atomic_race.cc test to pass on systems with high loads
...
Differential Revision: http://reviews.llvm.org/D6478
llvm-svn: 223122
2014-12-02 15:04:39 +00:00
49a040a483
[TSan] Deflake test
...
llvm-svn: 222699
2014-11-24 22:27:34 +00:00
9b80e5f969
tsan: fix binary names in tests
...
test_output.sh produces source.cc.exe binaries
llvm-svn: 222345
2014-11-19 10:47:06 +00:00
1e8df882ce
tsan: exclude unsupported test from test_output.sh script
...
llvm-svn: 222344
2014-11-19 10:46:23 +00:00
6eef1d2259
tsan: don't add -pie when compiling tests
...
driver should add it as necessary
llvm-svn: 222343
2014-11-19 10:45:53 +00:00
8f1632d5c1
[TSan] Don't strip binary/library name until the moment we print it.
...
This commit changes the place where TSan runtime turns full path
to binary or shared library into its basename
(/usr/foo/mybinary -> mybinary). Instead of doing it as early as possible
(when we obtained the full path from the symbolizer), we now do it as
late as possible (right before printing the error report).
This seems like a right thing to do - stripping to basename is a detail
of report formatting implementation, and should belong there. Also, we
might need the full path at some point - for example, to match the
suppressions.
llvm-svn: 221225
2014-11-04 01:55:20 +00:00
c8f3435f0e
[Tsan] Enable thread sanitizer tests on FreeBSD
...
Differential Revision: http://reviews.llvm.org/D5995
llvm-svn: 220676
2014-10-27 11:28:53 +00:00
e9a5f03716
tsan: support mmap(MAP_32BIT)
...
Allow user memory in the first TB of address space.
This also enabled non-pie binaries and freebsd.
Fixes issue:
https://code.google.com/p/thread-sanitizer/issues/detail?id=5
llvm-svn: 220571
2014-10-24 17:07:29 +00:00
f266601ce9
[Tsan] Fix the thread_name tests to build on FreeBSD
...
Differential Revision: http://reviews.llvm.org/D5855
llvm-svn: 220552
2014-10-24 09:27:34 +00:00
9003426e2f
[Tsan] Fix the signal_recursive.cc test to build on FreeBSD
...
Differential Revision: http://reviews.llvm.org/D5841
llvm-svn: 220550
2014-10-24 09:20:20 +00:00
6b862f22e5
[Tsan] Fix the sunrpc.cc test to build on FreeBSD
...
Differential Revision: http://reviews.llvm.org/D5730
llvm-svn: 219791
2014-10-15 12:47:48 +00:00
adcf1ce904
[Tsan] Make the mutex_robust tests Linux-specific
...
Differential Revision: http://reviews.llvm.org/D5729
llvm-svn: 219790
2014-10-15 12:43:04 +00:00
6373829449
tsan: fix false positive related to signals
...
Write interceptor calls malloc, which causes a false
unsafe-call-in-signal-handler report. See the test.
llvm-svn: 219784
2014-10-15 08:56:43 +00:00
ea2f3bffca
tsan: refactor atexit handling
...
The current handling (manual execution of atexit callbacks)
is overly complex and leads to constant problems due to mutual ordering of callbacks.
Instead simply wrap callbacks into our wrapper to establish
the necessary synchronization.
Fixes issue https://code.google.com/p/thread-sanitizer/issues/detail?id=80
llvm-svn: 219675
2014-10-14 09:32:45 +00:00
02ff8bb986
tsan: better reporting for virtual-call-after-free
...
Previously we said that it's a data race, which is confusing
if it happens in the same thread.
llvm-svn: 219600
2014-10-13 08:46:25 +00:00
e3b6a6a379
[Tsan] Fix the getline_nohang.cc test to build on FreeBSD
...
Differential Revision: http://reviews.llvm.org/D5666
llvm-svn: 219482
2014-10-10 07:07:26 +00:00
348758bbca
[Tsan] Fix comments in the user_fopen.cc and user_malloc.cc tests
...
Related revision: http://reviews.llvm.org/D5670
llvm-svn: 219481
2014-10-10 07:01:52 +00:00
918df1abd8
[Tsan] Make the user_fopen.cc and user_malloc.cc tests Linux-specific
...
Differential Revision: http://reviews.llvm.org/D5670
llvm-svn: 219478
2014-10-10 06:55:17 +00:00
e17b55be69
[Tsan] Fix the signal_errno.cc and signal_malloc.cc tests to pass on FreeBSD
...
Differential Revision: http://reviews.llvm.org/D5669
llvm-svn: 219399
2014-10-09 09:40:02 +00:00
c2e274dc2c
[Tsan] Fix the global_race tests to pass on FreeBSD
...
Differential Revision: http://reviews.llvm.org/D5668
llvm-svn: 219398
2014-10-09 09:35:25 +00:00
27781f993d
[Tsan] Fix the blacklist2.cc test to pass on FreeBSD
...
Differential Revision: http://reviews.llvm.org/D5665
llvm-svn: 219397
2014-10-09 09:04:26 +00:00
c0ae07e98c
tsan: fix signal_longjmp test in debug mode
...
In debug mode tsan checks that user accesses
access user memory. NULL is not user memory.
So the test fails. Allocate real inaccessible
memory for the test.
llvm-svn: 218069
2014-09-18 19:00:02 +00:00
9767d2f8da
tsan: fix double semicolon ;;
...
llvm-svn: 218067
2014-09-18 18:58:44 +00:00
538ceee2b9
tsan: fix bug number in comment
...
llvm-svn: 217992
2014-09-17 22:57:57 +00:00
6466f43688
tsan: fix crash when a program registers zillions of atexit callbacks
...
I don't remember that crash on mmap in internal allocator
ever yielded anything useful, only crashes in rare wierd untested situations.
One of the reasons for crash was to catch if tsan starts allocating
clocks using mmap. Tsan does not allocate clocks using internal_alloc anymore.
Solve it once and for all by allowing mmaps.
llvm-svn: 217929
2014-09-17 00:12:50 +00:00
69c4d37b45
tsan: support longjmp out of signal handlers
...
Fixes https://code.google.com/p/thread-sanitizer/issues/detail?id=75
llvm-svn: 217908
2014-09-16 21:48:22 +00:00
62063b46fc
Use "-gline-tables-only" instead of "-g" in sanitizer test suites.
...
We are interested in verifying that -gline-tables-only provides enough
debug information for verbose error reports and symbolized stack traces.
llvm-svn: 217284
2014-09-05 22:05:32 +00:00
f8cfdd9207
tsan: handle early signals
...
The second part of the fix of
https://code.google.com/p/thread-sanitizer/issues/detail?id=71
llvm-svn: 217031
2014-09-03 12:25:22 +00:00
26411d6929
tsan: more precise handling of atexit callbacks
...
Fixes issue https://code.google.com/p/thread-sanitizer/issues/detail?id=74
llvm-svn: 216906
2014-09-02 14:22:31 +00:00
1841219abd
tsan: restructure signal handling to allow recursive handling
...
Fixes issue
https://code.google.com/p/thread-sanitizer/issues/detail?id=71
llvm-svn: 216903
2014-09-02 12:27:45 +00:00
34fb3799a3
tsan: fix false positive related to signal handlers
...
Users expect synchronization between sigaction and arrival
of the signal. See the test for details.
llvm-svn: 216878
2014-09-01 12:46:42 +00:00
591d15272e
[TSan] Add -lpthread to the test which uses pthread_ functions
...
llvm-svn: 215939
2014-08-18 22:09:17 +00:00
70db9d4d72
tsan: allocate vector clocks using slab allocator
...
Vector clocks is the most actively allocated object in tsan runtime.
Current internal allocator is not scalable enough to handle allocation
of clocks in scalable way (too small caches). This changes transforms
clocks to 2-level array with 512-byte blocks. Since all blocks are of
the same size, it's possible to cache them more efficiently in per-thread caches.
llvm-svn: 214912
2014-08-05 18:45:02 +00:00
5b1b02eb29
tsan: improve shadow flush benchmark
...
allow to specify access stride
llvm-svn: 214029
2014-07-26 16:40:33 +00:00
6cdb0b8051
[tsan] honour XFAIL in tsan/test_output.sh
...
llvm-svn: 212952
2014-07-14 16:03:13 +00:00
850a837cf2
[tsan] add a printf to a test
...
llvm-svn: 212951
2014-07-14 15:52:33 +00:00
94b6801839
[tsan] add a currently-failing test with a must-deadlock
...
llvm-svn: 212944
2014-07-14 14:27:21 +00:00
89360191c8
Fix expected column numbers in two tests.
...
This is a minor fix to two tsan tests that were expecting the wrong
column information. Now that clang emits column information by default
in its debugging output, the tests had started failing.
llvm-svn: 212779
2014-07-10 23:29:10 +00:00
3a2cb3ad41
[TSan] Fix a bug in libcxx-tsan build conditions spotted by Ryuta Suzuki
...
llvm-svn: 212749
2014-07-10 18:17:51 +00:00
3f5ad1a98e
tsan: allow memory overlap in __tsan_java_move
...
JVM actually moves memory between overlapping ranges.
llvm-svn: 212560
2014-07-08 20:01:12 +00:00
6136aae323
[tsan] Enable tsan's deadlock detector by default.
...
The tsan's deadlock detector has been used in Chromium for a while;
it found a few real bugs and reported no false positives.
So, it's time to give it a bit more exposure.
llvm-svn: 212533
2014-07-08 13:40:08 +00:00
c1856835d1
[Sanitizer] Move test for malloc/free hooks under test/sanitizer_common
...
llvm-svn: 212474
2014-07-07 18:47:29 +00:00
91bb8e0e3a
Generalize sanitizer allocator public interface.
...
Introduce new public header <sanitizer/allocator_interface.h> and a set
of functions __sanitizer_get_ownership(), __sanitizer_malloc_hook() etc.
that will eventually replace their tool-specific equivalents
(__asan_get_ownership(), __msan_get_ownership() etc.). Tool-specific
functions are now deprecated and implemented as stubs redirecting
to __sanitizer_ versions (which are implemented differently in each tool).
Replace all uses of __xsan_ versions with __sanitizer_ versions in unit
and lit tests.
llvm-svn: 212469
2014-07-07 17:39:31 +00:00
9507af2d89
tsan: fix and re-enable a test
...
llvm-svn: 211966
2014-06-27 22:27:02 +00:00
63338af398
[tsan] Disable a failing test.
...
java_finalizer is failing on all sanitizer bots since it was added in r211829.
llvm-svn: 211882
2014-06-27 08:10:27 +00:00
fb251f51a9
tsan: add __tsan_java_finalize interface function
...
It is required to prevent false positives between object ctor and finalizer,
as otherwise they look completely unsynchronized.
llvm-svn: 211829
2014-06-27 00:47:38 +00:00
f0d1fd6b32
[TSan] Exclude blacklist tests from manual test runner
...
llvm-svn: 210494
2014-06-09 22:02:14 +00:00
2c8dda4e53
[TSan] Make lit-tests more self-contained
...
llvm-svn: 210370
2014-06-06 21:04:55 +00:00
5c8ce21a6c
[TSan] Add a test case for r209939
...
llvm-svn: 209940
2014-05-31 00:12:20 +00:00
dee68ba6e3
tsan: add a test from data-race-test suite:
...
https://code.google.com/p/data-race-test/source/browse/trunk/unittest/racecheck_unittest.cc
llvm-svn: 209900
2014-05-30 14:27:31 +00:00
233f401c2b
tsan: make positive tests more robust
...
Add a script that is used to deflake inherently flaky tsan tests.
It is invoked from lit tests as:
%deflake %run %t
The script runs the target program up to 10 times,
until it produces a tsan warning.
llvm-svn: 209898
2014-05-30 14:08:51 +00:00
bde4c9c773
tsan: refactor storage of meta information for heap blocks and sync objects
...
The new storage (MetaMap) is based on direct shadow (instead of a hashmap + per-block lists).
This solves a number of problems:
- eliminates quadratic behaviour in SyncTab::GetAndLock (https://code.google.com/p/thread-sanitizer/issues/detail?id=26 )
- eliminates contention in SyncTab
- eliminates contention in internal allocator during allocation of sync objects
- removes a bunch of ad-hoc code in java interface
- reduces java shadow from 2x to 1/2x
- allows to memorize heap block meta info for Java and Go
- allows to cleanup sync object meta info for Go
- which in turn enabled deadlock detector for Go
llvm-svn: 209810
2014-05-29 13:50:54 +00:00
15d71b598e
[sanitizer] Replace -lpthread with -pthread in tests.
...
-lpthread does not work on Android.
llvm-svn: 209735
2014-05-28 13:13:30 +00:00
96ebc5d7db
tsan: deflake test
...
llvm-svn: 209290
2014-05-21 12:02:08 +00:00
41c7302888
[TSan] Improve support for running TSan test suite with GCC-TSan.
...
Test results with GCC-4.9.0: 78 expected passes, 74 unexpected failures.
llvm-svn: 209014
2014-05-16 20:33:56 +00:00
36132035ca
[CMake] Don't build libcxx_tsan with compilers other than Clang
...
llvm-svn: 209003
2014-05-16 18:22:04 +00:00
1ee7fc7a1a
Fix typos
...
llvm-svn: 208841
2014-05-15 02:22:34 +00:00
5716928ae2
[TSan] Build TSan-instrumented version of libcxx and use it in lit tests.
...
TSan can produce false positives in code that uses C++11 threading,
as it doesn't see synchronization inside standard library. See
http://lists.cs.uiuc.edu/pipermail/cfe-dev/2014-February/035408.html
for an example of such case.
We may build custom TSan-instrumented version libcxx to fight with that.
This change adds build rules for libcxx_tsan and integrates it into
testing infrastructure.
llvm-svn: 208737
2014-05-13 22:30:16 +00:00
4a6cac4382
[libsanitizer] Use internal_fork() to spawn the symbolizer process.
...
This should fix https://code.google.com/p/thread-sanitizer/issues/detail?id=61
llvm-svn: 208707
2014-05-13 16:17:54 +00:00
b8aae5405b
Add %run to all lit tests
...
llvm-svn: 207709
2014-04-30 21:34:17 +00:00
56a18f02ea
tsan: better reports for "read lock of a write locked mutex"
...
llvm-svn: 207209
2014-04-25 08:58:23 +00:00
e296164f77
tsan: improve "read unlock of a write locked mutex" report
...
llvm-svn: 207208
2014-04-25 08:21:30 +00:00
66dbbbc47b
tsan: fix tests
...
failure:
http://lab.llvm.org:8011/builders/llvm-clang-lld-x86_64-centos-6.5/builds/3747/steps/test/logs/stdio
llvm-svn: 207207
2014-04-25 08:13:45 +00:00
2c87108a42
tsan: better report for bad mutex unlocks
...
+ fixes crashes due to races on symbolizer, see
https://code.google.com/p/thread-sanitizer/issues/detail?id=55
llvm-svn: 207206
2014-04-25 07:55:11 +00:00
ea014b787a
tsan: add new test for commit 207204 (forget to add new file)
...
llvm-svn: 207205
2014-04-25 07:49:36 +00:00
ac81ee5533
tsan: fix atexit handling after fork
...
fixes issue http://code.google.com/p/thread-sanitizer/issues/detail?id=57
llvm-svn: 206980
2014-04-23 13:42:16 +00:00
b1edac069e
tsan: more precise check for "app memory" in COMPAT mode
...
this fires when a user makes mmap with fixed address (see the test)
llvm-svn: 206952
2014-04-23 07:01:02 +00:00
5e52f3a142
tsan: deflake test
...
ocasionally it fails with a slightly different report:
WARNING: ThreadSanitizer: signal handler spoils errno (pid=3674)
#0 MyHandler(int, siginfo*, void*)
...
#4 __tsan_free_hook
#5 main signal_errno.cc:40
llvm-svn: 206754
2014-04-21 14:21:24 +00:00
10d4b14a16
tsan: add benchmark that allows to investigate shadow memory consumption
...
llvm-svn: 206578
2014-04-18 10:37:39 +00:00
77d8793fa6
[tsan] Fix output tests.
...
llvm-svn: 206031
2014-04-11 13:01:20 +00:00
652cbd7c15
[tsan] Fix false positive on xdr*_create.
...
llvm-svn: 206030
2014-04-11 12:29:24 +00:00
1d66c4d5b7
tsan: improve error message in test
...
we've seen a flake on this test
next time it happens we will be able to gather some info
llvm-svn: 205619
2014-04-04 09:52:41 +00:00
28f30b4176
[TSan] Make this test more portable
...
llvm-svn: 205300
2014-04-01 11:51:50 +00:00
432c46bf70
[sanitizer] one more stress test for the deadlock detector; this one stresses the slow path with a global lock
...
llvm-svn: 205299
2014-04-01 11:35:55 +00:00
0315b52444
[TSan] Follow-up for r205175: typo fix in the test.
...
llvm-svn: 205176
2014-03-31 10:51:13 +00:00
e31dd3473e
tsan: deflake test
...
llvm-svn: 204824
2014-03-26 15:51:11 +00:00
4bfb4cb1e7
tsan: add pthread_barrier_t test
...
llvm-svn: 204810
2014-03-26 14:13:49 +00:00
775b11cc53
tsan: reduce default number of threads in benchmarks
...
buildbots seem to OOM with that many threads
llvm-svn: 204610
2014-03-24 15:23:05 +00:00
238bd23534
tsan: add benchmarks for synchronization handling
...
llvm-svn: 204608
2014-03-24 14:32:59 +00:00
3df5d87da4
[sanitizer] print threads in deadlock report
...
llvm-svn: 204461
2014-03-21 13:00:18 +00:00
7317d9499b
[sanitizer] more human-readable deadlock reports
...
llvm-svn: 204454
2014-03-21 11:37:43 +00:00
454abc0093
tsan: deflake test
...
llvm-svn: 204340
2014-03-20 13:27:11 +00:00
1af191e1f4
tsan: add test for second_deadlock_stack flag
...
llvm-svn: 204240
2014-03-19 15:00:38 +00:00
2ea796e05f
[sanitizer] deadlock detector: a) initial support for suppressions, b) be more robust in case we failed to extract a stack trace for one of the locks
...
llvm-svn: 204225
2014-03-19 12:26:33 +00:00
eac8cc7a42
tsan: fix flaky test
...
llvm-svn: 204119
2014-03-18 06:37:31 +00:00
5c0171b811
[sanitizer] a bit more informative deadlock detector report (still lots to improve)
...
llvm-svn: 204115
2014-03-18 05:56:14 +00:00
f01c094cdd
[sanitizer] reverse the order of the stack traces printed for every pair of locks in the deadlock report (first print the 'from' node, then print the 'to' node of the deadlock graph)
...
llvm-svn: 204043
2014-03-17 14:56:04 +00:00
8976539627
[sanitizer] make the deadlock detector print 2*N stack traces on lock-order-inversion with N locks (i.e. print stack traces for both lock acquisitions in every edge in the graph). More improvements to follow
...
llvm-svn: 204042
2014-03-17 14:41:36 +00:00
779ccf3b2c
[sanitizer] one more output test for the deadlock detector
...
llvm-svn: 204036
2014-03-17 09:32:48 +00:00
b9cb473fb8
[sanitizer] fix build warnings; add an output test for the deadlock detecor
...
llvm-svn: 204035
2014-03-17 09:21:41 +00:00
a02fac7bec
tsan: update the test since the bug is fixed
...
http://llvm.org/bugs/show_bug.cgi?id=19113 is fixed, so enable the better CHECK
llvm-svn: 203784
2014-03-13 10:54:16 +00:00
de3f20cf4b
[sanitizer] support recursive rwlocks in bitset-based deadlock detector
...
llvm-svn: 203779
2014-03-13 10:26:03 +00:00
8c0f86e307
tsan: fix handling of pthread_cond_wait in presence of pthread_cancel
...
if the thread is cancelled in pthread_cond_wait, it locks the mutex before
processing pthread_cleanup stack
but tsan was missing that, thus reporting false double-lock/wrong-unlock errors
see the test for details
llvm-svn: 203648
2014-03-12 09:48:14 +00:00
47fd6179b1
tsan: add disabled test for http://llvm.org/bugs/show_bug.cgi?id=19113
...
llvm-svn: 203646
2014-03-12 08:24:49 +00:00
811d16c953
tsan: prevent actual deadlock in deadlock detector test
...
llvm-svn: 202502
2014-02-28 14:34:25 +00:00
eae464f911
[sanitizer] speedup deadlock detector for the case when we acquire the first lock in a thread
...
llvm-svn: 202492
2014-02-28 11:56:14 +00:00
afc4f2af76
[sanitizer] speedup deadlock detector for the case when we destroy a mutex that has never been locked
...
llvm-svn: 202487
2014-02-28 10:59:33 +00:00
371639ea1f
tsan: deflake test
...
llvm-svn: 202484
2014-02-28 10:47:07 +00:00
261993ad1a
[sanitizer] a test for recursive rwlock and deadlock detector (currently fails)
...
llvm-svn: 202480
2014-02-28 10:03:51 +00:00
Dmitry Vyukov