Home | History | Annotate | Line # | Download | only in kernspace
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