BPF List
 help / color / mirror / Atom feed
From: sashiko-bot@kernel.org
To: "Ankur Arora" <ankur.a.arora@oracle.com>
Cc: bpf@vger.kernel.org
Subject: Re: [PATCH v14 04/15] arm64: support WFET in smp_cond_load_relaxed_timeout()
Date: Tue, 14 Jul 2026 07:53:49 +0000	[thread overview]
Message-ID: <20260714075350.43DE51F000E9@smtp.kernel.org> (raw)
In-Reply-To: <20260714073041.40250-5-ankur.a.arora@oracle.com>

Thank you for your contribution! Sashiko AI review found 2 potential issue(s) to consider:
- [Medium] Using `NSECS_TO_CYCLES()` for large macroscopic timeouts causes a 64-bit integer overflow, resulting in a premature return and a CPU-burning spin loop.
- [Low] Any loadable kernel module using `smp_cond_load_relaxed_timeout()` will fail to link due to the unexported symbol `__delay_cycles()`.
--

--- Patch [4]: [PATCH v14 04/15] arm64: support WFET in smp_cond_load_relaxed_timeout() ---
commit 7ff3bc2dcc6f4fa787700453b8fc2f2fe6133304
Author: Ankur Arora <ankur.a.arora@oracle.com>

arm64: support WFET in smp_cond_load_relaxed_timeout()

This commit introduces support for the WFET instruction in 
smp_cond_load_relaxed_timeout(). It adds __cmpwait_timeout() and related
architecture-specific macros to handle the wait state with a timeout.

> diff --git a/arch/arm64/include/asm/cmpxchg.h b/arch/arm64/include/asm/cmpxchg.h
> index 6cf3cd6873f5f..9e4cdc9e41d1b 100644
> --- a/arch/arm64/include/asm/cmpxchg.h
> +++ b/arch/arm64/include/asm/cmpxchg.h
[ ... ]
> @@ -235,20 +237,52 @@ __CMPWAIT_CASE( ,  , 64);
>  
>  #undef __CMPWAIT_CASE
>  
> -#define __CMPWAIT_GEN(sfx)						\
> -static __always_inline void __cmpwait##sfx(volatile void *ptr,		\
> -				  unsigned long val,			\
> -				  int size)				\
> +#define __CMPWAIT_TIMEOUT_CASE(w, sfx, sz)				\
> +static inline void __cmpwait_case_timeout_##sz(volatile void *ptr,	\
> +					       unsigned long val,	\
> +					       u64 timeout_ns)		\
> +{									\
> +	unsigned long tmp;						\
> +	u64 ecycles = __delay_cycles() +				\
> +			NSECS_TO_CYCLES(timeout_ns);			\

[Severity: Low]
Will loadable kernel modules fail to link if they use 
smp_cond_load_relaxed_timeout()? 

It appears __delay_cycles() is not exported to modules, which might cause 
an undefined symbol error during the modpost build stage.

[Severity: Medium]
Can NSECS_TO_CYCLES() overflow if passed a large macroscopic timeout? 

Because its internal fixed-point arithmetic caps at 32 bits, passing a 
large timeout (e.g., > 4.29 seconds on a 1GHz timer) might overflow and 
produce a small truncated cycle count. 

Could this cause the WFET instruction to complete prematurely and degrade 
the wait into a CPU-burning loop, leading to a performance regression?

> +	asm volatile(							\
> +	"	sevl\n"							\
> +	"	wfe\n"							\
[ ... ]

-- 
Sashiko AI review · https://sashiko.dev/#/patchset/20260714073041.40250-1-ankur.a.arora@oracle.com?part=4

  reply	other threads:[~2026-07-14  7:53 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-07-14  7:30 [PATCH v14 00/15] barrier: Add smp_cond_load_{relaxed,acquire}_timeout() Ankur Arora
2026-07-14  7:30 ` [PATCH v14 01/15] asm-generic: barrier: Add smp_cond_load_relaxed_timeout() Ankur Arora
2026-07-14  7:42   ` sashiko-bot
2026-07-14  8:11   ` bot+bpf-ci
2026-07-14  7:30 ` [PATCH v14 02/15] arm64: barrier: Support smp_cond_load_relaxed_timeout() Ankur Arora
2026-07-14  7:50   ` sashiko-bot
2026-07-14  7:30 ` [PATCH v14 03/15] arm64/delay: move some constants out to a separate header Ankur Arora
2026-07-14  7:30 ` [PATCH v14 04/15] arm64: support WFET in smp_cond_load_relaxed_timeout() Ankur Arora
2026-07-14  7:53   ` sashiko-bot [this message]
2026-07-14  7:30 ` [PATCH v14 05/15] arm64: rqspinlock: Remove private copy of smp_cond_load_acquire_timewait() Ankur Arora
2026-07-14  7:44   ` sashiko-bot
2026-07-14  7:30 ` [PATCH v14 06/15] asm-generic: barrier: Add smp_cond_load_acquire_timeout() Ankur Arora
2026-07-14  7:53   ` sashiko-bot
2026-07-14  7:30 ` [PATCH v14 07/15] atomic: Add atomic_cond_read_*_timeout() Ankur Arora
2026-07-14  7:47   ` sashiko-bot
2026-07-14  7:30 ` [PATCH v14 08/15] locking/atomic: scripts: build atomic_long_cond_read_*_timeout() Ankur Arora
2026-07-14  7:30 ` [PATCH v14 09/15] bpf/rqspinlock: switch check_timeout() to a clock interface Ankur Arora
2026-07-14  7:30 ` [PATCH v14 10/15] bpf/rqspinlock: Use smp_cond_load_acquire_timeout() Ankur Arora
2026-07-14  8:11   ` bot+bpf-ci
2026-07-14  7:30 ` [PATCH v14 11/15] sched: add need-resched timed wait interface Ankur Arora
2026-07-14  7:30 ` [PATCH v14 12/15] cpuidle/poll_state: Wait for need-resched via tif_need_resched_relaxed_wait() Ankur Arora
2026-07-14  8:11   ` bot+bpf-ci
2026-07-14  7:30 ` [PATCH v14 13/15] arm64/delay: enable testing smp_cond_load_relaxed_timeout() Ankur Arora
2026-07-14  7:58   ` sashiko-bot
2026-07-14  7:30 ` [PATCH v14 14/15] barrier: add tests for smp_cond_load_*_timeout() Ankur Arora
2026-07-14  7:55   ` sashiko-bot
2026-07-14  8:11   ` bot+bpf-ci
2026-07-14  7:30 ` [PATCH v14 15/15] barrier: add clock tests for smp_cond_load_relaxed_timeout() Ankur Arora
2026-07-14  8:03   ` sashiko-bot

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20260714075350.43DE51F000E9@smtp.kernel.org \
    --to=sashiko-bot@kernel.org \
    --cc=ankur.a.arora@oracle.com \
    --cc=bpf@vger.kernel.org \
    --cc=sashiko-reviews@lists.linux.dev \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox