cgroups

A deep-dive blog post on Linux page table memory consumption, tracing Linus Torvalds' 2003 debate over hashed vs. multilevel page tables and explaining how repeated mappings of the same pages across many processes make page table overhead comparable to the mapped data itself, illustrated with historical kernel incidents reported by Shakeel Butt and Andrea Arcangeli.

Corral is a Linux CLI tool that runs a command with a time limit and guarantees no spawned process survives, using cgroup v2 (`cgroup.kill`) or a subreaper + `/proc` scan + pidfds fallback. It targets AI coding agents and CI jobs that leak daemons, hung pipes, and SIGTERM-ignoring processes.