Commit 88694f74 authored by Filipe Manana's avatar Filipe Manana Committed by David Sterba
Browse files

btrfs: add assertions and comment about path expectations to btrfs_cross_ref_exist() 



We should always call check_delayed_ref() with a path having a locked leaf
from the extent tree where either the extent item is located or where it
should be located in case it doesn't exist yet (when there's a pending
unflushed delayed ref to do it), as we need to lock any existing delayed
ref head while holding such leaf locked in order to avoid races with
flushing delayed references, which could make us think an extent is not
shared when it really is.

So add some assertions and a comment about such expectations to
btrfs_cross_ref_exist(), which is the only caller of check_delayed_ref().

Reviewed-by: default avatarQu Wenruo <wqu@suse.com>
Signed-off-by: default avatarFilipe Manana <fdmanana@suse.com>
Signed-off-by: default avatarDavid Sterba <dsterba@suse.com>
parent 2747c555

fs/btrfs/extent-tree.c

+25 −0
Original line number Diff line number Diff line
@@ -2425,6 +2425,31 @@ int btrfs_cross_ref_exist(struct btrfs_inode *inode, u64 offset, 
		if (ret && ret != -ENOENT)

			goto out;



		/*

		 * The path must have a locked leaf from the extent tree where

		 * the extent item for our extent is located, in case it exists,

		 * or where it should be located in case it doesn't exist yet

		 * because it's new and its delayed ref was not yet flushed.

		 * We need to lock the delayed ref head at check_delayed_ref(),

		 * if one exists, while holding the leaf locked in order to not

		 * race with delayed ref flushing, missing references and

		 * incorrectly reporting that the extent is not shared.

		 */

		if (IS_ENABLED(CONFIG_BTRFS_ASSERT)) {

			struct extent_buffer *leaf = path->nodes[0];



			ASSERT(leaf != NULL);

			btrfs_assert_tree_read_locked(leaf);



			if (ret != -ENOENT) {

				struct btrfs_key key;



				btrfs_item_key_to_cpu(leaf, &key, path->slots[0]);

				ASSERT(key.objectid == bytenr);

				ASSERT(key.type == BTRFS_EXTENT_ITEM_KEY);

			}

		}



		ret = check_delayed_ref(inode, path, offset, bytenr);

	} while (ret == -EAGAIN && !path->nowait);

fs/btrfs/locking.h

+5 −0
Original line number Diff line number Diff line
@@ -199,8 +199,13 @@ static inline void btrfs_assert_tree_write_locked(struct extent_buffer *eb) 
{

	lockdep_assert_held_write(&eb->lock);

}

static inline void btrfs_assert_tree_read_locked(struct extent_buffer *eb)

{

	lockdep_assert_held_read(&eb->lock);

}

#else

static inline void btrfs_assert_tree_write_locked(struct extent_buffer *eb) { }

static inline void btrfs_assert_tree_read_locked(struct extent_buffer *eb) { }

#endif



void btrfs_unlock_up_safe(struct btrfs_path *path, int level);