Priority queue: Difference between revisions