Cache invalidation — giữ dữ liệu cache nhất quán với nguồn chân lý — nổi tiếng là một trong những vấn đề khó nhất trong điện toán. Thách thức là đảm bảo cache không phục vụ dữ liệu cũ trong khi cân bằng hiệu năng, tính nhất quán, và độ phức tạp. Có nhiều chiến lược và cạm bẫy đáng hiểu.
Vấn đề cốt lõi
When the source data changes, the cached copy becomes STALE.
→ Serve stale data? (fast but wrong) vs invalidate? (consistent but complex/slower)
→ "There are only two hard things in CS: cache invalidation and naming things."
The difficulty: knowing WHEN and WHAT to invalidate, across distributed systems,
without races, while keeping good cache hit rates.
