Manuscript En03-A@1 · En03-A.tex · section · 5398614e
Complete control and resource accounting
Typed interfaces and semantic configurations › Complete control and resource accounting · lines 574–580
Separate reservation is not a claim of unlimited physical memory. It is a hypothesis about which finite resource budget controls the geometric update. A global occupancy test may violate the hypothesis.