Re: [patch] cache flush bug in mm/filemap.c (all kernels >=

David S. Miller (davem@redhat.com)
Tue, 27 May 2003 14:22:33 -0700 (PDT)


From: Roman Zippel <zippel@linux-m68k.org>
Date: Tue, 27 May 2003 12:53:12 +0200 (CEST)

The point I don't like about update_mmu_cache() is that it's called
_after_ set_pte(). Practically it's maybe not a problem right now, but
the cache synchronization should happen before set_pte().

update_mmu_cache() is specifically supposed to always occur before
anyone could try to use the mapping created.

If this is ever violated, it will be fixed because it is a BUG().

So I don't see what you're worried about.

If the above were not true, sparc64 wouldn't be able to compile
a kernel successfully. :-)
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/