Synchronisation de fils d'exécution en interprétation abstraite

Matthias Bry 1, 2
2 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Résumé : Après avoir brièvement présenté l'analyse statique de programmes par interprétation abstraite, nous résumerons le travail effectué précédemment par A. Miné sur la détection d'erreurs à l'exécution dans les programmes multi-threadés, en étudiant spécifiquement le cas de systèmes temps-téels utilisés pour les logiciels critiques embarqués, dont les threads communiquent via la mémoire partagée et des verrous d'exclusion mutuelle, en utilisant une technique thread-modulaire et une itération sur les threads. Nous définirons ensuite la notion d'événement, et nous présenterons quelques-uns des ses usages courants dans les programmes parallèles, pour proposer des moyens de les intégrer à l'état de l'art dans l'interpretation abstraite, grâce à l'idée de partitionnement des interférences, introduite initialement pour le support des mutex. Nous présenterons enfin un démonstrateur implémentant l'une de ces techniques.
Type de document :
Mémoires d'étudiants -- Hal-inria+
Performance et fiabilité [cs.PF]. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00926979
Contributeur : Antoine Miné <>
Soumis le : vendredi 10 janvier 2014 - 15:48:11
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

  • HAL Id : hal-00926979, version 1

Collections

Citation

Matthias Bry. Synchronisation de fils d'exécution en interprétation abstraite. Performance et fiabilité [cs.PF]. 2013. 〈hal-00926979〉

Partager

Métriques

Consultations de la notice

220