Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Safe Reactive Programming: The FunLoft Proposal

Frédéric Boussinot 1, * Frederic Dabrowski 2
* Corresponding author
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).
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download
Contributor : Frederic Boussinot <>
Submitted on : Tuesday, October 30, 2007 - 3:28:20 PM
Last modification on : Saturday, October 3, 2020 - 3:15:17 AM
Long-term archiving on: : Monday, September 24, 2012 - 2:46:15 PM


Files produced by the author(s)


  • HAL Id : inria-00184100, version 1


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



Record views


Files downloads