On Schedulability Bounds of Weighted Round Robin Schedulers

We derive a closed-formed schedulability bound for weighted round robin schedulers. The schedulability bound is parameterized for protocol overhead ratio α which measures the portion of time consumed in protocol operations per round, normalized token rotation frequency γ which measures the number of token rotations per Dmin (the shortest relative deadline of the tasks) time interval, the normalized deadline k , which measures the tightness of deadline assignment, the tasks set workload smoothness µ which measures the burstness of the workload. Individual schedulability bounds can be easily obtained by simply plugging in these parameters.