HAL Id: hal-00429669
https://hal.archives-ouvertes.fr/hal-00429669
Preprint submitted on 3 Nov 2009
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Quasi-Static Scheduling of Communicating Tasks.
Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Yang Shaofa
To cite this version:
Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Yang Shaofa. Quasi-Static Scheduling of Com-
municating Tasks.. 2009. �hal-00429669�
!"#$
%&'& ()*&+'&) ,
-
./012 3 454.16741 , '
48842 , 9
:.8;4
<
=
>
=
?@A
# B#$#
C
D
&'& ()*-+' (, -
./012 3 454.16741 ,
'
48842 , 9
:.8;4
E F
E G
H I
J
K(
; LMM
6 M
N -M
/01 O78P , +
.O7 M
8.6 Q87R4:2 7 OS MN (
78P.0 M
:4
F
T
UHV#$
W
Q +
Q
X
&& (Y, Z
.;.
M[
\]^_ `ab_
c
dde fg h
i ejklmn od klgli f pdq elf r
q l s
j r
i e i t s
i eei e uoo klgu r
ld mf uqi qi vjlqi e pdq
tii r
lmn h
uq e qi uk r
lti gd mf r
q ulm r
f ume pdq do r
ltlwlmn r
h
i jfi dp gd to j r
u r
ld muk
qi fd jq gi fx yi f r
jez rh
i {1.2 7
X
2O .O7; 2;
L
431678P oqd s
ki t lm| h
lg h }
jmgd m r
qd kku s
ki~
gd m r
qd k d|
s
q umg h
lmn f gum lmji mgi fg h
i ejklmn ei glfld mf u r
q jm r
ltix jq u s
f r
q ug r
i e elf r
q l s
j r
i e r
uf
tdei k gd mflf r
f dp u mi r
|dq
dp fi vji m r
luk oqdgi ffi f r
h
u r
gd ttjmlgu r
i luod lm r
r
d
od lm
r s
j
iq fx mi ug h
qd jme
rh
i r
uf
ni r
f ug r
lu r
i e s
zu
qi vji f r
pqd t rh
ii m lqd mti m r
xy h
i m rh
i r
uf
h
ufmlf h
i egd to j r
lmn rh
i qi vjlqi e
qi fod mfi f l r
qi ug h
i f u oqi
ei
r
iq tlmi egd m n jq u r
ld m ume lf qi uez r
d qi gi li u mi|
qi vji f r
pqd t rh
ii m lqd mti m r
xdqfjg h
fzf r
i tf|ioqdi rh
u r
ei r
iq tlmlmn rh
i i
lf r
i mgi dp u fg h
i ejklmn od klgz rh
u r
n juq um r
ii f jooiq s
d jmefd m s
j
iqguo ugl r
li flf
jmei gleu s
kixd|iiq|if h
d|
r h
u rr
h
ioqd s
ki tlfei gleu s
kipdq r
h
iltodq r
um r
fj s
gkuff dp eu r
u
s
q umg h
lmn fzf r
i tflm| h
lg h
gd m r
qd k d|
s
q umg h
lmn fuqi igkjfli kz
eji r
d eu r
u
eioi mei m r
lm r
iq muk g h
d lgi f tuei s
z rh
i fi vji m r
luk gd tod mi m r
fx h
lf
ei gleu s
lkl r
z qi fjk
r
io kd l r
f lei ufeiq li epqd t r
h
iuqoumelkkiqgdiq u s
lkl r
z r
qii
pdqi r
q lmi r
f uf|i kkuf rh
i ilf r
i m r
luk s
d jmei emi ffmd r
ld m dpkumn juni fdp ti ffuni
fi vji mgi g h
uq r
fx
4S M
:32 d ttjmlgu r
lmntug h
lmi f jufl
f
r
u r
lgfg h
i ejklmn h
ummi k s
d jmex
Z(-
!
"
"
"
!
"
#
$
$
% &' (
!)
$
% &*
(
!
+
&,-
(
%
$
.
"
!
"
"/"
"
!
&0 (
1
!
" "2
!
$
.
3
!
!
" "
"
"
!
"
!
"
"2
.
" 4 "
$
"
$
"
!
!
"
"2
"
" 5
"
"
.
.
"2
.
6 /"
!
$
.
$
7 89
.
/" : 89
$
2
"
"2
1
!
$
.
% "
;<;=
>?@A
"
"2
.
&
B(
C
<
D
;E
F
5
G" " 1
"
"
" 1 "
!
" "
" "
""
$
"2
!
$
H
$
"
1
!
"2
I
$
$
"
$
" H
I
.
J1JK
$
!
" J1JK
$
" %
"
$
"
&,(
1
!
$
"
7
1
"
" %
L
"
L
$
"
!
$
/" "
$
MNN
" 1 /"
!
" "
O
D M
FPQF@
M
@PR
" 1
!
" "
S
dqqi fod melmn uj rh
dqxTeeqi ffU V WTuto jfei Xi ujkli jVi mmi fq umgix
Y
/.76 .33:42242 euqd mei ujZlq lfuxpq }
h
lklooi [uqd mei uj~
s
ni mi f r
Zlq lfuxpq
}
Xkulfi c
i mi f r
~
rh
lun jZgd toxmjfxi ejxfn }
xWx h
lun uq u
\
um~ zfpZllf r
xjmjxi ej
}
W h
udp u ]umn~x
^
ydq
ed mi ufo uq r
dp rh
iTffdglu r
i ei ut[Wx
_
ydq
fjoodq r
i e s
z rh
i T
V
W
`
[Wx
[
ydq
ed mi | h
lki s
i lmnu a
klu r
i e| l r
h
V WTb
V Tumefjoodq r
i e s
z
V
`
T
`
T c
`
[x
8"
9 "
$
MN
P
E " J
!
" /"
C
=
D NM
C
" " " "
<
D
;E =E "
/"
1 "
!
"""""
"
"2 " "
5
$
"
$
" /"
.
"
"
"
$
.
""
$
"
.
$
"" ""
"2
"":
$
8
.
9
5
$
.
!
2
%
$
" /"
.
" "
&, (
"
$
!
" "
"
"
"
/" &
(
"
/" &, (
"
!
"
" " H "2 1
$
%
$
H
"
!
"
"
$
$
%
!
$
"
$
"
.
"
"
%
"
.
"
"
)
$
%
&*(
1
$
""
"
" "
.
" 8 9
"
"
8 &,, (
"
9
$
%
&'(
"
"
.
#
$
4
" "
$
"
!
"
&' (
!
&B (
"
2 4 +1
"
$
"
!
"
4 +1
$
% &,' (
+ 6/"
.
3# +
$
$
"
" &,' (
"
$ %
&B (
$
$
!
" " &,' (
!
"
"
!
$
"
1
!
$
$
8 9
+ K""
&
B(
!
"
"
K"
"
"
"
&'
(
!
"
1
!
" /"
.
"
&B
!
,,
$
% &,-
&B
"
8"
9
.
"
"" +
"
J1JK
!
.
2
%
"
&, (
$
.
"
&
(
$
%" "
&,(
$
"
.
"
"
$
"
"
"" J1JK
1
$
"
/"
.
" 0
"
"
.
B
.
$
/"
.
""
" H " "
&- (
"
!
$
4
.
!
$
"2 "2
!
$
"
!
FCR
8 9 E
F@
8 9
.
5
FCR 8 9
E
F@
8 9
J
L
!
$
FCR 8 9
L
E
F@
8 9
L
!
"2
$
J
L
!
$
5 "
$
L
!
"
$
"
.
#
$
!
#
$
$ #
$
$
"
L J L
!
$
%
%
$
L
!
J
!
$
&
' (
4
@ M
F) FAF@
=
>
8
#
$
$
9 "" *
8+
, -.-/
0
1
,
2
9
' (
!
$
L
! +
! , -.-/
! 0
1
3 +
4
4 +
! ,
2
4""
! ,
+
5
86
,
7
6 ,8
9
0
1
$ 6
,
,
!
$
5" ,
5/"
$
7
9 J
L
,
+
!
"
,
!
$
7
: 6
"
,
+
4
4 +
" ,
;
EM
@ M
Q E =
?
=;E =;
@
<
R
<
PR
=
:
"
9
!
$
,8
+
"
,
F
=;E
P
;
: 6
" ,
+
4
4
+
" ,
?
<NN
P
;
9
J L
!
,
2
"
$
% " 5
"
!
$
"2
$
8
"
H
"2
!
2
9
"
$
8
"9 4
"
!
$
!
"2
$
4
I
I
"
$
"
"
$
"
8"
9 "
!
" 2 "
$
" 5
J
!
$
"
.
"
$
" % " "2
$
!
" "
"
.
%
$
" 8 9
!
8""
)
$
%9
J
!
$
"
E =
@
=
C>P
;
PF@PR
!
L
!
,
+
! 8,
7,,,
9
! 8,
7','
9 0
1
!
7,
7'
,,
,'
$
!
" "
.
*
$
$
$
4 " *
8,9
$
,
' (
+
"2
.
8 9
"
5
' (
+
N<MN 5
$
&
' (
+
" ,8L9 +
L 5
"
!
$
$
,
,8L9
P
;
P@P
MN "
*
8, -.-/9
$
, -.-/8L9
, -.-/
L
!
8 9
5
8
8, -.-/9
9
$
8
9
"
3
4
4
$ 7
9
8, -.-/9
9
" 8,9 8,8L97 ,8
9 0
1
"
7
8 9 , 8,8
8
9
88,97 8,8
899
!
$
,8
8L9
,8
! ,8
8
! 9
,8
!
9
!
L
!
8
$ 7