Lines Matching defs:ThreadSanitizer

1 ThreadSanitizer
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 the following OS:
60 Currently, ThreadSanitizer symbolizes its output using an external
66   WARNING: ThreadSanitizer: data race (pid=19219)
81 ThreadSanitizer is enabled.
89     // code that builds only under ThreadSanitizer
96 Some code should not be instrumented by ThreadSanitizer.  One may use the
98 (non-atomic) loads/stores in a particular function.  ThreadSanitizer still
116 ThreadSanitizer supports ``src`` and ``fun`` entity types in
126 * ThreadSanitizer uses more real memory than a native run. At the default
130 * ThreadSanitizer maps (but does not reserve) a lot of virtual address space.
141 ThreadSanitizer is a bug detection tool and its runtime is not meant to be
143 ThreadSanitizer's runtime was not developed with security-sensitive
149 ThreadSanitizer is in beta stage.  It is known to work on large C++ programs