Cheddar : a Flexible Real Time Scheduling Framework

8 downloads 12134 Views 1MB Size Report
tional conference Proceedings, November 14–18, 2004, Atlanta, Georgia,. USA. contrary ... ulers and task activation patterns, the Cheddar simulation engine is flexible .... We call this delay the maximum memorization delay. We can apply ...
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: ;BNO) /P EQ, +R /  , ;= !+$H, ! SO 7I; 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!+EDO! 5, n3+ (! D$C, Ž/,  N0U , 7/ b)5n! ER' 3$C, /eR /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 , +HB +/+$+  yi3C !!;3C, &ET W ,8|Lt/w~U€M)$+,W 70U =;  H E;3`n, >O,  $+B … D, >7G,7K  b, Z)5O  ; @L0= b E+LSb09/  b, > 35B  ZAO35 EL, &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 + H9/ /Z!  , ; ;B +/+$++e+!! EN 8, )57, >r!Jy,K/B b$+L,K 0M, ; 0U A3+ !;3+, &rHB +/+$+B T 
-, 39 $++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$+, A 0p, ;E. “ LS( ­/¢4£7­!¦©/µe¦°E­/?ª >C¦­!ª:¯5²N©!£+° ­/ª:¯5²Z+! )5!s  / + 0W3+ !+Y/\,>b , & ,  Eb3,,  %`C-,Ol[ 35B  CE 435B'   +7 c‚zp E EG3C (!!„+.W6H35  +K, >A 7, &E, / E+LSa EF j35B  CF J‚zp E 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,  EK RC!!S(/G)(SG N`C35 E+!+' ,   + EmC!!S(.p]^0!! S( E, +T+ M/RCY+=;   ! ;3`N, >…, &E,  EJ3,,  n…, n!,  E‰yi`jl35 ' ECb,>5 HC E;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ËZC3!S+7Q`+;3R 0=6 h ]{K?ƒrˈ\B +/+$+++. 2 +8-SC-, !mME+T 0sˆ%, >9 + E-, /R)(SO EA3C (!! /. 2 + 3C (!! Z /OÚ7t ÇDw% $+I ER, T3, L,  EÇDwDO, +=,% /&r7@Y+`C/\3+   ,^SQlÚ%} Ç@t7 , +D E +!-,83+   L,SZ!&r!, >Z ZÚ7t ÇDwOA, D /rD  $En Z(,  3+ , !\,H@$+,  E\, ;E. 2 H!&r,M, )+83C +$/;)SO, A@$+1, = ! C9!&r,   !, !N, Z,>b`C!!$+,  QN 1, /N, Z E)-!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 +$+!/—
 /ECN b0U H3+ E35B, !. 2 =01 ;O  I)5!;+! /@, K)5T 35! n_`C)+E. œWS\ E35! LS;C@|t/Ë~. 2 K0U!, $+  r (, ; ! E$(,A, %/ D 0 C E;LSe B, & , !Z, >7| } ˆ~. fC! E /, O$, p!+EI$3+35 , s+-, )$C, /KB +/+$+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 >CA’8+BHzI !/+!+! ?9 E+-, (, 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+E8 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+76HSCT fC  Dœ9$C [ !.]^Z, %ž%6=,Rf(SC-, !;=G68B E3! ! 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Á