title: Priority queue with dynamic item priorities
body: <p>I need to implement a priority queue where the priority of an item in the queue can change and the queue adjusts itself so that items are always removed in the correct order. I have some ideas of how I could implement this but I'm sure this is quite a common data structure so I'm hoping I can use an implementation by someone smarter than me as a base. </p>
  
  <p>Can anyone tell me the name of this type of priority queue so I know what to search for or, even better, point me to an implementation?</p>