1ef23481aSHans Petter Selasky /*-
2ef23481aSHans Petter Selasky * Copyright (c) 2017 Hans Petter Selasky
3ef23481aSHans Petter Selasky * All rights reserved.
4ef23481aSHans Petter Selasky *
5ef23481aSHans Petter Selasky * Redistribution and use in source and binary forms, with or without
6ef23481aSHans Petter Selasky * modification, are permitted provided that the following conditions
7ef23481aSHans Petter Selasky * are met:
8ef23481aSHans Petter Selasky * 1. Redistributions of source code must retain the above copyright
9ef23481aSHans Petter Selasky * notice unmodified, this list of conditions, and the following
10ef23481aSHans Petter Selasky * disclaimer.
11ef23481aSHans Petter Selasky * 2. Redistributions in binary form must reproduce the above copyright
12ef23481aSHans Petter Selasky * notice, this list of conditions and the following disclaimer in the
13ef23481aSHans Petter Selasky * documentation and/or other materials provided with the distribution.
14ef23481aSHans Petter Selasky *
15ef23481aSHans Petter Selasky * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
16ef23481aSHans Petter Selasky * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
17ef23481aSHans Petter Selasky * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
18ef23481aSHans Petter Selasky * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
19ef23481aSHans Petter Selasky * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
20ef23481aSHans Petter Selasky * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
21ef23481aSHans Petter Selasky * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
22ef23481aSHans Petter Selasky * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
23ef23481aSHans Petter Selasky * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
24ef23481aSHans Petter Selasky * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
25ef23481aSHans Petter Selasky */
26ef23481aSHans Petter Selasky
27ef23481aSHans Petter Selasky #include <sys/types.h>
28ef23481aSHans Petter Selasky #include <sys/malloc.h>
294cd34a41SHans Petter Selasky #include <sys/gtaskqueue.h>
30ef23481aSHans Petter Selasky #include <sys/proc.h>
31ef23481aSHans Petter Selasky #include <sys/sched.h>
32ef23481aSHans Petter Selasky
3362bae5d4SHans Petter Selasky #include <linux/compiler.h>
34ef23481aSHans Petter Selasky #include <linux/interrupt.h>
35ef23481aSHans Petter Selasky #include <linux/compat.h>
36ef23481aSHans Petter Selasky
37ef23481aSHans Petter Selasky #define TASKLET_ST_IDLE 0
38ef23481aSHans Petter Selasky #define TASKLET_ST_BUSY 1
39ef23481aSHans Petter Selasky #define TASKLET_ST_EXEC 2
40ef23481aSHans Petter Selasky #define TASKLET_ST_LOOP 3
41ef23481aSHans Petter Selasky
42ef23481aSHans Petter Selasky #define TASKLET_ST_CMPSET(ts, old, new) \
43480995dcSJohannes Lundberg atomic_cmpset_int((volatile u_int *)&(ts)->tasklet_state, old, new)
44ef23481aSHans Petter Selasky
45ef23481aSHans Petter Selasky #define TASKLET_ST_SET(ts, new) \
46480995dcSJohannes Lundberg WRITE_ONCE(*(volatile u_int *)&(ts)->tasklet_state, new)
47ef23481aSHans Petter Selasky
48ef23481aSHans Petter Selasky #define TASKLET_ST_GET(ts) \
49480995dcSJohannes Lundberg READ_ONCE(*(volatile u_int *)&(ts)->tasklet_state)
50480995dcSJohannes Lundberg
51ef23481aSHans Petter Selasky struct tasklet_worker {
52ef23481aSHans Petter Selasky struct mtx mtx;
53480995dcSJohannes Lundberg TAILQ_HEAD(tasklet_list, tasklet_struct) head;
544cd34a41SHans Petter Selasky struct grouptask gtask;
55ef23481aSHans Petter Selasky } __aligned(CACHE_LINE_SIZE);
56ef23481aSHans Petter Selasky
57ef23481aSHans Petter Selasky #define TASKLET_WORKER_LOCK(tw) mtx_lock(&(tw)->mtx)
58ef23481aSHans Petter Selasky #define TASKLET_WORKER_UNLOCK(tw) mtx_unlock(&(tw)->mtx)
59ef23481aSHans Petter Selasky
602bf95012SAndrew Turner DPCPU_DEFINE_STATIC(struct tasklet_worker, tasklet_worker);
61ef23481aSHans Petter Selasky
62ef23481aSHans Petter Selasky static void
tasklet_handler(void * arg)634cd34a41SHans Petter Selasky tasklet_handler(void *arg)
64ef23481aSHans Petter Selasky {
65ef23481aSHans Petter Selasky struct tasklet_worker *tw = (struct tasklet_worker *)arg;
66ef23481aSHans Petter Selasky struct tasklet_struct *ts;
67480995dcSJohannes Lundberg struct tasklet_struct *last;
68ef23481aSHans Petter Selasky
69ef23481aSHans Petter Selasky linux_set_current(curthread);
70ef23481aSHans Petter Selasky
71ef23481aSHans Petter Selasky TASKLET_WORKER_LOCK(tw);
72480995dcSJohannes Lundberg last = TAILQ_LAST(&tw->head, tasklet_list);
73ef23481aSHans Petter Selasky while (1) {
74ef23481aSHans Petter Selasky ts = TAILQ_FIRST(&tw->head);
75ef23481aSHans Petter Selasky if (ts == NULL)
76ef23481aSHans Petter Selasky break;
77ef23481aSHans Petter Selasky TAILQ_REMOVE(&tw->head, ts, entry);
78ef23481aSHans Petter Selasky
79480995dcSJohannes Lundberg if (!atomic_read(&ts->count)) {
80ef23481aSHans Petter Selasky TASKLET_WORKER_UNLOCK(tw);
81ef23481aSHans Petter Selasky do {
82ef23481aSHans Petter Selasky /* reset executing state */
83ef23481aSHans Petter Selasky TASKLET_ST_SET(ts, TASKLET_ST_EXEC);
84ef23481aSHans Petter Selasky
85*f2978460SBjoern A. Zeeb if (ts->use_callback)
86*f2978460SBjoern A. Zeeb ts->callback(ts);
87*f2978460SBjoern A. Zeeb else
88ef23481aSHans Petter Selasky ts->func(ts->data);
89ef23481aSHans Petter Selasky
90480995dcSJohannes Lundberg } while (TASKLET_ST_CMPSET(ts, TASKLET_ST_EXEC,
91480995dcSJohannes Lundberg TASKLET_ST_IDLE) == 0);
92ef23481aSHans Petter Selasky TASKLET_WORKER_LOCK(tw);
93480995dcSJohannes Lundberg } else {
94480995dcSJohannes Lundberg TAILQ_INSERT_TAIL(&tw->head, ts, entry);
95480995dcSJohannes Lundberg }
96480995dcSJohannes Lundberg if (ts == last)
97480995dcSJohannes Lundberg break;
98ef23481aSHans Petter Selasky }
99ef23481aSHans Petter Selasky TASKLET_WORKER_UNLOCK(tw);
100ef23481aSHans Petter Selasky }
101ef23481aSHans Petter Selasky
102ef23481aSHans Petter Selasky static void
tasklet_subsystem_init(void * arg __unused)103ef23481aSHans Petter Selasky tasklet_subsystem_init(void *arg __unused)
104ef23481aSHans Petter Selasky {
1054cd34a41SHans Petter Selasky struct tasklet_worker *tw;
1064cd34a41SHans Petter Selasky char buf[32];
1074cd34a41SHans Petter Selasky int i;
108ef23481aSHans Petter Selasky
1094cd34a41SHans Petter Selasky CPU_FOREACH(i) {
1104cd34a41SHans Petter Selasky if (CPU_ABSENT(i))
1114cd34a41SHans Petter Selasky continue;
1124cd34a41SHans Petter Selasky
1134cd34a41SHans Petter Selasky tw = DPCPU_ID_PTR(i, tasklet_worker);
1144cd34a41SHans Petter Selasky
115ef23481aSHans Petter Selasky mtx_init(&tw->mtx, "linux_tasklet", NULL, MTX_DEF);
116ef23481aSHans Petter Selasky TAILQ_INIT(&tw->head);
1174cd34a41SHans Petter Selasky GROUPTASK_INIT(&tw->gtask, 0, tasklet_handler, tw);
1184cd34a41SHans Petter Selasky snprintf(buf, sizeof(buf), "softirq%d", i);
1194cd34a41SHans Petter Selasky taskqgroup_attach_cpu(qgroup_softirq, &tw->gtask,
120f855ec81SMarius Strobl "tasklet", i, NULL, NULL, buf);
1214cd34a41SHans Petter Selasky }
122ef23481aSHans Petter Selasky }
1239657edd7SConrad Meyer SYSINIT(linux_tasklet, SI_SUB_TASKQ, SI_ORDER_THIRD, tasklet_subsystem_init, NULL);
124ef23481aSHans Petter Selasky
125ef23481aSHans Petter Selasky static void
tasklet_subsystem_uninit(void * arg __unused)126ef23481aSHans Petter Selasky tasklet_subsystem_uninit(void *arg __unused)
127ef23481aSHans Petter Selasky {
1284cd34a41SHans Petter Selasky struct tasklet_worker *tw;
1294cd34a41SHans Petter Selasky int i;
130ef23481aSHans Petter Selasky
131209d4919SHans Petter Selasky taskqgroup_drain_all(qgroup_softirq);
132209d4919SHans Petter Selasky
1334cd34a41SHans Petter Selasky CPU_FOREACH(i) {
1344cd34a41SHans Petter Selasky if (CPU_ABSENT(i))
1354cd34a41SHans Petter Selasky continue;
1364cd34a41SHans Petter Selasky
1374cd34a41SHans Petter Selasky tw = DPCPU_ID_PTR(i, tasklet_worker);
1384cd34a41SHans Petter Selasky
1394cd34a41SHans Petter Selasky taskqgroup_detach(qgroup_softirq, &tw->gtask);
140ef23481aSHans Petter Selasky mtx_destroy(&tw->mtx);
141ef23481aSHans Petter Selasky }
1424cd34a41SHans Petter Selasky }
1439657edd7SConrad Meyer SYSUNINIT(linux_tasklet, SI_SUB_TASKQ, SI_ORDER_THIRD, tasklet_subsystem_uninit, NULL);
144ef23481aSHans Petter Selasky
145ef23481aSHans Petter Selasky void
tasklet_init(struct tasklet_struct * ts,tasklet_func_t * func,unsigned long data)146ef23481aSHans Petter Selasky tasklet_init(struct tasklet_struct *ts,
147ef23481aSHans Petter Selasky tasklet_func_t *func, unsigned long data)
148ef23481aSHans Petter Selasky {
149ef23481aSHans Petter Selasky ts->entry.tqe_prev = NULL;
150ef23481aSHans Petter Selasky ts->entry.tqe_next = NULL;
151ef23481aSHans Petter Selasky ts->func = func;
152*f2978460SBjoern A. Zeeb ts->callback = NULL;
153ef23481aSHans Petter Selasky ts->data = data;
154480995dcSJohannes Lundberg atomic_set_int(&ts->tasklet_state, TASKLET_ST_IDLE);
155480995dcSJohannes Lundberg atomic_set(&ts->count, 0);
156*f2978460SBjoern A. Zeeb ts->use_callback = false;
157*f2978460SBjoern A. Zeeb }
158*f2978460SBjoern A. Zeeb
159*f2978460SBjoern A. Zeeb void
tasklet_setup(struct tasklet_struct * ts,tasklet_callback_t * c)160*f2978460SBjoern A. Zeeb tasklet_setup(struct tasklet_struct *ts, tasklet_callback_t *c)
161*f2978460SBjoern A. Zeeb {
162*f2978460SBjoern A. Zeeb ts->entry.tqe_prev = NULL;
163*f2978460SBjoern A. Zeeb ts->entry.tqe_next = NULL;
164*f2978460SBjoern A. Zeeb ts->func = NULL;
165*f2978460SBjoern A. Zeeb ts->callback = c;
166*f2978460SBjoern A. Zeeb ts->data = 0;
167*f2978460SBjoern A. Zeeb atomic_set_int(&ts->tasklet_state, TASKLET_ST_IDLE);
168*f2978460SBjoern A. Zeeb atomic_set(&ts->count, 0);
169*f2978460SBjoern A. Zeeb ts->use_callback = true;
170ef23481aSHans Petter Selasky }
171ef23481aSHans Petter Selasky
172ef23481aSHans Petter Selasky void
local_bh_enable(void)173ef23481aSHans Petter Selasky local_bh_enable(void)
174ef23481aSHans Petter Selasky {
175ef23481aSHans Petter Selasky sched_unpin();
176ef23481aSHans Petter Selasky }
177ef23481aSHans Petter Selasky
178ef23481aSHans Petter Selasky void
local_bh_disable(void)179ef23481aSHans Petter Selasky local_bh_disable(void)
180ef23481aSHans Petter Selasky {
181ef23481aSHans Petter Selasky sched_pin();
182ef23481aSHans Petter Selasky }
183ef23481aSHans Petter Selasky
184ef23481aSHans Petter Selasky void
tasklet_schedule(struct tasklet_struct * ts)185ef23481aSHans Petter Selasky tasklet_schedule(struct tasklet_struct *ts)
186ef23481aSHans Petter Selasky {
187ef23481aSHans Petter Selasky
188480995dcSJohannes Lundberg /* tasklet is paused */
189480995dcSJohannes Lundberg if (atomic_read(&ts->count))
190480995dcSJohannes Lundberg return;
191480995dcSJohannes Lundberg
192ef23481aSHans Petter Selasky if (TASKLET_ST_CMPSET(ts, TASKLET_ST_EXEC, TASKLET_ST_LOOP)) {
193ef23481aSHans Petter Selasky /* tasklet_handler() will loop */
194ef23481aSHans Petter Selasky } else if (TASKLET_ST_CMPSET(ts, TASKLET_ST_IDLE, TASKLET_ST_BUSY)) {
1954cd34a41SHans Petter Selasky struct tasklet_worker *tw;
1964cd34a41SHans Petter Selasky
1974cd34a41SHans Petter Selasky tw = &DPCPU_GET(tasklet_worker);
198ef23481aSHans Petter Selasky
199ef23481aSHans Petter Selasky /* tasklet_handler() was not queued */
200ef23481aSHans Petter Selasky TASKLET_WORKER_LOCK(tw);
201ef23481aSHans Petter Selasky /* enqueue tasklet */
202ef23481aSHans Petter Selasky TAILQ_INSERT_TAIL(&tw->head, ts, entry);
203ef23481aSHans Petter Selasky /* schedule worker */
2044cd34a41SHans Petter Selasky GROUPTASK_ENQUEUE(&tw->gtask);
205ef23481aSHans Petter Selasky TASKLET_WORKER_UNLOCK(tw);
206ef23481aSHans Petter Selasky } else {
207ef23481aSHans Petter Selasky /*
208ef23481aSHans Petter Selasky * tasklet_handler() is already executing
209ef23481aSHans Petter Selasky *
210ef23481aSHans Petter Selasky * If the state is neither EXEC nor IDLE, it is either
211ef23481aSHans Petter Selasky * LOOP or BUSY. If the state changed between the two
212ef23481aSHans Petter Selasky * CMPSET's above the only possible transitions by
213ef23481aSHans Petter Selasky * elimination are LOOP->EXEC and BUSY->EXEC. If a
214ef23481aSHans Petter Selasky * EXEC->LOOP transition was missed that is not a
215ef23481aSHans Petter Selasky * problem because the callback function is then
216ef23481aSHans Petter Selasky * already about to be called again.
217ef23481aSHans Petter Selasky */
218ef23481aSHans Petter Selasky }
219ef23481aSHans Petter Selasky }
220ef23481aSHans Petter Selasky
221ef23481aSHans Petter Selasky void
tasklet_kill(struct tasklet_struct * ts)222ef23481aSHans Petter Selasky tasklet_kill(struct tasklet_struct *ts)
223ef23481aSHans Petter Selasky {
224ef23481aSHans Petter Selasky
225ef23481aSHans Petter Selasky WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, "tasklet_kill() can sleep");
226ef23481aSHans Petter Selasky
227ef23481aSHans Petter Selasky /* wait until tasklet is no longer busy */
228ef23481aSHans Petter Selasky while (TASKLET_ST_GET(ts) != TASKLET_ST_IDLE)
229ef23481aSHans Petter Selasky pause("W", 1);
230ef23481aSHans Petter Selasky }
231f1f7e04aSHans Petter Selasky
232f1f7e04aSHans Petter Selasky void
tasklet_enable(struct tasklet_struct * ts)233f1f7e04aSHans Petter Selasky tasklet_enable(struct tasklet_struct *ts)
234f1f7e04aSHans Petter Selasky {
235480995dcSJohannes Lundberg
236480995dcSJohannes Lundberg atomic_dec(&ts->count);
237f1f7e04aSHans Petter Selasky }
238f1f7e04aSHans Petter Selasky
239f1f7e04aSHans Petter Selasky void
tasklet_disable(struct tasklet_struct * ts)240f1f7e04aSHans Petter Selasky tasklet_disable(struct tasklet_struct *ts)
241f1f7e04aSHans Petter Selasky {
242480995dcSJohannes Lundberg
243480995dcSJohannes Lundberg atomic_inc(&ts->count);
244480995dcSJohannes Lundberg tasklet_unlock_wait(ts);
245f1f7e04aSHans Petter Selasky }
246480995dcSJohannes Lundberg
2479781105bSNeel Chauhan void
tasklet_disable_nosync(struct tasklet_struct * ts)2489781105bSNeel Chauhan tasklet_disable_nosync(struct tasklet_struct *ts)
2499781105bSNeel Chauhan {
2509781105bSNeel Chauhan atomic_inc(&ts->count);
2519781105bSNeel Chauhan barrier();
2529781105bSNeel Chauhan }
2539781105bSNeel Chauhan
254480995dcSJohannes Lundberg int
tasklet_trylock(struct tasklet_struct * ts)255480995dcSJohannes Lundberg tasklet_trylock(struct tasklet_struct *ts)
256480995dcSJohannes Lundberg {
257480995dcSJohannes Lundberg
25839881afcSJohannes Lundberg return (TASKLET_ST_CMPSET(ts, TASKLET_ST_IDLE, TASKLET_ST_BUSY));
259480995dcSJohannes Lundberg }
260480995dcSJohannes Lundberg
261480995dcSJohannes Lundberg void
tasklet_unlock(struct tasklet_struct * ts)262480995dcSJohannes Lundberg tasklet_unlock(struct tasklet_struct *ts)
263480995dcSJohannes Lundberg {
264480995dcSJohannes Lundberg
265480995dcSJohannes Lundberg TASKLET_ST_SET(ts, TASKLET_ST_IDLE);
266480995dcSJohannes Lundberg }
267480995dcSJohannes Lundberg
268480995dcSJohannes Lundberg void
tasklet_unlock_wait(struct tasklet_struct * ts)269480995dcSJohannes Lundberg tasklet_unlock_wait(struct tasklet_struct *ts)
270480995dcSJohannes Lundberg {
271480995dcSJohannes Lundberg
272480995dcSJohannes Lundberg WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, "tasklet_kill() can sleep");
273480995dcSJohannes Lundberg
274480995dcSJohannes Lundberg /* wait until tasklet is no longer busy */
275480995dcSJohannes Lundberg while (TASKLET_ST_GET(ts) != TASKLET_ST_IDLE)
276480995dcSJohannes Lundberg pause("W", 1);
277f1f7e04aSHans Petter Selasky }
278