Received: by 2002:ac0:a5a6:0:0:0:0:0 with SMTP id m35-v6csp561751imm; Fri, 14 Sep 2018 02:53:27 -0700 (PDT) X-Google-Smtp-Source: ANB0VdbTX5zl4qj7KoO7H9dqmQ3Db1sgaOc2b1p5CfSLAf32Y+61gbTvVbQ2Bm8oj8YoKHBgG/EN X-Received: by 2002:a62:3184:: with SMTP id x126-v6mr11545610pfx.49.1536918807380; Fri, 14 Sep 2018 02:53:27 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1536918807; cv=none; d=google.com; s=arc-20160816; b=ZwZct9sF6AhptLj9bMU9Aaeq9O+4Li3IQVYmJOgOlqdwR49OrJtIXDgR1vQMtixH+V bkBhz8bYLKsgbCyd9inl09228yQ1J9PDoT1cGRIx1/94dg21G4k53bmPMiwYkCIEDQrm LezY0LVVTkE5y2l2Ss6lFkEiPg0RmWKaY7/bf/83FS5GkZBkRm9vL5tcrDx39EXGbye+ gVIdRzb3GRNn9FWXbnNOhuUWkjbdI2b/gGq8UvFy7HOK83S3gOvaLOXFipb7HtCYmxGI FEI9GlP4kgtz9YKmugT3F9zUjTKIpPo6MgAsnLZBcwdvljKNX5p9lNGijTCD15TLU7Qn jnXg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding:mime-version :references:in-reply-to:message-id:date:subject:cc:to:from; bh=BLepTh96RqRFRx1YBSGjlfPABQfRnITw8U9UCP69UQk=; b=x7zvF0aGCVoprITekEwUP48ul8DQfAhmwKL+kR8YYE/Efe/X3gDgAiKWarektkEXcu RZswW38pnisv/eTY6uwZGNUmmxSZ6pMqlrVysKRnlYiFuwX7PJfxstUdh2fpb9XquWnT tu/c7HF91e3PhHgoPffiGogAvyGj2bfxYNiZ4cavRmBTN/sXj8Ra7Jr3WTADQlAoUa+b AI+yXk1VZMuwIcSJkdc5CCXTIMSgBj/4mXjrd9m9gP48+7B1mYUzxm0eNT1uEyYUVynX Yxf397uvv+W0SMXqQfnFaJjfJgE4Aaav4w2n9aeY8OTkXhsz9Ids6qWl2lO14mLgmgnd SvuA== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id l63-v6si6896115plb.166.2018.09.14.02.53.11; Fri, 14 Sep 2018 02:53:27 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727992AbeINPGo (ORCPT + 99 others); Fri, 14 Sep 2018 11:06:44 -0400 Received: from cloudserver094114.home.pl ([79.96.170.134]:53995 "EHLO cloudserver094114.home.pl" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726618AbeINPGo (ORCPT ); Fri, 14 Sep 2018 11:06:44 -0400 Received: from 79.184.255.178.ipv4.supernova.orange.pl (79.184.255.178) (HELO aspire.rjw.lan) by serwer1319399.home.pl (79.96.170.134) with SMTP (IdeaSmtpServer 0.83.148) id 0970692a9123ede9; Fri, 14 Sep 2018 11:52:57 +0200 From: "Rafael J. Wysocki" To: Lorenzo Pieralisi Cc: "Rafael J. Wysocki" , Ulf Hansson , Sudeep Holla , Mark Rutland , Linux PM , Kevin Hilman , Lina Iyer , Lina Iyer , Rob Herring , Daniel Lezcano , Thomas Gleixner , Vincent Guittot , Stephen Boyd , Juri Lelli , Geert Uytterhoeven , Linux ARM , linux-arm-msm , Linux Kernel Mailing List , Frederic Weisbecker , Ingo Molnar Subject: Re: [PATCH v8 07/26] PM / Domains: Add genpd governor for CPUs Date: Fri, 14 Sep 2018 11:50:15 +0200 Message-ID: <5398488.CyAMIAYSYI@aspire.rjw.lan> In-Reply-To: <20180809153925.GA20329@red-moon> References: <20180620172226.15012-1-ulf.hansson@linaro.org> <20180809153925.GA20329@red-moon> MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thursday, August 9, 2018 5:39:25 PM CEST Lorenzo Pieralisi wrote: > On Mon, Aug 06, 2018 at 11:20:59AM +0200, Rafael J. Wysocki wrote: > > [...] > > > >>> > @@ -245,6 +248,56 @@ static bool always_on_power_down_ok(struct dev_pm_domain *domain) > > >>> > return false; > > >>> > } > > >>> > > > >>> > +static bool cpu_power_down_ok(struct dev_pm_domain *pd) > > >>> > +{ > > >>> > + struct generic_pm_domain *genpd = pd_to_genpd(pd); > > >>> > + ktime_t domain_wakeup, cpu_wakeup; > > >>> > + s64 idle_duration_ns; > > >>> > + int cpu, i; > > >>> > + > > >>> > + if (!(genpd->flags & GENPD_FLAG_CPU_DOMAIN)) > > >>> > + return true; > > >>> > + > > >>> > + /* > > >>> > + * Find the next wakeup for any of the online CPUs within the PM domain > > >>> > + * and its subdomains. Note, we only need the genpd->cpus, as it already > > >>> > + * contains a mask of all CPUs from subdomains. > > >>> > + */ > > >>> > + domain_wakeup = ktime_set(KTIME_SEC_MAX, 0); > > >>> > + for_each_cpu_and(cpu, genpd->cpus, cpu_online_mask) { > > >>> > + cpu_wakeup = tick_nohz_get_next_wakeup(cpu); > > >>> > + if (ktime_before(cpu_wakeup, domain_wakeup)) > > >>> > + domain_wakeup = cpu_wakeup; > > >>> > + } > > >> > > >> Here's a concern I have missed before. :-/ > > >> > > >> Say, one of the CPUs you're walking here is woken up in the meantime. > > > > > > Yes, that can happen - when we miss-predicted "next wakeup". > > > > > >> > > >> I don't think it is valid to evaluate tick_nohz_get_next_wakeup() for it then > > >> to update domain_wakeup. We really should just avoid the domain power off in > > >> that case at all IMO. > > > > > > Correct. > > > > > > However, we also want to avoid locking contentions in the idle path, > > > which is what this boils done to. > > > > This already is done under genpd_lock() AFAICS, so I'm not quite sure > > what exactly you mean. > > > > Besides, this is not just about increased latency, which is a concern > > by itself but maybe not so much in all environments, but also about > > possibility of missing a CPU wakeup, which is a major issue. > > > > If one of the CPUs sharing the domain with the current one is woken up > > during cpu_power_down_ok() and the wakeup is an edge-triggered > > interrupt and the domain is turned off regardless, the wakeup may be > > missed entirely if I'm not mistaken. > > > > It looks like there needs to be a way for the hardware to prevent a > > domain poweroff when there's a pending interrupt or I don't quite see > > how this can be handled correctly. > > > > >> Sure enough, if the domain power off is already started and one of the CPUs > > >> in the domain is woken up then, too bad, it will suffer the latency (but in > > >> that case the hardware should be able to help somewhat), but otherwise CPU > > >> wakeup should prevent domain power off from being carried out. > > > > > > The CPU is not prevented from waking up, as we rely on the FW to deal with that. > > > > > > Even if the above computation turns out to wrongly suggest that the > > > cluster can be powered off, the FW shall together with the genpd > > > backend driver prevent it. > > > > Fine, but then the solution depends on specific FW/HW behavior, so I'm > > not sure how generic it really is. At least, that expectation should > > be clearly documented somewhere, preferably in code comments. > > > > > To cover this case for PSCI, we also use a per cpu variable for the > > > CPU's power off state, as can be seen later in the series. > > > > Oh great, but the generic part should be independent on the underlying > > implementation of the driver. If it isn't, then it also is not > > generic. > > > > > Hope this clarifies your concern, else tell and will to elaborate a bit more. > > > > Not really. > > > > There also is one more problem and that is the interaction between > > this code and the idle governor. > > > > Namely, the idle governor may select a shallower state for some > > reason, for example due to an additional latency limit derived from > > CPU utilization (like in the menu governor), and how does the code in > > cpu_power_down_ok() know what state has been selected and how does it > > honor the selection made by the idle governor? > > That's a good question and it maybe gives a path towards a solution. > > AFAICS the genPD governor only selects the idle state parameter that > determines the idle state at, say, GenPD cpumask level it does not touch > the CPUidle decision, that works on a subset of idle states (at cpu > level). I've deferred responding to this as I wasn't quite sure if I followed you at that time, but I'm afraid I'm still not following you now. :-) The idle governor has to take the total worst-case wakeup latency into account. Not just from the logical CPU itself, but also from whatever state the SoC may end up in as a result of this particular logical CPU going idle, this way or another. So for example, if your logical CPU has an idle state A that may trigger an idle state X at the cluster level (if the other logical CPUs happen to be in the right states and so on), then the worst-case exit latency for that is the one of state X. > That's my understanding, which can be wrong so please correct me > if that's the case because that's a bit confusing. > > Let's imagine that we flattened out the list of idle states and feed > CPUidle with it (all of them - cpu, cluster, package, system - as it is > in the mainline _now_). Then the GenPD governor can run-through the > CPUidle selection and _demote_ the idle state if necessary since it > understands that some CPUs in the GenPD will wake up shortly and break > the target residency hyphothesis the CPUidle governor is expecting. > > The whole idea about this series is improving CPUidle decision when > the target idle state is _shared_ among groups of cpus (again, please > do correct me if I am wrong). > > It is obvious that a GenPD governor must only demote - never promote a > CPU idle state selection given that hierarchy implies more power > savings and higher target residencies required. So I see a problem here, because the way patch 9 in this series is done, the genpd governor for CPUs has no idea what states have been selected by the idle governor, so how does it know how deep it can go with turning off domains? My point is that the selection made by the idle governor need not be based only on timers which is the only thing that the genpd governor seems to be looking at. The genpd governor should rather look at what idle states have been selected for each CPU in the domain by the idle governor and work within the boundaries of those. Thanks, Rafael