Skip to content

Commit 27c15ed

Browse files
author
Kent Overstreet
committed
bcachefs: bch_member.btree_allocated_bitmap
This adds a small (64 bit) per-device bitmap that tracks ranges that have btree nodes, for accelerating btree node scan if it is ever needed. - New helpers, bch2_dev_btree_bitmap_marked() and bch2_dev_bitmap_mark(), for checking and updating the bitmap - Interior btree update path updates the bitmaps when required - The check_allocations pass has a new fsck_err check, btree_bitmap_not_marked - New on disk format version, mi_btree_mitmap, which indicates the new bitmap is present - Upgrade table lists the required recovery pass and expected fsck error - Btree node scan uses the bitmap to skip ranges if we're on the new version Signed-off-by: Kent Overstreet <kent.overstreet@linux.dev>
1 parent bdae2a7 commit 27c15ed

9 files changed

+131
-6
lines changed

fs/bcachefs/bcachefs_format.h

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -578,7 +578,8 @@ struct bch_member {
578578
__le64 nbuckets; /* device size */
579579
__le16 first_bucket; /* index of first bucket used */
580580
__le16 bucket_size; /* sectors */
581-
__le32 pad;
581+
__u8 btree_bitmap_shift;
582+
__u8 pad[3];
582583
__le64 last_mount; /* time_t */
583584

584585
__le64 flags;
@@ -587,6 +588,7 @@ struct bch_member {
587588
__le64 errors_at_reset[BCH_MEMBER_ERROR_NR];
588589
__le64 errors_reset_time;
589590
__le64 seq;
591+
__le64 btree_allocated_bitmap;
590592
};
591593

592594
#define BCH_MEMBER_V1_BYTES 56
@@ -876,7 +878,8 @@ struct bch_sb_field_downgrade {
876878
x(rebalance_work, BCH_VERSION(1, 3)) \
877879
x(member_seq, BCH_VERSION(1, 4)) \
878880
x(subvolume_fs_parent, BCH_VERSION(1, 5)) \
879-
x(btree_subvolume_children, BCH_VERSION(1, 6))
881+
x(btree_subvolume_children, BCH_VERSION(1, 6)) \
882+
x(mi_btree_bitmap, BCH_VERSION(1, 7))
880883

881884
enum bcachefs_metadata_version {
882885
bcachefs_metadata_version_min = 9,

fs/bcachefs/btree_gc.c

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -828,6 +828,7 @@ static int bch2_gc_mark_key(struct btree_trans *trans, enum btree_id btree_id,
828828
struct bch_fs *c = trans->c;
829829
struct bkey deleted = KEY(0, 0, 0);
830830
struct bkey_s_c old = (struct bkey_s_c) { &deleted, NULL };
831+
struct printbuf buf = PRINTBUF;
831832
int ret = 0;
832833

833834
deleted.p = k->k->p;
@@ -848,11 +849,23 @@ static int bch2_gc_mark_key(struct btree_trans *trans, enum btree_id btree_id,
848849
if (ret)
849850
goto err;
850851

852+
if (mustfix_fsck_err_on(level && !bch2_dev_btree_bitmap_marked(c, *k),
853+
c, btree_bitmap_not_marked,
854+
"btree ptr not marked in member info btree allocated bitmap\n %s",
855+
(bch2_bkey_val_to_text(&buf, c, *k),
856+
buf.buf))) {
857+
mutex_lock(&c->sb_lock);
858+
bch2_dev_btree_bitmap_mark(c, *k);
859+
bch2_write_super(c);
860+
mutex_unlock(&c->sb_lock);
861+
}
862+
851863
ret = commit_do(trans, NULL, NULL, 0,
852864
bch2_key_trigger(trans, btree_id, level, old,
853865
unsafe_bkey_s_c_to_s(*k), BTREE_TRIGGER_GC));
854866
fsck_err:
855867
err:
868+
printbuf_exit(&buf);
856869
bch_err_fn(c, ret);
857870
return ret;
858871
}

fs/bcachefs/btree_node_scan.c

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -205,8 +205,13 @@ static int read_btree_nodes_worker(void *p)
205205
last_print = jiffies;
206206
}
207207

208-
try_read_btree_node(w->f, ca, bio, buf,
209-
bucket * ca->mi.bucket_size + bucket_offset);
208+
u64 sector = bucket * ca->mi.bucket_size + bucket_offset;
209+
210+
if (c->sb.version_upgrade_complete >= bcachefs_metadata_version_mi_btree_bitmap &&
211+
!bch2_dev_btree_bitmap_marked_sectors(ca, sector, btree_sectors(c)))
212+
continue;
213+
214+
try_read_btree_node(w->f, ca, bio, buf, sector);
210215
}
211216
err:
212217
bio_put(bio);

fs/bcachefs/btree_update_interior.c

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,7 @@
2121
#include "keylist.h"
2222
#include "recovery_passes.h"
2323
#include "replicas.h"
24+
#include "sb-members.h"
2425
#include "super-io.h"
2526
#include "trace.h"
2627

@@ -605,6 +606,26 @@ static void btree_update_add_key(struct btree_update *as,
605606
bch2_keylist_push(keys);
606607
}
607608

609+
static bool btree_update_new_nodes_marked_sb(struct btree_update *as)
610+
{
611+
for_each_keylist_key(&as->new_keys, k)
612+
if (!bch2_dev_btree_bitmap_marked(as->c, bkey_i_to_s_c(k)))
613+
return false;
614+
return true;
615+
}
616+
617+
static void btree_update_new_nodes_mark_sb(struct btree_update *as)
618+
{
619+
struct bch_fs *c = as->c;
620+
621+
mutex_lock(&c->sb_lock);
622+
for_each_keylist_key(&as->new_keys, k)
623+
bch2_dev_btree_bitmap_mark(c, bkey_i_to_s_c(k));
624+
625+
bch2_write_super(c);
626+
mutex_unlock(&c->sb_lock);
627+
}
628+
608629
/*
609630
* The transactional part of an interior btree node update, where we journal the
610631
* update we did to the interior node and update alloc info:
@@ -662,6 +683,9 @@ static void btree_update_nodes_written(struct btree_update *as)
662683
if (ret)
663684
goto err;
664685

686+
if (!btree_update_new_nodes_marked_sb(as))
687+
btree_update_new_nodes_mark_sb(as);
688+
665689
/*
666690
* Wait for any in flight writes to finish before we free the old nodes
667691
* on disk:

fs/bcachefs/sb-downgrade.c

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,10 @@
5151
BCH_FSCK_ERR_subvol_fs_path_parent_wrong) \
5252
x(btree_subvolume_children, \
5353
BIT_ULL(BCH_RECOVERY_PASS_check_subvols), \
54-
BCH_FSCK_ERR_subvol_children_not_set)
54+
BCH_FSCK_ERR_subvol_children_not_set) \
55+
x(mi_btree_bitmap, \
56+
BIT_ULL(BCH_RECOVERY_PASS_check_allocations), \
57+
BCH_FSCK_ERR_btree_bitmap_not_marked)
5558

5659
#define DOWNGRADE_TABLE()
5760

fs/bcachefs/sb-errors_types.h

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -270,7 +270,8 @@
270270
x(btree_ptr_v2_min_key_bad, 262) \
271271
x(btree_root_unreadable_and_scan_found_nothing, 263) \
272272
x(snapshot_node_missing, 264) \
273-
x(dup_backpointer_to_bad_csum_extent, 265)
273+
x(dup_backpointer_to_bad_csum_extent, 265) \
274+
x(btree_bitmap_not_marked, 266)
274275

275276
enum bch_sb_error_id {
276277
#define x(t, n) BCH_FSCK_ERR_##t = n,

fs/bcachefs/sb-members.c

Lines changed: 53 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
// SPDX-License-Identifier: GPL-2.0
22

33
#include "bcachefs.h"
4+
#include "btree_cache.h"
45
#include "disk_groups.h"
56
#include "opts.h"
67
#include "replicas.h"
@@ -426,3 +427,55 @@ void bch2_dev_errors_reset(struct bch_dev *ca)
426427
bch2_write_super(c);
427428
mutex_unlock(&c->sb_lock);
428429
}
430+
431+
/*
432+
* Per member "range has btree nodes" bitmap:
433+
*
434+
* This is so that if we ever have to run the btree node scan to repair we don't
435+
* have to scan full devices:
436+
*/
437+
438+
bool bch2_dev_btree_bitmap_marked(struct bch_fs *c, struct bkey_s_c k)
439+
{
440+
bkey_for_each_ptr(bch2_bkey_ptrs_c(k), ptr)
441+
if (!bch2_dev_btree_bitmap_marked_sectors(bch_dev_bkey_exists(c, ptr->dev),
442+
ptr->offset, btree_sectors(c)))
443+
return false;
444+
return true;
445+
}
446+
447+
static void __bch2_dev_btree_bitmap_mark(struct bch_sb_field_members_v2 *mi, unsigned dev,
448+
u64 start, unsigned sectors)
449+
{
450+
struct bch_member *m = __bch2_members_v2_get_mut(mi, dev);
451+
u64 bitmap = le64_to_cpu(m->btree_allocated_bitmap);
452+
453+
u64 end = start + sectors;
454+
455+
int resize = ilog2(roundup_pow_of_two(end)) - (m->btree_bitmap_shift + 6);
456+
if (resize > 0) {
457+
u64 new_bitmap = 0;
458+
459+
for (unsigned i = 0; i < 64; i++)
460+
if (bitmap & BIT_ULL(i))
461+
new_bitmap |= BIT_ULL(i >> resize);
462+
bitmap = new_bitmap;
463+
m->btree_bitmap_shift += resize;
464+
}
465+
466+
for (unsigned bit = sectors >> m->btree_bitmap_shift;
467+
bit << m->btree_bitmap_shift < end;
468+
bit++)
469+
bitmap |= BIT_ULL(bit);
470+
471+
m->btree_allocated_bitmap = cpu_to_le64(bitmap);
472+
}
473+
474+
void bch2_dev_btree_bitmap_mark(struct bch_fs *c, struct bkey_s_c k)
475+
{
476+
lockdep_assert_held(&c->sb_lock);
477+
478+
struct bch_sb_field_members_v2 *mi = bch2_sb_field_get(c->disk_sb.sb, members_v2);
479+
bkey_for_each_ptr(bch2_bkey_ptrs_c(k), ptr)
480+
__bch2_dev_btree_bitmap_mark(mi, ptr->dev, ptr->offset, btree_sectors(c));
481+
}

fs/bcachefs/sb-members.h

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
#define _BCACHEFS_SB_MEMBERS_H
44

55
#include "darray.h"
6+
#include "bkey_types.h"
67

78
extern char * const bch2_member_error_strs[];
89

@@ -220,6 +221,8 @@ static inline struct bch_member_cpu bch2_mi_to_cpu(struct bch_member *mi)
220221
: 1,
221222
.freespace_initialized = BCH_MEMBER_FREESPACE_INITIALIZED(mi),
222223
.valid = bch2_member_exists(mi),
224+
.btree_bitmap_shift = mi->btree_bitmap_shift,
225+
.btree_allocated_bitmap = le64_to_cpu(mi->btree_allocated_bitmap),
223226
};
224227
}
225228

