[boost] [boost thread rework] consider user-supplied instrumentation of synchronization primitives