Reactivity of Cooperative Systems: Application to ReactiveML

Louis Mandel 1, 2 Cédric Pasteur 3, 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
Abstract : Cooperative scheduling enables efficient sequential implementations of concurrency. It is widely used to provide lightweight threads facilities as libraries or programming constructs in many programming languages. However, it is up to programmers to actually cooperate to ensure the reactivity of their programs.We present a static analysis that checks the reactivity of programs by abstracting them into so-called behaviors using a type-and-effect system. Our objective is to find a good compromise between the complexity of the analysis and its precision for typical reactive programs. The simplicity of the analysis is mandatory for the programmer to be able to understand error messages and how to fix reactivity problems.Our work is applied and implemented in the functional synchronous language ReactiveML. It handles recursion, higher-order processes and first class signals. We prove the soundness of our analysis with respect to the big-step semantics of the language: a well-typed program with reactive effects is reactive. The analysis is easy to implement and generic enough to be applicable to other models of concurrency such as coroutines.
Type de document :
Communication dans un congrès
Static Analysis (SAS), Sep 2014, Munich, Germany. Springer, 21st International Symposium on Static Analysis (SAS 2014), 8723, pp.17, 2014, Lecture Notes in Computer Science. <http://cs.uni-muenster.de/sev/sas14/>. <10.1007/978-3-319-10936-7_14>
Liste complète des métadonnées

https://hal.inria.fr/hal-01093169
Contributeur : Timothy Bourke <>
Soumis le : mercredi 10 décembre 2014 - 11:48:02
Dernière modification le : mardi 13 décembre 2016 - 15:41:32

Identifiants

Collections

Citation

Louis Mandel, Cédric Pasteur. Reactivity of Cooperative Systems: Application to ReactiveML. Static Analysis (SAS), Sep 2014, Munich, Germany. Springer, 21st International Symposium on Static Analysis (SAS 2014), 8723, pp.17, 2014, Lecture Notes in Computer Science. <http://cs.uni-muenster.de/sev/sas14/>. <10.1007/978-3-319-10936-7_14>. <hal-01093169>

Partager

Métriques

Consultations de la notice

100