procedure FlushReload (addr, thr)
accessed =
while (true) do
flush (addr)
wait
= time
access (addr)
= time
if tx < thr then
accessed. append
else
accessed. append
end if
end while
return accessed
end procedure
Algorithm 2: Flush + Reload.