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

Hamza Chaker; Loïc Cudennec; Safae Dahmani; Guy Gogniat; Cédric Maignan; Martha Sepùlveda

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

Hamza Chaker ¹ Loïc Cudennec ² Safae Dahmani ³ Guy Gogniat ¹ Cédric Maignan ¹ Martha Sepùlveda ⁴

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

Domain :

Computer Science [cs] / Distributed, Parallel, and Cluster Computing [cs.DC]

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

compas2016.pdf

Files produced by the author(s)

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

File

Identifiers

Collections

Citation

Export

Metrics

71

9

Contact

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

File

Identifiers

Collections

Citation

Export

Share

Metrics

71

9

Contact