Support of partially supress data race detaction

[frostyplanet]

There's a concurrent technique mentioned by the OFLIT paper (https://15721.courses.cs.cmu.edu/spring2016/papers/cha-vldb2001.pdf) , which allows multiple readers and one writer (load logical version -> unsafe mem read -> validate logical version again ). Such code will trigger data race report. Is it possible to switch off the race detector for a certain block of code (with cfg attribute ), while still enable miri validation to the rest of the program.

[RalfJung]

Note that such code is buggy in Rust. Ignoring Miri's report means ignoring UB.

Disabling checks in a region of code is tricky, not sure if that would work -- the checks rely on invariants that must be maintained throughout the execution. It would be possible to disable the checks for some region of memory, but TBH I am not sure that is a good idea.