bcachefs: btree_path_very_locks(): verify lock seq

If the btree_path's lock seq is wrong, the next bch2_trans_relock()
operation is guaranteed to fail and we take an unnecessary transaction
restart.

Signed-off-by: Kent Overstreet <kent.overstreet@linux.dev>

diff --git a/fs/bcachefs/btree_locking.c b/fs/bcachefs/btree_locking.c
index d343df9f0ad2ebaf9a40af2d8c741ff528388518..b339c209345a2afff992aede4e0f8e4e0bd8bf80 100644 (file)
--- a/fs/bcachefs/btree_locking.c
+++ b/fs/bcachefs/btree_locking.c
@@ -856,6 +856,9 @@ void bch2_btree_path_verify_locks(struct btree_path *path)
                       (want == BTREE_NODE_UNLOCKED ||
                        have != BTREE_NODE_WRITE_LOCKED) &&
                       want != have);
+
+               BUG_ON(btree_node_locked(path, l) &&
+                      path->l[l].lock_seq != six_lock_seq(&path->l[l].b->c.lock));
        }
 }