QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines

Autor: Kerneis, Gabriel, Shepherd, Charlie, Hajnoczi, Stefan

Publikováno v: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, PEPM 2014, San Diego, CA, USA, January 20-21, 2014. ACM 2014

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 sour

Externí odkaz: http://arxiv.org/abs/1310.3404

Lambda-lifting and CPS conversion in an imperative language

Autor: Kerneis, Gabriel, Chroboczek, Juliusz

This paper is a companion technical report to the article "Continuation-Passing C: from threads to events through continuations". It contains the complete version of the proofs of correctness of lambda-lifting and CPS-conversion presented in the arti

Externí odkaz: http://arxiv.org/abs/1202.3247

Continuation-Passing C: compiling threads to events through continuations

Autor: Kerneis, Gabriel, Chroboczek, Juliusz

Publikováno v: Higher-Order and Symbolic Computation 24(3): 239-279 (2011)

In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented to the programmer as a single abstraction. The CPC compiler uses a compilation t

Externí odkaz: http://arxiv.org/abs/1011.4558

Are events fast?

Autor: Kerneis, Gabriel, Chroboczek, Juliusz

5 pages.; We compare a set of web servers on a simple synthetic workload. We show that, on this particular benchmark, event-driven code is as fast or faster than the fastest implementations using thread libraries.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::730a2d66f6225ad97702b22bbce80d7d
https://hal.archives-ouvertes.fr/hal-00434374

Continuation-Passing C, compiling threads to events through continuations.

Autor: Kerneis, Gabriel, Chroboczek, Juliusz

Publikováno v: Higher-Order & Symbolic Computation; Sep2011, Vol. 24 Issue 3, p239-279, 41p