Glossary term

Deadline-Monotonic Scheduling

Engineering definition of deadline-monotonic scheduling covering fixed priority by relative deadline, constrained-deadline task sets, response-time analysis and validation evidence.

Definition

method

Deadline-monotonic scheduling is a fixed-priority scheduling method in which tasks with shorter relative deadlines receive higher static priority.

Deadline-monotonic scheduling is used in real-time task sets where deadlines may be shorter than periods but a fixed priority table is still preferred for review, implementation or certification. A useful DMS analysis states relative deadlines, periods, WCET bounds, priority order, blocking assumptions, response-time calculations, release jitter, overload policy and validation evidence.

Deadline-monotonic scheduling is a fixed-priority scheduling method in which tasks with shorter relative deadlines receive higher static priority. It is used when deadlines, not periods alone, define urgency and the system still needs a stable priority table.

The method sits between rate-monotonic scheduling and earliest deadline first. Rate-monotonic scheduling orders tasks by period. Earliest deadline first orders ready jobs by changing absolute deadline. Deadline-monotonic scheduling orders tasks by fixed relative deadline and keeps that order until the task model changes.

Priority Rule

For two periodic or sporadic tasks:

\tau_i,\ \tau_j

with relative deadlines:

D_i<D_j

deadline-monotonic priority assignment gives:

P_i>P_j

where P is scheduling priority. The priority table is static, so the same task has the same priority at each release. That makes DMS easier to inspect than EDF, but less flexible when job-level urgency changes.

Constrained-Deadline Task Sets

DMS is most useful when tasks have constrained deadlines:

D_i\leq T_i

where T_i is the period or minimum inter-arrival time. If every task has:

D_i=T_i

then the deadline order and period order are usually the same as rate-monotonic scheduling. DMS becomes more distinct when at least one task has:

D_i<T_i

For example, a supervisory check may run every 8 ms but need a result within 3 ms after release. Rate-monotonic assignment may understate that urgency.

Response-Time Analysis

Because DMS is fixed-priority scheduling, it is commonly checked with response-time analysis. For task tau_i:

\displaystyle R_i^{(k+1)}=C_i+B_i+\sum_{j\in hp(i)}\left\lceil\frac{R_i^{(k)}+J_j}{T_j}\right\rceil C_j

where hp(i) contains tasks with shorter relative deadlines, C_i is WCET, B_i is blocking and J_j is release jitter from higher-priority tasks.

The task passes if the converged response time satisfies:

R_i\leq D_i

A utilization number alone is not enough, because the exact interference pattern depends on the priority order, deadlines, phasing, blocking and jitter.

Worked Priority Check

Consider three tasks:

\tau_A=(C=0.8,T=8,D=3)
\tau_B=(C=1.2,T=5,D=5)
\tau_C=(C=1.5,T=12,D=9)

Rate-monotonic order would place tau_B above tau_A because 5 ms is shorter than 8 ms. Deadline-monotonic order places tau_A first because its relative deadline is only 3 ms:

D_A<D_B<D_C

so:

P_A>P_B>P_C

For tau_A, no higher-priority task interferes:

R_A=0.8\leq3

For tau_B, one iteration gives:

\displaystyle R_B=1.2+\left\lceil\frac{1.2}{8}\right\rceil0.8=2.0

and:

2.0\leq5

For tau_C:

\displaystyle R_C=1.5+\left\lceil\frac{1.5}{8}\right\rceil0.8+\left\lceil\frac{1.5}{5}\right\rceil1.2=3.5

and:

3.5\leq9

This simple screen passes before adding blocking, interrupt load or release jitter.

Implementation Hazards

DMS is not just a renamed utilization test. The implementation must ensure that the runtime priority table matches the analyzed relative-deadline order. A later feature can silently break the evidence if it changes a task deadline without updating priority assignment and response-time calculations.

Shared resources remain important. A high-priority short-deadline task can still wait behind a lower-priority task inside a non-preemptive section or lock. Priority inheritance, priority ceiling or another resource protocol may be needed, and the resulting blocking term must appear in the analysis.

Validation Evidence

Useful evidence includes the task table, relative deadlines, periods, WCET basis, fixed priority table, response-time iterations, blocking assumptions, release-jitter bounds, trace captures, deadline-miss counters and change-control rules for priority updates.

The validated timing claim is a margin:

M_i=D_i-R_i

with:

M_i>0

for each hard-deadline task. A positive average margin is not enough if one task has negative worst-case margin.

Relationship To Neighbor Terms

Schedulability analysis is the broader decision process. Deadline-monotonic scheduling is one fixed-priority assignment rule inside that process. Rate-monotonic scheduling orders by period; DMS orders by relative deadline; EDF orders ready jobs by absolute deadline.

WCET, release jitter, non-preemptive sections, interrupt latency and priority inversion are inputs or hazards that can change the response-time result. Deadline miss is the failure event when validated timing assumptions do not hold.

Common Mistakes

The most common mistake is using DMS terminology while leaving the runtime priorities in period order. Another is assuming DMS fixes every task set with short deadlines; it still needs response-time analysis and resource blocking checks. A third is forgetting that static priority is evidence: any changed deadline, period, WCET or lock path can require a new review.

A strong DMS review states relative deadlines, priority order, task periods, WCET basis, response-time calculations, blocking terms, validation traces and change triggers.

REF

See also