[Boost-users] circular buffer in a multithreaded program