Compiling Cooperative Task Management to Continuations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Compiling Cooperative Task Management to Continuations

Keiko Nakata
  • Function : Author
  • PersonId : 925114
Andri Saar
  • Function : Author
  • PersonId : 1007023


Although preemptive concurrency models are dominant for multi-threaded concurrency, they may be criticized for the complexity of reasoning because of the implicit context switches. The actor model and cooperative concurrency models have regained attention as they encapsulate the thread of control. In this paper, we formalize a continuation-based compilation of cooperative multitasking for a simple language and prove its correctness.
Fichier principal
Vignette du fichier
978-3-642-40213-5_7_Chapter.pdf (364.92 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01514661 , version 1 (26-04-2017)





Keiko Nakata, Andri Saar. Compiling Cooperative Task Management to Continuations. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.95-110, ⟨10.1007/978-3-642-40213-5_7⟩. ⟨hal-01514661⟩
56 View
75 Download



Gmail Facebook X LinkedIn More