"They say the two hardest problems in computer science are cache invalidation" . . . .