Building a Buffer Manager: Clock-Sweep Eviction and Pin Semantics

PostgreSQL’s buffer manager (src/backend/storage/buffer/) is the layer between the rest of the system and disk. It maintains a fixed-size…