Re: [PATCH 2/5] writeback: dirty position control

From: Vivek Goyal
Date: Wed Aug 10 2011 - 17:42:15 EST


On Tue, Aug 09, 2011 at 07:05:35AM +0800, Wu Fengguang wrote:
> On Mon, Aug 08, 2011 at 10:41:41PM +0800, Peter Zijlstra wrote:
> > On Mon, 2011-08-08 at 22:11 +0800, Wu Fengguang wrote:
> > > @@ -538,11 +538,6 @@ static unsigned long bdi_position_ratio(
> > > goal = thresh - thresh / DIRTY_SCOPE;
> > > origin = 4 * thresh;
> > >
> > > - if (unlikely(origin < limit && dirty > (goal + origin) / 2)) {
> > > - origin = limit; /* auxiliary control line */
> > > - goal = (goal + origin) / 2;
> > > - pos_ratio >>= 1;
> > > - }
> > > pos_ratio = origin - dirty;
> > > pos_ratio <<= BANDWIDTH_CALC_SHIFT;
> > > do_div(pos_ratio, origin - goal + 1);
>
> FYI I've updated the fix to the below one, so that @limit will be used
> as the origin in the rare case of (4*thresh < dirty).
>
> --- linux-next.orig/mm/page-writeback.c 2011-08-08 21:56:11.000000000 +0800
> +++ linux-next/mm/page-writeback.c 2011-08-09 06:34:25.000000000 +0800
> @@ -536,13 +536,8 @@ static unsigned long bdi_position_ratio(
> * global setpoint
> */
> goal = thresh - thresh / DIRTY_SCOPE;
> - origin = 4 * thresh;
> + origin = max(4 * thresh, limit);

Hi Fengguang,

Ok, so just trying to understand this pos_ratio little better.

You have following basic formula.

origin - dirty
pos_ratio = --------------
origin - goal

Terminology is very confusing and following is my understanding.

- setpoint == goal

setpoint is the point where we would like our number of dirty pages to
be and at this point pos_ratio = 1. For global dirty this number seems
to be (thresh - thresh / DIRTY_SCOPE)

- thresh
dirty page threshold calculated from dirty_ratio (Certain percentage of
total memory).

- Origin (seems to be equivalent of limit)

This seems to be the reference point/limit we don't want to cross and
distance from this limit basically decides the pos_ratio. Closer we
are to limit, lower the pos_ratio and further we are higher the
pos_ratio.

So threshold is just a number which helps us determine goal and limit.

goal = thresh - thresh / DIRTY_SCOPE
limit = 4*thresh

So goal is where we want to be and we start throttling the task more as
we move away goal and approach limit. We keep the limit high enough
so that (origin-dirty) does not become negative entity.

So we do expect to cross "thresh" otherwise thresh itself could have
served as limit?

If my understanding is right, then can we get rid of terms "setpoint" and
"origin". Would it be easier to understand the things if we just talk
in terms of "goal" and "limit" and how these are derived from "thresh".

thresh == soft limit
limit == 4*thresh (hard limit)
goal = thresh - thresh / DIRTY_SCOPE (where we want system to
be in steady state).
limit - dirty
pos_ratio = --------------
limit - goal

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