Safe Reactive Programming: The FunLoft Proposal

Frédéric Boussinot 1, * Frederic Dabrowski 2
* Auteur correspondant
1 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
2 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We propose a multicore-ready programming language based on a two-level shared memory model. Concurrency units are schedulers and threads which are dispatched on available cores in a preemptive way. Each scheduler is in charge of its own portion of the memory. At runtime, several threads may link to a common scheduler. In this case, they enter a cooperative mode, evolve in synchronous rounds, and are granted access to the scheduler memory. At the opposite, an autonomous thread runs at its own pace but has access only to a local memory. The language ensures that programs are free of memory leaks, that code between two cooperation points is atomic, and that rounds are fair and always terminate (no run-time error nor divergence).
Type de document :
Pré-publication, Document de travail
2007
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00184100
Contributeur : Frederic Boussinot <>
Soumis le : mardi 30 octobre 2007 - 15:28:20
Dernière modification le : mercredi 16 mai 2018 - 11:23:03
Document(s) archivé(s) le : lundi 24 septembre 2012 - 14:46:15

Fichier

safe-react-funloft.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00184100, version 1

Citation

Frédéric Boussinot, Frederic Dabrowski. Safe Reactive Programming: The FunLoft Proposal. 2007. 〈inria-00184100〉

Partager

Métriques

Consultations de la notice

492

Téléchargements de fichiers

122