Continuation-Passing C: compiling threads to events through continuations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Higher-Order and Symbolic Computation Year : 2011

Continuation-Passing C: compiling threads to events through continuations

Juliusz Chroboczek
  • Function : Author
  • PersonId : 927254

Abstract

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 technique, based on the CPS transform, that yields efficient code and an extremely lightweight representation for contexts. We provide a proof of the correctness of our compilation scheme. We show in particular that lambda-lifting, a common compilation technique for functional languages, is also correct in an imperative language like C, under some conditions enforced by the CPC compiler. The current CPC compiler is mature enough to write substantial programs such as Hekate, a highly concurrent BitTorrent seeder. Our benchmark results show that CPC is as efficient, while using significantly less space, as the most efficient thread libraries available.
Fichier principal
Vignette du fichier
hosc-kerneis-chroboczek.pdf (343.94 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00537964 , version 1 (19-11-2010)
inria-00537964 , version 2 (14-02-2012)
inria-00537964 , version 3 (05-07-2012)

Identifiers

Cite

Gabriel Kerneis, Juliusz Chroboczek. Continuation-Passing C: compiling threads to events through continuations. Higher-Order and Symbolic Computation, 2011, 24 (3), pp.239-279. ⟨10.1007/s10990-012-9084-5⟩. ⟨inria-00537964v3⟩
183 View
934 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More