threadpool.c revision 1.5.2.2 1 1.5.2.2 christos /* $NetBSD: threadpool.c,v 1.5.2.2 2019/06/10 22:10:10 christos Exp $ */
2 1.5.2.2 christos
3 1.5.2.2 christos /*-
4 1.5.2.2 christos * Copyright (c) 2018 The NetBSD Foundation, Inc.
5 1.5.2.2 christos * All rights reserved.
6 1.5.2.2 christos *
7 1.5.2.2 christos * This code is derived from software contributed to The NetBSD Foundation
8 1.5.2.2 christos * by Jason R. Thorpe.
9 1.5.2.2 christos *
10 1.5.2.2 christos * Redistribution and use in source and binary forms, with or without
11 1.5.2.2 christos * modification, are permitted provided that the following conditions
12 1.5.2.2 christos * are met:
13 1.5.2.2 christos * 1. Redistributions of source code must retain the above copyright
14 1.5.2.2 christos * notice, this list of conditions and the following disclaimer.
15 1.5.2.2 christos * 2. Redistributions in binary form must reproduce the above copyright
16 1.5.2.2 christos * notice, this list of conditions and the following disclaimer in the
17 1.5.2.2 christos * documentation and/or other materials provided with the distribution.
18 1.5.2.2 christos *
19 1.5.2.2 christos * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND
20 1.5.2.2 christos * CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES,
21 1.5.2.2 christos * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
22 1.5.2.2 christos * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
23 1.5.2.2 christos * IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS BE LIABLE FOR ANY
24 1.5.2.2 christos * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
25 1.5.2.2 christos * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
26 1.5.2.2 christos * GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
27 1.5.2.2 christos * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
28 1.5.2.2 christos * IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
29 1.5.2.2 christos * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
30 1.5.2.2 christos * IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
31 1.5.2.2 christos */
32 1.5.2.2 christos
33 1.5.2.2 christos #include <sys/cdefs.h>
34 1.5.2.2 christos #if !defined(lint)
35 1.5.2.2 christos __RCSID("$NetBSD: threadpool.c,v 1.5.2.2 2019/06/10 22:10:10 christos Exp $");
36 1.5.2.2 christos #endif /* !lint */
37 1.5.2.2 christos
38 1.5.2.2 christos #include <sys/param.h>
39 1.5.2.2 christos #include <sys/condvar.h>
40 1.5.2.2 christos #include <sys/kernel.h>
41 1.5.2.2 christos #include <sys/kmem.h>
42 1.5.2.2 christos #include <sys/mutex.h>
43 1.5.2.2 christos #include <sys/threadpool.h>
44 1.5.2.2 christos
45 1.5.2.2 christos #include "kernspace.h"
46 1.5.2.2 christos
47 1.5.2.2 christos void
48 1.5.2.2 christos rumptest_threadpool_unbound_lifecycle(void)
49 1.5.2.2 christos {
50 1.5.2.2 christos struct threadpool *pool0, *pool1, *pool2;
51 1.5.2.2 christos int error;
52 1.5.2.2 christos
53 1.5.2.2 christos error = threadpool_get(&pool0, PRI_NONE);
54 1.5.2.2 christos KASSERT(error == 0);
55 1.5.2.2 christos
56 1.5.2.2 christos error = threadpool_get(&pool1, PRI_NONE);
57 1.5.2.2 christos KASSERT(error == 0);
58 1.5.2.2 christos
59 1.5.2.2 christos KASSERT(pool0 == pool1);
60 1.5.2.2 christos
61 1.5.2.2 christos error = threadpool_get(&pool2, PRI_KERNEL_RT);
62 1.5.2.2 christos KASSERT(error == 0);
63 1.5.2.2 christos
64 1.5.2.2 christos KASSERT(pool0 != pool2);
65 1.5.2.2 christos
66 1.5.2.2 christos threadpool_put(pool0, PRI_NONE);
67 1.5.2.2 christos threadpool_put(pool1, PRI_NONE);
68 1.5.2.2 christos threadpool_put(pool2, PRI_KERNEL_RT);
69 1.5.2.2 christos }
70 1.5.2.2 christos
71 1.5.2.2 christos void
72 1.5.2.2 christos rumptest_threadpool_percpu_lifecycle(void)
73 1.5.2.2 christos {
74 1.5.2.2 christos struct threadpool_percpu *pcpu0, *pcpu1, *pcpu2;
75 1.5.2.2 christos int error;
76 1.5.2.2 christos
77 1.5.2.2 christos error = threadpool_percpu_get(&pcpu0, PRI_NONE);
78 1.5.2.2 christos KASSERT(error == 0);
79 1.5.2.2 christos
80 1.5.2.2 christos error = threadpool_percpu_get(&pcpu1, PRI_NONE);
81 1.5.2.2 christos KASSERT(error == 0);
82 1.5.2.2 christos
83 1.5.2.2 christos KASSERT(pcpu0 == pcpu1);
84 1.5.2.2 christos
85 1.5.2.2 christos error = threadpool_percpu_get(&pcpu2, PRI_KERNEL_RT);
86 1.5.2.2 christos KASSERT(error == 0);
87 1.5.2.2 christos
88 1.5.2.2 christos KASSERT(pcpu0 != pcpu2);
89 1.5.2.2 christos
90 1.5.2.2 christos threadpool_percpu_put(pcpu0, PRI_NONE);
91 1.5.2.2 christos threadpool_percpu_put(pcpu1, PRI_NONE);
92 1.5.2.2 christos threadpool_percpu_put(pcpu2, PRI_KERNEL_RT);
93 1.5.2.2 christos }
94 1.5.2.2 christos
95 1.5.2.2 christos struct test_job_data {
96 1.5.2.2 christos kmutex_t mutex;
97 1.5.2.2 christos kcondvar_t cond;
98 1.5.2.2 christos unsigned int count;
99 1.5.2.2 christos struct threadpool_job job;
100 1.5.2.2 christos };
101 1.5.2.2 christos
102 1.5.2.2 christos #define FINAL_COUNT 12345
103 1.5.2.2 christos
104 1.5.2.2 christos static void
105 1.5.2.2 christos test_job_func_schedule(struct threadpool_job *job)
106 1.5.2.2 christos {
107 1.5.2.2 christos struct test_job_data *data =
108 1.5.2.2 christos container_of(job, struct test_job_data, job);
109 1.5.2.2 christos
110 1.5.2.2 christos mutex_enter(&data->mutex);
111 1.5.2.2 christos KASSERT(data->count != FINAL_COUNT);
112 1.5.2.2 christos data->count++;
113 1.5.2.2 christos cv_broadcast(&data->cond);
114 1.5.2.2 christos threadpool_job_done(job);
115 1.5.2.2 christos mutex_exit(&data->mutex);
116 1.5.2.2 christos }
117 1.5.2.2 christos
118 1.5.2.2 christos static void
119 1.5.2.2 christos test_job_func_cancel(struct threadpool_job *job)
120 1.5.2.2 christos {
121 1.5.2.2 christos struct test_job_data *data =
122 1.5.2.2 christos container_of(job, struct test_job_data, job);
123 1.5.2.2 christos
124 1.5.2.2 christos mutex_enter(&data->mutex);
125 1.5.2.2 christos if (data->count == 0) {
126 1.5.2.2 christos data->count = 1;
127 1.5.2.2 christos cv_broadcast(&data->cond);
128 1.5.2.2 christos }
129 1.5.2.2 christos while (data->count != FINAL_COUNT - 1)
130 1.5.2.2 christos cv_wait(&data->cond, &data->mutex);
131 1.5.2.2 christos data->count = FINAL_COUNT;
132 1.5.2.2 christos cv_broadcast(&data->cond);
133 1.5.2.2 christos threadpool_job_done(job);
134 1.5.2.2 christos mutex_exit(&data->mutex);
135 1.5.2.2 christos }
136 1.5.2.2 christos
137 1.5.2.2 christos static void
138 1.5.2.2 christos init_test_job_data(struct test_job_data *data, threadpool_job_fn_t fn)
139 1.5.2.2 christos {
140 1.5.2.2 christos mutex_init(&data->mutex, MUTEX_DEFAULT, IPL_NONE);
141 1.5.2.2 christos cv_init(&data->cond, "testjob");
142 1.5.2.2 christos threadpool_job_init(&data->job, fn, &data->mutex, "testjob");
143 1.5.2.2 christos data->count = 0;
144 1.5.2.2 christos }
145 1.5.2.2 christos
146 1.5.2.2 christos static void
147 1.5.2.2 christos fini_test_job_data(struct test_job_data *data)
148 1.5.2.2 christos {
149 1.5.2.2 christos threadpool_job_destroy(&data->job);
150 1.5.2.2 christos cv_destroy(&data->cond);
151 1.5.2.2 christos mutex_destroy(&data->mutex);
152 1.5.2.2 christos }
153 1.5.2.2 christos
154 1.5.2.2 christos void
155 1.5.2.2 christos rumptest_threadpool_unbound_schedule(void)
156 1.5.2.2 christos {
157 1.5.2.2 christos struct test_job_data data;
158 1.5.2.2 christos struct threadpool *pool;
159 1.5.2.2 christos int error;
160 1.5.2.2 christos
161 1.5.2.2 christos error = threadpool_get(&pool, PRI_NONE);
162 1.5.2.2 christos KASSERT(error == 0);
163 1.5.2.2 christos
164 1.5.2.2 christos init_test_job_data(&data, test_job_func_schedule);
165 1.5.2.2 christos
166 1.5.2.2 christos mutex_enter(&data.mutex);
167 1.5.2.2 christos while (data.count != FINAL_COUNT) {
168 1.5.2.2 christos threadpool_schedule_job(pool, &data.job);
169 1.5.2.2 christos error = cv_timedwait(&data.cond, &data.mutex, hz * 2);
170 1.5.2.2 christos KASSERT(error != EWOULDBLOCK);
171 1.5.2.2 christos }
172 1.5.2.2 christos mutex_exit(&data.mutex);
173 1.5.2.2 christos
174 1.5.2.2 christos fini_test_job_data(&data);
175 1.5.2.2 christos
176 1.5.2.2 christos threadpool_put(pool, PRI_NONE);
177 1.5.2.2 christos }
178 1.5.2.2 christos
179 1.5.2.2 christos void
180 1.5.2.2 christos rumptest_threadpool_percpu_schedule(void)
181 1.5.2.2 christos {
182 1.5.2.2 christos struct test_job_data data;
183 1.5.2.2 christos struct threadpool_percpu *pcpu;
184 1.5.2.2 christos struct threadpool *pool;
185 1.5.2.2 christos int error;
186 1.5.2.2 christos
187 1.5.2.2 christos error = threadpool_percpu_get(&pcpu, PRI_NONE);
188 1.5.2.2 christos KASSERT(error == 0);
189 1.5.2.2 christos
190 1.5.2.2 christos pool = threadpool_percpu_ref(pcpu);
191 1.5.2.2 christos
192 1.5.2.2 christos init_test_job_data(&data, test_job_func_schedule);
193 1.5.2.2 christos
194 1.5.2.2 christos mutex_enter(&data.mutex);
195 1.5.2.2 christos while (data.count != FINAL_COUNT) {
196 1.5.2.2 christos threadpool_schedule_job(pool, &data.job);
197 1.5.2.2 christos error = cv_timedwait(&data.cond, &data.mutex, hz * 2);
198 1.5.2.2 christos KASSERT(error != EWOULDBLOCK);
199 1.5.2.2 christos }
200 1.5.2.2 christos mutex_exit(&data.mutex);
201 1.5.2.2 christos
202 1.5.2.2 christos fini_test_job_data(&data);
203 1.5.2.2 christos
204 1.5.2.2 christos threadpool_percpu_put(pcpu, PRI_NONE);
205 1.5.2.2 christos }
206 1.5.2.2 christos
207 1.5.2.2 christos void
208 1.5.2.2 christos rumptest_threadpool_job_cancel(void)
209 1.5.2.2 christos {
210 1.5.2.2 christos struct test_job_data data;
211 1.5.2.2 christos struct threadpool *pool;
212 1.5.2.2 christos int error;
213 1.5.2.2 christos bool rv;
214 1.5.2.2 christos
215 1.5.2.2 christos error = threadpool_get(&pool, PRI_NONE);
216 1.5.2.2 christos KASSERT(error == 0);
217 1.5.2.2 christos
218 1.5.2.2 christos init_test_job_data(&data, test_job_func_cancel);
219 1.5.2.2 christos
220 1.5.2.2 christos mutex_enter(&data.mutex);
221 1.5.2.2 christos threadpool_schedule_job(pool, &data.job);
222 1.5.2.2 christos while (data.count == 0)
223 1.5.2.2 christos cv_wait(&data.cond, &data.mutex);
224 1.5.2.2 christos KASSERT(data.count == 1);
225 1.5.2.2 christos
226 1.5.2.2 christos /* Job is already running (and is not finished); this shold fail. */
227 1.5.2.2 christos rv = threadpool_cancel_job_async(pool, &data.job);
228 1.5.2.2 christos KASSERT(rv == false);
229 1.5.2.2 christos
230 1.5.2.2 christos data.count = FINAL_COUNT - 1;
231 1.5.2.2 christos cv_broadcast(&data.cond);
232 1.5.2.2 christos
233 1.5.2.2 christos /* Now wait for the job to finish. */
234 1.5.2.2 christos threadpool_cancel_job(pool, &data.job);
235 1.5.2.2 christos KASSERT(data.count == FINAL_COUNT);
236 1.5.2.2 christos mutex_exit(&data.mutex);
237 1.5.2.2 christos
238 1.5.2.2 christos fini_test_job_data(&data);
239 1.5.2.2 christos
240 1.5.2.2 christos threadpool_put(pool, PRI_NONE);
241 1.5.2.2 christos }
242 1.5.2.2 christos
243 1.5.2.2 christos void
244 1.5.2.2 christos rumptest_threadpool_job_cancelthrash(void)
245 1.5.2.2 christos {
246 1.5.2.2 christos struct test_job_data data;
247 1.5.2.2 christos struct threadpool *pool;
248 1.5.2.2 christos int i, error;
249 1.5.2.2 christos
250 1.5.2.2 christos error = threadpool_get(&pool, PRI_NONE);
251 1.5.2.2 christos KASSERT(error == 0);
252 1.5.2.2 christos
253 1.5.2.2 christos init_test_job_data(&data, test_job_func_cancel);
254 1.5.2.2 christos
255 1.5.2.2 christos mutex_enter(&data.mutex);
256 1.5.2.2 christos for (i = 0; i < 10000; i++) {
257 1.5.2.2 christos threadpool_schedule_job(pool, &data.job);
258 1.5.2.2 christos if ((i % 3) == 0) {
259 1.5.2.2 christos mutex_exit(&data.mutex);
260 1.5.2.2 christos mutex_enter(&data.mutex);
261 1.5.2.2 christos }
262 1.5.2.2 christos /*
263 1.5.2.2 christos * If the job managed to start, ensure that its exit
264 1.5.2.2 christos * condition is met so that we don't wait forever
265 1.5.2.2 christos * for the job to finish.
266 1.5.2.2 christos */
267 1.5.2.2 christos data.count = FINAL_COUNT - 1;
268 1.5.2.2 christos cv_broadcast(&data.cond);
269 1.5.2.2 christos
270 1.5.2.2 christos threadpool_cancel_job(pool, &data.job);
271 1.5.2.2 christos
272 1.5.2.2 christos /*
273 1.5.2.2 christos * After cancellation, either the job didn't start
274 1.5.2.2 christos * (data.count == FINAL_COUNT - 1, per above) or
275 1.5.2.2 christos * it finished (data.count == FINAL_COUNT).
276 1.5.2.2 christos */
277 1.5.2.2 christos KASSERT(data.count == (FINAL_COUNT - 1) ||
278 1.5.2.2 christos data.count == FINAL_COUNT);
279 1.5.2.2 christos
280 1.5.2.2 christos /* Reset for the loop. */
281 1.5.2.2 christos data.count = 0;
282 1.5.2.2 christos }
283 1.5.2.2 christos mutex_exit(&data.mutex);
284 1.5.2.2 christos
285 1.5.2.2 christos fini_test_job_data(&data);
286 1.5.2.2 christos
287 1.5.2.2 christos threadpool_put(pool, PRI_NONE);
288 1.5.2.2 christos }
289