Randomized priority algorithms