Problem
1. Why does IVY use an invalidation scheme for consistency instead of an update scheme?
2. Some machines have a single instruction that, in one atomic action, exchanges a register with a word in memory. Using this instruction, it is possible to implement semaphores for protecting critical regions. Will pro-grams using this instruction work on a page-based DSM system? If so, under what circumstances will they work efficiently?