Compiling Cooperative Task Management to Continuations - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Compiling Cooperative Task Management to Continuations

Keiko Nakata
  • Fonction : Auteur
  • PersonId : 925114
Andri Saar
  • Fonction : Auteur
  • PersonId : 1007023

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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 Consultations
75 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More