Kernel and application partitioning for EDF schedule feasibility

This paper presents a study on the feasibility of joint kernel and application partitioning. In the design of embedded systems, it is customarily the application that is partitioned between hardware and software implementation. However, it is also possible to partition the operating system/kernel. Due to the kernel's high invocation frequency, small reductions in its execution time can lead to significant gains in schedule feasibility. In this paper, partitions are evaluated based on their contribution to feasible scheduling by the Earliest Deadline First (EDF) policy. The results indicate that it is important to evaluate schedule feasibility during partitioning and that partitioning the kernel can contribute significantly to schedule feasibility.

[1]  Edward A. Lee,et al.  A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem , 1994, CODES.

[2]  Jürgen Becker,et al.  HiPART: a new hierarchical semi-interactive HW-/SW partitioning approach with fast debugging for real-time embedded systems , 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).

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

[4]  Charles M. Fiduccia,et al.  A linear-time heuristic for improving network partitions , 1988, 25 years of DAC.

[5]  Douglas M. Blough,et al.  A Hardware-Software Real-Time Operating System Framework for SoCs , 2002, IEEE Des. Test Comput..

[6]  Frank Vahid,et al.  Modifying min-cut for hardware and software functional partitioning , 1997, Proceedings of 5th International Workshop on Hardware/Software Co Design. Codes/CASHE '97.

[7]  Wayne M. Loucks,et al.  Real-Time Kernel Support for Coprocessors: Empirical Study of an SoPC , 2003, Embedded Systems and Applications.

[8]  Sofiène Tahar,et al.  A survey on system-on-a-chip design languages , 2003, The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, 2003. Proceedings..

[9]  Wayne P. Burleson,et al.  The spring scheduling coprocessor: a scheduling accelerator , 1999, IEEE Trans. Very Large Scale Integr. Syst..

[10]  Giovanni De Micheli,et al.  Program implementation schemes for hardware-software systems , 1994, Computer.

[11]  Frank Vahid,et al.  Towards a model for hardware and software functional partitioning , 1996, Proceedings of 4th International Workshop on Hardware/Software Co-Design. Codes/CASHE '96.

[12]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

[13]  Diederik Verkest,et al.  Co-Design of DSP Systems , 1996 .