HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00184100
Contributor : Frederic Boussinot Connect in order to contact the contributor
Submitted on : Tuesday, October 30, 2007 - 3:28:20 PM
Last modification on : Friday, February 4, 2022 - 3:22:16 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

384

Files downloads

121