1 रिपॉजिटरी
Use of state machines and reference counts to manage the ownership and access of physical memory frames.
Distinct from Buffer Pool Frame Managers: None of the candidates refer to the low-level kernel lifecycle of physical page frames.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Physical Frame Lifecycle Tracking. Refine with filters or upvote what's useful.
Asterinas is a memory-safe operating system kernel designed to prevent data races and memory corruption. It functions as a Linux-ABI compatible kernel, enabling the execution of existing Linux binaries and container workloads while providing a declarative operating system distribution model. The project distinguishes itself by acting as a virtual machine container host and a confidential computing guest OS, allowing it to run within hardware-isolated Trusted Execution Environments such as Intel TDX. It implements a minimal trusted computing base by isolating unsafe low-level operations and se
Manages the ownership and exclusive access of physical memory frames using atomic state machines and reference counting.