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/cdefs.h>
28ef23481aSHans Petter Selasky #include <sys/types.h>
29ef23481aSHans Petter Selasky #include <sys/malloc.h>
304cd34a41SHans Petter Selasky #include <sys/gtaskqueue.h>
31ef23481aSHans Petter Selasky #include <sys/proc.h>
32ef23481aSHans Petter Selasky #include <sys/sched.h>
33ef23481aSHans Petter Selasky 
3462bae5d4SHans Petter Selasky #include <linux/compiler.h>
35ef23481aSHans Petter Selasky #include <linux/interrupt.h>
36ef23481aSHans Petter Selasky #include <linux/compat.h>
37ef23481aSHans Petter Selasky 
38ef23481aSHans Petter Selasky #define	TASKLET_ST_IDLE 0
39ef23481aSHans Petter Selasky #define	TASKLET_ST_BUSY 1
40ef23481aSHans Petter Selasky #define	TASKLET_ST_EXEC 2
41ef23481aSHans Petter Selasky #define	TASKLET_ST_LOOP 3
42ef23481aSHans Petter Selasky 
43ef23481aSHans Petter Selasky #define	TASKLET_ST_CMPSET(ts, old, new)	\
44480995dcSJohannes Lundberg 	atomic_cmpset_int((volatile u_int *)&(ts)->tasklet_state, old, new)
45ef23481aSHans Petter Selasky 
46ef23481aSHans Petter Selasky #define	TASKLET_ST_SET(ts, new)	\
47480995dcSJohannes Lundberg 	WRITE_ONCE(*(volatile u_int *)&(ts)->tasklet_state, new)
48ef23481aSHans Petter Selasky 
49ef23481aSHans Petter Selasky #define	TASKLET_ST_GET(ts) \
50480995dcSJohannes Lundberg 	READ_ONCE(*(volatile u_int *)&(ts)->tasklet_state)
51480995dcSJohannes Lundberg 
52ef23481aSHans Petter Selasky struct tasklet_worker {
53ef23481aSHans Petter Selasky 	struct mtx mtx;
54480995dcSJohannes Lundberg 	TAILQ_HEAD(tasklet_list, tasklet_struct) head;
554cd34a41SHans Petter Selasky 	struct grouptask gtask;
56ef23481aSHans Petter Selasky } __aligned(CACHE_LINE_SIZE);
57ef23481aSHans Petter Selasky 
58ef23481aSHans Petter Selasky #define	TASKLET_WORKER_LOCK(tw) mtx_lock(&(tw)->mtx)
59ef23481aSHans Petter Selasky #define	TASKLET_WORKER_UNLOCK(tw) mtx_unlock(&(tw)->mtx)
60ef23481aSHans Petter Selasky 
612bf95012SAndrew Turner DPCPU_DEFINE_STATIC(struct tasklet_worker, tasklet_worker);
62ef23481aSHans Petter Selasky 
63ef23481aSHans Petter Selasky static void
tasklet_handler(void * arg)644cd34a41SHans Petter Selasky tasklet_handler(void *arg)
65ef23481aSHans Petter Selasky {
66ef23481aSHans Petter Selasky 	struct tasklet_worker *tw = (struct tasklet_worker *)arg;
67ef23481aSHans Petter Selasky 	struct tasklet_struct *ts;
68480995dcSJohannes Lundberg 	struct tasklet_struct *last;
69ef23481aSHans Petter Selasky 
70ef23481aSHans Petter Selasky 	linux_set_current(curthread);
71ef23481aSHans Petter Selasky 
72ef23481aSHans Petter Selasky 	TASKLET_WORKER_LOCK(tw);
73480995dcSJohannes Lundberg 	last = TAILQ_LAST(&tw->head, tasklet_list);
74ef23481aSHans Petter Selasky 	while (1) {
75ef23481aSHans Petter Selasky 		ts = TAILQ_FIRST(&tw->head);
76ef23481aSHans Petter Selasky 		if (ts == NULL)
77ef23481aSHans Petter Selasky 			break;
78ef23481aSHans Petter Selasky 		TAILQ_REMOVE(&tw->head, ts, entry);
79ef23481aSHans Petter Selasky 
80480995dcSJohannes Lundberg 		if (!atomic_read(&ts->count)) {
81ef23481aSHans Petter Selasky 			TASKLET_WORKER_UNLOCK(tw);
82ef23481aSHans Petter Selasky 			do {
83ef23481aSHans Petter Selasky 				/* reset executing state */
84ef23481aSHans Petter Selasky 				TASKLET_ST_SET(ts, TASKLET_ST_EXEC);
85ef23481aSHans Petter Selasky 
86*f2978460SBjoern A. Zeeb 				if (ts->use_callback)
87*f2978460SBjoern A. Zeeb 					ts->callback(ts);
88*f2978460SBjoern A. Zeeb 				else
89ef23481aSHans Petter Selasky 					ts->func(ts->data);
90ef23481aSHans Petter Selasky 
91480995dcSJohannes Lundberg 			} while (TASKLET_ST_CMPSET(ts, TASKLET_ST_EXEC,
92480995dcSJohannes Lundberg 			        TASKLET_ST_IDLE) == 0);
93ef23481aSHans Petter Selasky 			TASKLET_WORKER_LOCK(tw);
94480995dcSJohannes Lundberg 		} else {
95480995dcSJohannes Lundberg 			TAILQ_INSERT_TAIL(&tw->head, ts, entry);
96480995dcSJohannes Lundberg 		}
97480995dcSJohannes Lundberg 		if (ts == last)
98480995dcSJohannes Lundberg 			break;
99ef23481aSHans Petter Selasky 	}
100ef23481aSHans Petter Selasky 	TASKLET_WORKER_UNLOCK(tw);
101ef23481aSHans Petter Selasky }
102ef23481aSHans Petter Selasky 
103ef23481aSHans Petter Selasky static void
tasklet_subsystem_init(void * arg __unused)104ef23481aSHans Petter Selasky tasklet_subsystem_init(void *arg __unused)
105ef23481aSHans Petter Selasky {
1064cd34a41SHans Petter Selasky 	struct tasklet_worker *tw;
1074cd34a41SHans Petter Selasky 	char buf[32];
1084cd34a41SHans Petter Selasky 	int i;
109ef23481aSHans Petter Selasky 
1104cd34a41SHans Petter Selasky 	CPU_FOREACH(i) {
1114cd34a41SHans Petter Selasky 		if (CPU_ABSENT(i))
1124cd34a41SHans Petter Selasky 			continue;
1134cd34a41SHans Petter Selasky 
1144cd34a41SHans Petter Selasky 		tw = DPCPU_ID_PTR(i, tasklet_worker);
1154cd34a41SHans Petter Selasky 
116ef23481aSHans Petter Selasky 		mtx_init(&tw->mtx, "linux_tasklet", NULL, MTX_DEF);
117ef23481aSHans Petter Selasky 		TAILQ_INIT(&tw->head);
1184cd34a41SHans Petter Selasky 		GROUPTASK_INIT(&tw->gtask, 0, tasklet_handler, tw);
1194cd34a41SHans Petter Selasky 		snprintf(buf, sizeof(buf), "softirq%d", i);
1204cd34a41SHans Petter Selasky 		taskqgroup_attach_cpu(qgroup_softirq, &tw->gtask,
121f855ec81SMarius Strobl 		    "tasklet", i, NULL, NULL, buf);
1224cd34a41SHans Petter Selasky        }
123ef23481aSHans Petter Selasky }
1249657edd7SConrad Meyer SYSINIT(linux_tasklet, SI_SUB_TASKQ, SI_ORDER_THIRD, tasklet_subsystem_init, NULL);
125ef23481aSHans Petter Selasky 
126ef23481aSHans Petter Selasky static void
tasklet_subsystem_uninit(void * arg __unused)127ef23481aSHans Petter Selasky tasklet_subsystem_uninit(void *arg __unused)
128ef23481aSHans Petter Selasky {
1294cd34a41SHans Petter Selasky 	struct tasklet_worker *tw;
1304cd34a41SHans Petter Selasky 	int i;
131ef23481aSHans Petter Selasky 
132209d4919SHans Petter Selasky 	taskqgroup_drain_all(qgroup_softirq);
133209d4919SHans Petter Selasky 
1344cd34a41SHans Petter Selasky 	CPU_FOREACH(i) {
1354cd34a41SHans Petter Selasky 		if (CPU_ABSENT(i))
1364cd34a41SHans Petter Selasky 			continue;
1374cd34a41SHans Petter Selasky 
1384cd34a41SHans Petter Selasky 		tw = DPCPU_ID_PTR(i, tasklet_worker);
1394cd34a41SHans Petter Selasky 
1404cd34a41SHans Petter Selasky 		taskqgroup_detach(qgroup_softirq, &tw->gtask);
141ef23481aSHans Petter Selasky 		mtx_destroy(&tw->mtx);
142ef23481aSHans Petter Selasky 	}
1434cd34a41SHans Petter Selasky }
1449657edd7SConrad Meyer SYSUNINIT(linux_tasklet, SI_SUB_TASKQ, SI_ORDER_THIRD, tasklet_subsystem_uninit, NULL);
145ef23481aSHans Petter Selasky 
146ef23481aSHans Petter Selasky void
tasklet_init(struct tasklet_struct * ts,tasklet_func_t * func,unsigned long data)147ef23481aSHans Petter Selasky tasklet_init(struct tasklet_struct *ts,
148ef23481aSHans Petter Selasky     tasklet_func_t *func, unsigned long data)
149ef23481aSHans Petter Selasky {
150ef23481aSHans Petter Selasky 	ts->entry.tqe_prev = NULL;
151ef23481aSHans Petter Selasky 	ts->entry.tqe_next = NULL;
152ef23481aSHans Petter Selasky 	ts->func = func;
153*f2978460SBjoern A. Zeeb 	ts->callback = NULL;
154ef23481aSHans Petter Selasky 	ts->data = data;
155480995dcSJohannes Lundberg 	atomic_set_int(&ts->tasklet_state, TASKLET_ST_IDLE);
156480995dcSJohannes Lundberg 	atomic_set(&ts->count, 0);
157*f2978460SBjoern A. Zeeb 	ts->use_callback = false;
158*f2978460SBjoern A. Zeeb }
159*f2978460SBjoern A. Zeeb 
160*f2978460SBjoern A. Zeeb void
tasklet_setup(struct tasklet_struct * ts,tasklet_callback_t * c)161*f2978460SBjoern A. Zeeb tasklet_setup(struct tasklet_struct *ts, tasklet_callback_t *c)
162*f2978460SBjoern A. Zeeb {
163*f2978460SBjoern A. Zeeb 	ts->entry.tqe_prev = NULL;
164*f2978460SBjoern A. Zeeb 	ts->entry.tqe_next = NULL;
165*f2978460SBjoern A. Zeeb 	ts->func = NULL;
166*f2978460SBjoern A. Zeeb 	ts->callback = c;
167*f2978460SBjoern A. Zeeb 	ts->data = 0;
168*f2978460SBjoern A. Zeeb 	atomic_set_int(&ts->tasklet_state, TASKLET_ST_IDLE);
169*f2978460SBjoern A. Zeeb 	atomic_set(&ts->count, 0);
170*f2978460SBjoern A. Zeeb 	ts->use_callback = true;
171ef23481aSHans Petter Selasky }
172ef23481aSHans Petter Selasky 
173ef23481aSHans Petter Selasky void
local_bh_enable(void)174ef23481aSHans Petter Selasky local_bh_enable(void)
175ef23481aSHans Petter Selasky {
176ef23481aSHans Petter Selasky 	sched_unpin();
177ef23481aSHans Petter Selasky }
178ef23481aSHans Petter Selasky 
179ef23481aSHans Petter Selasky void
local_bh_disable(void)180ef23481aSHans Petter Selasky local_bh_disable(void)
181ef23481aSHans Petter Selasky {
182ef23481aSHans Petter Selasky 	sched_pin();
183ef23481aSHans Petter Selasky }
184ef23481aSHans Petter Selasky 
185ef23481aSHans Petter Selasky void
tasklet_schedule(struct tasklet_struct * ts)186ef23481aSHans Petter Selasky tasklet_schedule(struct tasklet_struct *ts)
187ef23481aSHans Petter Selasky {
188ef23481aSHans Petter Selasky 
189480995dcSJohannes Lundberg 	/* tasklet is paused */
190480995dcSJohannes Lundberg 	if (atomic_read(&ts->count))
191480995dcSJohannes Lundberg 		return;
192480995dcSJohannes Lundberg 
193ef23481aSHans Petter Selasky 	if (TASKLET_ST_CMPSET(ts, TASKLET_ST_EXEC, TASKLET_ST_LOOP)) {
194ef23481aSHans Petter Selasky 		/* tasklet_handler() will loop */
195ef23481aSHans Petter Selasky 	} else if (TASKLET_ST_CMPSET(ts, TASKLET_ST_IDLE, TASKLET_ST_BUSY)) {
1964cd34a41SHans Petter Selasky 		struct tasklet_worker *tw;
1974cd34a41SHans Petter Selasky 
1984cd34a41SHans Petter Selasky 		tw = &DPCPU_GET(tasklet_worker);
199ef23481aSHans Petter Selasky 
200ef23481aSHans Petter Selasky 		/* tasklet_handler() was not queued */
201ef23481aSHans Petter Selasky 		TASKLET_WORKER_LOCK(tw);
202ef23481aSHans Petter Selasky 		/* enqueue tasklet */
203ef23481aSHans Petter Selasky 		TAILQ_INSERT_TAIL(&tw->head, ts, entry);
204ef23481aSHans Petter Selasky 		/* schedule worker */
2054cd34a41SHans Petter Selasky 		GROUPTASK_ENQUEUE(&tw->gtask);
206ef23481aSHans Petter Selasky 		TASKLET_WORKER_UNLOCK(tw);
207ef23481aSHans Petter Selasky 	} else {
208ef23481aSHans Petter Selasky 		/*
209ef23481aSHans Petter Selasky 		 * tasklet_handler() is already executing
210ef23481aSHans Petter Selasky 		 *
211ef23481aSHans Petter Selasky 		 * If the state is neither EXEC nor IDLE, it is either
212ef23481aSHans Petter Selasky 		 * LOOP or BUSY. If the state changed between the two
213ef23481aSHans Petter Selasky 		 * CMPSET's above the only possible transitions by
214ef23481aSHans Petter Selasky 		 * elimination are LOOP->EXEC and BUSY->EXEC. If a
215ef23481aSHans Petter Selasky 		 * EXEC->LOOP transition was missed that is not a
216ef23481aSHans Petter Selasky 		 * problem because the callback function is then
217ef23481aSHans Petter Selasky 		 * already about to be called again.
218ef23481aSHans Petter Selasky 		 */
219ef23481aSHans Petter Selasky 	}
220ef23481aSHans Petter Selasky }
221ef23481aSHans Petter Selasky 
222ef23481aSHans Petter Selasky void
tasklet_kill(struct tasklet_struct * ts)223ef23481aSHans Petter Selasky tasklet_kill(struct tasklet_struct *ts)
224ef23481aSHans Petter Selasky {
225ef23481aSHans Petter Selasky 
226ef23481aSHans Petter Selasky 	WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, "tasklet_kill() can sleep");
227ef23481aSHans Petter Selasky 
228ef23481aSHans Petter Selasky 	/* wait until tasklet is no longer busy */
229ef23481aSHans Petter Selasky 	while (TASKLET_ST_GET(ts) != TASKLET_ST_IDLE)
230ef23481aSHans Petter Selasky 		pause("W", 1);
231ef23481aSHans Petter Selasky }
232f1f7e04aSHans Petter Selasky 
233f1f7e04aSHans Petter Selasky void
tasklet_enable(struct tasklet_struct * ts)234f1f7e04aSHans Petter Selasky tasklet_enable(struct tasklet_struct *ts)
235f1f7e04aSHans Petter Selasky {
236480995dcSJohannes Lundberg 
237480995dcSJohannes Lundberg 	atomic_dec(&ts->count);
238f1f7e04aSHans Petter Selasky }
239f1f7e04aSHans Petter Selasky 
240f1f7e04aSHans Petter Selasky void
tasklet_disable(struct tasklet_struct * ts)241f1f7e04aSHans Petter Selasky tasklet_disable(struct tasklet_struct *ts)
242f1f7e04aSHans Petter Selasky {
243480995dcSJohannes Lundberg 
244480995dcSJohannes Lundberg 	atomic_inc(&ts->count);
245480995dcSJohannes Lundberg 	tasklet_unlock_wait(ts);
246f1f7e04aSHans Petter Selasky }
247480995dcSJohannes Lundberg 
2489781105bSNeel Chauhan void
tasklet_disable_nosync(struct tasklet_struct * ts)2499781105bSNeel Chauhan tasklet_disable_nosync(struct tasklet_struct *ts)
2509781105bSNeel Chauhan {
2519781105bSNeel Chauhan 	atomic_inc(&ts->count);
2529781105bSNeel Chauhan 	barrier();
2539781105bSNeel Chauhan }
2549781105bSNeel Chauhan 
255480995dcSJohannes Lundberg int
tasklet_trylock(struct tasklet_struct * ts)256480995dcSJohannes Lundberg tasklet_trylock(struct tasklet_struct *ts)
257480995dcSJohannes Lundberg {
258480995dcSJohannes Lundberg 
25939881afcSJohannes Lundberg 	return (TASKLET_ST_CMPSET(ts, TASKLET_ST_IDLE, TASKLET_ST_BUSY));
260480995dcSJohannes Lundberg }
261480995dcSJohannes Lundberg 
262480995dcSJohannes Lundberg void
tasklet_unlock(struct tasklet_struct * ts)263480995dcSJohannes Lundberg tasklet_unlock(struct tasklet_struct *ts)
264480995dcSJohannes Lundberg {
265480995dcSJohannes Lundberg 
266480995dcSJohannes Lundberg 	TASKLET_ST_SET(ts, TASKLET_ST_IDLE);
267480995dcSJohannes Lundberg }
268480995dcSJohannes Lundberg 
269480995dcSJohannes Lundberg void
tasklet_unlock_wait(struct tasklet_struct * ts)270480995dcSJohannes Lundberg tasklet_unlock_wait(struct tasklet_struct *ts)
271480995dcSJohannes Lundberg {
272480995dcSJohannes Lundberg 
273480995dcSJohannes Lundberg 	WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, "tasklet_kill() can sleep");
274480995dcSJohannes Lundberg 
275480995dcSJohannes Lundberg 	/* wait until tasklet is no longer busy */
276480995dcSJohannes Lundberg 	while (TASKLET_ST_GET(ts) != TASKLET_ST_IDLE)
277480995dcSJohannes Lundberg 		pause("W", 1);
278f1f7e04aSHans Petter Selasky }
279