There's an old joke that there are only two hard problems in computer science: cache invalidation and naming things. The joke endures because it's true. Caching is easy to add and hard to keep correct, and nearly every caching bug is really an invalidation bug: the cache is serving data that no longer matches the database. This article covers the...