Re: [Qemu-devel] [GSoC Mentors] Re: QEMU/CPC project: an experience report

[Pierre Tardy]

On Fri, Oct 11, 2013 at 11:35 AM, Stefan Hajnoczi <address@hidden> wrote:

On Thu, Oct 10, 2013 at 11:14:22PM +0100, Gabriel Kerneis wrote:
> We were so excited about our QEMU/CPC GSoC project that we have decided
> to write a 12-page article to share our experience:
>
>            QEMU/CPC: static analysis and CPS conversion
>            for safe, portable, and efficient coroutines
>        http://gabriel.kerneis.info/research/files/qemu-cpc.pdf
>
> If you want to learn more about QEMU internals, how we fixed hundreds of
> lines of code with a small checking tool, or discover a nice compilation
> technique for coroutines, you will probably be interested in this
> article.

Summary & status:

Charlie showed it's possible to use the CPC tool to implement QEMU
coroutines.  CPC is a source-to-source translator that outputs C code.
That means no stack switching or threads are necessary to implement
coroutines.  In other words, high performance coroutines that are also
portable.

Do I summarized too much if I say that this is about automatically translating thread based code to event driven code?

This indeed deserve some congrats, and looks interesting. Do you have an epub version, so that one can study this confortably in an ebook reader?

Regards,

Pierre