Constraint Graph Analysis of Multithreaded Programs

This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions for sequentially consistent systems, and extend these definitions for use in analyzing other memory consistency models. Using this framework, we present two constraint graph analysis case studies using several commercial and scientific workloads running on a full system simulator. The first case study illustrates how a constraint graph can be used to determine the necessary conditions for implementing a memory consistency model, rather than conservative sufficient conditions. Using this method, we classify coherence misses as either required or unnecessary. We determine that on average over 30% of all load instructions that suffer cache misses due to coherence activity are unnecessarily stalled because the original copy of the cache line could have been used without violating the memory consistency model. Based...

• Type: Conference
• Year: 2003
• Where: IEEEPACT
• Authors: Harold W. Cain, Mikko H. Lipasti, Ravi Nair
• Keywords: Constraint Graph, Constraint Graph Definitions, Hardware, IEEEPACT 2003, Memory Consistency Models