btrfs: Add assert to catch nested transaction commit
authorNikolay Borisov <nborisov@suse.com>
Thu, 12 Sep 2019 15:31:44 +0000 (18:31 +0300)
committerDavid Sterba <dsterba@suse.com>
Mon, 18 Nov 2019 11:46:45 +0000 (12:46 +0100)
A recent patch to btrfs showed that there was at least 1 case where a
nested transaction was committed. Nested transaction in this case means
a code which has a transaction handle calls some function which in turn
obtains a copy of the same transaction handle. In such cases the correct
thing to do is for the lower callee to call btrfs_end_transaction which
contains appropriate checks so as to not commit the transaction which
will result in stale trans handler for the caller.

To catch such cases add an assert in btrfs_commit_transaction ensuring
btrfs_trans_handle::use_count is always 1.

Reviewed-by: Josef Bacik <josef@toxicpanda.com>
Signed-off-by: Nikolay Borisov <nborisov@suse.com>
Reviewed-by: David Sterba <dsterba@suse.com>
Signed-off-by: David Sterba <dsterba@suse.com>
fs/btrfs/transaction.c

index 8624bdee8c5b62d3190605f56b0d85dabbc6230a..8b75426c349e5ff37e0b43715303d9c2055bad85 100644 (file)
@@ -1949,6 +1949,8 @@ int btrfs_commit_transaction(struct btrfs_trans_handle *trans)
        struct btrfs_transaction *prev_trans = NULL;
        int ret;
 
+       ASSERT(refcount_read(&trans->use_count) == 1);
+
        /* Stop the commit early if ->aborted is set */
        if (unlikely(READ_ONCE(cur_trans->aborted))) {
                ret = cur_trans->aborted;