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

I think this is not necessary.
Removed.