Modeling Multiprocessor Cache Protocol Impact on MPI Performance - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Modeling Multiprocessor Cache Protocol Impact on MPI Performance

Ghassan Chehaibar
  • Fonction : Auteur correspondant
  • PersonId : 860108

Connectez-vous pour contacter l'auteur
Meriem Zidouni
  • Fonction : Auteur
  • PersonId : 860109
Radu Mateescu
  • Fonction : Auteur
  • PersonId : 834239

Résumé

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.
Fichier principal
Vignette du fichier
Chehaibar-Zidouni-Mateescu-09.pdf (211 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00381674 , version 1 (06-05-2009)

Identifiants

  • HAL Id : inria-00381674 , version 1

Citer

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⟩
90 Consultations
181 Téléchargements

Partager

Gmail Facebook X LinkedIn More