Cache Coherence in Scalable Machines (IV). 99-6-72 Dealing with Correctness Issues Serialization of operations Deadlock Livelock Starvation.
Composing Scalability and Node Design in CC-NUMA CS 258, Spring 99 David E. Culler Computer Science Division U.C. Berkeley.