how to avoid instrumenting loads and stores introduced by cilk

[Bradley Kuszmaul]

Hi, I'm trying to using tsan to build a race detector for Cilk (which as I understand it has appeared (or will soon) appear in gcc 4.9).  Things look great, except that I need to avoid instrumenting certain loads and stores.

Here's the problem:  The compiler inserts loads and stores that operate on the Cilk runtime system.  As best as I can tell, this instrumentation comes from gcc/cilk.c  

These loads and stores are very racy looking (they are manipulating the deque for the work-stealing schedule using a lock-free algorithm) and I don't want tsan to see the calls.

The loads and stores are inserted directly (rather than via a call to a library).

Is there some way to tell tsan not to instrument these loads and stores?

-Bradley

Bradley C. Kuszmaul

bra...@mit.edu

[Konstantin Serebryany]

Dmitry replied at thread-s...@googlegroups.com

> --
> You received this message because you are subscribed to the Google Groups
> "data-race-test" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to data-race-tes...@googlegroups.com.
> To post to this group, send email to data-ra...@googlegroups.com.
> Visit this group at http://groups.google.com/group/data-race-test.
> For more options, visit https://groups.google.com/d/optout.