Lines Matching refs:ThreadSanitizer

1 ThreadSanitizer  title
7 ThreadSanitizer is a tool that detects data races.  It consists of a compiler
9 ThreadSanitizer is about **5x-15x**.  Typical memory overhead introduced by
10 ThreadSanitizer is about **5x-10x**.
20 ThreadSanitizer is supported on Linux x86_64 (tested on Ubuntu 12.04).
53 Currently, ThreadSanitizer symbolizes its output using an external
59   WARNING: ThreadSanitizer: data race (pid=19219)
74 ThreadSanitizer is enabled.
82     // code that builds only under ThreadSanitizer
89 Some code should not be instrumented by ThreadSanitizer.  One may use the
91 (non-atomic) loads/stores in a particular function.  ThreadSanitizer still
99 ThreadSanitizer supports ``src`` and ``fun`` entity types in
109 * ThreadSanitizer uses more real memory than a native run. At the default
113 * ThreadSanitizer maps (but does not reserve) a lot of virtual address space.
124 ThreadSanitizer is in beta stage.  It is known to work on large C++ programs