Re: [Boost-users] Priority queue (lock-free)