Expand description
A simulated disk.
Every file has a durable image and a list of writes issued since its last flush. Reads see both (the page cache). A flush makes the pending writes durable. A crash resolves each pending write at random: lost, landed in full, or torn (some sectors landed, possibly with garbage), in no particular order, which is what a real drive with a volatile cache and an operating system that reorders writeback can do.