There are only two hard things in computer science: cache invalidation and naming things. Here’s why invalidation is so tricky, and what actually works.