Skip to content

Commit

Permalink
Update bcachefs sources to 792ca5ba3c9a bcachefs: kill key cache arg …
Browse files Browse the repository at this point in the history
…to bch2_assert_pos_locked()
  • Loading branch information
Kent Overstreet committed Jun 17, 2024
1 parent fc06a0e commit d915c62
Show file tree
Hide file tree
Showing 12 changed files with 82 additions and 40 deletions.
2 changes: 1 addition & 1 deletion .bcachefs_revision
Original file line number Diff line number Diff line change
@@ -1 +1 @@
c56e1ec97dfdbb888691d2fc6ebb06d7df25e8dc
792ca5ba3c9a07d762d9c1a440e31c0520f37de0
47 changes: 42 additions & 5 deletions libbcachefs/alloc_background.c
Original file line number Diff line number Diff line change
Expand Up @@ -595,6 +595,8 @@ int bch2_alloc_read(struct bch_fs *c)
struct bch_dev *ca = NULL;
int ret;

down_read(&c->gc_lock);

if (c->sb.version_upgrade_complete >= bcachefs_metadata_version_bucket_gens) {
ret = for_each_btree_key(trans, iter, BTREE_ID_bucket_gens, POS_MIN,
BTREE_ITER_prefetch, k, ({
Expand Down Expand Up @@ -643,6 +645,7 @@ int bch2_alloc_read(struct bch_fs *c)

bch2_dev_put(ca);
bch2_trans_put(trans);
up_read(&c->gc_lock);

bch_err_fn(c, ret);
return ret;
Expand Down Expand Up @@ -2066,6 +2069,21 @@ static int invalidate_one_bucket(struct btree_trans *trans,
goto out;
}

static struct bkey_s_c next_lru_key(struct btree_trans *trans, struct btree_iter *iter,
struct bch_dev *ca, bool *wrapped)
{
struct bkey_s_c k;
again:
k = bch2_btree_iter_peek_upto(iter, lru_pos(ca->dev_idx, U64_MAX, LRU_TIME_MAX));
if (!k.k && !*wrapped) {
bch2_btree_iter_set_pos(iter, lru_pos(ca->dev_idx, 0, 0));
*wrapped = true;
goto again;
}

return k;
}

static void bch2_do_invalidates_work(struct work_struct *work)
{
struct bch_fs *c = container_of(work, struct bch_fs, invalidate_work);
Expand All @@ -2079,12 +2097,31 @@ static void bch2_do_invalidates_work(struct work_struct *work)
for_each_member_device(c, ca) {
s64 nr_to_invalidate =
should_invalidate_buckets(ca, bch2_dev_usage_read(ca));
struct btree_iter iter;
bool wrapped = false;

bch2_trans_iter_init(trans, &iter, BTREE_ID_lru,
lru_pos(ca->dev_idx, 0,
((bch2_current_io_time(c, READ) + U32_MAX) &
LRU_TIME_MAX)), 0);

while (true) {
bch2_trans_begin(trans);

struct bkey_s_c k = next_lru_key(trans, &iter, ca, &wrapped);
ret = bkey_err(k);
if (bch2_err_matches(ret, BCH_ERR_transaction_restart))
continue;
if (ret)
break;
if (!k.k)
break;

ret = for_each_btree_key_upto(trans, iter, BTREE_ID_lru,
lru_pos(ca->dev_idx, 0, 0),
lru_pos(ca->dev_idx, U64_MAX, LRU_TIME_MAX),
BTREE_ITER_intent, k,
invalidate_one_bucket(trans, &iter, k, &nr_to_invalidate));
ret = invalidate_one_bucket(trans, &iter, k, &nr_to_invalidate);
if (ret)
break;
}
bch2_trans_iter_exit(trans, &iter);

if (ret < 0) {
bch2_dev_put(ca);
Expand Down
4 changes: 2 additions & 2 deletions libbcachefs/bcachefs.h
Original file line number Diff line number Diff line change
Expand Up @@ -533,8 +533,8 @@ struct bch_dev {
/*
* Buckets:
* Per-bucket arrays are protected by c->mark_lock, bucket_lock and
* gc_gens_lock, for device resize - holding any is sufficient for
* access: Or rcu_read_lock(), but only for dev_ptr_stale():
* gc_lock, for device resize - holding any is sufficient for access:
* Or rcu_read_lock(), but only for dev_ptr_stale():
*/
struct bucket_array __rcu *buckets_gc;
struct bucket_gens __rcu *bucket_gens;
Expand Down
7 changes: 3 additions & 4 deletions libbcachefs/btree_gc.c
Original file line number Diff line number Diff line change
Expand Up @@ -1229,16 +1229,15 @@ int bch2_gc_gens(struct bch_fs *c)
int ret;

/*
* Ideally we would be using state_lock and not gc_gens_lock here, but that
* Ideally we would be using state_lock and not gc_lock here, but that
* introduces a deadlock in the RO path - we currently take the state
* lock at the start of going RO, thus the gc thread may get stuck:
*/
if (!mutex_trylock(&c->gc_gens_lock))
return 0;

trace_and_count(c, gc_gens_start, c);

down_read(&c->state_lock);
down_read(&c->gc_lock);

for_each_member_device(c, ca) {
struct bucket_gens *gens = bucket_gens(ca);
Expand Down Expand Up @@ -1307,7 +1306,7 @@ int bch2_gc_gens(struct bch_fs *c)
ca->oldest_gen = NULL;
}

up_read(&c->state_lock);
up_read(&c->gc_lock);
mutex_unlock(&c->gc_gens_lock);
if (!bch2_err_matches(ret, EROFS))
bch_err_fn(c, ret);
Expand Down
2 changes: 2 additions & 0 deletions libbcachefs/buckets.c
Original file line number Diff line number Diff line change
Expand Up @@ -1217,6 +1217,7 @@ int bch2_dev_buckets_resize(struct bch_fs *c, struct bch_dev *ca, u64 nbuckets)
bucket_gens->nbuckets - bucket_gens->first_bucket;

if (resize) {
down_write(&c->gc_lock);
down_write(&ca->bucket_lock);
percpu_down_write(&c->mark_lock);
}
Expand All @@ -1239,6 +1240,7 @@ int bch2_dev_buckets_resize(struct bch_fs *c, struct bch_dev *ca, u64 nbuckets)
if (resize) {
percpu_up_write(&c->mark_lock);
up_write(&ca->bucket_lock);
up_write(&c->gc_lock);
}

ret = 0;
Expand Down
4 changes: 2 additions & 2 deletions libbcachefs/buckets.h
Original file line number Diff line number Diff line change
Expand Up @@ -85,7 +85,7 @@ static inline struct bucket_array *gc_bucket_array(struct bch_dev *ca)
return rcu_dereference_check(ca->buckets_gc,
!ca->fs ||
percpu_rwsem_is_held(&ca->fs->mark_lock) ||
lockdep_is_held(&ca->fs->state_lock) ||
lockdep_is_held(&ca->fs->gc_lock) ||
lockdep_is_held(&ca->bucket_lock));
}

Expand All @@ -103,7 +103,7 @@ static inline struct bucket_gens *bucket_gens(struct bch_dev *ca)
return rcu_dereference_check(ca->bucket_gens,
!ca->fs ||
percpu_rwsem_is_held(&ca->fs->mark_lock) ||
lockdep_is_held(&ca->fs->state_lock) ||
lockdep_is_held(&ca->fs->gc_lock) ||
lockdep_is_held(&ca->bucket_lock));
}

Expand Down
12 changes: 7 additions & 5 deletions libbcachefs/disk_accounting.c
Original file line number Diff line number Diff line change
Expand Up @@ -68,12 +68,12 @@ static const char * const disk_accounting_type_strs[] = {
NULL
};

static inline void accounting_key_init(struct bkey_i *k, struct disk_accounting_pos pos,
static inline void accounting_key_init(struct bkey_i *k, struct disk_accounting_pos *pos,
s64 *d, unsigned nr)
{
struct bkey_i_accounting *acc = bkey_accounting_init(k);

acc->k.p = disk_accounting_pos_to_bpos(&pos);
acc->k.p = disk_accounting_pos_to_bpos(pos);
set_bkey_val_u64s(&acc->k, sizeof(struct bch_accounting) / sizeof(u64) + nr);

memcpy_u64s_small(acc->v.d, d, nr);
Expand All @@ -94,7 +94,7 @@ int bch2_disk_accounting_mod(struct btree_trans *trans,

struct { __BKEY_PADDED(k, BCH_ACCOUNTING_MAX_COUNTERS); } k_i;

accounting_key_init(&k_i.k, *k, d, nr);
accounting_key_init(&k_i.k, k, d, nr);

return likely(!gc)
? bch2_trans_update_buffered(trans, BTREE_ID_accounting, &k_i.k)
Expand Down Expand Up @@ -330,7 +330,9 @@ int bch2_fs_replicas_usage_read(struct bch_fs *c, darray_char *usage)
if (!accounting_to_replicas(&u.r.r, i->pos))
continue;

bch2_accounting_mem_read_counters(acc, i - acc->k.data, &u.r.sectors, 1, false);
u64 sectors;
bch2_accounting_mem_read_counters(acc, i - acc->k.data, &sectors, 1, false);
u.r.sectors = sectors;

ret = darray_make_room(usage, replicas_usage_bytes(&u.r));
if (ret)
Expand Down Expand Up @@ -498,7 +500,7 @@ int bch2_gc_accounting_done(struct bch_fs *c)
memset(&trans->fs_usage_delta, 0, sizeof(trans->fs_usage_delta));
struct { __BKEY_PADDED(k, BCH_ACCOUNTING_MAX_COUNTERS); } k_i;

accounting_key_init(&k_i.k, acc_k, src_v, nr);
accounting_key_init(&k_i.k, &acc_k, src_v, nr);
bch2_accounting_mem_mod_locked(trans, bkey_i_to_s_c_accounting(&k_i.k), false);

preempt_disable();
Expand Down
2 changes: 2 additions & 0 deletions libbcachefs/fs-common.h
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
#ifndef _BCACHEFS_FS_COMMON_H
#define _BCACHEFS_FS_COMMON_H

#include "dirent.h"

struct posix_acl;

#define BCH_CREATE_TMPFILE (1U << 0)
Expand Down
9 changes: 5 additions & 4 deletions libbcachefs/fs-io-buffered.c
Original file line number Diff line number Diff line change
Expand Up @@ -678,8 +678,8 @@ int bch2_write_begin(struct file *file, struct address_space *mapping,
bch2_pagecache_add_get(inode);

folio = __filemap_get_folio(mapping, pos >> PAGE_SHIFT,
FGP_WRITEBEGIN | fgf_set_order(len),
mapping_gfp_mask(mapping));
FGP_LOCK|FGP_WRITE|FGP_CREAT|FGP_STABLE,
mapping_gfp_mask(mapping));
if (IS_ERR_OR_NULL(folio))
goto err_unlock;

Expand Down Expand Up @@ -820,8 +820,9 @@ static int __bch2_buffered_write(struct bch_inode_info *inode,
darray_init(&fs);

ret = bch2_filemap_get_contig_folios_d(mapping, pos, end,
FGP_WRITEBEGIN | fgf_set_order(len),
mapping_gfp_mask(mapping), &fs);
FGP_LOCK|FGP_WRITE|FGP_STABLE|FGP_CREAT,
mapping_gfp_mask(mapping),
&fs);
if (ret)
goto out;

Expand Down
4 changes: 0 additions & 4 deletions libbcachefs/recovery_passes.c
Original file line number Diff line number Diff line change
Expand Up @@ -193,8 +193,6 @@ int bch2_run_online_recovery_passes(struct bch_fs *c)
{
int ret = 0;

down_read(&c->state_lock);

for (unsigned i = 0; i < ARRAY_SIZE(recovery_pass_fns); i++) {
struct recovery_pass_fn *p = recovery_pass_fns + i;

Expand All @@ -210,8 +208,6 @@ int bch2_run_online_recovery_passes(struct bch_fs *c)
break;
}

up_read(&c->state_lock);

return ret;
}

Expand Down
12 changes: 10 additions & 2 deletions libbcachefs/sb-downgrade.c
Original file line number Diff line number Diff line change
Expand Up @@ -57,13 +57,17 @@
BCH_FSCK_ERR_btree_bitmap_not_marked) \
x(disk_accounting_v2, \
BIT_ULL(BCH_RECOVERY_PASS_check_allocations), \
BCH_FSCK_ERR_bkey_version_in_future, \
BCH_FSCK_ERR_dev_usage_buckets_wrong, \
BCH_FSCK_ERR_dev_usage_sectors_wrong, \
BCH_FSCK_ERR_dev_usage_fragmented_wrong, \
BCH_FSCK_ERR_accounting_mismatch)

#define DOWNGRADE_TABLE() \
x(bucket_stripe_sectors, \
0) \
x(disk_accounting_v2, \
BIT_ULL(BCH_RECOVERY_PASS_check_alloc_info), \
BIT_ULL(BCH_RECOVERY_PASS_check_allocations), \
BCH_FSCK_ERR_dev_usage_buckets_wrong, \
BCH_FSCK_ERR_dev_usage_sectors_wrong, \
BCH_FSCK_ERR_dev_usage_fragmented_wrong, \
Expand Down Expand Up @@ -187,7 +191,11 @@ static int downgrade_table_extra(struct bch_fs *c, darray_char *table)
if (ret)
return ret;

__set_bit_le64(BCH_RECOVERY_PASS_STABLE_check_allocations, dst->recovery_passes);
/* open coded __set_bit_le64, as dst is packed and
* dst->recovery_passes is misaligned */
unsigned b = BCH_RECOVERY_PASS_STABLE_check_allocations;
dst->recovery_passes[b / 64] |= cpu_to_le64(BIT_ULL(b % 64));

dst->errors[nr_errors++] = cpu_to_le16(BCH_FSCK_ERR_alloc_key_dirty_sectors_wrong);
}
break;
Expand Down
17 changes: 6 additions & 11 deletions libbcachefs/util.h
Original file line number Diff line number Diff line change
Expand Up @@ -697,19 +697,14 @@ do { \
} \
} while (0)

#define per_cpu_sum(_p) \
({ \
typeof(*_p) _ret = 0; \
\
int cpu; \
for_each_possible_cpu(cpu) \
_ret += *per_cpu_ptr(_p, cpu); \
_ret; \
})

static inline u64 percpu_u64_get(u64 __percpu *src)
{
return per_cpu_sum(src);
u64 ret = 0;
int cpu;

for_each_possible_cpu(cpu)
ret += *per_cpu_ptr(src, cpu);
return ret;
}

static inline void percpu_u64_set(u64 __percpu *dst, u64 src)
Expand Down

0 comments on commit d915c62

Please sign in to comment.