References & Citations
Computer Science > Operating Systems
Title: k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests
(Submitted on 28 Jan 2015 (this version), latest version 14 Sep 2015 (v3))
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 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 uniprocessors and multiprocessors. The key to k2U is a k-point effective schedulability test, which can be viewed as a blackbox interface to apply the k2U framework. 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 better tests compared to the state-of-the-art.
Submission history
From: Jian-Jia Chen [view email][v1] Wed, 28 Jan 2015 12:38:20 GMT (507kb,D)
[v2] Fri, 8 May 2015 19:46:51 GMT (2576kb,D)
[v3] Mon, 14 Sep 2015 21:25:55 GMT (2578kb,D)
Link back to: arXiv, form interface, contact.