Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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 Paris - PSL (É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.
Document type :
Reports (Research report)
Complete list of metadata
Contributor : Frederic Boussinot Connect in order to contact the contributor
Submitted on : Wednesday, June 7, 2006 - 4:57:46 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:22 AM
Long-term archiving on: : Tuesday, September 18, 2012 - 2:35:20 PM


  • HAL Id : inria-00078780, version 1


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



Record views


Files downloads