Static analysis of concurrent programs based on behavioral type systems

Abel Celestrín 1, 2
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Résumé : La force des techniques d'analyse statique du programme repose sur sa capacité à détecter les comportements défectueux avant l'exécution. Cette capacité nécessite que le processus d'analyse prévoie tout scénario d'exécution possible. Une tâche encore plus complexe dans le cas des programmes concurrents, à cause du nombre d'alternatives introduites par le non-déterminisme habituel. Dans ce cas particulier, certains des comportements erronés les plus courants sont ceux concernant l'utilisation erronée des ressources, la présence d'interblocages et les conflits de course de données. Les systèmes de type comportemental pour les langages de programmation fournissent un mécanisme fort pour raisonner sur les actions des programmes à l'heure statique. Dans cette thèse, nous discutons de deux techniques d'analyse statique basées sur cette approche. Le premier, cible l'utilisation des ressources dans un langage ad-hoc avec des opérations à part entière pour acquérir et libérer des machines virtuelles. Le second, cible l'analyse de blocage des programmes Java. Dans les deux cas, nous fournissons une preuve formelle d'exactitude, ainsi que des implémentations de prototypes qui permettent pratiquement de tester la faisabilité de ces solutions. Ces prototypes ont également permis d'évaluer ces techniques par rapport à d'autres existantes dans la littérature en obtenant des résultats très encourageants.
Type de document :
Thèse
Programming Languages [cs.PL]. University of Bologna, 2017. English
Liste complète des métadonnées

Littérature citée [58 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/tel-01660749
Contributeur : Laneve Cosimo <>
Soumis le : lundi 11 décembre 2017 - 12:57:43
Dernière modification le : mardi 2 octobre 2018 - 01:15:16

Fichier

PhD Thesis - Abel Garcia.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : tel-01660749, version 1

Collections

Citation

Abel Celestrín. Static analysis of concurrent programs based on behavioral type systems. Programming Languages [cs.PL]. University of Bologna, 2017. English. 〈tel-01660749〉

Partager

Métriques

Consultations de la notice

127

Téléchargements de fichiers

138