lkml.org 
[lkml]   [2010]   [Jun]   [28]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [PATCH 05/12] vmscan: kill prev_priority completely
    On Fri, Jun 25, 2010 at 05:29:41PM +0900, KOSAKI Motohiro wrote:
    >
    > sorry for the long delay.
    > (and I'm a bit wonder why I was not CCed this thread ;)
    >

    My fault, I unintentionally deleted your name from the send script.
    Sorry about that.

    > > On Mon, 14 Jun 2010 12:17:46 +0100
    > > Mel Gorman <mel@csn.ul.ie> wrote:
    > >
    > > > From: KOSAKI Motohiro <kosaki.motohiro@jp.fujitsu.com>
    > > >
    > > > Since 2.6.28 zone->prev_priority is unused. Then it can be removed
    > > > safely. It reduce stack usage slightly.
    > > >
    > > > Now I have to say that I'm sorry. 2 years ago, I thought prev_priority
    > > > can be integrate again, it's useful. but four (or more) times trying
    > > > haven't got good performance number. Thus I give up such approach.
    > >
    > > This would have been badder in earlier days when we were using the
    > > scanning priority to decide when to start unmapping pte-mapped pages -
    > > page reclaim would have been recirculating large blobs of mapped pages
    > > around the LRU until the priority had built to the level where we
    > > started to unmap them.
    > >
    > > However that priority-based decision got removed and right now I don't
    > > recall what it got replaced with. Aren't we now unmapping pages way
    > > too early and suffering an increased major&minor fault rate? Worried.
    > >
    > >
    > > Things which are still broken after we broke prev_priority:
    > >
    > > - If page reclaim is having a lot of trouble, prev_priority would
    > > have permitted do_try_to_free_pages() to call disable_swap_token()
    > > earlier on. As things presently stand, we'll do a lot of
    > > thrash-detection stuff before (presumably correctly) dropping the
    > > swap token.
    > >
    > > So. What's up with that? I don't even remember _why_ we disable
    > > the swap token once the scanning priority gets severe and the code
    > > comments there are risible. And why do we wait until priority==0
    > > rather than priority==1?
    > >
    > > - Busted prev_priority means that lumpy reclaim will act oddly.
    > > Every time someone goes into do some recalim, they'll start out not
    > > doing lumpy reclaim. Then, after a while, they'll get a clue and
    > > will start doing the lumpy thing. Then they return from reclaim and
    > > the next recalim caller will again forget that he should have done
    > > lumpy reclaim.
    > >

    The intention of the code was to note that orders < PAGE_ALLOC_COSTLY_ORDER,
    there was an expectatation that those pages would be free or nearly free
    without page reclaim taking special steps with lumpy reclaim. If this has
    changed, it's almost certainly because of a greater dependence on high-order
    pages than previously which should be resisted (it has cropped up a few
    times recently). I do have a script that uses ftrace to count call sites
    using high-order allocations and how often they occur which would be of use
    if this problem is being investigated.

    > > I dunno what the effects of this are in the real world, but it
    > > seems dumb.
    > >
    > > And one has to wonder: if we're making these incorrect decisions based
    > > upon a bogus view of the current scanning difficulty, why are these
    > > various priority-based thresholding heuristics even in there? Are they
    > > doing anything useful?
    > >
    > > So.. either we have a load of useless-crap-and-cruft in there which
    > > should be lopped out, or we don't have a load of useless-crap-and-cruft
    > > in there, and we should fix prev_priority.
    >
    > May I explain my experience? I'd like to explain why prev_priority wouldn't
    > works nowadays.
    >
    > First of all, Yes, current vmscan still a lot of UP centric code. it
    > expose some weakness on some dozens CPUs machine. I think we need
    > more and more improvement.
    >
    > The problem is, current vmscan mix up per-system-pressure, per-zone-pressure
    > and per-task-pressure a bit. example, prev_priority try to boost priority to
    > other concurrent priority. but If the another task have mempolicy restriction,
    > It's unnecessary, but also makes wrong big latency and exceeding reclaim.
    > per-task based priority + prev_priority adjustment make the emulation of
    > per-system pressure. but it have two issue 1) too rough and brutal emulation
    > 2) we need per-zone pressure, not per-system.
    >
    > another example, currently DEF_PRIORITY is 12. it mean the lru rotate about
    > 2 cycle (1/4096 + 1/2048 + 1/1024 + .. + 1) before invoking OOM-Killer.
    > but if 10,0000 thrreads enter DEF_PRIORITY reclaim at the same time, the
    > system have higher memory pressure than priority==0 (1/4096*10,000 > 2).
    > prev_priority can't solve such multithreads workload issue.
    >
    > In other word, prev_priority concept assume the sysmtem don't have lots
    > threads.
    >
    > And, I don't think lumpy reclaim threshold is big matter, because It was
    > introduced to case aim7 corner case issue. I don't think such situation
    > will occur frequently in the real workload. thus end users can't observe
    > such logic.
    >

    I'm not aware of current problems with lumpy reclaim related stalls or
    problems but it's not something I have specifically investigated. If
    there is a known example workload that is felt to trigger lumpy reclaim
    more than it should, someone point me in the general direction and I'll
    take a look at it with ftrace and see what falls out.

    > For mapped-vs-unmapped thing, I dunnno the exactly reason. That was
    > introduced by Rik, unfortunatelly I had not joined its activity at
    > making design time. I can only say, while my testing the current code
    > works good.
    >
    > That said, my conclusion is opposite. For long term view, we should
    > consider to kill reclaim priority completely. Instead, we should
    > consider to introduce per-zone pressure statistics.

    Ah, the "what is pressure?" rat-hole :)

    >
    > > > Signed-off-by: KOSAKI Motohiro <kosaki.motohiro@jp.fujitsu.com>
    > > > Reviewed-by: Johannes Weiner <hannes@cmpxchg.org>
    > > > Signed-off-by: Mel Gorman <mel@csn.ul.ie>
    > > > ---
    > > > include/linux/mmzone.h | 15 ------------
    > > > mm/page_alloc.c | 2 -
    > > > mm/vmscan.c | 57 ------------------------------------------------
    > > > mm/vmstat.c | 2 -
    > >
    > > The patch forgot to remove mem_cgroup_get_reclaim_priority() and friends.
    >
    > Sure. thanks.
    > Will fix.
    >

    I've fixed this up in the current patchset that is V3.

    >
    > btw, current zone reclaim have wrong swap token usage.
    >
    > static int __zone_reclaim(struct zone *zone, gfp_t gfp_mask, unsigned int order)
    > {
    > (snip)
    > disable_swap_token();
    > cond_resched();
    >
    >
    > I can't understand the reason why zone reclaim _always_ disable swap token.
    > that's mean, if the system is enabled zone reclaim, swap token don't works
    > at all.
    >
    > Perhaps, original author's intention was following, I guess.
    >
    > priority = ZONE_RECLAIM_PRIORITY;
    > do {
    > if ((zone_reclaim_mode & RECLAIM_SWAP) && !priority) // here
    > disable_swap_token(); // here
    >
    > note_zone_scanning_priority(zone, priority);
    > shrink_zone(priority, zone, &sc);
    > priority--;
    > } while (priority >= 0 && sc.nr_reclaimed < nr_pages);
    >
    >
    > However, if my understanding is correct, we can remove this
    > disable_swap_token() completely. because zone reclaim failure don't bring
    > to OOM-Killer, instead melery cause normal try_to_free_pages().
    >

    --
    Mel Gorman
    Part-time Phd Student Linux Technology Center
    University of Limerick IBM Dublin Software Lab


    \
     
     \ /
      Last update: 2010-06-28 12:37    [W:2.797 / U:0.200 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site