Cooperative Threads and Preemptive Computations

Frédéric Boussinot 1 Frederic Dabrowski 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 : A two-level model for reactive systems programming is introduced in which threads linked to the same scheduler are run cooperatively and have the possibility to escape from the scheduler control to run preemptively. We present a type and effect system to enforce a logical separation of the memory which ensures that, when running in preemptive mode, threads do not interfere with those running in cooperative mode. Thus, the atomicity property at the basis of the cooperative model is preserved.
Type de document :
Rapport
[Research Report] 2006, pp.15
Liste complète des métadonnées

https://hal.inria.fr/inria-00078780
Contributeur : Frederic Boussinot <>
Soumis le : mercredi 7 juin 2006 - 16:57:46
Dernière modification le : jeudi 18 janvier 2018 - 01:27:03
Document(s) archivé(s) le : mardi 18 septembre 2012 - 14:35:20

Fichier

Identifiants

  • HAL Id : inria-00078780, version 1

Citation

Frédéric Boussinot, Frederic Dabrowski. Cooperative Threads and Preemptive Computations. [Research Report] 2006, pp.15. 〈inria-00078780〉

Partager

Métriques

Consultations de la notice

242

Téléchargements de fichiers

143