Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
From:   Madhuparna Bhowmik <madhuparnabhowmik10@gmail.com>
Date:   Fri, 6 Mar 2020 19:30:24 +0530
To:     Qu Wenruo <quwenruo.btrfs@gmx.com>
Cc:     madhuparnabhowmik10@gmail.com, clm@fb.com, josef@toxicpanda.com,
        dsterba@suse.com, linux-btrfs@vger.kernel.org,
        linux-kernel@vger.kernel.org, joel@joelfernandes.org,
        linux-kernel-mentees@lists.linuxfoundation.org, paulmck@kernel.org,
        frextrite@gmail.com, linux@roeck-us.net
Subject: Re: [PATCH] fs: btrfs: block-group.c: Fix suspicious RCU usage
 warning
Message-ID: <20200306140023.GA14186@madhuparna-HP-Notebook>
References: <20200306065243.11699-1-madhuparnabhowmik10@gmail.com>
 <dfd2c14c-acda-3862-9f48-a512e16a895c@gmx.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <dfd2c14c-acda-3862-9f48-a512e16a895c@gmx.com>
User-Agent: Mutt/1.9.4 (2018-02-28)
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

On Fri, Mar 06, 2020 at 03:16:53PM +0800, Qu Wenruo wrote:
> 
> 
> On 2020/3/6 下午2:52, madhuparnabhowmik10@gmail.com wrote:
> > From: Madhuparna Bhowmik <madhuparnabhowmik10@gmail.com>
> > 
> > The space_info list is rcu protected.
> > Hence, it should be traversed with rcu_read_lock held.
> > 
> > Warning:
> > [   29.104591] =============================
> > [   29.104756] WARNING: suspicious RCU usage
> > [   29.105046] 5.6.0-rc4-next-20200305 #1 Not tainted
> > [   29.105231] -----------------------------
> > [   29.105401] fs/btrfs/block-group.c:2011 RCU-list traversed in non-reader section!!
> > 
> > Reported-by: Guenter Roeck <linux@roeck-us.net>
> > Signed-off-by: Madhuparna Bhowmik <madhuparnabhowmik10@gmail.com>
> > ---
> >  fs/btrfs/block-group.c | 4 +++-
> >  1 file changed, 3 insertions(+), 1 deletion(-)
> > 
> > diff --git a/fs/btrfs/block-group.c b/fs/btrfs/block-group.c
> > index 404e050ce8ee..9cabeef66f5b 100644
> > --- a/fs/btrfs/block-group.c
> > +++ b/fs/btrfs/block-group.c
> > @@ -1987,6 +1987,7 @@ int btrfs_read_block_groups(struct btrfs_fs_info *info)
> 
> This function is only triggered at mount time, where no other rcu
> operation can happen.
>
Thanks Qu.

Joel and Paul, what should we do in this case?
Should we just pass cond = true or use list_for_each_entry instead?

Thank you,
Madhuparna

> Thanks,
> Qu
> >  		btrfs_release_path(path);
> >  	}
> >  
> > +	rcu_read_lock();
> >  	list_for_each_entry_rcu(space_info, &info->space_info, list) {
> >  		if (!(btrfs_get_alloc_profile(info, space_info->flags) &
> >  		      (BTRFS_BLOCK_GROUP_RAID10 |
> > @@ -2007,7 +2008,8 @@ int btrfs_read_block_groups(struct btrfs_fs_info *info)
> >  				list)
> >  			inc_block_group_ro(cache, 1);
> >  	}
> > -
> > +	rcu_read_unlock();
> > +		
> >  	btrfs_init_global_block_rsv(info);
> >  	ret = check_chunk_block_group_mappings(info);
> >  error:
> > 
>