132 Energy-Aware Memory Management for EMSs
Pairs of consecutive accesses to the same memory element can be obtained
from dataflow analysis (Section 4.2.2), where now no distinction is made
between read and write accesses and all accesses are treated as both potential
sources and potential sinks. Depending on the desired accuracy of the analysis,
the access relations may need to be composed with allocation relations that
map array indices to memory elements or even cache lines. The dataflow anal-
ysis yields a set of relations R
r→s
of consecutive accesses, one for each pair
of references r and s. Note that the domains of these relations for fixed r but
varying s are disjoint because any given access has exactly one next access,
which may be an instance ...