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

https://hal.inria.fr/inria-00184100
Contributor : Frederic Boussinot <>
Submitted on : Tuesday, October 30, 2007 - 3:28:20 PM
Last modification on : Friday, November 16, 2018 - 1:22:53 AM
Long-term archiving on : Monday, September 24, 2012 - 2:46:15 PM

File

safe-react-funloft.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00184100, version 1

Citation

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

Share

Metrics

Record views

741

Files downloads

139