Lecture 11: Cache Consistency: Frangipani