Operating Systems, UNIX & Systems Craft
Kernel isolation, composable pipes, SQLite bytecode, Git, and Linux tracing
Pairs MIT 6.S081 kernel engineering with first-person systems design lectures from Kernighan & Ritchie, Linus Torvalds, D. Richard Hipp, and Brendan Gregg.
Curriculum sequence
6
The UNIX Operating System: Pipes, Files, and Composable Tools
Reveals how UNIX reduced operating-system complexity to files, processes, and composable text streams.
Operating System Engineering: Introduction and Examples (MIT 6.S081, Lecture 1)
Walks through xv6 system calls, file descriptors, and kernel/user boundaries on RISC-V.
OS Organization and System Calls (MIT 6.S081, Lecture 3)
Examines monolithic vs. microkernel isolation and hardware page-table enforcement.
The Architecture and Bytecode Virtual Machine of SQLite
Shows how SQLite compiles SQL into a register-based bytecode VM atop transactional B-trees.
Distributed Version Control and the Design of Git
Contrasts centralized source control with Git's content-addressed Merkle DAG.
Linux Systems Performance Analysis: Methodologies and Tracing
Applies USE methodologies, flame graphs, and eBPF to observe live production kernels.