Skip to Main content Skip to Navigation
Conference papers

Modeling Multiprocessor Cache Protocol Impact on MPI Performance

Ghassan Chehaibar 1, * Meriem Zidouni 1 Radu Mateescu 2 
* Corresponding author
2 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface (MPI) library execution and distributed cache coherence protocol. The method is applied to the Ping-Pong benchmark. In addition to overall performance figures like message exchange latency, it also provides detailed analysis elements such as cache miss counts per variable. It is based on formal modeling where functional aspects and performance aspects are integrated by composition and can be refined independently. A key modeling point is that the cache coherence protocol implies that the duration of an access to a variable is not static but is state-dependent. Our Ping-Pong model allows comparison of different primitive implementations in the context of different cache coherence protocols. We applied this approach using Interactive Markov Chain (IMC) theory and its implementation in the CADP toolbox.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Radu Mateescu Connect in order to contact the contributor
Submitted on : Wednesday, May 6, 2009 - 11:48:55 AM
Last modification on : Tuesday, August 2, 2022 - 4:24:49 AM
Long-term archiving on: : Thursday, June 10, 2010 - 10:50:07 PM


Files produced by the author(s)


  • HAL Id : inria-00381674, version 1


Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu. Modeling Multiprocessor Cache Protocol Impact on MPI Performance. The 2009 IEEE International Workshop on Quantitative Evaluation of large-scale Systems and Technologies, May 2009, Bradford, United Kingdom. ⟨inria-00381674⟩



Record views


Files downloads