Thread (29 messages) 29 messages, 7 authors, 2012-06-06

Query about: ARM11 MPCore: preemption/task migration cache coherency

From: snakky.zhang at gmail.com <hidden>
Date: 2012-06-01 01:11:59

On 2012?06?01? 00:04, Catalin Marinas wrote:
On 31 May 2012 15:46,[off-list ref]  wrote:
quoted
On 2012?05?31? 15:21, bill4carson wrote:
quoted
On 2012?05?31? 14:56, Catalin Marinas wrote:
quoted
On Thu, May 31, 2012 at 06:51:22AM +0100, bill4carson wrote:
quoted
On 2012?05?31? 13:19, Catalin Marinas wrote:
quoted
On 31 May 2012 13:06, bill4carson[off-list ref]     wrote:
quoted
On 2012?05?31? 11:58, Catalin Marinas wrote:
quoted
I still didn't fully understand what the problem is. So, to make
sure,
if you run some applications from flash using a yaffs filesystem, you
get random crashes. Is this correct? If yes, a solution is to
actually
call flush_dcache_page() on the CPU that does the page copying from
flash into RAM, which could be the yaffs filesystem.
The story goes like this:
function "flush_dcache_page" should be global effective
but in ARMv6 MPCore, it was not, it was just local effective due
to hardware design.
Yes, I know this.
Then, why not fix "flush_dcache_page" to make it globally effective?
Performance?

And it's also just ARM11MPCore microarchitecture specific.
Yes, seems newer CPUs has no such limitation thus this function is global
effective naturally. :-)

And , I find Mips's c-r4k also has this issue but it use IPI to make it.
Details in arch/mips/mm/c-r4k.c.
Rather than IPI we would better use the read-for-ownership trick like
in this patch to make flush_dcache_page global (no need for
write-for-ownership):
I think write for ownership is necessary for flush_dcache_xxx: Read 
guarantee local data cache get
newest data, at the same time write guarantee the data can be flushed 
into memory.

See Section 7.1 of ARM11 MPCore. Processor Technical Reference 
Manual(Revision: r2p0) P146/728:
======
Clean Applies to write-back data caches. If the cache line targeted by 
the Clean
operation contains stored data that has not yet been written out to main
memory, it is written to main memory, and the line is marked as clean.
======

So I am afraid without the write action, the "clean & invalidate" action 
later will not write data back to main
memory.

Another question here:  Why the flush_kern_dcache_xxx in 
arch/arm/mm/cache-v6 use "clean & invalidate"
progress instead of "clean"? Seems clean is enough here.

Please fix me if I mis-understand something.
http://dchs.spinics.net/lists/arm-kernel/msg125075.html

(it may no longer apply, I haven't checked it for some time).

That's the first thing. Secondly you still need preemption disable so
that it is not preempted between RFO and the actual cache cleaning.
PREEMPT. :-)

Get it. But currently, I can't find anything related to ARMv6 MPCore 
conflict with PREEMPT. So if it is also
necessary to add something in Documentation and related Kconfig to 
describe it and make sure PREEMPT
can't been enabled on such CPUs?

Thanks
Xiao
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help