k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests

TL;DR

The paper introduces the k2U framework, a versatile method for deriving utilization-based schedulability tests from k-point effective tests, applicable to various task models and scheduling scenarios in real-time systems.

Contribution

It presents a general, blackbox-based framework that automatically generates utilization tests for diverse real-time task models under fixed-priority scheduling.

Findings

Applied to multiple task models, producing improved schedulability tests.

Provides quadratic and hyperbolic bounds for utilization and speed-up factors.

Applicable to both uniprocessor and multiprocessor scheduling scenarios.

Abstract

To deal with a large variety of workloads in different application domains in real-time embedded systems, a number of expressive task models have been developed. For each individual task model, researchers tend to develop different types of techniques for deriving schedulability tests with different computation complexity and performance. In this paper, we present a general schedulability analysis framework, namely the k2U framework, that can be potentially applied to analyze a large set of real-time task models under any fixed-priority scheduling algorithm, on both uniprocessor and multiprocessor scheduling. The key to k2U is a k-point effective schedulability test, which can be viewed as a "blackbox" interface. For any task model, if a corresponding k-point effective schedulability test can be constructed, then a sufficient utilization-based test can be automatically derived. We show the generality of k2U by applying it to different task models, which results in new and improved tests compared to the state-of-the-art. Analogously, a similar concept by testing only k points with a different formulation has been studied by us in another framework, called k2Q, which provides quadratic bounds or utilization bounds based on a different formulation of schedulability test. With the quadratic and hyperbolic forms, k2Q and k2U frameworks can be used to provide many quantitive features to be measured, like the total utilization bounds, speed-up factors, etc., not only for uniprocessor scheduling but also for multiprocessor scheduling. These frameworks can be viewed as a "blackbox" interface for schedulability tests and response-time analysis.