From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from canpmsgout09.his.huawei.com (canpmsgout09.his.huawei.com [113.46.200.224]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 04A153D9DB0; Wed, 9 Sep 2026 07:12:08 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=113.46.200.224 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1788937933; cv=none; b=L/1S4Bd8jgNCW9A63JzdEKM8wevb5dWYL3O5nlwT1+U5/paal0sB1l6Gg4DRNNRHPrTZrB/tzrPzJfxoP5+0+v9bHmVt7DCrMhuvOnIeWKMMNjrxyDSoQ8yorNMoPMIvkcN/aYZEe3Q8iacshwktQkR41LPgYr9okTmKli26KYY= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1788937933; c=relaxed/simple; bh=zIApII/eHUX+ZemuG5oK/Oynxm2tVRrUWyuLj3uxxs8=; h=Message-ID:Date:MIME-Version:Subject:To:CC:References:From: In-Reply-To:Content-Type; b=plXy5t4pKZwQDNnUXbZ8ahr6a70S5fuP0apdJKB+YmK1kFicrY4pf0Yr2jI0C+7JAmTEewdQl1fJwJKc3W74MlJuCRYn1oMj8iC6bnMy4/TaRIc9c/zdQfOFLVH0clSecO6JTZWT0JtUUy6En/U8+Sep2+sAM8S56/RJRDvjdkk= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=huawei.com; spf=pass smtp.mailfrom=huawei.com; dkim=pass (1024-bit key) header.d=huawei.com header.i=@huawei.com header.b=WvO7WbKa; arc=none smtp.client-ip=113.46.200.224 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=huawei.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=huawei.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=huawei.com header.i=@huawei.com header.b="WvO7WbKa" dkim-signature: v=1; a=rsa-sha256; d=huawei.com; s=dkim; c=relaxed/relaxed; q=dns/txt; h=From; bh=E9+wtJvYg+iSacqvCDRe0EEDlgdkIc+F0M+swAbrPss=; b=WvO7WbKa/Tjrg+7LupJXVLIfEqlct0QV42AEdHg0Ta1kpLsJCTJPw1y7NTzLf7E5/hvlEglQS Tvh14xBEv/3mW2jXtuKpOWerjfRLG+XaK3rg33ROfNdfv7Vr1mVRb6KhBaSkA15DZAvVRHVbVie zLvGe0pwopZY08b5cU8x9hI= Received: from mail.maildlp.com (unknown [172.19.163.127]) by canpmsgout09.his.huawei.com (SkyGuard) with ESMTPS id 4hfsCh5qgKz1cyVg; Wed, 9 Sep 2026 15:01:04 +0800 (CST) Received: from kwepemk200008.china.huawei.com (unknown [7.202.194.74]) by mail.maildlp.com (Postfix) with ESMTPS id 6CE0F402AB; Wed, 9 Sep 2026 15:11:58 +0800 (CST) Received: from [10.67.109.254] (10.67.109.254) by kwepemk200008.china.huawei.com (7.202.194.74) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.2562.45; Wed, 9 Sep 2026 15:11:57 +0800 Message-ID: <0c894d2d-1b1b-4b9c-ac07-2ebcb683b36c@huawei.com> Date: Wed, 9 Sep 2026 15:11:56 +0800 Precedence: bulk X-Mailing-List: linux-fsdevel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH v3 0/8] Convert barrier pairs to acquire/release for better performance To: David Laight CC: Petr Mladek , , , , , , , , , , , , , , , , , , , , , , , References: <20260902074805.398540-1-ruanjinjie@huawei.com> <75aeca50-74bf-4888-9dc8-7ac3c5af32ca@huawei.com> <20260907135946.2541aa7e@pumpkin> From: Jinjie Ruan In-Reply-To: <20260907135946.2541aa7e@pumpkin> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit X-ClientProxiedBy: kwepems100002.china.huawei.com (7.221.188.206) To kwepemk200008.china.huawei.com (7.202.194.74) 在 2026/9/7 20:59, David Laight 写道: > On Mon, 7 Sep 2026 19:29:06 +0800 > Jinjie Ruan wrote: > >> 在 2026/9/4 20:28, Petr Mladek 写道: >>> Adding Risc-V list into Cc. >>> >>> On Wed 2026-09-02 15:47:57, Jinjie Ruan wrote: >>>> Hi, >>>> >>>> This series converts some existing smp_wmb()/smp_rmb() barrier pairs to >>>> smp_store_release()/smp_load_acquire() across various subsystems. >>>> >>>> Background >>>> ========== >>>> >>>> Many architectures support load acquire and store release instructions >>>> which can replace explicit memory barriers and save cycles. As noted >>>> in the ARM architecture reference [1]: >>>> >>>> "Weaker ordering requirements that are imposed by Load-Acquire and >>>> Store-Release instructions allow for micro-architectural >>>> optimizations, which could reduce some of the performance impacts >>>> that are otherwise imposed by an explicit memory barrier. >>>> >>>> If the ordering requirement is satisfied using either a Load-Acquire >>>> or Store-Release, then it would be preferable to use these >>>> instructions instead of a DMB." >>>> >>>> On arm64, a typical seqcount [2] read loop requires 13 cycles with DMB >>>> barriers. Replacing the read barrier with smp_load_acquire() reduces >>>> this to 8 cycles on an Ampere Altra. >>> >>> I wonder if this is true on all other architectures: >>> >>> + It seems that Arm gets the gain because the instruction >>> does both load/store + barrier. It helps even when >>> the barrier is full. >>> >>> + Some other architectures need two instructions. One for the >>> load/store and the other for the barrier. But the barrier >>> is weaker, it synchronizes just reads or just writes. >>> >>> For example, I see the following in riscv/include/asm/barrier.h: >>> >>> >>> #define smp_mb() RISCV_FENCE(rw, rw) >>> #define smp_rmb() RISCV_FENCE(r, r) >>> #define smp_wmb() RISCV_FENCE(w, w) >>> >>> #define smp_store_release(p, v) \ >>> do { \ >>> RISCV_FENCE(rw, w); \ >>> WRITE_ONCE(*p, v); \ >>> } while (0) >>> >>> #define smp_load_acquire(p) \ >>> ({ \ >>> typeof(*p) ___p1 = READ_ONCE(*p); \ >>> RISCV_FENCE(r, rw); \ >>> ___p1; \ >>> }) >>> >>> >>> I wonder whether: >>> >>> + RISCV_FENCE(r, r) is faster than RISCV_FENCE(r, rw) >>> + RISCV_FENCE(w, w) is faster than RISCV_FENCE(rw, w) >>> >>> so it might cause performance regression there... >> >> Hi Petr, >> >> Thanks for the detailed analysis. You're right that on some >> architectures the acquire/release variants use a slightly heavier >> fence than the plain smp_wmb()/smp_rmb() pair. The full picture by >> architecture: >> >> arm64: Improvement (DMB ISHST/ISHLD + STR/LDR → STLR/LDAR) >> x86: Neutral (both are compiler barriers) >> s390: Neutral (both are compiler barriers) >> ppc64: Neutral (both use lwsync) >> loongarch: Slightly heavier fence (DBAR(o_w_w) → DBAR(orw_w), >> DBAR(or_r_) → DBAR(or_rw)) >> riscv: Slightly heavier fence (fence w,w → fence rw,w, >> fence r,r → fence r,rw) >> >> So on Loongarch and Riscv, there may be a slight performance regression. > > Is that a bug in the riscv definitions? > Nothing in the commit messages seems to indicate why the stronger barriers > are used. > The original commit 8d235b17 was done to avoid the rw,rw barrier in the > generic code (which might since have been relaxed). Hi David, I think the riscv definition is correct, which are consistent with the descriptions found in the ARM64 architecture manual [2]. Per the RISC-V RVWMO specification [1], the semantics of these fences are: - FENCE RW, W (for Store-Release): "Release orderings work exactly the same as acquire orderings, just in the opposite direction. Release semantics require all loads and stores preceding the release operation in program order to also precede the release operation in the global memory order. This ensures, for example, that memory accesses in a critical section appear before the lock-releasing store in the global memory order. Just as for acquire semantics, release semantics can be enforced using release annotations or with a FENCE RW,W operation." - FENCE R, RW (for Load-Acquire): "An acquire operation, as would be used at the start of a critical section, requires all memory operations following the acquire in program order to also follow the acquire in the global memory order. This ensures, for example, that all loads and stores inside the critical section are up to date with respect to the synchronization variable being used to protect it. Acquire ordering can be enforced in one of two ways: with an acquire annotation, which enforces ordering with respect to just the synchronization variable itself, or with a FENCE R,RW, which enforces ordering with respect to all previous loads." Regardless, I believe that replacing explicit with acquire/release annotations would make the current code semantics clearer. [1]: https://docs.riscv.org/reference/isa/v20260120/unpriv/mm-eplan.html [2]: https://support.arm.com/documentation/102336/0100/Load-Acquire-and-Store-Release-instructions Best regards, Jinjie > > David > >> >> Regards, >> Jinjie >> >>> >>> Best Regards, >>> Petr >>> >>>> We also observed significant barrier overhead while profiling Unxibench >>>> syscall test on arm64: a single getuid() call is ~8ns slower than on >>>> a comparable x86 system, with the dominant cost in map_id_up()'s smp_rmb(), >>>> which is a DMB ISHLD on arm64. Converting it to smp_load_acquire() allows >>>> the use of LDAR, eliminating the measurable overhead. >>>> >>>> This motivated a broader search for existing barrier pairs that can >>>> be converted to the lighter acquire/release semantics. >>>> >>>> Changes >>>> ======= >>>> >>>> Each patch in this series targets a specific barrier pair where the >>>> publish/subscribe pattern is already present: >>>> >>>> - Writers populate data, then publish a flag/count/pointer via >>>> smp_store_release() >>>> >>>> - Readers load the flag/count/pointer via smp_load_acquire(), then >>>> consume the data >>>> >>>> This preserves the existing memory ordering guarantees while allowing >>>> architectures with native acquire/release instructions (e.g. arm64's >>>> STLR/LDAR) to avoid the cost of full one-way barriers (DMB ISHST/ISHLD). >>>> On architectures without native support, the generated code is >>>> generally no worse than the explicit barrier pair. >>>> >>>> The conversions are mechanical and no functional change is intended. >>>> >>>> Testing (Kunpeng HIP09 arm64 server) >>>> ==================================== >>>> >>>> 1. UNIXBENCH syscall >>>> Baseline: 715.27 >>>> Patched: 718.83 >>>> Improvement: +0.50% >>>> >>>> 2. fs/aio (fio + null_blk, 4 jobs): >>>> Baseline: 1441k IOPS, 86.46us >>>> Patched: 1452k IOPS, 85.80us >>>> Improvement: ~0.8% >>>> >>>> Both improvements are consistent across runs and align with the >>>> expected savings from replacing DMB with LDAR/STLR on arm64. >>>> >>>> [1]: https://support.arm.com/documentation/102336/0100/Load-Acquire-and-Store-Release-instructions >>>> [2]: https://github.com/torvalds/linux/commit/d0dd066a0fa26d55c19ace9e89dedd9504c5bcba >>>> >>>> Changes in v3: >>>> - Add Reviewed-by. >>>> - Split out network patch set as Kuniyuki suggested. >>>> - Link to v2: https://lore.kernel.org/all/20260901024234.135119-1-ruanjinjie@huawei.com/ >>>> >>>> Changes in v2: >>>> - Fix pre-existing issue for ext4 and 8021q [3]. >>>> - Fix missing copy_mnt_idmap() udapte [3]. >>>> - Drop nacked isotp patch. >>>> - Add test data. >>>> - Add Reviewed-by and update fs patch as Jan suggested. >>>> >>>> [3]: https://sashiko.dev/#/patchset/20260825095422.3166067-1-ruanjinjie%40huawei.com >>>> >>>> Jinjie Ruan (8): >>>> user_namespace: Use acquire/release for nr_extents synchronization >>>> lib/vsprintf: Use acquire/release for ptr_key publication >>>> fs: aio: Use acquire/release for ring->tail publication >>>> fs: Use acquire/release for fdtable resize synchronization >>>> pidfs: Use test_bit_acquire() for attr flag tests >>>> super: Use acquire for SB_BORN check in super_cache_count() >>>> ext4: Fix out-of-bounds read in ext4_get_group_info() >>>> ext4: Convert group-count barrier protocol to acquire/release >>>> >>>> fs/aio.c | 10 ++++------ >>>> fs/ext4/balloc.c | 2 +- >>>> fs/ext4/ext4.h | 10 +++------- >>>> fs/ext4/mballoc.c | 6 ++---- >>>> fs/ext4/resize.c | 19 +++++++++++-------- >>>> fs/file.c | 10 ++++------ >>>> fs/mnt_idmapping.c | 5 ++--- >>>> fs/pidfs.c | 6 ++---- >>>> fs/super.c | 6 ++---- >>>> kernel/user_namespace.c | 24 +++++++++++++----------- >>>> lib/vsprintf.c | 11 ++++------- >>>> 11 files changed, 48 insertions(+), 61 deletions(-) >>>> >>>> -- >>>> 2.34.1 >> >> >