A refined version of priority queue