linux-kernel - Re: [PATCH 6/7 v3] overlay: hybrid overlay filesystem prototype

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-Id: <E1P08oT-0004C7-3O@pomaz-ex.szeredi.hu>
Date:	Mon, 27 Sep 2010 10:11:53 +0200
From:	Miklos Szeredi <miklos@...redi.hu>
To:	Valerie Aurora <vaurora@...hat.com>
CC:	miklos@...redi.hu, agruen@...e.de, linuxram@...ibm.com,
	linux-fsdevel@...r.kernel.org, linux-kernel@...r.kernel.org,
	neilb@...e.de, viro@...iv.linux.org.uk
Subject: Re: [PATCH 6/7 v3] overlay: hybrid overlay filesystem prototype

On Fri, 24 Sep 2010, Valerie Aurora wrote:
> On Mon, Sep 20, 2010 at 08:04:10PM +0200, Miklos Szeredi wrote:
> > From: Miklos Szeredi <mszeredi@...e.cz>
> > 
> > This overlay filesystem is a hybrid of entirely filesystem based
> > (unionfs, aufs) and entierly VFS based (union mounts) solutions.
> 
> [...]
> 
> > +static int ovl_create_object(struct dentry *dentry, int mode, dev_t rdev,
> > +			     const char *link)
> > +{
> > +	int err;
> > +	struct dentry *newdentry;
> > +	struct dentry *upperdir;
> > +	struct inode *inode;
> > +	struct kstat stat = {
> > +		.mode = mode,
> > +		.rdev = rdev,
> > +	};
> > +
> > +	err = -ENOMEM;
> > +	inode = ovl_new_inode(dentry->d_sb, mode);
> > +	if (!inode)
> > +		goto out;
> > +
> > +	err = ovl_copy_up(dentry->d_parent);
> > +	if (err)
> > +		goto out_iput;
> > +
> > +	upperdir = ovl_dentry_upper(dentry->d_parent);
> > +	mutex_lock_nested(&upperdir->d_inode->i_mutex, I_MUTEX_PARENT);
> > +
> > +	newdentry = ovl_upper_create(upperdir, dentry, &stat, link);
> > +	err = PTR_ERR(newdentry);
> > +	if (IS_ERR(newdentry))
> > +		goto out_unlock;
> > +
> > +	if (ovl_dentry_is_opaque(dentry) && S_ISDIR(mode)) {
> > +		err = ovl_set_opaque(newdentry);
> > +		if (err)
> > +			goto out_dput;
> > +	}
> 
> Andreas Gruenbacher just convinced me that every single new directory
> created in the unioned file system should be marked opaque.  "New"
> means either it replaces a whiteout or has no matching directory on
> the lower layer.  The theory is that the topmost file system changes
> should take precedence and override any changes (off-line) in the
> lower file system.

That's logical.  However marking new directories opaque is only a half
solution.  E.g. consider the case when we have /a/b/c/ on the lower fs
and /a/b/ on the upper, which is not opaque.  Then /a/b/c/ is created
on the upper fs off-line.  The union logic can't notice that "c"
should really be opaque and will merge with the contents of the lower
layer.

The real solution to this problem is to make opaque the default and
only mark *non* opaque directories.  These are only created on copy-up
or by explicit admin action on the upper fs.

Thanks,
Miklos
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/