How Databases Checkpoint to Disk Without Stopping the World

Your database has gigabytes of dirty pages in memory. At some point they need to hit disk. The naive approach is to pause all writes, flush…