13. 06. 2014

Using circular range for a more precise description of period compatibility for rate-monotonic schedulability tests


Dirk Müller

TU Chemnitz


For periodic task sets on a uniprocessor, the optimal fixed-priority scheduling algorithm is rate-monotonic scheduling (RMS). The shorter a task's period, the higher is its priority. For simply-periodic task sets, RMS achieves a utilization bound of 1. But this drops to the famous Liu/Layland bound of ca. 0.69 in the general case. The Burchard test calculates a refined utilization bound based on the period configuration. This test uses linear range of so-called S values for describing period compatibility. It will be shown how a change to circular range can ensure the natural requirement of scale invariance, give higher sensitivity, and -- as a side effect -- simplify the Burchard test formula.
28. Oct 2020
· Copyright © 2001-2022 Operating Systems Group, TU Dresden | Impressum ·