What about cache hierarchies?
Implement snoopy protocol at L2 level
Impose multilevel inclusion property
- Encode in L2 whether the block (or part of it) is in L1
- Disrupt L1 on bus transactions from other processors only if data is there
- Total inclusion might be expensive. use partial inclusion (i.e., possibility of slightly over invalidating L1)