Continuation-Passing C, compiling threads to events through continuations

Kerneis, Gabriel; Chroboczek, Juliusz

doi:10.1007/s10990-012-9084-5

Cited by 9 publications

(17 citation statements)

References 39 publications

(30 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…CPS conversion has been applied at least to C [26], C++ [30], and Javascript [31]. To the best of our knowledge, CPC is the only public implementation for the C language, as well as the only one using lambda-lifting to avoid the runtime overhead of environments [24].…”

Section: Related Workmentioning

confidence: 99%

“…Continuation-Passing C (CPC) [24] is an extension of the C language to write concurrent programs. The programmer writes synchronous code in threaded style, using common synchronisation techniques such as condition variables.…”

Section: Continuation-passing Cmentioning

confidence: 99%

“…Continuation-Passing C (CPC [24]) is an extension of the C programming language for writing concurrent systems, built on top of the C Intermediate Language (CIL) framework [32]. The CPC programmer manipulates very lightweight threads, annotating cooperative functions and choosing whether they should be cooperatively or preemptively scheduled at any given point.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Qemu/CPC

Kerneis

Shepherd

Hajnoczi³

2014

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Self Cite

View full text Add to dashboard Cite

Coroutines and events are two common abstractions for writing concurrent programs. Because coroutines are often more convenient, but events more portable and efficient, it is natural to want to translate the former into the latter. CPC is such a source-tosource translator for C programs, based on a partial conversion into continuation-passing style (CPS conversion) of functions annotated as cooperative.In this article, we study the application of the CPC translator to QEMU, an open-source machine emulator which also uses annotated coroutine functions for concurrency. We first propose a new type of annotations to identify functions which never cooperate, and we introduce CoroCheck, a tool for the static analysis and inference of cooperation annotations. Then, we improve the CPC translator, defining CPS conversion as a calling convention for the C language, with support for indirect calls to CPS-converted function through function pointers. Finally, we apply CoroCheck and CPC to QEMU (750 000 lines of C code), fixing hundreds of missing annotations and comparing performance of the translated code with existing implementations of coroutines in QEMU.Our work shows the importance of static annotation checking to prevent actual concurrency bugs, and demonstrates that CPS conversion is a flexible, portable, and efficient compilation technique, even for very large programs written in an imperative language.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Continuation-passing Cmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Qemu/CPC

Kerneis

Shepherd

Hajnoczi³

2014

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Self Cite

View full text Add to dashboard Cite

show abstract

“…Il existe deux manières d'exécuter les tâches : dans la première, la tâche est exécutée par le site sur lequel elle a été lancée (elle est liée au site) ; dans la seconde, elle exécutée par un thread natif dédié (la tâche est déliée). Un mécanisme similaire est utilisé par le formalisme CPC (Kerneis et al, 2010).…”

Section: Description De Dslunclassified

Orchestration synchrone et au-delà

Attar¹,

Boussinot²

2011

ournal Européen des Systèmes Automatisés

View full text Add to dashboard Cite

Nous présentons le langage d'orchestration DSL construit sur le modèle réactif synchrone. En DSL, les systèmes sont composés de plusieurs sites exécutés de manière asynchrone. La découpe en sites permet de profiter partiellement des architectures multi-coeurs. Deux propriétés fondamentales sont requises par DSL: la réactivité des sites et l'absence d'interférences entre les scripts exécutés par des sites distincts. Nous présentons également DSLM qui étend DSL en introduisant de la mémoire au niveau de l'orchestration et en définissant un mécanisme pour adapter automatiquement la charge d'exécution aux coeurs disponibles. ABSTRACT. We present DSL, an orchestration language based on the synchronous/reactive model. In DSL, systems are composed of several sites executed asynchronously. Within each site, scripts are run in a synchronous parallel way. Scripts may call functions that are treated in an abstract way: their effect on the memory is not considered, but only their "orchestration" i.e. the organisation of their calls in time and in place (the site where they are called). The mapping of sites onto cores allows one to benefit from multicore architectures. Two properties are required by DSL: reactivity of sites and absence of interferences between scripts run by distinct sites. We also introduce DSLM which adds a memory level to DSL and a way to automatically adapt the execution to get a maximal use of the available cores.

show abstract

“…Continuation Passing C (CPC) [4,6] is a translator that converts a program written in threaded style into a program written with events and native system threads, at the programmer's choice. Threads in CPC, when compiled to events, are extremely cheap, roughly two orders of magnitude cheaper than in traditional programming systems; this encourages a somewhat unusual programming style.…”

Section: Introductionmentioning

confidence: 99%

CPC: programming with a massive number of lightweight threads

Kerneis,

Chroboczek

2011

Preprint

Self Cite

View full text Add to dashboard Cite

Continuation-Passing C, compiling threads to events through continuations

Cited by 9 publications

References 39 publications

Qemu/CPC

Qemu/CPC

Orchestration synchrone et au-delà

CPC: programming with a massive number of lightweight threads

Contact Info

Product

Resources

About