1 // SPDX-License-Identifier: GPL-2.0-only
3 * Copyright (C) 2010 Red Hat, Inc., Peter Zijlstra
5 * Provides a framework for enqueueing and running callbacks from hardirq
6 * context. The enqueueing is NMI-safe.
10 #include <linux/kernel.h>
11 #include <linux/export.h>
12 #include <linux/irq_work.h>
13 #include <linux/percpu.h>
14 #include <linux/hardirq.h>
15 #include <linux/irqflags.h>
16 #include <linux/sched.h>
17 #include <linux/tick.h>
18 #include <linux/cpu.h>
19 #include <linux/notifier.h>
20 #include <linux/smp.h>
21 #include <linux/smpboot.h>
22 #include <asm/processor.h>
23 #include <linux/kasan.h>
25 static DEFINE_PER_CPU(struct llist_head, raised_list);
26 static DEFINE_PER_CPU(struct llist_head, lazy_list);
27 static DEFINE_PER_CPU(struct task_struct *, irq_workd);
29 static void wake_irq_workd(void)
31 struct task_struct *tsk = __this_cpu_read(irq_workd);
33 if (!llist_empty(this_cpu_ptr(&lazy_list)) && tsk)
38 static void irq_work_wake(struct irq_work *entry)
43 static DEFINE_PER_CPU(struct irq_work, irq_work_wakeup) =
44 IRQ_WORK_INIT_HARD(irq_work_wake);
47 static int irq_workd_should_run(unsigned int cpu)
49 return !llist_empty(this_cpu_ptr(&lazy_list));
53 * Claim the entry so that no one else will poke at it.
55 static bool irq_work_claim(struct irq_work *work)
59 oflags = atomic_fetch_or(IRQ_WORK_CLAIMED | CSD_TYPE_IRQ_WORK, &work->node.a_flags);
61 * If the work is already pending, no need to raise the IPI.
62 * The pairing smp_mb() in irq_work_single() makes sure
63 * everything we did before is visible.
65 if (oflags & IRQ_WORK_PENDING)
70 void __weak arch_irq_work_raise(void)
73 * Lame architectures will get the timer tick callback
77 /* Enqueue on current CPU, work must already be claimed and preempt disabled */
78 static void __irq_work_queue_local(struct irq_work *work)
80 struct llist_head *list;
81 bool rt_lazy_work = false;
82 bool lazy_work = false;
85 work_flags = atomic_read(&work->node.a_flags);
86 if (work_flags & IRQ_WORK_LAZY)
88 else if (IS_ENABLED(CONFIG_PREEMPT_RT) &&
89 !(work_flags & IRQ_WORK_HARD_IRQ))
92 if (lazy_work || rt_lazy_work)
93 list = this_cpu_ptr(&lazy_list);
95 list = this_cpu_ptr(&raised_list);
97 if (!llist_add(&work->node.llist, list))
100 /* If the work is "lazy", handle it from next tick if any */
101 if (!lazy_work || tick_nohz_tick_stopped())
102 arch_irq_work_raise();
105 /* Enqueue the irq work @work on the current CPU */
106 bool irq_work_queue(struct irq_work *work)
108 /* Only queue if not already pending */
109 if (!irq_work_claim(work))
112 /* Queue the entry and raise the IPI if needed. */
114 __irq_work_queue_local(work);
119 EXPORT_SYMBOL_GPL(irq_work_queue);
122 * Enqueue the irq_work @work on @cpu unless it's already pending
125 * Can be re-enqueued while the callback is still in progress.
127 bool irq_work_queue_on(struct irq_work *work, int cpu)
130 return irq_work_queue(work);
132 #else /* CONFIG_SMP: */
133 /* All work should have been flushed before going offline */
134 WARN_ON_ONCE(cpu_is_offline(cpu));
136 /* Only queue if not already pending */
137 if (!irq_work_claim(work))
140 kasan_record_aux_stack_noalloc(work);
143 if (cpu != smp_processor_id()) {
144 /* Arch remote IPI send/receive backend aren't NMI safe */
145 WARN_ON_ONCE(in_nmi());
148 * On PREEMPT_RT the items which are not marked as
149 * IRQ_WORK_HARD_IRQ are added to the lazy list and a HARD work
150 * item is used on the remote CPU to wake the thread.
152 if (IS_ENABLED(CONFIG_PREEMPT_RT) &&
153 !(atomic_read(&work->node.a_flags) & IRQ_WORK_HARD_IRQ)) {
155 if (!llist_add(&work->node.llist, &per_cpu(lazy_list, cpu)))
158 work = &per_cpu(irq_work_wakeup, cpu);
159 if (!irq_work_claim(work))
163 __smp_call_single_queue(cpu, &work->node.llist);
165 __irq_work_queue_local(work);
171 #endif /* CONFIG_SMP */
174 bool irq_work_needs_cpu(void)
176 struct llist_head *raised, *lazy;
178 raised = this_cpu_ptr(&raised_list);
179 lazy = this_cpu_ptr(&lazy_list);
181 if (llist_empty(raised) || arch_irq_work_has_interrupt())
182 if (llist_empty(lazy))
185 /* All work should have been flushed before going offline */
186 WARN_ON_ONCE(cpu_is_offline(smp_processor_id()));
191 void irq_work_single(void *arg)
193 struct irq_work *work = arg;
197 * Clear the PENDING bit, after this point the @work can be re-used.
198 * The PENDING bit acts as a lock, and we own it, so we can clear it
199 * without atomic ops.
201 flags = atomic_read(&work->node.a_flags);
202 flags &= ~IRQ_WORK_PENDING;
203 atomic_set(&work->node.a_flags, flags);
206 * See irq_work_claim().
210 lockdep_irq_work_enter(flags);
212 lockdep_irq_work_exit(flags);
215 * Clear the BUSY bit, if set, and return to the free state if no-one
216 * else claimed it meanwhile.
218 (void)atomic_cmpxchg(&work->node.a_flags, flags, flags & ~IRQ_WORK_BUSY);
220 if ((IS_ENABLED(CONFIG_PREEMPT_RT) && !irq_work_is_hard(work)) ||
221 !arch_irq_work_has_interrupt())
222 rcuwait_wake_up(&work->irqwait);
225 static void irq_work_run_list(struct llist_head *list)
227 struct irq_work *work, *tmp;
228 struct llist_node *llnode;
231 * On PREEMPT_RT IRQ-work which is not marked as HARD will be processed
232 * in a per-CPU thread in preemptible context. Only the items which are
233 * marked as IRQ_WORK_HARD_IRQ will be processed in hardirq context.
235 BUG_ON(!irqs_disabled() && !IS_ENABLED(CONFIG_PREEMPT_RT));
237 if (llist_empty(list))
240 llnode = llist_del_all(list);
241 llist_for_each_entry_safe(work, tmp, llnode, node.llist)
242 irq_work_single(work);
246 * hotplug calls this through:
247 * hotplug_cfd() -> flush_smp_call_function_queue()
249 void irq_work_run(void)
251 irq_work_run_list(this_cpu_ptr(&raised_list));
252 if (!IS_ENABLED(CONFIG_PREEMPT_RT))
253 irq_work_run_list(this_cpu_ptr(&lazy_list));
257 EXPORT_SYMBOL_GPL(irq_work_run);
259 void irq_work_tick(void)
261 struct llist_head *raised = this_cpu_ptr(&raised_list);
263 if (!llist_empty(raised) && !arch_irq_work_has_interrupt())
264 irq_work_run_list(raised);
266 if (!IS_ENABLED(CONFIG_PREEMPT_RT))
267 irq_work_run_list(this_cpu_ptr(&lazy_list));
273 * Synchronize against the irq_work @entry, ensures the entry is not
276 void irq_work_sync(struct irq_work *work)
278 lockdep_assert_irqs_enabled();
281 if ((IS_ENABLED(CONFIG_PREEMPT_RT) && !irq_work_is_hard(work)) ||
282 !arch_irq_work_has_interrupt()) {
283 rcuwait_wait_event(&work->irqwait, !irq_work_is_busy(work),
284 TASK_UNINTERRUPTIBLE);
288 while (irq_work_is_busy(work))
291 EXPORT_SYMBOL_GPL(irq_work_sync);
293 static void run_irq_workd(unsigned int cpu)
295 irq_work_run_list(this_cpu_ptr(&lazy_list));
298 static void irq_workd_setup(unsigned int cpu)
300 sched_set_fifo_low(current);
303 static struct smp_hotplug_thread irqwork_threads = {
305 .setup = irq_workd_setup,
306 .thread_should_run = irq_workd_should_run,
307 .thread_fn = run_irq_workd,
308 .thread_comm = "irq_work/%u",
311 static __init int irq_work_init_threads(void)
313 if (IS_ENABLED(CONFIG_PREEMPT_RT))
314 BUG_ON(smpboot_register_percpu_thread(&irqwork_threads));
317 early_initcall(irq_work_init_threads);