| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Message-ID: <20151027125728.GA3201@worktop.amr.corp.intel.com>
Date: Tue, 27 Oct 2015 13:57:28 +0100
From: Peter Zijlstra <peterz@...radead.org>
To: Joonwoo Park <joonwoop@...eaurora.org>
Cc: Ingo Molnar <mingo@...nel.org>, linux-kernel@...r.kernel.org,
linux-arm-msm@...r.kernel.org, ohaugan@...eaurora.org
Subject: Re: [PATCH] sched: fix incorrect wait time and wait count statistics
(Excessive quoting for Olav)
On Mon, Oct 26, 2015 at 06:44:48PM -0700, Joonwoo Park wrote:
> On 10/25/2015 03:26 AM, Peter Zijlstra wrote:
> > Also note that on both sites we also set TASK_ON_RQ_MIGRATING -- albeit
> > late. Can't you simply set that earlier (and back to QUEUED later) and
> > test for task_on_rq_migrating() instead of blowing up the fastpath like
> > you did?
> >
>
> Yes it's doable. I also find it's much simpler.
> From 98d615d46211a90482a0f9b7204265c54bba8520 Mon Sep 17 00:00:00 2001
> From: Joonwoo Park <joonwoop@...eaurora.org>
> Date: Mon, 26 Oct 2015 16:37:47 -0700
> Subject: [PATCH v2] sched: fix incorrect wait time and wait count statistics
>
> At present scheduler resets task's wait start timestamp when the task
> migrates to another rq. This misleads scheduler itself into reporting
> less wait time than actual by omitting time spent for waiting prior to
> migration and also more wait count than actual by counting migration as
> wait end event which can be seen by trace or /proc/<pid>/sched with
> CONFIG_SCHEDSTATS=y.
>
> Carry forward migrating task's wait time prior to migration and
> don't count migration as a wait end event to fix such statistics error.
>
> In order to determine whether task is migrating mark task->on_rq with
> TASK_ON_RQ_MIGRATING while dequeuing and enqueuing due to migration.
>
> To: Ingo Molnar <mingo@...nel.org>
> To: Peter Zijlstra <peterz@...radead.org>
> Cc: linux-kernel@...r.kernel.org
> Signed-off-by: Joonwoo Park <joonwoop@...eaurora.org>
> ---
So now that you rely on TASK_ON_RQ_MIGRATING; I think you missed one
place that can migrate sched_fair tasks and doesn't set it.
Olav recently did a patch adding TASK_ON_RQ_MIGRATING to _every_
migration path, but that is (still) somewhat overkill. With your changes
we need it for sched_fair though.
So I think you need to change __migrate_swap_task(), which is used by
the NUMA scheduling to swap two running tasks.
Also, it might be prudent to extend the CONFIG_SCHED_DEBUG ifdef in
set_task_cpu() to test for this new requirement:
WARN_ON_ONCE(p->state == TASK_RUNNING &&
p->class == &fair_sched_class &&
p->on_rq != TASK_ON_RQ_MIGRATING);
> kernel/sched/core.c | 4 ++--
> kernel/sched/fair.c | 17 ++++++++++++++---
> 2 files changed, 16 insertions(+), 5 deletions(-)
>
> diff --git a/kernel/sched/core.c b/kernel/sched/core.c
> index bcd214e..d9e4ad5 100644
> --- a/kernel/sched/core.c
> +++ b/kernel/sched/core.c
> @@ -1069,8 +1069,8 @@ static struct rq *move_queued_task(struct rq *rq, struct task_struct *p, int new
> {
> lockdep_assert_held(&rq->lock);
>
> - dequeue_task(rq, p, 0);
> p->on_rq = TASK_ON_RQ_MIGRATING;
> + dequeue_task(rq, p, 0);
> set_task_cpu(p, new_cpu);
> raw_spin_unlock(&rq->lock);
>
> @@ -1078,8 +1078,8 @@ static struct rq *move_queued_task(struct rq *rq, struct task_struct *p, int new
>
> raw_spin_lock(&rq->lock);
> BUG_ON(task_cpu(p) != new_cpu);
> - p->on_rq = TASK_ON_RQ_QUEUED;
> enqueue_task(rq, p, 0);
> + p->on_rq = TASK_ON_RQ_QUEUED;
> check_preempt_curr(rq, p, 0);
>
> return rq;
> diff --git a/kernel/sched/fair.c b/kernel/sched/fair.c
> index 9a5e60f..7609576 100644
> --- a/kernel/sched/fair.c
> +++ b/kernel/sched/fair.c
> @@ -740,7 +740,11 @@ static void update_curr_fair(struct rq *rq)
> static inline void
> update_stats_wait_start(struct cfs_rq *cfs_rq, struct sched_entity *se)
> {
> - schedstat_set(se->statistics.wait_start, rq_clock(rq_of(cfs_rq)));
> + schedstat_set(se->statistics.wait_start,
> + task_on_rq_migrating(task_of(se)) &&
> + likely(rq_clock(rq_of(cfs_rq)) > se->statistics.wait_start) ?
> + rq_clock(rq_of(cfs_rq)) - se->statistics.wait_start :
> + rq_clock(rq_of(cfs_rq)));
So I get that you want to avoid emitting code for !SCHEDSTATS; but that
is rather unreadable. Either use the GCC stmt-expr or wrap the lot in
#ifdef.
> }
>
> /*
> @@ -759,6 +763,13 @@ static void update_stats_enqueue(struct cfs_rq *cfs_rq, struct sched_entity *se)
> static void
> update_stats_wait_end(struct cfs_rq *cfs_rq, struct sched_entity *se)
> {
> + if (task_on_rq_migrating(task_of(se))) {
Maybe add a comment that we adjust the wait_start time-base and will
rebase on the new rq_clock in update_stats_wait_start().
> + schedstat_set(se->statistics.wait_start,
> + rq_clock(rq_of(cfs_rq)) -
> + se->statistics.wait_start);
> + return;
> + }
> +
> schedstat_set(se->statistics.wait_max, max(se->statistics.wait_max,
> rq_clock(rq_of(cfs_rq)) - se->statistics.wait_start));
> schedstat_set(se->statistics.wait_count, se->statistics.wait_count + 1);
> @@ -5656,8 +5667,8 @@ static void detach_task(struct task_struct *p, struct lb_env *env)
> {
> lockdep_assert_held(&env->src_rq->lock);
>
> - deactivate_task(env->src_rq, p, 0);
> p->on_rq = TASK_ON_RQ_MIGRATING;
> + deactivate_task(env->src_rq, p, 0);
> set_task_cpu(p, env->dst_cpu);
> }
>
> @@ -5790,8 +5801,8 @@ static void attach_task(struct rq *rq, struct task_struct *p)
> lockdep_assert_held(&rq->lock);
>
> BUG_ON(task_rq(p) != rq);
> - p->on_rq = TASK_ON_RQ_QUEUED;
> activate_task(rq, p, 0);
> + p->on_rq = TASK_ON_RQ_QUEUED;
> check_preempt_curr(rq, p, 0);
> }
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists