Flexible Use of Memory for Replication/Migration in Cache-Coherent DSM Multiprocessors