Cooperative Threads and Preemptive Computations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2006

Cooperative Threads and Preemptive Computations


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.
Fichier principal
Vignette du fichier
article.pdf (195.51 Ko) Télécharger le fichier

Dates and versions

inria-00078780 , version 1 (07-06-2006)


  • HAL Id : inria-00078780 , version 1


Frédéric Boussinot, Frederic Dabrowski. Cooperative Threads and Preemptive Computations. [Research Report] 2006, pp.15. ⟨inria-00078780⟩
147 View
120 Download


Gmail Facebook X LinkedIn More