1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _BCACHEFS_BTREE_GC_H
3 #define _BCACHEFS_BTREE_GC_H
5 #include "btree_types.h"
7 void bch2_coalesce(struct bch_fs *);
9 int bch2_gc(struct bch_fs *, bool);
10 int bch2_gc_gens(struct bch_fs *);
11 void bch2_gc_thread_stop(struct bch_fs *);
12 int bch2_gc_thread_start(struct bch_fs *);
13 void bch2_mark_dev_superblock(struct bch_fs *, struct bch_dev *, unsigned);
16 * For concurrent mark and sweep (with other index updates), we define a total
17 * ordering of _all_ references GC walks:
19 * Note that some references will have the same GC position as others - e.g.
20 * everything within the same btree node; in those cases we're relying on
21 * whatever locking exists for where those references live, i.e. the write lock
24 * That locking is also required to ensure GC doesn't pass the updater in
25 * between the updater adding/removing the reference and updating the GC marks;
26 * without that, we would at best double count sometimes.
28 * That part is important - whenever calling bch2_mark_pointers(), a lock _must_
29 * be held that prevents GC from passing the position the updater is at.
31 * (What about the start of gc, when we're clearing all the marks? GC clears the
32 * mark with the gc pos seqlock held, and bch_mark_bucket checks against the gc
33 * position inside its cmpxchg loop, so crap magically works).
36 /* Position of (the start of) a gc phase: */
37 static inline struct gc_pos gc_phase(enum gc_phase phase)
39 return (struct gc_pos) {
46 static inline int gc_pos_cmp(struct gc_pos l, struct gc_pos r)
48 return cmp_int(l.phase, r.phase) ?:
49 bpos_cmp(l.pos, r.pos) ?:
50 cmp_int(l.level, r.level);
53 static inline enum gc_phase btree_id_to_gc_phase(enum btree_id id)
56 #define x(name, v) case BTREE_ID_##name: return GC_PHASE_BTREE_##name;
64 static inline struct gc_pos gc_pos_btree(enum btree_id id,
65 struct bpos pos, unsigned level)
67 return (struct gc_pos) {
68 .phase = btree_id_to_gc_phase(id),
75 * GC position of the pointers within a btree node: note, _not_ for &b->key
76 * itself, that lives in the parent node:
78 static inline struct gc_pos gc_pos_btree_node(struct btree *b)
80 return gc_pos_btree(b->c.btree_id, b->key.k.p, b->c.level);
84 * GC position of the pointer to a btree root: we don't use
85 * gc_pos_pointer_to_btree_node() here to avoid a potential race with
86 * btree_split() increasing the tree depth - the new root will have level > the
87 * old root and thus have a greater gc position than the old root, but that
88 * would be incorrect since once gc has marked the root it's not coming back.
90 static inline struct gc_pos gc_pos_btree_root(enum btree_id id)
92 return gc_pos_btree(id, POS_MAX, BTREE_MAX_DEPTH);
95 static inline struct gc_pos gc_pos_alloc(struct bch_fs *c, struct open_bucket *ob)
97 return (struct gc_pos) {
98 .phase = GC_PHASE_ALLOC,
99 .pos = POS(ob ? ob - c->open_buckets : 0, 0),
103 static inline bool gc_visited(struct bch_fs *c, struct gc_pos pos)
109 seq = read_seqcount_begin(&c->gc_pos_lock);
110 ret = gc_pos_cmp(pos, c->gc_pos) <= 0;
111 } while (read_seqcount_retry(&c->gc_pos_lock, seq));
116 #endif /* _BCACHEFS_BTREE_GC_H */