Re: [Boost-users] Shared mutex vs normal mutex