WARNING - OLD ARCHIVES

This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
   
 
 
Xen 
 
Home Products Support Community News
 
   
 

xen-devel

Re: [Xen-devel] Fix for SSP error in tools/python/lowlevel/xc/xc.c

To: Konrad Rzeszutek Wilk <konrad.wilk@xxxxxxxxxx>
Subject: Re: [Xen-devel] Fix for SSP error in tools/python/lowlevel/xc/xc.c
From: Milan Holzäpfel <listen@xxxxxxxx>
Date: Thu, 27 Aug 2009 18:27:24 +0200
Cc: mail@xxxxxxxx, xen-devel@xxxxxxxxxxxxxxxxxxx
Delivery-date: Thu, 27 Aug 2009 09:27:58 -0700
Envelope-to: www-data@xxxxxxxxxxxxxxxxxxx
In-reply-to: <20090827122341.GA30794@xxxxxxxxxxxxxxxxxxx>
List-help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-id: Xen developer discussion <xen-devel.lists.xensource.com>
List-post: <mailto:xen-devel@lists.xensource.com>
List-subscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
List-unsubscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
Organization: mjh.name
References: <20090826161954.4ce96275.listen@xxxxxxxx> <20090826173931.GA15189@xxxxxxxxxxxxxxxxxxx> <20090827103659.a2abbb6d.listen@xxxxxxxx> <20090827122341.GA30794@xxxxxxxxxxxxxxxxxxx>
Sender: xen-devel-bounces@xxxxxxxxxxxxxxxxxxx
On Thu, 27 Aug 2009 08:23:41 -0400
Konrad Rzeszutek Wilk <konrad.wilk@xxxxxxxxxx> wrote:

> On Thu, Aug 27, 2009 at 10:36:59AM +0200, Milan Holzäpfel wrote:
> > On Wed, 26 Aug 2009 13:39:31 -0400
> > Konrad Rzeszutek Wilk <konrad.wilk@xxxxxxxxxx> wrote:
> > 
> > > On Wed, Aug 26, 2009 at 04:19:54PM +0200, Milan Holzäpfel wrote:
> > > > Hello, 
> > > > 
> > > > I compiled xen-tools with GCC-4.3.3 with Stack Smashing Protection
> > > > (SSP) patches by gentoo, and found a small bug in
> > > > tools/python/lowlevel/xc/xc.c.  The bug is located in
> > > > pyxc_dom_set_policy_cpuid: 
> > > > 
> > > > (this is the change which fixes it:)
> > > > 
> > > > > @@ -808,7 +808,7 @@
> > > > >  static PyObject *pyxc_dom_set_policy_cpuid(XcObject *self,
> > > > >                                             PyObject *args)
> > > > >  {
> > > > > -    domid_t domid;
> > > > > +    int domid;
> > > 
> > > I would say use uint32_t instead of int.
> > 
> > Why?  Quote from the Python documentation (link above):
> 
> To keep it in synch with the rest of the variables that define domid.
> 
> > 
> > | i (integer) [int]
> > |         Convert a Python integer to a plain C int.
> > 
> > So I think "int" is the best solution, as it matches what
> > PyArg_ParseTuple expects, no matter what platform you're on.  There is
> > also "I" for "unsigned int", used in the other places you mention. 
> 
> Aaah. So maybe all of those conversation of the domid (where it is
> defined as uint32_t) should be done using 'I' instead.. Or just
> maybe the 'h' and then convert all of the unint32_t to domid_t.
> 
> I would lean towards changing all of them to domid_t and changing
> the 'i' to 'h'? That seems like the correct way without changing
> the typedef of domid_t.

I agree, but use "H" instead of "h" (domid_t is unsigend, I think). 

On x86 and x86_64 "unsigned short int" is the same as "uint16_t", so
this should be ok.  (The only type known to me which behaves differntly
on different platforms is "long int" -- 4 byte on x86, 8 byte on
x86_64, maybe there are others? That's why I used int initially, to
make sure the types actually match.).

Still, if we want to make sure the value coming from Python code is
actually in the range 0...65535, we need to check for that (the Python
doc says "without overflow checking" for "H").  Maybe I'll create a
patch for that later.  (Will have to find out how to get arbitrary
strings into exception raised from C code...)

> > > > >      if ( !PyArg_ParseTuple(args, "i", &domid) )
> > > > >          return NULL;
> > > > 
> > > > domid_t is defined as uint16_t (thus 2 bytes long) in xen header files,
> > > > but the "i" format needs a C "int" type, which is 4 bytes long.
> > > > (<URL:http://docs.python.org/c-api/arg.html>)  This error is detected
> > > > by SSP as stack overflow. 
> > > 
> > > What about the two other cases where domid_it is used? The SSP didn't
> > > detect them?
> > 
> > No.  Either the functions aren't called on my machine(?), or the
> > overflow only overwrites other local variables (which are present
> > there). 
> > 
> > I agree that they should be fixed, too. 
> > 
> > > > Attached patch fixes the error.  Maybe it would better to use "h"
> > > > format instead of the "i" format, which converts the argument to an C
> > > > "short int".  Then you would have to change the python wrapper if
> > > > domid_t changes, though. 
> > > 
> > > Yeah, but running more than 64K of guests on one node?
> > 
> > That's unlikely, yes.  On the other hand, if you had 8 shutdowns/domain
> > creations per hour, you'd limit the total uptime to ~341 days.  I admit
> > that that's still unlikely. 
> 
> That is thought a Xen Python stack decision. You don't have to increment
> the domid after a shutdown - you can re-use it if you would like to.

Ah, ok.  I don't know whether the Python stack recycles domain ids in
case they run out. 

Regards,
Milan

-- 
Milan Holzaepfel <mail(a)mjh(d)name>             <URL:http://mjh.name/>
pub  4096R/C790FC23  EB8E 5E81 81E3 53A9 9B74  B895 5179 54C0 C790 FC23


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel

<Prev in Thread] Current Thread [Next in Thread>