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 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
106 ThreadSanitizer supports ``src`` and ``fun`` entity types in
116 * ThreadSanitizer uses more real memory than a native run. At the default
120 * ThreadSanitizer maps (but does not reserve) a lot of virtual address space.
131 ThreadSanitizer is in beta stage.  It is known to work on large C++ programs