mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
synced 2024-11-01 17:08:10 +00:00
792e2c4c85
The only reason we were keeping this around was for BTREE_INSERT_NOUNLOCK semantics - if bch2_btree_iter_set_pos() advances to the next leaf node, it'll drop the lock on the node that we just inserted to. But we don't rely on BTREE_INSERT_NOUNLOCK semantics for the extents btree, just the inodes btree, and if we do need it for the extents btree in the future we can do it more cleanly by cloning the iterator - this lets us delete some special cases in the btree iterator code, which is complicated enough as it is. Signed-off-by: Kent Overstreet <kent.overstreet@gmail.com> Signed-off-by: Kent Overstreet <kent.overstreet@linux.dev>
310 lines
9.4 KiB
C
310 lines
9.4 KiB
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
#ifndef _BCACHEFS_BTREE_ITER_H
|
|
#define _BCACHEFS_BTREE_ITER_H
|
|
|
|
#include "bset.h"
|
|
#include "btree_types.h"
|
|
|
|
static inline void btree_iter_set_dirty(struct btree_iter *iter,
|
|
enum btree_iter_uptodate u)
|
|
{
|
|
iter->uptodate = max_t(unsigned, iter->uptodate, u);
|
|
}
|
|
|
|
static inline struct btree *btree_iter_node(struct btree_iter *iter,
|
|
unsigned level)
|
|
{
|
|
return level < BTREE_MAX_DEPTH ? iter->l[level].b : NULL;
|
|
}
|
|
|
|
static inline bool btree_node_lock_seq_matches(const struct btree_iter *iter,
|
|
const struct btree *b, unsigned level)
|
|
{
|
|
/*
|
|
* We don't compare the low bits of the lock sequence numbers because
|
|
* @iter might have taken a write lock on @b, and we don't want to skip
|
|
* the linked iterator if the sequence numbers were equal before taking
|
|
* that write lock. The lock sequence number is incremented by taking
|
|
* and releasing write locks and is even when unlocked:
|
|
*/
|
|
return iter->l[level].lock_seq >> 1 == b->c.lock.state.seq >> 1;
|
|
}
|
|
|
|
static inline struct btree *btree_node_parent(struct btree_iter *iter,
|
|
struct btree *b)
|
|
{
|
|
return btree_iter_node(iter, b->c.level + 1);
|
|
}
|
|
|
|
static inline bool btree_trans_has_multiple_iters(const struct btree_trans *trans)
|
|
{
|
|
return hweight64(trans->iters_linked) > 1;
|
|
}
|
|
|
|
static inline int btree_iter_err(const struct btree_iter *iter)
|
|
{
|
|
return iter->flags & BTREE_ITER_ERROR ? -EIO : 0;
|
|
}
|
|
|
|
/* Iterate over iters within a transaction: */
|
|
|
|
static inline struct btree_iter *
|
|
__trans_next_iter(struct btree_trans *trans, unsigned idx)
|
|
{
|
|
u64 l;
|
|
|
|
if (idx == BTREE_ITER_MAX)
|
|
return NULL;
|
|
|
|
l = trans->iters_linked >> idx;
|
|
if (!l)
|
|
return NULL;
|
|
|
|
idx += __ffs64(l);
|
|
EBUG_ON(idx >= BTREE_ITER_MAX);
|
|
EBUG_ON(trans->iters[idx].idx != idx);
|
|
return &trans->iters[idx];
|
|
}
|
|
|
|
#define trans_for_each_iter(_trans, _iter) \
|
|
for (_iter = __trans_next_iter((_trans), 0); \
|
|
(_iter); \
|
|
_iter = __trans_next_iter((_trans), (_iter)->idx + 1))
|
|
|
|
static inline bool __iter_has_node(const struct btree_iter *iter,
|
|
const struct btree *b)
|
|
{
|
|
return iter->l[b->c.level].b == b &&
|
|
btree_node_lock_seq_matches(iter, b, b->c.level);
|
|
}
|
|
|
|
static inline struct btree_iter *
|
|
__trans_next_iter_with_node(struct btree_trans *trans, struct btree *b,
|
|
unsigned idx)
|
|
{
|
|
struct btree_iter *iter = __trans_next_iter(trans, idx);
|
|
|
|
while (iter && !__iter_has_node(iter, b))
|
|
iter = __trans_next_iter(trans, iter->idx + 1);
|
|
|
|
return iter;
|
|
}
|
|
|
|
#define trans_for_each_iter_with_node(_trans, _b, _iter) \
|
|
for (_iter = __trans_next_iter_with_node((_trans), (_b), 0); \
|
|
(_iter); \
|
|
_iter = __trans_next_iter_with_node((_trans), (_b), \
|
|
(_iter)->idx + 1))
|
|
|
|
#ifdef CONFIG_BCACHEFS_DEBUG
|
|
void bch2_btree_trans_verify_iters(struct btree_trans *, struct btree *);
|
|
void bch2_btree_trans_verify_locks(struct btree_trans *);
|
|
#else
|
|
static inline void bch2_btree_trans_verify_iters(struct btree_trans *trans,
|
|
struct btree *b) {}
|
|
static inline void bch2_btree_trans_verify_locks(struct btree_trans *iter) {}
|
|
#endif
|
|
|
|
void bch2_btree_iter_fix_key_modified(struct btree_iter *, struct btree *,
|
|
struct bkey_packed *);
|
|
void bch2_btree_node_iter_fix(struct btree_iter *, struct btree *,
|
|
struct btree_node_iter *, struct bkey_packed *,
|
|
unsigned, unsigned);
|
|
|
|
bool bch2_btree_iter_relock(struct btree_iter *, bool);
|
|
bool bch2_trans_relock(struct btree_trans *);
|
|
void bch2_trans_unlock(struct btree_trans *);
|
|
|
|
bool __bch2_btree_iter_upgrade(struct btree_iter *, unsigned);
|
|
bool __bch2_btree_iter_upgrade_nounlock(struct btree_iter *, unsigned);
|
|
|
|
static inline bool bch2_btree_iter_upgrade(struct btree_iter *iter,
|
|
unsigned new_locks_want)
|
|
{
|
|
new_locks_want = min(new_locks_want, BTREE_MAX_DEPTH);
|
|
|
|
return iter->locks_want < new_locks_want
|
|
? (!iter->trans->nounlock
|
|
? __bch2_btree_iter_upgrade(iter, new_locks_want)
|
|
: __bch2_btree_iter_upgrade_nounlock(iter, new_locks_want))
|
|
: iter->uptodate <= BTREE_ITER_NEED_PEEK;
|
|
}
|
|
|
|
void __bch2_btree_iter_downgrade(struct btree_iter *, unsigned);
|
|
|
|
static inline void bch2_btree_iter_downgrade(struct btree_iter *iter)
|
|
{
|
|
if (iter->locks_want > (iter->flags & BTREE_ITER_INTENT) ? 1 : 0)
|
|
__bch2_btree_iter_downgrade(iter, 0);
|
|
}
|
|
|
|
void bch2_trans_downgrade(struct btree_trans *);
|
|
|
|
void bch2_btree_iter_node_replace(struct btree_iter *, struct btree *);
|
|
void bch2_btree_iter_node_drop(struct btree_iter *, struct btree *);
|
|
|
|
void bch2_btree_iter_reinit_node(struct btree_iter *, struct btree *);
|
|
|
|
int __must_check __bch2_btree_iter_traverse(struct btree_iter *);
|
|
|
|
static inline int __must_check
|
|
bch2_btree_iter_traverse(struct btree_iter *iter)
|
|
{
|
|
return iter->uptodate >= BTREE_ITER_NEED_RELOCK
|
|
? __bch2_btree_iter_traverse(iter)
|
|
: 0;
|
|
}
|
|
|
|
int bch2_btree_iter_traverse_all(struct btree_trans *);
|
|
|
|
struct btree *bch2_btree_iter_peek_node(struct btree_iter *);
|
|
struct btree *bch2_btree_iter_next_node(struct btree_iter *);
|
|
|
|
struct bkey_s_c bch2_btree_iter_peek(struct btree_iter *);
|
|
struct bkey_s_c bch2_btree_iter_next(struct btree_iter *);
|
|
|
|
struct bkey_s_c bch2_btree_iter_peek_with_updates(struct btree_iter *);
|
|
struct bkey_s_c bch2_btree_iter_next_with_updates(struct btree_iter *);
|
|
|
|
struct bkey_s_c bch2_btree_iter_peek_prev(struct btree_iter *);
|
|
struct bkey_s_c bch2_btree_iter_prev(struct btree_iter *);
|
|
|
|
struct bkey_s_c bch2_btree_iter_peek_slot(struct btree_iter *);
|
|
struct bkey_s_c bch2_btree_iter_next_slot(struct btree_iter *);
|
|
|
|
struct bkey_s_c bch2_btree_iter_peek_cached(struct btree_iter *);
|
|
|
|
void __bch2_btree_iter_set_pos(struct btree_iter *, struct bpos, bool);
|
|
void bch2_btree_iter_set_pos(struct btree_iter *, struct bpos);
|
|
|
|
/* Sort order for locking btree iterators: */
|
|
static inline int btree_iter_lock_cmp(const struct btree_iter *l,
|
|
const struct btree_iter *r)
|
|
{
|
|
return cmp_int(l->btree_id, r->btree_id) ?:
|
|
-cmp_int(btree_iter_is_cached(l), btree_iter_is_cached(r)) ?:
|
|
bkey_cmp(l->pos, r->pos);
|
|
}
|
|
|
|
/*
|
|
* Unlocks before scheduling
|
|
* Note: does not revalidate iterator
|
|
*/
|
|
static inline int bch2_trans_cond_resched(struct btree_trans *trans)
|
|
{
|
|
if (need_resched() || race_fault()) {
|
|
bch2_trans_unlock(trans);
|
|
schedule();
|
|
return bch2_trans_relock(trans) ? 0 : -EINTR;
|
|
} else {
|
|
return 0;
|
|
}
|
|
}
|
|
|
|
#define __for_each_btree_node(_trans, _iter, _btree_id, _start, \
|
|
_locks_want, _depth, _flags, _b) \
|
|
for (iter = bch2_trans_get_node_iter((_trans), (_btree_id), \
|
|
_start, _locks_want, _depth, _flags), \
|
|
_b = bch2_btree_iter_peek_node(_iter); \
|
|
(_b); \
|
|
(_b) = bch2_btree_iter_next_node(_iter))
|
|
|
|
#define for_each_btree_node(_trans, _iter, _btree_id, _start, \
|
|
_flags, _b) \
|
|
__for_each_btree_node(_trans, _iter, _btree_id, _start, \
|
|
0, 0, _flags, _b)
|
|
|
|
static inline struct bkey_s_c __bch2_btree_iter_peek(struct btree_iter *iter,
|
|
unsigned flags)
|
|
{
|
|
if ((flags & BTREE_ITER_TYPE) == BTREE_ITER_CACHED)
|
|
return bch2_btree_iter_peek_cached(iter);
|
|
else
|
|
return flags & BTREE_ITER_SLOTS
|
|
? bch2_btree_iter_peek_slot(iter)
|
|
: bch2_btree_iter_peek(iter);
|
|
}
|
|
|
|
static inline struct bkey_s_c __bch2_btree_iter_next(struct btree_iter *iter,
|
|
unsigned flags)
|
|
{
|
|
return flags & BTREE_ITER_SLOTS
|
|
? bch2_btree_iter_next_slot(iter)
|
|
: bch2_btree_iter_next(iter);
|
|
}
|
|
|
|
static inline int bkey_err(struct bkey_s_c k)
|
|
{
|
|
return PTR_ERR_OR_ZERO(k.k);
|
|
}
|
|
|
|
#define for_each_btree_key(_trans, _iter, _btree_id, \
|
|
_start, _flags, _k, _ret) \
|
|
for ((_iter) = bch2_trans_get_iter((_trans), (_btree_id), \
|
|
(_start), (_flags)), \
|
|
(_ret) = PTR_ERR_OR_ZERO(((_k) = \
|
|
__bch2_btree_iter_peek(_iter, _flags)).k); \
|
|
!_ret && (_k).k; \
|
|
(_ret) = PTR_ERR_OR_ZERO(((_k) = \
|
|
__bch2_btree_iter_next(_iter, _flags)).k))
|
|
|
|
#define for_each_btree_key_continue(_iter, _flags, _k, _ret) \
|
|
for ((_k) = __bch2_btree_iter_peek(_iter, _flags); \
|
|
!((_ret) = bkey_err(_k)) && (_k).k; \
|
|
(_k) = __bch2_btree_iter_next(_iter, _flags))
|
|
|
|
/* new multiple iterator interface: */
|
|
|
|
int bch2_trans_iter_put(struct btree_trans *, struct btree_iter *);
|
|
int bch2_trans_iter_free(struct btree_trans *, struct btree_iter *);
|
|
|
|
void bch2_trans_unlink_iters(struct btree_trans *);
|
|
|
|
struct btree_iter *__bch2_trans_get_iter(struct btree_trans *, enum btree_id,
|
|
struct bpos, unsigned);
|
|
|
|
static inline struct btree_iter *
|
|
bch2_trans_get_iter(struct btree_trans *trans, enum btree_id btree_id,
|
|
struct bpos pos, unsigned flags)
|
|
{
|
|
struct btree_iter *iter =
|
|
__bch2_trans_get_iter(trans, btree_id, pos, flags);
|
|
iter->ip_allocated = _THIS_IP_;
|
|
return iter;
|
|
}
|
|
|
|
struct btree_iter *__bch2_trans_copy_iter(struct btree_trans *,
|
|
struct btree_iter *);
|
|
static inline struct btree_iter *
|
|
bch2_trans_copy_iter(struct btree_trans *trans, struct btree_iter *src)
|
|
{
|
|
struct btree_iter *iter =
|
|
__bch2_trans_copy_iter(trans, src);
|
|
|
|
iter->ip_allocated = _THIS_IP_;
|
|
return iter;
|
|
}
|
|
|
|
struct btree_iter *bch2_trans_get_node_iter(struct btree_trans *,
|
|
enum btree_id, struct bpos,
|
|
unsigned, unsigned, unsigned);
|
|
|
|
#define TRANS_RESET_NOTRAVERSE (1 << 0)
|
|
|
|
void bch2_trans_reset(struct btree_trans *, unsigned);
|
|
|
|
static inline void bch2_trans_begin(struct btree_trans *trans)
|
|
{
|
|
return bch2_trans_reset(trans, 0);
|
|
}
|
|
|
|
void *bch2_trans_kmalloc(struct btree_trans *, size_t);
|
|
void bch2_trans_init(struct btree_trans *, struct bch_fs *, unsigned, size_t);
|
|
int bch2_trans_exit(struct btree_trans *);
|
|
|
|
void bch2_btree_trans_to_text(struct printbuf *, struct bch_fs *);
|
|
|
|
void bch2_fs_btree_iter_exit(struct bch_fs *);
|
|
int bch2_fs_btree_iter_init(struct bch_fs *);
|
|
|
|
#endif /* _BCACHEFS_BTREE_ITER_H */
|