Manuscript Hawk07-A@1 · Hawk07-A.tex · section · f9c0f5da
Terminal discard, the endpoint, and three separate ledgers
Terminal discard, the endpoint, and three separate ledgers · lines 1851–1856
Operational discard can remove the residual from the returned address space without making the physical complete complement trivial. Its bookkeeping cannot be used to force leakage to zero.