vfs_trans.c revision 1.25.22.1 1 1.25.22.1 tls /* $NetBSD: vfs_trans.c,v 1.25.22.1 2013/02/25 00:29:57 tls Exp $ */
2 1.1 hannken
3 1.1 hannken /*-
4 1.1 hannken * Copyright (c) 2007 The NetBSD Foundation, Inc.
5 1.1 hannken * All rights reserved.
6 1.1 hannken *
7 1.1 hannken * This code is derived from software contributed to The NetBSD Foundation
8 1.1 hannken * by Juergen Hannken-Illjes.
9 1.1 hannken *
10 1.1 hannken * Redistribution and use in source and binary forms, with or without
11 1.1 hannken * modification, are permitted provided that the following conditions
12 1.1 hannken * are met:
13 1.1 hannken * 1. Redistributions of source code must retain the above copyright
14 1.1 hannken * notice, this list of conditions and the following disclaimer.
15 1.1 hannken * 2. Redistributions in binary form must reproduce the above copyright
16 1.1 hannken * notice, this list of conditions and the following disclaimer in the
17 1.1 hannken * documentation and/or other materials provided with the distribution.
18 1.1 hannken *
19 1.1 hannken * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.1 hannken * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.1 hannken * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.1 hannken * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.1 hannken * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.1 hannken * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.1 hannken * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.1 hannken * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.1 hannken * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.1 hannken * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.1 hannken * POSSIBILITY OF SUCH DAMAGE.
30 1.1 hannken */
31 1.1 hannken
32 1.1 hannken #include <sys/cdefs.h>
33 1.25.22.1 tls __KERNEL_RCSID(0, "$NetBSD: vfs_trans.c,v 1.25.22.1 2013/02/25 00:29:57 tls Exp $");
34 1.1 hannken
35 1.1 hannken /*
36 1.1 hannken * File system transaction operations.
37 1.1 hannken */
38 1.1 hannken
39 1.1 hannken #include "opt_ddb.h"
40 1.1 hannken
41 1.1 hannken #include <sys/param.h>
42 1.1 hannken #include <sys/systm.h>
43 1.25.22.1 tls #include <sys/atomic.h>
44 1.24 pooka #include <sys/buf.h>
45 1.12 hannken #include <sys/kmem.h>
46 1.1 hannken #include <sys/mount.h>
47 1.25.22.1 tls #include <sys/pserialize.h>
48 1.1 hannken #include <sys/vnode.h>
49 1.1 hannken #define _FSTRANS_API_PRIVATE
50 1.1 hannken #include <sys/fstrans.h>
51 1.10 ad #include <sys/proc.h>
52 1.1 hannken
53 1.12 hannken #include <miscfs/specfs/specdev.h>
54 1.1 hannken #include <miscfs/syncfs/syncfs.h>
55 1.1 hannken
56 1.16 ad struct fscow_handler {
57 1.25.22.1 tls LIST_ENTRY(fscow_handler) ch_list;
58 1.16 ad int (*ch_func)(void *, struct buf *, bool);
59 1.16 ad void *ch_arg;
60 1.16 ad };
61 1.1 hannken struct fstrans_lwp_info {
62 1.1 hannken struct fstrans_lwp_info *fli_succ;
63 1.25.22.1 tls struct lwp *fli_self;
64 1.1 hannken struct mount *fli_mount;
65 1.20 hannken int fli_trans_cnt;
66 1.20 hannken int fli_cow_cnt;
67 1.1 hannken enum fstrans_lock_type fli_lock_type;
68 1.25.22.1 tls LIST_ENTRY(fstrans_lwp_info) fli_list;
69 1.1 hannken };
70 1.1 hannken struct fstrans_mount_info {
71 1.1 hannken enum fstrans_state fmi_state;
72 1.25.22.1 tls unsigned int fmi_ref_cnt;
73 1.25.22.1 tls bool fmi_cow_change;
74 1.25.22.1 tls LIST_HEAD(, fscow_handler) fmi_cow_handler;
75 1.1 hannken };
76 1.1 hannken
77 1.25.22.1 tls static specificdata_key_t lwp_data_key; /* Our specific data key. */
78 1.4 ad static kmutex_t vfs_suspend_lock; /* Serialize suspensions. */
79 1.25.22.1 tls static kmutex_t fstrans_lock; /* Fstrans big lock. */
80 1.25.22.1 tls static kcondvar_t fstrans_state_cv; /* Fstrans or cow state changed. */
81 1.25.22.1 tls static kcondvar_t fstrans_count_cv; /* Fstrans or cow count changed. */
82 1.25.22.1 tls static pserialize_t fstrans_psz; /* Pserialize state. */
83 1.25.22.1 tls static LIST_HEAD(fstrans_lwp_head, fstrans_lwp_info) fstrans_fli_head;
84 1.25.22.1 tls /* List of all fstrans_lwp_info. */
85 1.25.22.1 tls static pool_cache_t fstrans_cache; /* Pool of struct fstrans_lwp_info. */
86 1.1 hannken
87 1.1 hannken static void fstrans_lwp_dtor(void *);
88 1.25.22.1 tls static void fstrans_mount_dtor(struct mount *);
89 1.25.22.1 tls static struct fstrans_lwp_info *fstrans_get_lwp_info(struct mount *, bool);
90 1.25.22.1 tls static bool grant_lock(const enum fstrans_state, const enum fstrans_lock_type);
91 1.25.22.1 tls static bool state_change_done(const struct mount *);
92 1.25.22.1 tls static bool cow_state_change_done(const struct mount *);
93 1.25.22.1 tls static void cow_change_enter(const struct mount *);
94 1.25.22.1 tls static void cow_change_done(const struct mount *);
95 1.1 hannken
96 1.1 hannken /*
97 1.25.22.1 tls * Initialize.
98 1.1 hannken */
99 1.1 hannken void
100 1.1 hannken fstrans_init(void)
101 1.1 hannken {
102 1.1 hannken int error;
103 1.1 hannken
104 1.1 hannken error = lwp_specific_key_create(&lwp_data_key, fstrans_lwp_dtor);
105 1.1 hannken KASSERT(error == 0);
106 1.7 ad
107 1.4 ad mutex_init(&vfs_suspend_lock, MUTEX_DEFAULT, IPL_NONE);
108 1.25.22.1 tls mutex_init(&fstrans_lock, MUTEX_DEFAULT, IPL_NONE);
109 1.25.22.1 tls cv_init(&fstrans_state_cv, "fstchg");
110 1.25.22.1 tls cv_init(&fstrans_count_cv, "fstcnt");
111 1.25.22.1 tls fstrans_psz = pserialize_create();
112 1.25.22.1 tls LIST_INIT(&fstrans_fli_head);
113 1.22 ad fstrans_cache = pool_cache_init(sizeof(struct fstrans_lwp_info), 0, 0,
114 1.22 ad 0, "fstrans", NULL, IPL_NONE, NULL, NULL, NULL);
115 1.1 hannken }
116 1.1 hannken
117 1.1 hannken /*
118 1.25.22.1 tls * Deallocate lwp state.
119 1.1 hannken */
120 1.1 hannken static void
121 1.1 hannken fstrans_lwp_dtor(void *arg)
122 1.1 hannken {
123 1.1 hannken struct fstrans_lwp_info *fli, *fli_next;
124 1.1 hannken
125 1.25.22.1 tls mutex_enter(&fstrans_lock);
126 1.1 hannken for (fli = arg; fli; fli = fli_next) {
127 1.20 hannken KASSERT(fli->fli_trans_cnt == 0);
128 1.20 hannken KASSERT(fli->fli_cow_cnt == 0);
129 1.25.22.1 tls if (fli->fli_mount != NULL)
130 1.25.22.1 tls fstrans_mount_dtor(fli->fli_mount);
131 1.1 hannken fli_next = fli->fli_succ;
132 1.25.22.1 tls LIST_REMOVE(fli, fli_list);
133 1.22 ad pool_cache_put(fstrans_cache, fli);
134 1.1 hannken }
135 1.25.22.1 tls mutex_exit(&fstrans_lock);
136 1.25.22.1 tls }
137 1.25.22.1 tls
138 1.25.22.1 tls /*
139 1.25.22.1 tls * Dereference mount state.
140 1.25.22.1 tls */
141 1.25.22.1 tls static void
142 1.25.22.1 tls fstrans_mount_dtor(struct mount *mp)
143 1.25.22.1 tls {
144 1.25.22.1 tls struct fstrans_mount_info *fmi;
145 1.25.22.1 tls
146 1.25.22.1 tls fmi = mp->mnt_transinfo;
147 1.25.22.1 tls if (atomic_dec_uint_nv(&fmi->fmi_ref_cnt) > 0)
148 1.25.22.1 tls return;
149 1.25.22.1 tls
150 1.25.22.1 tls KASSERT(fmi->fmi_state == FSTRANS_NORMAL);
151 1.25.22.1 tls KASSERT(LIST_FIRST(&fmi->fmi_cow_handler) == NULL);
152 1.25.22.1 tls
153 1.25.22.1 tls kmem_free(fmi, sizeof(*fmi));
154 1.25.22.1 tls mp->mnt_iflag &= ~IMNT_HAS_TRANS;
155 1.25.22.1 tls mp->mnt_transinfo = NULL;
156 1.25.22.1 tls
157 1.25.22.1 tls vfs_destroy(mp);
158 1.1 hannken }
159 1.1 hannken
160 1.1 hannken /*
161 1.25.22.1 tls * Allocate mount state.
162 1.1 hannken */
163 1.16 ad int
164 1.16 ad fstrans_mount(struct mount *mp)
165 1.1 hannken {
166 1.25.22.1 tls int error;
167 1.16 ad struct fstrans_mount_info *new;
168 1.16 ad
169 1.25.22.1 tls error = vfs_busy(mp, NULL);
170 1.25.22.1 tls if (error)
171 1.25.22.1 tls return error;
172 1.16 ad if ((new = kmem_alloc(sizeof(*new), KM_SLEEP)) == NULL)
173 1.16 ad return ENOMEM;
174 1.16 ad new->fmi_state = FSTRANS_NORMAL;
175 1.25.22.1 tls new->fmi_ref_cnt = 1;
176 1.25.22.1 tls LIST_INIT(&new->fmi_cow_handler);
177 1.25.22.1 tls new->fmi_cow_change = false;
178 1.16 ad
179 1.16 ad mp->mnt_transinfo = new;
180 1.16 ad mp->mnt_iflag |= IMNT_HAS_TRANS;
181 1.1 hannken
182 1.25.22.1 tls vfs_unbusy(mp, true, NULL);
183 1.25.22.1 tls
184 1.16 ad return 0;
185 1.1 hannken }
186 1.1 hannken
187 1.1 hannken /*
188 1.25.22.1 tls * Deallocate mount state.
189 1.1 hannken */
190 1.16 ad void
191 1.16 ad fstrans_unmount(struct mount *mp)
192 1.1 hannken {
193 1.1 hannken
194 1.25.22.1 tls KASSERT(mp->mnt_transinfo != NULL);
195 1.1 hannken
196 1.25.22.1 tls fstrans_mount_dtor(mp);
197 1.1 hannken }
198 1.1 hannken
199 1.1 hannken /*
200 1.25.22.1 tls * Retrieve the per lwp info for this mount allocating if necessary.
201 1.20 hannken */
202 1.20 hannken static struct fstrans_lwp_info *
203 1.25.22.1 tls fstrans_get_lwp_info(struct mount *mp, bool do_alloc)
204 1.20 hannken {
205 1.25.22.1 tls struct fstrans_lwp_info *fli, *res;
206 1.25.22.1 tls struct fstrans_mount_info *fmi;
207 1.20 hannken
208 1.25.22.1 tls /*
209 1.25.22.1 tls * Scan our list for a match clearing entries whose mount is gone.
210 1.25.22.1 tls */
211 1.25.22.1 tls res = NULL;
212 1.20 hannken for (fli = lwp_getspecific(lwp_data_key); fli; fli = fli->fli_succ) {
213 1.25.22.1 tls if (fli->fli_mount == mp) {
214 1.25.22.1 tls KASSERT(res == NULL);
215 1.25.22.1 tls res = fli;
216 1.25.22.1 tls } else if (fli->fli_mount != NULL &&
217 1.25.22.1 tls (fli->fli_mount->mnt_iflag & IMNT_GONE) != 0 &&
218 1.25.22.1 tls fli->fli_trans_cnt == 0 && fli->fli_cow_cnt == 0) {
219 1.25.22.1 tls fstrans_mount_dtor(fli->fli_mount);
220 1.25.22.1 tls fli->fli_mount = NULL;
221 1.25.22.1 tls }
222 1.20 hannken }
223 1.25.22.1 tls if (__predict_true(res != NULL))
224 1.25.22.1 tls return res;
225 1.20 hannken
226 1.25.22.1 tls if (! do_alloc)
227 1.25.22.1 tls return NULL;
228 1.25.22.1 tls
229 1.25.22.1 tls /*
230 1.25.22.1 tls * Try to reuse a cleared entry or allocate a new one.
231 1.25.22.1 tls */
232 1.25.22.1 tls for (fli = lwp_getspecific(lwp_data_key); fli; fli = fli->fli_succ) {
233 1.25.22.1 tls if (fli->fli_mount == NULL) {
234 1.25.22.1 tls KASSERT(fli->fli_trans_cnt == 0);
235 1.25.22.1 tls KASSERT(fli->fli_cow_cnt == 0);
236 1.25.22.1 tls break;
237 1.25.22.1 tls }
238 1.25.22.1 tls }
239 1.25.22.1 tls if (fli == NULL) {
240 1.25.22.1 tls fli = pool_cache_get(fstrans_cache, PR_WAITOK);
241 1.25.22.1 tls mutex_enter(&fstrans_lock);
242 1.25.22.1 tls memset(fli, 0, sizeof(*fli));
243 1.25.22.1 tls fli->fli_self = curlwp;
244 1.25.22.1 tls LIST_INSERT_HEAD(&fstrans_fli_head, fli, fli_list);
245 1.25.22.1 tls mutex_exit(&fstrans_lock);
246 1.25.22.1 tls fli->fli_succ = lwp_getspecific(lwp_data_key);
247 1.25.22.1 tls lwp_setspecific(lwp_data_key, fli);
248 1.20 hannken }
249 1.20 hannken
250 1.25.22.1 tls /*
251 1.25.22.1 tls * Attach the entry to the mount.
252 1.25.22.1 tls */
253 1.25.22.1 tls fmi = mp->mnt_transinfo;
254 1.25.22.1 tls fli->fli_mount = mp;
255 1.25.22.1 tls atomic_inc_uint(&fmi->fmi_ref_cnt);
256 1.25.22.1 tls
257 1.25.22.1 tls return fli;
258 1.25.22.1 tls }
259 1.25.22.1 tls
260 1.25.22.1 tls /*
261 1.25.22.1 tls * Check if this lock type is granted at this state.
262 1.25.22.1 tls */
263 1.25.22.1 tls static bool
264 1.25.22.1 tls grant_lock(const enum fstrans_state state, const enum fstrans_lock_type type)
265 1.25.22.1 tls {
266 1.20 hannken
267 1.25.22.1 tls if (__predict_true(state == FSTRANS_NORMAL))
268 1.25.22.1 tls return true;
269 1.25.22.1 tls if (type == FSTRANS_EXCL)
270 1.25.22.1 tls return true;
271 1.25.22.1 tls if (state == FSTRANS_SUSPENDING && type == FSTRANS_LAZY)
272 1.25.22.1 tls return true;
273 1.20 hannken
274 1.25.22.1 tls return false;
275 1.20 hannken }
276 1.20 hannken
277 1.20 hannken /*
278 1.1 hannken * Start a transaction. If this thread already has a transaction on this
279 1.1 hannken * file system increment the reference counter.
280 1.1 hannken */
281 1.1 hannken int
282 1.1 hannken _fstrans_start(struct mount *mp, enum fstrans_lock_type lock_type, int wait)
283 1.1 hannken {
284 1.25.22.1 tls int s;
285 1.20 hannken struct fstrans_lwp_info *fli;
286 1.1 hannken struct fstrans_mount_info *fmi;
287 1.1 hannken
288 1.18 yamt ASSERT_SLEEPABLE();
289 1.1 hannken
290 1.1 hannken if (mp == NULL || (mp->mnt_iflag & IMNT_HAS_TRANS) == 0)
291 1.1 hannken return 0;
292 1.1 hannken
293 1.25.22.1 tls fli = fstrans_get_lwp_info(mp, true);
294 1.1 hannken
295 1.20 hannken if (fli->fli_trans_cnt > 0) {
296 1.25.22.1 tls KASSERT(lock_type != FSTRANS_EXCL);
297 1.20 hannken fli->fli_trans_cnt += 1;
298 1.25.22.1 tls
299 1.20 hannken return 0;
300 1.1 hannken }
301 1.1 hannken
302 1.25.22.1 tls s = pserialize_read_enter();
303 1.16 ad fmi = mp->mnt_transinfo;
304 1.25.22.1 tls if (__predict_true(grant_lock(fmi->fmi_state, lock_type))) {
305 1.25.22.1 tls fli->fli_trans_cnt = 1;
306 1.25.22.1 tls fli->fli_lock_type = lock_type;
307 1.25.22.1 tls pserialize_read_exit(s);
308 1.1 hannken
309 1.25.22.1 tls return 0;
310 1.25.22.1 tls }
311 1.25.22.1 tls pserialize_read_exit(s);
312 1.8 hannken
313 1.25.22.1 tls if (! wait)
314 1.8 hannken return EBUSY;
315 1.1 hannken
316 1.25.22.1 tls mutex_enter(&fstrans_lock);
317 1.25.22.1 tls while (! grant_lock(fmi->fmi_state, lock_type))
318 1.25.22.1 tls cv_wait(&fstrans_state_cv, &fstrans_lock);
319 1.20 hannken fli->fli_trans_cnt = 1;
320 1.20 hannken fli->fli_lock_type = lock_type;
321 1.25.22.1 tls mutex_exit(&fstrans_lock);
322 1.1 hannken
323 1.1 hannken return 0;
324 1.1 hannken }
325 1.1 hannken
326 1.1 hannken /*
327 1.1 hannken * Finish a transaction.
328 1.1 hannken */
329 1.1 hannken void
330 1.1 hannken fstrans_done(struct mount *mp)
331 1.1 hannken {
332 1.25.22.1 tls int s;
333 1.1 hannken struct fstrans_lwp_info *fli;
334 1.1 hannken struct fstrans_mount_info *fmi;
335 1.1 hannken
336 1.1 hannken if (mp == NULL || (mp->mnt_iflag & IMNT_HAS_TRANS) == 0)
337 1.1 hannken return;
338 1.1 hannken
339 1.25.22.1 tls fli = fstrans_get_lwp_info(mp, false);
340 1.1 hannken KASSERT(fli != NULL);
341 1.25.22.1 tls KASSERT(fli->fli_trans_cnt > 0);
342 1.25.22.1 tls
343 1.25.22.1 tls if (fli->fli_trans_cnt > 1) {
344 1.25.22.1 tls fli->fli_trans_cnt -= 1;
345 1.20 hannken
346 1.25.22.1 tls return;
347 1.25.22.1 tls }
348 1.25.22.1 tls
349 1.25.22.1 tls s = pserialize_read_enter();
350 1.16 ad fmi = mp->mnt_transinfo;
351 1.25.22.1 tls if (__predict_true(fmi->fmi_state == FSTRANS_NORMAL)) {
352 1.25.22.1 tls fli->fli_trans_cnt = 0;
353 1.25.22.1 tls pserialize_read_exit(s);
354 1.25.22.1 tls
355 1.25.22.1 tls return;
356 1.25.22.1 tls }
357 1.25.22.1 tls pserialize_read_exit(s);
358 1.25.22.1 tls
359 1.25.22.1 tls mutex_enter(&fstrans_lock);
360 1.25.22.1 tls fli->fli_trans_cnt = 0;
361 1.25.22.1 tls cv_signal(&fstrans_count_cv);
362 1.25.22.1 tls mutex_exit(&fstrans_lock);
363 1.1 hannken }
364 1.1 hannken
365 1.1 hannken /*
366 1.1 hannken * Check if this thread has an exclusive lock.
367 1.1 hannken */
368 1.1 hannken int
369 1.1 hannken fstrans_is_owner(struct mount *mp)
370 1.1 hannken {
371 1.1 hannken struct fstrans_lwp_info *fli;
372 1.1 hannken
373 1.25.22.1 tls if (mp == NULL || (mp->mnt_iflag & IMNT_HAS_TRANS) == 0)
374 1.1 hannken return 0;
375 1.1 hannken
376 1.25.22.1 tls fli = fstrans_get_lwp_info(mp, false);
377 1.20 hannken if (fli == NULL || fli->fli_trans_cnt == 0)
378 1.1 hannken return 0;
379 1.1 hannken
380 1.1 hannken KASSERT(fli->fli_mount == mp);
381 1.20 hannken KASSERT(fli->fli_trans_cnt > 0);
382 1.25.22.1 tls
383 1.2 hannken return (fli->fli_lock_type == FSTRANS_EXCL);
384 1.1 hannken }
385 1.1 hannken
386 1.1 hannken /*
387 1.25.22.1 tls * True, if no thread is in a transaction not granted at the current state.
388 1.25.22.1 tls */
389 1.25.22.1 tls static bool
390 1.25.22.1 tls state_change_done(const struct mount *mp)
391 1.25.22.1 tls {
392 1.25.22.1 tls struct fstrans_lwp_info *fli;
393 1.25.22.1 tls struct fstrans_mount_info *fmi;
394 1.25.22.1 tls
395 1.25.22.1 tls KASSERT(mutex_owned(&fstrans_lock));
396 1.25.22.1 tls
397 1.25.22.1 tls fmi = mp->mnt_transinfo;
398 1.25.22.1 tls LIST_FOREACH(fli, &fstrans_fli_head, fli_list) {
399 1.25.22.1 tls if (fli->fli_mount != mp)
400 1.25.22.1 tls continue;
401 1.25.22.1 tls if (fli->fli_trans_cnt == 0)
402 1.25.22.1 tls continue;
403 1.25.22.1 tls if (grant_lock(fmi->fmi_state, fli->fli_lock_type))
404 1.25.22.1 tls continue;
405 1.25.22.1 tls
406 1.25.22.1 tls return false;
407 1.25.22.1 tls }
408 1.25.22.1 tls
409 1.25.22.1 tls return true;
410 1.25.22.1 tls }
411 1.25.22.1 tls
412 1.25.22.1 tls /*
413 1.1 hannken * Set new file system state.
414 1.1 hannken */
415 1.1 hannken int
416 1.1 hannken fstrans_setstate(struct mount *mp, enum fstrans_state new_state)
417 1.1 hannken {
418 1.25.22.1 tls int error;
419 1.25.22.1 tls enum fstrans_state old_state;
420 1.1 hannken struct fstrans_mount_info *fmi;
421 1.1 hannken
422 1.16 ad fmi = mp->mnt_transinfo;
423 1.25.22.1 tls old_state = fmi->fmi_state;
424 1.25.22.1 tls if (old_state == new_state)
425 1.25.22.1 tls return 0;
426 1.1 hannken
427 1.25.22.1 tls mutex_enter(&fstrans_lock);
428 1.25.22.1 tls fmi->fmi_state = new_state;
429 1.25.22.1 tls pserialize_perform(fstrans_psz);
430 1.25.22.1 tls
431 1.25.22.1 tls /*
432 1.25.22.1 tls * All threads see the new state now.
433 1.25.22.1 tls * Wait for transactions invalid at this state to leave.
434 1.25.22.1 tls */
435 1.25.22.1 tls error = 0;
436 1.25.22.1 tls while (! state_change_done(mp)) {
437 1.25.22.1 tls error = cv_wait_sig(&fstrans_count_cv, &fstrans_lock);
438 1.25.22.1 tls if (error) {
439 1.25.22.1 tls new_state = fmi->fmi_state = FSTRANS_NORMAL;
440 1.25.22.1 tls break;
441 1.25.22.1 tls }
442 1.25.22.1 tls }
443 1.25.22.1 tls cv_broadcast(&fstrans_state_cv);
444 1.25.22.1 tls mutex_exit(&fstrans_lock);
445 1.1 hannken
446 1.25.22.1 tls if (old_state != new_state) {
447 1.25.22.1 tls if (old_state == FSTRANS_NORMAL)
448 1.9 hannken fstrans_start(mp, FSTRANS_EXCL);
449 1.25.22.1 tls if (new_state == FSTRANS_NORMAL)
450 1.1 hannken fstrans_done(mp);
451 1.1 hannken }
452 1.1 hannken
453 1.25.22.1 tls return error;
454 1.1 hannken }
455 1.1 hannken
456 1.1 hannken /*
457 1.25.22.1 tls * Get current file system state.
458 1.1 hannken */
459 1.1 hannken enum fstrans_state
460 1.1 hannken fstrans_getstate(struct mount *mp)
461 1.1 hannken {
462 1.1 hannken struct fstrans_mount_info *fmi;
463 1.1 hannken
464 1.16 ad fmi = mp->mnt_transinfo;
465 1.25.22.1 tls KASSERT(fmi != NULL);
466 1.1 hannken
467 1.1 hannken return fmi->fmi_state;
468 1.1 hannken }
469 1.1 hannken
470 1.1 hannken /*
471 1.1 hannken * Request a filesystem to suspend all operations.
472 1.1 hannken */
473 1.1 hannken int
474 1.1 hannken vfs_suspend(struct mount *mp, int nowait)
475 1.1 hannken {
476 1.4 ad int error;
477 1.1 hannken
478 1.4 ad if (nowait) {
479 1.4 ad if (!mutex_tryenter(&vfs_suspend_lock))
480 1.4 ad return EWOULDBLOCK;
481 1.4 ad } else
482 1.4 ad mutex_enter(&vfs_suspend_lock);
483 1.1 hannken
484 1.3 hannken mutex_enter(&syncer_mutex);
485 1.1 hannken if ((error = VFS_SUSPENDCTL(mp, SUSPEND_SUSPEND)) != 0) {
486 1.3 hannken mutex_exit(&syncer_mutex);
487 1.4 ad mutex_exit(&vfs_suspend_lock);
488 1.1 hannken }
489 1.1 hannken
490 1.1 hannken return error;
491 1.1 hannken }
492 1.1 hannken
493 1.1 hannken /*
494 1.1 hannken * Request a filesystem to resume all operations.
495 1.1 hannken */
496 1.1 hannken void
497 1.1 hannken vfs_resume(struct mount *mp)
498 1.1 hannken {
499 1.1 hannken
500 1.1 hannken VFS_SUSPENDCTL(mp, SUSPEND_RESUME);
501 1.3 hannken mutex_exit(&syncer_mutex);
502 1.4 ad mutex_exit(&vfs_suspend_lock);
503 1.1 hannken }
504 1.1 hannken
505 1.1 hannken
506 1.25.22.1 tls /*
507 1.25.22.1 tls * True, if no thread is running a cow handler.
508 1.25.22.1 tls */
509 1.25.22.1 tls static bool
510 1.25.22.1 tls cow_state_change_done(const struct mount *mp)
511 1.1 hannken {
512 1.1 hannken struct fstrans_lwp_info *fli;
513 1.25.22.1 tls struct fstrans_mount_info *fmi;
514 1.1 hannken
515 1.25.22.1 tls fmi = mp->mnt_transinfo;
516 1.25.22.1 tls
517 1.25.22.1 tls KASSERT(mutex_owned(&fstrans_lock));
518 1.25.22.1 tls KASSERT(fmi->fmi_cow_change);
519 1.25.22.1 tls
520 1.25.22.1 tls LIST_FOREACH(fli, &fstrans_fli_head, fli_list) {
521 1.25.22.1 tls if (fli->fli_mount != mp)
522 1.1 hannken continue;
523 1.25.22.1 tls if (fli->fli_cow_cnt == 0)
524 1.25.22.1 tls continue;
525 1.25.22.1 tls
526 1.25.22.1 tls return false;
527 1.1 hannken }
528 1.25.22.1 tls
529 1.25.22.1 tls return true;
530 1.1 hannken }
531 1.1 hannken
532 1.25.22.1 tls /*
533 1.25.22.1 tls * Prepare for changing this mounts cow list.
534 1.25.22.1 tls * Returns with fstrans_lock locked.
535 1.25.22.1 tls */
536 1.1 hannken static void
537 1.25.22.1 tls cow_change_enter(const struct mount *mp)
538 1.1 hannken {
539 1.1 hannken struct fstrans_mount_info *fmi;
540 1.1 hannken
541 1.16 ad fmi = mp->mnt_transinfo;
542 1.1 hannken
543 1.25.22.1 tls mutex_enter(&fstrans_lock);
544 1.25.22.1 tls
545 1.25.22.1 tls /*
546 1.25.22.1 tls * Wait for other threads changing the list.
547 1.25.22.1 tls */
548 1.25.22.1 tls while (fmi->fmi_cow_change)
549 1.25.22.1 tls cv_wait(&fstrans_state_cv, &fstrans_lock);
550 1.25.22.1 tls
551 1.25.22.1 tls /*
552 1.25.22.1 tls * Wait until all threads are aware of a state change.
553 1.25.22.1 tls */
554 1.25.22.1 tls fmi->fmi_cow_change = true;
555 1.25.22.1 tls pserialize_perform(fstrans_psz);
556 1.25.22.1 tls
557 1.25.22.1 tls while (! cow_state_change_done(mp))
558 1.25.22.1 tls cv_wait(&fstrans_count_cv, &fstrans_lock);
559 1.1 hannken }
560 1.1 hannken
561 1.25.22.1 tls /*
562 1.25.22.1 tls * Done changing this mounts cow list.
563 1.25.22.1 tls */
564 1.25.22.1 tls static void
565 1.25.22.1 tls cow_change_done(const struct mount *mp)
566 1.1 hannken {
567 1.25.22.1 tls struct fstrans_mount_info *fmi;
568 1.1 hannken
569 1.25.22.1 tls KASSERT(mutex_owned(&fstrans_lock));
570 1.1 hannken
571 1.25.22.1 tls fmi = mp->mnt_transinfo;
572 1.25.22.1 tls
573 1.25.22.1 tls fmi->fmi_cow_change = false;
574 1.25.22.1 tls pserialize_perform(fstrans_psz);
575 1.25.22.1 tls
576 1.25.22.1 tls cv_broadcast(&fstrans_state_cv);
577 1.25.22.1 tls
578 1.25.22.1 tls mutex_exit(&fstrans_lock);
579 1.1 hannken }
580 1.12 hannken
581 1.25.22.1 tls /*
582 1.25.22.1 tls * Add a handler to this mount.
583 1.25.22.1 tls */
584 1.12 hannken int
585 1.15 hannken fscow_establish(struct mount *mp, int (*func)(void *, struct buf *, bool),
586 1.15 hannken void *arg)
587 1.12 hannken {
588 1.16 ad struct fstrans_mount_info *fmi;
589 1.12 hannken struct fscow_handler *new;
590 1.12 hannken
591 1.16 ad if ((mp->mnt_iflag & IMNT_HAS_TRANS) == 0)
592 1.16 ad return EINVAL;
593 1.16 ad
594 1.16 ad fmi = mp->mnt_transinfo;
595 1.25.22.1 tls KASSERT(fmi != NULL);
596 1.12 hannken
597 1.12 hannken if ((new = kmem_alloc(sizeof(*new), KM_SLEEP)) == NULL)
598 1.12 hannken return ENOMEM;
599 1.12 hannken new->ch_func = func;
600 1.12 hannken new->ch_arg = arg;
601 1.25.22.1 tls
602 1.25.22.1 tls cow_change_enter(mp);
603 1.25.22.1 tls LIST_INSERT_HEAD(&fmi->fmi_cow_handler, new, ch_list);
604 1.25.22.1 tls cow_change_done(mp);
605 1.12 hannken
606 1.12 hannken return 0;
607 1.12 hannken }
608 1.12 hannken
609 1.25.22.1 tls /*
610 1.25.22.1 tls * Remove a handler from this mount.
611 1.25.22.1 tls */
612 1.12 hannken int
613 1.15 hannken fscow_disestablish(struct mount *mp, int (*func)(void *, struct buf *, bool),
614 1.12 hannken void *arg)
615 1.12 hannken {
616 1.16 ad struct fstrans_mount_info *fmi;
617 1.12 hannken struct fscow_handler *hp = NULL;
618 1.12 hannken
619 1.16 ad if ((mp->mnt_iflag & IMNT_HAS_TRANS) == 0)
620 1.12 hannken return EINVAL;
621 1.12 hannken
622 1.16 ad fmi = mp->mnt_transinfo;
623 1.25.22.1 tls KASSERT(fmi != NULL);
624 1.16 ad
625 1.25.22.1 tls cow_change_enter(mp);
626 1.25.22.1 tls LIST_FOREACH(hp, &fmi->fmi_cow_handler, ch_list)
627 1.12 hannken if (hp->ch_func == func && hp->ch_arg == arg)
628 1.12 hannken break;
629 1.12 hannken if (hp != NULL) {
630 1.25.22.1 tls LIST_REMOVE(hp, ch_list);
631 1.12 hannken kmem_free(hp, sizeof(*hp));
632 1.12 hannken }
633 1.25.22.1 tls cow_change_done(mp);
634 1.12 hannken
635 1.12 hannken return hp ? 0 : EINVAL;
636 1.12 hannken }
637 1.12 hannken
638 1.25.22.1 tls /*
639 1.25.22.1 tls * Check for need to copy block that is about to be written.
640 1.25.22.1 tls */
641 1.12 hannken int
642 1.15 hannken fscow_run(struct buf *bp, bool data_valid)
643 1.12 hannken {
644 1.25.22.1 tls int error, s;
645 1.12 hannken struct mount *mp;
646 1.20 hannken struct fstrans_lwp_info *fli;
647 1.16 ad struct fstrans_mount_info *fmi;
648 1.12 hannken struct fscow_handler *hp;
649 1.12 hannken
650 1.25.22.1 tls /*
651 1.25.22.1 tls * First check if we need run the copy-on-write handler.
652 1.25.22.1 tls */
653 1.17 hannken if ((bp->b_flags & B_COWDONE))
654 1.25.22.1 tls return 0;
655 1.25.22.1 tls if (bp->b_vp == NULL) {
656 1.25.22.1 tls bp->b_flags |= B_COWDONE;
657 1.25.22.1 tls return 0;
658 1.25.22.1 tls }
659 1.12 hannken if (bp->b_vp->v_type == VBLK)
660 1.12 hannken mp = bp->b_vp->v_specmountpoint;
661 1.12 hannken else
662 1.12 hannken mp = bp->b_vp->v_mount;
663 1.25.22.1 tls if (mp == NULL || (mp->mnt_iflag & IMNT_HAS_TRANS) == 0) {
664 1.25.22.1 tls bp->b_flags |= B_COWDONE;
665 1.25.22.1 tls return 0;
666 1.25.22.1 tls }
667 1.12 hannken
668 1.25.22.1 tls fli = fstrans_get_lwp_info(mp, true);
669 1.16 ad fmi = mp->mnt_transinfo;
670 1.12 hannken
671 1.25.22.1 tls /*
672 1.25.22.1 tls * On non-recursed run check if other threads
673 1.25.22.1 tls * want to change the list.
674 1.25.22.1 tls */
675 1.25.22.1 tls if (fli->fli_cow_cnt == 0) {
676 1.25.22.1 tls s = pserialize_read_enter();
677 1.25.22.1 tls if (__predict_false(fmi->fmi_cow_change)) {
678 1.25.22.1 tls pserialize_read_exit(s);
679 1.25.22.1 tls mutex_enter(&fstrans_lock);
680 1.25.22.1 tls while (fmi->fmi_cow_change)
681 1.25.22.1 tls cv_wait(&fstrans_state_cv, &fstrans_lock);
682 1.25.22.1 tls fli->fli_cow_cnt = 1;
683 1.25.22.1 tls mutex_exit(&fstrans_lock);
684 1.25.22.1 tls } else {
685 1.25.22.1 tls fli->fli_cow_cnt = 1;
686 1.25.22.1 tls pserialize_read_exit(s);
687 1.25.22.1 tls }
688 1.25.22.1 tls } else
689 1.25.22.1 tls fli->fli_cow_cnt += 1;
690 1.20 hannken
691 1.25.22.1 tls /*
692 1.25.22.1 tls * Run all copy-on-write handlers, stop on error.
693 1.25.22.1 tls */
694 1.25.22.1 tls error = 0;
695 1.25.22.1 tls LIST_FOREACH(hp, &fmi->fmi_cow_handler, ch_list)
696 1.15 hannken if ((error = (*hp->ch_func)(hp->ch_arg, bp, data_valid)) != 0)
697 1.12 hannken break;
698 1.17 hannken if (error == 0)
699 1.17 hannken bp->b_flags |= B_COWDONE;
700 1.15 hannken
701 1.25.22.1 tls /*
702 1.25.22.1 tls * Check if other threads want to change the list.
703 1.25.22.1 tls */
704 1.25.22.1 tls if (fli->fli_cow_cnt > 1) {
705 1.25.22.1 tls fli->fli_cow_cnt -= 1;
706 1.25.22.1 tls } else {
707 1.25.22.1 tls s = pserialize_read_enter();
708 1.25.22.1 tls if (__predict_false(fmi->fmi_cow_change)) {
709 1.25.22.1 tls pserialize_read_exit(s);
710 1.25.22.1 tls mutex_enter(&fstrans_lock);
711 1.25.22.1 tls fli->fli_cow_cnt = 0;
712 1.25.22.1 tls cv_signal(&fstrans_count_cv);
713 1.25.22.1 tls mutex_exit(&fstrans_lock);
714 1.25.22.1 tls } else {
715 1.25.22.1 tls fli->fli_cow_cnt = 0;
716 1.25.22.1 tls pserialize_read_exit(s);
717 1.25.22.1 tls }
718 1.25.22.1 tls }
719 1.25.22.1 tls
720 1.12 hannken return error;
721 1.12 hannken }
722 1.25.22.1 tls
723 1.25.22.1 tls #if defined(DDB)
724 1.25.22.1 tls void fstrans_dump(int);
725 1.25.22.1 tls
726 1.25.22.1 tls static void
727 1.25.22.1 tls fstrans_print_lwp(struct proc *p, struct lwp *l, int verbose)
728 1.25.22.1 tls {
729 1.25.22.1 tls char prefix[9];
730 1.25.22.1 tls struct fstrans_lwp_info *fli;
731 1.25.22.1 tls
732 1.25.22.1 tls snprintf(prefix, sizeof(prefix), "%d.%d", p->p_pid, l->l_lid);
733 1.25.22.1 tls LIST_FOREACH(fli, &fstrans_fli_head, fli_list) {
734 1.25.22.1 tls if (fli->fli_self != l)
735 1.25.22.1 tls continue;
736 1.25.22.1 tls if (fli->fli_trans_cnt == 0 && fli->fli_cow_cnt == 0) {
737 1.25.22.1 tls if (! verbose)
738 1.25.22.1 tls continue;
739 1.25.22.1 tls }
740 1.25.22.1 tls printf("%-8s", prefix);
741 1.25.22.1 tls if (verbose)
742 1.25.22.1 tls printf(" @%p", fli);
743 1.25.22.1 tls if (fli->fli_mount != NULL)
744 1.25.22.1 tls printf(" (%s)", fli->fli_mount->mnt_stat.f_mntonname);
745 1.25.22.1 tls else
746 1.25.22.1 tls printf(" NULL");
747 1.25.22.1 tls if (fli->fli_trans_cnt == 0) {
748 1.25.22.1 tls printf(" -");
749 1.25.22.1 tls } else {
750 1.25.22.1 tls switch (fli->fli_lock_type) {
751 1.25.22.1 tls case FSTRANS_LAZY:
752 1.25.22.1 tls printf(" lazy");
753 1.25.22.1 tls break;
754 1.25.22.1 tls case FSTRANS_SHARED:
755 1.25.22.1 tls printf(" shared");
756 1.25.22.1 tls break;
757 1.25.22.1 tls case FSTRANS_EXCL:
758 1.25.22.1 tls printf(" excl");
759 1.25.22.1 tls break;
760 1.25.22.1 tls default:
761 1.25.22.1 tls printf(" %#x", fli->fli_lock_type);
762 1.25.22.1 tls break;
763 1.25.22.1 tls }
764 1.25.22.1 tls }
765 1.25.22.1 tls printf(" %d cow %d\n", fli->fli_trans_cnt, fli->fli_cow_cnt);
766 1.25.22.1 tls prefix[0] = '\0';
767 1.25.22.1 tls }
768 1.25.22.1 tls }
769 1.25.22.1 tls
770 1.25.22.1 tls static void
771 1.25.22.1 tls fstrans_print_mount(struct mount *mp, int verbose)
772 1.25.22.1 tls {
773 1.25.22.1 tls struct fstrans_mount_info *fmi;
774 1.25.22.1 tls
775 1.25.22.1 tls fmi = mp->mnt_transinfo;
776 1.25.22.1 tls if (!verbose && (fmi == NULL || fmi->fmi_state == FSTRANS_NORMAL))
777 1.25.22.1 tls return;
778 1.25.22.1 tls
779 1.25.22.1 tls printf("%-16s ", mp->mnt_stat.f_mntonname);
780 1.25.22.1 tls if (fmi == NULL) {
781 1.25.22.1 tls printf("(null)\n");
782 1.25.22.1 tls return;
783 1.25.22.1 tls }
784 1.25.22.1 tls switch (fmi->fmi_state) {
785 1.25.22.1 tls case FSTRANS_NORMAL:
786 1.25.22.1 tls printf("state normal\n");
787 1.25.22.1 tls break;
788 1.25.22.1 tls case FSTRANS_SUSPENDING:
789 1.25.22.1 tls printf("state suspending\n");
790 1.25.22.1 tls break;
791 1.25.22.1 tls case FSTRANS_SUSPENDED:
792 1.25.22.1 tls printf("state suspended\n");
793 1.25.22.1 tls break;
794 1.25.22.1 tls default:
795 1.25.22.1 tls printf("state %#x\n", fmi->fmi_state);
796 1.25.22.1 tls break;
797 1.25.22.1 tls }
798 1.25.22.1 tls }
799 1.25.22.1 tls
800 1.25.22.1 tls void
801 1.25.22.1 tls fstrans_dump(int full)
802 1.25.22.1 tls {
803 1.25.22.1 tls const struct proclist_desc *pd;
804 1.25.22.1 tls struct proc *p;
805 1.25.22.1 tls struct lwp *l;
806 1.25.22.1 tls struct mount *mp;
807 1.25.22.1 tls
808 1.25.22.1 tls printf("Fstrans locks by lwp:\n");
809 1.25.22.1 tls for (pd = proclists; pd->pd_list != NULL; pd++)
810 1.25.22.1 tls PROCLIST_FOREACH(p, pd->pd_list)
811 1.25.22.1 tls LIST_FOREACH(l, &p->p_lwps, l_sibling)
812 1.25.22.1 tls fstrans_print_lwp(p, l, full == 1);
813 1.25.22.1 tls
814 1.25.22.1 tls printf("Fstrans state by mount:\n");
815 1.25.22.1 tls CIRCLEQ_FOREACH(mp, &mountlist, mnt_list)
816 1.25.22.1 tls fstrans_print_mount(mp, full == 1);
817 1.25.22.1 tls }
818 1.25.22.1 tls #endif /* defined(DDB) */
819