3. NUMA-aware Claim Sets

Design and implementation of NUMA-aware claim sets.

Status: Draft for review

This design first introduces the external behaviour of claim sets: how claims are installed, how they protect allocations, and how they are redeemed. It then covers the underlying accounting model and implementation details.

For readers following the design in order, the next sections cover the following topics:

  1. Use Cases describes the use cases for claim sets.

  2. Development History provides the development’s historical context

  3. Claims Design introduces the overall model and goals.

  4. Claim Installation Paths explains how claim sets are installed.

  5. Protection of Claims describes how claimed memory is protected during allocation.

  6. Redeeming Claims explains how claims are redeemed as allocations succeed.

  7. Claims Accounting describes the accounting model that underpins those steps.