#Operating-Systems
7 posts in tag “Operating-Systems”.
Virtual Memory and Page Tables: How Modern Systems Manage Memory
2022-05-19A comprehensive exploration of virtual memory, page tables, and address translation. Learn how operating systems provide memory isolation, enable overcommitment, and optimize performance with TLBs and huge pages.
Process Scheduling and Context Switching: How Operating Systems Share the CPU
2022-05-18A deep dive into how operating systems decide which process runs next and how they switch between processes. Understand scheduling algorithms, context switches, and the trade-offs that shape system responsiveness.
Virtual Memory and Page Tables: How Operating Systems Manage Memory
2021-08-12A comprehensive exploration of virtual memory systems, page tables, address translation, and the hardware-software collaboration that enables modern multitasking. Understand TLBs, page faults, and memory protection.
System Calls: The Gateway Between User Space and Kernel
2021-04-18An in-depth exploration of how applications communicate with the operating system kernel through system calls. Learn about the syscall interface, context switching, and how modern OSes balance security with performance.
Unikernels: Specializing the OS for a Single Application, from MirageOS to IncludeOS and the Performance-Security Trade-offs
2020-05-26A deep exploration of unikernel architecture — how compiling an application directly into a specialized operating system kernel produces dramatic performance and security benefits while challenging decades of OS design orthodoxy.
Exokernels & Library OS: MIT's Radical Vision, Secure Multiplexing, and the Unikernel Lineage
2020-04-01A deep exploration of exokernel architecture from MIT's Aegis/XOK/ExOS stack through the secure multiplexing problem to the modern unikernel renaissance that vindicated the library OS philosophy.
Microkernel vs Monolithic: The L4 Experience, IPC Optimization, seL4 Verification, and Zircon's Ascent
2020-02-24A deep exploration of microkernel design from L4's high-performance IPC through seL4's formal verification to Zircon's pragmatic reimagining for Fuchsia. Understand why the microkernel-monolithic debate refuses to die.