Improving scheduling for high priority threads