Skip to main content

Module disk

Module disk 

Source
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.

Structsยง

SimDisk
SimFile