Modèles temporels d'évaluation des protocoles de gestion des données

Hamza Chaker 1 Loïc Cudennec 2 Safae Dahmani 3 Guy Gogniat 1 Cédric Maignan 1 Martha Sepùlveda 4
1 UBS Lorient - Université de Bretagne Sud - Lorient
2 DACLE-LIST - Département d'Architectures, Conception et Logiciels Embarqués-LIST
3 ALSOC - Architecture et Logiciels pour Systèmes Embarqués sur Puce
LIP6 - Laboratoire d'Informatique de Paris 6
4 TUM - Technical University of Munich
Résumé : Les modèles et protocoles de cohérence des données sont responsables de la gestion des accès aux données partagées, et leur choix peut influencer les performances générales du système. Nous avons proposé dans des travaux précédents une chaîne de compilation permettant d'au-tomatiser le processus du choix des protocoles. Le système est chargé de la prise de décision hors-ligne sur le choix et le paramétrage des protocoles. Dans ce processus, la phase d'évalua-tion des différentes solutions est une des principales briques de décision. L'analyse des performances doit être suffisamment précise pour orienter au mieux la prise de décision tout en étant rapide pour pouvoir s'intégrer dans la chaîne de compilation proposée. Afin de répondre à ces besoins, nous proposons deux modèles temporels d'évaluation des protocoles de cohérence. Le premier modèle permet de calculer les temps d'accès aux données en nombre de cycles. Le deuxième modèle est une extension basée sur un modèle TLM ($Transaction\ Level\ Modeling$) de réseau sur puce ($NoC$) qui permet d'estimer les temps d'accès, de prendre en charge l'ef-fet de contention du réseau et de faire varier les paramètres de l'architecture (ex. différentes topologies du $NoC$).
Mots-clés : Protocoles de cohérence Chaine de décision Évaluation des performances Modèles temporels
Document type :
Conference papers
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download
https://hal-cea.archives-ouvertes.fr/cea-02129247
Contributor : Loïc Cudennec <>
Submitted on : Tuesday, May 14, 2019 - 5:27:01 PM
Last modification on : Saturday, May 18, 2019 - 1:39:00 AM

File

compas2016.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cea-02129247, version 1

Collections

CEA | CEA-UPSAY | DRT | LIST | LIP6 | SU-SCIENCES | UNIV-PARIS-SACLAY | SORBONNE-UNIVERSITE | UPMC

Citation

Hamza Chaker, Loïc Cudennec, Safae Dahmani, Guy Gogniat, Cédric Maignan, et al.. Modèles temporels d'évaluation des protocoles de gestion des données. Conférence d’informatique en Parallélisme, Architecture et Système (Compas'2016), Jul 2016, Lorient, France. ⟨cea-02129247⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

94

Files downloads

11

Contact

CCSD