[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] GSoC mentor summit QEMU users session
From: |
Stefan Hajnoczi |
Subject: |
Re: [Qemu-devel] GSoC mentor summit QEMU users session |
Date: |
Fri, 4 Nov 2011 08:36:52 +0000 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Thu, Nov 03, 2011 at 10:35:28AM +0100, Fabien Chouteau wrote:
> On 03/11/2011 08:44, Stefan Hajnoczi wrote:
> > On Wed, Nov 2, 2011 at 5:39 PM, Fabien Chouteau <address@hidden> wrote:
> >> On 29/10/2011 15:52, Alexander Graf wrote:
> > I took a quick peak at the qemu-trace.[ch] from couverture and it
> > looks along the lines of the instrumentation that others have been
> > doing too. I hope you have time to propose the coverage
> > instrumentation for upstream QEMU.
> >
>
> I don't know much about other instrumentations in Qemu (pointers are
> welcome :), but what we have in couverture-qemu is not trivial,
> especially when it comes to MC/DC analysis. You should take a look at
> 201005-erts2.pdf if you want technical details.
My impression was that the QEMU portion of instrumentation was fairly
simple - it writes out trace records at various interesting points
during guest execution in TCG.
I think fancy analysis scripts do not have to be part of QEMU but they
could be added to scripts/ or put in a new contrib/ directory.
On the train, can't access the PDF you mentioned right now.
Stefan
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Alexander Graf, 2011/11/01
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Gerd Hoffmann, 2011/11/01
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Andreas Färber, 2011/11/01
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Fabien Chouteau, 2011/11/02
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Lluís Vilanova, 2011/11/04
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Fabien Chouteau, 2011/11/07
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Lluís Vilanova, 2011/11/07
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Fabien Chouteau, 2011/11/07
- Re: [Qemu-devel] GSoC mentor summit QEMU users session, Lluís Vilanova, 2011/11/07
Re: [Qemu-devel] GSoC mentor summit QEMU users session, Fabien Chouteau, 2011/11/02