Re: Memory allocator semantics

From: Pekka Enberg
Date: Tue Feb 11 2014 - 03:50:36 EST


Hi Paul,

On Sun, Feb 9, 2014 at 4:00 AM, Paul E. McKenney
<paulmck@xxxxxxxxxxxxxxxxxx> wrote:
> From what I can see, (A) works by accident, but is kind of useless because
> you allocate and free the memory without touching it. (B) and (C) are the
> lightest touches I could imagine, and as you say, both are bad. So I
> believe that it is reasonable to prohibit (A).
>
> Or is there some use for (A) that I am missing?

So again, there's nothing in (A) that the memory allocator is
concerned about. kmalloc() makes no guarantees whatsoever about the
visibility of "r1" across CPUs. If you're saying that there's an
implicit barrier between kmalloc() and kfree(), that's an unintended
side-effect, not a design decision AFAICT.

Pekka
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/