Skip to Main content Skip to Navigation
Conference papers

Compiling Cooperative Task Management to Continuations

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01514661
Contributor : Hal Ifip <>
Submitted on : Wednesday, April 26, 2017 - 3:22:00 PM
Last modification on : Wednesday, April 26, 2017 - 3:26:39 PM
Long-term archiving on: : Thursday, July 27, 2017 - 1:09:48 PM

File

978-3-642-40213-5_7_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

101

Files downloads

182