
92 Energy-Aware Memory Management for EMSs
x
y
2
8
4
L
4
L
5
L
6
L
2
L
3
x
y
1286420
L
1
1286420 L
1
1286420 L1
974206420
x
y
2
8
4
L
2
L
3
x
y
0
2
8
4
L
3
x
y
2
8
4
L
4
L
5
L
6
L
3
x
y
2
8
4
L
5
L
3
2
(b)(a)
(d)(c)
(e) (f)
Figure 3.10 (a) The decomposition of the array space of signal A (Example
3.8) in 6 disjoint lattices L
1
,... ,L
6
. (b–f) The live lattices of signal A after
the first, respectively, second, third, forth, and fifth loop nest (Example 3.8).
3.4.4 Computation of the lattice size
The size of an LBL is the number of m-dimensional points in the lattice. If the
LBL represents an array reference, the size of an LBL is a tight (reachable)
lower bound of the data memory needed to store the lattice, assuming ...