Loft+Cyclone - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2005

Loft+Cyclone

Résumé

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.

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00070333 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More