Impossible OS Docs
Memory and Concurrency
Memory management and concurrency: virtual memory protection, memory security, the kernel heap, paging and reclaim, advanced virtual memory, the scheduler, SMP, synchronisation primitives, Win32 IPC, concurrency diagnostics and warm kernel update.
Roadmap Overviews
One page per memory and concurrency roadmap file, each following the page contract.
| Document | Topics |
|---|---|
| Virtual Memory Protection | Page permissions, guard pages, MMIO mappings, user address spaces, NT memory services |
| Memory Security Hardening | NX, SMEP and SMAP status, user copies, KPTI, ASLR and CET plans |
| Kernel Heap and Allocators | Fixed 2 MiB heap, cookies and redzones, tags, planned SLAB and pools |
| Pager, Reclaim and Working Sets | Pagefile slots, clock victims, eager file mappings, planned reclaim |
| Advanced Virtual Memory | Large pages, fork, section objects, Job Objects, AWE |
| Scheduler | Flat round-robin, 32 priorities, priority inheritance, per-thread kernel stacks |
| SMP Phase 2 | Online CPU set, rendezvous, barriers, RCU, planned TLB shootdown |
| Synchronisation Primitives | Spinlocks, mutexes, events, NT wait objects, planned futexes |
| Win32 IPC Extensions | Anonymous pipes, completion ports, planned named pipes and mailslots |
| Concurrency and Memory Diagnostics | Stack guards, heap redzones, planned lockdep, KCSAN and KASAN |
| Warm Kernel Update | Warm-update handoff contract, sealed selection, planned runtime |