From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:55201)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <paolo.bonzini@gmail.com>) id 1b56Yv-0002uE-Km
	for qemu-devel@nongnu.org; Tue, 24 May 2016 03:15:34 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <paolo.bonzini@gmail.com>) id 1b56Yr-0004Za-Aw
	for qemu-devel@nongnu.org; Tue, 24 May 2016 03:15:32 -0400
Received: from mail-wm0-x235.google.com ([2a00:1450:400c:c09::235]:37018)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <paolo.bonzini@gmail.com>) id 1b56Yr-0004ZW-4N
	for qemu-devel@nongnu.org; Tue, 24 May 2016 03:15:29 -0400
Received: by mail-wm0-x235.google.com with SMTP id z87so11562813wmh.0
	for <qemu-devel@nongnu.org>; Tue, 24 May 2016 00:15:29 -0700 (PDT)
Sender: Paolo Bonzini <paolo.bonzini@gmail.com>
References: <1461903820-3092-1-git-send-email-eblake@redhat.com>
	<1461903820-3092-11-git-send-email-eblake@redhat.com>
	<20160503094447.GE2242@work-vm> <87inyv5nv7.fsf@dusky.pond.sub.org>
	<57289ABB.9080809@redhat.com> <20160503132757.GI2242@work-vm>
	<87vb2uz07l.fsf@dusky.pond.sub.org> <20160504085440.GB2302@work-vm>
From: Paolo Bonzini <pbonzini@redhat.com>
Message-ID: <f9da5788-147b-8221-c014-d7fa34cbb34b@redhat.com>
Date: Tue, 24 May 2016 09:15:25 +0200
MIME-Version: 1.0
In-Reply-To: <20160504085440.GB2302@work-vm>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Subject: Re: [Qemu-devel] [PATCH v3 10/18] vmstate: Use new JSON output
 visitor
List-Id: <qemu-devel.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/qemu-devel/>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: "Dr. David Alan Gilbert" <dgilbert@redhat.com>, Markus Armbruster <armbru@redhat.com>
Cc: Amit Shah <amit.shah@redhat.com>, famz@redhat.com, qemu-devel@nongnu.org, Juan Quintela <quintela@redhat.com>



On 04/05/2016 10:54, Dr. David Alan Gilbert wrote:
> And so my argument here is very simple; if we believe we have a corruption
> in migration data then we fail migration - I don't try and do anything
> clever about trying to bound what's broken.
> This isn't about getting formal/tractable arguments, it's about making
> a practical system.

But this code is not driven by the migration data.  It is driven by the
vmstate description which is static.  It's not const, but still it's not
supposed to get corrupted at all.

Thanks,

Paolo