Sat Aug 31 15:33:20 EDT 2019

caches, partitioning

Partitioning is actually a very common problem.  Think of an OS as the
cache of a build system (e.g. nixos).  You really don't want to clear
that cache if you're not connected to that build system.

Is there a way to give semantics to this?  A cache that is required to
have a consistent local copy at all times?  A cache that can't be
simply flushed?