Double-ended Priority Queue (C++, Boost candidate)