Toward a Practical Regularity-based Model

Most Hierarchical Real-time Scheduling (HiRTS) techniques have focused on temporal resource partitions in which time units are periodically distributed. Although such periodic partitions could provide great flexibility for the resource-level scheduling, engineers face significant obstacles when trying to determine the schedulability of real-time tasks running on them. The main reason is that periodic partitions fail to effectively bound the difference between the ideal and the actual resource allocation. To solve this problem, some researchers introduced the Regular Partition, a type of temporal resource partition that is almost evenly distributed. Recent research has shown that it achieves maximal transparency for task scheduling—some classical real-time scheduling problems on a regular partition can be easily transformed into equivalent problems on a dedicated single resource. However, the resource partitioning problem for regular partitions is much more complicated than the one for periodic partitions. Based on a practical two-layer HiRTS platform, this article introduces MulZ (Multiple Z-seqences), which is the first to solve this problem with a partitioned scheduling strategy. By using a more complicated approximation methodology, our experimental results show that MulZ outperforms the current best global scheduling algorithm on this problem. After that, it compares the overall performance of the periodic partition and the regular partition. We conclude that the regular partition is a better choice for the integration of real-time applications.

[1]  Christopher D. Gill,et al.  Design and performance of configurable endsystem scheduling mechanisms , 2005, 11th IEEE Real Time and Embedded Technology and Applications Symposium.

[2]  Lui Sha,et al.  Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[3]  Insup Lee,et al.  Realizing Compositional Scheduling through Virtualization , 2012, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.

[4]  Mingfa Zhu,et al.  MIMP: Deadline and Interference Aware Scheduling of Hadoop Virtual Machines , 2014, 2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing.

[5]  James H. Anderson,et al.  Is Semi-Partitioned Scheduling Practical? , 2011, 2011 23rd Euromicro Conference on Real-Time Systems.

[6]  James H. Anderson,et al.  An Empirical Comparison of Global, Partitioned, and Clustered Multiprocessor EDF Schedulers , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[7]  Dimosthenis Kyriazis,et al.  Virtualised e-Learning with real-time guarantees on the IRMOS platform , 2010, 2010 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).

[8]  Insup Lee,et al.  Cache-aware compositional analysis of real-time multicore virtualization platforms , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[9]  Albert M. K. Cheng,et al.  The Value of ‘ Even Distribution ’ for Temporal Resource Partitions , 2016 .

[10]  Insup Lee,et al.  Overhead-aware compositional analysis of real-time systems , 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[11]  Aloysius K. Mok,et al.  Towards compositionality in real-time resource partitioning based on regularity bounds , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[12]  Albert Mo Kim Cheng,et al.  Regularity-Based Partitioning of Uniform Resources in Real-Time Systems , 2012, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

[13]  Sanjoy K. Baruah,et al.  Proportionate progress: a notion of fairness in resource allocation , 1993, STOC '93.

[14]  S. Shirero,et al.  On the schedulability conditions on partial time slots , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[15]  Hao Wu,et al.  Periodic resource integration , 2015, J. Syst. Softw..

[16]  Yang Xu,et al.  An Evaluation of Microkernel-Based Virtualization for Embedded Real-Time Systems , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

[17]  Sanjoy K. Baruah,et al.  Fast scheduling of periodic tasks on multiple resources , 1995, Proceedings of 9th International Parallel Processing Symposium.

[18]  Stefan M. Petters,et al.  Towards certifiable adaptive reservations for hypervisor-based virtualization , 2014, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[19]  Aloysius K. Mok,et al.  Resource partition for real-time systems , 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.

[20]  Chenyang Lu,et al.  RT-Xen: Towards real-time hypervisor scheduling in Xen , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[21]  Insup Lee,et al.  Periodic resource model for compositional real-time guarantees , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[22]  Insik Shin,et al.  SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems , 2007, EMSOFT '07.

[23]  Daniel F. Garcia,et al.  Utilization Bounds for EDF Scheduling on Real-Time Multiprocessor Systems , 2004, Real-Time Systems.

[24]  Takashi Matsumoto,et al.  On the Schedulability Conditions on Partial Time Slots , 1999, RTCSA.

[25]  Tommaso Cucinotta,et al.  Respecting Temporal Constraints in Virtualised Services , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[26]  Albert Mo Kim Cheng,et al.  Transparent Real-Time Task Scheduling on Temporal Resource Partitions , 2016, IEEE Transactions on Computers.

[27]  Insup Lee,et al.  Compositional Analysis Framework Using EDP Resource Models , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[28]  Jane W.-S. Liu,et al.  Scheduling real-time applications in an open environment , 1997, Proceedings Real-Time Systems Symposium.

[29]  Insup Lee,et al.  Compositional real-time scheduling framework , 2004, 25th IEEE International Real-Time Systems Symposium.

[30]  Albert Mo Kim Cheng,et al.  Static Approximation Algorithms for Regularity-based Resource Partitioning , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

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