Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Tue, 10 May 2022 13:51:37 -0500
From:   "Serge E. Hallyn" <serge@hallyn.com>
To:     Christian Brauner <brauner@kernel.org>
Cc:     "Serge E. Hallyn" <serge@hallyn.com>,
        Stefan Berger <stefanb@linux.ibm.com>,
        linux-integrity@vger.kernel.org, zohar@linux.ibm.com,
        christian.brauner@ubuntu.com, containers@lists.linux.dev,
        dmitry.kasatkin@gmail.com, ebiederm@xmission.com,
        krzysztof.struczynski@huawei.com, roberto.sassu@huawei.com,
        mpeters@redhat.com, lhinds@redhat.com, lsturman@redhat.com,
        puiterwi@redhat.com, jejb@linux.ibm.com, jamjoom@us.ibm.com,
        linux-kernel@vger.kernel.org, paul@paul-moore.com, rgb@redhat.com,
        linux-security-module@vger.kernel.org, jmorris@namei.org,
        jpenumak@redhat.com, John Johansen <john.johansen@canonical.com>,
        Matthew Garrett <mjg59@srcf.ucam.org>,
        Micah Morton <mortonm@chromium.org>,
        Kentaro Takeda <takedakn@nttdata.co.jp>,
        Jarkko Sakkinen <jarkko@kernel.org>
Subject: Re: [PATCH v12 01/26] securityfs: rework dentry creation
Message-ID: <20220510185137.GA10706@mail.hallyn.com>
References: <20220420140633.753772-1-stefanb@linux.ibm.com>
 <20220420140633.753772-2-stefanb@linux.ibm.com>
 <20220509195414.GA30894@mail.hallyn.com>
 <20220510102525.hlt2rm3k3hg5r6gg@wittgenstein>
 <20220510141025.GA7290@mail.hallyn.com>
 <20220510155107.srxifzuqfstvet2f@wittgenstein>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20220510155107.srxifzuqfstvet2f@wittgenstein>
User-Agent: Mutt/1.9.4 (2018-02-28)
Precedence: bulk

On Tue, May 10, 2022 at 05:51:07PM +0200, Christian Brauner wrote:
> On Tue, May 10, 2022 at 09:10:25AM -0500, Serge Hallyn wrote:
> > On Tue, May 10, 2022 at 12:25:25PM +0200, Christian Brauner wrote:
> > > On Mon, May 09, 2022 at 02:54:14PM -0500, Serge Hallyn wrote:
> > > > On Wed, Apr 20, 2022 at 10:06:08AM -0400, Stefan Berger wrote:
> > > > > From: Christian Brauner <brauner@kernel.org>
> > > > > 
> > > > > When securityfs creates a new file or directory via
> > > > > securityfs_create_dentry() it will take an additional reference on the
> > > > > newly created dentry after it has attached the new inode to the new
> > > > > dentry and added it to the hashqueues.
> > > > > If we contrast this with debugfs which has the same underlying logic as
> > > > > securityfs. It uses a similar pairing as securityfs. Where securityfs
> > > > > has the securityfs_create_dentry() and securityfs_remove() pairing,
> > > > > debugfs has the __debugfs_create_file() and debugfs_remove() pairing.
> > > > > 
> > > > > In contrast to securityfs, debugfs doesn't take an additional reference
> > > > > on the newly created dentry in __debugfs_create_file() which would need
> > > > > to be put in debugfs_remove().
> > > > > 
> > > > > The additional dget() isn't a problem per se. In the current
> > > > > implementation of securityfs each created dentry pins the filesystem via
> > > > 
> > > > Is 'via' an extra word here or is there a missing word?
> > > > 
> > > > I'll delay the rest of my response as the missing word may answer my
> > > > remaining question :)
> > > 
> > > It can be both. It should either be removed or it should be followed by
> > > "securityfs_create_dentry()". securityfs_create_dentry() takes two
> > > references one in lookup_one_len() and another one explicitly via
> > > dget(). The latter one isn't needed. Some of that has been covered in an
> > > earlier thread:
> > > https://lore.kernel.org/lkml/20220105101815.ldsm4s5yx7pmuiil@wittgenstein
> > 
> > Yes, I saw that two references were being taken.  And near as I can tell,
> > the second one was never being dropped.  So if you tell me that before this
> > patch the dentries are never freed, then I'm happy.  Otherwise, I'm
> > bothered the fact that no matching dput is being deleted in the code (to
> > match the extra dget being removed).  So where is the code where the final
> > dput was happening, and is it the d_delete() you're adding which is making
> > it so that that dput won't be called now?
> 
> * So consider mounting securityfs _without this patch applied_:
> 
>   mount -t securityfs /sfs
>   
>   and assume we only have a single user that creates a file "foo" via
>   
>   securityfs_create_file()
>   {
>   	lookup_one_len();	// first dget()
>   	dget();			// second dget()
>   }
>   
>   now assume that user at some point calls
>   
>   void securityfs_remove()
>   {
>   	if (d_is_dir(dentry))
>   		simple_rmdir(dir, dentry);	// first dput()
>   	else
>   		simple_unlink(dir, dentry);	// first dput()
>   	dput(dentry);				// second dput()
>   }
> 
> * Now consider mounting securityfs _with this patch applied_:
> 
>   securityfs_create_file()
>   {
>   	lookup_one_len();	// first dget()
>   }
>   
>   void securityfs_remove()
>   {
>   	dget();					// second dget() 
>   	if (d_is_dir(dentry))
>   		simple_rmdir(dir, dentry);	// first dput()
>   	else
>   		simple_unlink(dir, dentry);	// first dput()
>   	dput(dentry);				// second dput()
>   }

Oh - I was thinking about the new d_delete, but I guess that doesn't matter.

thanks,
-serge