From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from zeniv.linux.org.uk ([195.92.253.2]:39724 "EHLO ZenIV.linux.org.uk" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727014AbfABUC1 (ORCPT ); Wed, 2 Jan 2019 15:02:27 -0500 Date: Wed, 2 Jan 2019 20:02:23 +0000 From: Al Viro To: Andrei Vagin Cc: David Howells , linux-fsdevel@vger.kernel.org, cgroups@vger.kernel.org, Li Zefan Subject: Re: [PATCH vfs/for-next v4] cgroup: fix top cgroup refcnt leak Message-ID: <20190102200223.GI2217@ZenIV.linux.org.uk> References: <20190102022804.GH2217@ZenIV.linux.org.uk> <20190102193756.6096-1-avagin@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20190102193756.6096-1-avagin@gmail.com> Sender: linux-fsdevel-owner@vger.kernel.org List-ID: On Wed, Jan 02, 2019 at 11:37:56AM -0800, Andrei Vagin wrote: > + if (unlikely(ret)) { > + dput(fc->root); > + deactivate_locked_super(fc->root->d_sb); > + fc->root = NULL; Er... I'd rather not dereference the damn thing after dput(). It's _probably_ OK (fc->root here, AFAICS, is going to be equal to its ->sb->s_root, and thus still pinned), but it's better to fetch ->d_sb first. If nothing else, it's easier to prove correctness that way...