Displaying 3 results from an estimated 3 matches for "tsan_debug_output".
2017 Jul 10
4
Using TSAN along with custom llvm IR pass
...ther the code is somehow ends up being non-instrumented, or
2. tsan does not consider what it sees a data race, or
3. the data race is masked by unrelated synchronization.
For 1 you can check that the resulting code in fact contains __tsan_* callbacks.
For 2 and 3 you can rebuilt tsan runtime with TSAN_DEBUG_OUTPUT=2
define, then it will print everything it sees (memory accesses and
synchronization). This output will allow us to figure out why it does
not report a race.
2017 Jul 10
1
Using TSAN along with custom llvm IR pass
...eing non-instrumented, or
> 2. tsan does not consider what it sees a data race, or
> 3. the data race is masked by unrelated synchronization.
>
> For 1 you can check that the resulting code in fact contains __tsan_*
> callbacks.
> For 2 and 3 you can rebuilt tsan runtime with TSAN_DEBUG_OUTPUT=2
> define, then it will print everything it sees (memory accesses and
> synchronization). This output will allow us to figure out why it does
> not report a race.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/l...
2017 Jun 28
1
Using TSAN along with custom llvm IR pass
On Tue, Jun 27, 2017 at 6:00 PM, Dmitry Vyukov <dvyukov at google.com> wrote:
> On Tue, Jun 27, 2017 at 4:18 PM, Nischai Vinesh
> <nischai.vinesh at gmail.com> wrote:
>> Hello,
>>
>> I have written a custom pass to do some tasks and I want to run this pass on
>> a source code file along with TSAN instrumentation.
>>
>> Steps I followed: