Re: [Qemu-devel] RFC [PATCH] Make bdrv_flush synchronous only and update callers

[Gabriel Kerneis]

On Tue, Jul 23, 2013 at 03:36:28PM +0200, Stefan Hajnoczi wrote:
> On Tue, Jul 23, 2013 at 01:10:35PM +0100, Gabriel Kerneis wrote:
> > On Tue, Jul 23, 2013 at 02:05:15PM +0200, Stefan Hajnoczi wrote:
> > > A built-time check for coroutine_fn would be valuable if we ever hope to
> > > get disciplined with this annotation.
> > > 
> > > The check can detect when a coroutine_fn is invoked outside coroutine
> > > context.  I wonder if Coccinelle can detect this, although I never
> > > figured out how to use it as a grep-like tool instead of just a
> > > patch-like tool.
> > 
> > The recent "cps-inference" branch of CPC enables precisely that kind of 
> > check.
> > Charlie is using it to drive his modifications to QEMU and has already 
> > suggested
> > several improvements that I have implemented.  Hopefully we should reach
> > something fully covering QEMU by the end his GSoC.
> > 
> > If there is interest, I can post a script showing how to build it and use 
> > it to
> > check QEMU annotations (it does not require any modifications to QEMU, only 
> > a
> > couple of configure switches).
> 
> What is the status of CPC packaging in distros?

There will be an opam [1] package for it before the end of the week (based on
the CIL release planned for tomorrow).  I've also been working on a Debian
package but it's not ready yet unfortunately.

[1] http://opam.ocamlpro.com/

-- 
Gabriel