Compiling Cooperative Task Management to Continuations

Conference paper

DOI: 10.1007/978-3-642-40213-5_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8161)
Cite this paper as:
Nakata K., Saar A. (2013) Compiling Cooperative Task Management to Continuations. In: Arbab F., Sirjani M. (eds) Fundamentals of Software Engineering. FSEN 2013. Lecture Notes in Computer Science, vol 8161. Springer, Berlin, Heidelberg

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.

Copyright information

© IFIP International Federation for Information Processing 2013

Authors and Affiliations

  1. 1.Institute of Cybernetics at Tallinn University of TechnologyTallinnEstonia

Personalised recommendations