[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <20070601213117.1178e8e0.akpm@linux-foundation.org>
Date: Fri, 1 Jun 2007 21:31:17 -0700
From: Andrew Morton <akpm@...ux-foundation.org>
To: Christoph Lameter <clameter@....com>
Cc: linux-kernel@...r.kernel.org, torvalds@...ux-foundation.org,
jeremy@...p.org
Subject: Re: SLUB: Return ZERO_SIZE_PTR for kmalloc(0)
On Fri, 1 Jun 2007 21:01:09 -0700 (PDT) Christoph Lameter <clameter@....com> wrote:
> On Fri, 1 Jun 2007, Andrew Morton wrote:
>
> > > On Fri, 1 Jun 2007 18:37:46 -0700 (PDT) Christoph Lameter <clameter@....com> wrote:
> > >
> > > +#define ZERO_SIZE_PTR ((void *)16)
> >
> > Jeremy's point was a good one. The kernel _does_ use address-comparison
> > to determine object-inequality in an unknown but non-zero number of places.
> >
> > It is of course unlikely that this will occur in conjunction with zero-sized
> > objects, but who knows?
>
> The zero sized objects are always the same and have the same content of
> nothingness. So the kernel would find that they are the same which they
> indeed are. Why could this be a problem?
They are different instances which happen to have the same length (zero).
But the code will incorrectly decide that they are the same instance. It
might cause refcounting or accounting errors, for example. I don't know - the
kernel's a big place.
I agree the risk is low, but if something _does_ blow up, it will do so subtly.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists