From mboxrd@z Thu Jan 1 00:00:00 1970 Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.remote-ip=209.85.128.52 ARC-Seal: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; cv=none; t=1792646245; b=b1Dw/NU4NUFpPYHAMfpFm0mxiYhD641CLDlCjtMfOSNcXThzrjSSQET9FQpz2vtYm+1p UAOyRBiWRjbY8ObITDw/6n/7PA2/UnkdSK7PlWZX2t9wLVHKzt3+hHShPYU3S1QSsGRnK t6gSL7V80+ZiQ98t1txfQB9d8yuz3m+Y5qc/XfckyL3rasxwBN40XCaqYVbUNtOXrZKN1 s5fJiYirFHUtLhaWj0nuHvabsFTSiEGdaXQwC+OGi5NDTMz2L4MC69l4juScttZ4NREkJ wLn8Nfz7vzK1oayfImamzeALfNmx8R8cami+DsOZZPGOS+T8kO3PB8sxE9zj0GS3uIg== ARC-Message-Signature: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; c=relaxed/relaxed; t=1792646245; h=DMARC-Filter:Received:DKIM-Signature:X-Google-DKIM-Signature: X-Forwarded-Encrypted:X-Gm-Message-State:X-Gm-Gg:X-Received:Received: From:To:Cc:Subject:Date:Message-Id:X-Mailer:In-Reply-To:References: MIME-Version:Content-Transfer-Encoding; bh=Jvd6Ubikpqp7Iwt0RuiwkREVpOrwG8rxrLh+IG+UXJI=; b=L45/HOucZ17KJDunalTZ3OkECYVWu3tf9Gh857y5ZPAnF9h/wMWUJc5HcBxyYOhX5/St vyeJwzBPLRFpXjC3gLCRGLEnpNPQUyf6hWn28JJ0AjNCgbmguhA3He48QWxhJgz7RC8tJ XcDbmvIXLSnHoco8NABLyxFkbPkmYVZ7TZ9AB1eZEwxE1+Xwm3ZAbF3YMi74MCOz7USSv cYybwWDSG5KYU9FfdhjHRahjT0rlxyO492/we1FRZiOQSXA//4WejpqWnvlGSUawp1d5v SJd5uppCUnw53cjlgdY8jQhZDnu8H0mSrX8RvmTnretQ6FtIB5Uid+3mPMVhc38ScXw== ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20251104 header.b=A64d2xNX; arc=none smtp.remote-ip=209.85.128.52 Received: from mail-wm1-f52.google.com (mail-wm1-f52.google.com [209.85.128.52]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 3419D60A2605 for ; Thu, 22 Oct 2026 05:17:24 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.4.2 smtp.subspace.kernel.org 3419D60A2605 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, unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20251104 header.b=A64d2xNX Received: by mail-wm1-f52.google.com with SMTP id 5b1f17b1804b1-4a140e7405dso11703395e9.3 for ; Wed, 21 Oct 2026 22:17:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1792646242; x=1793251042; darn=vger.kernel.org; h=content-transfer-encoding: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=Jvd6Ubikpqp7Iwt0RuiwkREVpOrwG8rxrLh+IG+UXJI=; b=A64d2xNXXD2l3F+ZZHF8y6KEtPb2ppmkOexy/5VBD1lEjwZT7hdiAwkD/hBCC2H73R 0tXGIy00M6anNdGbW4Rl1KiS1YkOQr4EMbRJ04oI7Vyij0mGoOQc/LEHT7jPXJl8b6UN Djitr+8Sl+MKWwBcmvwL+0DwkGynAjZgO9ksfI0ND/SXVW1Fme9+rFmdtRiJA3YeHhB2 LWXqi4w57hCoC5Dtd6JxANgnZVQVcoF44tVblAyfTQeVXvigWRd4oAyCAynEG0DhXr8z GLzk3GvyafMwcAdOPHFHpyCCVk4M4y6gzI5LLPN5cK2/mXJ+F3rASU688Q3QIqsuVpp/ GDnA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1792646242; x=1793251042; h=content-transfer-encoding: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=Jvd6Ubikpqp7Iwt0RuiwkREVpOrwG8rxrLh+IG+UXJI=; b=rUZT1KRTaT/gdwa5Ooy89JgMsFV9Mj9olu7F8fxuVTSaq3wSymkJqT5hketvzFoPrk U1jAVxh6iMjssblKzJTTwHQVjkjhLklKIkzAUuRl9lSVX+0wEucbO5iIsRq4oRnpgC5f e3dAqdvRWnL89Z6QZ7gWpPpfL5iduHwqp4tCEh+seI5kPV6LbD9n4QMMjoXlOtebRemT cUy+dlOl6/HoeF6zV6kW1lZemipWOcj16bJlrb16LkrrBmt0a9wD2k636ZB6ht6WfGtq z3M5OjWJzJAsQFMppCzl+a7PkyYTJVk2s19i6phGPo1RRwQwerRRgB5QrFHMWBbPf7Yi c4Uw== X-Forwarded-Encrypted: i=1; AKwUvBzzMfsVa0viiY3jwwFOwTfrcKkD5pnYy3jIiMf6FsyR71MfznIesqh37/punOcEno7qUkrB/S25/zU=@vger.kernel.org X-Gm-Message-State: AFq9FYIMl8/XSUF1LnKClJTRTQMXwgqHvHnkLl8ESJP87rJm3WfWgrcr qv4E8glUVEqAT3c4uymvL1B3e5i1flcWkYx6MnhgHSSWt5Ha2Byt5nS1 X-Gm-Gg: AYBFou2e1PY2fKgnwGOcazXeaCGaXPqMfMueo321wnSUEsOAv8tTbRNbkhyV5u41PuO AK1B+JLQ1mK7aJ6PC/ax/qKk/q7kAcNQwmg9VFJwC94R6jIgaOOsRAI6+CrxMXTTB9mnuVhKBoO Ms6fpnfLMnfhGin4kiWzysIAczM8gAZqoH73M+gqA79FAmnCIA0yNaQk+BMYOPuNpwy5RRulm7k jsdyoOASCNwpDxm8sBYU8X0+6qLsXCzb/Iy8KXbrJYUf0Li6qRTtoKF/MrtRAf4Iy1tuE1PznV1 1VKC9vhg+l4hayoNWJYjLin7hrG2d8dMtzcbh4X5wiuKShA72msS+Q7GpKj3B6cTqvP8qDdTiNh uVK3vXCWX+MxiY/AJ31rkKjeqclHXcMvrLK+Ca921K2hzhCBv4f6dI6/ME6ePhPaKMOToMfJ2sV qzjX1dE+2dOnRhyfQ0evhFY4Szc2R+uS98qYqsC7zlmuDe5KwkYpGsfk/B2FUTTYoE7OMHPF/2w U1ptgVg5TRKJRIKV9hpSqTYnXgJJ+yDcv3kjakJEsETS8FlX3d8/4OyyX6gQwSptxhMT1k4sTFV l/5/Y3QNlIgb/Eqe8VflE5fhz0F1kRFR1VyLK6+og1P+jPtPGWJw8LTP33yP0Czy75r4IqxjQ/o 2+vbuZVTabLgf45tpVRGIcZWi97NTZUs9CJzwGFfxFbn1F837caihxpN0IDU= X-Received: by 2002:a05:600c:a15:b0:4a1:c6a2:5566 with SMTP id 5b1f17b1804b1-4a1fdd2fa77mr75428425e9.26.1792646242449; Wed, 21 Oct 2026 22:17:22 -0700 (PDT) Received: from localhost.localdomain (dynamic-2a02-3100-ad43-d501-2c28-bb72-120d-420e.310.pool.telefonica.de. [2a02:3100:ad43:d501:2c28:bb72:120d:420e]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-4a1fd0f4427sm90362275e9.3.2026.10.21.22.17.19 (version=TLS1_3 cipher=TLS_CHACHA20_POLY1305_SHA256 bits=256/256); Wed, 21 Oct 2026 22:17:21 -0700 (PDT) From: Karl Mehltretter To: Steven Rostedt , Peter Zijlstra , Thomas Gleixner Cc: Karl Mehltretter , Catalin Marinas , Will Deacon , Mark Rutland , Ingo Molnar , Andy Lutomirski , Frederic Weisbecker , "Paul E . McKenney" , Sebastian Andrzej Siewior , Boqun Feng , Waiman Long , Juri Lelli , Vincent Guittot , Dietmar Eggemann , Ben Segall , Mel Gorman , Valentin Schneider , K Prateek Nayak , Hongyan Xia , Jonathan Corbet , Shuah Khan , Randy Dunlap , Andrew Morton , Nathan Chancellor , Nick Desaulniers , Bill Wendling , Justin Stitt , linux-arm-kernel@lists.infradead.org, linux-trace-kernel@vger.kernel.org, linux-rt-devel@lists.linux.dev, linux-doc@vger.kernel.org, llvm@lists.linux.dev, linux-kernel@vger.kernel.org Subject: [RFC PATCH 03/12] entry: Add the pre-counted ordinary-hardirq entry/exit contract Date: Thu, 22 Oct 2026 07:16:45 +0200 Message-Id: <20261022051654.79224-4-kmehltretter@gmail.com> X-Mailer: git-send-email 2.39.5 (Apple Git-154) In-Reply-To: <20261022051654.79224-1-kmehltretter@gmail.com> References: <20261022051654.79224-1-kmehltretter@gmail.com> X-Mailing-List: linux-doc@vger.kernel.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Architectures which identify ordinary hardirqs before generic entry need to install HARDIRQ_OFFSET before context tracking and tracing callbacks run. Lockdep hardirq state must agree with that count. On exit, both states must remain installed until every traceable callback has returned. Add irqentry_hardirq_enter() to install the raw count and lockdep state before instrumentable entry work. irq_enter_rcu_preempt_counted() completes the delayed preempt-count bookkeeping while preserving the existing timer and hardirq accounting boundary. Add a retained exit path which runs IRQ-exit processing and instrumentable teardown preparation before returning to an immediate raw count and lockdep teardown. This keeps function-graph return callbacks in hardirq context. A return callback after the final softirq drain can raise regular or forced-thread timer work while hardirq state still suppresses the usual wakeup. Recheck ksoftirqd, ktimerd, then ksoftirqd after the last traceable teardown step. Record wake requests made by the main exit path so the closure does not repeat them. Keep the existing entry and exit interfaces unchanged. Architectures opt in only after distinguishing ordinary hardirqs from NMI-like entry. They must not place instrumentable code between the retained-exit helper and raw teardown. Assisted-by: LLM --- include/linux/hardirq.h | 24 +++++ include/linux/interrupt.h | 2 +- include/linux/irq-entry-common.h | 31 ++++++- include/linux/irqflags.h | 9 +- kernel/entry/common.c | 30 +++++++ kernel/softirq.c | 148 ++++++++++++++++++++++++++----- 6 files changed, 215 insertions(+), 29 deletions(-) diff --git a/include/linux/hardirq.h b/include/linux/hardirq.h index 73b48dd9f1354..ad27a06c859a0 100644 --- a/include/linux/hardirq.h +++ b/include/linux/hardirq.h @@ -25,6 +25,30 @@ static __always_inline void rcu_irq_enter_check_tick(void) __rcu_irq_enter_check_tick(); } +void irq_enter_rcu_preempt_counted(void); +bool irq_exit_rcu_preempt_counted_prepare(void); + +/* + * Prepare every potentially instrumentable part of hardirq teardown before + * the raw count and lockdep updates. The caller must invoke the matching + * finish helper without passing through instrumentable code. + */ +static __always_inline bool irqentry_hardirq_exit_prepare(void) +{ + bool do_sub; + + do_sub = preempt_count_sub_prepare(HARDIRQ_OFFSET); + lockdep_hardirq_exit_prepare(); + return do_sub; +} + +static __always_inline void irqentry_hardirq_exit_finish(bool do_sub) +{ + if (do_sub) + __preempt_count_sub(HARDIRQ_OFFSET); + lockdep_hardirq_exit_finish(); +} + /* * It is safe to do non-atomic ops on ->hardirq_context, * because NMI handlers may not preempt and the ops are diff --git a/include/linux/interrupt.h b/include/linux/interrupt.h index 3bf969ad8fe07..fda5a29b176b4 100644 --- a/include/linux/interrupt.h +++ b/include/linux/interrupt.h @@ -636,7 +636,7 @@ DECLARE_PER_CPU(struct task_struct *, ktimerd); DECLARE_PER_CPU(unsigned long, pending_timer_softirq); void raise_ktimers_thread(unsigned int nr); -static inline unsigned int local_timers_pending_force_th(void) +static __always_inline unsigned int local_timers_pending_force_th(void) { return __this_cpu_read(pending_timer_softirq); } diff --git a/include/linux/irq-entry-common.h b/include/linux/irq-entry-common.h index c74b5c87e10f6..3ee80e926a17a 100644 --- a/include/linux/irq-entry-common.h +++ b/include/linux/irq-entry-common.h @@ -76,8 +76,9 @@ static __always_inline bool arch_in_rcu_eqs(void) { return false; } #endif /** - * enter_from_user_mode - Establish state when coming from user mode + * __enter_from_user_mode - Establish state when coming from user mode * @regs: Pointer to currents pt_regs + * @hardirq: Whether to establish hardirq lockdep context before tracing * * Syscall/interrupt entry disables interrupts, but user mode is traced as * interrupts enabled. Also with NO_HZ_FULL RCU might be idle. @@ -95,10 +96,13 @@ static __always_inline bool arch_in_rcu_eqs(void) { return false; } * done between establishing state and enabling interrupts. The caller must * enable interrupts before invoking syscall_enter_from_user_mode_work(). */ -static __always_inline void enter_from_user_mode(struct pt_regs *regs) +static __always_inline void __enter_from_user_mode(struct pt_regs *regs, + bool hardirq) { arch_enter_from_user_mode(regs); lockdep_hardirqs_off(CALLER_ADDR0); + if (hardirq) + lockdep_hardirq_enter(); CT_WARN_ON(__ct_state() != CT_STATE_USER); user_exit_irqoff(); @@ -109,6 +113,11 @@ static __always_inline void enter_from_user_mode(struct pt_regs *regs) instrumentation_end(); } +static __always_inline void enter_from_user_mode(struct pt_regs *regs) +{ + __enter_from_user_mode(regs, false); +} + /** * arch_exit_to_user_mode_work - Architecture specific TIF work for exit * to user mode. @@ -341,6 +350,8 @@ typedef struct irqentry_state { } irqentry_state_t; #endif +irqentry_state_t noinstr irqentry_hardirq_enter(struct pt_regs *regs); + /** * irqentry_exit_cond_resched - Conditionally reschedule on return from interrupt * @@ -364,8 +375,9 @@ void dynamic_irqentry_exit_cond_resched(void); #endif /* CONFIG_PREEMPT_DYNAMIC */ /** - * irqentry_enter_from_kernel_mode - Establish state before invoking the irq handler + * __irqentry_enter_from_kernel_mode - Establish state before invoking an exception * @regs: Pointer to currents pt_regs + * @hardirq: Whether to establish hardirq lockdep context before tracing * * Invoked from architecture specific entry code with interrupts disabled. * Can only be called when the interrupt entry came from kernel mode. The @@ -379,7 +391,8 @@ void dynamic_irqentry_exit_cond_resched(void); * * Returns: An opaque object that must be passed to irqentry_exit_to_kernel_mode(). */ -static __always_inline irqentry_state_t irqentry_enter_from_kernel_mode(struct pt_regs *regs) +static __always_inline irqentry_state_t +__irqentry_enter_from_kernel_mode(struct pt_regs *regs, bool hardirq) { irqentry_state_t ret = { .exit_rcu = false, @@ -416,6 +429,8 @@ static __always_inline irqentry_state_t irqentry_enter_from_kernel_mode(struct p * as in irqentry_enter_from_user_mode(). */ lockdep_hardirqs_off(CALLER_ADDR0); + if (hardirq) + lockdep_hardirq_enter(); ct_irq_enter(); instrumentation_begin(); kmsan_unpoison_entry_regs(regs); @@ -433,6 +448,8 @@ static __always_inline irqentry_state_t irqentry_enter_from_kernel_mode(struct p * in having another one here. */ lockdep_hardirqs_off(CALLER_ADDR0); + if (hardirq) + lockdep_hardirq_enter(); instrumentation_begin(); kmsan_unpoison_entry_regs(regs); rcu_irq_enter_check_tick(); @@ -442,6 +459,12 @@ static __always_inline irqentry_state_t irqentry_enter_from_kernel_mode(struct p return ret; } +static __always_inline irqentry_state_t +irqentry_enter_from_kernel_mode(struct pt_regs *regs) +{ + return __irqentry_enter_from_kernel_mode(regs, false); +} + /** * irqentry_exit_to_kernel_mode_preempt - Run preempt checks on return to kernel mode * @regs: Pointer to current's pt_regs diff --git a/include/linux/irqflags.h b/include/linux/irqflags.h index 5bc179a88e513..e98313a8ad307 100644 --- a/include/linux/irqflags.h +++ b/include/linux/irqflags.h @@ -64,9 +64,14 @@ do { \ do { \ current->hardirq_threaded = 1; \ } while (0) +# define lockdep_hardirq_exit_prepare() \ + __this_cpu_preempt_check("add") +# define lockdep_hardirq_exit_finish() \ + raw_cpu_dec(hardirq_context) # define lockdep_hardirq_exit() \ do { \ - __this_cpu_dec(hardirq_context); \ + lockdep_hardirq_exit_prepare(); \ + lockdep_hardirq_exit_finish(); \ } while (0) # define lockdep_hrtimer_enter(__hrtimer) \ @@ -119,6 +124,8 @@ do { \ # define lockdep_softirqs_enabled(p) 0 # define lockdep_hardirq_enter() do { } while (0) # define lockdep_hardirq_threaded() do { } while (0) +# define lockdep_hardirq_exit_prepare() do { } while (0) +# define lockdep_hardirq_exit_finish() do { } while (0) # define lockdep_hardirq_exit() do { } while (0) # define lockdep_softirq_enter() do { } while (0) # define lockdep_softirq_exit() do { } while (0) diff --git a/kernel/entry/common.c b/kernel/entry/common.c index 28399c41ebfb1..36c43d3c76eae 100644 --- a/kernel/entry/common.c +++ b/kernel/entry/common.c @@ -1,6 +1,7 @@ // SPDX-License-Identifier: GPL-2.0 #include +#include #include #include #include @@ -120,6 +121,35 @@ noinstr irqentry_state_t irqentry_enter(struct pt_regs *regs) return irqentry_enter_from_kernel_mode(regs); } +/** + * irqentry_hardirq_enter - Establish state for ordinary hardirq entry + * @regs: Pointer to the interrupted register state + * + * Install the raw hardirq count before anything instrumentable can run. Then + * establish IRQ-disabled and hardirq lockdep state before context tracking or + * irqflag tracing can invoke callbacks. The caller must have distinguished an + * ordinary hardirq from NMI-like entry and must complete the delayed + * preempt-count bookkeeping with irq_enter_rcu_preempt_counted(). + * + * Returns: An opaque object for the matching irqentry exit operation. + */ +noinstr irqentry_state_t irqentry_hardirq_enter(struct pt_regs *regs) +{ + __preempt_count_add(HARDIRQ_OFFSET); + + if (user_mode(regs)) { + irqentry_state_t ret = { + .exit_rcu = false, + }; + + __enter_from_user_mode(regs, true); + rseq_note_user_irq_entry(); + return ret; + } + + return __irqentry_enter_from_kernel_mode(regs, true); +} + /** * arch_irqentry_exit_need_resched - Architecture specific need resched function * diff --git a/kernel/softirq.c b/kernel/softirq.c index be49e6469f3ad..63427d29cb6d1 100644 --- a/kernel/softirq.c +++ b/kernel/softirq.c @@ -14,6 +14,7 @@ #include #include #include +#include #include #include #include @@ -353,15 +354,18 @@ static inline void ksoftirqd_run_end(void) static inline bool softirq_handle_begin(void) { return false; } static inline void softirq_handle_end(bool from_irq_exit) { } -static inline bool should_wake_ksoftirqd(void) +static __always_inline bool should_wake_ksoftirqd(void) { return !this_cpu_read(softirq_ctrl.cnt); } -static inline void invoke_softirq(void) +static inline bool invoke_softirq(void) { - if (should_wake_ksoftirqd()) - wakeup_softirqd(); + if (!should_wake_ksoftirqd()) + return false; + + wakeup_softirqd(); + return true; } #define SCHED_SOFTIRQ_MASK BIT(SCHED_SOFTIRQ) @@ -525,12 +529,12 @@ static inline void ksoftirqd_run_end(void) local_irq_enable(); } -static inline bool should_wake_ksoftirqd(void) +static __always_inline bool should_wake_ksoftirqd(void) { return true; } -static inline void invoke_softirq(void) +static inline bool invoke_softirq(void) { if (!force_irqthreads() || !__this_cpu_read(ksoftirqd)) { #ifdef CONFIG_HAVE_IRQ_EXIT_ON_IRQ_STACK @@ -548,9 +552,11 @@ static inline void invoke_softirq(void) */ do_softirq_own_stack(); #endif - } else { - wakeup_softirqd(); + return false; } + + wakeup_softirqd(); + return true; } asmlinkage __visible void do_softirq(void) @@ -703,13 +709,8 @@ asmlinkage __visible void __softirq_entry __do_softirq(void) handle_softirqs(false); } -/** - * irq_enter_rcu - Enter an interrupt context with RCU watching - */ -void irq_enter_rcu(void) +static __always_inline void irq_enter_rcu_common(void) { - __irq_enter_raw(); - /* * If this is a nested interrupt that hits the exit_to_user_mode_loop * where it has enabled interrupts but before it has hit schedule() we @@ -724,6 +725,28 @@ void irq_enter_rcu(void) account_hardirq_enter(current); } +/** + * irq_enter_rcu_preempt_counted - Enter hardirq with its count already set + * + * Complete an early raw hardirq preempt-count update, then establish the + * remaining timer and accounting state. The matching lockdep hardirq state + * was established by irqentry_hardirq_enter() before entry tracing. + */ +void irq_enter_rcu_preempt_counted(void) +{ + preempt_count_add_finish(HARDIRQ_OFFSET); + irq_enter_rcu_common(); +} + +/** + * irq_enter_rcu - Enter an interrupt context with RCU watching + */ +void irq_enter_rcu(void) +{ + __irq_enter_raw(); + irq_enter_rcu_common(); +} + /** * irq_enter - Enter an interrupt context including RCU update */ @@ -764,8 +787,56 @@ static inline void wake_timersd(void) { } #endif -static inline void __irq_exit_rcu(void) +static __always_inline bool irq_exit_wake_ksoftirqd(void) { + if (irq_count() != HARDIRQ_OFFSET || !local_softirq_pending() || + !should_wake_ksoftirqd()) + return false; + + wakeup_softirqd(); + return true; +} + +static __always_inline bool irq_exit_wake_timersd(void) +{ + if (!IS_ENABLED(CONFIG_IRQ_FORCED_THREADING) || !force_irqthreads() || + !local_timers_pending_force_th() || + hardirq_count() != HARDIRQ_OFFSET) + return false; + + wake_timersd(); + return true; +} + +enum irq_exit_wake_flags { + IRQ_EXIT_WAKE_KSOFTIRQD = BIT(0), + IRQ_EXIT_WAKE_KTIMERD = BIT(1), +}; + +static __always_inline void +irq_exit_wake_late_softirqs(unsigned int wake_flags) +{ + bool ksoftirqd_wake_requested = wake_flags & IRQ_EXIT_WAKE_KSOFTIRQD; + bool ktimerd_wake_requested = wake_flags & IRQ_EXIT_WAKE_KTIMERD; + + /* + * A wakeup can be traced, and its callback can raise work for the other + * worker. Check ksoftirqd, then ktimerd, then ksoftirqd again. Skip a + * worker whose direct wake request was recorded above: it cannot run on + * this CPU before hardirq teardown, so later work remains visible to it. + */ + if (!ksoftirqd_wake_requested) + ksoftirqd_wake_requested = irq_exit_wake_ksoftirqd(); + if (!ktimerd_wake_requested) + ktimerd_wake_requested = irq_exit_wake_timersd(); + if (!ksoftirqd_wake_requested && ktimerd_wake_requested) + irq_exit_wake_ksoftirqd(); +} + +static __always_inline unsigned int __irq_exit_rcu(bool keep_hardirq_count) +{ + unsigned int wake_flags = 0; + #ifndef __ARCH_IRQ_EXIT_IRQS_DISABLED local_irq_disable(); #else @@ -783,20 +854,51 @@ static inline void __irq_exit_rcu(void) * before enabling interrupts to run softirq. */ hrtimer_rearm_deferred(); - invoke_softirq(); + if (invoke_softirq() && keep_hardirq_count) + wake_flags |= IRQ_EXIT_WAKE_KSOFTIRQD; } /* * Wake the timer thread even if the interrupt hit a softirq or a * section with BHs disabled. Only the outermost interrupt can wake it. */ - if (IS_ENABLED(CONFIG_IRQ_FORCED_THREADING) && force_irqthreads() && - local_timers_pending_force_th() && - hardirq_count() == HARDIRQ_OFFSET) - wake_timersd(); + if (irq_exit_wake_timersd() && keep_hardirq_count) + wake_flags |= IRQ_EXIT_WAKE_KTIMERD; tick_irq_exit(); - preempt_count_sub(HARDIRQ_OFFSET); + if (!keep_hardirq_count) + preempt_count_sub(HARDIRQ_OFFSET); + + return wake_flags; +} + +/** + * irq_exit_rcu_preempt_counted_prepare - Process IRQ exit and prepare teardown + * + * The caller established hardirq state before instrumentable IRQ entry. Keep + * that state through every traceable part of IRQ exit, then prepare its raw + * teardown. The caller must apply the raw teardown immediately after return. + * + * Return callbacks can raise regular or forced-thread timer softirqs after + * __irq_exit_rcu() performed its final drain and worker wakeups. Recheck both + * queues after all traceable preparation. Worker wakeups are traceable too, + * so order the rechecks such that a callback which raises work for the other + * worker cannot leave it asleep. Do not repeat a direct worker wake + * recorded by __irq_exit_rcu(); the worker cannot run on this CPU before + * hardirq teardown. + */ +bool noinstr irq_exit_rcu_preempt_counted_prepare(void) +{ + unsigned int wake_flags; + bool do_sub; + + instrumentation_begin(); + wake_flags = __irq_exit_rcu(true); + do_sub = irqentry_hardirq_exit_prepare(); + irq_exit_wake_late_softirqs(wake_flags); + instrumentation_end(); + + return do_sub; } /** @@ -806,7 +908,7 @@ static inline void __irq_exit_rcu(void) */ void irq_exit_rcu(void) { - __irq_exit_rcu(); + __irq_exit_rcu(false); /* must be last! */ lockdep_hardirq_exit(); } @@ -818,7 +920,7 @@ void irq_exit_rcu(void) */ void irq_exit(void) { - __irq_exit_rcu(); + __irq_exit_rcu(false); ct_irq_exit(); /* must be last! */ lockdep_hardirq_exit(); -- 2.39.5 (Apple Git-154)