Loft+Cyclone - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2005



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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-5680.pdf (159.31 Ko) Télécharger le fichier

Dates and versions

inria-00070333 , version 1 (19-05-2006)


  • HAL Id : inria-00070333 , version 1


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


Gmail Facebook Twitter LinkedIn More