Cheddar : a Flexible Real Time Scheduling Framework

Cheddar : a Flexible Real Time Scheduling Framework F. Singhoff, J. Legrand, L. Nana, L. Marce´ EA 2215, University of Brest 20, av Le Gorgeu Cedex 
 CS  93837,

  29238

 Brest  !"#% $&('*)+3  !
-,/. 01

ABSTRACT

2 +
43354+!
 )5!
4 76890:;%/!@?9 +/+G0H / I, ;; 3+3/,  J;!,
KL,
, ;35  M! 
-, (,
!. 2 +;0: ;BN
O)
/PEQ, +R /  , ;=
 !+$H, !SO 7
I;E
-, LSDC
! C)+$+ [
! 
  /R !
 $+ !!
A;;!

E!
!. ?9 +/+D3C &CC!
%0U!
)L,SN, !
-,
KN, +@/
!
D 09;E+E3+ ' !

 / 5O$L, 3+ (!

 % Z+
-, )$C, /\
-SC
-, !;
!.M]^,8 
;3C  ' &+
8@_`C)D
@$,  F!+ED
O
! 5, n3+ (!

 D$C, Ž/,  N0U , 7/ b)5n!ER' 3$C, /e
R
 /C$/…
8 7  ; !


ì

ðƒè}  5 

ðqè}  5Äï‰t \, +K , +H/

!. 2 +Z, C !Z0:/
)L,Sj, !
-,
;3+ 
!(, /a )5&rF F&  a0:  3C !!;3C, &EHY+`+!R3+   L,S
 !+$
W
!.=80 E$+


5@  O$+@)59 0 !
$+,
H`C
-,
T0U 8 , +H
B +/+$+
yi3C !!;3C, &ET W ,8|Lt/w~U€M)$+,W
70U=; HE;3`n,
>O
,

$+B …
D,
>
7G
,7
K
 b, Z)5O  ; @L0= bE+LSb09/  b,
> 35B Z
AO35E
L, &rK(, !EHO$L, 3%0 
 A,
>35 L' C
!.

,
>
=+
 0=3+ E35B, 
D/ Q 
F)5@ B>r!b…+!E+
F|Lt/~= R)+$+ [ $+, Ž/,  n0U , A| }ˆ~:€B. 2 +W
-SC
-, !‘+!
 pR3+  , !
!. 2 +%!C%E&re + H
9/ /Z!  , ; ;
B +/+$++e+!!
EN 
8, )57, >r!Jy,K/B b$+L,K0M, ; 0UA3+ !;3+, &rH
B +/+$+B
T 
-,  3
9 $++O , %E\3+ !!;3C, &r%/
€B. 2 b£C¬:£C°E­/ª1¯5²†©!£C°E­/ª1¯5²W.m]X, +
Z
!B,  s H, G
 /C$
