scheduler: Keep thread effective priority cached