On the Problem of Finding Optimal Harmonic Periods

Harmonic periods have wide applicability in industrial realtime systems. Rate monotonic (RM) is able to schedule task sets with harmonic periods up to 100% utilization. Also, if there is no release jitter and execution time variation, RM and EDF generate the same schedule for each instance of a task. This property decreases the jitters which happen during sampling and actuation of the tasks, and hence, it increases the quality of service in control systems. In this paper, we consider the problem of optimal period assignment where the periods are constrained to be harmonic. First, we assume that an interval is determined a priori for each task from which its period can be selected. The goal is to assign a (harmonic) period to each task such that the total system utilization is maximized while the task set remains feasible. We show that this problem is (at least) weakly NP-hard. This is shown by reducing the NP-complete number partitioning problem to the mentioned harmonic period assignment problem. Afterwards, we consider a variant of the problem in which the periods are not restricted to a special interval and the objective is to minimize the total weighted sum of the periods with the same feasibility constraint. We present two approximation algorithms for the second problem and show that the maximum error of these algorithms is bounded by a factor of 2. Our evaluations show that, on the average, results of the approximation algorithms are very close to an optimal solution.

[1]  Anton Cervin,et al.  Delay-Aware Period Assignment in Control Systems , 2008, 2008 Real-Time Systems Symposium.

[2]  Lui Sha,et al.  On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.

[3]  Chenyang Lu,et al.  Feedback Thermal Control for Real-time Systems , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[4]  Masayuki Inaba,et al.  An advanced musculoskeletal humanoid Kojiro , 2007, 2007 7th IEEE-RAS International Conference on Humanoid Robots.

[5]  Karl-Erik Årzén,et al.  Harmonic Scheduling and Control Co-design , 2016, 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

[6]  Gerhard Fohler,et al.  A Framework to Construct Customized Harmonic Periods for Real-Time Systems , 2014, 2014 26th Euromicro Conference on Real-Time Systems.

[7]  Ching-Chih Han,et al.  A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithms , 1997, Proceedings Real-Time Systems Symposium.

[8]  Jung-Min Yang,et al.  Optimal Checkpoint Placement on Real-Time Tasks with Harmonic Periods , 2012, Journal of Computer Science and Technology.

[9]  Giorgio C. Buttazzo,et al.  Sensitivity Analysis for Fixed-Priority Real-Time Systems , 2006, ECRTS.

[10]  Karl-Erik Årzén,et al.  Response Time Driven Design of Control Systems , 2014 .

[11]  Karl-Erik Årzén,et al.  Feedback–Feedforward Scheduling of Control Tasks , 2002, Real-Time Systems.

[12]  Wang Yi,et al.  Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete , 2015, 2015 27th Euromicro Conference on Real-Time Systems.

[13]  Yifan Wu,et al.  Parameter Selection for Real-Time Controllers in Resource-Constrained Systems , 2010, IEEE Transactions on Industrial Informatics.

[14]  Toby Walsh,et al.  Analysis of Heuristics for Number Partitioning , 1998, Comput. Intell..

[15]  Gerhard Fohler,et al.  An Efficient Method for Assigning Harmonic Periods to Hard Real-Time Tasks with Period Ranges , 2015, 2015 27th Euromicro Conference on Real-Time Systems.

[16]  Enrico Bini,et al.  Optimal task rate selection in fixed priority systems , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

[17]  Lui Sha,et al.  Task period selection and schedulability in real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[18]  Andy J. Wellings,et al.  Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems , 1996, Proceedings of 3rd International Workshop on Real-Time Computing Systems and Applications.

[19]  Prashant J. Shenoy,et al.  Real-time support for mobile robotics , 2003, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings..

[20]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[21]  Nobuyuki Yamasaki,et al.  Design and implementation of reconfigurable modular humanoid robot architecture , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[22]  Lui Sha,et al.  Scheduling real-time dwells using tasks with synthetic periods , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[23]  Karl-Erik Årzén,et al.  A FEEDBACK SCHEDULER FOR REAL-TIME CONTROLLER TASKS , 2000 .

[24]  A. Cervin,et al.  Optimal On-line Sampling Period Assignment for Real-Time Control Tasks Based on Plant State Information , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[25]  Friedrich Eisenbrand,et al.  Static-Priority Real-Time Scheduling: Response Time Computation Is NP-Hard , 2008, 2008 Real-Time Systems Symposium.

[26]  Nicole Megow,et al.  Polynomial-Time Exact Schedulability Tests for Harmonic Real-Time Tasks , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[27]  K.-E. Arzen,et al.  How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime , 2003, IEEE Control Systems.

[28]  Sanjoy K. Baruah,et al.  On the Optimality of RM and EDF for Non-Preemptive Real-Time Harmonic Tasks , 2014, RTNS.