linux_rwsem.c revision 1.3 1 1.3 riastrad /* $NetBSD: linux_rwsem.c,v 1.3 2021/12/19 11:21:45 riastradh Exp $ */
2 1.1 riastrad
3 1.1 riastrad /*-
4 1.1 riastrad * Copyright (c) 2021 The NetBSD Foundation, Inc.
5 1.1 riastrad * All rights reserved.
6 1.1 riastrad *
7 1.1 riastrad * Redistribution and use in source and binary forms, with or without
8 1.1 riastrad * modification, are permitted provided that the following conditions
9 1.1 riastrad * are met:
10 1.1 riastrad * 1. Redistributions of source code must retain the above copyright
11 1.1 riastrad * notice, this list of conditions and the following disclaimer.
12 1.1 riastrad * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 riastrad * notice, this list of conditions and the following disclaimer in the
14 1.1 riastrad * documentation and/or other materials provided with the distribution.
15 1.1 riastrad *
16 1.1 riastrad * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17 1.1 riastrad * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18 1.1 riastrad * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19 1.1 riastrad * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20 1.1 riastrad * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21 1.1 riastrad * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22 1.1 riastrad * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23 1.1 riastrad * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24 1.1 riastrad * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25 1.1 riastrad * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26 1.1 riastrad * POSSIBILITY OF SUCH DAMAGE.
27 1.1 riastrad */
28 1.1 riastrad
29 1.1 riastrad #include <sys/cdefs.h>
30 1.3 riastrad __KERNEL_RCSID(0, "$NetBSD: linux_rwsem.c,v 1.3 2021/12/19 11:21:45 riastradh Exp $");
31 1.1 riastrad
32 1.1 riastrad #include <sys/types.h>
33 1.1 riastrad
34 1.1 riastrad #include <sys/condvar.h>
35 1.1 riastrad #include <sys/lwp.h>
36 1.3 riastrad #include <sys/lockdebug.h>
37 1.1 riastrad #include <sys/rwlock.h>
38 1.1 riastrad
39 1.1 riastrad #include <machine/limits.h>
40 1.1 riastrad
41 1.1 riastrad #include <lib/libkern/libkern.h>
42 1.1 riastrad
43 1.1 riastrad #include <linux/rwsem.h>
44 1.1 riastrad
45 1.3 riastrad #define RWSEM_WANTLOCK(RWSEM) \
46 1.3 riastrad LOCKDEBUG_WANTLOCK((RWSEM)->rws_debug, (RWSEM), \
47 1.3 riastrad (uintptr_t)__builtin_return_address(0), 0)
48 1.3 riastrad #define RWSEM_LOCKED_EX(RWSEM) \
49 1.3 riastrad LOCKDEBUG_LOCKED((RWSEM)->rws_debug, (RWSEM), NULL, \
50 1.3 riastrad (uintptr_t)__builtin_return_address(0), 0)
51 1.3 riastrad #define RWSEM_LOCKED_SH(RWSEM) \
52 1.3 riastrad LOCKDEBUG_LOCKED((RWSEM)->rws_debug, (RWSEM), NULL, \
53 1.3 riastrad (uintptr_t)__builtin_return_address(0), 1)
54 1.3 riastrad #define RWSEM_UNLOCKED_EX(RWSEM) \
55 1.3 riastrad LOCKDEBUG_UNLOCKED((RWSEM)->rws_debug, (RWSEM), \
56 1.3 riastrad (uintptr_t)__builtin_return_address(0), 0)
57 1.3 riastrad #define RWSEM_UNLOCKED_SH(RWSEM) \
58 1.3 riastrad LOCKDEBUG_UNLOCKED((RWSEM)->rws_debug, (RWSEM), \
59 1.3 riastrad (uintptr_t)__builtin_return_address(0), 1)
60 1.3 riastrad
61 1.3 riastrad #ifdef LOCKDEBUG
62 1.3 riastrad static void
63 1.3 riastrad rwsem_dump(const volatile void *cookie, lockop_printer_t pr)
64 1.3 riastrad {
65 1.3 riastrad const volatile struct rw_semaphore *rwsem = cookie;
66 1.3 riastrad
67 1.3 riastrad pr("%-13s: %p", "writer", rwsem->rws_writer);
68 1.3 riastrad pr("%-13s: %u", "readers", rwsem->rws_readers);
69 1.3 riastrad pr("%-13s: %s", "writewanted", rwsem->rws_writewanted ? "yes" : "no");
70 1.3 riastrad }
71 1.3 riastrad
72 1.3 riastrad static lockops_t rwsem_lockops = {
73 1.3 riastrad .lo_name = "Linux read/write semaphore",
74 1.3 riastrad .lo_type = LOCKOPS_SLEEP,
75 1.3 riastrad .lo_dump = rwsem_dump,
76 1.3 riastrad };
77 1.3 riastrad #endif
78 1.3 riastrad
79 1.1 riastrad void
80 1.1 riastrad init_rwsem(struct rw_semaphore *rwsem)
81 1.1 riastrad {
82 1.1 riastrad
83 1.2 riastrad mutex_init(&rwsem->rws_lock, MUTEX_DEFAULT, IPL_VM);
84 1.1 riastrad cv_init(&rwsem->rws_cv, "lnxrwsem");
85 1.1 riastrad rwsem->rws_writer = NULL;
86 1.1 riastrad rwsem->rws_readers = 0;
87 1.3 riastrad
88 1.3 riastrad #ifdef LOCKDEBUG
89 1.3 riastrad rwsem->rws_debug = LOCKDEBUG_ALLOC(rwsem, &rwsem_lockops,
90 1.3 riastrad (uintptr_t)__builtin_return_address(0));
91 1.3 riastrad #endif
92 1.1 riastrad }
93 1.1 riastrad
94 1.1 riastrad void
95 1.1 riastrad destroy_rwsem(struct rw_semaphore *rwsem)
96 1.1 riastrad {
97 1.1 riastrad
98 1.1 riastrad KASSERT(rwsem->rws_readers == 0);
99 1.1 riastrad KASSERT(rwsem->rws_writer == NULL);
100 1.3 riastrad
101 1.3 riastrad #ifdef LOCKDEBUG
102 1.3 riastrad LOCKDEBUG_FREE(rwsem->rws_debug, rwsem);
103 1.3 riastrad #endif
104 1.3 riastrad
105 1.1 riastrad cv_destroy(&rwsem->rws_cv);
106 1.1 riastrad mutex_destroy(&rwsem->rws_lock);
107 1.1 riastrad }
108 1.1 riastrad
109 1.1 riastrad void
110 1.1 riastrad down_read(struct rw_semaphore *rwsem)
111 1.1 riastrad {
112 1.1 riastrad
113 1.3 riastrad RWSEM_WANTLOCK(rwsem);
114 1.3 riastrad
115 1.1 riastrad mutex_enter(&rwsem->rws_lock);
116 1.1 riastrad while (rwsem->rws_writer || rwsem->rws_writewanted)
117 1.1 riastrad cv_wait(&rwsem->rws_cv, &rwsem->rws_lock);
118 1.1 riastrad KASSERT(rwsem->rws_readers < UINT_MAX);
119 1.1 riastrad rwsem->rws_readers++;
120 1.1 riastrad mutex_exit(&rwsem->rws_lock);
121 1.3 riastrad
122 1.3 riastrad RWSEM_LOCKED_SH(rwsem);
123 1.1 riastrad }
124 1.1 riastrad
125 1.1 riastrad bool
126 1.1 riastrad down_read_trylock(struct rw_semaphore *rwsem)
127 1.1 riastrad {
128 1.1 riastrad bool ret = false;
129 1.1 riastrad
130 1.1 riastrad /*
131 1.1 riastrad * Note: Linux apparently relies on down_read_trylock to
132 1.1 riastrad * quietly succeed when the caller already holds a reader lock.
133 1.1 riastrad * This is why we can't use rwlock(9), which absolutely
134 1.1 riastrad * prohibits recursive use and crashes immediately under
135 1.1 riastrad * LOCKDEBUG if you try it.
136 1.1 riastrad */
137 1.1 riastrad
138 1.1 riastrad mutex_enter(&rwsem->rws_lock);
139 1.1 riastrad if (rwsem->rws_writer == NULL && !rwsem->rws_writewanted) {
140 1.1 riastrad KASSERT(rwsem->rws_readers < UINT_MAX);
141 1.1 riastrad rwsem->rws_readers++;
142 1.1 riastrad ret = true;
143 1.1 riastrad }
144 1.1 riastrad mutex_exit(&rwsem->rws_lock);
145 1.1 riastrad
146 1.3 riastrad if (ret)
147 1.3 riastrad RWSEM_LOCKED_SH(rwsem);
148 1.3 riastrad
149 1.1 riastrad return ret;
150 1.1 riastrad }
151 1.1 riastrad
152 1.1 riastrad void
153 1.1 riastrad up_read(struct rw_semaphore *rwsem)
154 1.1 riastrad {
155 1.1 riastrad
156 1.3 riastrad RWSEM_UNLOCKED_SH(rwsem);
157 1.3 riastrad
158 1.1 riastrad mutex_enter(&rwsem->rws_lock);
159 1.1 riastrad KASSERT(rwsem->rws_readers);
160 1.1 riastrad KASSERT(rwsem->rws_writer == NULL);
161 1.1 riastrad if (--rwsem->rws_readers == 0)
162 1.1 riastrad cv_broadcast(&rwsem->rws_cv);
163 1.1 riastrad mutex_exit(&rwsem->rws_lock);
164 1.1 riastrad }
165 1.1 riastrad
166 1.1 riastrad void
167 1.1 riastrad down_write(struct rw_semaphore *rwsem)
168 1.1 riastrad {
169 1.1 riastrad
170 1.3 riastrad RWSEM_WANTLOCK(rwsem);
171 1.3 riastrad
172 1.1 riastrad mutex_enter(&rwsem->rws_lock);
173 1.1 riastrad
174 1.1 riastrad /* If another writer is waiting, get in the queue. */
175 1.1 riastrad while (rwsem->rws_writewanted)
176 1.1 riastrad cv_wait(&rwsem->rws_cv, &rwsem->rws_lock);
177 1.1 riastrad
178 1.1 riastrad /*
179 1.1 riastrad * No other writers waiting. Our turn. Announce our intent to
180 1.1 riastrad * readers, and wait for the writer or readers to finish.
181 1.1 riastrad */
182 1.1 riastrad rwsem->rws_writewanted = true;
183 1.1 riastrad while (rwsem->rws_writer || rwsem->rws_readers) {
184 1.1 riastrad KASSERTMSG(rwsem->rws_writer != curlwp,
185 1.1 riastrad "locking against myself: rwsem=%p lwp=%p", rwsem, curlwp);
186 1.1 riastrad cv_wait(&rwsem->rws_cv, &rwsem->rws_lock);
187 1.1 riastrad }
188 1.1 riastrad
189 1.1 riastrad /* At last, it is ours! */
190 1.1 riastrad KASSERT(rwsem->rws_readers == 0);
191 1.1 riastrad KASSERT(rwsem->rws_writer == NULL);
192 1.1 riastrad KASSERT(rwsem->rws_writewanted);
193 1.1 riastrad rwsem->rws_writewanted = false;
194 1.1 riastrad rwsem->rws_writer = curlwp;
195 1.1 riastrad
196 1.1 riastrad mutex_exit(&rwsem->rws_lock);
197 1.3 riastrad
198 1.3 riastrad RWSEM_LOCKED_EX(rwsem);
199 1.1 riastrad }
200 1.1 riastrad
201 1.1 riastrad void
202 1.1 riastrad up_write(struct rw_semaphore *rwsem)
203 1.1 riastrad {
204 1.1 riastrad
205 1.3 riastrad RWSEM_UNLOCKED_EX(rwsem);
206 1.3 riastrad
207 1.1 riastrad mutex_enter(&rwsem->rws_lock);
208 1.1 riastrad KASSERT(rwsem->rws_writer == curlwp);
209 1.1 riastrad KASSERT(rwsem->rws_readers == 0);
210 1.1 riastrad rwsem->rws_writer = NULL;
211 1.1 riastrad cv_broadcast(&rwsem->rws_cv);
212 1.1 riastrad mutex_exit(&rwsem->rws_lock);
213 1.1 riastrad }
214 1.1 riastrad
215 1.1 riastrad void
216 1.1 riastrad downgrade_write(struct rw_semaphore *rwsem)
217 1.1 riastrad {
218 1.1 riastrad
219 1.3 riastrad RWSEM_UNLOCKED_EX(rwsem);
220 1.3 riastrad
221 1.1 riastrad mutex_enter(&rwsem->rws_lock);
222 1.1 riastrad KASSERT(rwsem->rws_writer == curlwp);
223 1.1 riastrad KASSERT(rwsem->rws_readers == 0);
224 1.1 riastrad rwsem->rws_writer = NULL;
225 1.1 riastrad rwsem->rws_readers = 1;
226 1.1 riastrad cv_broadcast(&rwsem->rws_cv);
227 1.1 riastrad mutex_exit(&rwsem->rws_lock);
228 1.3 riastrad
229 1.3 riastrad RWSEM_LOCKED_SH(rwsem);
230 1.1 riastrad }
231