Instrumentation && more sync primitives && ignore atomics && reuse ids