From patchwork Tue May 5 11:56:08 2015 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Xunlei Pang X-Patchwork-Id: 48025 Return-Path: X-Original-To: linaro@patches.linaro.org Delivered-To: linaro@patches.linaro.org Received: from mail-lb0-f200.google.com (mail-lb0-f200.google.com [209.85.217.200]) by ip-10-151-82-157.ec2.internal (Postfix) with ESMTPS id A16BB20553 for ; Tue, 5 May 2015 11:57:54 +0000 (UTC) Received: by lbcne10 with SMTP id ne10sf49741051lbc.1 for ; Tue, 05 May 2015 04:57:53 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:delivered-to:from:to:cc:subject :date:message-id:in-reply-to:references:sender:precedence:list-id :x-original-sender:x-original-authentication-results:mailing-list :list-post:list-help:list-archive:list-unsubscribe; bh=M+cAS19hWCU0dySgMdGxRCVYpVSUNTS3it42xw8q7oc=; b=QQBNF1Up0e2kmUBnKWd+P92trRF/ebzBgwx9kOaGlIieIVQOmRFUelM1bBNksKJIN4 y1hVe2n5W1PESbGyQ2AyIv01HR1eo67KYXZ8ZO5oJ0y6nBqK9vYFiseqHi753aCNoWjg VNQjABG/+IGk3Yw3n9d6srguk5/dgLZKCn4eEJFa/BFkohvC1G42W4VtKkcnYTzBvWgO FRvKe2LRE4LHshupFMUlCeLe/gVxsUjLPlYZ8pnbclzKAFIHHE35KyUCsa0HTvCTtSz7 ihVuoVK1TdcH4Ml/KwvQ9cFlROAOJMj7v1sdfSjFbVeZld1iPzBDOoXgVmPUUEOqmFi0 jbxQ== X-Gm-Message-State: ALoCoQkZ2oiOUAYgVJodr1elniKT6i6TGYqlu+PuDccAcEgsx6ISn+sBEmPuRBlxWb3SeT+t5/84 X-Received: by 10.112.142.170 with SMTP id rx10mr21886429lbb.12.1430827073547; Tue, 05 May 2015 04:57:53 -0700 (PDT) MIME-Version: 1.0 X-BeenThere: patchwork-forward@linaro.org Received: by 10.152.116.38 with SMTP id jt6ls954539lab.101.gmail; Tue, 05 May 2015 04:57:53 -0700 (PDT) X-Received: by 10.112.211.134 with SMTP id nc6mr23330568lbc.52.1430827073372; Tue, 05 May 2015 04:57:53 -0700 (PDT) Received: from mail-lb0-x22e.google.com (mail-lb0-x22e.google.com. [2a00:1450:4010:c04::22e]) by mx.google.com with ESMTPS id oc2si12298859lbb.1.2015.05.05.04.57.53 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 05 May 2015 04:57:53 -0700 (PDT) Received-SPF: pass (google.com: domain of patch+caf_=patchwork-forward=linaro.org@linaro.org designates 2a00:1450:4010:c04::22e as permitted sender) client-ip=2a00:1450:4010:c04::22e; Received: by lbcga7 with SMTP id ga7so126387836lbc.1 for ; Tue, 05 May 2015 04:57:53 -0700 (PDT) X-Received: by 10.112.199.133 with SMTP id jk5mr15777711lbc.32.1430827073228; Tue, 05 May 2015 04:57:53 -0700 (PDT) X-Forwarded-To: patchwork-forward@linaro.org X-Forwarded-For: patch@linaro.org patchwork-forward@linaro.org Delivered-To: patch@linaro.org Received: by 10.112.67.65 with SMTP id l1csp2197916lbt; Tue, 5 May 2015 04:57:52 -0700 (PDT) X-Received: by 10.70.131.33 with SMTP id oj1mr50621237pdb.3.1430827071401; Tue, 05 May 2015 04:57:51 -0700 (PDT) Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id on8si22632255pac.235.2015.05.05.04.57.50; Tue, 05 May 2015 04:57:51 -0700 (PDT) Received-SPF: none (google.com: linux-kernel-owner@vger.kernel.org does not designate permitted sender hosts) client-ip=209.132.180.67; Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1161628AbbEEL5o (ORCPT + 29 others); Tue, 5 May 2015 07:57:44 -0400 Received: from m15-113.126.com ([220.181.15.113]:60405 "EHLO m15-113.126.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1161533AbbEEL5g (ORCPT ); Tue, 5 May 2015 07:57:36 -0400 Received: from localhost.localdomain (unknown [210.21.223.3]) by smtp3 (Coremail) with SMTP id DcmowAC3Pkvcr0hVjmw4Ag--.12078S3; Tue, 05 May 2015 19:56:25 +0800 (CST) From: Xunlei Pang To: linux-kernel@vger.kernel.org Cc: Peter Zijlstra , Steven Rostedt , Juri Lelli , Ingo Molnar , Xunlei Pang Subject: [PATCH v2 2/2] sched/rt: Remove redundant conditions from task_woken_rt() Date: Tue, 5 May 2015 19:56:08 +0800 Message-Id: <1430826968-10251-2-git-send-email-xlpang@126.com> X-Mailer: git-send-email 1.9.1 In-Reply-To: <1430826968-10251-1-git-send-email-xlpang@126.com> References: <1430826968-10251-1-git-send-email-xlpang@126.com> X-CM-TRANSID: DcmowAC3Pkvcr0hVjmw4Ag--.12078S3 X-Coremail-Antispam: 1Uf129KBjvJXoW7AF1kKw1UJr4UGFyruF15urg_yoW8KrWkpa 1vkrWUWF1kJa4aq3Z3trn7Xry5Ja1kJw15WFn3trWUCr45Gr1FvFWFgFyfWr1Y9r1FyF42 9FW8KayfG3WUtFJanT9S1TB71UUUUUUqnTZGkaVYY2UrUUUUjbIjqfuFe4nvWSU5nxnvy2 9KBjDUYxBIdaVFxhVjvjDU0xZFpf9x07jlc_3UUUUU= X-Originating-IP: [210.21.223.3] X-CM-SenderInfo: p0ost0bj6rjloofrz/1tbiJxbwv01sBkNuBgAAsy Sender: linux-kernel-owner@vger.kernel.org Precedence: list List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-Original-Sender: xlpang@126.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of patch+caf_=patchwork-forward=linaro.org@linaro.org designates 2a00:1450:4010:c04::22e as permitted sender) smtp.mail=patch+caf_=patchwork-forward=linaro.org@linaro.org; dkim=neutral (body hash did not verify) header.i=@; dmarc=fail (p=NONE dis=NONE) header.from=126.com Mailing-list: list patchwork-forward@linaro.org; contact patchwork-forward+owners@linaro.org X-Google-Group-Id: 836684582541 List-Post: , List-Help: , List-Archive: List-Unsubscribe: , From: Xunlei Pang - Remove "has_pushable_tasks(rq)". Because for queued p, "!task_running(rq, p)" and "p->nr_cpus_allowed > 1" already imply that "has_pushable_tasks(rq)" is true. - Remove "!test_tsk_need_resched(rq->curr)". The condtion mainly intends to ensure higher priority rt tasks won't be pushed away. I can think of two reasons below for getting rid of it. 1) With following "rq->curr->prio <= p->prio", we still can guarantee that purpose. "rq->curr->prio <= p->prio" implies the "need resched flag" wasn't set by check_preempt_curr() except the one set by check_preempt_equal_prio() for equal prio cases(In this case, if the condition is removed, it may result in an extra push_rt_tasks(), but this doesn't cause the wrong logic, in fact this extra push_rt_tasks() will probably return quickly for the case). Addtionally, there're also cases the "need resched flag" got set before the waking, with current implementation it needn't to push lower priority tasks as the cpu will schedule, while it will do an extra pushing if the condition is removed. But on the other hand, we can get a timely pushing for the woken tasks after the condition is removed(better for the non-preemptible kernel). 2) With following condtion "rq->curr->nr_cpus_allowed < 2" which was added by commit b3bc211cfe7d ("sched: Give CPU bound RT tasks preference"). But in the scenario descibed in the commit, "need resched flag" was already set before in check_preempt_curr(), thus "!test_tsk_need_resched(rq->curr)" is always false which means with current implementation the commit is futile for task_woken_rt(). So, by removing this condition, we get the right logic. Signed-off-by: Xunlei Pang --- v1->v2: Improved the changelog. kernel/sched/rt.c | 2 -- 1 file changed, 2 deletions(-) diff --git a/kernel/sched/rt.c b/kernel/sched/rt.c index 4176f33..95b596b 100644 --- a/kernel/sched/rt.c +++ b/kernel/sched/rt.c @@ -2232,8 +2232,6 @@ out: static void task_woken_rt(struct rq *rq, struct task_struct *p) { if (!task_running(rq, p) && - !test_tsk_need_resched(rq->curr) && - has_pushable_tasks(rq) && p->nr_cpus_allowed > 1 && (dl_task(rq->curr) || rt_task(rq->curr)) && (rq->curr->nr_cpus_allowed < 2 ||