1 // SPDX-License-Identifier: GPL-2.0
2 /*
3 * Code for manipulating bucket marks for garbage collection.
4 *
5 * Copyright 2014 Datera, Inc.
6 */
7
8 #include "bcachefs.h"
9 #include "alloc_background.h"
10 #include "backpointers.h"
11 #include "bset.h"
12 #include "btree_gc.h"
13 #include "btree_update.h"
14 #include "buckets.h"
15 #include "buckets_waiting_for_journal.h"
16 #include "disk_accounting.h"
17 #include "ec.h"
18 #include "error.h"
19 #include "inode.h"
20 #include "movinggc.h"
21 #include "rebalance.h"
22 #include "recovery.h"
23 #include "recovery_passes.h"
24 #include "reflink.h"
25 #include "replicas.h"
26 #include "subvolume.h"
27 #include "trace.h"
28
29 #include <linux/preempt.h>
30
bch2_dev_usage_read_fast(struct bch_dev * ca,struct bch_dev_usage * usage)31 void bch2_dev_usage_read_fast(struct bch_dev *ca, struct bch_dev_usage *usage)
32 {
33 for (unsigned i = 0; i < BCH_DATA_NR; i++)
34 usage->buckets[i] = percpu_u64_get(&ca->usage->d[i].buckets);
35 }
36
bch2_dev_usage_full_read_fast(struct bch_dev * ca,struct bch_dev_usage_full * usage)37 void bch2_dev_usage_full_read_fast(struct bch_dev *ca, struct bch_dev_usage_full *usage)
38 {
39 memset(usage, 0, sizeof(*usage));
40 acc_u64s_percpu((u64 *) usage, (u64 __percpu *) ca->usage,
41 sizeof(struct bch_dev_usage_full) / sizeof(u64));
42 }
43
reserve_factor(u64 r)44 static u64 reserve_factor(u64 r)
45 {
46 return r + (round_up(r, (1 << RESERVE_FACTOR)) >> RESERVE_FACTOR);
47 }
48
49 static struct bch_fs_usage_short
__bch2_fs_usage_read_short(struct bch_fs * c)50 __bch2_fs_usage_read_short(struct bch_fs *c)
51 {
52 struct bch_fs_usage_short ret;
53 u64 data, reserved;
54
55 ret.capacity = c->capacity -
56 percpu_u64_get(&c->usage->hidden);
57
58 data = percpu_u64_get(&c->usage->data) +
59 percpu_u64_get(&c->usage->btree);
60 reserved = percpu_u64_get(&c->usage->reserved) +
61 percpu_u64_get(c->online_reserved);
62
63 ret.used = min(ret.capacity, data + reserve_factor(reserved));
64 ret.free = ret.capacity - ret.used;
65
66 ret.nr_inodes = percpu_u64_get(&c->usage->nr_inodes);
67
68 return ret;
69 }
70
71 struct bch_fs_usage_short
bch2_fs_usage_read_short(struct bch_fs * c)72 bch2_fs_usage_read_short(struct bch_fs *c)
73 {
74 struct bch_fs_usage_short ret;
75
76 percpu_down_read(&c->mark_lock);
77 ret = __bch2_fs_usage_read_short(c);
78 percpu_up_read(&c->mark_lock);
79
80 return ret;
81 }
82
bch2_dev_usage_to_text(struct printbuf * out,struct bch_dev * ca,struct bch_dev_usage_full * usage)83 void bch2_dev_usage_to_text(struct printbuf *out,
84 struct bch_dev *ca,
85 struct bch_dev_usage_full *usage)
86 {
87 if (out->nr_tabstops < 5) {
88 printbuf_tabstops_reset(out);
89 printbuf_tabstop_push(out, 12);
90 printbuf_tabstop_push(out, 16);
91 printbuf_tabstop_push(out, 16);
92 printbuf_tabstop_push(out, 16);
93 printbuf_tabstop_push(out, 16);
94 }
95
96 prt_printf(out, "\tbuckets\rsectors\rfragmented\r\n");
97
98 for (unsigned i = 0; i < BCH_DATA_NR; i++) {
99 bch2_prt_data_type(out, i);
100 prt_printf(out, "\t%llu\r%llu\r%llu\r\n",
101 usage->d[i].buckets,
102 usage->d[i].sectors,
103 usage->d[i].fragmented);
104 }
105
106 prt_printf(out, "capacity\t%llu\r\n", ca->mi.nbuckets);
107 }
108
bch2_check_fix_ptr(struct btree_trans * trans,struct bkey_s_c k,struct extent_ptr_decoded p,const union bch_extent_entry * entry,bool * do_update)109 static int bch2_check_fix_ptr(struct btree_trans *trans,
110 struct bkey_s_c k,
111 struct extent_ptr_decoded p,
112 const union bch_extent_entry *entry,
113 bool *do_update)
114 {
115 struct bch_fs *c = trans->c;
116 struct printbuf buf = PRINTBUF;
117 int ret = 0;
118
119 struct bch_dev *ca = bch2_dev_tryget(c, p.ptr.dev);
120 if (!ca) {
121 if (fsck_err_on(p.ptr.dev != BCH_SB_MEMBER_INVALID,
122 trans, ptr_to_invalid_device,
123 "pointer to missing device %u\n"
124 "while marking %s",
125 p.ptr.dev,
126 (printbuf_reset(&buf),
127 bch2_bkey_val_to_text(&buf, c, k), buf.buf)))
128 *do_update = true;
129 return 0;
130 }
131
132 struct bucket *g = PTR_GC_BUCKET(ca, &p.ptr);
133 if (!g) {
134 if (fsck_err(trans, ptr_to_invalid_device,
135 "pointer to invalid bucket on device %u\n"
136 "while marking %s",
137 p.ptr.dev,
138 (printbuf_reset(&buf),
139 bch2_bkey_val_to_text(&buf, c, k), buf.buf)))
140 *do_update = true;
141 goto out;
142 }
143
144 enum bch_data_type data_type = bch2_bkey_ptr_data_type(k, p, entry);
145
146 if (fsck_err_on(!g->gen_valid,
147 trans, ptr_to_missing_alloc_key,
148 "bucket %u:%zu data type %s ptr gen %u missing in alloc btree\n"
149 "while marking %s",
150 p.ptr.dev, PTR_BUCKET_NR(ca, &p.ptr),
151 bch2_data_type_str(ptr_data_type(k.k, &p.ptr)),
152 p.ptr.gen,
153 (printbuf_reset(&buf),
154 bch2_bkey_val_to_text(&buf, c, k), buf.buf))) {
155 if (!p.ptr.cached) {
156 g->gen_valid = true;
157 g->gen = p.ptr.gen;
158 } else {
159 *do_update = true;
160 }
161 }
162
163 if (fsck_err_on(gen_cmp(p.ptr.gen, g->gen) > 0,
164 trans, ptr_gen_newer_than_bucket_gen,
165 "bucket %u:%zu data type %s ptr gen in the future: %u > %u\n"
166 "while marking %s",
167 p.ptr.dev, PTR_BUCKET_NR(ca, &p.ptr),
168 bch2_data_type_str(ptr_data_type(k.k, &p.ptr)),
169 p.ptr.gen, g->gen,
170 (printbuf_reset(&buf),
171 bch2_bkey_val_to_text(&buf, c, k), buf.buf))) {
172 if (!p.ptr.cached &&
173 (g->data_type != BCH_DATA_btree ||
174 data_type == BCH_DATA_btree)) {
175 g->gen_valid = true;
176 g->gen = p.ptr.gen;
177 g->data_type = 0;
178 g->stripe_sectors = 0;
179 g->dirty_sectors = 0;
180 g->cached_sectors = 0;
181 } else {
182 *do_update = true;
183 }
184 }
185
186 if (fsck_err_on(gen_cmp(g->gen, p.ptr.gen) > BUCKET_GC_GEN_MAX,
187 trans, ptr_gen_newer_than_bucket_gen,
188 "bucket %u:%zu gen %u data type %s: ptr gen %u too stale\n"
189 "while marking %s",
190 p.ptr.dev, PTR_BUCKET_NR(ca, &p.ptr), g->gen,
191 bch2_data_type_str(ptr_data_type(k.k, &p.ptr)),
192 p.ptr.gen,
193 (printbuf_reset(&buf),
194 bch2_bkey_val_to_text(&buf, c, k), buf.buf)))
195 *do_update = true;
196
197 if (fsck_err_on(!p.ptr.cached && gen_cmp(p.ptr.gen, g->gen) < 0,
198 trans, stale_dirty_ptr,
199 "bucket %u:%zu data type %s stale dirty ptr: %u < %u\n"
200 "while marking %s",
201 p.ptr.dev, PTR_BUCKET_NR(ca, &p.ptr),
202 bch2_data_type_str(ptr_data_type(k.k, &p.ptr)),
203 p.ptr.gen, g->gen,
204 (printbuf_reset(&buf),
205 bch2_bkey_val_to_text(&buf, c, k), buf.buf)))
206 *do_update = true;
207
208 if (data_type != BCH_DATA_btree && p.ptr.gen != g->gen)
209 goto out;
210
211 if (fsck_err_on(bucket_data_type_mismatch(g->data_type, data_type),
212 trans, ptr_bucket_data_type_mismatch,
213 "bucket %u:%zu gen %u different types of data in same bucket: %s, %s\n"
214 "while marking %s",
215 p.ptr.dev, PTR_BUCKET_NR(ca, &p.ptr), g->gen,
216 bch2_data_type_str(g->data_type),
217 bch2_data_type_str(data_type),
218 (printbuf_reset(&buf),
219 bch2_bkey_val_to_text(&buf, c, k), buf.buf))) {
220 if (data_type == BCH_DATA_btree) {
221 g->gen_valid = true;
222 g->gen = p.ptr.gen;
223 g->data_type = data_type;
224 g->stripe_sectors = 0;
225 g->dirty_sectors = 0;
226 g->cached_sectors = 0;
227 } else {
228 *do_update = true;
229 }
230 }
231
232 if (p.has_ec) {
233 struct gc_stripe *m = genradix_ptr(&c->gc_stripes, p.ec.idx);
234
235 if (fsck_err_on(!m || !m->alive,
236 trans, ptr_to_missing_stripe,
237 "pointer to nonexistent stripe %llu\n"
238 "while marking %s",
239 (u64) p.ec.idx,
240 (printbuf_reset(&buf),
241 bch2_bkey_val_to_text(&buf, c, k), buf.buf)))
242 *do_update = true;
243
244 if (fsck_err_on(m && m->alive && !bch2_ptr_matches_stripe_m(m, p),
245 trans, ptr_to_incorrect_stripe,
246 "pointer does not match stripe %llu\n"
247 "while marking %s",
248 (u64) p.ec.idx,
249 (printbuf_reset(&buf),
250 bch2_bkey_val_to_text(&buf, c, k), buf.buf)))
251 *do_update = true;
252 }
253 out:
254 fsck_err:
255 bch2_dev_put(ca);
256 printbuf_exit(&buf);
257 return ret;
258 }
259
bch2_check_fix_ptrs(struct btree_trans * trans,enum btree_id btree,unsigned level,struct bkey_s_c k,enum btree_iter_update_trigger_flags flags)260 int bch2_check_fix_ptrs(struct btree_trans *trans,
261 enum btree_id btree, unsigned level, struct bkey_s_c k,
262 enum btree_iter_update_trigger_flags flags)
263 {
264 struct bch_fs *c = trans->c;
265 struct bkey_ptrs_c ptrs_c = bch2_bkey_ptrs_c(k);
266 const union bch_extent_entry *entry_c;
267 struct extent_ptr_decoded p = { 0 };
268 bool do_update = false;
269 struct printbuf buf = PRINTBUF;
270 int ret = 0;
271
272 bkey_for_each_ptr_decode(k.k, ptrs_c, p, entry_c) {
273 ret = bch2_check_fix_ptr(trans, k, p, entry_c, &do_update);
274 if (ret)
275 goto err;
276 }
277
278 if (do_update) {
279 if (flags & BTREE_TRIGGER_is_root) {
280 bch_err(c, "cannot update btree roots yet");
281 ret = -EINVAL;
282 goto err;
283 }
284
285 struct bkey_i *new = bch2_bkey_make_mut_noupdate(trans, k);
286 ret = PTR_ERR_OR_ZERO(new);
287 if (ret)
288 goto err;
289
290 rcu_read_lock();
291 bch2_bkey_drop_ptrs(bkey_i_to_s(new), ptr, !bch2_dev_exists(c, ptr->dev));
292 rcu_read_unlock();
293
294 if (level) {
295 /*
296 * We don't want to drop btree node pointers - if the
297 * btree node isn't there anymore, the read path will
298 * sort it out:
299 */
300 struct bkey_ptrs ptrs = bch2_bkey_ptrs(bkey_i_to_s(new));
301 rcu_read_lock();
302 bkey_for_each_ptr(ptrs, ptr) {
303 struct bch_dev *ca = bch2_dev_rcu(c, ptr->dev);
304 struct bucket *g = PTR_GC_BUCKET(ca, ptr);
305
306 ptr->gen = g->gen;
307 }
308 rcu_read_unlock();
309 } else {
310 struct bkey_ptrs ptrs;
311 union bch_extent_entry *entry;
312
313 rcu_read_lock();
314 restart_drop_ptrs:
315 ptrs = bch2_bkey_ptrs(bkey_i_to_s(new));
316 bkey_for_each_ptr_decode(bkey_i_to_s(new).k, ptrs, p, entry) {
317 struct bch_dev *ca = bch2_dev_rcu(c, p.ptr.dev);
318 struct bucket *g = PTR_GC_BUCKET(ca, &p.ptr);
319 enum bch_data_type data_type = bch2_bkey_ptr_data_type(bkey_i_to_s_c(new), p, entry);
320
321 if ((p.ptr.cached &&
322 (!g->gen_valid || gen_cmp(p.ptr.gen, g->gen) > 0)) ||
323 (!p.ptr.cached &&
324 gen_cmp(p.ptr.gen, g->gen) < 0) ||
325 gen_cmp(g->gen, p.ptr.gen) > BUCKET_GC_GEN_MAX ||
326 (g->data_type &&
327 g->data_type != data_type)) {
328 bch2_bkey_drop_ptr(bkey_i_to_s(new), &entry->ptr);
329 goto restart_drop_ptrs;
330 }
331 }
332 rcu_read_unlock();
333 again:
334 ptrs = bch2_bkey_ptrs(bkey_i_to_s(new));
335 bkey_extent_entry_for_each(ptrs, entry) {
336 if (extent_entry_type(entry) == BCH_EXTENT_ENTRY_stripe_ptr) {
337 struct gc_stripe *m = genradix_ptr(&c->gc_stripes,
338 entry->stripe_ptr.idx);
339 union bch_extent_entry *next_ptr;
340
341 bkey_extent_entry_for_each_from(ptrs, next_ptr, entry)
342 if (extent_entry_type(next_ptr) == BCH_EXTENT_ENTRY_ptr)
343 goto found;
344 next_ptr = NULL;
345 found:
346 if (!next_ptr) {
347 bch_err(c, "aieee, found stripe ptr with no data ptr");
348 continue;
349 }
350
351 if (!m || !m->alive ||
352 !__bch2_ptr_matches_stripe(&m->ptrs[entry->stripe_ptr.block],
353 &next_ptr->ptr,
354 m->sectors)) {
355 bch2_bkey_extent_entry_drop(new, entry);
356 goto again;
357 }
358 }
359 }
360 }
361
362 if (0) {
363 printbuf_reset(&buf);
364 bch2_bkey_val_to_text(&buf, c, k);
365 bch_info(c, "updated %s", buf.buf);
366
367 printbuf_reset(&buf);
368 bch2_bkey_val_to_text(&buf, c, bkey_i_to_s_c(new));
369 bch_info(c, "new key %s", buf.buf);
370 }
371
372 struct btree_iter iter;
373 bch2_trans_node_iter_init(trans, &iter, btree, new->k.p, 0, level,
374 BTREE_ITER_intent|BTREE_ITER_all_snapshots);
375 ret = bch2_btree_iter_traverse(trans, &iter) ?:
376 bch2_trans_update(trans, &iter, new,
377 BTREE_UPDATE_internal_snapshot_node|
378 BTREE_TRIGGER_norun);
379 bch2_trans_iter_exit(trans, &iter);
380 if (ret)
381 goto err;
382
383 if (level)
384 bch2_btree_node_update_key_early(trans, btree, level - 1, k, new);
385 }
386 err:
387 printbuf_exit(&buf);
388 return ret;
389 }
390
bucket_ref_update_err(struct btree_trans * trans,struct printbuf * buf,struct bkey_s_c k,bool insert,enum bch_sb_error_id id)391 static int bucket_ref_update_err(struct btree_trans *trans, struct printbuf *buf,
392 struct bkey_s_c k, bool insert, enum bch_sb_error_id id)
393 {
394 struct bch_fs *c = trans->c;
395 bool repeat = false, print = true, suppress = false;
396
397 prt_printf(buf, "\nwhile marking ");
398 bch2_bkey_val_to_text(buf, c, k);
399 prt_newline(buf);
400
401 __bch2_count_fsck_err(c, id, buf->buf, &repeat, &print, &suppress);
402
403 int ret = bch2_run_explicit_recovery_pass(c, BCH_RECOVERY_PASS_check_allocations);
404
405 if (insert) {
406 print = true;
407 suppress = false;
408
409 bch2_trans_updates_to_text(buf, trans);
410 __bch2_inconsistent_error(c, buf);
411 ret = -BCH_ERR_bucket_ref_update;
412 }
413
414 if (suppress)
415 prt_printf(buf, "Ratelimiting new instances of previous error\n");
416 if (print)
417 bch2_print_string_as_lines(KERN_ERR, buf->buf);
418 return ret;
419 }
420
bch2_bucket_ref_update(struct btree_trans * trans,struct bch_dev * ca,struct bkey_s_c k,const struct bch_extent_ptr * ptr,s64 sectors,enum bch_data_type ptr_data_type,u8 b_gen,u8 bucket_data_type,u32 * bucket_sectors)421 int bch2_bucket_ref_update(struct btree_trans *trans, struct bch_dev *ca,
422 struct bkey_s_c k,
423 const struct bch_extent_ptr *ptr,
424 s64 sectors, enum bch_data_type ptr_data_type,
425 u8 b_gen, u8 bucket_data_type,
426 u32 *bucket_sectors)
427 {
428 struct bch_fs *c = trans->c;
429 size_t bucket_nr = PTR_BUCKET_NR(ca, ptr);
430 struct printbuf buf = PRINTBUF;
431 bool inserting = sectors > 0;
432 int ret = 0;
433
434 BUG_ON(!sectors);
435
436 if (unlikely(gen_after(ptr->gen, b_gen))) {
437 bch2_log_msg_start(c, &buf);
438 prt_printf(&buf,
439 "bucket %u:%zu gen %u data type %s: ptr gen %u newer than bucket gen",
440 ptr->dev, bucket_nr, b_gen,
441 bch2_data_type_str(bucket_data_type ?: ptr_data_type),
442 ptr->gen);
443
444 ret = bucket_ref_update_err(trans, &buf, k, inserting,
445 BCH_FSCK_ERR_ptr_gen_newer_than_bucket_gen);
446 goto out;
447 }
448
449 if (unlikely(gen_cmp(b_gen, ptr->gen) > BUCKET_GC_GEN_MAX)) {
450 bch2_log_msg_start(c, &buf);
451 prt_printf(&buf,
452 "bucket %u:%zu gen %u data type %s: ptr gen %u too stale",
453 ptr->dev, bucket_nr, b_gen,
454 bch2_data_type_str(bucket_data_type ?: ptr_data_type),
455 ptr->gen);
456
457 ret = bucket_ref_update_err(trans, &buf, k, inserting,
458 BCH_FSCK_ERR_ptr_too_stale);
459 goto out;
460 }
461
462 if (b_gen != ptr->gen && ptr->cached) {
463 ret = 1;
464 goto out;
465 }
466
467 if (unlikely(b_gen != ptr->gen)) {
468 bch2_log_msg_start(c, &buf);
469 prt_printf(&buf,
470 "bucket %u:%zu gen %u (mem gen %u) data type %s: stale dirty ptr (gen %u)",
471 ptr->dev, bucket_nr, b_gen,
472 bucket_gen_get(ca, bucket_nr),
473 bch2_data_type_str(bucket_data_type ?: ptr_data_type),
474 ptr->gen);
475
476 ret = bucket_ref_update_err(trans, &buf, k, inserting,
477 BCH_FSCK_ERR_stale_dirty_ptr);
478 goto out;
479 }
480
481 if (unlikely(bucket_data_type_mismatch(bucket_data_type, ptr_data_type))) {
482 bch2_log_msg_start(c, &buf);
483 prt_printf(&buf, "bucket %u:%zu gen %u different types of data in same bucket: %s, %s",
484 ptr->dev, bucket_nr, b_gen,
485 bch2_data_type_str(bucket_data_type),
486 bch2_data_type_str(ptr_data_type));
487
488 ret = bucket_ref_update_err(trans, &buf, k, inserting,
489 BCH_FSCK_ERR_ptr_bucket_data_type_mismatch);
490 goto out;
491 }
492
493 if (unlikely((u64) *bucket_sectors + sectors > U32_MAX)) {
494 bch2_log_msg_start(c, &buf);
495 prt_printf(&buf,
496 "bucket %u:%zu gen %u data type %s sector count overflow: %u + %lli > U32_MAX",
497 ptr->dev, bucket_nr, b_gen,
498 bch2_data_type_str(bucket_data_type ?: ptr_data_type),
499 *bucket_sectors, sectors);
500
501 ret = bucket_ref_update_err(trans, &buf, k, inserting,
502 BCH_FSCK_ERR_bucket_sector_count_overflow);
503 sectors = -*bucket_sectors;
504 goto out;
505 }
506
507 *bucket_sectors += sectors;
508 out:
509 printbuf_exit(&buf);
510 return ret;
511 }
512
bch2_trans_account_disk_usage_change(struct btree_trans * trans)513 void bch2_trans_account_disk_usage_change(struct btree_trans *trans)
514 {
515 struct bch_fs *c = trans->c;
516 u64 disk_res_sectors = trans->disk_res ? trans->disk_res->sectors : 0;
517 static int warned_disk_usage = 0;
518 bool warn = false;
519
520 percpu_down_read(&c->mark_lock);
521 struct bch_fs_usage_base *src = &trans->fs_usage_delta;
522
523 s64 added = src->btree + src->data + src->reserved;
524
525 /*
526 * Not allowed to reduce sectors_available except by getting a
527 * reservation:
528 */
529 s64 should_not_have_added = added - (s64) disk_res_sectors;
530 if (unlikely(should_not_have_added > 0)) {
531 u64 old, new;
532
533 old = atomic64_read(&c->sectors_available);
534 do {
535 new = max_t(s64, 0, old - should_not_have_added);
536 } while (!atomic64_try_cmpxchg(&c->sectors_available,
537 &old, new));
538
539 added -= should_not_have_added;
540 warn = true;
541 }
542
543 if (added > 0) {
544 trans->disk_res->sectors -= added;
545 this_cpu_sub(*c->online_reserved, added);
546 }
547
548 preempt_disable();
549 struct bch_fs_usage_base *dst = this_cpu_ptr(c->usage);
550 acc_u64s((u64 *) dst, (u64 *) src, sizeof(*src) / sizeof(u64));
551 preempt_enable();
552 percpu_up_read(&c->mark_lock);
553
554 if (unlikely(warn) && !xchg(&warned_disk_usage, 1))
555 bch2_trans_inconsistent(trans,
556 "disk usage increased %lli more than %llu sectors reserved)",
557 should_not_have_added, disk_res_sectors);
558 }
559
560 /* KEY_TYPE_extent: */
561
__mark_pointer(struct btree_trans * trans,struct bch_dev * ca,struct bkey_s_c k,const struct extent_ptr_decoded * p,s64 sectors,enum bch_data_type ptr_data_type,struct bch_alloc_v4 * a,bool insert)562 static int __mark_pointer(struct btree_trans *trans, struct bch_dev *ca,
563 struct bkey_s_c k,
564 const struct extent_ptr_decoded *p,
565 s64 sectors, enum bch_data_type ptr_data_type,
566 struct bch_alloc_v4 *a,
567 bool insert)
568 {
569 u32 *dst_sectors = p->has_ec ? &a->stripe_sectors :
570 !p->ptr.cached ? &a->dirty_sectors :
571 &a->cached_sectors;
572 int ret = bch2_bucket_ref_update(trans, ca, k, &p->ptr, sectors, ptr_data_type,
573 a->gen, a->data_type, dst_sectors);
574
575 if (ret)
576 return ret;
577 if (insert)
578 alloc_data_type_set(a, ptr_data_type);
579 return 0;
580 }
581
bch2_trigger_pointer(struct btree_trans * trans,enum btree_id btree_id,unsigned level,struct bkey_s_c k,struct extent_ptr_decoded p,const union bch_extent_entry * entry,s64 * sectors,enum btree_iter_update_trigger_flags flags)582 static int bch2_trigger_pointer(struct btree_trans *trans,
583 enum btree_id btree_id, unsigned level,
584 struct bkey_s_c k, struct extent_ptr_decoded p,
585 const union bch_extent_entry *entry,
586 s64 *sectors,
587 enum btree_iter_update_trigger_flags flags)
588 {
589 struct bch_fs *c = trans->c;
590 bool insert = !(flags & BTREE_TRIGGER_overwrite);
591 struct printbuf buf = PRINTBUF;
592 int ret = 0;
593
594 struct bkey_i_backpointer bp;
595 bch2_extent_ptr_to_bp(c, btree_id, level, k, p, entry, &bp);
596
597 *sectors = insert ? bp.v.bucket_len : -(s64) bp.v.bucket_len;
598
599 struct bch_dev *ca = bch2_dev_tryget(c, p.ptr.dev);
600 if (unlikely(!ca)) {
601 if (insert && p.ptr.dev != BCH_SB_MEMBER_INVALID)
602 ret = -BCH_ERR_trigger_pointer;
603 goto err;
604 }
605
606 struct bpos bucket = PTR_BUCKET_POS(ca, &p.ptr);
607
608 if (flags & BTREE_TRIGGER_transactional) {
609 struct bkey_i_alloc_v4 *a = bch2_trans_start_alloc_update(trans, bucket, 0);
610 ret = PTR_ERR_OR_ZERO(a) ?:
611 __mark_pointer(trans, ca, k, &p, *sectors, bp.v.data_type, &a->v, insert);
612 if (ret)
613 goto err;
614
615 ret = bch2_bucket_backpointer_mod(trans, k, &bp, insert);
616 if (ret)
617 goto err;
618 }
619
620 if (flags & BTREE_TRIGGER_gc) {
621 struct bucket *g = gc_bucket(ca, bucket.offset);
622 if (bch2_fs_inconsistent_on(!g, c, "reference to invalid bucket on device %u\n %s",
623 p.ptr.dev,
624 (bch2_bkey_val_to_text(&buf, c, k), buf.buf))) {
625 ret = -BCH_ERR_trigger_pointer;
626 goto err;
627 }
628
629 bucket_lock(g);
630 struct bch_alloc_v4 old = bucket_m_to_alloc(*g), new = old;
631 ret = __mark_pointer(trans, ca, k, &p, *sectors, bp.v.data_type, &new, insert);
632 alloc_to_bucket(g, new);
633 bucket_unlock(g);
634
635 if (!ret)
636 ret = bch2_alloc_key_to_dev_counters(trans, ca, &old, &new, flags);
637 }
638 err:
639 bch2_dev_put(ca);
640 printbuf_exit(&buf);
641 return ret;
642 }
643
bch2_trigger_stripe_ptr(struct btree_trans * trans,struct bkey_s_c k,struct extent_ptr_decoded p,enum bch_data_type data_type,s64 sectors,enum btree_iter_update_trigger_flags flags)644 static int bch2_trigger_stripe_ptr(struct btree_trans *trans,
645 struct bkey_s_c k,
646 struct extent_ptr_decoded p,
647 enum bch_data_type data_type,
648 s64 sectors,
649 enum btree_iter_update_trigger_flags flags)
650 {
651 if (flags & BTREE_TRIGGER_transactional) {
652 struct btree_iter iter;
653 struct bkey_i_stripe *s = bch2_bkey_get_mut_typed(trans, &iter,
654 BTREE_ID_stripes, POS(0, p.ec.idx),
655 BTREE_ITER_with_updates, stripe);
656 int ret = PTR_ERR_OR_ZERO(s);
657 if (unlikely(ret)) {
658 bch2_trans_inconsistent_on(bch2_err_matches(ret, ENOENT), trans,
659 "pointer to nonexistent stripe %llu",
660 (u64) p.ec.idx);
661 goto err;
662 }
663
664 if (!bch2_ptr_matches_stripe(&s->v, p)) {
665 bch2_trans_inconsistent(trans,
666 "stripe pointer doesn't match stripe %llu",
667 (u64) p.ec.idx);
668 ret = -BCH_ERR_trigger_stripe_pointer;
669 goto err;
670 }
671
672 stripe_blockcount_set(&s->v, p.ec.block,
673 stripe_blockcount_get(&s->v, p.ec.block) +
674 sectors);
675
676 struct disk_accounting_pos acc;
677 memset(&acc, 0, sizeof(acc));
678 acc.type = BCH_DISK_ACCOUNTING_replicas;
679 bch2_bkey_to_replicas(&acc.replicas, bkey_i_to_s_c(&s->k_i));
680 acc.replicas.data_type = data_type;
681 ret = bch2_disk_accounting_mod(trans, &acc, §ors, 1, false);
682 err:
683 bch2_trans_iter_exit(trans, &iter);
684 return ret;
685 }
686
687 if (flags & BTREE_TRIGGER_gc) {
688 struct bch_fs *c = trans->c;
689
690 struct gc_stripe *m = genradix_ptr_alloc(&c->gc_stripes, p.ec.idx, GFP_KERNEL);
691 if (!m) {
692 bch_err(c, "error allocating memory for gc_stripes, idx %llu",
693 (u64) p.ec.idx);
694 return -BCH_ERR_ENOMEM_mark_stripe_ptr;
695 }
696
697 gc_stripe_lock(m);
698
699 if (!m || !m->alive) {
700 gc_stripe_unlock(m);
701 struct printbuf buf = PRINTBUF;
702 bch2_log_msg_start(c, &buf);
703 prt_printf(&buf, "pointer to nonexistent stripe %llu\n while marking ",
704 (u64) p.ec.idx);
705 bch2_bkey_val_to_text(&buf, c, k);
706 __bch2_inconsistent_error(c, &buf);
707 bch2_print_string_as_lines(KERN_ERR, buf.buf);
708 printbuf_exit(&buf);
709 return -BCH_ERR_trigger_stripe_pointer;
710 }
711
712 m->block_sectors[p.ec.block] += sectors;
713
714 struct disk_accounting_pos acc;
715 memset(&acc, 0, sizeof(acc));
716 acc.type = BCH_DISK_ACCOUNTING_replicas;
717 unsafe_memcpy(&acc.replicas, &m->r.e, replicas_entry_bytes(&m->r.e), "VLA");
718 gc_stripe_unlock(m);
719
720 acc.replicas.data_type = data_type;
721 int ret = bch2_disk_accounting_mod(trans, &acc, §ors, 1, true);
722 if (ret)
723 return ret;
724 }
725
726 return 0;
727 }
728
__trigger_extent(struct btree_trans * trans,enum btree_id btree_id,unsigned level,struct bkey_s_c k,enum btree_iter_update_trigger_flags flags,s64 * replicas_sectors)729 static int __trigger_extent(struct btree_trans *trans,
730 enum btree_id btree_id, unsigned level,
731 struct bkey_s_c k,
732 enum btree_iter_update_trigger_flags flags,
733 s64 *replicas_sectors)
734 {
735 bool gc = flags & BTREE_TRIGGER_gc;
736 struct bkey_ptrs_c ptrs = bch2_bkey_ptrs_c(k);
737 const union bch_extent_entry *entry;
738 struct extent_ptr_decoded p;
739 enum bch_data_type data_type = bkey_is_btree_ptr(k.k)
740 ? BCH_DATA_btree
741 : BCH_DATA_user;
742 int ret = 0;
743
744 struct disk_accounting_pos acc_replicas_key;
745 memset(&acc_replicas_key, 0, sizeof(acc_replicas_key));
746 acc_replicas_key.type = BCH_DISK_ACCOUNTING_replicas;
747 acc_replicas_key.replicas.data_type = data_type;
748 acc_replicas_key.replicas.nr_devs = 0;
749 acc_replicas_key.replicas.nr_required = 1;
750
751 unsigned cur_compression_type = 0;
752 u64 compression_acct[3] = { 1, 0, 0 };
753
754 bkey_for_each_ptr_decode(k.k, ptrs, p, entry) {
755 s64 disk_sectors = 0;
756 ret = bch2_trigger_pointer(trans, btree_id, level, k, p, entry, &disk_sectors, flags);
757 if (ret < 0)
758 return ret;
759
760 bool stale = ret > 0;
761
762 if (p.ptr.cached && stale)
763 continue;
764
765 if (p.ptr.cached) {
766 ret = bch2_mod_dev_cached_sectors(trans, p.ptr.dev, disk_sectors, gc);
767 if (ret)
768 return ret;
769 } else if (!p.has_ec) {
770 *replicas_sectors += disk_sectors;
771 replicas_entry_add_dev(&acc_replicas_key.replicas, p.ptr.dev);
772 } else {
773 ret = bch2_trigger_stripe_ptr(trans, k, p, data_type, disk_sectors, flags);
774 if (ret)
775 return ret;
776
777 /*
778 * There may be other dirty pointers in this extent, but
779 * if so they're not required for mounting if we have an
780 * erasure coded pointer in this extent:
781 */
782 acc_replicas_key.replicas.nr_required = 0;
783 }
784
785 if (cur_compression_type &&
786 cur_compression_type != p.crc.compression_type) {
787 if (flags & BTREE_TRIGGER_overwrite)
788 bch2_u64s_neg(compression_acct, ARRAY_SIZE(compression_acct));
789
790 ret = bch2_disk_accounting_mod2(trans, gc, compression_acct,
791 compression, cur_compression_type);
792 if (ret)
793 return ret;
794
795 compression_acct[0] = 1;
796 compression_acct[1] = 0;
797 compression_acct[2] = 0;
798 }
799
800 cur_compression_type = p.crc.compression_type;
801 if (p.crc.compression_type) {
802 compression_acct[1] += p.crc.uncompressed_size;
803 compression_acct[2] += p.crc.compressed_size;
804 }
805 }
806
807 if (acc_replicas_key.replicas.nr_devs) {
808 ret = bch2_disk_accounting_mod(trans, &acc_replicas_key, replicas_sectors, 1, gc);
809 if (ret)
810 return ret;
811 }
812
813 if (acc_replicas_key.replicas.nr_devs && !level && k.k->p.snapshot) {
814 ret = bch2_disk_accounting_mod2_nr(trans, gc, replicas_sectors, 1, snapshot, k.k->p.snapshot);
815 if (ret)
816 return ret;
817 }
818
819 if (cur_compression_type) {
820 if (flags & BTREE_TRIGGER_overwrite)
821 bch2_u64s_neg(compression_acct, ARRAY_SIZE(compression_acct));
822
823 ret = bch2_disk_accounting_mod2(trans, gc, compression_acct,
824 compression, cur_compression_type);
825 if (ret)
826 return ret;
827 }
828
829 if (level) {
830 ret = bch2_disk_accounting_mod2_nr(trans, gc, replicas_sectors, 1, btree, btree_id);
831 if (ret)
832 return ret;
833 } else {
834 bool insert = !(flags & BTREE_TRIGGER_overwrite);
835
836 s64 v[3] = {
837 insert ? 1 : -1,
838 insert ? k.k->size : -((s64) k.k->size),
839 *replicas_sectors,
840 };
841 ret = bch2_disk_accounting_mod2(trans, gc, v, inum, k.k->p.inode);
842 if (ret)
843 return ret;
844 }
845
846 return 0;
847 }
848
bch2_trigger_extent(struct btree_trans * trans,enum btree_id btree,unsigned level,struct bkey_s_c old,struct bkey_s new,enum btree_iter_update_trigger_flags flags)849 int bch2_trigger_extent(struct btree_trans *trans,
850 enum btree_id btree, unsigned level,
851 struct bkey_s_c old, struct bkey_s new,
852 enum btree_iter_update_trigger_flags flags)
853 {
854 struct bch_fs *c = trans->c;
855 struct bkey_ptrs_c new_ptrs = bch2_bkey_ptrs_c(new.s_c);
856 struct bkey_ptrs_c old_ptrs = bch2_bkey_ptrs_c(old);
857 unsigned new_ptrs_bytes = (void *) new_ptrs.end - (void *) new_ptrs.start;
858 unsigned old_ptrs_bytes = (void *) old_ptrs.end - (void *) old_ptrs.start;
859
860 if (unlikely(flags & BTREE_TRIGGER_check_repair))
861 return bch2_check_fix_ptrs(trans, btree, level, new.s_c, flags);
862
863 /* if pointers aren't changing - nothing to do: */
864 if (new_ptrs_bytes == old_ptrs_bytes &&
865 !memcmp(new_ptrs.start,
866 old_ptrs.start,
867 new_ptrs_bytes))
868 return 0;
869
870 if (flags & (BTREE_TRIGGER_transactional|BTREE_TRIGGER_gc)) {
871 s64 old_replicas_sectors = 0, new_replicas_sectors = 0;
872
873 if (old.k->type) {
874 int ret = __trigger_extent(trans, btree, level, old,
875 flags & ~BTREE_TRIGGER_insert,
876 &old_replicas_sectors);
877 if (ret)
878 return ret;
879 }
880
881 if (new.k->type) {
882 int ret = __trigger_extent(trans, btree, level, new.s_c,
883 flags & ~BTREE_TRIGGER_overwrite,
884 &new_replicas_sectors);
885 if (ret)
886 return ret;
887 }
888
889 int need_rebalance_delta = 0;
890 s64 need_rebalance_sectors_delta[1] = { 0 };
891
892 s64 s = bch2_bkey_sectors_need_rebalance(c, old);
893 need_rebalance_delta -= s != 0;
894 need_rebalance_sectors_delta[0] -= s;
895
896 s = bch2_bkey_sectors_need_rebalance(c, new.s_c);
897 need_rebalance_delta += s != 0;
898 need_rebalance_sectors_delta[0] += s;
899
900 if ((flags & BTREE_TRIGGER_transactional) && need_rebalance_delta) {
901 int ret = bch2_btree_bit_mod_buffered(trans, BTREE_ID_rebalance_work,
902 new.k->p, need_rebalance_delta > 0);
903 if (ret)
904 return ret;
905 }
906
907 if (need_rebalance_sectors_delta[0]) {
908 int ret = bch2_disk_accounting_mod2(trans, flags & BTREE_TRIGGER_gc,
909 need_rebalance_sectors_delta, rebalance_work);
910 if (ret)
911 return ret;
912 }
913 }
914
915 return 0;
916 }
917
918 /* KEY_TYPE_reservation */
919
__trigger_reservation(struct btree_trans * trans,enum btree_id btree_id,unsigned level,struct bkey_s_c k,enum btree_iter_update_trigger_flags flags)920 static int __trigger_reservation(struct btree_trans *trans,
921 enum btree_id btree_id, unsigned level, struct bkey_s_c k,
922 enum btree_iter_update_trigger_flags flags)
923 {
924 if (flags & (BTREE_TRIGGER_transactional|BTREE_TRIGGER_gc)) {
925 s64 sectors[1] = { k.k->size };
926
927 if (flags & BTREE_TRIGGER_overwrite)
928 sectors[0] = -sectors[0];
929
930 return bch2_disk_accounting_mod2(trans, flags & BTREE_TRIGGER_gc, sectors,
931 persistent_reserved, bkey_s_c_to_reservation(k).v->nr_replicas);
932 }
933
934 return 0;
935 }
936
bch2_trigger_reservation(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)937 int bch2_trigger_reservation(struct btree_trans *trans,
938 enum btree_id btree_id, unsigned level,
939 struct bkey_s_c old, struct bkey_s new,
940 enum btree_iter_update_trigger_flags flags)
941 {
942 return trigger_run_overwrite_then_insert(__trigger_reservation, trans, btree_id, level, old, new, flags);
943 }
944
945 /* Mark superblocks: */
946
__bch2_trans_mark_metadata_bucket(struct btree_trans * trans,struct bch_dev * ca,u64 b,enum bch_data_type type,unsigned sectors)947 static int __bch2_trans_mark_metadata_bucket(struct btree_trans *trans,
948 struct bch_dev *ca, u64 b,
949 enum bch_data_type type,
950 unsigned sectors)
951 {
952 struct bch_fs *c = trans->c;
953 struct btree_iter iter;
954 int ret = 0;
955
956 struct bkey_i_alloc_v4 *a =
957 bch2_trans_start_alloc_update_noupdate(trans, &iter, POS(ca->dev_idx, b));
958 if (IS_ERR(a))
959 return PTR_ERR(a);
960
961 if (a->v.data_type && type && a->v.data_type != type) {
962 bch2_run_explicit_recovery_pass(c, BCH_RECOVERY_PASS_check_allocations);
963 log_fsck_err(trans, bucket_metadata_type_mismatch,
964 "bucket %llu:%llu gen %u different types of data in same bucket: %s, %s\n"
965 "while marking %s",
966 iter.pos.inode, iter.pos.offset, a->v.gen,
967 bch2_data_type_str(a->v.data_type),
968 bch2_data_type_str(type),
969 bch2_data_type_str(type));
970 ret = -BCH_ERR_metadata_bucket_inconsistency;
971 goto err;
972 }
973
974 if (a->v.data_type != type ||
975 a->v.dirty_sectors != sectors) {
976 a->v.data_type = type;
977 a->v.dirty_sectors = sectors;
978 ret = bch2_trans_update(trans, &iter, &a->k_i, 0);
979 }
980 err:
981 fsck_err:
982 bch2_trans_iter_exit(trans, &iter);
983 return ret;
984 }
985
bch2_mark_metadata_bucket(struct btree_trans * trans,struct bch_dev * ca,u64 b,enum bch_data_type data_type,unsigned sectors,enum btree_iter_update_trigger_flags flags)986 static int bch2_mark_metadata_bucket(struct btree_trans *trans, struct bch_dev *ca,
987 u64 b, enum bch_data_type data_type, unsigned sectors,
988 enum btree_iter_update_trigger_flags flags)
989 {
990 struct bch_fs *c = trans->c;
991 int ret = 0;
992
993 struct bucket *g = gc_bucket(ca, b);
994 if (bch2_fs_inconsistent_on(!g, c, "reference to invalid bucket on device %u when marking metadata type %s",
995 ca->dev_idx, bch2_data_type_str(data_type)))
996 goto err;
997
998 bucket_lock(g);
999 struct bch_alloc_v4 old = bucket_m_to_alloc(*g);
1000
1001 if (bch2_fs_inconsistent_on(g->data_type &&
1002 g->data_type != data_type, c,
1003 "different types of data in same bucket: %s, %s",
1004 bch2_data_type_str(g->data_type),
1005 bch2_data_type_str(data_type)))
1006 goto err_unlock;
1007
1008 if (bch2_fs_inconsistent_on((u64) g->dirty_sectors + sectors > ca->mi.bucket_size, c,
1009 "bucket %u:%llu gen %u data type %s sector count overflow: %u + %u > bucket size",
1010 ca->dev_idx, b, g->gen,
1011 bch2_data_type_str(g->data_type ?: data_type),
1012 g->dirty_sectors, sectors))
1013 goto err_unlock;
1014
1015 g->data_type = data_type;
1016 g->dirty_sectors += sectors;
1017 struct bch_alloc_v4 new = bucket_m_to_alloc(*g);
1018 bucket_unlock(g);
1019 ret = bch2_alloc_key_to_dev_counters(trans, ca, &old, &new, flags);
1020 return ret;
1021 err_unlock:
1022 bucket_unlock(g);
1023 err:
1024 return -BCH_ERR_metadata_bucket_inconsistency;
1025 }
1026
bch2_trans_mark_metadata_bucket(struct btree_trans * trans,struct bch_dev * ca,u64 b,enum bch_data_type type,unsigned sectors,enum btree_iter_update_trigger_flags flags)1027 int bch2_trans_mark_metadata_bucket(struct btree_trans *trans,
1028 struct bch_dev *ca, u64 b,
1029 enum bch_data_type type, unsigned sectors,
1030 enum btree_iter_update_trigger_flags flags)
1031 {
1032 BUG_ON(type != BCH_DATA_free &&
1033 type != BCH_DATA_sb &&
1034 type != BCH_DATA_journal);
1035
1036 /*
1037 * Backup superblock might be past the end of our normal usable space:
1038 */
1039 if (b >= ca->mi.nbuckets)
1040 return 0;
1041
1042 if (flags & BTREE_TRIGGER_gc)
1043 return bch2_mark_metadata_bucket(trans, ca, b, type, sectors, flags);
1044 else if (flags & BTREE_TRIGGER_transactional)
1045 return commit_do(trans, NULL, NULL, 0,
1046 __bch2_trans_mark_metadata_bucket(trans, ca, b, type, sectors));
1047 else
1048 BUG();
1049 }
1050
bch2_trans_mark_metadata_sectors(struct btree_trans * trans,struct bch_dev * ca,u64 start,u64 end,enum bch_data_type type,u64 * bucket,unsigned * bucket_sectors,enum btree_iter_update_trigger_flags flags)1051 static int bch2_trans_mark_metadata_sectors(struct btree_trans *trans,
1052 struct bch_dev *ca, u64 start, u64 end,
1053 enum bch_data_type type, u64 *bucket, unsigned *bucket_sectors,
1054 enum btree_iter_update_trigger_flags flags)
1055 {
1056 do {
1057 u64 b = sector_to_bucket(ca, start);
1058 unsigned sectors =
1059 min_t(u64, bucket_to_sector(ca, b + 1), end) - start;
1060
1061 if (b != *bucket && *bucket_sectors) {
1062 int ret = bch2_trans_mark_metadata_bucket(trans, ca, *bucket,
1063 type, *bucket_sectors, flags);
1064 if (ret)
1065 return ret;
1066
1067 *bucket_sectors = 0;
1068 }
1069
1070 *bucket = b;
1071 *bucket_sectors += sectors;
1072 start += sectors;
1073 } while (start < end);
1074
1075 return 0;
1076 }
1077
__bch2_trans_mark_dev_sb(struct btree_trans * trans,struct bch_dev * ca,enum btree_iter_update_trigger_flags flags)1078 static int __bch2_trans_mark_dev_sb(struct btree_trans *trans, struct bch_dev *ca,
1079 enum btree_iter_update_trigger_flags flags)
1080 {
1081 struct bch_fs *c = trans->c;
1082
1083 mutex_lock(&c->sb_lock);
1084 struct bch_sb_layout layout = ca->disk_sb.sb->layout;
1085 mutex_unlock(&c->sb_lock);
1086
1087 u64 bucket = 0;
1088 unsigned i, bucket_sectors = 0;
1089 int ret;
1090
1091 for (i = 0; i < layout.nr_superblocks; i++) {
1092 u64 offset = le64_to_cpu(layout.sb_offset[i]);
1093
1094 if (offset == BCH_SB_SECTOR) {
1095 ret = bch2_trans_mark_metadata_sectors(trans, ca,
1096 0, BCH_SB_SECTOR,
1097 BCH_DATA_sb, &bucket, &bucket_sectors, flags);
1098 if (ret)
1099 return ret;
1100 }
1101
1102 ret = bch2_trans_mark_metadata_sectors(trans, ca, offset,
1103 offset + (1 << layout.sb_max_size_bits),
1104 BCH_DATA_sb, &bucket, &bucket_sectors, flags);
1105 if (ret)
1106 return ret;
1107 }
1108
1109 if (bucket_sectors) {
1110 ret = bch2_trans_mark_metadata_bucket(trans, ca,
1111 bucket, BCH_DATA_sb, bucket_sectors, flags);
1112 if (ret)
1113 return ret;
1114 }
1115
1116 for (i = 0; i < ca->journal.nr; i++) {
1117 ret = bch2_trans_mark_metadata_bucket(trans, ca,
1118 ca->journal.buckets[i],
1119 BCH_DATA_journal, ca->mi.bucket_size, flags);
1120 if (ret)
1121 return ret;
1122 }
1123
1124 return 0;
1125 }
1126
bch2_trans_mark_dev_sb(struct bch_fs * c,struct bch_dev * ca,enum btree_iter_update_trigger_flags flags)1127 int bch2_trans_mark_dev_sb(struct bch_fs *c, struct bch_dev *ca,
1128 enum btree_iter_update_trigger_flags flags)
1129 {
1130 int ret = bch2_trans_run(c,
1131 __bch2_trans_mark_dev_sb(trans, ca, flags));
1132 bch_err_fn(c, ret);
1133 return ret;
1134 }
1135
bch2_trans_mark_dev_sbs_flags(struct bch_fs * c,enum btree_iter_update_trigger_flags flags)1136 int bch2_trans_mark_dev_sbs_flags(struct bch_fs *c,
1137 enum btree_iter_update_trigger_flags flags)
1138 {
1139 for_each_online_member(c, ca) {
1140 int ret = bch2_trans_mark_dev_sb(c, ca, flags);
1141 if (ret) {
1142 percpu_ref_put(&ca->io_ref[READ]);
1143 return ret;
1144 }
1145 }
1146
1147 return 0;
1148 }
1149
bch2_trans_mark_dev_sbs(struct bch_fs * c)1150 int bch2_trans_mark_dev_sbs(struct bch_fs *c)
1151 {
1152 return bch2_trans_mark_dev_sbs_flags(c, BTREE_TRIGGER_transactional);
1153 }
1154
bch2_is_superblock_bucket(struct bch_dev * ca,u64 b)1155 bool bch2_is_superblock_bucket(struct bch_dev *ca, u64 b)
1156 {
1157 struct bch_sb_layout *layout = &ca->disk_sb.sb->layout;
1158 u64 b_offset = bucket_to_sector(ca, b);
1159 u64 b_end = bucket_to_sector(ca, b + 1);
1160 unsigned i;
1161
1162 if (!b)
1163 return true;
1164
1165 for (i = 0; i < layout->nr_superblocks; i++) {
1166 u64 offset = le64_to_cpu(layout->sb_offset[i]);
1167 u64 end = offset + (1 << layout->sb_max_size_bits);
1168
1169 if (!(offset >= b_end || end <= b_offset))
1170 return true;
1171 }
1172
1173 for (i = 0; i < ca->journal.nr; i++)
1174 if (b == ca->journal.buckets[i])
1175 return true;
1176
1177 return false;
1178 }
1179
1180 /* Disk reservations: */
1181
1182 #define SECTORS_CACHE 1024
1183
__bch2_disk_reservation_add(struct bch_fs * c,struct disk_reservation * res,u64 sectors,enum bch_reservation_flags flags)1184 int __bch2_disk_reservation_add(struct bch_fs *c, struct disk_reservation *res,
1185 u64 sectors, enum bch_reservation_flags flags)
1186 {
1187 struct bch_fs_pcpu *pcpu;
1188 u64 old, get;
1189 u64 sectors_available;
1190 int ret;
1191
1192 percpu_down_read(&c->mark_lock);
1193 preempt_disable();
1194 pcpu = this_cpu_ptr(c->pcpu);
1195
1196 if (sectors <= pcpu->sectors_available)
1197 goto out;
1198
1199 old = atomic64_read(&c->sectors_available);
1200 do {
1201 get = min((u64) sectors + SECTORS_CACHE, old);
1202
1203 if (get < sectors) {
1204 preempt_enable();
1205 goto recalculate;
1206 }
1207 } while (!atomic64_try_cmpxchg(&c->sectors_available,
1208 &old, old - get));
1209
1210 pcpu->sectors_available += get;
1211
1212 out:
1213 pcpu->sectors_available -= sectors;
1214 this_cpu_add(*c->online_reserved, sectors);
1215 res->sectors += sectors;
1216
1217 preempt_enable();
1218 percpu_up_read(&c->mark_lock);
1219 return 0;
1220
1221 recalculate:
1222 mutex_lock(&c->sectors_available_lock);
1223
1224 percpu_u64_set(&c->pcpu->sectors_available, 0);
1225 sectors_available = avail_factor(__bch2_fs_usage_read_short(c).free);
1226
1227 if (sectors_available && (flags & BCH_DISK_RESERVATION_PARTIAL))
1228 sectors = min(sectors, sectors_available);
1229
1230 if (sectors <= sectors_available ||
1231 (flags & BCH_DISK_RESERVATION_NOFAIL)) {
1232 atomic64_set(&c->sectors_available,
1233 max_t(s64, 0, sectors_available - sectors));
1234 this_cpu_add(*c->online_reserved, sectors);
1235 res->sectors += sectors;
1236 ret = 0;
1237 } else {
1238 atomic64_set(&c->sectors_available, sectors_available);
1239 ret = -BCH_ERR_ENOSPC_disk_reservation;
1240 }
1241
1242 mutex_unlock(&c->sectors_available_lock);
1243 percpu_up_read(&c->mark_lock);
1244
1245 return ret;
1246 }
1247
1248 /* Startup/shutdown: */
1249
bch2_buckets_nouse_free(struct bch_fs * c)1250 void bch2_buckets_nouse_free(struct bch_fs *c)
1251 {
1252 for_each_member_device(c, ca) {
1253 kvfree_rcu_mightsleep(ca->buckets_nouse);
1254 ca->buckets_nouse = NULL;
1255 }
1256 }
1257
bch2_buckets_nouse_alloc(struct bch_fs * c)1258 int bch2_buckets_nouse_alloc(struct bch_fs *c)
1259 {
1260 for_each_member_device(c, ca) {
1261 BUG_ON(ca->buckets_nouse);
1262
1263 ca->buckets_nouse = bch2_kvmalloc(BITS_TO_LONGS(ca->mi.nbuckets) *
1264 sizeof(unsigned long),
1265 GFP_KERNEL|__GFP_ZERO);
1266 if (!ca->buckets_nouse) {
1267 bch2_dev_put(ca);
1268 return -BCH_ERR_ENOMEM_buckets_nouse;
1269 }
1270 }
1271
1272 return 0;
1273 }
1274
bucket_gens_free_rcu(struct rcu_head * rcu)1275 static void bucket_gens_free_rcu(struct rcu_head *rcu)
1276 {
1277 struct bucket_gens *buckets =
1278 container_of(rcu, struct bucket_gens, rcu);
1279
1280 kvfree(buckets);
1281 }
1282
bch2_dev_buckets_resize(struct bch_fs * c,struct bch_dev * ca,u64 nbuckets)1283 int bch2_dev_buckets_resize(struct bch_fs *c, struct bch_dev *ca, u64 nbuckets)
1284 {
1285 struct bucket_gens *bucket_gens = NULL, *old_bucket_gens = NULL;
1286 bool resize = ca->bucket_gens != NULL;
1287 int ret;
1288
1289 if (resize)
1290 lockdep_assert_held(&c->state_lock);
1291
1292 if (resize && ca->buckets_nouse)
1293 return -BCH_ERR_no_resize_with_buckets_nouse;
1294
1295 bucket_gens = bch2_kvmalloc(struct_size(bucket_gens, b, nbuckets),
1296 GFP_KERNEL|__GFP_ZERO);
1297 if (!bucket_gens) {
1298 ret = -BCH_ERR_ENOMEM_bucket_gens;
1299 goto err;
1300 }
1301
1302 bucket_gens->first_bucket = ca->mi.first_bucket;
1303 bucket_gens->nbuckets = nbuckets;
1304 bucket_gens->nbuckets_minus_first =
1305 bucket_gens->nbuckets - bucket_gens->first_bucket;
1306
1307 old_bucket_gens = rcu_dereference_protected(ca->bucket_gens, 1);
1308
1309 if (resize) {
1310 bucket_gens->nbuckets = min(bucket_gens->nbuckets,
1311 old_bucket_gens->nbuckets);
1312 bucket_gens->nbuckets_minus_first =
1313 bucket_gens->nbuckets - bucket_gens->first_bucket;
1314 memcpy(bucket_gens->b,
1315 old_bucket_gens->b,
1316 bucket_gens->nbuckets);
1317 }
1318
1319 rcu_assign_pointer(ca->bucket_gens, bucket_gens);
1320 bucket_gens = old_bucket_gens;
1321
1322 nbuckets = ca->mi.nbuckets;
1323
1324 ret = 0;
1325 err:
1326 if (bucket_gens)
1327 call_rcu(&bucket_gens->rcu, bucket_gens_free_rcu);
1328
1329 return ret;
1330 }
1331
bch2_dev_buckets_free(struct bch_dev * ca)1332 void bch2_dev_buckets_free(struct bch_dev *ca)
1333 {
1334 kvfree(ca->buckets_nouse);
1335 kvfree(rcu_dereference_protected(ca->bucket_gens, 1));
1336 free_percpu(ca->usage);
1337 }
1338
bch2_dev_buckets_alloc(struct bch_fs * c,struct bch_dev * ca)1339 int bch2_dev_buckets_alloc(struct bch_fs *c, struct bch_dev *ca)
1340 {
1341 ca->usage = alloc_percpu(struct bch_dev_usage_full);
1342 if (!ca->usage)
1343 return -BCH_ERR_ENOMEM_usage_init;
1344
1345 return bch2_dev_buckets_resize(c, ca, ca->mi.nbuckets);
1346 }
1347