btrfs: assert we are holding the reada_lock when releasing a readahead zone
authorFilipe Manana <fdmanana@suse.com>
Mon, 12 Oct 2020 10:55:25 +0000 (11:55 +0100)
committerDavid Sterba <dsterba@suse.com>
Tue, 8 Dec 2020 14:53:38 +0000 (15:53 +0100)
commita57ad681f12e1ec80365fc4693e12e979159b9d0
tree501d29a935ae49d8d121546dd2ae32330ffa5f4a
parentaa8c1a41a1e6108aa65c359efe90711337d03a16
btrfs: assert we are holding the reada_lock when releasing a readahead zone

When we drop the last reference of a zone, we end up releasing it through
the callback reada_zone_release(), which deletes the zone from a device's
reada_zones radix tree. This tree is protected by the global readahead
lock at fs_info->reada_lock. Currently all places that are sure that they
are dropping the last reference on a zone, are calling kref_put() in a
critical section delimited by this lock, while all other places that are
sure they are not dropping the last reference, do not bother calling
kref_put() while holding that lock.

When working on the previous fix for hangs and use-after-frees in the
readahead code, my initial attempts were different and I actually ended
up having reada_zone_release() called when not holding the lock, which
resulted in weird and unexpected problems. So just add an assertion
there to detect such problem more quickly and make the dependency more
obvious.

Reviewed-by: Johannes Thumshirn <johannes.thumshirn@wdc.com>
Reviewed-by: Josef Bacik <josef@toxicpanda.com>
Signed-off-by: Filipe Manana <fdmanana@suse.com>
Reviewed-by: David Sterba <dsterba@suse.com>
Signed-off-by: David Sterba <dsterba@suse.com>
fs/btrfs/reada.c