3. NUMA-aware Claim Sets

Design and implementation of NUMA-aware claim sets.

Status: Implemented and tested using tests in tools/tests/mem-claim

Contents

• 3.1. Use Cases
• 3.2. Claims Design
  • 3.2.1. Design overview
  • 3.2.2. Key design decisions
  • 3.2.3. Claim sets
  • 3.2.4. Goals
  • 3.2.5. Non-goals
  • 3.2.6. Life-cycle of claims
  • 3.2.7. Historical context
  • 3.2.8. Glossary
• 3.3. Claims Accounting
  • 3.3.1. Claims accounting state
  • 3.3.2. Aggregate state
  • 3.3.3. Claims accounting invariants
  • 3.3.4. Locking of claims accounting
  • 3.3.5. Variables and data structures
  • 3.3.6. Claims Accounting Diagram
• 3.4. Claim Installation Paths
  • 3.4.1. Claim sets
  • 3.4.2. Claim set installation
  • 3.4.3. Legacy claim installation
• 3.5. Protection of Claims
  • 3.5.1. Global check
  • 3.5.2. Node check
• 3.6. Claim Consumption
  • 3.6.1. Domain max_pages limit
• 3.7. Claims Implementation
  • 3.7.1. Installation of claims
  • 3.7.2. Helper functions for managing claims
  • 3.7.3. Allocation with claims
  • 3.7.4. Helper functions for allocation with claims
  • 3.7.5. Offlining memory in presence of claims
• 3.8. Handling Edge Cases
  • 3.8.1. Allocations exceeding claims
  • 3.8.2. Domain destruction