Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00779801
Contributor : Ist Inria Saclay <>
Submitted on : Tuesday, January 22, 2013 - 4:03:57 PM
Last modification on : Friday, November 6, 2020 - 4:37:47 AM
Long-term archiving on: : Saturday, April 1, 2017 - 8:26:38 AM

File

jfla2013-12.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00779801, version 1

Collections

Citation

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

Share

Metrics

Record views

207

Files downloads

290