All of lore.kernel.org
 help / color / mirror / Atom feed
* [PATCH] ovl: detect overlapping layers
@ 2019-04-02 19:31 Amir Goldstein
  2019-04-03 20:46 ` Vivek Goyal
  0 siblings, 1 reply; 4+ messages in thread
From: Amir Goldstein @ 2019-04-02 19:31 UTC (permalink / raw)
  To: Miklos Szeredi; +Cc: Vivek Goyal, linux-unionfs, syzkaller-bugs

Overlapping overlay layers are not supported and can cause unexpected
behavior, but overlayfs does not currently check or warn about these
configurations.

User is not supposed to specify the same directory for upper and
lower dirs or for different lower layers and user is not supposed to
specify directories that are descendants of each other for overlay
layers, but that is exactly what this zysbot repro did:

    https://syzkaller.appspot.com/x/repro.syz?x=12c7a94f400000

Moving layer root directories into other layers while overlayfs
is mounted could also result in unexpected behavior.

This commit places "traps" in the overlay inode hash table.
Those traps are dummy overlay inodes that are hashed by the layers
root inodes. On mount, the hash table trap entries are used to
verify that overlay layers are not overlapping.
On lookup, the trap entries are used to verify that overlay layers
root inodes have not been moved into other layers after mount.

Some examples:

$ ./run --ov --samefs -s
...
( mkdir -p base/upper/0/u base/upper/0/w base/lower lower upper mnt
  mount -o bind base/lower lower
  mount -o bind base/upper upper
  mount -t overlay none mnt ...
        -o lowerdir=lower,upperdir=upper/0/u,workdir=upper/0/w)

$ umount mnt
$ mount -t overlay none mnt ...
        -o lowerdir=base,upperdir=upper/0/u,workdir=upper/0/w

  [   94.434900] overlayfs: overlapping upperdir path
  mount: mount overlay on mnt failed: Too many levels of symbolic links

$ mount -t overlay none mnt ...
        -o lowerdir=upper/0/u,upperdir=upper/0/u,workdir=upper/0/w

  [  151.350132] overlayfs: conflicting lowerdir path (-17)
  mount: mount overlay on mnt failed: File exists

$ mount -t overlay none mnt ...
        -o lowerdir=lower:lower/a,upperdir=upper/0/u,workdir=upper/0/w

  [  201.205045] overlayfs: overlapping lowerdir path
  mount: mount overlay on mnt failed: Too many levels of symbolic links

$ mount -t overlay none mnt ...
        -o lowerdir=lower,upperdir=upper/0/u,workdir=upper/0/w
$ mv base/upper/0/ base/lower/
$ find mnt/0
  mnt/0
  mnt/0/w
  find: 'mnt/0/w/work': Too many levels of symbolic links
  find: 'mnt/0/u': Too many levels of symbolic links

Reported-by: syzbot+9c69c282adc4edd2b540@syzkaller.appspotmail.com
Signed-off-by: Amir Goldstein <amir73il@gmail.com>
---

Miklos,

As you and Vivek proposed, this patch eliminates some overlapping
layers use cases, both at mount time and lookup time.

Thanks,
Amir.

 fs/overlayfs/inode.c     |  48 ++++++++++++++
 fs/overlayfs/namei.c     |   8 +++
 fs/overlayfs/overlayfs.h |   2 +
 fs/overlayfs/ovl_entry.h |   6 ++
 fs/overlayfs/super.c     | 135 ++++++++++++++++++++++++++++++++++-----
 5 files changed, 182 insertions(+), 17 deletions(-)

diff --git a/fs/overlayfs/inode.c b/fs/overlayfs/inode.c
index b48273e846ad..6cf80cad40b2 100644
--- a/fs/overlayfs/inode.c
+++ b/fs/overlayfs/inode.c
@@ -777,6 +777,54 @@ struct inode *ovl_lookup_inode(struct super_block *sb, struct dentry *real,
 	return inode;
 }
 
+bool ovl_lookup_trap_inode(struct super_block *sb, struct dentry *dir)
+{
+	struct inode *key = d_inode(dir);
+	struct inode *trap;
+	bool res;
+
+	trap = ilookup5(sb, (unsigned long) key, ovl_inode_test, key);
+	if (!trap)
+		return false;
+
+	res = IS_DEADDIR(trap) && !ovl_inode_upper(trap) &&
+				  !ovl_inode_lower(trap);
+
+	iput(trap);
+	return res;
+}
+
+/*
+ * Create an inode cache entry for layer root dir, that will intentionally
+ * fail ovl_verify_inode(), so any lookup that will find some layer root
+ * will fail.
+ */
+struct inode *ovl_get_trap_inode(struct super_block *sb, struct dentry *dir)
+{
+	struct inode *key = d_inode(dir);
+	struct inode *trap;
+
+	if (!d_is_dir(dir))
+		return ERR_PTR(-ENOTDIR);
+
+	trap = iget5_locked(sb, (unsigned long) key, ovl_inode_test,
+			    ovl_inode_set, key);
+	if (!trap)
+		return ERR_PTR(-ENOMEM);
+
+	if (!(trap->i_state & I_NEW)) {
+		/* Conflicting layer roots? */
+		iput(trap);
+		return ERR_PTR(-EEXIST);
+	}
+
+	trap->i_mode = S_IFDIR;
+	trap->i_flags = S_DEAD;
+	unlock_new_inode(trap);
+
+	return trap;
+}
+
 /*
  * Does overlay inode need to be hashed by lower inode?
  */
diff --git a/fs/overlayfs/namei.c b/fs/overlayfs/namei.c
index efd372312ef1..badf039267a2 100644
--- a/fs/overlayfs/namei.c
+++ b/fs/overlayfs/namei.c
@@ -18,6 +18,7 @@
 #include "overlayfs.h"
 
 struct ovl_lookup_data {
+	struct super_block *sb;
 	struct qstr name;
 	bool is_dir;
 	bool opaque;
@@ -244,6 +245,12 @@ static int ovl_lookup_single(struct dentry *base, struct ovl_lookup_data *d,
 		if (!d->metacopy || d->last)
 			goto out;
 	} else {
+		if (ovl_lookup_trap_inode(d->sb, this)) {
+			/* Caught in a trap of overlapping layers */
+			err = -ELOOP;
+			goto out_err;
+		}
+
 		if (last_element)
 			d->is_dir = true;
 		if (d->last)
@@ -819,6 +826,7 @@ struct dentry *ovl_lookup(struct inode *dir, struct dentry *dentry,
 	int err;
 	bool metacopy = false;
 	struct ovl_lookup_data d = {
+		.sb = dentry->d_sb,
 		.name = dentry->d_name,
 		.is_dir = false,
 		.opaque = false,
diff --git a/fs/overlayfs/overlayfs.h b/fs/overlayfs/overlayfs.h
index d26efed9f80a..a1eaac913097 100644
--- a/fs/overlayfs/overlayfs.h
+++ b/fs/overlayfs/overlayfs.h
@@ -376,6 +376,8 @@ struct ovl_inode_params {
 struct inode *ovl_new_inode(struct super_block *sb, umode_t mode, dev_t rdev);
 struct inode *ovl_lookup_inode(struct super_block *sb, struct dentry *real,
 			       bool is_upper);
+bool ovl_lookup_trap_inode(struct super_block *sb, struct dentry *dir);
+struct inode *ovl_get_trap_inode(struct super_block *sb, struct dentry *dir);
 struct inode *ovl_get_inode(struct super_block *sb,
 			    struct ovl_inode_params *oip);
 static inline void ovl_copyattr(struct inode *from, struct inode *to)
diff --git a/fs/overlayfs/ovl_entry.h b/fs/overlayfs/ovl_entry.h
index ec237035333a..6ed1ace8f8b3 100644
--- a/fs/overlayfs/ovl_entry.h
+++ b/fs/overlayfs/ovl_entry.h
@@ -29,6 +29,8 @@ struct ovl_sb {
 
 struct ovl_layer {
 	struct vfsmount *mnt;
+	/* Trap in ovl inode cache */
+	struct inode *trap;
 	struct ovl_sb *fs;
 	/* Index of this layer in fs root (upper idx == 0) */
 	int idx;
@@ -65,6 +67,10 @@ struct ovl_fs {
 	/* Did we take the inuse lock? */
 	bool upperdir_locked;
 	bool workdir_locked;
+	/* Traps in ovl inode cache */
+	struct inode *upperdir_trap;
+	struct inode *workdir_trap;
+	struct inode *indexdir_trap;
 	/* Inode numbers in all layers do not use the high xino_bits */
 	unsigned int xino_bits;
 };
diff --git a/fs/overlayfs/super.c b/fs/overlayfs/super.c
index 0116735cc321..a1d634cfa4f7 100644
--- a/fs/overlayfs/super.c
+++ b/fs/overlayfs/super.c
@@ -217,6 +217,9 @@ static void ovl_free_fs(struct ovl_fs *ofs)
 {
 	unsigned i;
 
+	iput(ofs->indexdir_trap);
+	iput(ofs->workdir_trap);
+	iput(ofs->upperdir_trap);
 	dput(ofs->indexdir);
 	dput(ofs->workdir);
 	if (ofs->workdir_locked)
@@ -225,8 +228,10 @@ static void ovl_free_fs(struct ovl_fs *ofs)
 	if (ofs->upperdir_locked)
 		ovl_inuse_unlock(ofs->upper_mnt->mnt_root);
 	mntput(ofs->upper_mnt);
-	for (i = 0; i < ofs->numlower; i++)
+	for (i = 0; i < ofs->numlower; i++) {
+		iput(ofs->lower_layers[i].trap);
 		mntput(ofs->lower_layers[i].mnt);
+	}
 	for (i = 0; i < ofs->numlowerfs; i++)
 		free_anon_bdev(ofs->lower_fs[i].pseudo_dev);
 	kfree(ofs->lower_layers);
@@ -984,7 +989,25 @@ static const struct xattr_handler *ovl_xattr_handlers[] = {
 	NULL
 };
 
-static int ovl_get_upper(struct ovl_fs *ofs, struct path *upperpath)
+static int ovl_setup_trap(struct super_block *sb, struct dentry *dir,
+			  struct inode **ptrap, const char *name)
+{
+	struct inode *trap;
+	int err;
+
+	trap = ovl_get_trap_inode(sb, dir);
+	err = PTR_ERR(trap);
+	if (IS_ERR(trap)) {
+		pr_err("overlayfs: conflicting %s path (%i)\n", name, err);
+		return err;
+	}
+
+	*ptrap = trap;
+	return 0;
+}
+
+static int ovl_get_upper(struct super_block *sb, struct ovl_fs *ofs,
+			 struct path *upperpath)
 {
 	struct vfsmount *upper_mnt;
 	int err;
@@ -1004,6 +1027,11 @@ static int ovl_get_upper(struct ovl_fs *ofs, struct path *upperpath)
 	if (err)
 		goto out;
 
+	err = ovl_setup_trap(sb, upperpath->dentry, &ofs->upperdir_trap,
+			     "upperdir");
+	if (err)
+		goto out;
+
 	upper_mnt = clone_private_mount(upperpath);
 	err = PTR_ERR(upper_mnt);
 	if (IS_ERR(upper_mnt)) {
@@ -1030,7 +1058,8 @@ static int ovl_get_upper(struct ovl_fs *ofs, struct path *upperpath)
 	return err;
 }
 
-static int ovl_make_workdir(struct ovl_fs *ofs, struct path *workpath)
+static int ovl_make_workdir(struct super_block *sb, struct ovl_fs *ofs,
+			    struct path *workpath)
 {
 	struct vfsmount *mnt = ofs->upper_mnt;
 	struct dentry *temp;
@@ -1045,6 +1074,10 @@ static int ovl_make_workdir(struct ovl_fs *ofs, struct path *workpath)
 	if (!ofs->workdir)
 		goto out;
 
+	err = ovl_setup_trap(sb, ofs->workdir, &ofs->workdir_trap, "workdir");
+	if (err)
+		goto out;
+
 	/*
 	 * Upper should support d_type, else whiteouts are visible.  Given
 	 * workdir and upper are on same fs, we can do iterate_dir() on
@@ -1105,7 +1138,8 @@ static int ovl_make_workdir(struct ovl_fs *ofs, struct path *workpath)
 	return err;
 }
 
-static int ovl_get_workdir(struct ovl_fs *ofs, struct path *upperpath)
+static int ovl_get_workdir(struct super_block *sb, struct ovl_fs *ofs,
+			   struct path *upperpath)
 {
 	int err;
 	struct path workpath = { };
@@ -1136,19 +1170,16 @@ static int ovl_get_workdir(struct ovl_fs *ofs, struct path *upperpath)
 		pr_warn("overlayfs: workdir is in-use by another mount, accessing files from both mounts will result in undefined behavior.\n");
 	}
 
-	err = ovl_make_workdir(ofs, &workpath);
-	if (err)
-		goto out;
+	err = ovl_make_workdir(sb, ofs, &workpath);
 
-	err = 0;
 out:
 	path_put(&workpath);
 
 	return err;
 }
 
-static int ovl_get_indexdir(struct ovl_fs *ofs, struct ovl_entry *oe,
-			    struct path *upperpath)
+static int ovl_get_indexdir(struct super_block *sb, struct ovl_fs *ofs,
+			    struct ovl_entry *oe, struct path *upperpath)
 {
 	struct vfsmount *mnt = ofs->upper_mnt;
 	int err;
@@ -1167,6 +1198,11 @@ static int ovl_get_indexdir(struct ovl_fs *ofs, struct ovl_entry *oe,
 
 	ofs->indexdir = ovl_workdir_create(ofs, OVL_INDEXDIR_NAME, true);
 	if (ofs->indexdir) {
+		err = ovl_setup_trap(sb, ofs->indexdir, &ofs->indexdir_trap,
+				     "indexdir");
+		if (err)
+			goto out;
+
 		/*
 		 * Verify upper root is exclusively associated with index dir.
 		 * Older kernels stored upper fh in "trusted.overlay.origin"
@@ -1254,8 +1290,8 @@ static int ovl_get_fsid(struct ovl_fs *ofs, const struct path *path)
 	return ofs->numlowerfs;
 }
 
-static int ovl_get_lower_layers(struct ovl_fs *ofs, struct path *stack,
-				unsigned int numlower)
+static int ovl_get_lower_layers(struct super_block *sb, struct ovl_fs *ofs,
+				struct path *stack, unsigned int numlower)
 {
 	int err;
 	unsigned int i;
@@ -1273,16 +1309,22 @@ static int ovl_get_lower_layers(struct ovl_fs *ofs, struct path *stack,
 
 	for (i = 0; i < numlower; i++) {
 		struct vfsmount *mnt;
+		struct inode *trap;
 		int fsid;
 
 		err = fsid = ovl_get_fsid(ofs, &stack[i]);
 		if (err < 0)
 			goto out;
 
+		err = ovl_setup_trap(sb, stack[i].dentry, &trap, "lowerdir");
+		if (err)
+			goto out;
+
 		mnt = clone_private_mount(&stack[i]);
 		err = PTR_ERR(mnt);
 		if (IS_ERR(mnt)) {
 			pr_err("overlayfs: failed to clone lowerpath\n");
+			iput(trap);
 			goto out;
 		}
 
@@ -1292,6 +1334,7 @@ static int ovl_get_lower_layers(struct ovl_fs *ofs, struct path *stack,
 		 */
 		mnt->mnt_flags |= MNT_READONLY | MNT_NOATIME;
 
+		ofs->lower_layers[ofs->numlower].trap = trap;
 		ofs->lower_layers[ofs->numlower].mnt = mnt;
 		ofs->lower_layers[ofs->numlower].idx = i + 1;
 		ofs->lower_layers[ofs->numlower].fsid = fsid;
@@ -1386,7 +1429,7 @@ static struct ovl_entry *ovl_get_lowerstack(struct super_block *sb,
 		goto out_err;
 	}
 
-	err = ovl_get_lower_layers(ofs, stack, numlower);
+	err = ovl_get_lower_layers(sb, ofs, stack, numlower);
 	if (err)
 		goto out_err;
 
@@ -1418,6 +1461,58 @@ static struct ovl_entry *ovl_get_lowerstack(struct super_block *sb,
 	goto out;
 }
 
+/*
+ * Check if any of the layers or work dirs are ancestors of this layer.
+ */
+static bool ovl_check_layer(struct super_block *sb, struct dentry *dentry,
+			    const char *name)
+{
+	struct dentry *next, *parent;
+	bool overlapping = false;
+
+	if (!dentry || IS_ROOT(dentry))
+		return false;
+
+	next = dget(dentry);
+	/* Walk back ancestors to fs root (inclusive) looking for traps */
+	do {
+		parent = dget_parent(next);
+		overlapping = ovl_lookup_trap_inode(sb, parent);
+		dput(next);
+		next = parent;
+	} while (!overlapping && !IS_ROOT(next));
+
+	dput(next);
+
+	if (overlapping)
+		pr_err("overlayfs: overlapping %s path\n", name);
+
+	return overlapping;
+}
+
+/*
+ * Check if any of the layers or work dirs overlap.
+ */
+static int ovl_check_overlapping_layers(struct super_block *sb,
+					struct ovl_fs *ofs)
+{
+	int i;
+
+	if (ofs->upper_mnt &&
+	    (ovl_check_layer(sb, ofs->upper_mnt->mnt_root, "upperdir") ||
+	     ovl_check_layer(sb, ofs->workdir, "workdir") ||
+	     ovl_check_layer(sb, ofs->indexdir, "indexdir")))
+		return -ELOOP;
+
+	for (i = 0; i < ofs->numlower; i++) {
+		if (ovl_check_layer(sb, ofs->lower_layers[i].mnt->mnt_root,
+				    "lowerdir"))
+			return -ELOOP;
+	}
+
+	return 0;
+}
+
 static int ovl_fill_super(struct super_block *sb, void *data, int silent)
 {
 	struct path upperpath = { };
@@ -1457,17 +1552,20 @@ static int ovl_fill_super(struct super_block *sb, void *data, int silent)
 	if (ofs->config.xino != OVL_XINO_OFF)
 		ofs->xino_bits = BITS_PER_LONG - 32;
 
+	/* alloc/destroy_inode needed for setting up traps in inode cache */
+	sb->s_op = &ovl_super_operations;
+
 	if (ofs->config.upperdir) {
 		if (!ofs->config.workdir) {
 			pr_err("overlayfs: missing 'workdir'\n");
 			goto out_err;
 		}
 
-		err = ovl_get_upper(ofs, &upperpath);
+		err = ovl_get_upper(sb, ofs, &upperpath);
 		if (err)
 			goto out_err;
 
-		err = ovl_get_workdir(ofs, &upperpath);
+		err = ovl_get_workdir(sb, ofs, &upperpath);
 		if (err)
 			goto out_err;
 
@@ -1488,7 +1586,7 @@ static int ovl_fill_super(struct super_block *sb, void *data, int silent)
 		sb->s_flags |= SB_RDONLY;
 
 	if (!(ovl_force_readonly(ofs)) && ofs->config.index) {
-		err = ovl_get_indexdir(ofs, oe, &upperpath);
+		err = ovl_get_indexdir(sb, ofs, oe, &upperpath);
 		if (err)
 			goto out_free_oe;
 
@@ -1501,6 +1599,10 @@ static int ovl_fill_super(struct super_block *sb, void *data, int silent)
 
 	}
 
+	err = ovl_check_overlapping_layers(sb, ofs);
+	if (err)
+		goto out_free_oe;
+
 	/* Show index=off in /proc/mounts for forced r/o mount */
 	if (!ofs->indexdir) {
 		ofs->config.index = false;
@@ -1522,7 +1624,6 @@ static int ovl_fill_super(struct super_block *sb, void *data, int silent)
 	cap_lower(cred->cap_effective, CAP_SYS_RESOURCE);
 
 	sb->s_magic = OVERLAYFS_SUPER_MAGIC;
-	sb->s_op = &ovl_super_operations;
 	sb->s_xattr = ovl_xattr_handlers;
 	sb->s_fs_info = ofs;
 	sb->s_flags |= SB_POSIXACL;
-- 
2.17.1

^ permalink raw reply related	[flat|nested] 4+ messages in thread

* Re: [PATCH] ovl: detect overlapping layers
  2019-04-02 19:31 [PATCH] ovl: detect overlapping layers Amir Goldstein
@ 2019-04-03 20:46 ` Vivek Goyal
  2019-04-04  4:41   ` Amir Goldstein
  0 siblings, 1 reply; 4+ messages in thread
From: Vivek Goyal @ 2019-04-03 20:46 UTC (permalink / raw)
  To: Amir Goldstein; +Cc: Miklos Szeredi, linux-unionfs, syzkaller-bugs

On Tue, Apr 02, 2019 at 10:31:55PM +0300, Amir Goldstein wrote:
[..]
>  /*
>   * Does overlay inode need to be hashed by lower inode?
>   */
> diff --git a/fs/overlayfs/namei.c b/fs/overlayfs/namei.c
> index efd372312ef1..badf039267a2 100644
> --- a/fs/overlayfs/namei.c
> +++ b/fs/overlayfs/namei.c
> @@ -18,6 +18,7 @@
>  #include "overlayfs.h"
>  
>  struct ovl_lookup_data {
> +	struct super_block *sb;
>  	struct qstr name;
>  	bool is_dir;
>  	bool opaque;
> @@ -244,6 +245,12 @@ static int ovl_lookup_single(struct dentry *base, struct ovl_lookup_data *d,
>  		if (!d->metacopy || d->last)
>  			goto out;
>  	} else {
> +		if (ovl_lookup_trap_inode(d->sb, this)) {
> +			/* Caught in a trap of overlapping layers */
> +			err = -ELOOP;
> +			goto out_err;
> +		}
> +

Hi Amir,

This idea of putting dummy inodes in overlay inode cache hashed by inode
pointer of root inode of underlying layers seems very clever. Cost
of checking overlapping layer also seems to be O(N) and that's good.

So if we want to detect this case of overlapping layers after the mount,
then we have to pay the cost of this trap inode lookup for every dentry
found in upper/lower layer

[..]
> +static int ovl_setup_trap(struct super_block *sb, struct dentry *dir,
> +			  struct inode **ptrap, const char *name)
> +{
> +	struct inode *trap;
> +	int err;
> +
> +	trap = ovl_get_trap_inode(sb, dir);
> +	err = PTR_ERR(trap);
> +	if (IS_ERR(trap)) {
> +		pr_err("overlayfs: conflicting %s path (%i)\n", name, err);
> +		return err;
> +	}
> +

ovl_get_trap_inode() can fail for other reasons like -ENOMEM. Should we
warn about conflicting path only on -EEXIST.

[..]
>  static int ovl_fill_super(struct super_block *sb, void *data, int silent)
>  {
>  	struct path upperpath = { };
> @@ -1457,17 +1552,20 @@ static int ovl_fill_super(struct super_block *sb, void *data, int silent)
>  	if (ofs->config.xino != OVL_XINO_OFF)
>  		ofs->xino_bits = BITS_PER_LONG - 32;
>  
> +	/* alloc/destroy_inode needed for setting up traps in inode cache */
> +	sb->s_op = &ovl_super_operations;
> +

Passing super block pointer to routines outside overlay before sb
initializaiton is complete, is it safe?

Thanks
Vivek

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [PATCH] ovl: detect overlapping layers
  2019-04-03 20:46 ` Vivek Goyal
