Operating Systems Theory
The timeless ideas every kernel implements.
What Is an OS? Kernel vs Userspace
The operating system kernel is the single piece of hardware-enforced trusted software that turns raw, dangerous silicon into safe, shared, programmable abstractions — and understanding precisely how it does that is the foundation of all kernel work.
Processes & the Process Model
A process is not a program — it is the living, breathing execution of one, complete with its own memory universe, identity, and a kernel-maintained dossier that makes multitasking possible.
Threads & Concurrency
Threads are the units of execution that share an address space — and that sharing is exactly what makes concurrency both powerful and treacherous.
CPU Scheduling
CPU scheduling is the OS's art of creating the illusion of simultaneous execution by deciding, nanosecond by nanosecond, which process deserves the CPU next — and every design choice is a negotiation between throughput, fairness, and responsiveness.
Inter-Process Communication (IPC)
IPC is the art of breaking process isolation safely — master the six mechanisms, their copy-vs-share tradeoffs, and the kernel machinery underneath, and you will understand how every real Linux system actually communicates.
Synchronization: Locks, Mutexes, Semaphores
Synchronization is the art of making concurrent threads cooperate instead of collide — from atomic hardware primitives all the way to the sleeping abstractions that prevent your OS from corrupting itself.
Deadlock & Race Conditions
Master the two great failure modes of concurrent systems — races and deadlocks — with the formal theory, vivid intuition, and practical tools that every kernel contributor depends on.
Memory Management: Allocation, Paging, Segmentation
From raw RAM to virtual address spaces: how kernels allocate, protect, and lie about memory — and why that lying is the foundation of modern computing.
Virtual Memory, Demand Paging & Page Replacement
Master the elegant illusion of virtual memory: how demand paging, page faults, replacement algorithms, and copy-on-write let every process believe it owns all of RAM.
File Systems Concepts
File systems are the art of imposing persistent, named, hierarchical structure on a block device — and surviving crashes while doing it.
I/O Subsystems & Device Management
The I/O subsystem is the kernel's great equalizer — the layered architecture that makes a keyboard, an NVMe SSD, and a GPU all look like file descriptors to your program.
System Calls & the User/Kernel Boundary
The system call is the only door between your program and the kernel — and understanding exactly how that door works, from the CPU privilege ring to the vDSO fast-path, is the foundation of every kernel contribution you will ever make.
Kernel Architectures: Monolithic vs Microkernel vs Hybrid
The architectural choice of what lives in kernel space defines every security, performance, and reliability tradeoff in any OS — and understanding it makes Linux's design legible.
The Boot Process: Firmware to init
Trace the exact path from electrical power to PID 1 — every stage, every memory address, every handoff — so you understand what the kernel inherits and why it is designed to start from nothing.