Re: user-mode port 0.44-2.4.7

[Andrea Arcangeli]

On Mon, Jul 23, 2001 at 10:32:32AM -0700, Linus Torvalds wrote:
> 
> On Mon, 23 Jul 2001, Andrea Arcangeli wrote:
> >
> > it's the other way around, it's needed and gcc trapped a kernel bug.
> 
> No it's not.
> 
> > If the contents of memory not declared volatile changes under GCC (like
> > it can happen right now for xtime since it's declared non volatile), gcc
> > has the full rights to crash the kernel at runtime.
> 
> Absolutely not.
> 
> If we care abotu the thing always having the same value, we HAVE to use a
> lock. "volatile" is not the answer.
> 
> Show me a place where we care.

The problem is not at the source code level, of course all places where
we read the xtime cannot crash the kernel as far as the kernel is
concerned, but the problem is instead at the gcc level: and when the
logic implemented by the asm generated by gcc chokes we can also get a
dangling poitner and crash in the kernel.

GCC internally is allowed to generate code that relies on the contents
of the memory to stay constant, this because of the C standard, the
usual example is a fast path jump table for the "case" statement.

So in short having non volatile memory that changes under gcc gives gcc
the full rights to crash the kernel at runtime anytime.

Andrea