Displaying 2 results from an estimated 2 matches for "no_sanitize_thread".
2014 May 29
4
[LLVMdev] Unifying TSan blacklist and no_sanitize_thread
...acklist once again.
TSan pass does the following:
1) instruments plain memory accesses
2) instruments atomic accesses
3) instruments memory intrinsics calls.
4) adds function entry/exit callbacks.
If a function doesn't have sanitize_thread attribute (e.g. it was annotated
with __attribute__((no_sanitize_thread)) ), then it still does (2), (3) and
(4). If a function is blacklisted,
TSan pass does nothing. Shouldn't the behavior be the same? I think, we
must always do (4) to get
good stack traces, and probably do (2) (we may report races on atomics in
this case, but otherwise
we may miss synchronizatio...
2014 May 31
2
[LLVMdev] Unifying TSan blacklist and no_sanitize_thread
...ts plain memory accesses
> > 2) instruments atomic accesses
> > 3) instruments memory intrinsics calls.
> > 4) adds function entry/exit callbacks.
> >
> > If a function doesn't have sanitize_thread attribute (e.g. it was
> annotated
> > with __attribute__((no_sanitize_thread)) ), then it still does (2), (3)
> and
> > (4). If a function is blacklisted,
> > TSan pass does nothing. Shouldn't the behavior be the same? I think, we
> must
> > always do (4) to get
> > good stack traces, and probably do (2) (we may report races on atomics in
&...