Hardware Reference
In-Depth Information
Although these approaches may lead to interesting results in specific applications, a
more general framework can be used to avoid a proliferation of policies and treat
different applications in a uniform fashion.
The elastic model presented in this section (originally proposed by Buttazzo, Abeni,
and Lipari [BAL98] and later extended by Buttazzo, Lipari, Caccamo, and Abeni
[BLCA02]), provides a novel theoretical framework for flexible workload manage-
ment in real-time applications.
EXAMPLES
To better understand the idea behind the elastic model, consider a set of three periodic
tasks, with computation times
C
1
=10,
C
2
=10, and
C
3
=15and periods
T
1
=20,
T
2
=40, and
T
3
=70. Clearly, the task set is schedulable by EDF because
U
p
=
10
20
+
10
40
+
15
70
=0
.
964
<
1
.
To allow a certain degree of flexibility, suppose that tasks are allowed to run with
periods ranging within two values, reported in Table 9.2.
T
i
min
T
i
max
τ
1
20
25
τ
2
40
50
τ
3
35
80
Table 9.2
Period ranges for the task set considered in the example.
Now, suppose that a new task
τ
4
, with computation time
C
4
=5and period
T
4
=30,
enters the system at time
t
. The total processor utilization of the new task set is
10
20
+
10
40
+
15
5
30
=1
.
131
>
1
.
U
p
=
70
+
In a rigid scheduling framework,
τ
4
should be rejected to preserve the timing behavior
of the previously guaranteed tasks. However,
τ
4
can be accepted if the periods of the
other tasks can be increased in such a way that the total utilization is less than one. For
example, if
T
1
can be increased up to 23, the total utilization becomes
U
p
=0
.
989,
and hence
τ
4
can be accepted.
Search WWH ::
Custom Search