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