[in progress] Instrumentation && more sync primitives && trace

why is this necessary?
you've replicated user-space tsan logic, and it does not have such check