Concurrence légère en OCaml : muthreads - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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.
Fichier principal
Vignette du fichier
jfla2013-12.pdf (336.3 Ko) Télécharger le fichier
Origine : Accord explicite pour ce dépôt

Dates et versions

hal-00779801 , version 1 (22-01-2013)

Identifiants

  • HAL Id : hal-00779801 , version 1

Citer

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⟩

Collections

UGA JFLA2013 LCIS
87 Consultations
230 Téléchargements

Partager

Gmail Facebook X LinkedIn More