From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1MLIGg-0005Ok-FJ for qemu-devel@nongnu.org; Mon, 29 Jun 2009 10:55:38 -0400 Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1MLIGb-0005GX-OM for qemu-devel@nongnu.org; Mon, 29 Jun 2009 10:55:37 -0400 Received: from [199.232.76.173] (port=59905 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1MLIGb-0005G8-91 for qemu-devel@nongnu.org; Mon, 29 Jun 2009 10:55:33 -0400 Received: from mx20.gnu.org ([199.232.41.8]:35306) by monty-python.gnu.org with esmtps (TLS-1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1MLIGa-0000tj-J1 for qemu-devel@nongnu.org; Mon, 29 Jun 2009 10:55:32 -0400 Received: from mx2.redhat.com ([66.187.237.31]) by mx20.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1MLIGZ-0002Fj-K0 for qemu-devel@nongnu.org; Mon, 29 Jun 2009 10:55:31 -0400 Message-ID: <4A48D635.6080104@redhat.com> Date: Mon, 29 Jun 2009 17:56:53 +0300 From: Avi Kivity MIME-Version: 1.0 Subject: Re: [Qemu-devel] [PATCH 01/11] QMP: Introduce specification file References: <4A412339.5000109@redhat.com> <4A412659.1080803@us.ibm.com> <20090623220204.GA5612@snarc.org> <4A415C30.7030301@us.ibm.com> <20090624010108.GA6537@snarc.org> <4A42200C.6060600@codemonkey.ws> <5b31733c0906240857g546316e0pd92fee9afe6115fa@mail.gmail.com> <4A4252DD.70300@redhat.com> <20090624190539.GR14121@shareable.org> <5b31733c0906241224j50baa7e6lc80b8c79c5d6baa7@mail.gmail.com> <20090624211358.GA14121@shareable.org> <4A43768A.2090604@eu.citrix.com> <4A438FDD.5060206@redhat.com> <4A43935D.6000506@codemonkey.ws> <4A4395B8.4010401@redhat.com> <4A43BD5D.80307@codemonkey.ws> <4A43C264.6060803@redhat.com> <4A43D600.8060605@codemonkey.ws> <4A449113.8070907@redhat.com> <4A44CB74.1070808@codemonkey.ws> <4A44E2F3.8050804@codemonkey.ws> <4A476C60.1080609@redhat.com> <4A47A70B.7070806@codemonkey.ws> <4A47A9B4.4050600@redhat.com> <4A480E0F.6030000@codemonkey.ws> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit List-Id: qemu-devel.nongnu.org List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Stefano Stabellini Cc: "ehabkost@redhat.com" , "jan.kiszka@siemens.com" , "dlaor@redhat.com" , "qemu-devel@nongnu.org" , Luiz Capitulino , Filip Navara , Vincent Hanquez On 06/29/2009 05:41 PM, Stefano Stabellini wrote: > Even though it is not a fun thing to do I think the interface should be > written in a more formal specification language than a spec.txt or a C > header file. > We can even come up with our own language to do it as long as it forces > us to maintain a robust interface and allow us to write simple scripts > to validate the methods we use to implement the interface in our own > language of choice. > I agree. It's really easy to screw up interfaces. It can be a simple validator that runs on requests and responses, or a full fledged IDL compiler, but we need something. I don't think this should block merging so long as it's added before 0.12. -- error compiling committee.c: too many arguments to function