a contributed priority queue implementation