Using a priority queue for the message synchronizer