Re: [PATCH] fix remap of shared read only mappings

[Jamie Lokier]

James Bottomley wrote:
> However, POSIX does imply levels of cache coherence for both MAP_SHARED
> and MAP_PRIVATE:
> 
> With MAP_SHARED, any change to the underlying object after the mapping
> must become visible to the mapper (although the change may be delayed by
> local caching of the changer's implementation until it is explicitly
> flushed).
...
> So regardless of PROT_SEM we have no choice but to worry about cache
> coherence issues on MAP_SHARED mappings.

You have just argued _against_ worrying about cache coherence by
aligning mapping addresses.

Basically, POSIX says shared mappings aren't guanteed to be coherent
until you call msync().  Then you can just do whatever is needed to
make different views coherent.  That's easier now that we have rmap.

-- Jamie
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/