1 1.10 riastrad /* $NetBSD: workqueue.c,v 1.10 2023/08/10 22:20:20 riastradh Exp $ */ 2 1.1 maya 3 1.1 maya /*- 4 1.1 maya * Copyright (c) 2017 The NetBSD Foundation, Inc. 5 1.1 maya * All rights reserved. 6 1.1 maya * 7 1.1 maya * Redistribution and use in source and binary forms, with or without 8 1.1 maya * modification, are permitted provided that the following conditions 9 1.1 maya * are met: 10 1.1 maya * 1. Redistributions of source code must retain the above copyright 11 1.1 maya * notice, this list of conditions and the following disclaimer. 12 1.1 maya * 2. Redistributions in binary form must reproduce the above copyright 13 1.1 maya * notice, this list of conditions and the following disclaimer in the 14 1.1 maya * documentation and/or other materials provided with the distribution. 15 1.1 maya * 16 1.1 maya * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND 17 1.1 maya * CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, 18 1.1 maya * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF 19 1.1 maya * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 20 1.1 maya * IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS BE LIABLE FOR ANY 21 1.1 maya * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 22 1.1 maya * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE 23 1.1 maya * GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 24 1.1 maya * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER 25 1.1 maya * IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR 26 1.1 maya * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN 27 1.1 maya * IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 28 1.1 maya */ 29 1.1 maya 30 1.1 maya #include <sys/cdefs.h> 31 1.1 maya #if !defined(lint) 32 1.10 riastrad __RCSID("$NetBSD: workqueue.c,v 1.10 2023/08/10 22:20:20 riastradh Exp $"); 33 1.1 maya #endif /* !lint */ 34 1.1 maya 35 1.1 maya #include <sys/param.h> 36 1.1 maya #include <sys/condvar.h> 37 1.1 maya #include <sys/kernel.h> 38 1.1 maya #include <sys/kmem.h> 39 1.1 maya #include <sys/kthread.h> 40 1.1 maya #include <sys/mutex.h> 41 1.1 maya #include <sys/workqueue.h> 42 1.1 maya 43 1.1 maya #include "kernspace.h" 44 1.1 maya 45 1.1 maya struct test_softc { 46 1.1 maya kmutex_t mtx; 47 1.1 maya kcondvar_t cv; 48 1.1 maya struct workqueue *wq; 49 1.1 maya struct work wk; 50 1.1 maya int counter; 51 1.9 riastrad bool pause; 52 1.7 riastrad }; 53 1.7 riastrad 54 1.1 maya static void 55 1.1 maya rump_work1(struct work *wk, void *arg) 56 1.1 maya { 57 1.1 maya struct test_softc *sc = arg; 58 1.1 maya 59 1.8 riastrad memset(wk, 0x5a, sizeof(*wk)); 60 1.8 riastrad 61 1.9 riastrad if (sc->pause) 62 1.9 riastrad kpause("tstwk1", /*intr*/false, /*timo*/2, /*lock*/NULL); 63 1.9 riastrad 64 1.1 maya mutex_enter(&sc->mtx); 65 1.1 maya ++sc->counter; 66 1.1 maya cv_broadcast(&sc->cv); 67 1.1 maya mutex_exit(&sc->mtx); 68 1.1 maya } 69 1.1 maya 70 1.4 ozaki static struct test_softc * 71 1.4 ozaki create_sc(void) 72 1.1 maya { 73 1.1 maya int rv; 74 1.1 maya struct test_softc *sc; 75 1.1 maya 76 1.1 maya sc = kmem_zalloc(sizeof(*sc), KM_SLEEP); 77 1.1 maya mutex_init(&sc->mtx, MUTEX_DEFAULT, IPL_NONE); 78 1.1 maya cv_init(&sc->cv, "rumpwqcv"); 79 1.1 maya rv = workqueue_create(&sc->wq, "rumpwq", 80 1.1 maya rump_work1, sc, PRI_SOFTNET, IPL_SOFTNET, 0); 81 1.1 maya if (rv) 82 1.1 maya panic("workqueue creation failed: %d", rv); 83 1.1 maya 84 1.1 maya sc->counter = 0; 85 1.1 maya 86 1.4 ozaki return sc; 87 1.4 ozaki } 88 1.4 ozaki 89 1.4 ozaki static void 90 1.4 ozaki destroy_sc(struct test_softc *sc) 91 1.4 ozaki { 92 1.4 ozaki 93 1.4 ozaki cv_destroy(&sc->cv); 94 1.4 ozaki mutex_destroy(&sc->mtx); 95 1.4 ozaki workqueue_destroy(sc->wq); 96 1.4 ozaki } 97 1.4 ozaki 98 1.4 ozaki void 99 1.4 ozaki rumptest_workqueue1() 100 1.4 ozaki { 101 1.4 ozaki struct test_softc *sc; 102 1.4 ozaki 103 1.4 ozaki sc = create_sc(); 104 1.4 ozaki 105 1.1 maya #define ITERATIONS 12435 106 1.6 ozaki for (int i = 0; i < ITERATIONS; ++i) { 107 1.2 ozaki int e; 108 1.3 ozaki mutex_enter(&sc->mtx); 109 1.1 maya workqueue_enqueue(sc->wq, &sc->wk, NULL); 110 1.2 ozaki e = cv_timedwait(&sc->cv, &sc->mtx, hz * 2); 111 1.2 ozaki if (e != 0) 112 1.6 ozaki panic("cv_timedwait timed out (i=%d)", i); 113 1.1 maya mutex_exit(&sc->mtx); 114 1.1 maya } 115 1.1 maya 116 1.1 maya KASSERT(sc->counter == ITERATIONS); 117 1.1 maya 118 1.4 ozaki destroy_sc(sc); 119 1.4 ozaki #undef ITERATIONS 120 1.1 maya } 121 1.5 ozaki 122 1.5 ozaki void 123 1.5 ozaki rumptest_workqueue_wait(void) 124 1.5 ozaki { 125 1.5 ozaki struct test_softc *sc; 126 1.5 ozaki struct work dummy; 127 1.5 ozaki 128 1.5 ozaki sc = create_sc(); 129 1.5 ozaki 130 1.5 ozaki #define ITERATIONS 12435 131 1.5 ozaki for (size_t i = 0; i < ITERATIONS; ++i) { 132 1.5 ozaki KASSERT(sc->counter == i); 133 1.5 ozaki workqueue_enqueue(sc->wq, &sc->wk, NULL); 134 1.5 ozaki workqueue_wait(sc->wq, &sc->wk); 135 1.5 ozaki KASSERT(sc->counter == (i + 1)); 136 1.5 ozaki } 137 1.5 ozaki 138 1.5 ozaki KASSERT(sc->counter == ITERATIONS); 139 1.5 ozaki 140 1.5 ozaki /* Wait for a work that is not enqueued. Just return immediately. */ 141 1.5 ozaki workqueue_wait(sc->wq, &dummy); 142 1.5 ozaki 143 1.5 ozaki destroy_sc(sc); 144 1.5 ozaki #undef ITERATIONS 145 1.5 ozaki } 146 1.9 riastrad 147 1.9 riastrad void 148 1.9 riastrad rumptest_workqueue_wait_pause(void) 149 1.9 riastrad { 150 1.9 riastrad struct test_softc *sc; 151 1.9 riastrad struct work dummy; 152 1.9 riastrad 153 1.9 riastrad sc = create_sc(); 154 1.9 riastrad sc->pause = true; 155 1.9 riastrad 156 1.9 riastrad #define ITERATIONS 1 157 1.9 riastrad for (size_t i = 0; i < ITERATIONS; ++i) { 158 1.9 riastrad struct work wk; 159 1.9 riastrad 160 1.9 riastrad KASSERT(sc->counter == i); 161 1.9 riastrad workqueue_enqueue(sc->wq, &wk, NULL); 162 1.9 riastrad workqueue_enqueue(sc->wq, &sc->wk, NULL); 163 1.9 riastrad kpause("tstwk2", /*intr*/false, /*timo*/1, /*lock*/NULL); 164 1.9 riastrad workqueue_wait(sc->wq, &sc->wk); 165 1.10 riastrad workqueue_wait(sc->wq, &wk); 166 1.10 riastrad KASSERT(sc->counter == (i + 2)); 167 1.9 riastrad } 168 1.9 riastrad 169 1.10 riastrad KASSERT(sc->counter == 2*ITERATIONS); 170 1.9 riastrad 171 1.9 riastrad /* Wait for a work that is not enqueued. Just return immediately. */ 172 1.9 riastrad workqueue_wait(sc->wq, &dummy); 173 1.9 riastrad 174 1.9 riastrad destroy_sc(sc); 175 1.9 riastrad #undef ITERATIONS 176 1.9 riastrad } 177