[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <1211402472.8297.244.camel@pasglop>
Date: Wed, 21 May 2008 16:41:12 -0400
From: Benjamin Herrenschmidt <benh@...nel.crashing.org>
To: Trent Piepho <tpiepho@...escale.com>
Cc: linuxppc-dev@...abs.org, linux-kernel@...r.kernel.org,
Scott Wood <scottwood@...escale.com>
Subject: Re: [PATCH] [POWERPC] Improve (in|out)_beXX() asm code
On Wed, 2008-05-21 at 12:44 -0700, Trent Piepho wrote:
>
> Someone should update memory-barriers.txt, because it doesn't say
> that, and
> all I/O accessors for all the arches, because none of them are.
There have been long discussions about that. The end result was that
being too weakly ordered is just asking for trouble because the majority
of drivers are written & tested on x86 which is in order.
If you look at our accessors, minus that gcc problem you found, the
barriers in there should pretty much guarantee ordering in the cases
that matter, which are basically MMIO read followed by memory accesses
and memory writes followed by MMIO. In fact, MMIO read are fully
sychronous.
> No, it's compiled with a normal kernel build, which includes
> -fno-strict-aliasing
Ok, so there is a very bad bug indeed, we need to fix that.
Ben.
--
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