On Sat, 13 Oct 2001, Jamie Lokier wrote:
> I can think of an efficiency-related use for MAP_COPY, and it has
> nothing to do with shared libraries:
> - An editor using mmap() to read a file.
No, you're thinking the wrong way.
Trust me, MAP_COPY really _is_ stupid, and the Hurd is a piece of crap.
People who think MAP_COPY is a good idea are people who cannot think about
the implications of it, and cannot think about the alternatives.
In particular, you claim that you could use "mmap()" for "read()", and
speed up the application that way. Ok, fair enough.
Now, somebody who _isn't_ stupid (and that, of course, is me), immediately
goes "well, _duh_, why don't you speed up read() instead?".
The fact is, all the problems that "MAP_COPY" has just go away if you
instead of thinking about a mmap(), you think about doing a "read()" and
just marking the pages PAGE_COPY if they are exclusive.
In short: MAP_COPY is braindamaged, because it doesn't have enough
information at the right level to do a reasonable job of it. What people
want to use it for is really to emulate "read()" efficiently using mmap,
and _nothing_ else. That is the only reason for it ever existing, and the
fact is, that clearly shows just how _stupid_ the whole thing is.
You migth as well just do a read() in the first place.
Your arguments are
- read() implies a memcpy()
- read() dirties pages and causes more memory pressure
but you don't actually _question_ those arguments.
I will tell you that doing a read() that _acts_ like the MAP_COPY you so
want is a LOT easier than doing MAP_COPY in the first place.
- a read() call doesn't have any "history" - it doesn't leave (bogus)
VM data around like MAP_COPY does. MAP_COPY says "I want these pages to
have the contents they did _when_I_did_the_mapping_", which is a
temporal shift that just doesn't make sense in any sane VM model, and
which inherently implies versioning.
- a read() can fairly easily just do the optimization
(a) if we're reading a large area
(b) if the offset and the destination are page-aligned
(c) if the page is exclusive (ie no existing other owners)
just do the page move instead of the copy, and mark the page as
Every other use of the page that can change it (ie a shared writable
mapping, or a "write()" call) will now check the PAGE_COPY bit on the
_page_, and just say "ok, I'll allocate a new page, and atomically
switch the ones, and leave the old page untouched and remove it from
the page cache"
(And the swap-out logic has to turn a PAGE_COPY page into a swap-cache
page - this is the real downside, because it implies that we will have
to write it out to swap if we're low on memory, unlike a real mmap)
Notice? Same as MAP_COPY, but without any global state.
And notice how this is actually conceptually much closer to what you
actually _want_ to use MAP_COPY for.
Could we implement MAP_COPY as such a read()? Yes, sure. But that's just
confusing the issue - why call it a mmap() at all, when it isn't. The day
when Hurd is so common that we want to emulate its braindamages is not
going to be in my life-time, I suspect.
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to firstname.lastname@example.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Mon Oct 15 2001 - 21:00:49 EST