Analysis techniques for supporting harmonic Real-Time tasks with suspensions

作者：Liu Cong^*; Chen Jian Jia; He Liang; Gu Yu

来源：26th Euromicro Conference on Real-Time Systems, ECRTS 2014, 2014-07-08 To 2014-07-11.

DOI：10.1109/ECRTS.2014.17

• Analysis techniques
• Hard real-time systems
• Multi-processor schedulability
• Rate-monotonic scheduling
• Real-time tasks
• Schedulability
• Schedulability test
• Shared resources

In many real-time systems, tasks may experience suspension delays when they block to access shared resources or interact with external devices such as I/O. It is known that such suspensions delays may negatively impact schedulability. Particularly in hard real-time systems, a few negative results exist on analyzing the schedulability of such systems, even for very restricted suspending task models on a uniprocessor. In this paper, we focus on the particular case of hard real-time suspending task systems with harmonic periods, which is a special case of practical relevance. We propose a new uniprocessor suspension-aware analysis technique for supporting such task systems under rate-monotonic scheduling. Our analysis technique is able to achieve only Theta(1) suspension-related utilization loss on a uniprocessor. Based upon this technique, we further propose a partitioning scheme that supports suspending task systems with harmonic periods on multiprocessors. The resulting schedulability test shows that compared to existing schedulability tests designed for ordinary non-suspending task systems, suspensions only results in Theta(m) additional suspension-related utilization loss, where m is the number of processors. Furthermore, experiments presented herein show that both our uniprocessor and multiprocessor schedulability tests improve upon prior approaches by a significant margin.

• 出版日期2014
• 单位Singapore University of Technology and Design; Karlsruhe Institute of Technology (KIT); Karlsruhe Institute of Technology(KIT); The University of Texas