Title | ||
---|---|---|
FP/FIFO Feasibility Conditions with Kernel Overheads for Periodic Tasks on an Event Driven OSEK System |
Abstract | ||
---|---|---|
In this paper we show how to take into account kernel overheads in classical real-time feasibility conditions for Fixed Priority (FP) scheduling where tasks having the same fixed priority are scheduled FP/FIFO. We consider the periodic task model with arbitrary deadlines and an event driven OSEK kernel. The feasibility conditions are based on the worst case response time computation of the tasks. We identify the sources of kernel overheads that influence the response time of the tasks. In such a system the overheads are due to the context switching that activates/terminates and reschedules tasks and to the granularity of the periodic timer used to implement the periodic task model. We show how to take into account those overheads in the classical FP/FIFO feasibility conditions. We compare the worst case response time obtained with kernel overhead to the response time obtained on a real event driven OSEK implementation. We show that the kernel overheads cannot be neglected and that the theoretical results are valid and can be used for a real-time dimensioning. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/ISORC.2006.36 | ISORC |
Keywords | Field | DocType |
osek kernel,kernel overhead,response time,account kernel overhead,classical fp,fifo feasibility conditions,fixed priority,periodic task model,fifo feasibility condition,worst case response time,periodic tasks,kernel overheads,classical real-time feasibility condition,event driven osek system,real time systems,polynomials,context switching,scheduling,operating systems,real time,kernel,context modeling,job shop scheduling | Kernel (linear algebra),FIFO (computing and electronics),Computer science,Scheduling (computing),Parallel computing,OSEK,Response time,Real-time computing,Timer,Overhead (business),Context switch,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-7695-2561-X | 8 | 0.92 |
References | Authors | |
6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franck Bimbard | 1 | 11 | 2.71 |
Laurent George | 2 | 214 | 29.39 |