[Boost-users] [thread] win32 mutex optimization