https://shrys.xyz/Shreyas K SThe personal site of Shreyas K S. Projects, notes, and INVARIANT — a technical journal on Rust, systems engineering, and software correctness. 2026-09-17T14:16:51+05:30 Shreyas K S https://shrys.xyz/ Jekyll © 2026 Shreyas K S /assets/img/favicons/favicon.ico /assets/img/favicons/favicon-96x96.png The Scheduler: Fairness on a Finite Machine2026-05-19T14:00:00+05:30 2026-05-19T14:00:00+05:30 https://shrys.xyz/posts/the-scheduler/ Shreyas K S Sixty processes want the CPU. Four cores exist. The scheduler decides who runs, for how long, and what happens when everyone wants more. This post names the invariant it must keep. The Buffer Pool: Why Databases Don't Trust the OS2026-05-19T10:00:00+05:30 2026-05-19T10:00:00+05:30 https://shrys.xyz/posts/the-buffer-pool/ Shreyas K S The OS has a page cache. The database ignores it and builds its own. This post explains why — and how the buffer pool decides what stays in RAM. The Process: How the Kernel Fakes an Entire Machine2026-05-18T10:00:00+05:30 2026-05-18T10:00:00+05:30 https://shrys.xyz/posts/the-process-abstraction/ Shreyas K S A process is not a program. It's the kernel's most fundamental illusion — a private machine that never existed. This post opens the box. Pages: The Fixed-Size Bet Every Database Makes2026-05-17T14:00:00+05:30 2026-05-17T14:00:00+05:30 https://shrys.xyz/posts/disk-io-and-pages/ Shreyas K S Databases don't read bytes. They read pages — fixed-size blocks that turn random I/O into something the disk can handle. This post explains why. What Is a Database, Really? The Invariants Behind Every Query2026-05-17T10:00:00+05:30 2026-05-17T10:00:00+05:30 https://shrys.xyz/posts/what-is-a-database-really/ Shreyas K S A database is not a spreadsheet with an API. It's a system that makes promises about your data — and spends extraordinary effort keeping them.