Concurrence légère en OCaml : muthreads

Résumé : Nous décrivons muthreads, une bibliothèque pour la concurrence légère en OCaml. Elle repose sur une boucle événementielle mais le paradigme fonctionnel permet d'atténuer dans une large mesure les inconvénients traditionnels de la programmation par événements, en introduisant la notion de thread. La bibliothèque ne propose qu'un ensemble réduit d'opérations (dont les MVars comme moyen privilégié de communication entre threads) qui peuvent se combiner pour construire des fonctionnalités complexes. La mise en oeuvre des MVars peut être étendue pour permettre la communication entre threads s'exécutant dans des processus système différents, ce qui permet d'envisager l'exploitation du parallélisme matériel.
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-00779801
Contributeur : Ist Inria Saclay <>
Soumis le : mardi 22 janvier 2013 - 16:03:57
Dernière modification le : lundi 9 avril 2018 - 12:22:18
Document(s) archivé(s) le : samedi 1 avril 2017 - 08:26:38

Fichier

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

Identifiants

  • HAL Id : hal-00779801, version 1

Collections

Citation

Christophe Deleuze. Concurrence légère en OCaml : muthreads. Damien Pous and Christine Tasson. JFLA - Journées francophones des langages applicatifs, Feb 2013, Aussois, France. 2013. 〈hal-00779801〉

Partager

Métriques

Consultations de la notice

167

Téléchargements de fichiers

165