Cache invalidation is probably one of the hardest things in computer programming. I understand it as finding a subtle compromise between completeness …