[boost] david_abraham's lock in CVS