Skip to Main content Skip to Navigation
Reports

Loft+Cyclone

Frédéric Boussinot 1
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
Abstract : This paper reports on an experiment to add concurrency to the Cyclone programming language, in order to get a safe concurrent language. The basic model considered is that of FairThreads in which synchronous and asynchronous aspects are mixed. The language Loft implements the FairThreads model in C. In this paper, one uses Cyclone instead of C in the implementation of Loft. Using the multi-threaded version of Boehm's GC, one gets an extension of Cyclone to concurrency which is as safe as Cyclone for sequential code, with some additional safety verifications for concurrent code.
Document type :
Reports
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/inria-00070333
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 8:09:09 PM
Last modification on : Saturday, October 3, 2020 - 3:12:38 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:58:14 PM

Identifiers

  • HAL Id : inria-00070333, version 1

Citation

Frédéric Boussinot. Loft+Cyclone. [Research Report] RR-5680, INRIA. 2005, pp.16. ⟨inria-00070333⟩

Share

Metrics

Record views

199

Files downloads

155