15 January 2007
Lampson: Lazy and Speculative Execution
12
Lazy: Write Buffers
nIn memory and file systems
oBe lazy about updating the main store
▬Writeback caching is a variation
nThe bet: Data is overwritten before it’s flushed
nAlso win from reduced latency of store
nAlso win from load balancing of store bandwidth
nRep: State = main store + write buffer
oSame idea as redo logging, but simpler