vfs_trans.c revision 1.52 1 1.52 hannken /* $NetBSD: vfs_trans.c,v 1.52 2019/02/20 10:07:27 hannken 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.52 hannken __KERNEL_RCSID(0, "$NetBSD: vfs_trans.c,v 1.52 2019/02/20 10:07:27 hannken 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.34 pooka #ifdef _KERNEL_OPT
40 1.1 hannken #include "opt_ddb.h"
41 1.34 pooka #endif
42 1.1 hannken
43 1.1 hannken #include <sys/param.h>
44 1.1 hannken #include <sys/systm.h>
45 1.26 hannken #include <sys/atomic.h>
46 1.24 pooka #include <sys/buf.h>
47 1.12 hannken #include <sys/kmem.h>
48 1.1 hannken #include <sys/mount.h>
49 1.26 hannken #include <sys/pserialize.h>
50 1.1 hannken #include <sys/vnode.h>
51 1.1 hannken #include <sys/fstrans.h>
52 1.10 ad #include <sys/proc.h>
53 1.1 hannken
54 1.12 hannken #include <miscfs/specfs/specdev.h>
55 1.1 hannken
56 1.46 hannken enum fstrans_lock_type {
57 1.51 hannken FSTRANS_LAZY, /* Granted while not suspended */
58 1.46 hannken FSTRANS_SHARED, /* Granted while not suspending */
59 1.46 hannken FSTRANS_EXCL /* Internal: exclusive lock */
60 1.46 hannken };
61 1.46 hannken
62 1.16 ad struct fscow_handler {
63 1.26 hannken LIST_ENTRY(fscow_handler) ch_list;
64 1.16 ad int (*ch_func)(void *, struct buf *, bool);
65 1.16 ad void *ch_arg;
66 1.16 ad };
67 1.1 hannken struct fstrans_lwp_info {
68 1.1 hannken struct fstrans_lwp_info *fli_succ;
69 1.26 hannken struct lwp *fli_self;
70 1.1 hannken struct mount *fli_mount;
71 1.20 hannken int fli_trans_cnt;
72 1.20 hannken int fli_cow_cnt;
73 1.1 hannken enum fstrans_lock_type fli_lock_type;
74 1.26 hannken LIST_ENTRY(fstrans_lwp_info) fli_list;
75 1.1 hannken };
76 1.1 hannken struct fstrans_mount_info {
77 1.1 hannken enum fstrans_state fmi_state;
78 1.26 hannken unsigned int fmi_ref_cnt;
79 1.26 hannken bool fmi_cow_change;
80 1.26 hannken LIST_HEAD(, fscow_handler) fmi_cow_handler;
81 1.1 hannken };
82 1.1 hannken
83 1.26 hannken static specificdata_key_t lwp_data_key; /* Our specific data key. */
84 1.4 ad static kmutex_t vfs_suspend_lock; /* Serialize suspensions. */
85 1.26 hannken static kmutex_t fstrans_lock; /* Fstrans big lock. */
86 1.35 hannken static kmutex_t fstrans_mount_lock; /* Fstrans mount big lock. */
87 1.26 hannken static kcondvar_t fstrans_state_cv; /* Fstrans or cow state changed. */
88 1.26 hannken static kcondvar_t fstrans_count_cv; /* Fstrans or cow count changed. */
89 1.26 hannken static pserialize_t fstrans_psz; /* Pserialize state. */
90 1.26 hannken static LIST_HEAD(fstrans_lwp_head, fstrans_lwp_info) fstrans_fli_head;
91 1.26 hannken /* List of all fstrans_lwp_info. */
92 1.1 hannken
93 1.38 hannken static inline struct mount *fstrans_normalize_mount(struct mount *);
94 1.1 hannken static void fstrans_lwp_dtor(void *);
95 1.26 hannken static void fstrans_mount_dtor(struct mount *);
96 1.47 hannken static void fstrans_clear_lwp_info(void);
97 1.48 hannken static inline struct fstrans_lwp_info *
98 1.48 hannken fstrans_get_lwp_info(struct mount *, bool);
99 1.48 hannken static struct fstrans_lwp_info *fstrans_alloc_lwp_info(struct mount *);
100 1.46 hannken static inline int _fstrans_start(struct mount *, enum fstrans_lock_type, int);
101 1.26 hannken static bool grant_lock(const enum fstrans_state, const enum fstrans_lock_type);
102 1.26 hannken static bool state_change_done(const struct mount *);
103 1.26 hannken static bool cow_state_change_done(const struct mount *);
104 1.26 hannken static void cow_change_enter(const struct mount *);
105 1.26 hannken static void cow_change_done(const struct mount *);
106 1.1 hannken
107 1.52 hannken extern struct mount *dead_rootmount;
108 1.52 hannken
109 1.1 hannken /*
110 1.26 hannken * Initialize.
111 1.1 hannken */
112 1.1 hannken void
113 1.1 hannken fstrans_init(void)
114 1.1 hannken {
115 1.28 martin int error __diagused;
116 1.1 hannken
117 1.1 hannken error = lwp_specific_key_create(&lwp_data_key, fstrans_lwp_dtor);
118 1.1 hannken KASSERT(error == 0);
119 1.7 ad
120 1.4 ad mutex_init(&vfs_suspend_lock, MUTEX_DEFAULT, IPL_NONE);
121 1.26 hannken mutex_init(&fstrans_lock, MUTEX_DEFAULT, IPL_NONE);
122 1.35 hannken mutex_init(&fstrans_mount_lock, MUTEX_DEFAULT, IPL_NONE);
123 1.26 hannken cv_init(&fstrans_state_cv, "fstchg");
124 1.26 hannken cv_init(&fstrans_count_cv, "fstcnt");
125 1.26 hannken fstrans_psz = pserialize_create();
126 1.26 hannken LIST_INIT(&fstrans_fli_head);
127 1.1 hannken }
128 1.1 hannken
129 1.1 hannken /*
130 1.38 hannken * Normalize mount.
131 1.38 hannken * Return mount if file system supports fstrans, NULL otherwise.
132 1.38 hannken */
133 1.38 hannken static inline struct mount *
134 1.38 hannken fstrans_normalize_mount(struct mount *mp)
135 1.38 hannken {
136 1.38 hannken
137 1.39 hannken while (mp && mp->mnt_lower)
138 1.39 hannken mp = mp->mnt_lower;
139 1.38 hannken if (mp == NULL)
140 1.38 hannken return NULL;
141 1.38 hannken return mp;
142 1.38 hannken }
143 1.38 hannken
144 1.38 hannken /*
145 1.26 hannken * Deallocate lwp state.
146 1.1 hannken */
147 1.1 hannken static void
148 1.1 hannken fstrans_lwp_dtor(void *arg)
149 1.1 hannken {
150 1.1 hannken struct fstrans_lwp_info *fli, *fli_next;
151 1.1 hannken
152 1.1 hannken for (fli = arg; fli; fli = fli_next) {
153 1.20 hannken KASSERT(fli->fli_trans_cnt == 0);
154 1.20 hannken KASSERT(fli->fli_cow_cnt == 0);
155 1.26 hannken if (fli->fli_mount != NULL)
156 1.26 hannken fstrans_mount_dtor(fli->fli_mount);
157 1.1 hannken fli_next = fli->fli_succ;
158 1.30 hannken fli->fli_mount = NULL;
159 1.30 hannken membar_sync();
160 1.30 hannken fli->fli_self = NULL;
161 1.1 hannken }
162 1.26 hannken }
163 1.26 hannken
164 1.26 hannken /*
165 1.26 hannken * Dereference mount state.
166 1.26 hannken */
167 1.26 hannken static void
168 1.26 hannken fstrans_mount_dtor(struct mount *mp)
169 1.26 hannken {
170 1.26 hannken struct fstrans_mount_info *fmi;
171 1.26 hannken
172 1.35 hannken mutex_enter(&fstrans_mount_lock);
173 1.35 hannken
174 1.26 hannken fmi = mp->mnt_transinfo;
175 1.35 hannken KASSERT(fmi != NULL);
176 1.35 hannken fmi->fmi_ref_cnt -= 1;
177 1.35 hannken if (fmi->fmi_ref_cnt > 0) {
178 1.35 hannken mutex_exit(&fstrans_mount_lock);
179 1.26 hannken return;
180 1.35 hannken }
181 1.26 hannken
182 1.26 hannken KASSERT(fmi->fmi_state == FSTRANS_NORMAL);
183 1.26 hannken KASSERT(LIST_FIRST(&fmi->fmi_cow_handler) == NULL);
184 1.26 hannken
185 1.26 hannken mp->mnt_transinfo = NULL;
186 1.26 hannken
187 1.35 hannken mutex_exit(&fstrans_mount_lock);
188 1.35 hannken
189 1.35 hannken kmem_free(fmi, sizeof(*fmi));
190 1.42 hannken vfs_rele(mp);
191 1.1 hannken }
192 1.1 hannken
193 1.1 hannken /*
194 1.26 hannken * Allocate mount state.
195 1.1 hannken */
196 1.16 ad int
197 1.16 ad fstrans_mount(struct mount *mp)
198 1.1 hannken {
199 1.31 matt struct fstrans_mount_info *newfmi;
200 1.16 ad
201 1.32 pooka newfmi = kmem_alloc(sizeof(*newfmi), KM_SLEEP);
202 1.31 matt newfmi->fmi_state = FSTRANS_NORMAL;
203 1.31 matt newfmi->fmi_ref_cnt = 1;
204 1.31 matt LIST_INIT(&newfmi->fmi_cow_handler);
205 1.31 matt newfmi->fmi_cow_change = false;
206 1.16 ad
207 1.35 hannken mutex_enter(&fstrans_mount_lock);
208 1.31 matt mp->mnt_transinfo = newfmi;
209 1.35 hannken mutex_exit(&fstrans_mount_lock);
210 1.1 hannken
211 1.43 hannken vfs_ref(mp);
212 1.26 hannken
213 1.16 ad return 0;
214 1.1 hannken }
215 1.1 hannken
216 1.1 hannken /*
217 1.26 hannken * Deallocate mount state.
218 1.1 hannken */
219 1.16 ad void
220 1.16 ad fstrans_unmount(struct mount *mp)
221 1.1 hannken {
222 1.1 hannken
223 1.26 hannken KASSERT(mp->mnt_transinfo != NULL);
224 1.1 hannken
225 1.26 hannken fstrans_mount_dtor(mp);
226 1.1 hannken }
227 1.1 hannken
228 1.1 hannken /*
229 1.47 hannken * Clear mount entries whose mount is gone.
230 1.20 hannken */
231 1.47 hannken static void
232 1.47 hannken fstrans_clear_lwp_info(void)
233 1.20 hannken {
234 1.47 hannken struct fstrans_lwp_info *fli;
235 1.20 hannken
236 1.26 hannken /*
237 1.47 hannken * Scan our list clearing entries whose mount is gone.
238 1.26 hannken */
239 1.20 hannken for (fli = lwp_getspecific(lwp_data_key); fli; fli = fli->fli_succ) {
240 1.47 hannken if (fli->fli_mount != NULL &&
241 1.26 hannken (fli->fli_mount->mnt_iflag & IMNT_GONE) != 0 &&
242 1.26 hannken fli->fli_trans_cnt == 0 && fli->fli_cow_cnt == 0) {
243 1.26 hannken fstrans_mount_dtor(fli->fli_mount);
244 1.26 hannken fli->fli_mount = NULL;
245 1.26 hannken }
246 1.20 hannken }
247 1.47 hannken }
248 1.47 hannken
249 1.47 hannken /*
250 1.48 hannken * Allocate and return per lwp info for this mount.
251 1.47 hannken */
252 1.47 hannken static struct fstrans_lwp_info *
253 1.48 hannken fstrans_alloc_lwp_info(struct mount *mp)
254 1.47 hannken {
255 1.47 hannken struct fstrans_lwp_info *fli;
256 1.47 hannken struct fstrans_mount_info *fmi;
257 1.47 hannken
258 1.47 hannken /*
259 1.26 hannken * Try to reuse a cleared entry or allocate a new one.
260 1.26 hannken */
261 1.26 hannken for (fli = lwp_getspecific(lwp_data_key); fli; fli = fli->fli_succ) {
262 1.48 hannken KASSERT(fli->fli_mount != mp);
263 1.26 hannken if (fli->fli_mount == NULL) {
264 1.26 hannken KASSERT(fli->fli_trans_cnt == 0);
265 1.26 hannken KASSERT(fli->fli_cow_cnt == 0);
266 1.26 hannken break;
267 1.26 hannken }
268 1.26 hannken }
269 1.26 hannken if (fli == NULL) {
270 1.30 hannken mutex_enter(&fstrans_lock);
271 1.30 hannken LIST_FOREACH(fli, &fstrans_fli_head, fli_list) {
272 1.30 hannken if (fli->fli_self == NULL) {
273 1.35 hannken KASSERT(fli->fli_mount == NULL);
274 1.30 hannken KASSERT(fli->fli_trans_cnt == 0);
275 1.30 hannken KASSERT(fli->fli_cow_cnt == 0);
276 1.30 hannken fli->fli_self = curlwp;
277 1.30 hannken fli->fli_succ = lwp_getspecific(lwp_data_key);
278 1.30 hannken lwp_setspecific(lwp_data_key, fli);
279 1.30 hannken break;
280 1.30 hannken }
281 1.30 hannken }
282 1.30 hannken mutex_exit(&fstrans_lock);
283 1.30 hannken }
284 1.30 hannken if (fli == NULL) {
285 1.30 hannken fli = kmem_alloc(sizeof(*fli), KM_SLEEP);
286 1.26 hannken mutex_enter(&fstrans_lock);
287 1.26 hannken memset(fli, 0, sizeof(*fli));
288 1.26 hannken fli->fli_self = curlwp;
289 1.26 hannken LIST_INSERT_HEAD(&fstrans_fli_head, fli, fli_list);
290 1.26 hannken mutex_exit(&fstrans_lock);
291 1.26 hannken fli->fli_succ = lwp_getspecific(lwp_data_key);
292 1.26 hannken lwp_setspecific(lwp_data_key, fli);
293 1.20 hannken }
294 1.20 hannken
295 1.26 hannken /*
296 1.44 hannken * Attach the entry to the mount if its mnt_transinfo is valid.
297 1.26 hannken */
298 1.35 hannken mutex_enter(&fstrans_mount_lock);
299 1.37 hannken fmi = mp->mnt_transinfo;
300 1.44 hannken if (__predict_true(fmi != NULL)) {
301 1.44 hannken fli->fli_mount = mp;
302 1.44 hannken fmi->fmi_ref_cnt += 1;
303 1.44 hannken } else {
304 1.44 hannken fli = NULL;
305 1.44 hannken }
306 1.35 hannken mutex_exit(&fstrans_mount_lock);
307 1.26 hannken
308 1.26 hannken return fli;
309 1.26 hannken }
310 1.26 hannken
311 1.26 hannken /*
312 1.48 hannken * Retrieve the per lwp info for this mount allocating if necessary.
313 1.48 hannken */
314 1.48 hannken static inline struct fstrans_lwp_info *
315 1.48 hannken fstrans_get_lwp_info(struct mount *mp, bool do_alloc)
316 1.48 hannken {
317 1.48 hannken struct fstrans_lwp_info *fli;
318 1.48 hannken
319 1.48 hannken /*
320 1.48 hannken * Scan our list for a match.
321 1.48 hannken */
322 1.48 hannken for (fli = lwp_getspecific(lwp_data_key); fli; fli = fli->fli_succ) {
323 1.48 hannken if (fli->fli_mount == mp)
324 1.48 hannken return fli;
325 1.48 hannken }
326 1.48 hannken
327 1.48 hannken return (do_alloc ? fstrans_alloc_lwp_info(mp) : NULL);
328 1.48 hannken }
329 1.48 hannken
330 1.48 hannken /*
331 1.26 hannken * Check if this lock type is granted at this state.
332 1.26 hannken */
333 1.26 hannken static bool
334 1.26 hannken grant_lock(const enum fstrans_state state, const enum fstrans_lock_type type)
335 1.26 hannken {
336 1.20 hannken
337 1.26 hannken if (__predict_true(state == FSTRANS_NORMAL))
338 1.26 hannken return true;
339 1.26 hannken if (type == FSTRANS_EXCL)
340 1.26 hannken return true;
341 1.51 hannken if (state == FSTRANS_SUSPENDING && type == FSTRANS_LAZY)
342 1.51 hannken return true;
343 1.20 hannken
344 1.26 hannken return false;
345 1.20 hannken }
346 1.20 hannken
347 1.20 hannken /*
348 1.1 hannken * Start a transaction. If this thread already has a transaction on this
349 1.1 hannken * file system increment the reference counter.
350 1.1 hannken */
351 1.46 hannken static inline int
352 1.1 hannken _fstrans_start(struct mount *mp, enum fstrans_lock_type lock_type, int wait)
353 1.1 hannken {
354 1.26 hannken int s;
355 1.40 hannken struct mount *lmp;
356 1.20 hannken struct fstrans_lwp_info *fli;
357 1.1 hannken struct fstrans_mount_info *fmi;
358 1.1 hannken
359 1.52 hannken #ifndef FSTRANS_DEAD_ENABLED
360 1.52 hannken if (mp == dead_rootmount)
361 1.52 hannken return 0;
362 1.52 hannken #endif
363 1.52 hannken
364 1.40 hannken if ((lmp = fstrans_normalize_mount(mp)) == NULL)
365 1.38 hannken return 0;
366 1.38 hannken
367 1.18 yamt ASSERT_SLEEPABLE();
368 1.1 hannken
369 1.40 hannken /*
370 1.40 hannken * Allocate per lwp info for layered file systems to
371 1.40 hannken * get a reference to the mount. No need to increment
372 1.40 hannken * the reference counter here.
373 1.40 hannken */
374 1.40 hannken for (lmp = mp; lmp->mnt_lower; lmp = lmp->mnt_lower) {
375 1.40 hannken fli = fstrans_get_lwp_info(lmp, true);
376 1.40 hannken }
377 1.40 hannken
378 1.40 hannken if ((fli = fstrans_get_lwp_info(lmp, true)) == NULL)
379 1.1 hannken return 0;
380 1.1 hannken
381 1.20 hannken if (fli->fli_trans_cnt > 0) {
382 1.26 hannken KASSERT(lock_type != FSTRANS_EXCL);
383 1.20 hannken fli->fli_trans_cnt += 1;
384 1.26 hannken
385 1.20 hannken return 0;
386 1.1 hannken }
387 1.1 hannken
388 1.26 hannken s = pserialize_read_enter();
389 1.40 hannken fmi = lmp->mnt_transinfo;
390 1.26 hannken if (__predict_true(grant_lock(fmi->fmi_state, lock_type))) {
391 1.26 hannken fli->fli_trans_cnt = 1;
392 1.26 hannken fli->fli_lock_type = lock_type;
393 1.26 hannken pserialize_read_exit(s);
394 1.1 hannken
395 1.26 hannken return 0;
396 1.26 hannken }
397 1.26 hannken pserialize_read_exit(s);
398 1.8 hannken
399 1.26 hannken if (! wait)
400 1.8 hannken return EBUSY;
401 1.1 hannken
402 1.26 hannken mutex_enter(&fstrans_lock);
403 1.26 hannken while (! grant_lock(fmi->fmi_state, lock_type))
404 1.26 hannken cv_wait(&fstrans_state_cv, &fstrans_lock);
405 1.20 hannken fli->fli_trans_cnt = 1;
406 1.20 hannken fli->fli_lock_type = lock_type;
407 1.26 hannken mutex_exit(&fstrans_lock);
408 1.1 hannken
409 1.1 hannken return 0;
410 1.1 hannken }
411 1.1 hannken
412 1.46 hannken void
413 1.46 hannken fstrans_start(struct mount *mp)
414 1.46 hannken {
415 1.46 hannken int error __diagused;
416 1.46 hannken
417 1.46 hannken error = _fstrans_start(mp, FSTRANS_SHARED, 1);
418 1.46 hannken KASSERT(error == 0);
419 1.46 hannken }
420 1.46 hannken
421 1.46 hannken int
422 1.46 hannken fstrans_start_nowait(struct mount *mp)
423 1.46 hannken {
424 1.46 hannken
425 1.46 hannken return _fstrans_start(mp, FSTRANS_SHARED, 0);
426 1.46 hannken }
427 1.46 hannken
428 1.51 hannken void
429 1.51 hannken fstrans_start_lazy(struct mount *mp)
430 1.51 hannken {
431 1.51 hannken int error __diagused;
432 1.51 hannken
433 1.51 hannken error = _fstrans_start(mp, FSTRANS_LAZY, 1);
434 1.51 hannken KASSERT(error == 0);
435 1.51 hannken }
436 1.51 hannken
437 1.1 hannken /*
438 1.1 hannken * Finish a transaction.
439 1.1 hannken */
440 1.1 hannken void
441 1.1 hannken fstrans_done(struct mount *mp)
442 1.1 hannken {
443 1.26 hannken int s;
444 1.1 hannken struct fstrans_lwp_info *fli;
445 1.1 hannken struct fstrans_mount_info *fmi;
446 1.1 hannken
447 1.52 hannken #ifndef FSTRANS_DEAD_ENABLED
448 1.52 hannken if (mp == dead_rootmount)
449 1.52 hannken return;
450 1.52 hannken #endif
451 1.52 hannken
452 1.38 hannken if ((mp = fstrans_normalize_mount(mp)) == NULL)
453 1.38 hannken return;
454 1.44 hannken if ((fli = fstrans_get_lwp_info(mp, false)) == NULL)
455 1.44 hannken return;
456 1.26 hannken KASSERT(fli->fli_trans_cnt > 0);
457 1.26 hannken
458 1.26 hannken if (fli->fli_trans_cnt > 1) {
459 1.26 hannken fli->fli_trans_cnt -= 1;
460 1.26 hannken
461 1.26 hannken return;
462 1.1 hannken }
463 1.1 hannken
464 1.47 hannken fstrans_clear_lwp_info();
465 1.47 hannken
466 1.26 hannken s = pserialize_read_enter();
467 1.26 hannken fmi = mp->mnt_transinfo;
468 1.26 hannken if (__predict_true(fmi->fmi_state == FSTRANS_NORMAL)) {
469 1.26 hannken fli->fli_trans_cnt = 0;
470 1.26 hannken pserialize_read_exit(s);
471 1.26 hannken
472 1.26 hannken return;
473 1.26 hannken }
474 1.26 hannken pserialize_read_exit(s);
475 1.20 hannken
476 1.26 hannken mutex_enter(&fstrans_lock);
477 1.26 hannken fli->fli_trans_cnt = 0;
478 1.26 hannken cv_signal(&fstrans_count_cv);
479 1.26 hannken mutex_exit(&fstrans_lock);
480 1.1 hannken }
481 1.1 hannken
482 1.1 hannken /*
483 1.1 hannken * Check if this thread has an exclusive lock.
484 1.1 hannken */
485 1.1 hannken int
486 1.1 hannken fstrans_is_owner(struct mount *mp)
487 1.1 hannken {
488 1.1 hannken struct fstrans_lwp_info *fli;
489 1.1 hannken
490 1.52 hannken KASSERT(mp != dead_rootmount);
491 1.52 hannken
492 1.38 hannken if ((mp = fstrans_normalize_mount(mp)) == NULL)
493 1.38 hannken return 0;
494 1.38 hannken if ((fli = fstrans_get_lwp_info(mp, false)) == NULL)
495 1.1 hannken return 0;
496 1.1 hannken
497 1.35 hannken if (fli->fli_trans_cnt == 0)
498 1.1 hannken return 0;
499 1.1 hannken
500 1.1 hannken KASSERT(fli->fli_mount == mp);
501 1.20 hannken KASSERT(fli->fli_trans_cnt > 0);
502 1.26 hannken
503 1.2 hannken return (fli->fli_lock_type == FSTRANS_EXCL);
504 1.1 hannken }
505 1.1 hannken
506 1.1 hannken /*
507 1.26 hannken * True, if no thread is in a transaction not granted at the current state.
508 1.26 hannken */
509 1.26 hannken static bool
510 1.26 hannken state_change_done(const struct mount *mp)
511 1.26 hannken {
512 1.26 hannken struct fstrans_lwp_info *fli;
513 1.26 hannken struct fstrans_mount_info *fmi;
514 1.26 hannken
515 1.26 hannken KASSERT(mutex_owned(&fstrans_lock));
516 1.26 hannken
517 1.26 hannken fmi = mp->mnt_transinfo;
518 1.26 hannken LIST_FOREACH(fli, &fstrans_fli_head, fli_list) {
519 1.26 hannken if (fli->fli_mount != mp)
520 1.26 hannken continue;
521 1.26 hannken if (fli->fli_trans_cnt == 0)
522 1.26 hannken continue;
523 1.26 hannken if (grant_lock(fmi->fmi_state, fli->fli_lock_type))
524 1.26 hannken continue;
525 1.26 hannken
526 1.26 hannken return false;
527 1.26 hannken }
528 1.26 hannken
529 1.26 hannken return true;
530 1.26 hannken }
531 1.26 hannken
532 1.26 hannken /*
533 1.1 hannken * Set new file system state.
534 1.1 hannken */
535 1.1 hannken int
536 1.1 hannken fstrans_setstate(struct mount *mp, enum fstrans_state new_state)
537 1.1 hannken {
538 1.26 hannken int error;
539 1.26 hannken enum fstrans_state old_state;
540 1.1 hannken struct fstrans_mount_info *fmi;
541 1.1 hannken
542 1.52 hannken KASSERT(mp != dead_rootmount);
543 1.52 hannken
544 1.16 ad fmi = mp->mnt_transinfo;
545 1.26 hannken old_state = fmi->fmi_state;
546 1.26 hannken if (old_state == new_state)
547 1.26 hannken return 0;
548 1.1 hannken
549 1.26 hannken mutex_enter(&fstrans_lock);
550 1.26 hannken fmi->fmi_state = new_state;
551 1.26 hannken pserialize_perform(fstrans_psz);
552 1.26 hannken
553 1.26 hannken /*
554 1.26 hannken * All threads see the new state now.
555 1.26 hannken * Wait for transactions invalid at this state to leave.
556 1.26 hannken */
557 1.26 hannken error = 0;
558 1.26 hannken while (! state_change_done(mp)) {
559 1.50 manu error = cv_wait_sig(&fstrans_count_cv, &fstrans_lock);
560 1.26 hannken if (error) {
561 1.26 hannken new_state = fmi->fmi_state = FSTRANS_NORMAL;
562 1.26 hannken break;
563 1.26 hannken }
564 1.26 hannken }
565 1.26 hannken cv_broadcast(&fstrans_state_cv);
566 1.26 hannken mutex_exit(&fstrans_lock);
567 1.1 hannken
568 1.26 hannken if (old_state != new_state) {
569 1.26 hannken if (old_state == FSTRANS_NORMAL)
570 1.46 hannken _fstrans_start(mp, FSTRANS_EXCL, 1);
571 1.26 hannken if (new_state == FSTRANS_NORMAL)
572 1.1 hannken fstrans_done(mp);
573 1.1 hannken }
574 1.1 hannken
575 1.26 hannken return error;
576 1.1 hannken }
577 1.1 hannken
578 1.1 hannken /*
579 1.26 hannken * Get current file system state.
580 1.1 hannken */
581 1.1 hannken enum fstrans_state
582 1.1 hannken fstrans_getstate(struct mount *mp)
583 1.1 hannken {
584 1.1 hannken struct fstrans_mount_info *fmi;
585 1.1 hannken
586 1.52 hannken KASSERT(mp != dead_rootmount);
587 1.52 hannken
588 1.16 ad fmi = mp->mnt_transinfo;
589 1.26 hannken KASSERT(fmi != NULL);
590 1.1 hannken
591 1.1 hannken return fmi->fmi_state;
592 1.1 hannken }
593 1.1 hannken
594 1.1 hannken /*
595 1.1 hannken * Request a filesystem to suspend all operations.
596 1.1 hannken */
597 1.1 hannken int
598 1.1 hannken vfs_suspend(struct mount *mp, int nowait)
599 1.1 hannken {
600 1.4 ad int error;
601 1.1 hannken
602 1.52 hannken KASSERT(mp != dead_rootmount);
603 1.52 hannken
604 1.38 hannken if ((mp = fstrans_normalize_mount(mp)) == NULL)
605 1.38 hannken return EOPNOTSUPP;
606 1.4 ad if (nowait) {
607 1.4 ad if (!mutex_tryenter(&vfs_suspend_lock))
608 1.4 ad return EWOULDBLOCK;
609 1.4 ad } else
610 1.4 ad mutex_enter(&vfs_suspend_lock);
611 1.1 hannken
612 1.36 hannken if ((error = VFS_SUSPENDCTL(mp, SUSPEND_SUSPEND)) != 0)
613 1.4 ad mutex_exit(&vfs_suspend_lock);
614 1.1 hannken
615 1.1 hannken return error;
616 1.1 hannken }
617 1.1 hannken
618 1.1 hannken /*
619 1.1 hannken * Request a filesystem to resume all operations.
620 1.1 hannken */
621 1.1 hannken void
622 1.1 hannken vfs_resume(struct mount *mp)
623 1.1 hannken {
624 1.1 hannken
625 1.52 hannken KASSERT(mp != dead_rootmount);
626 1.52 hannken
627 1.38 hannken mp = fstrans_normalize_mount(mp);
628 1.38 hannken KASSERT(mp != NULL);
629 1.38 hannken
630 1.1 hannken VFS_SUSPENDCTL(mp, SUSPEND_RESUME);
631 1.4 ad mutex_exit(&vfs_suspend_lock);
632 1.1 hannken }
633 1.1 hannken
634 1.1 hannken
635 1.26 hannken /*
636 1.26 hannken * True, if no thread is running a cow handler.
637 1.26 hannken */
638 1.26 hannken static bool
639 1.26 hannken cow_state_change_done(const struct mount *mp)
640 1.1 hannken {
641 1.1 hannken struct fstrans_lwp_info *fli;
642 1.28 martin struct fstrans_mount_info *fmi __diagused;
643 1.26 hannken
644 1.26 hannken fmi = mp->mnt_transinfo;
645 1.1 hannken
646 1.26 hannken KASSERT(mutex_owned(&fstrans_lock));
647 1.26 hannken KASSERT(fmi->fmi_cow_change);
648 1.26 hannken
649 1.26 hannken LIST_FOREACH(fli, &fstrans_fli_head, fli_list) {
650 1.26 hannken if (fli->fli_mount != mp)
651 1.26 hannken continue;
652 1.26 hannken if (fli->fli_cow_cnt == 0)
653 1.1 hannken continue;
654 1.26 hannken
655 1.26 hannken return false;
656 1.1 hannken }
657 1.26 hannken
658 1.26 hannken return true;
659 1.1 hannken }
660 1.1 hannken
661 1.26 hannken /*
662 1.26 hannken * Prepare for changing this mounts cow list.
663 1.26 hannken * Returns with fstrans_lock locked.
664 1.26 hannken */
665 1.1 hannken static void
666 1.26 hannken cow_change_enter(const struct mount *mp)
667 1.1 hannken {
668 1.1 hannken struct fstrans_mount_info *fmi;
669 1.1 hannken
670 1.16 ad fmi = mp->mnt_transinfo;
671 1.1 hannken
672 1.26 hannken mutex_enter(&fstrans_lock);
673 1.26 hannken
674 1.26 hannken /*
675 1.26 hannken * Wait for other threads changing the list.
676 1.26 hannken */
677 1.26 hannken while (fmi->fmi_cow_change)
678 1.26 hannken cv_wait(&fstrans_state_cv, &fstrans_lock);
679 1.26 hannken
680 1.26 hannken /*
681 1.26 hannken * Wait until all threads are aware of a state change.
682 1.26 hannken */
683 1.26 hannken fmi->fmi_cow_change = true;
684 1.26 hannken pserialize_perform(fstrans_psz);
685 1.26 hannken
686 1.26 hannken while (! cow_state_change_done(mp))
687 1.26 hannken cv_wait(&fstrans_count_cv, &fstrans_lock);
688 1.1 hannken }
689 1.1 hannken
690 1.26 hannken /*
691 1.26 hannken * Done changing this mounts cow list.
692 1.26 hannken */
693 1.26 hannken static void
694 1.26 hannken cow_change_done(const struct mount *mp)
695 1.1 hannken {
696 1.26 hannken struct fstrans_mount_info *fmi;
697 1.26 hannken
698 1.26 hannken KASSERT(mutex_owned(&fstrans_lock));
699 1.26 hannken
700 1.26 hannken fmi = mp->mnt_transinfo;
701 1.26 hannken
702 1.26 hannken fmi->fmi_cow_change = false;
703 1.26 hannken pserialize_perform(fstrans_psz);
704 1.1 hannken
705 1.26 hannken cv_broadcast(&fstrans_state_cv);
706 1.1 hannken
707 1.26 hannken mutex_exit(&fstrans_lock);
708 1.1 hannken }
709 1.12 hannken
710 1.26 hannken /*
711 1.26 hannken * Add a handler to this mount.
712 1.26 hannken */
713 1.12 hannken int
714 1.15 hannken fscow_establish(struct mount *mp, int (*func)(void *, struct buf *, bool),
715 1.15 hannken void *arg)
716 1.12 hannken {
717 1.16 ad struct fstrans_mount_info *fmi;
718 1.31 matt struct fscow_handler *newch;
719 1.12 hannken
720 1.52 hannken KASSERT(mp != dead_rootmount);
721 1.16 ad
722 1.16 ad fmi = mp->mnt_transinfo;
723 1.26 hannken KASSERT(fmi != NULL);
724 1.12 hannken
725 1.32 pooka newch = kmem_alloc(sizeof(*newch), KM_SLEEP);
726 1.31 matt newch->ch_func = func;
727 1.31 matt newch->ch_arg = arg;
728 1.26 hannken
729 1.26 hannken cow_change_enter(mp);
730 1.31 matt LIST_INSERT_HEAD(&fmi->fmi_cow_handler, newch, ch_list);
731 1.26 hannken cow_change_done(mp);
732 1.12 hannken
733 1.12 hannken return 0;
734 1.12 hannken }
735 1.12 hannken
736 1.26 hannken /*
737 1.26 hannken * Remove a handler from this mount.
738 1.26 hannken */
739 1.12 hannken int
740 1.15 hannken fscow_disestablish(struct mount *mp, int (*func)(void *, struct buf *, bool),
741 1.12 hannken void *arg)
742 1.12 hannken {
743 1.16 ad struct fstrans_mount_info *fmi;
744 1.12 hannken struct fscow_handler *hp = NULL;
745 1.12 hannken
746 1.52 hannken KASSERT(mp != dead_rootmount);
747 1.12 hannken
748 1.16 ad fmi = mp->mnt_transinfo;
749 1.26 hannken KASSERT(fmi != NULL);
750 1.16 ad
751 1.26 hannken cow_change_enter(mp);
752 1.26 hannken LIST_FOREACH(hp, &fmi->fmi_cow_handler, ch_list)
753 1.12 hannken if (hp->ch_func == func && hp->ch_arg == arg)
754 1.12 hannken break;
755 1.12 hannken if (hp != NULL) {
756 1.26 hannken LIST_REMOVE(hp, ch_list);
757 1.12 hannken kmem_free(hp, sizeof(*hp));
758 1.12 hannken }
759 1.26 hannken cow_change_done(mp);
760 1.12 hannken
761 1.12 hannken return hp ? 0 : EINVAL;
762 1.12 hannken }
763 1.12 hannken
764 1.26 hannken /*
765 1.26 hannken * Check for need to copy block that is about to be written.
766 1.26 hannken */
767 1.12 hannken int
768 1.15 hannken fscow_run(struct buf *bp, bool data_valid)
769 1.12 hannken {
770 1.26 hannken int error, s;
771 1.12 hannken struct mount *mp;
772 1.20 hannken struct fstrans_lwp_info *fli;
773 1.16 ad struct fstrans_mount_info *fmi;
774 1.12 hannken struct fscow_handler *hp;
775 1.12 hannken
776 1.26 hannken /*
777 1.26 hannken * First check if we need run the copy-on-write handler.
778 1.26 hannken */
779 1.17 hannken if ((bp->b_flags & B_COWDONE))
780 1.26 hannken return 0;
781 1.26 hannken if (bp->b_vp == NULL) {
782 1.26 hannken bp->b_flags |= B_COWDONE;
783 1.26 hannken return 0;
784 1.26 hannken }
785 1.12 hannken if (bp->b_vp->v_type == VBLK)
786 1.27 hannken mp = spec_node_getmountedfs(bp->b_vp);
787 1.12 hannken else
788 1.12 hannken mp = bp->b_vp->v_mount;
789 1.52 hannken if (mp == NULL || mp == dead_rootmount) {
790 1.26 hannken bp->b_flags |= B_COWDONE;
791 1.26 hannken return 0;
792 1.26 hannken }
793 1.12 hannken
794 1.26 hannken fli = fstrans_get_lwp_info(mp, true);
795 1.16 ad fmi = mp->mnt_transinfo;
796 1.12 hannken
797 1.26 hannken /*
798 1.26 hannken * On non-recursed run check if other threads
799 1.26 hannken * want to change the list.
800 1.26 hannken */
801 1.26 hannken if (fli->fli_cow_cnt == 0) {
802 1.26 hannken s = pserialize_read_enter();
803 1.26 hannken if (__predict_false(fmi->fmi_cow_change)) {
804 1.26 hannken pserialize_read_exit(s);
805 1.26 hannken mutex_enter(&fstrans_lock);
806 1.26 hannken while (fmi->fmi_cow_change)
807 1.26 hannken cv_wait(&fstrans_state_cv, &fstrans_lock);
808 1.26 hannken fli->fli_cow_cnt = 1;
809 1.26 hannken mutex_exit(&fstrans_lock);
810 1.26 hannken } else {
811 1.26 hannken fli->fli_cow_cnt = 1;
812 1.26 hannken pserialize_read_exit(s);
813 1.26 hannken }
814 1.26 hannken } else
815 1.26 hannken fli->fli_cow_cnt += 1;
816 1.20 hannken
817 1.26 hannken /*
818 1.26 hannken * Run all copy-on-write handlers, stop on error.
819 1.26 hannken */
820 1.26 hannken error = 0;
821 1.26 hannken LIST_FOREACH(hp, &fmi->fmi_cow_handler, ch_list)
822 1.15 hannken if ((error = (*hp->ch_func)(hp->ch_arg, bp, data_valid)) != 0)
823 1.12 hannken break;
824 1.17 hannken if (error == 0)
825 1.17 hannken bp->b_flags |= B_COWDONE;
826 1.15 hannken
827 1.26 hannken /*
828 1.26 hannken * Check if other threads want to change the list.
829 1.26 hannken */
830 1.26 hannken if (fli->fli_cow_cnt > 1) {
831 1.26 hannken fli->fli_cow_cnt -= 1;
832 1.26 hannken } else {
833 1.26 hannken s = pserialize_read_enter();
834 1.26 hannken if (__predict_false(fmi->fmi_cow_change)) {
835 1.26 hannken pserialize_read_exit(s);
836 1.26 hannken mutex_enter(&fstrans_lock);
837 1.26 hannken fli->fli_cow_cnt = 0;
838 1.26 hannken cv_signal(&fstrans_count_cv);
839 1.26 hannken mutex_exit(&fstrans_lock);
840 1.26 hannken } else {
841 1.26 hannken fli->fli_cow_cnt = 0;
842 1.26 hannken pserialize_read_exit(s);
843 1.26 hannken }
844 1.26 hannken }
845 1.26 hannken
846 1.12 hannken return error;
847 1.12 hannken }
848 1.26 hannken
849 1.26 hannken #if defined(DDB)
850 1.26 hannken void fstrans_dump(int);
851 1.26 hannken
852 1.26 hannken static void
853 1.26 hannken fstrans_print_lwp(struct proc *p, struct lwp *l, int verbose)
854 1.26 hannken {
855 1.26 hannken char prefix[9];
856 1.26 hannken struct fstrans_lwp_info *fli;
857 1.26 hannken
858 1.26 hannken snprintf(prefix, sizeof(prefix), "%d.%d", p->p_pid, l->l_lid);
859 1.26 hannken LIST_FOREACH(fli, &fstrans_fli_head, fli_list) {
860 1.26 hannken if (fli->fli_self != l)
861 1.26 hannken continue;
862 1.26 hannken if (fli->fli_trans_cnt == 0 && fli->fli_cow_cnt == 0) {
863 1.26 hannken if (! verbose)
864 1.26 hannken continue;
865 1.26 hannken }
866 1.26 hannken printf("%-8s", prefix);
867 1.26 hannken if (verbose)
868 1.26 hannken printf(" @%p", fli);
869 1.26 hannken if (fli->fli_mount != NULL)
870 1.26 hannken printf(" (%s)", fli->fli_mount->mnt_stat.f_mntonname);
871 1.26 hannken else
872 1.26 hannken printf(" NULL");
873 1.26 hannken if (fli->fli_trans_cnt == 0) {
874 1.26 hannken printf(" -");
875 1.26 hannken } else {
876 1.26 hannken switch (fli->fli_lock_type) {
877 1.51 hannken case FSTRANS_LAZY:
878 1.51 hannken printf(" lazy");
879 1.51 hannken break;
880 1.26 hannken case FSTRANS_SHARED:
881 1.26 hannken printf(" shared");
882 1.26 hannken break;
883 1.26 hannken case FSTRANS_EXCL:
884 1.26 hannken printf(" excl");
885 1.26 hannken break;
886 1.26 hannken default:
887 1.26 hannken printf(" %#x", fli->fli_lock_type);
888 1.26 hannken break;
889 1.26 hannken }
890 1.26 hannken }
891 1.26 hannken printf(" %d cow %d\n", fli->fli_trans_cnt, fli->fli_cow_cnt);
892 1.26 hannken prefix[0] = '\0';
893 1.26 hannken }
894 1.26 hannken }
895 1.26 hannken
896 1.26 hannken static void
897 1.26 hannken fstrans_print_mount(struct mount *mp, int verbose)
898 1.26 hannken {
899 1.26 hannken struct fstrans_mount_info *fmi;
900 1.26 hannken
901 1.26 hannken fmi = mp->mnt_transinfo;
902 1.26 hannken if (!verbose && (fmi == NULL || fmi->fmi_state == FSTRANS_NORMAL))
903 1.26 hannken return;
904 1.26 hannken
905 1.26 hannken printf("%-16s ", mp->mnt_stat.f_mntonname);
906 1.26 hannken if (fmi == NULL) {
907 1.26 hannken printf("(null)\n");
908 1.26 hannken return;
909 1.26 hannken }
910 1.26 hannken switch (fmi->fmi_state) {
911 1.26 hannken case FSTRANS_NORMAL:
912 1.26 hannken printf("state normal\n");
913 1.26 hannken break;
914 1.51 hannken case FSTRANS_SUSPENDING:
915 1.51 hannken printf("state suspending\n");
916 1.51 hannken break;
917 1.26 hannken case FSTRANS_SUSPENDED:
918 1.26 hannken printf("state suspended\n");
919 1.26 hannken break;
920 1.26 hannken default:
921 1.26 hannken printf("state %#x\n", fmi->fmi_state);
922 1.26 hannken break;
923 1.26 hannken }
924 1.26 hannken }
925 1.26 hannken
926 1.26 hannken void
927 1.26 hannken fstrans_dump(int full)
928 1.26 hannken {
929 1.26 hannken const struct proclist_desc *pd;
930 1.26 hannken struct proc *p;
931 1.26 hannken struct lwp *l;
932 1.26 hannken struct mount *mp;
933 1.26 hannken
934 1.26 hannken printf("Fstrans locks by lwp:\n");
935 1.26 hannken for (pd = proclists; pd->pd_list != NULL; pd++)
936 1.26 hannken PROCLIST_FOREACH(p, pd->pd_list)
937 1.26 hannken LIST_FOREACH(l, &p->p_lwps, l_sibling)
938 1.26 hannken fstrans_print_lwp(p, l, full == 1);
939 1.26 hannken
940 1.26 hannken printf("Fstrans state by mount:\n");
941 1.41 hannken for (mp = _mountlist_next(NULL); mp; mp = _mountlist_next(mp))
942 1.26 hannken fstrans_print_mount(mp, full == 1);
943 1.26 hannken }
944 1.26 hannken #endif /* defined(DDB) */
945