[Boost-users] Question about boost mutex