lkml.org 
[lkml]   [2011]   [Jun]   [20]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH] USB: ehci: use packed,aligned(4) instead of removing the packed attribute
On Mon, 20 Jun 2011, Arnd Bergmann wrote:

> On Monday 20 June 2011 22:55:59 Russell King - ARM Linux wrote:
> > On Mon, Jun 20, 2011 at 10:26:37PM +0200, Arnd Bergmann wrote:
> > > * We already need a compiler barrier in the non-_relaxed() versions of
> > > the I/O accessors, which will force a reload of the base address
> > > in a lot of cases, so the code is already suboptimal. Yes, we don't
> > > have the barrier today without CONFIG_ARM_DMA_MEM_BUFFERABLE, but that
> > > is a bug, because it lets the compiler move accesses to DMA buffers
> > > around readl/writel.
> >
> > You're now being obtuse there. You don't need compiler barriers to
> > guarantee order - that's what volatile does there.
> >
>
> A simple counterexample:
>
>
> int f(volatile unsigned long *v)
> {
> unsigned long a[2], ret;
> a[0] = 1; /* initialize our DMA buffer */
> a[1] = 2;
> *v = (unsigned long)a; /* pass the address to the device, start DMA */
> ret = *v; /* flush DMA by reading from mmio */
> return ret + a[1]; /* return accumulated status from readl and from modified
> DMA buffer */
> }
>
> arm-linux-gnueabi-gcc -Wall -O2 test.c -S
>
> Without a barrier, the stores into the DMA buffer before the start are
> lost, as is the load from the modified DMA buffer:
>
> sub sp, sp, #8
> add r3, sp, #0
> str r3, [r0, #0]
> ldr r0, [r0, #0]
> adds r0, r0, #2
> add sp, sp, #8
> bx lr
>
> Adding a memory clobber to the volatile dereference turns this into the
> expected output:
>
> sub sp, sp, #8
> movs r3, #2
> movs r2, #1
> stmia sp, {r2, r3}
> add r3, sp, #0
> str r3, [r0, #0]
> ldr r0, [r0, #0]
> ldr r3, [sp, #4]
> adds r0, r0, r3
> add sp, sp, #8
> bx lr
>
> Now, the dma buffer is written before the volatile access, and read out
> again afterwards.

This example is flawed. The DMA API documentation already forbids DMA to
the stack because of cache line sharing issues. If you declare your
buffer outside of the function body, the compiler can't optimize away
the buffer store anymore, and this example works as expected without any
memory clobber.


Nicolas


\
 
 \ /
  Last update: 2011-06-21 00:25    [W:0.950 / U:0.080 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site