[boost] Re: lightweight mutex