[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PATCH 01/18] migration: dump vmstate info as a json fi
From: |
Amit Shah |
Subject: |
Re: [Qemu-devel] [PATCH 01/18] migration: dump vmstate info as a json file for static analysis |
Date: |
Wed, 21 May 2014 15:42:05 +0530 |
On (Wed) 21 May 2014 [11:03:04], Dr. David Alan Gilbert wrote:
> * Amit Shah (address@hidden) wrote:
> > The idea is to be able to take a qemu binary and compare with another
> > binary; if only fields that are instantiated are used, various
> > invocations will have to be tried to find devices that may have
> > broken.
> >
> > An alternative way of checking only devices which have been added to
> > the running machine can be done via a monitor command (or a parameter
> > to the existing cmdline option). But I'm not sure if that'll be more
> > useful than the current one.
>
> Or perhaps a way to dump that info and mask your checker with it if wanted?
A 'blacklist' file, which stores names of sections that you're not
interested in?
> > > 2) 'fields_exists' is a weird naming to put in the json file - it's
> > > a function pointer for determining if the field is going to be
> > > present;
> > > maybe renaming as 'conditional' would make sense.
> >
> > Yea; I don't know if field_exists is going to be useful anyway. It's
> > runtime info rather than static, so perhaps can just be dropped.
> > Right now, anyway, the checker doesn't make use of this field at all.
>
> I think it's useful to have field_exists because it lets you know that it's
> conditional, I just think it's weird naming it like that in the json, since
> an entry in the json that says 'fields_exists: true' sounds like the field
> always exists, which is the opposite of what it means. It's just a naming
> thing here.
On the name of the field, I doubt anyone will read the json file
itself to get confused by it. Also, it stays true to what the field
is called in the actual vmstate structs in qemu.
On the usability of the field: it's like subsections: they may exist
or not, but we should check them nevertheless on src and dest, and any
difference should be flagged.
Amit
[Qemu-devel] [PATCH 02/18] vmstate-static-checker: script to validate vmstate changes, Amit Shah, 2014/05/12
[Qemu-devel] [PATCH 03/18] tests: vmstate static checker: add dump1 and dump2 files, Amit Shah, 2014/05/12
[Qemu-devel] [PATCH 04/18] tests: vmstate static checker: incompat machine types, Amit Shah, 2014/05/12
[Qemu-devel] [PATCH 05/18] tests: vmstate static checker: add version error in main section, Amit Shah, 2014/05/12
[Qemu-devel] [PATCH 06/18] tests: vmstate static checker: version mismatch inside a Description, Amit Shah, 2014/05/12
[Qemu-devel] [PATCH 07/18] tests: vmstate static checker: minimum_version_id check, Amit Shah, 2014/05/12
[Qemu-devel] [PATCH 08/18] tests: vmstate static checker: remove a section, Amit Shah, 2014/05/12