Re: large page patch (fwd) (fwd)

[Marcin Dalecki <dalecki@evision.ag>]

yodaiken@fsmlabs.com wrote:
>>On Fri, 9 Aug 2002, Rik van Riel wrote:
>>One problem we're running into here is that there are absolutely
>>no tools to measure some of the things rmap is supposed to fix,
>>like page replacement.
> 
> 
> But page replacement is a means to an end. One thing tht would be
> very interesting to know is how well the basic VM assumptions about
> locality work in a Linux server, desktop, and embedded environment.
> 
> You have a LRU approximation that is supposed to approximate working
> sets that were originally understood and measured on < 1Meg machines
> with static libraries, tiny cache,  no GUI and no mmap.
> 
> L.T. writes:
> 
> 
>>Read up on positivism.
> 
> 
> It's been discredited as recursively unsound reasoning.

Well not taking the "axiom of choice" for granted is really
really narrowing what can be reasoned about in a really really not
funny way. It makes it for example very "difficult" to invent real 
numbers. Well apparently recently some guy published a book which is
basically proposing that the world is just a FSA, so we can see again
that this inconvenience appears to be still very compelling to people
who never had to deal with complicated stuff like for example fluid
dynamics and the associated differential equations :-).

But if talking about actual computers, and since those are in esp.
finite, it may very well be possible to get around without it. ;-)