#operating-systems
Wiki 4
- Designing Microkernel IPC Seiya Nuta's design walkthrough of FTL's IPC: notify-and-pull, no IDL, Plan-9-shaped operations, peek-then-receive
- Maybe we should revisit microkernels Short argument that IOMMU and shared-memory ring buffers dissolve the 90s microkernel overhead case
- Notify-and-Pull IPC Pattern that combines synchronous message passing with non-blocking notifications to avoid server-to-server deadlock
- Seiya Nuta Systems programmer and microkernel author behind Resea and FTL; blog at seiya.me on OS internals and IPC design
Books 1
- Operating Systems: Three Easy Pieces Free Arpaci-Dusseau OS textbook built around virtualization, concurrency and persistence