Always Higher Priority

In this section, we define what it means for a job to always have a higher priority than another job.

Consider any type of jobs ...

... and any JLDP policy.

We say that a job j1 always has higher priority than job j2 if, at any time t, the priority of job j1 is strictly higher than the priority of job j2.