From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-dy1-f182.google.com (mail-dy1-f182.google.com [74.125.82.182]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 3DA083CD8DC for ; Wed, 25 Mar 2026 15:23:30 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=74.125.82.182 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1774452212; cv=none; b=ReGQDJdkYLIO0+uOjLJjhpzBYHr6NkPoaT2KY3ICrhVeSw3dLoNR+y/ejfK2P0ZZXDyxm5ufAC+mhn66dOYNTTahkqgitLw9WUBieVMm4nkys3ukP6seKSn3+8qmTjoNfqkPjeNrotOwJVR8EJpN8DX/pPxEIBzWKg2SFI5JHxc= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1774452212; c=relaxed/simple; bh=TQMq3/Y5EPmE1jivpGAhP3Futs9HVKw7EhGZgbeH5PI=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=rQ+CPAOUeISfYlwIiRoLcSU/PpNe7FzfHNtbQZOqLK2DFWCS0dDqI5zUJ7g8aw1XzdIfH/bkIQPa7tuhq5ZH6Qbn7UKCsjBGSoAbMozMwmbFQ+kpWOEw0YR5n7miq4ecuV/GP+0+onuUkAJxJpn7sdmC3LsFY6EArmCIdD3jolQ= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=HJFBiQXw; arc=none smtp.client-ip=74.125.82.182 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="HJFBiQXw" Received: by mail-dy1-f182.google.com with SMTP id 5a478bee46e88-2c160cb021cso944951eec.1 for ; Wed, 25 Mar 2026 08:23:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1774452209; x=1775057009; darn=lists.linux.dev; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=dYR/VQii1eq+59yB5UylOEDiVqDDyUVcShZrPailuWs=; b=HJFBiQXw9gM8xyHTfTFpGCIwtEczj8ftVS8BlEOsGod85NsBh6vDsUbbMMvJHbTL1d t9nHdoJV/55+mCAv5UEfjwaJ0c2qLIsoWIc5/rUTepyLZRjPUuNBLmt76ZvWy8oQLVqn tjqP3rMSWf7jXnTed0zHvaLAwCtoNBTaRLzuSR4BQlLypQHyL4kYSG+aWhZWcodx6gu8 auCJddDd0We4GXklNg2ZiavbK7cb8pw3ymdMF5ypyj8W+MIDxcqveEmjNLI13bRvpWDQ C8tz4UpDvJIhCSeDq1o6mZX/jJBYPwlBgLoJNksiGEfibbrhMUTCwQnR2P4LS/P3bQ6H kjbw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1774452209; x=1775057009; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-gg:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=dYR/VQii1eq+59yB5UylOEDiVqDDyUVcShZrPailuWs=; b=tQ/esxTdkR5+atY0vEMy+Q8PhJUn6+VkHiHkv9b1i+7j8up8SuiaRMRbVUpdVHTYIR sG98ZS+wl6vx7PhQmFg6dJBltgdLPsMBcpE1lBWyeggmqXBYoljLehcj6xj40JerJo01 moACOIfe9x4yKuBNFwuuY8irRGd47cVIHdWd3ULjGSisNsLuY4ehbplFrpvaw2y5eZZj azP1/l/BX0cu4Op9eLZBvrrmh6npA2qQaYkC1haluxCgXD0Tf6UIbTeo7mAi1ihj//c7 iRmieBpI/eIZLq3XprfU3RUpAGHfK33fa8+ClpdZgwIao4+aSxMEezYc+iRCP4Yz6aqZ Zl1Q== X-Forwarded-Encrypted: i=1; AJvYcCXYi/s4aa1/GScyIaghlt7ZeqGIFCDoqdbQV56EFFCcRH7j21tKOpLBIjB98F4KkLUZHVhwzO5cD+CTyw==@lists.linux.dev X-Gm-Message-State: AOJu0YxCh6lzUmW2I0syaKuDROO/WHdHCuKTPsc0aLr2m4nGwI2BToy7 dm4QMFbbsKp9DYBp4JEaeQZ2CldLV6nKyhvr78GcPgFEp9opbz8t7sPa X-Gm-Gg: ATEYQzwkaAJEKZmRMeTJ7Ehb06G87hXMJDwx71kc0RJV3aOv7Sxu1lifYR4j33KKWVd x7BrrcExazoMHFqiTSw5G1EZe6uSAie0uUMxc9ewi7EhY9pQv/cvgwFmOHhULBvovSO0K3vrh01 NKKHrjs5OkhHR20QWqNu3vI70T55vGtMt136sgr32xzyIof0hI/fE98JOxJDuYEsQRKk05OVKcU id0QrosTy+35wZiFWpr8DFISwkOpOEZxxU8oNk14KXmsNLfuo/JxFdu4yS2Gs0VHqh1eagOORA1 rBgo45OM3teSPukux0mW7ac8GhYvu2CfvVqJXquo74W6PGbQoW/j/dky1NEr1j0nanv0g/q3zxS GbEyXzq3LJK2Vbfyh3wkVpKMFhV2eakXPnfPa+u0pxfEEr3yjV7nH/h9Sr/UuVtC6zEnVaFe0ce yEz7DdF7fNtWJIyGbQBLBNRUnYCAOqMSL42nglKh3TR3aFWJBQCj4IKWI88IhC/9o7 X-Received: by 2002:a05:7301:578d:b0:2ba:6819:2e9b with SMTP id 5a478bee46e88-2c15d32bccemr2245364eec.3.1774452209058; Wed, 25 Mar 2026 08:23:29 -0700 (PDT) Received: from google.com ([2a00:79e0:2ebe:8:b7b4:352d:eb23:66e5]) by smtp.gmail.com with ESMTPSA id 5a478bee46e88-2c10b29c941sm18375747eec.15.2026.03.25.08.23.27 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 25 Mar 2026 08:23:28 -0700 (PDT) Date: Wed, 25 Mar 2026 08:23:24 -0700 From: Dmitry Torokhov To: Robin Murphy Cc: Danilo Krummrich , Manivannan Sadhasivam , Manivannan Sadhasivam , Lorenzo Pieralisi , Krzysztof =?utf-8?Q?Wilczy=C5=84ski?= , Rob Herring , Bjorn Helgaas , Heiko Stuebner , Niklas Cassel , Shawn Lin , Hans Zhang <18255117159@163.com>, Nicolas Frattaroli , Wilfred Mallawa , linux-pci@vger.kernel.org, linux-arm-kernel@lists.infradead.org, linux-rockchip@lists.infradead.org, linux-kernel@vger.kernel.org, Anand Moon , Grimmauld , Greg Kroah-Hartman , "Rafael J. Wysocki" , driver-core@lists.linux.dev, Lukas Wunner Subject: Re: [PATCH v3] PCI: dw-rockchip: Enable async probe by default Message-ID: References: <87bc37ee-234c-4568-b72e-955c130a6838@arm.com> <5d88fb5b-e771-4ea6-8d2c-c5cfd21e5860@arm.com> <55c28218-1638-4b90-a9cd-a177fb5abcb6@arm.com> <6cc25c83-6a5a-4785-9573-335371a94798@arm.com> Precedence: bulk X-Mailing-List: driver-core@lists.linux.dev List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <6cc25c83-6a5a-4785-9573-335371a94798@arm.com> On Wed, Mar 25, 2026 at 03:01:03PM +0000, Robin Murphy wrote: > On 25/03/2026 4:13 am, Dmitry Torokhov wrote: > > On Thu, Mar 12, 2026 at 12:48:36PM +0000, Robin Murphy wrote: > > > On 2026-03-11 9:09 pm, Danilo Krummrich wrote: > > > > On Wed Mar 11, 2026 at 1:28 PM CET, Manivannan Sadhasivam wrote: > > > > > On Wed, Mar 11, 2026 at 12:46:03PM +0100, Danilo Krummrich wrote: > > > > > > On Wed Mar 11, 2026 at 6:24 AM CET, Manivannan Sadhasivam wrote: > > > > > > > I have a contrary view here. If just a single driver or lib doesn't handle async > > > > > > > probe, it cannot just force other drivers to not take the advantage of async > > > > > > > probe. As I said above, enabling async probe easily saves a few hunderd ms or > > > > > > > even more if there are more than one Root Port or Root Complex in an SoC. > > > > > > > > > > > > Then the driver or lib has to be fixed / improved first or the driver core has > > > > > > to be enabled to deal with a case where PROBE_FORCE_SYNCHRONOUS is requested > > > > > > from an async path, etc. > > > > > > > > > > > > In any case, applying the patch and breaking things (knowingly?) doesn't seem > > > > > > like the correct approach. > > > > > > > > > > > > > I strongly agree with you here that the underlying issue should be fixed. But > > > > > > > the real impact to end users is not this splat, but not having the boot time > > > > > > > optimization that this patch brings in. As an end user, one would want their > > > > > > > systems to boot quickly and they wouldn't bother much about a harmless warning > > > > > > > splat appearing in the dmesg log. > > > > > > > > > > > > You mean quickly booting into a "harmless" potential deadlock condition the > > > > > > warning splat tries to make people aware of? :) > > > > > > > > > > > > > > > > Hmm, I overlooked the built-as-module part where the deadlock could be possible > > > > > as indicated by the comment about the WARN_ON_ONCE(). > > > > > > > > > > But what is the path forward here? Do you want the phylib to fix the > > > > > request_module() call or fix the driver core instead? > > > > > > > > Here are a few thoughts. > > > > > > > > In general, I think the best would be to get rid of the (affected) > > > > PROBE_FORCE_SYNCHRONOUS cases. > > > > > > > > Now, I guess this can be pretty hard for a PCI controller driver, as you can't > > > > really predict what ends up being probed from you async context, i.e. it could > > > > even be some other bus controller and things could even propagate further. > > > > > > > > Not sure how big of a deal it is in practice though, there are not a lot of > > > > PROBE_FORCE_SYNCHRONOUS drivers (left), but note that specifying neither > > > > PROBE_FORCE_SYNCHRONOUS nor PROBE_PREFER_ASYNCHRONOUS currently results in > > > > synchronous by default. > > > > > > > > (Also, quite some other PCI controller drivers do set PROBE_PREFER_ASYNCHRONOUS > > > > and apparently got lucky with it.) > > > > > > > > From a driver-core perspective I think we're rather limited on what we can do; > > > > we are already in async context at this point and can't magically go back to > > > > initcall context. > > > > > > > > So, the only thing I can think of is to kick off work on a workqueue, which in > > > > the end would be the same as the deferred probe handling. > > > > > > Hmm, in fact, isn't the deferred probe mechanism itself actually quite > > > appropriate? A suitable calling context isn't the most obvious "resource > > > provider" to wait for, but ultimately it's still a case of "we don't > > > have everything we need right now, but it's worth trying again soon". > > > I may have missed some subtleties, but my instinct is that it could > > > perhaps be as simple as something like this (completely untested). > > > > > > Cheers, > > > Robin. > > > > > > ----->8----- > > > > > > diff --git a/drivers/base/dd.c b/drivers/base/dd.c > > > index bea8da5f8a3a..3c4a0207ae3f 100644 > > > --- a/drivers/base/dd.c > > > +++ b/drivers/base/dd.c > > > @@ -954,6 +954,16 @@ static int __device_attach_driver(struct device_driver *drv, void *_data) > > > if (data->check_async && async_allowed != data->want_async) > > > return 0; > > > + /* > > > + * Bus drivers may probe asynchronously, but be adding a child device > > > + * whose driver still wants a synchronous probe. In this case, just > > > + * defer it, to be triggered by the parent driver probe succeeding. > > > + */ > > > + if (!async_allowed && current_is_async()) { > > > + driver_deferred_probe_add(dev); > > > + return 0; > > > + } > > > > That means that you are kicking the majority devices (for now) into > > deferral path. I do not think this is optimal. > > And probing drivers under conditions where they may go wrong or deadlock is > better? I've not yet had a chance to actually test this myself to see the > effect on timings, but whatever it might be, I can't imagine any *other* > method of re-serialising child driver probes could be significantly better > (or if it could be, that might represent some improvement we could make to > the deferred probe mechanism in general anyway). There is serious disconnect as to what asynchronous and synchronous probing means. You do not go "back" to synchronous probing. /* * Indicates whether we are considering asynchronous probing or * not. Only initial binding after device or driver registration * (including deferral processing) may be done asynchronously, the * rest is always synchronous, as we expect it is being done by * request from userspace. */ bool check_async; So synchronous means that when you register device or driver we dun probe immediately on the same thread that registered said device or driver, while with async we _may_ schedule on a workqueue (but if the system has already scheduled too much async it will be probed synchronously or immediately). So in the case we are discussing the probing of phy device is indeed synchronous/immediate relative to the thread where the phy device is registered. > > I have finally got a bit of time this afternoon to pick this up again, so > I'll have a play and try to finish the write-up capturing all the reasoning > so far (it's a long one...) > > > Does phy really need to request modules synchronously (and on its own)? > > Why can't it rely on udev to load the modules and signal when phy > > devices are ready? > > Getting hung up on what phylib does in this one particular case is rather > missing the point. There is a reason that we're still not forcing > async_probe on for everything by default. Many drivers will still not have > been tested and validated to handle it correctly, and while the majority of > latent issues will likely just be concurrency bugs which can be fixed with > better locking or whatever, even then we should be encouraging developers to > actively test and look for such bugs to make their drivers "async probe > clean", rather than knowingly enabling bugs to surface in the wild as weird > and subtle breakage on end-user systems. No. We have identified (at least IMO) that what phylib does is wrong. I am not advocating forcing this PCI host to be marked for asycn probing right now, before the phy issue is fixed, but I object to adding workarounds to driver core which hurt other cases and may lead to phylib never be fixed. > > However, I imagine there will always remain some small minority of > PROBE_FORCE_SYNCHRONOUS drivers - either for niche legitimate technical > reasons, or just legacy drivers where updating them would take more effort > than it's worth - so the driver core surely needs the ability to not do the > wrong thing itself. That doesn't even need to be "optimal", it just needs to > be functionally correct. Again, your expectation of what sync probing means differs from what I had in mind when implementing it. PROBE_FORCE_SYNCHRONOUS is typically for drivers/modules that register both a device (typically a singleton) and a driver, and want to unregister both and free all resources when initialization fails for some reason. Think cases like PC keyboard controller. Thanks. -- Dmitry