Stable Storage
Write(P) overwrites the entire contents of P on the disk
If Write is unsuccessful, the error might be detected on the next read ...
- e.g. page checksum error => page is corrupted
… or maybe not
- Write correctly wrote to the wrong location
Write is the only operation that’s atomic with respect to failures and whose successful execution can be determined by recovery procedures.