at v6.11-rc1 347 lines 9.9 kB view raw
1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef _BCACHEFS_ALLOC_BACKGROUND_H 3#define _BCACHEFS_ALLOC_BACKGROUND_H 4 5#include "bcachefs.h" 6#include "alloc_types.h" 7#include "buckets.h" 8#include "debug.h" 9#include "super.h" 10 11enum bch_validate_flags; 12 13/* How out of date a pointer gen is allowed to be: */ 14#define BUCKET_GC_GEN_MAX 96U 15 16static inline bool bch2_dev_bucket_exists(struct bch_fs *c, struct bpos pos) 17{ 18 rcu_read_lock(); 19 struct bch_dev *ca = bch2_dev_rcu(c, pos.inode); 20 bool ret = ca && bucket_valid(ca, pos.offset); 21 rcu_read_unlock(); 22 return ret; 23} 24 25static inline u64 bucket_to_u64(struct bpos bucket) 26{ 27 return (bucket.inode << 48) | bucket.offset; 28} 29 30static inline struct bpos u64_to_bucket(u64 bucket) 31{ 32 return POS(bucket >> 48, bucket & ~(~0ULL << 48)); 33} 34 35static inline u8 alloc_gc_gen(struct bch_alloc_v4 a) 36{ 37 return a.gen - a.oldest_gen; 38} 39 40static inline void alloc_to_bucket(struct bucket *dst, struct bch_alloc_v4 src) 41{ 42 dst->gen = src.gen; 43 dst->data_type = src.data_type; 44 dst->stripe_sectors = src.stripe_sectors; 45 dst->dirty_sectors = src.dirty_sectors; 46 dst->cached_sectors = src.cached_sectors; 47 dst->stripe = src.stripe; 48} 49 50static inline void __bucket_m_to_alloc(struct bch_alloc_v4 *dst, struct bucket src) 51{ 52 dst->gen = src.gen; 53 dst->data_type = src.data_type; 54 dst->stripe_sectors = src.stripe_sectors; 55 dst->dirty_sectors = src.dirty_sectors; 56 dst->cached_sectors = src.cached_sectors; 57 dst->stripe = src.stripe; 58} 59 60static inline struct bch_alloc_v4 bucket_m_to_alloc(struct bucket b) 61{ 62 struct bch_alloc_v4 ret = {}; 63 __bucket_m_to_alloc(&ret, b); 64 return ret; 65} 66 67static inline enum bch_data_type bucket_data_type(enum bch_data_type data_type) 68{ 69 switch (data_type) { 70 case BCH_DATA_cached: 71 case BCH_DATA_stripe: 72 return BCH_DATA_user; 73 default: 74 return data_type; 75 } 76} 77 78static inline bool bucket_data_type_mismatch(enum bch_data_type bucket, 79 enum bch_data_type ptr) 80{ 81 return !data_type_is_empty(bucket) && 82 bucket_data_type(bucket) != bucket_data_type(ptr); 83} 84 85static inline s64 bch2_bucket_sectors_total(struct bch_alloc_v4 a) 86{ 87 return a.stripe_sectors + a.dirty_sectors + a.cached_sectors; 88} 89 90static inline s64 bch2_bucket_sectors_dirty(struct bch_alloc_v4 a) 91{ 92 return a.stripe_sectors + a.dirty_sectors; 93} 94 95static inline s64 bch2_bucket_sectors(struct bch_alloc_v4 a) 96{ 97 return a.data_type == BCH_DATA_cached 98 ? a.cached_sectors 99 : bch2_bucket_sectors_dirty(a); 100} 101 102static inline s64 bch2_bucket_sectors_fragmented(struct bch_dev *ca, 103 struct bch_alloc_v4 a) 104{ 105 int d = bch2_bucket_sectors(a); 106 107 return d ? max(0, ca->mi.bucket_size - d) : 0; 108} 109 110static inline s64 bch2_gc_bucket_sectors_fragmented(struct bch_dev *ca, struct bucket a) 111{ 112 int d = a.stripe_sectors + a.dirty_sectors; 113 114 return d ? max(0, ca->mi.bucket_size - d) : 0; 115} 116 117static inline s64 bch2_bucket_sectors_unstriped(struct bch_alloc_v4 a) 118{ 119 return a.data_type == BCH_DATA_stripe ? a.dirty_sectors : 0; 120} 121 122static inline enum bch_data_type alloc_data_type(struct bch_alloc_v4 a, 123 enum bch_data_type data_type) 124{ 125 if (a.stripe) 126 return data_type == BCH_DATA_parity ? data_type : BCH_DATA_stripe; 127 if (bch2_bucket_sectors_dirty(a)) 128 return data_type; 129 if (a.cached_sectors) 130 return BCH_DATA_cached; 131 if (BCH_ALLOC_V4_NEED_DISCARD(&a)) 132 return BCH_DATA_need_discard; 133 if (alloc_gc_gen(a) >= BUCKET_GC_GEN_MAX) 134 return BCH_DATA_need_gc_gens; 135 return BCH_DATA_free; 136} 137 138static inline void alloc_data_type_set(struct bch_alloc_v4 *a, enum bch_data_type data_type) 139{ 140 a->data_type = alloc_data_type(*a, data_type); 141} 142 143static inline u64 alloc_lru_idx_read(struct bch_alloc_v4 a) 144{ 145 return a.data_type == BCH_DATA_cached ? a.io_time[READ] : 0; 146} 147 148#define DATA_TYPES_MOVABLE \ 149 ((1U << BCH_DATA_btree)| \ 150 (1U << BCH_DATA_user)| \ 151 (1U << BCH_DATA_stripe)) 152 153static inline bool data_type_movable(enum bch_data_type type) 154{ 155 return (1U << type) & DATA_TYPES_MOVABLE; 156} 157 158static inline u64 alloc_lru_idx_fragmentation(struct bch_alloc_v4 a, 159 struct bch_dev *ca) 160{ 161 if (!data_type_movable(a.data_type) || 162 !bch2_bucket_sectors_fragmented(ca, a)) 163 return 0; 164 165 /* 166 * avoid overflowing LRU_TIME_BITS on a corrupted fs, when 167 * bucket_sectors_dirty is (much) bigger than bucket_size 168 */ 169 u64 d = min(bch2_bucket_sectors_dirty(a), 170 ca->mi.bucket_size); 171 172 return div_u64(d * (1ULL << 31), ca->mi.bucket_size); 173} 174 175static inline u64 alloc_freespace_genbits(struct bch_alloc_v4 a) 176{ 177 return ((u64) alloc_gc_gen(a) >> 4) << 56; 178} 179 180static inline struct bpos alloc_freespace_pos(struct bpos pos, struct bch_alloc_v4 a) 181{ 182 pos.offset |= alloc_freespace_genbits(a); 183 return pos; 184} 185 186static inline unsigned alloc_v4_u64s_noerror(const struct bch_alloc_v4 *a) 187{ 188 return (BCH_ALLOC_V4_BACKPOINTERS_START(a) ?: 189 BCH_ALLOC_V4_U64s_V0) + 190 BCH_ALLOC_V4_NR_BACKPOINTERS(a) * 191 (sizeof(struct bch_backpointer) / sizeof(u64)); 192} 193 194static inline unsigned alloc_v4_u64s(const struct bch_alloc_v4 *a) 195{ 196 unsigned ret = alloc_v4_u64s_noerror(a); 197 BUG_ON(ret > U8_MAX - BKEY_U64s); 198 return ret; 199} 200 201static inline void set_alloc_v4_u64s(struct bkey_i_alloc_v4 *a) 202{ 203 set_bkey_val_u64s(&a->k, alloc_v4_u64s(&a->v)); 204} 205 206struct bkey_i_alloc_v4 * 207bch2_trans_start_alloc_update_noupdate(struct btree_trans *, struct btree_iter *, struct bpos); 208struct bkey_i_alloc_v4 * 209bch2_trans_start_alloc_update(struct btree_trans *, struct bpos, 210 enum btree_iter_update_trigger_flags); 211 212void __bch2_alloc_to_v4(struct bkey_s_c, struct bch_alloc_v4 *); 213 214static inline const struct bch_alloc_v4 *bch2_alloc_to_v4(struct bkey_s_c k, struct bch_alloc_v4 *convert) 215{ 216 const struct bch_alloc_v4 *ret; 217 218 if (unlikely(k.k->type != KEY_TYPE_alloc_v4)) 219 goto slowpath; 220 221 ret = bkey_s_c_to_alloc_v4(k).v; 222 if (BCH_ALLOC_V4_BACKPOINTERS_START(ret) != BCH_ALLOC_V4_U64s) 223 goto slowpath; 224 225 return ret; 226slowpath: 227 __bch2_alloc_to_v4(k, convert); 228 return convert; 229} 230 231struct bkey_i_alloc_v4 *bch2_alloc_to_v4_mut(struct btree_trans *, struct bkey_s_c); 232 233int bch2_bucket_io_time_reset(struct btree_trans *, unsigned, size_t, int); 234 235int bch2_alloc_v1_invalid(struct bch_fs *, struct bkey_s_c, 236 enum bch_validate_flags, struct printbuf *); 237int bch2_alloc_v2_invalid(struct bch_fs *, struct bkey_s_c, 238 enum bch_validate_flags, struct printbuf *); 239int bch2_alloc_v3_invalid(struct bch_fs *, struct bkey_s_c, 240 enum bch_validate_flags, struct printbuf *); 241int bch2_alloc_v4_invalid(struct bch_fs *, struct bkey_s_c, 242 enum bch_validate_flags, struct printbuf *); 243void bch2_alloc_v4_swab(struct bkey_s); 244void bch2_alloc_to_text(struct printbuf *, struct bch_fs *, struct bkey_s_c); 245 246#define bch2_bkey_ops_alloc ((struct bkey_ops) { \ 247 .key_invalid = bch2_alloc_v1_invalid, \ 248 .val_to_text = bch2_alloc_to_text, \ 249 .trigger = bch2_trigger_alloc, \ 250 .min_val_size = 8, \ 251}) 252 253#define bch2_bkey_ops_alloc_v2 ((struct bkey_ops) { \ 254 .key_invalid = bch2_alloc_v2_invalid, \ 255 .val_to_text = bch2_alloc_to_text, \ 256 .trigger = bch2_trigger_alloc, \ 257 .min_val_size = 8, \ 258}) 259 260#define bch2_bkey_ops_alloc_v3 ((struct bkey_ops) { \ 261 .key_invalid = bch2_alloc_v3_invalid, \ 262 .val_to_text = bch2_alloc_to_text, \ 263 .trigger = bch2_trigger_alloc, \ 264 .min_val_size = 16, \ 265}) 266 267#define bch2_bkey_ops_alloc_v4 ((struct bkey_ops) { \ 268 .key_invalid = bch2_alloc_v4_invalid, \ 269 .val_to_text = bch2_alloc_to_text, \ 270 .swab = bch2_alloc_v4_swab, \ 271 .trigger = bch2_trigger_alloc, \ 272 .min_val_size = 48, \ 273}) 274 275int bch2_bucket_gens_invalid(struct bch_fs *, struct bkey_s_c, 276 enum bch_validate_flags, struct printbuf *); 277void bch2_bucket_gens_to_text(struct printbuf *, struct bch_fs *, struct bkey_s_c); 278 279#define bch2_bkey_ops_bucket_gens ((struct bkey_ops) { \ 280 .key_invalid = bch2_bucket_gens_invalid, \ 281 .val_to_text = bch2_bucket_gens_to_text, \ 282}) 283 284int bch2_bucket_gens_init(struct bch_fs *); 285 286static inline bool bkey_is_alloc(const struct bkey *k) 287{ 288 return k->type == KEY_TYPE_alloc || 289 k->type == KEY_TYPE_alloc_v2 || 290 k->type == KEY_TYPE_alloc_v3; 291} 292 293int bch2_alloc_read(struct bch_fs *); 294 295int bch2_alloc_key_to_dev_counters(struct btree_trans *, struct bch_dev *, 296 const struct bch_alloc_v4 *, 297 const struct bch_alloc_v4 *, unsigned); 298int bch2_trigger_alloc(struct btree_trans *, enum btree_id, unsigned, 299 struct bkey_s_c, struct bkey_s, 300 enum btree_iter_update_trigger_flags); 301int bch2_check_alloc_info(struct bch_fs *); 302int bch2_check_alloc_to_lru_refs(struct bch_fs *); 303void bch2_dev_do_discards(struct bch_dev *); 304void bch2_do_discards(struct bch_fs *); 305 306static inline u64 should_invalidate_buckets(struct bch_dev *ca, 307 struct bch_dev_usage u) 308{ 309 u64 want_free = ca->mi.nbuckets >> 7; 310 u64 free = max_t(s64, 0, 311 u.d[BCH_DATA_free].buckets 312 + u.d[BCH_DATA_need_discard].buckets 313 - bch2_dev_buckets_reserved(ca, BCH_WATERMARK_stripe)); 314 315 return clamp_t(s64, want_free - free, 0, u.d[BCH_DATA_cached].buckets); 316} 317 318void bch2_dev_do_invalidates(struct bch_dev *); 319void bch2_do_invalidates(struct bch_fs *); 320 321static inline struct bch_backpointer *alloc_v4_backpointers(struct bch_alloc_v4 *a) 322{ 323 return (void *) ((u64 *) &a->v + 324 (BCH_ALLOC_V4_BACKPOINTERS_START(a) ?: 325 BCH_ALLOC_V4_U64s_V0)); 326} 327 328static inline const struct bch_backpointer *alloc_v4_backpointers_c(const struct bch_alloc_v4 *a) 329{ 330 return (void *) ((u64 *) &a->v + BCH_ALLOC_V4_BACKPOINTERS_START(a)); 331} 332 333int bch2_dev_freespace_init(struct bch_fs *, struct bch_dev *, u64, u64); 334int bch2_fs_freespace_init(struct bch_fs *); 335 336void bch2_recalc_capacity(struct bch_fs *); 337u64 bch2_min_rw_member_capacity(struct bch_fs *); 338 339void bch2_dev_allocator_remove(struct bch_fs *, struct bch_dev *); 340void bch2_dev_allocator_add(struct bch_fs *, struct bch_dev *); 341 342void bch2_dev_allocator_background_exit(struct bch_dev *); 343void bch2_dev_allocator_background_init(struct bch_dev *); 344 345void bch2_fs_allocator_background_init(struct bch_fs *); 346 347#endif /* _BCACHEFS_ALLOC_BACKGROUND_H */