Analysis of Boost mutex