@$+1,  \! +QC!!+
eX
  $d !!!&r , %3+ (!!

%0: A, K+`,A$+,
A0p, ;E. “ LS( ­/¢4£7­!¦©/µe¦°E­/?ª >C¦­!ª:¯5²N©!£+° ­/ª:¯5²Z+!
 )5!
s /
+
 0W3+ !+Y/\,
>b , & , Eb3,,  
%`C
-,Ol[ 35B CE 435B'  +7 c‚zpE

EG3C (!!

„+.W6H35 +K,
>
A 7, &E, / E+LSaEF j35B CF J‚zpE

Ed3+ (!!

„N,
>
;/c)5  B, & , !…
!&rW, ;!
!.Z]Q, +;/
e 0A35 C,
>
! p,^ , & , E+
A KC!!S(/)S;7Y+`+!e;E$+,9 0 , ;@/!…

  G/ç É / .R]^N, +R/
; 0Tzp 

EJ3+ (!

D,
>
! ,G, &E, E
K RC!!S(/G)(SG N`C35E+!+' ,   +EmC!!S(.p]^0!!

S( E, +T+
 M/RCY+=;   ! ;3`N,
>…, &E, EJ3,,  
n…, 
n
!, E‰yi`jl
35' ECb,
>5 HCE;LSX, &E, /d,
>5 H)$C
-,e 0n B, & ,  
! ... €B. {%/
!. ,
> 3, L, Esyi1€è%!$+ !(, , +!FSC ; 3C  L,Syi1€Bl è8,
>
!. 3C   L,Syi1€3 
7SC ; 3+  ,^Syi:€Bl èK w 3 ,
>C
!.  / CSyi1€Bl è80i 
3 !ZL0g3 !e( " 3 3 t 3 , ; 3, L, Esl è8, ; 3, ,  +' 

,  E 
!, El  , $+ Z  ` ,  +`yCSC ; 3+   L,^S€3 Ì ª:Í5±4§£h[ÎiVK§¯s° £+©/©X¦²p¤Ð½4¦§­/ª:­/ª1¯5²–©/° ¢4£C¤p±4¬UªU²4Í ¡ [¸»Q©!®4©!­£³ 8 OjXZb\

ª:²†¦²

3.2 Looking for ad-hoc properties Ì ª:ͱ4§£Q¸[Î

8

²j£ Ws¦³P½¬:£G¯¨

8 OYXFZb¡\[¸»Q©/°¢4£C¤p±p¬UªU²sÍ

“  $+ eËZC
3!S+
7Q`+;3R 0=6 h ]{K?ƒrˈ\
B +/+$+++. 2 +8
-SC
-, !m
ME+T0sˆ%,
>
9 +E
-, /R)(SOEA3C (!!

 /. 2 + 3C (!!

Z/OÚ7t ÇDw% $+
IER, T3, L, EÇDwDO, +=,
% /&r7@Y+`C/\3+  ,^SQlÚ%} Ç@t7
, +D E +!
-,83+   L,SZ!&r!,
>Z ZÚ7t ÇDwO
A, D/rD  $En Z(,  3+ , !\,H
@$+, E\, ;E. 2 H!&r,M, )+83C +$/;)SO, A
@$+1,  = ! C
9!&r,
 !, !N, Z,
>b`C!!$+,  QN 1, /N, ZE)-!B,
7, ,K,
>
 !!

!.9gM&r,AB`;3!
T
-,  /\\, 
=,)D/ \)5Rl

7

gM&r,
O3+ C$!/…Q)5!!E;
@ /ES…, b $ yi!&r!(,jI L_^-` L cI-Ébk L I-É / âs€B 8X
-,,
\ F+
 $+=L,
4! 3!L,S@yi!&r!(,
^ I Lç I /l I L_^a` c L  L cÉAI (   G $â /ml I L_^-` c L  L cAÉ I ( €B

7

gM&r,
G3C +$+!/— /EC
Nb0UH3+ E35B, 
!. 2 =01 ;O 
I)5!;+!
 /@, K)5T 35! n_`C)+E. œWS\E35! LS;C
@|t/Ë~. 2 
K0U!, $+  r (, ; !E$(,A, %/
D0 CE;LSe B, & , !Z,
>
7| } ˆ~. fC!E /, 
O$, p!+EI
$3+35 ,
s+
-, )$C, /K
B +/+$+L' D
@$+, E)$C,M$

M /&r=, 7E&rH%5. $L' E
-, (>5. +Á( [} w wEˆ. | Ë/~’O.?9 B,, + oP.5fLS(   2 .5œ9 $ !(,  $+0.+ž%SC; fC !+$O 0 h / L', ; 2 
>C
A’8+BHzI !/+!+! ?9E+
-, (,
nJ . ˜.‡ €•&xH”›‡‚_—| f‡”ž|'ŸŽ"š]‡ ‹ z_f‡†zD€AxbyzD€  y‘ †'zJ€1y„ƒj&x?”Y‡F  ¡¢†xHAxA{'€£¡£y”q}D‘ AxHz ›‚]—| f‡” | }CyˆE€Blt/vCt e t!u Š+ 4f!3+, !O)5Kt!uEuEw. | ~ “ .?9 ,, ,/ æ+.ž%!   `[ 5?8. Œ 
B/ 5 ¥  ¤p.oF;; i. ‚J{'š_‡ Š‘_ x?z Yx?z¥˜.‡€£&xH”Y‡™‚]—| f‡” | .[æE ZVXS\  fC 
› ,e/+L, 
! [} w wr}(. | /~nf[.+žK!&( (S( +æ+.À%(E


! [F?8] . ’%  
-, !!.6 E 7
@$,  A 0 ! L', ;%
B +/+$++; E L, ;
!. 3E!
%}Šr} e }Šru.[z (!!/C+E
8 0p, +7} u, G68+C$  fCO$, E\fSC;35
$+F ({%B$+/ + \æ+. › ! +(!Ž!>(S(.+zI   L,^S ] + L, +!Dz  , (! 
nlW68Z6833C rB e, @ / L', ; fSC +  Ž/,  s. ‹ •£¾]†„€z]|€m{FAxbyz]|ˆyz){ y”Ž}]‘+f‡†'| ˆEu+yuE€BltEt Ë e tEt/vEË Mt/u uEwC. | } ˆ~ “ .5f+E +  æ+. › ! [ › .{%   › .5oF 5Eš . gI`, !+ h , no\E, E+76HSC

T
fC  Dœ9$C [
!.]^Z, %ž%6=,Rf(SC
-, !;
=G68B E
3! !EC0U !+!;yiž86KfC]6ƒ}wEwŠ(€B {8!E 5æ $LS\} wEwŠ+. | }Š~ 2 ;/fSC
!. . ¿"| xHzdP&xH”›‡_·°xœÀ™‰yÁ¿4zJŠm‡†| ‰€zDŠj‚]—| f‡” &xH” xHzd›«‡HƒFy† ‡ˆ—y‘°Â=‘+xH¯Šjy†ŽÂ.‘ — .CV‰ L, D3 35/ ,, 3l ÁEÁ