The Hardest Problem In Computer Science - Cache Invalidation