Received: by 2002:a6b:fb09:0:0:0:0:0 with SMTP id h9csp657646iog; Thu, 30 Jun 2022 07:50:23 -0700 (PDT) X-Google-Smtp-Source: AGRyM1uSLhdUSBaiHCmUokUWrdWZGkm9qZmd97TLMQ3BHV+i7+UfnnqMUPhprbMpTRWM9Pp99lsR X-Received: by 2002:a05:6402:3988:b0:434:e2a8:8459 with SMTP id fk8-20020a056402398800b00434e2a88459mr12140921edb.253.1656600623246; Thu, 30 Jun 2022 07:50:23 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1656600623; cv=none; d=google.com; s=arc-20160816; b=Ha2tvXKnz/wmmQEWl9PxFvEekmSUx9qhmbBNKdy2mNJ+yjj+pHDCirpc2MdMmK70qe 9+WnWLcxeE/UqeTbS5J/Zr9Wk5NiXY1oFrmqXUYFIX4eYyjWc9G/inrBd5Euk/nVGMcz oEeJAGz12zpANSCfdfQ/nwdoaF51I9giaBAZvTxgihguNo80uH1YlH86BortO2A/ktl0 UgyQXG8NxHFpsbZAemrlp/4/nqpObJkxitNW0NDhqOUwn9IEymei62tUx3NtrBc0c2Ny FKrudX9Qsos1fNoEZVQ2Uh6F8ZPLYT6f26r1avZGICwJSv6xuuVNYvswy2ONjB243Ncn 5WCg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:cc:to:subject:message-id:date:from:in-reply-to :references:mime-version; bh=+qCSLXLpvZWhA8w54PN+yxH0ih122e6D4lPNgfVMEk8=; b=GxVjJ1oCwCqEiKtZkcxN9urnFuFoWZUgbt58S2gyqIf5N+TxroisghlVZKmKqRraNv aZgScWptXZz7wJfNsOGEYls1C9e7Z/gc8nE9GqCFNLGE7yY133QP4j+8ObanxI0Y9zi5 ZXoEH0NjJiIFalOfOteuLIwDRHdl2rt69SfdTmjWjmkwh0lYd7Dm1VsBxSxqM6wcbORB LTgs8DvRFHHO+patsIz2wp3fNQwp5n5ia+YRerLq6Jl0Ejm+Vdx7CEUjkO7O8Srt7BOm //J7kpy/5USbueo5Xo4BZtqKXd2RKeZX2hF42r8NZJbs2pEpBKo6Ndc/2DIGRsnn8IPW fI2Q== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id gs9-20020a1709072d0900b006fecdce291dsi13632603ejc.520.2022.06.30.07.49.58; Thu, 30 Jun 2022 07:50:23 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S235248AbiF3OsK (ORCPT + 99 others); Thu, 30 Jun 2022 10:48:10 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:55278 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S232881AbiF3OsI (ORCPT ); Thu, 30 Jun 2022 10:48:08 -0400 Received: from mail-yw1-f173.google.com (mail-yw1-f173.google.com [209.85.128.173]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 4028AD78; Thu, 30 Jun 2022 07:48:07 -0700 (PDT) Received: by mail-yw1-f173.google.com with SMTP id 00721157ae682-31bf3656517so90721917b3.12; Thu, 30 Jun 2022 07:48:07 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=+qCSLXLpvZWhA8w54PN+yxH0ih122e6D4lPNgfVMEk8=; b=gOLuUA56LveIk4khjUgs7/laAbEK4DLHG/zomJQMK0rQVfTafwXv+C+TI5vOxRpQhy X8zCHje9VfffquyCPTJZ4VU85KbZroivSXILGAXii+r5BawoMidurZ2cfC8K9+SjJZJ7 XRiK87Ni0Pe3eVCudWpLoCQQt5AxdZUI7KGEsXQwjGJZ9MnRiKugKvqn102vUDGv8oy6 I+wbegWnJeYhzd8ZHyIY3jBNCXemPlVJi1xypOfPZva8UgfCthhisgJDgdHAzJ22hVRN kxaJe/lu+on3VdX5QvQasvuw2d45ZqyR/VqnoJt68xwXxq6wVUTWYR0KqvgnLJkXzo+b D0Ng== X-Gm-Message-State: AJIora85i0cBiHEvDuLt0sJ/t9jQioJ9AmGOcgGEbImh6qzJiDgPi/cs 56rf+3C4NKVyB791kYbdVKTxX76KbNXgoMzfhNrEj4Pg7ew= X-Received: by 2002:a0d:d086:0:b0:31b:d0b2:e11f with SMTP id s128-20020a0dd086000000b0031bd0b2e11fmr10645242ywd.515.1656600486367; Thu, 30 Jun 2022 07:48:06 -0700 (PDT) MIME-Version: 1.0 References: <20220613120755.14306-1-peter.wang@mediatek.com> <12028598.O9o76ZdvQC@kreacher> <90b5f619-2dd6-817b-fe2d-f895be0b5b98@mediatek.com> In-Reply-To: <90b5f619-2dd6-817b-fe2d-f895be0b5b98@mediatek.com> From: "Rafael J. Wysocki" Date: Thu, 30 Jun 2022 16:47:55 +0200 Message-ID: Subject: Re: [PATCH v1] PM-runtime: Check supplier_preactivated before release supplier To: Peter Wang Cc: "Rafael J. Wysocki" , "Rafael J. Wysocki" , Greg Kroah-Hartman , Linux PM , LKML Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-1.4 required=5.0 tests=BAYES_00, FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM,HEADER_FROM_DIFFERENT_DOMAINS, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Jun 30, 2022 at 4:26 PM Peter Wang wrote: > > > On 6/30/22 12:01 AM, Rafael J. Wysocki wrote: > > [Add CCs to linix-pm, LKML and Greg] > > > > On Wednesday, June 29, 2022 5:32:00 PM CEST Rafael J. Wysocki wrote: > >> On Wed, Jun 29, 2022 at 4:47 PM Peter Wang wrote: > >>> > >>> On 6/29/22 9:22 PM, Rafael J. Wysocki wrote: > >>>> On Wed, Jun 29, 2022 at 5:02 AM Peter Wang wrote: > >>>>> On 6/28/22 11:54 PM, Rafael J. Wysocki wrote: > >>>>>> On Tue, Jun 28, 2022 at 3:53 AM Peter Wang wrote: > >>>>>>> On 6/28/22 3:00 AM, Rafael J. Wysocki wrote: > >>>>>>>> On Mon, Jun 13, 2022 at 2:08 PM wrote: > >>>>>>>>> From: Peter Wang > >>>>>>>>> > >>>>>>>>> With divice link of DL_FLAG_PM_RUNTIME, if consumer call pm_runtime_get_suppliers > >>>>>>>>> to prevent supplier enter suspend, pm_runtime_release_supplier should > >>>>>>>>> check supplier_preactivated before let supplier enter suspend. > >>>>>>>> Why? > >>>>>>> because supplier_preactivated is true means supplier cannot enter > >>>>>>> suspend, right? > >>>>>> No, it doesn't mean that. > >>>>> Hi Rafael, > >>>>> > >>>>> if supplier_preactivated is true, means someone call > >>>>> pm_runtime_get_suppliers and > >>>>> before pm_runtime_put_suppliers right? This section suppliers should not > >>>>> enter suspend. > >>>> No, this is not how this is expected to work. > >>>> > >>>> First off, the only caller of pm_runtime_get_suppliers() and > >>>> pm_runtime_put_suppliers() is __driver_probe_device(). Really nobody > >>>> else has any business that would require calling them. > >>> Hi Rafael, > >>> > >>> Yes, you are right! > >>> __driver_probe_device the only one use and just because > >>> __driver_probe_device use > >>> pm_runtime_get_suppliers cause problem. > >>> > >>> > >>>> Second, the role of pm_runtime_get_suppliers() is to "preactivate" the > >>>> suppliers before running probe for a consumer device and the role of > >>> the role of pm_runtime_get_suppliers() is to "preactivate" the suppliers, > >>> but suppliers may suspend immediately after preactivate right? > >>> Here is just this case. this is first racing point. > >>> Thread A: pm_runtime_get_suppliers -> __driver_probe_device > >>> Thread B: pm_runtime_release_supplier > >>> Thread A: Run with supplier not preactivate -> __driver_probe_device > >>> > >>>> pm_runtime_put_suppliers() is to do the cleanup in case the device is > >>>> left in suspend after probing. > >>>> > >>>> IOW, pm_runtime_get_suppliers() is to ensure that the suppliers will > >>>> be active until the probe callback takes over and the rest depends on > >>>> that callback. > >>> The problem of this racing will finally let consumer is active but > >>> supplier is suspended. > >> So it would be better to send a bug report regarding this. > >> > >>> The link relation is broken. > >>> I know you may curious how it happened? right? > >>> Honestly, I am not sure, but I think the second racing point > >>> is rpm_get_suppliers and pm_runtime_put_suppliers(release rpm_active). > >> I'm not sure what you mean by "the racing point". > >> > >> Yes, these functions can run concurrently. > >> > >>> So, I try to fix the first racing point and the problem is gone. > >>> It is full meet expect, and the pm runtime will work smoothly after > >>> __driver_probe_device done. > >> I'm almost sure that there is at least one scenario that would be > >> broken by this change. > > That said, the code in there may be a bit overdesigned. > > > > Does the patch below help? > > > > --- > > drivers/base/power/runtime.c | 14 +------------- > > 1 file changed, 1 insertion(+), 13 deletions(-) > > > > Index: linux-pm/drivers/base/power/runtime.c > > =================================================================== > > --- linux-pm.orig/drivers/base/power/runtime.c > > +++ linux-pm/drivers/base/power/runtime.c > > @@ -1768,7 +1768,6 @@ void pm_runtime_get_suppliers(struct dev > > if (link->flags & DL_FLAG_PM_RUNTIME) { > > link->supplier_preactivated = true; > > pm_runtime_get_sync(link->supplier); > > - refcount_inc(&link->rpm_active); > > } > > > > device_links_read_unlock(idx); > > @@ -1788,19 +1787,8 @@ void pm_runtime_put_suppliers(struct dev > > list_for_each_entry_rcu(link, &dev->links.suppliers, c_node, > > device_links_read_lock_held()) > > if (link->supplier_preactivated) { > > - bool put; > > - > > link->supplier_preactivated = false; > > - > > - spin_lock_irq(&dev->power.lock); > > - > > - put = pm_runtime_status_suspended(dev) && > > - refcount_dec_not_one(&link->rpm_active); > > - > > - spin_unlock_irq(&dev->power.lock); > > - > > - if (put) > > - pm_runtime_put(link->supplier); > > + pm_runtime_put(link->supplier); > > } > > > > device_links_read_unlock(idx); > > > Hi Rafael, > > I think this patch solve the rpm_active racing problem. > But it still have problem that > pm_runtime_get_suppliers call pm_runtime_get_sync(link->supplier) > and supplier could suspend immediately by other thread who call > pm_runtime_release_supplier. No, it won't, because pm_runtime_release_supplier() won't drop the reference on the supplier taken by pm_runtime_get_suppliers(0 after the patch.