procedure FlushFlush (addr, thr)
accessed =
while (true) do
= time
flush (addr)
= time
if tx > thr then
accessed. append
else
accessed. append
end if
wait
end while
return accessed
end procedure
Algorithm 3: Flush + Flush.