give some more help for the unusual data races#3145

bors merged 2 commits intorust-lang:masterrust-lang/miri:masterfrom

RalfJung:data-race-errorRalfJung/miri:data-race-errorCopy head branch name to clipboard