Modelling and Analysis of Shared-memory Communication S. R. Garea and T. Hoefler, "Modeling Communication in Cache-Coherent SMP Systems-A Case-Study with.