On Wed, Jun 30, 1999 at 03:01:27PM -0700, William J. Earl wrote:
> I have been looking at the fault handling and the cache flushing routines
> for the R4600. In do_no_page() in mm/memory.c, we have:
> I don't see where any code invalidates the icache, which might have
> cached lines from a previous incarnation of the page.
> flush_page_to_ram(), for the R4600, essentially does a writeback of
> the dcache, if I understand the code correctly. I believe that an
> icache invalidate is also needed, at least for executable pages
> (including any page for which mprotect() with PROT_EXEC has been
> called, not just for text pages from an executable file). Also,
> unless something has changed, my understanding is that conflicting
> virtual aliases (in the dcache) are still possible, which will also
> lead to data corruption when it happens.
The particular flush_page_to_ram() call is only necessary because the
call to vma->vm_ops->nopage() may have brought the page into the
primary cache under it's KSEG0 address.
> In particular, if process A mmaps a file page at virtual index
> 0 and process B happens to mmap the same file page at virtual index
> 1, they will in general corrupt each other's view of the data.
Oh, the common case is either shared r/o mappings or SysV SHM which per
ABI is 64kb aligned, so the hairy case doesn't hit us. Usually ...
Especially I don't see why anything should corrupt executable pages
which are r/o mapped.
> There is a comment in memory.c that a non-present page shouldn't
> be cached, but it is not yet clear to me that this is guaranteed for
> the icache.
Flushing the caches for pages which are being unmapped is done by
flush_cach_page and takes care of the VM_EXEC flag.
On exec, fork or exit we flush the entire cache so that problems shouldn't
hit us either.
Actually we're pretty generous with our cacheflushed, we flush more than we
> Also, the flush_page_to_ram() slows down processing on
> machines which physical cache tags, for cases where the virtual
> index used by the kernel and the virtual index used by the application
> are the same. It should have an extra argument of the intended user virtual
> address, so that it can decide whether to flush or not on architectures
> such as MIPS.
For R3000 and R6000 flush_page_to_ram() is a no-op, see arch/mips/mm/r2300.c
For virtual indexed CPUs something like change_page_colour(oldvaddr, newvaddr)
would usually do a more efficient job than always flushing the page to
memory especially when combined with an allocator which takes the vaddr where
the page will be mapped as a hint.