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
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-00779789
Contributor : Ist Inria Saclay <>
Submitted on : Tuesday, January 22, 2013 - 3:51:10 PM
Last modification on : Thursday, February 7, 2019 - 4:56:43 PM
Document(s) archivé(s) le : Saturday, April 1, 2017 - 8:18:18 AM

File

jfla2013-11.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00779789, version 1

Citation

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

Share

Metrics

Record views

323

Files downloads

136