[Boost-users] Shared mutex vs normal mutex