@ 2019-04-04  4:41   ` Amir Goldstein
  2019-04-04 13:10     ` Vivek Goyal
  0 siblings, 1 reply; 4+ messages in thread
From: Amir Goldstein @ 2019-04-04  4:41 UTC (permalink / raw)
  To: Vivek Goyal; +Cc: Miklos Szeredi, overlayfs, syzkaller-bugs

On Wed, Apr 3, 2019 at 11:46 PM Vivek Goyal <vgoyal@redhat.com> wrote:
>
> On Tue, Apr 02, 2019 at 10:31:55PM +0300, Amir Goldstein wrote:
> [..]
> >  /*
> >   * Does overlay inode need to be hashed by lower inode?
> >   */
> > diff --git a/fs/overlayfs/namei.c b/fs/overlayfs/namei.c
> > index efd372312ef1..badf039267a2 100644
> > --- a/fs/overlayfs/namei.c
> > +++ b/fs/overlayfs/namei.c
> > @@ -18,6 +18,7 @@
> >  #include "overlayfs.h"
> >
> >  struct ovl_lookup_data {
> > +     struct super_block *sb;
> >       struct qstr name;
> >       bool is_dir;
> >       bool opaque;
> > @@ -244,6 +245,12 @@ static int ovl_lookup_single(struct dentry *base, struct ovl_lookup_data *d,
> >               if (!d->metacopy || d->last)
> >                       goto out;
> >       } else {
> > +             if (ovl_lookup_trap_inode(d->sb, this)) {
> > +                     /* Caught in a trap of overlapping layers */
> > +                     err = -ELOOP;
> > +                     goto out_err;
> > +             }
> > +
>
> Hi Amir,
>
> This idea of putting dummy inodes in overlay inode cache hashed by inode
> pointer of root inode of underlying layers seems very clever. Cost
> of checking overlapping layer also seems to be O(N) and that's good.
>
> So if we want to detect this case of overlapping layers after the mount,
> then we have to pay the cost of this trap inode lookup for every dentry
> found in upper/lower layer
>

Doesn't seem so expensive compared to overlay directory lookup, even in
the best case of upper/lower layer dentry in dcache.

> [..]
> > +static int ovl_setup_trap(struct super_block *sb, struct dentry *dir,
> > +                       struct inode **ptrap, const char *name)
> > +{
> > +     struct inode *trap;
> > +     int err;
> > +
> > +     trap = ovl_get_trap_inode(sb, dir);
> > +     err = PTR_ERR(trap);
> > +     if (IS_ERR(trap)) {
> > +             pr_err("overlayfs: conflicting %s path (%i)\n", name, err);
> > +             return err;
> > +     }
> > +
>
> ovl_get_trap_inode() can fail for other reasons like -ENOMEM. Should we
> warn about conflicting path only on -EEXIST.
>

Agreed.

> [..]
> >  static int ovl_fill_super(struct super_block *sb, void *data, int silent)
> >  {
> >       struct path upperpath = { };
> > @@ -1457,17 +1552,20 @@ static int ovl_fill_super(struct super_block *sb, void *data, int silent)
> >       if (ofs->config.xino != OVL_XINO_OFF)
> >               ofs->xino_bits = BITS_PER_LONG - 32;
> >
> > +     /* alloc/destroy_inode needed for setting up traps in inode cache */
> > +     sb->s_op = &ovl_super_operations;
> > +
>
> Passing super block pointer to routines outside overlay before sb
> initializaiton is complete, is it safe?
>

It ain't pretty, but as far as calling vfs inode helpers,
d_make_root(ovl_new_inode(sb, ...
below does the same with only "slightly more" initialized sb.

I could do more of the sb initialization at this point.
In fact, setting sb->s_fs_info = ofs, at this point could save passing
both sb and ofs to ovl_fill_super() helpers.

One more thing about order of sanity tests -
It would have been nice if ovl_verify_origin() was done after
ovl_check_overlapping_layers(). As it is, when mounting with
overlapping layers, we first store fh of overlapping lower in
upper root xattr and only then fail the mount, leaving the
upper dir unusable for another mount try.
I had to take special care of this case in the xfstest:
https://github.com/amir73il/xfstests/blob/overlayfs-devel/tests/overlay/065#L60

However, I've decided that this is a corner case not worth complicating
the code over. Something that could be left for fsck.overlay.

Thanks,
Amir.

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [PATCH] ovl: detect overlapping layers
  2019-04-04  4:41   ` Amir Goldstein
@ 2019-04-04 13:10     ` Vivek Goyal
  0 siblings, 0 replies; 4+ messages in thread
From: Vivek Goyal @ 2019-04-04 13:10 UTC (permalink / raw)
  To: Amir Goldstein; +Cc: Miklos Szeredi, overlayfs, syzkaller-bugs

On Thu, Apr 04, 2019 at 07:41:04AM +0300, Amir Goldstein wrote:
> On Wed, Apr 3, 2019 at 11:46 PM Vivek Goyal <vgoyal@redhat.com> wrote:
> >
> > On Tue, Apr 02, 2019 at 10:31:55PM +0300, Amir Goldstein wrote:
> > [..]
> > >  /*
> > >   * Does overlay inode need to be hashed by lower inode?
> > >   */
> > > diff --git a/fs/overlayfs/namei.c b/fs/overlayfs/namei.c
> > > index efd372312ef1..badf039267a2 100644
> > > --- a/fs/overlayfs/namei.c
> > > +++ b/fs/overlayfs/namei.c
> > > @@ -18,6 +18,7 @@
> > >  #include "overlayfs.h"
> > >
> > >  struct ovl_lookup_data {
> > > +     struct super_block *sb;
> > >       struct qstr name;
> > >       bool is_dir;
> > >       bool opaque;
> > > @@ -244,6 +245,12 @@ static int ovl_lookup_single(struct dentry *base, struct ovl_lookup_data *d,
> > >               if (!d->metacopy || d->last)
> > >                       goto out;
> > >       } else {
> > > +             if (ovl_lookup_trap_inode(d->sb, this)) {
> > > +                     /* Caught in a trap of overlapping layers */
> > > +                     err = -ELOOP;
> > > +                     goto out_err;
> > > +             }
> > > +
> >
> > Hi Amir,
> >
> > This idea of putting dummy inodes in overlay inode cache hashed by inode
> > pointer of root inode of underlying layers seems very clever. Cost
> > of checking overlapping layer also seems to be O(N) and that's good.
> >
> > So if we want to detect this case of overlapping layers after the mount,
> > then we have to pay the cost of this trap inode lookup for every dentry
> > found in upper/lower layer
> >
> 
> Doesn't seem so expensive compared to overlay directory lookup, even in
> the best case of upper/lower layer dentry in dcache.
> 
> > [..]
> > > +static int ovl_setup_trap(struct super_block *sb, struct dentry *dir,
> > > +                       struct inode **ptrap, const char *name)
> > > +{
> > > +     struct inode *trap;
> > > +     int err;
> > > +
> > > +     trap = ovl_get_trap_inode(sb, dir);
> > > +     err = PTR_ERR(trap);
> > > +     if (IS_ERR(trap)) {
> > > +             pr_err("overlayfs: conflicting %s path (%i)\n", name, err);
> > > +             return err;
> > > +     }
> > > +
> >
> > ovl_get_trap_inode() can fail for other reasons like -ENOMEM. Should we
> > warn about conflicting path only on -EEXIST.
> >
> 
> Agreed.
> 
> > [..]
> > >  static int ovl_fill_super(struct super_block *sb, void *data, int silent)
> > >  {
> > >       struct path upperpath = { };
> > > @@ -1457,17 +1552,20 @@ static int ovl_fill_super(struct super_block *sb, void *data, int silent)
> > >       if (ofs->config.xino != OVL_XINO_OFF)
> > >               ofs->xino_bits = BITS_PER_LONG - 32;
> > >
> > > +     /* alloc/destroy_inode needed for setting up traps in inode cache */
> > > +     sb->s_op = &ovl_super_operations;
> > > +
> >
> > Passing super block pointer to routines outside overlay before sb
> > initializaiton is complete, is it safe?
> >
> 
> It ain't pretty, but as far as calling vfs inode helpers,
> d_make_root(ovl_new_inode(sb, ...
> below does the same with only "slightly more" initialized sb.
> 
> I could do more of the sb initialization at this point.
> In fact, setting sb->s_fs_info = ofs, at this point could save passing
> both sb and ofs to ovl_fill_super() helpers.
> 
> One more thing about order of sanity tests -
> It would have been nice if ovl_verify_origin() was done after
> ovl_check_overlapping_layers(). As it is, when mounting with
> overlapping layers, we first store fh of overlapping lower in
> upper root xattr and only then fail the mount, leaving the
> upper dir unusable for another mount try.
> I had to take special care of this case in the xfstest:
> https://github.com/amir73il/xfstests/blob/overlayfs-devel/tests/overlay/065#L60

Ok, so we set orgin on upper and if we later error out, then origin xattr
on upper will be left intact. If user tries to mount again with different
lower it will fail (as origin verification failed).

Why not introduce a boolean to keep track if orgin was set. And if it
was cleanup it up in error path in out_free_oe.

Anyway, its fine either way. Also agreed it is a corner case.

Vivek

^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2019-04-04 13:10 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-04-02 19:31 [PATCH] ovl: detect overlapping layers Amir Goldstein
2019-04-03 20:46 ` Vivek Goyal
2019-04-04  4:41   ` Amir Goldstein
2019-04-04 13:10     ` Vivek Goyal

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.