@@ -228,4 +231,22 @@ void bch2_sb_members_from_cpu(struct bch_fs *);
228231
void bch2_dev_io_errors_to_text(struct printbuf *, struct bch_dev *);
229232
void bch2_dev_errors_reset(struct bch_dev *);
230233

234+
static inline bool bch2_dev_btree_bitmap_marked_sectors(struct bch_dev *ca, u64 start, unsigned sectors)
235+
{
236+
u64 end = start + sectors;
237+
238+
if (end > 64 << ca->mi.btree_bitmap_shift)
239+
return false;
240+
241+
for (unsigned bit = sectors >> ca->mi.btree_bitmap_shift;
242+
bit << ca->mi.btree_bitmap_shift < end;
243+
bit++)
244+
if (!(ca->mi.btree_allocated_bitmap & BIT_ULL(bit)))
245+
return false;
246+
return true;
247+
}
248+
249+
bool bch2_dev_btree_bitmap_marked(struct bch_fs *, struct bkey_s_c);
250+
void bch2_dev_btree_bitmap_mark(struct bch_fs *, struct bkey_s_c);
251+
231252
#endif /* _BCACHEFS_SB_MEMBERS_H */

fs/bcachefs/super_types.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,8 @@ struct bch_member_cpu {
3737
u8 durability;
3838
u8 freespace_initialized;
3939
u8 valid;
40+
u8 btree_bitmap_shift;
41+
u64 btree_allocated_bitmap;
4042
};
4143

4244
#endif /* _BCACHEFS_SUPER_TYPES_H */

0 commit comments

Comments
 (0)