lkml.org 
[lkml]   [2002]   [Aug]   [9]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: large page patch (fwd) (fwd)
    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. ;-)

    -
    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/

    \
     
     \ /
      Last update: 2005-03-22 13:27    [W:0.026 / U:31.216 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site