upvote
Testing race conditions with mem access tracing and stack-based delay injection

(projectzero.google)