1 // SPDX-License-Identifier: GPL-2.0
2
3 #include "bcachefs.h"
4 #include "btree_key_cache.h"
5 #include "btree_update.h"
6 #include "errcode.h"
7 #include "error.h"
8 #include "fs.h"
9 #include "snapshot.h"
10 #include "subvolume.h"
11
12 #include <linux/random.h>
13
14 static int bch2_subvolume_delete(struct btree_trans *, u32);
15
subvolume_children_pos(struct bkey_s_c k)16 static struct bpos subvolume_children_pos(struct bkey_s_c k)
17 {
18 if (k.k->type != KEY_TYPE_subvolume)
19 return POS_MIN;
20
21 struct bkey_s_c_subvolume s = bkey_s_c_to_subvolume(k);
22 if (!s.v->fs_path_parent)
23 return POS_MIN;
24 return POS(le32_to_cpu(s.v->fs_path_parent), s.k->p.offset);
25 }
26
check_subvol(struct btree_trans * trans,struct btree_iter * iter,struct bkey_s_c k)27 static int check_subvol(struct btree_trans *trans,
28 struct btree_iter *iter,
29 struct bkey_s_c k)
30 {
31 struct bch_fs *c = trans->c;
32 struct bkey_s_c_subvolume subvol;
33 struct btree_iter subvol_children_iter = {};
34 struct bch_snapshot snapshot;
35 struct printbuf buf = PRINTBUF;
36 unsigned snapid;
37 int ret = 0;
38
39 if (k.k->type != KEY_TYPE_subvolume)
40 return 0;
41
42 subvol = bkey_s_c_to_subvolume(k);
43 snapid = le32_to_cpu(subvol.v->snapshot);
44 ret = bch2_snapshot_lookup(trans, snapid, &snapshot);
45
46 if (bch2_err_matches(ret, ENOENT))
47 bch_err(c, "subvolume %llu points to nonexistent snapshot %u",
48 k.k->p.offset, snapid);
49 if (ret)
50 return ret;
51
52 if (BCH_SUBVOLUME_UNLINKED(subvol.v)) {
53 ret = bch2_subvolume_delete(trans, iter->pos.offset);
54 bch_err_msg(c, ret, "deleting subvolume %llu", iter->pos.offset);
55 return ret ?: -BCH_ERR_transaction_restart_nested;
56 }
57
58 if (fsck_err_on(subvol.k->p.offset == BCACHEFS_ROOT_SUBVOL &&
59 subvol.v->fs_path_parent,
60 trans, subvol_root_fs_path_parent_nonzero,
61 "root subvolume has nonzero fs_path_parent\n%s",
62 (bch2_bkey_val_to_text(&buf, c, k), buf.buf))) {
63 struct bkey_i_subvolume *n =
64 bch2_bkey_make_mut_typed(trans, iter, &subvol.s_c, 0, subvolume);
65 ret = PTR_ERR_OR_ZERO(n);
66 if (ret)
67 goto err;
68
69 n->v.fs_path_parent = 0;
70 }
71
72 if (subvol.v->fs_path_parent) {
73 struct bpos pos = subvolume_children_pos(k);
74
75 struct bkey_s_c subvol_children_k =
76 bch2_bkey_get_iter(trans, &subvol_children_iter,
77 BTREE_ID_subvolume_children, pos, 0);
78 ret = bkey_err(subvol_children_k);
79 if (ret)
80 goto err;
81
82 if (fsck_err_on(subvol_children_k.k->type != KEY_TYPE_set,
83 trans, subvol_children_not_set,
84 "subvolume not set in subvolume_children btree at %llu:%llu\n%s",
85 pos.inode, pos.offset,
86 (printbuf_reset(&buf),
87 bch2_bkey_val_to_text(&buf, c, k), buf.buf))) {
88 ret = bch2_btree_bit_mod(trans, BTREE_ID_subvolume_children, pos, true);
89 if (ret)
90 goto err;
91 }
92 }
93
94 struct bch_inode_unpacked inode;
95 ret = bch2_inode_find_by_inum_nowarn_trans(trans,
96 (subvol_inum) { k.k->p.offset, le64_to_cpu(subvol.v->inode) },
97 &inode);
98 if (!ret) {
99 if (fsck_err_on(inode.bi_subvol != subvol.k->p.offset,
100 trans, subvol_root_wrong_bi_subvol,
101 "subvol root %llu:%u has wrong bi_subvol field: got %u, should be %llu",
102 inode.bi_inum, inode.bi_snapshot,
103 inode.bi_subvol, subvol.k->p.offset)) {
104 inode.bi_subvol = subvol.k->p.offset;
105 inode.bi_snapshot = le32_to_cpu(subvol.v->snapshot);
106 ret = __bch2_fsck_write_inode(trans, &inode);
107 if (ret)
108 goto err;
109 }
110 } else if (bch2_err_matches(ret, ENOENT)) {
111 if (fsck_err(trans, subvol_to_missing_root,
112 "subvolume %llu points to missing subvolume root %llu:%u",
113 k.k->p.offset, le64_to_cpu(subvol.v->inode),
114 le32_to_cpu(subvol.v->snapshot))) {
115 ret = bch2_subvolume_delete(trans, iter->pos.offset);
116 bch_err_msg(c, ret, "deleting subvolume %llu", iter->pos.offset);
117 ret = ret ?: -BCH_ERR_transaction_restart_nested;
118 goto err;
119 }
120 } else {
121 goto err;
122 }
123
124 if (!BCH_SUBVOLUME_SNAP(subvol.v)) {
125 u32 snapshot_root = bch2_snapshot_root(c, le32_to_cpu(subvol.v->snapshot));
126 u32 snapshot_tree;
127 struct bch_snapshot_tree st;
128
129 rcu_read_lock();
130 snapshot_tree = snapshot_t(c, snapshot_root)->tree;
131 rcu_read_unlock();
132
133 ret = bch2_snapshot_tree_lookup(trans, snapshot_tree, &st);
134
135 bch2_fs_inconsistent_on(bch2_err_matches(ret, ENOENT), c,
136 "%s: snapshot tree %u not found", __func__, snapshot_tree);
137
138 if (ret)
139 goto err;
140
141 if (fsck_err_on(le32_to_cpu(st.master_subvol) != subvol.k->p.offset,
142 trans, subvol_not_master_and_not_snapshot,
143 "subvolume %llu is not set as snapshot but is not master subvolume",
144 k.k->p.offset)) {
145 struct bkey_i_subvolume *s =
146 bch2_bkey_make_mut_typed(trans, iter, &subvol.s_c, 0, subvolume);
147 ret = PTR_ERR_OR_ZERO(s);
148 if (ret)
149 goto err;
150
151 SET_BCH_SUBVOLUME_SNAP(&s->v, true);
152 }
153 }
154 err:
155 fsck_err:
156 bch2_trans_iter_exit(trans, &subvol_children_iter);
157 printbuf_exit(&buf);
158 return ret;
159 }
160
bch2_check_subvols(struct bch_fs * c)161 int bch2_check_subvols(struct bch_fs *c)
162 {
163 int ret = bch2_trans_run(c,
164 for_each_btree_key_commit(trans, iter,
165 BTREE_ID_subvolumes, POS_MIN, BTREE_ITER_prefetch, k,
166 NULL, NULL, BCH_TRANS_COMMIT_no_enospc,
167 check_subvol(trans, &iter, k)));
168 bch_err_fn(c, ret);
169 return ret;
170 }
171
check_subvol_child(struct btree_trans * trans,struct btree_iter * child_iter,struct bkey_s_c child_k)172 static int check_subvol_child(struct btree_trans *trans,
173 struct btree_iter *child_iter,
174 struct bkey_s_c child_k)
175 {
176 struct bch_subvolume s;
177 int ret = bch2_bkey_get_val_typed(trans, BTREE_ID_subvolumes, POS(0, child_k.k->p.offset),
178 0, subvolume, &s);
179 if (ret && !bch2_err_matches(ret, ENOENT))
180 return ret;
181
182 if (fsck_err_on(ret ||
183 le32_to_cpu(s.fs_path_parent) != child_k.k->p.inode,
184 trans, subvol_children_bad,
185 "incorrect entry in subvolume_children btree %llu:%llu",
186 child_k.k->p.inode, child_k.k->p.offset)) {
187 ret = bch2_btree_delete_at(trans, child_iter, 0);
188 if (ret)
189 goto err;
190 }
191 err:
192 fsck_err:
193 return ret;
194 }
195
bch2_check_subvol_children(struct bch_fs * c)196 int bch2_check_subvol_children(struct bch_fs *c)
197 {
198 int ret = bch2_trans_run(c,
199 for_each_btree_key_commit(trans, iter,
200 BTREE_ID_subvolume_children, POS_MIN, BTREE_ITER_prefetch, k,
201 NULL, NULL, BCH_TRANS_COMMIT_no_enospc,
202 check_subvol_child(trans, &iter, k)));
203 bch_err_fn(c, ret);
204 return 0;
205 }
206
207 /* Subvolumes: */
208
bch2_subvolume_validate(struct bch_fs * c,struct bkey_s_c k,enum bch_validate_flags flags)209 int bch2_subvolume_validate(struct bch_fs *c, struct bkey_s_c k,
210 enum bch_validate_flags flags)
211 {
212 struct bkey_s_c_subvolume subvol = bkey_s_c_to_subvolume(k);
213 int ret = 0;
214
215 bkey_fsck_err_on(bkey_lt(k.k->p, SUBVOL_POS_MIN) ||
216 bkey_gt(k.k->p, SUBVOL_POS_MAX),
217 c, subvol_pos_bad,
218 "invalid pos");
219
220 bkey_fsck_err_on(!subvol.v->snapshot,
221 c, subvol_snapshot_bad,
222 "invalid snapshot");
223
224 bkey_fsck_err_on(!subvol.v->inode,
225 c, subvol_inode_bad,
226 "invalid inode");
227 fsck_err:
228 return ret;
229 }
230
bch2_subvolume_to_text(struct printbuf * out,struct bch_fs * c,struct bkey_s_c k)231 void bch2_subvolume_to_text(struct printbuf *out, struct bch_fs *c,
232 struct bkey_s_c k)
233 {
234 struct bkey_s_c_subvolume s = bkey_s_c_to_subvolume(k);
235
236 prt_printf(out, "root %llu snapshot id %u",
237 le64_to_cpu(s.v->inode),
238 le32_to_cpu(s.v->snapshot));
239
240 if (bkey_val_bytes(s.k) > offsetof(struct bch_subvolume, creation_parent)) {
241 prt_printf(out, " creation_parent %u", le32_to_cpu(s.v->creation_parent));
242 prt_printf(out, " fs_parent %u", le32_to_cpu(s.v->fs_path_parent));
243 }
244 }
245
subvolume_children_mod(struct btree_trans * trans,struct bpos pos,bool set)246 static int subvolume_children_mod(struct btree_trans *trans, struct bpos pos, bool set)
247 {
248 return !bpos_eq(pos, POS_MIN)
249 ? bch2_btree_bit_mod(trans, BTREE_ID_subvolume_children, pos, set)
250 : 0;
251 }
252
bch2_subvolume_trigger(struct btree_trans * trans,enum btree_id btree_id,unsigned level,struct bkey_s_c old,struct bkey_s new,enum btree_iter_update_trigger_flags flags)253 int bch2_subvolume_trigger(struct btree_trans *trans,
254 enum btree_id btree_id, unsigned level,
255 struct bkey_s_c old, struct bkey_s new,
256 enum btree_iter_update_trigger_flags flags)
257 {
258 if (flags & BTREE_TRIGGER_transactional) {
259 struct bpos children_pos_old = subvolume_children_pos(old);
260 struct bpos children_pos_new = subvolume_children_pos(new.s_c);
261
262 if (!bpos_eq(children_pos_old, children_pos_new)) {
263 int ret = subvolume_children_mod(trans, children_pos_old, false) ?:
264 subvolume_children_mod(trans, children_pos_new, true);
265 if (ret)
266 return ret;
267 }
268 }
269
270 return 0;
271 }
272
bch2_subvol_has_children(struct btree_trans * trans,u32 subvol)273 int bch2_subvol_has_children(struct btree_trans *trans, u32 subvol)
274 {
275 struct btree_iter iter;
276
277 bch2_trans_iter_init(trans, &iter, BTREE_ID_subvolume_children, POS(subvol, 0), 0);
278 struct bkey_s_c k = bch2_btree_iter_peek(&iter);
279 bch2_trans_iter_exit(trans, &iter);
280
281 return bkey_err(k) ?: k.k && k.k->p.inode == subvol
282 ? -BCH_ERR_ENOTEMPTY_subvol_not_empty
283 : 0;
284 }
285
286 static __always_inline int
bch2_subvolume_get_inlined(struct btree_trans * trans,unsigned subvol,bool inconsistent_if_not_found,int iter_flags,struct bch_subvolume * s)287 bch2_subvolume_get_inlined(struct btree_trans *trans, unsigned subvol,
288 bool inconsistent_if_not_found,
289 int iter_flags,
290 struct bch_subvolume *s)
291 {
292 int ret = bch2_bkey_get_val_typed(trans, BTREE_ID_subvolumes, POS(0, subvol),
293 iter_flags, subvolume, s);
294 bch2_fs_inconsistent_on(bch2_err_matches(ret, ENOENT) &&
295 inconsistent_if_not_found,
296 trans->c, "missing subvolume %u", subvol);
297 return ret;
298 }
299
bch2_subvolume_get(struct btree_trans * trans,unsigned subvol,bool inconsistent_if_not_found,int iter_flags,struct bch_subvolume * s)300 int bch2_subvolume_get(struct btree_trans *trans, unsigned subvol,
301 bool inconsistent_if_not_found,
302 int iter_flags,
303 struct bch_subvolume *s)
304 {
305 return bch2_subvolume_get_inlined(trans, subvol, inconsistent_if_not_found, iter_flags, s);
306 }
307
bch2_subvol_is_ro_trans(struct btree_trans * trans,u32 subvol)308 int bch2_subvol_is_ro_trans(struct btree_trans *trans, u32 subvol)
309 {
310 struct bch_subvolume s;
311 int ret = bch2_subvolume_get_inlined(trans, subvol, true, 0, &s);
312 if (ret)
313 return ret;
314
315 if (BCH_SUBVOLUME_RO(&s))
316 return -EROFS;
317 return 0;
318 }
319
bch2_subvol_is_ro(struct bch_fs * c,u32 subvol)320 int bch2_subvol_is_ro(struct bch_fs *c, u32 subvol)
321 {
322 return bch2_trans_do(c, bch2_subvol_is_ro_trans(trans, subvol));
323 }
324
bch2_snapshot_get_subvol(struct btree_trans * trans,u32 snapshot,struct bch_subvolume * subvol)325 int bch2_snapshot_get_subvol(struct btree_trans *trans, u32 snapshot,
326 struct bch_subvolume *subvol)
327 {
328 struct bch_snapshot snap;
329
330 return bch2_snapshot_lookup(trans, snapshot, &snap) ?:
331 bch2_subvolume_get(trans, le32_to_cpu(snap.subvol), true, 0, subvol);
332 }
333
__bch2_subvolume_get_snapshot(struct btree_trans * trans,u32 subvolid,u32 * snapid,bool warn)334 int __bch2_subvolume_get_snapshot(struct btree_trans *trans, u32 subvolid,
335 u32 *snapid, bool warn)
336 {
337 struct btree_iter iter;
338 struct bkey_s_c_subvolume subvol;
339 int ret;
340
341 subvol = bch2_bkey_get_iter_typed(trans, &iter,
342 BTREE_ID_subvolumes, POS(0, subvolid),
343 BTREE_ITER_cached|BTREE_ITER_with_updates,
344 subvolume);
345 ret = bkey_err(subvol);
346
347 bch2_fs_inconsistent_on(warn && bch2_err_matches(ret, ENOENT), trans->c,
348 "missing subvolume %u", subvolid);
349
350 if (likely(!ret))
351 *snapid = le32_to_cpu(subvol.v->snapshot);
352 bch2_trans_iter_exit(trans, &iter);
353 return ret;
354 }
355
bch2_subvolume_get_snapshot(struct btree_trans * trans,u32 subvolid,u32 * snapid)356 int bch2_subvolume_get_snapshot(struct btree_trans *trans, u32 subvolid,
357 u32 *snapid)
358 {
359 return __bch2_subvolume_get_snapshot(trans, subvolid, snapid, true);
360 }
361
bch2_subvolume_reparent(struct btree_trans * trans,struct btree_iter * iter,struct bkey_s_c k,u32 old_parent,u32 new_parent)362 static int bch2_subvolume_reparent(struct btree_trans *trans,
363 struct btree_iter *iter,
364 struct bkey_s_c k,
365 u32 old_parent, u32 new_parent)
366 {
367 struct bkey_i_subvolume *s;
368 int ret;
369
370 if (k.k->type != KEY_TYPE_subvolume)
371 return 0;
372
373 if (bkey_val_bytes(k.k) > offsetof(struct bch_subvolume, creation_parent) &&
374 le32_to_cpu(bkey_s_c_to_subvolume(k).v->creation_parent) != old_parent)
375 return 0;
376
377 s = bch2_bkey_make_mut_typed(trans, iter, &k, 0, subvolume);
378 ret = PTR_ERR_OR_ZERO(s);
379 if (ret)
380 return ret;
381
382 s->v.creation_parent = cpu_to_le32(new_parent);
383 return 0;
384 }
385
386 /*
387 * Separate from the snapshot tree in the snapshots btree, we record the tree
388 * structure of how snapshot subvolumes were created - the parent subvolume of
389 * each snapshot subvolume.
390 *
391 * When a subvolume is deleted, we scan for child subvolumes and reparant them,
392 * to avoid dangling references:
393 */
bch2_subvolumes_reparent(struct btree_trans * trans,u32 subvolid_to_delete)394 static int bch2_subvolumes_reparent(struct btree_trans *trans, u32 subvolid_to_delete)
395 {
396 struct bch_subvolume s;
397
398 return lockrestart_do(trans,
399 bch2_subvolume_get(trans, subvolid_to_delete, true,
400 BTREE_ITER_cached, &s)) ?:
401 for_each_btree_key_commit(trans, iter,
402 BTREE_ID_subvolumes, POS_MIN, BTREE_ITER_prefetch, k,
403 NULL, NULL, BCH_TRANS_COMMIT_no_enospc,
404 bch2_subvolume_reparent(trans, &iter, k,
405 subvolid_to_delete, le32_to_cpu(s.creation_parent)));
406 }
407
408 /*
409 * Delete subvolume, mark snapshot ID as deleted, queue up snapshot
410 * deletion/cleanup:
411 */
__bch2_subvolume_delete(struct btree_trans * trans,u32 subvolid)412 static int __bch2_subvolume_delete(struct btree_trans *trans, u32 subvolid)
413 {
414 struct btree_iter iter;
415 struct bkey_s_c_subvolume subvol;
416 u32 snapid;
417 int ret = 0;
418
419 subvol = bch2_bkey_get_iter_typed(trans, &iter,
420 BTREE_ID_subvolumes, POS(0, subvolid),
421 BTREE_ITER_cached|BTREE_ITER_intent,
422 subvolume);
423 ret = bkey_err(subvol);
424 bch2_fs_inconsistent_on(bch2_err_matches(ret, ENOENT), trans->c,
425 "missing subvolume %u", subvolid);
426 if (ret)
427 return ret;
428
429 snapid = le32_to_cpu(subvol.v->snapshot);
430
431 ret = bch2_btree_delete_at(trans, &iter, 0) ?:
432 bch2_snapshot_node_set_deleted(trans, snapid);
433 bch2_trans_iter_exit(trans, &iter);
434 return ret;
435 }
436
bch2_subvolume_delete(struct btree_trans * trans,u32 subvolid)437 static int bch2_subvolume_delete(struct btree_trans *trans, u32 subvolid)
438 {
439 return bch2_subvolumes_reparent(trans, subvolid) ?:
440 commit_do(trans, NULL, NULL, BCH_TRANS_COMMIT_no_enospc,
441 __bch2_subvolume_delete(trans, subvolid));
442 }
443
bch2_subvolume_wait_for_pagecache_and_delete(struct work_struct * work)444 static void bch2_subvolume_wait_for_pagecache_and_delete(struct work_struct *work)
445 {
446 struct bch_fs *c = container_of(work, struct bch_fs,
447 snapshot_wait_for_pagecache_and_delete_work);
448 snapshot_id_list s;
449 u32 *id;
450 int ret = 0;
451
452 while (!ret) {
453 mutex_lock(&c->snapshots_unlinked_lock);
454 s = c->snapshots_unlinked;
455 darray_init(&c->snapshots_unlinked);
456 mutex_unlock(&c->snapshots_unlinked_lock);
457
458 if (!s.nr)
459 break;
460
461 bch2_evict_subvolume_inodes(c, &s);
462
463 for (id = s.data; id < s.data + s.nr; id++) {
464 ret = bch2_trans_run(c, bch2_subvolume_delete(trans, *id));
465 bch_err_msg(c, ret, "deleting subvolume %u", *id);
466 if (ret)
467 break;
468 }
469
470 darray_exit(&s);
471 }
472
473 bch2_write_ref_put(c, BCH_WRITE_REF_snapshot_delete_pagecache);
474 }
475
476 struct subvolume_unlink_hook {
477 struct btree_trans_commit_hook h;
478 u32 subvol;
479 };
480
bch2_subvolume_wait_for_pagecache_and_delete_hook(struct btree_trans * trans,struct btree_trans_commit_hook * _h)481 static int bch2_subvolume_wait_for_pagecache_and_delete_hook(struct btree_trans *trans,
482 struct btree_trans_commit_hook *_h)
483 {
484 struct subvolume_unlink_hook *h = container_of(_h, struct subvolume_unlink_hook, h);
485 struct bch_fs *c = trans->c;
486 int ret = 0;
487
488 mutex_lock(&c->snapshots_unlinked_lock);
489 if (!snapshot_list_has_id(&c->snapshots_unlinked, h->subvol))
490 ret = snapshot_list_add(c, &c->snapshots_unlinked, h->subvol);
491 mutex_unlock(&c->snapshots_unlinked_lock);
492
493 if (ret)
494 return ret;
495
496 if (!bch2_write_ref_tryget(c, BCH_WRITE_REF_snapshot_delete_pagecache))
497 return -EROFS;
498
499 if (!queue_work(c->write_ref_wq, &c->snapshot_wait_for_pagecache_and_delete_work))
500 bch2_write_ref_put(c, BCH_WRITE_REF_snapshot_delete_pagecache);
501 return 0;
502 }
503
bch2_subvolume_unlink(struct btree_trans * trans,u32 subvolid)504 int bch2_subvolume_unlink(struct btree_trans *trans, u32 subvolid)
505 {
506 struct btree_iter iter;
507 struct bkey_i_subvolume *n;
508 struct subvolume_unlink_hook *h;
509 int ret = 0;
510
511 h = bch2_trans_kmalloc(trans, sizeof(*h));
512 ret = PTR_ERR_OR_ZERO(h);
513 if (ret)
514 return ret;
515
516 h->h.fn = bch2_subvolume_wait_for_pagecache_and_delete_hook;
517 h->subvol = subvolid;
518 bch2_trans_commit_hook(trans, &h->h);
519
520 n = bch2_bkey_get_mut_typed(trans, &iter,
521 BTREE_ID_subvolumes, POS(0, subvolid),
522 BTREE_ITER_cached, subvolume);
523 ret = PTR_ERR_OR_ZERO(n);
524 if (unlikely(ret)) {
525 bch2_fs_inconsistent_on(bch2_err_matches(ret, ENOENT), trans->c,
526 "missing subvolume %u", subvolid);
527 return ret;
528 }
529
530 SET_BCH_SUBVOLUME_UNLINKED(&n->v, true);
531 bch2_trans_iter_exit(trans, &iter);
532 return ret;
533 }
534
bch2_subvolume_create(struct btree_trans * trans,u64 inode,u32 parent_subvolid,u32 src_subvolid,u32 * new_subvolid,u32 * new_snapshotid,bool ro)535 int bch2_subvolume_create(struct btree_trans *trans, u64 inode,
536 u32 parent_subvolid,
537 u32 src_subvolid,
538 u32 *new_subvolid,
539 u32 *new_snapshotid,
540 bool ro)
541 {
542 struct bch_fs *c = trans->c;
543 struct btree_iter dst_iter, src_iter = (struct btree_iter) { NULL };
544 struct bkey_i_subvolume *new_subvol = NULL;
545 struct bkey_i_subvolume *src_subvol = NULL;
546 u32 parent = 0, new_nodes[2], snapshot_subvols[2];
547 int ret = 0;
548
549 ret = bch2_bkey_get_empty_slot(trans, &dst_iter,
550 BTREE_ID_subvolumes, POS(0, U32_MAX));
551 if (ret == -BCH_ERR_ENOSPC_btree_slot)
552 ret = -BCH_ERR_ENOSPC_subvolume_create;
553 if (ret)
554 return ret;
555
556 snapshot_subvols[0] = dst_iter.pos.offset;
557 snapshot_subvols[1] = src_subvolid;
558
559 if (src_subvolid) {
560 /* Creating a snapshot: */
561
562 src_subvol = bch2_bkey_get_mut_typed(trans, &src_iter,
563 BTREE_ID_subvolumes, POS(0, src_subvolid),
564 BTREE_ITER_cached, subvolume);
565 ret = PTR_ERR_OR_ZERO(src_subvol);
566 if (unlikely(ret)) {
567 bch2_fs_inconsistent_on(bch2_err_matches(ret, ENOENT), c,
568 "subvolume %u not found", src_subvolid);
569 goto err;
570 }
571
572 parent = le32_to_cpu(src_subvol->v.snapshot);
573 }
574
575 ret = bch2_snapshot_node_create(trans, parent, new_nodes,
576 snapshot_subvols,
577 src_subvolid ? 2 : 1);
578 if (ret)
579 goto err;
580
581 if (src_subvolid) {
582 src_subvol->v.snapshot = cpu_to_le32(new_nodes[1]);
583 ret = bch2_trans_update(trans, &src_iter, &src_subvol->k_i, 0);
584 if (ret)
585 goto err;
586 }
587
588 new_subvol = bch2_bkey_alloc(trans, &dst_iter, 0, subvolume);
589 ret = PTR_ERR_OR_ZERO(new_subvol);
590 if (ret)
591 goto err;
592
593 new_subvol->v.flags = 0;
594 new_subvol->v.snapshot = cpu_to_le32(new_nodes[0]);
595 new_subvol->v.inode = cpu_to_le64(inode);
596 new_subvol->v.creation_parent = cpu_to_le32(src_subvolid);
597 new_subvol->v.fs_path_parent = cpu_to_le32(parent_subvolid);
598 new_subvol->v.otime.lo = cpu_to_le64(bch2_current_time(c));
599 new_subvol->v.otime.hi = 0;
600
601 SET_BCH_SUBVOLUME_RO(&new_subvol->v, ro);
602 SET_BCH_SUBVOLUME_SNAP(&new_subvol->v, src_subvolid != 0);
603
604 *new_subvolid = new_subvol->k.p.offset;
605 *new_snapshotid = new_nodes[0];
606 err:
607 bch2_trans_iter_exit(trans, &src_iter);
608 bch2_trans_iter_exit(trans, &dst_iter);
609 return ret;
610 }
611
bch2_initialize_subvolumes(struct bch_fs * c)612 int bch2_initialize_subvolumes(struct bch_fs *c)
613 {
614 struct bkey_i_snapshot_tree root_tree;
615 struct bkey_i_snapshot root_snapshot;
616 struct bkey_i_subvolume root_volume;
617 int ret;
618
619 bkey_snapshot_tree_init(&root_tree.k_i);
620 root_tree.k.p.offset = 1;
621 root_tree.v.master_subvol = cpu_to_le32(1);
622 root_tree.v.root_snapshot = cpu_to_le32(U32_MAX);
623
624 bkey_snapshot_init(&root_snapshot.k_i);
625 root_snapshot.k.p.offset = U32_MAX;
626 root_snapshot.v.flags = 0;
627 root_snapshot.v.parent = 0;
628 root_snapshot.v.subvol = cpu_to_le32(BCACHEFS_ROOT_SUBVOL);
629 root_snapshot.v.tree = cpu_to_le32(1);
630 SET_BCH_SNAPSHOT_SUBVOL(&root_snapshot.v, true);
631
632 bkey_subvolume_init(&root_volume.k_i);
633 root_volume.k.p.offset = BCACHEFS_ROOT_SUBVOL;
634 root_volume.v.flags = 0;
635 root_volume.v.snapshot = cpu_to_le32(U32_MAX);
636 root_volume.v.inode = cpu_to_le64(BCACHEFS_ROOT_INO);
637
638 ret = bch2_btree_insert(c, BTREE_ID_snapshot_trees, &root_tree.k_i, NULL, 0, 0) ?:
639 bch2_btree_insert(c, BTREE_ID_snapshots, &root_snapshot.k_i, NULL, 0, 0) ?:
640 bch2_btree_insert(c, BTREE_ID_subvolumes, &root_volume.k_i, NULL, 0, 0);
641 bch_err_fn(c, ret);
642 return ret;
643 }
644
__bch2_fs_upgrade_for_subvolumes(struct btree_trans * trans)645 static int __bch2_fs_upgrade_for_subvolumes(struct btree_trans *trans)
646 {
647 struct btree_iter iter;
648 struct bkey_s_c k;
649 struct bch_inode_unpacked inode;
650 int ret;
651
652 k = bch2_bkey_get_iter(trans, &iter, BTREE_ID_inodes,
653 SPOS(0, BCACHEFS_ROOT_INO, U32_MAX), 0);
654 ret = bkey_err(k);
655 if (ret)
656 return ret;
657
658 if (!bkey_is_inode(k.k)) {
659 bch_err(trans->c, "root inode not found");
660 ret = -BCH_ERR_ENOENT_inode;
661 goto err;
662 }
663
664 ret = bch2_inode_unpack(k, &inode);
665 BUG_ON(ret);
666
667 inode.bi_subvol = BCACHEFS_ROOT_SUBVOL;
668
669 ret = bch2_inode_write(trans, &iter, &inode);
670 err:
671 bch2_trans_iter_exit(trans, &iter);
672 return ret;
673 }
674
675 /* set bi_subvol on root inode */
bch2_fs_upgrade_for_subvolumes(struct bch_fs * c)676 int bch2_fs_upgrade_for_subvolumes(struct bch_fs *c)
677 {
678 int ret = bch2_trans_commit_do(c, NULL, NULL, BCH_TRANS_COMMIT_lazy_rw,
679 __bch2_fs_upgrade_for_subvolumes(trans));
680 bch_err_fn(c, ret);
681 return ret;
682 }
683
bch2_fs_subvolumes_init(struct bch_fs * c)684 int bch2_fs_subvolumes_init(struct bch_fs *c)
685 {
686 INIT_WORK(&c->snapshot_delete_work, bch2_delete_dead_snapshots_work);
687 INIT_WORK(&c->snapshot_wait_for_pagecache_and_delete_work,
688 bch2_subvolume_wait_for_pagecache_and_delete);
689 mutex_init(&c->snapshots_unlinked_lock);
690 return 0;
691 }
692