Réactivité des systèmes coopératifs : le cas de ReactiveML

Louis Mandel 1, 2 Cédric Pasteur 2
2 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Résumé : La concurrence coopérative est un modèle de programmation très répandu. On peut par exemple l'utiliser en OCaml à travers des bibliothèques comme Lwt, Async ou Equeue. Il a de nombreux avantages tels que l'absence de courses critiques et des implantations légères et efficaces. Néanmoins, un des inconvénients majeurs de ce modèle est qu'il dépend de la discipline du programmeur pour garantir que le système est réactif : un processus peut empêcher les autres de s'exécuter. ReactiveML est un langage qui étend OCaml avec des constructions de concurrence coopérative. Il propose une analyse statique, l'analyse de réactivité, qui permet de détecter les expressions qui risquent de produire des comportements non coopératifs. Dans cet article, nous présentons cette analyse statique qui se définit à l'aide d'un système de types et effets. Ainsi, comme le typage de données aide les programmeurs à détecter des erreurs d'exécution au plus tôt, l'analyse de réactivité aide à détecter des erreurs de concurrence.
Type de document :
Communication dans un congrès
Damien Pous and Christine Tasson. JFLA - Journées francophones des langages applicatifs, Feb 2013, Aussois, France. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00779789
Contributeur : Ist Inria Saclay <>
Soumis le : mardi 22 janvier 2013 - 15:51:10
Dernière modification le : mercredi 4 janvier 2017 - 16:23:26

Fichier

jfla2013-11.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : hal-00779789, version 1

Collections

Citation

Louis Mandel, Cédric Pasteur. Réactivité des systèmes coopératifs : le cas de ReactiveML. Damien Pous and Christine Tasson. JFLA - Journées francophones des langages applicatifs, Feb 2013, Aussois, France. 2013. <hal-00779789>

Partager

Métriques

Consultations de
la notice

181

Téléchargements du document

90