Operating-Systems

• Virtual Memory and Page Tables: How Modern Systems Manage Memory · 2022-05-19

  A 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-18

  A 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-12

  A 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-18

  An 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-26

  A 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-01

  A 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-24

  A 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.

• Modern Operating Systems (4th ed.)
• Operating System Concepts (9th ed.)
• Operating Systems: Three Easy Pieces