From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:37461) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S9jDx-0008E6-7X for qemu-devel@nongnu.org; Mon, 19 Mar 2012 16:30:38 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1S9jDr-0006Bz-3v for qemu-devel@nongnu.org; Mon, 19 Mar 2012 16:30:36 -0400 Received: from mail-gx0-f173.google.com ([209.85.161.173]:53149) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S9jDq-0006Bb-Vc for qemu-devel@nongnu.org; Mon, 19 Mar 2012 16:30:31 -0400 Received: by ggnj2 with SMTP id j2so6775641ggn.4 for ; Mon, 19 Mar 2012 13:30:29 -0700 (PDT) Message-ID: <4F679762.6000201@codemonkey.ws> Date: Mon, 19 Mar 2012 15:30:26 -0500 From: Anthony Liguori MIME-Version: 1.0 References: <1332185368-18708-1-git-send-email-pbonzini@redhat.com> <4F678A37.1020101@codemonkey.ws> <4F678E38.7050902@redhat.com> <4F678F6A.3050804@codemonkey.ws> <4F679576.60900@redhat.com> In-Reply-To: <4F679576.60900@redhat.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [RFC/RFA PATCH] qapi: detect extra members inside structs List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Eric Blake Cc: Paolo Bonzini , lcapitulino@redhat.com, Michael Roth , qemu-devel@nongnu.org On 03/19/2012 03:22 PM, Eric Blake wrote: > On 03/19/2012 01:56 PM, Anthony Liguori wrote: >>> For old clients that could be fine. But what about old servers? :) >> >> Same applies to old server. If a new client tries to use a new field, >> if the old server refuses it, then the new client breaks. > > I recently asked this question, and I was told that it is a feature that > unknown fields attempted by a new client are rejected by an old server: > https://lists.gnu.org/archive/html/qemu-devel/2012-03/msg00815.html Unfortunately that's not entirely correct. The QMP server has a mechanism to validate that the input parameters that are passed conform to the spec in qmp-commands.hx, but this spec can only handle simple types. Anywhere where we bypass this check (like we do for transaction), the checking is up to the callee which doesn't check. > >> >> There's no way in QMP to detect whether a server supports a new field. >> This is why I proposed instituting a policy of never adding/removing >> fields to structures and why I had advocating use a C version of libqapi >> in terms of enforcing compatibility rules. >> >> I'm not sure if the "server ignores unknown" fields thing is even >> reasonable to rely upon so maybe we should just draw a line in the sane >> and make the change you're suggesting... > > For ideal back-compat, I think you want: > > On input to the server, we can add new fields, but such new fields must > be optional (old clients that omit the fields get the default value, > rather than a new server rejecting the command due to a missing field). > The question arises when you have a new client talking to an old > server; here, I think it's better to _always_ have the server reject > things it doesn't recognize, so that clients can use this rejection as a > feature probe, and then you _do_ have reliable ways of querying whether > a feature was added, by whether the new argument associated with that > feature is present. The problem is that this requires transactional semantics such that if the command fails, there are no side effects. I don't think we're in a position to guarantee that. I'd greatly prefer to simply not add new options to existing commands. It's simple, maps well to how we do things in C, and is easy to enforce. Regards, Anthony Liguori > > On output from the server, we can add new fields (such as more details > about an error message), and old clients should ignore extra fields. > Meanwhile, these fields should be documented as optional, so a new > client can be prepared to deal with an older server that didn't send the > field. > > So yes, it really does sound like you want different behavior depending > on whether it is the client or the server that is originating the new > fields. >