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


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 :
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 8:09:09 PM
Last modification on : Friday, February 4, 2022 - 3:11:13 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:58:14 PM


  • HAL Id : inria-00070333, version 1


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



Record views


Files downloads