From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-wm1-f41.google.com (mail-wm1-f41.google.com [209.85.128.41]) (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 B6063340D90 for ; Sun, 12 Jul 2026 21:32:05 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.128.41 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1783891927; cv=none; b=VtwirGYeDOiakzYeJCMzFeJ6Gz4+EMASPXPCQ0ulADXj74hCzpuVY8RtJZFzYWYt1vuoi7c0r73Cmd4k/aGayCtgnLgDLbdrjNPTXHMxprFa87HjfosyU9GimqAF5EssAbrOpnN4u7C52GyndIPzdpJe/k4ek5ZEbKf//hufwRI= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1783891927; c=relaxed/simple; bh=y8zaWWRlBXdoCTRTCckJiK4xo6/vhohLPR6vt7YCJ60=; h=From:To:Cc:Subject:Date:Message-ID:In-Reply-To:References: MIME-Version:Content-Type:Content-Disposition; b=BnsB1w/eryuZy/h99XaRYKRkor4gpEtz4bdnSIXcRo0Hd8+e1YV4SSz/YownZ3BPHqT0JgSSL42Ti7knysF40n821tGH7KXwKSiZNXfV1OYk6H+FuwpcOZpyR6Vj9Bo9ZQkAEBNEf+6JXK8HXkwPRkf/LAlG610+AeFDKICDR9E= 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=lcbUTVkd; arc=none smtp.client-ip=209.85.128.41 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="lcbUTVkd" Received: by mail-wm1-f41.google.com with SMTP id 5b1f17b1804b1-493b27c7451so43018025e9.0 for ; Sun, 12 Jul 2026 14:32:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1783891924; x=1784496724; darn=vger.kernel.org; h=content-transfer-encoding:content-disposition:content-type :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:from:to:cc:subject:date:message-id:reply-to:content-type; bh=kZTw5ebndj59SW60Cuk+CY+pvjsLxjMDKRujQQgs+Vk=; b=lcbUTVkd3ccf+Thq22Ky+c8dzQYbPo0ObnecW9dPAVyHiFY/EoBVQXHi5FW0y+tWEL C8wNpkDskunsZPURqpNdY0b/XHu6mW1y8+AA9+Z5fU8CRRJbH0ayLkFEqtuYuWZq0R3t IYBGretYbl9Dzao1lfl2nOXVZUNkkhKuhQuFiJE2WiZcZlIKirbCzxxYaKIkkjdZgxME Kfct8KzO0ueqRMnri38AEwie4+Wge7g/MTMEE1lU6rl93QljRqL3R7mVgy/xcKQmajig G/n4GcDR+2rX1h1yLrrDVfcWwbShHsYjvFsxnMxjcPhR1sN9his7IJlZFJdWnv8CMHN3 OHng== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1783891924; x=1784496724; h=content-transfer-encoding:content-disposition:content-type :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:x-gm-gg:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to:content-type; bh=kZTw5ebndj59SW60Cuk+CY+pvjsLxjMDKRujQQgs+Vk=; b=skeR+ldC2pgbqyp+hqd1dIvPoIroMhumwZmSEAPMft2ITUY2fj18IpEib9mujf0tXS 0ejDXAru6js7YTtX2cEIaU1smTzHZ1fkw6cvqwa60HC+D0YTl89eTgWNntiXrV8vkBlV kCstqgRt5dgq8IBKeD8adthHXAXEty6XfhPcMxDAB122tqCI/z668AwM/DNn7+9Xj92E w0snd80wlb+1xg2VwV+oV9oI5z9W3vJU/VECmhifD2x6MQsjZ7+TBSdNmYligi2yJQO8 SUhf2XviwoyEubJjIR4PnWNZNKtyw2s/7kySUEKwlO3+d0yri0NqJhaBV4EsU+xrlY+3 nv9w== X-Forwarded-Encrypted: i=1; AHgh+Rqmz/2rx6hPR0boPFFn2lXUlZeDtgZmG/x7LEfcWYAuzuG2w6ZuadPw8cZ30S+88y/AvhKyg3JidFP1SNw=@vger.kernel.org X-Gm-Message-State: AOJu0YyZpI4G/UVumKvXmFpLVcF3fzfG1r9+EbplsY08Cd+GnpLyGaZ4 nmv+xuAVDHOM3bN2Cs/oT2TgSzN1TbcS5hzHhsdauT9jUaPVcGrut71Y X-Gm-Gg: AfdE7clIpUTCjuyHunqiPpp1X4WJu32w75vkbWb4FXH4KiIdeDgpcAnLnETjObbvqyZ 9ec46JwcDoJb3I1Fy9nqJClksMULC8UFgUswD3rp3zmqKkNAm72U9lYBo5MUNNfDy4+aiWq1RKE jVfiw1f4WQchifAHY8flc8mX33Btmfqiz2kaQc9bOLlDi28PbRSl5sfByvYKS+NUMPowvUNOioZ N4nDVErjl3hTBHXFHGNn5jdd0tEiO/wdp8j6Dy7hAW2khG4JNxzCbD+FoO5YxImdcUOCxDavLTt mZHYDYYmyuHlTkBQelrYCnMSDcg7nJnsH/YA63WhsOgvZsWDgUQc9hIBUXAkm690qR7qDJpFMkn LzEK4cs7VQSSCm6g2RU3jWBWF0B2xR9+HFVVBHIECyTKP/mmoZEm5VqThQofVMKFVv71GIaWOFB lxH8nvJIattGNXxpYA6IudSQOYKSQx6tUd X-Received: by 2002:a05:600c:1c27:b0:492:3fb5:3a17 with SMTP id 5b1f17b1804b1-493f887ab70mr70822705e9.2.1783891923923; Sun, 12 Jul 2026 14:32:03 -0700 (PDT) Received: from WindFlash.powerhub ([2a0a:ef40:f61:3b01:d08a:833b:756:8fce]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-493eb6df417sm332803075e9.8.2026.07.12.14.32.02 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 12 Jul 2026 14:32:03 -0700 (PDT) From: Leonardo Bras To: Jonathan Corbet Cc: Leonardo Bras , Shuah Khan , Peter Zijlstra , Ingo Molnar , Will Deacon , Boqun Feng , Waiman Long , Andrew Morton , David Hildenbrand , Lorenzo Stoakes , "Liam R. Howlett" , Vlastimil Babka , Mike Rapoport , Suren Baghdasaryan , Michal Hocko , Jann Horn , Pedro Falcato , Brendan Jackman , Johannes Weiner , Zi Yan , Harry Yoo , Hao Li , Christoph Lameter , David Rientjes , Roman Gushchin , Chris Li , Kairui Song , Kemeng Shi , Nhat Pham , Baoquan He , Barry Song , Youngjun Park , Qi Zheng , Shakeel Butt , Axel Rasmussen , Yuanchu Xie , Wei Xu , "Borislav Petkov (AMD)" , Randy Dunlap , Feng Tang , Dapeng Mi , Kees Cook , Marco Elver , Jakub Kicinski , Li RongQing , Eric Biggers , "Paul E. McKenney" , Nathan Chancellor , Nicolas Schier , Miguel Ojeda , Thomas =?iso-8859-1?Q?Wei=DFschuh?= , Thomas Gleixner , Douglas Anderson , Gary Guo , Christian Brauner , Pasha Tatashin , Coiby Xu , Masahiro Yamada , Frederic Weisbecker , linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org, linux-rt-devel@lists.linux.dev, Marcelo Tosatti Subject: Re: [PATCH v4 1/4] Introducing pw_lock() and per-cpu queue & flush work Date: Sun, 12 Jul 2026 18:32:01 -0300 Message-ID: X-Mailer: git-send-email 2.55.0 In-Reply-To: <87tsruvv6z.fsf@trenco.lwn.net> References: <20260519012754.240804-1-leobras.c@gmail.com> <20260519012754.240804-2-leobras.c@gmail.com> <87tsruvv6z.fsf@trenco.lwn.net> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: 8bit On Tue, May 26, 2026 at 01:15:32PM -0600, Jonathan Corbet wrote: > Leonardo Bras writes: > > > Some places in the kernel implement a parallel programming strategy > > consisting on local_locks() for most of the work, and some rare remote > > operations are scheduled on target cpu. This keeps cache bouncing low since > > cacheline tends to be mostly local, and avoids the cost of locks in non-RT > > kernels, even though the very few remote operations will be expensive due > > to scheduling overhead. Hi Jonathan, thanks for reviewing! > > A couple of documentation-related nits: > > > --- > > MAINTAINERS | 7 + > > .../admin-guide/kernel-parameters.txt | 10 + > > Documentation/locking/pwlocks.rst | 76 +++++ > > You have added a new RST file here, but haven't added it to the table of > contents in index.rst. So it won't be part of the docs build. Ooops, will find a place to add it then :) This part was added by Marcelo, I have no experience on adding docs to the kernel tree. Your suggestions will be really useful :) > > > init/Kconfig | 35 +++ > > kernel/Makefile | 2 + > > include/linux/pwlocks.h | 265 ++++++++++++++++++ > > kernel/pwlocks.c | 47 ++++ > > 7 files changed, 442 insertions(+) > > create mode 100644 Documentation/locking/pwlocks.rst > > create mode 100644 include/linux/pwlocks.h > > create mode 100644 kernel/pwlocks.c > > [...] > > > diff --git a/Documentation/locking/pwlocks.rst b/Documentation/locking/pwlocks.rst > > new file mode 100644 > > index 000000000000..09f4a5417bc1 > > --- /dev/null > > +++ b/Documentation/locking/pwlocks.rst > > @@ -0,0 +1,76 @@ > > +.. SPDX-License-Identifier: GPL-2.0 > > + > > +========= > > +PW (Per-CPU Work) locks > > +========= > > The over/underlines should match the text in length. > Will change! > > +Some places in the kernel implement a parallel programming strategy > > +consisting on local_locks() for most of the work, and some rare remote > > +operations are scheduled on target cpu. This keeps cache bouncing low since > > +cacheline tends to be mostly local, and avoids the cost of locks in non-RT > > +kernels, even though the very few remote operations will be expensive due > > +to scheduling overhead. > > + > > +On the other hand, for RT workloads this can represent a problem: > > +scheduling work on remote cpu that are executing low latency tasks > > +is undesired and can introduce unexpected deadline misses. > > + > > +PW locks help to convert sites that use local_locks (for cpu local operations) > > +and queue_work_on (for queueing work remotely, to be executed > > +locally on the owner cpu of the lock) to a spinlocks. > > + > > +The lock is declared pw_lock_t type. > > +The lock is initialized with pw_lock_init. > > +The lock is locked with pw_lock (takes a lock and cpu as a parameter). > > +The lock is unlocked with pw_unlock (takes a lock and cpu as a parameter). > > Did you want that to be an itemized list? If so, put "- " in front of > each line. Oh, good idea! > > > +The pw_lock_irqsave function disables interrupts and saves current interrupt state, > > +cpu as a parameter. > > + > > +For trylock variant, there is the pw_trylock_t type, initialized with > > +pw_trylock_init. Then the corresponding pw_trylock and pw_trylock_irqsave. > > + > > +work_struct should be replaced by pw_struct, which contains a cpu parameter > > +(owner cpu of the lock), initialized by INIT_PW. > > + > > +The queue work related functions (analogous to queue_work_on and flush_work) are: > > +pw_queue_on and pw_flush. > > + > > +The behaviour of the PW lock functions is as follows: > > + > > +* !CONFIG_PWLOCKS (or CONFIG_PWLOCKS and pwlocks=off kernel boot parameter): > > + - pw_lock: local_lock > > + - pw_lock_irqsave: local_lock_irqsave > > + - pw_trylock: local_trylock > > + - pw_trylock_irqsave: local_trylock_irqsave > > + - pw_unlock: local_unlock > > + - pw_lock_local: local_lock > > + - pw_trylock_local: local_trylock > > + - pw_unlock_local: local_unlock > > + - pw_queue_on: queue_work_on > > + - pw_flush: flush_work > > This will not render the way you expect it to. You want a literal block > ere. So end the text with "...is as follows::" and indent the entire > literal block. Will do like this! > > > +* CONFIG_PWLOCKS (and CONFIG_PWLOCKS_DEFAULT=y or pwlocks=on kernel boot parameter), > > + - pw_lock: spin_lock > > + - pw_lock_irqsave: spin_lock_irqsave > > + - pw_trylock: spin_trylock > > + - pw_trylock_irqsave: spin_trylock_irqsave > > + - pw_unlock: spin_unlock > > + - pw_lock_local: preempt_disable OR migrate_disable + spin_lock > > + - pw_trylock_local: preempt_disable OR migrate_disable + spin_trylock > > + - pw_unlock_local: preempt_enable OR migrate_enable + spin_unlock > > + - pw_queue_on: executes work function on caller cpu > > + - pw_flush: empty > > + > > +pw_get_cpu(work_struct), to be called from within per-cpu work function, > > +returns the target cpu. > > + > > +On the locking functions above, there are the local locking functions > > +(pw_lock_local, pw_trylock_local and pw_unlock_local) that must only > > If you write functions like pw_lock_local(), you'll get automatic cross > links to the kerneldoc documentation ... which I'm sure must exist ... They will be added at this patch, so I will add the () so the link works :) > > > +be used to access per-CPU data from the CPU that owns that data, > > +and never remotely. They disable preemption/migration and don't require > > +a cpu parameter, making them a replacement for local_lock functions that > > +does not introduce overhead. > > + > > +These should only be used when accessing per-CPU data of the local CPU. > > + > > [...] > > > +#else /* CONFIG_PWLOCKS */ > > + > > +DECLARE_STATIC_KEY_MAYBE(CONFIG_PWLOCKS_DEFAULT, pw_sl); > > + > > +typedef union { > > + spinlock_t sl; > > + local_lock_t ll; > > +} pw_lock_t; > > + > > +typedef union { > > + spinlock_t sl; > > + local_trylock_t ll; > > +} pw_trylock_t; > > + > > +struct pw_struct { > > + struct work_struct work; > > + int cpu; > > +}; > > + > > +#ifdef CONFIG_PREEMPT_RT > > +#define preempt_or_migrate_disable migrate_disable > > +#define preempt_or_migrate_enable migrate_enable > > +#else > > +#define preempt_or_migrate_disable preempt_disable > > +#define preempt_or_migrate_enable preempt_enable > > +#endif > > + > > +#define pw_lock_init(lock) \ > > +do { \ > > + if (static_branch_maybe(CONFIG_PWLOCKS_DEFAULT, &pw_sl)) \ > > + spin_lock_init(lock.sl); \ > > + else \ > > + local_lock_init(lock.ll); \ > > +} while (0) > > Sigh, I guess I was over-optimistic about kerneldoc comments. > > Is there a reason why these aren't inline functions? > I could not find a way of making *_irqsave() an inline function, so ended up using macros as they looked simple enough (and the underlying functions would take care of type check). Already working on converting as many of the above as possible. Thanks again for reviewing! Leo