overlay: support idmapped layers
Subsystems (4)
Christian Brauner
maintainercover overlay: support idmapped layers
From: "Christian Brauner (Microsoft)" <[email protected]>
Hey,
This adds support for mounting overlay on top of idmapped layers.
I have to start by saying a massive thank you to Amir! He did not just answer my constant overlay questions but also provided quite a few patches himself in this series in addition to reviews, comments and a lot of suggestions. Thank you!
There have been a lot of requests to unblock this. For just a few select examples see [3], [4], and [5]. I've worked closely with various communities among them containerd, Kubernetes, Podman, LXD, runC, crun, and systemd (For the curious please see the various pull-request and issues below.) a lot of them already support idmapped mounts since they are enabled for btrfs, ext4, and xfs (and f2fs and fat fwiw). In additon, a few colleagues at Microsoft and from Red Hat work on a Kubernetes Enhancement Proposals (KEP) that also relies on overlayfs supporting idmapped layers, see [12].
Overlayfs on top of idmapped layers will be used in various ways:
* Container managers use overlayfs to efficiently share layers between containers. However, this only works for privileged containers. Layers cannot be shared if both privileged and unprivileged containers are used. Layers can also not be shared if non-overlapping idmappings are used for unprivileged containers. Layers cannot be shared because of the conflicting ownership requirements between the containers.
Both the KEP proposal (see [13]) and LXD (see [14]) use non-overlapping idmappings to increase isolation.
All of these cases can be supported if overlayfs can be mounted on idmapped layers. The container runtime will create idmapped mounts for the layers supposed to be shared. Each container will be given idmapped mounts with the correct idmapping. Either by attaching a custom or its own user namespace depending on the use-case. Then an overlay mount can be mounted on top of the idmapped layers. The underlying idmapped mounts can then be unmounted and the mount table will be in a clean state.
This approach has been tested an verified by Giuseppe and others.
* Because of the inability to share layers preparing a layer causes a big runtime overhead as ownership needs to be recursively changed. This becomes increasingly costly with the bigger the layers are. Especially for a large rootfs it becomes prohibitively expensive.
This recursive ownership change also causes a lot storage overhead. Without metacopy it can quickly become unmanagable. With metacopy it still wastes a lot of space and inodes.
For both the KEP and container manager being able to use idmapped layer with overlayfs on top of it solves all these problems.
* Container managers such as LXD do run full system containers. Such systems are managed like virtual machines and users run application containers inside. Since LXD uses an idmapped mounts for the rootfs of the container with the container's user namespace attached to the mount container runtimes cannot user overlayfs inside.
Once overlayfs can be mounted on top of idmapped layers it will be possible for container runtimes to use overlayfs inside LXD containers.
* The systemd-homed daemon and toolsuite is a new component of systemd to manage home areas in a portable way. systemd-homed makes use of idmapped mounts for the home areas. If the kernel and used file system support it the user's home area will be mounted as an idmapped mount when they log into their system.
All files are internally owned by the "nobody" user (i.e. the user typically used for indicating "this ownership is not mapped"), and dynamically mapped to the {g,u}id used locally on the system via idmapped mounts. This makes migrating home areas between different systems trivial because recursively chown()ing file system trees is no longer necessary. This also means that it is impossible to store files as {g,u}id 0 on disk.
Once overlayfs can be mounted on top of idmapped layers it will be possible for container runtimes to work better together with systemd-homed.
* systemd provides various sandboxing features (see [11]) for services. These serve as hardening measures. In this context, idmapped mounts can be used to prevent services from creating files on disk as {g,u}id 0, making specific files inaccessible, or to prevent access to whole directories. Since such services may also make use of overlayfs for e.g. the ExtensionImages= option supporting overlayfs on top of idmapped layers would be another huge hardening win.
* systemd provides the ability to use system extension images [15] for /usr and /opt (with a look to /etc in the future). Such system extension images contain files and directories similar in fashion to a regular OS system tree. When one or more system extension images are activated, their /usr/ and /opt/ hierarchies are combined via overlay with the same hierarchies of the host OS, and the host /usr/ and /opt/ overmounted with it ("merging"). These images are read-only.
This feature is available to unprivileged container and sandboxed services as well. Idmapped layers are used here to avoid runtime and storage overhead from recursively changing ownership and ultimately an overlay mount is supposed to be created on top of it.
Giuseppe provided testing for runC/crun/Podman and he put up a pull request to support overlayfs on top of idmapped layers at [16]. That already covers a lot of users. Other tools have put up pull requests as well and they are linked below.
The patchset has been extensively tested for about 2 weeks with xfstests. The tests and results are explained in the following paragraphs.
In order to test overlayfs with idmapped mounts a simple patch to xfstests has been added which is part of this series. The patchset simply allows for each test in the xfstests suite to be run on top of idmapped mounts. That is in addition to the generic idmapped mount tests that have existed and are already run for a long time.
Since idmapped mounts can be created on top of btrfs, ext4, and xfs and these are the most relevant filesystems for users they were taken into the test matrix.
Amir ensured that the test matrix also includes metacopy. So all tests are run once with metacopy=on and once with metacopy=off.
Additionally, the unionmount tesuite that Amir maintains was run as part of xfstests. This brings testing for multi layer overlay and a few rarely used overlayfs use-cases.
And last, xfstests were run with and without idmapped mounts.
Since the patch series is based on Linux 5.17 the 5.17 kernel was chosen as a baseline kernel. The baseline kernel is pure 5.17 upstream without any of the patches in this series. The baseline kernel was used to run all xfstests with the same parameters minus the idmapped mount part of the test matrix. This ensured that regressions would be immediately noticeable.
So the full test matrix is:
ext4 x metacopy=off x -idmapped mounts
ext4 x metacopy=on x -idmapped mounts
ext4 x metacopy=off x +idmapped mounts
ext4 x metacopy=on x +idmapped mounts
xfs x metacopy=off x -idmapped mounts
xfs x metacopy=on x -idmapped mounts
xfs x metacopy=off x +idmapped mounts
xfs x metacopy=on x +idmapped mounts
btrfs x metacopy=off x -idmapped mounts
btrfs x metacopy=on x -idmapped mounts
btrfs x metacopy=off x +idmapped mounts
btrfs x metacopy=on x +idmapped mounts
The test runs were started with:
sudo ./check -overlay
so they encompass all xfstests apart from those that needed to be excluded because they triggered known issues (One such example is generic/530 which causes an xfs corruption that is currently under discussion for a fix upstream.).
A single testrun with over 750 tests takes a bonkers long time given that I run them in a beefy VM on top of an ssd and not on bare metal.
The successes and failures are identical for the whole test matrix with and without idmapped mounts. The tests and failures are also identical compared to the baseline kernel. All in all this should provide a good amount of convidence. The full test output can be found in the following
repo: https://gitlab.com/brauner/fs.idmapped.overlay.xfstests.output
In order to create an idmapped mount the mount_setattr() system call (see [17]) can be used together with the MOUNT_ATTR_IDMAP flag to attach a userns fd to a detached mount created with open_tree()'s OPEN_TREE_CLONE flag. The only effect is that the idmapping of the userns becomes the idmapping of the relevant. The links below should serve to illustrate how widely they are already used.
For people who would like to test I've created a tag fs.idmapped.overlay.v1 which can be fetched:
git fetch git://git.kernel.org/pub/scm/linux/kernel/git/brauner/linux.git fs.idmapped.overlay.v1
the same goes for xfstests:
git fetch git://git.kernel.org/pub/scm/linux/kernel/git/brauner/xfstests-dev.git fs.idmapped.overlay.v1
Thanks!
Christian
[1]: OCI runtime-spec extension for idmapped mounts
https://github.com/opencontainers/runtime-spec/pull/1143
[2]: Support for idmapped mounts for shared volumes
https://github.com/opencontainers/runc/pull/3429
[3]: containerd support for idmapped mounts with focus on overlayfs
https://github.com/containerd/containerd/pull/5890
[4]: runC support for idmapped mounts with focus on overlayfs
https://github.com/opencontainers/runc/issues/2821
[5]: Podman support for idmapped mounts with focus on overlayfs
https://github.com/containers/podman/issues/10374
[6]: systemd-nspawn support for idmapped mounts
https://github.com/systemd/systemd/pull/19438
[7]: systemd-homed support for idmapped mounts
https://github.com/systemd/systemd/pull/21136
[8]: LXD support for idmapped mounts
https://github.com/lxc/lxd/pull/8778
[9]: LXC support for idmapped mounts
https://github.com/lxc/lxc/pull/3709
[10]: crun support for idmapped mounts
https://github.com/containers/crun/pull/874
[11]: https://www.freedesktop.org/software/systemd/man/systemd.exec.html#Sandboxing
[12]: https://github.com/kubernetes/enhancements/pull/3065
[14]: https://github.com/lxc/lxd/blob/master/doc/instances.md
(The relevant entry can be found by looking for the
"security.idmap.isolated" key.)
[15]: https://www.freedesktop.org/software/systemd/man/systemd-sysext.html
[16]: https://github.com/containers/storage/pull/1180
[17]: https://man7.org/linux/man-pages/man2/mount_setattr.2.html
Amir Goldstein (3):
ovl: use wrappers to all vfs_*xattr() calls
ovl: pass layer mnt to ovl_open_realfile()
ovl: store lower path in ovl_inode
Christian Brauner (15):
fs: add two trivial lookup helpers
exportfs: support idmapped mounts
ovl: pass ofs to creation operations
ovl: handle idmappings in creation operations
ovl: pass ofs to setattr operations
ovl: use ovl_do_notify_change() wrapper
ovl: use ovl_lookup_upper() wrapper
ovl: use ovl_path_getxattr() wrapper
ovl: handle idmappings for layer fileattrs
ovl: handle idmappings for layer lookup
ovl: use ovl_copy_{real,upper}attr() wrappers
ovl: handle idmappings in ovl_permission()
ovl: handle idmappings in layer open helpers
ovl: handle idmappings in ovl_xattr_{g,s}et()
ovl: support idmapped layers
fs/exportfs/expfs.c | 5 +- fs/namei.c | 52 +++++++-- fs/overlayfs/copy_up.c | 97 +++++++++------- fs/overlayfs/dir.c | 133 +++++++++++----------- fs/overlayfs/export.c | 3 +- fs/overlayfs/file.c | 44 ++++---- fs/overlayfs/inode.c | 63 +++++++---- fs/overlayfs/namei.c | 49 ++++++--- fs/overlayfs/overlayfs.h | 231 ++++++++++++++++++++++++++++----------- fs/overlayfs/ovl_entry.h | 7 +- fs/overlayfs/readdir.c | 48 ++++---- fs/overlayfs/super.c | 57 +++++----- fs/overlayfs/util.c | 142 +++++++++++++++++++----- include/linux/namei.h | 2 + 14 files changed, 607 insertions(+), 326 deletions(-)
base-commit: f443e374ae131c168a065ea1748feac6b2e76613
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 1/18 fs: add two trivial lookup helpers
Similar to the addition of lookup_one() add a version of lookup_one_unlocked() and lookup_one_positive_unlocked() that take idmapped mounts into account. This is required to port overlay to support idmapped base layers.
--- fs/namei.c | 52 ++++++++++++++++++++++++++++++++++--------- include/linux/namei.h | 2 ++ 2 files changed, 44 insertions(+), 10 deletions(-)
fs/namei.c +42 -10
@@ -2768,7 +2768,8 @@ struct dentry *lookup_one(struct user_namespace *mnt_userns, const char *name,EXPORT_SYMBOL (lookup_one);/** -* lookup_one_len_unlocked - filesystem helper to lookup single pathname component +* lookup_one_unlocked - filesystem helper to lookup single pathname component +* @mnt_userns: idmapping of the mount the lookup is performed from * @name: pathname component to lookup * @base: base directory to lookup from * @len: maximum length @len should be interpreted to
@@ -2779,14 +2780,15 @@ EXPORT_SYMBOL(lookup_one);* Unlike lookup_one_len, it should be called without the parent * i_mutex held, and will take the i_mutex itself if necessary. */ -struct dentry *lookup_one_len_unlocked (const char *name, -struct dentry *base,int len) +struct dentry *lookup_one_unlocked (struct user_namespace *mnt_userns, +const char *name,struct dentry *base, +int len) {struct qstr this;int err;struct dentry *ret; - err =lookup_one_common (&init_user_ns, name, base, len, &this); + err =lookup_one_common (mnt_userns, name, base, len, &this);if (err)return ERR_PTR (err);
@@ -2795,6 +2797,41 @@ struct dentry *lookup_one_len_unlocked(const char *name, ret =lookup_slow (&this, base,0 );return ret; } +EXPORT_SYMBOL (lookup_one_unlocked); + +/* +* Like lookup_positive_unlocked() but takes a mount's idmapping into account. +*/ +struct dentry *lookup_one_positive_unlocked (struct user_namespace *mnt_userns, +const char *name, +struct dentry *base,int len) +{ +struct dentry *ret =lookup_one_unlocked (mnt_userns, name, base, len); +if (!IS_ERR (ret) &&d_flags_negative (smp_load_acquire (&ret->d_flags))) { +dput (ret); + ret =ERR_PTR (-ENOENT ); + } +return ret; +} +EXPORT_SYMBOL (lookup_one_positive_unlocked); + +/** +* lookup_one_len_unlocked - filesystem helper to lookup single pathname component +* @name: pathname component to lookup +* @base: base directory to lookup from +* @len: maximum length @len should be interpreted to +* +* Note that this routine is purely a helper for filesystem usage and should +* not be called by generic code. +* +* Unlike lookup_one_len, it should be called without the parent +* i_mutex held, and will take the i_mutex itself if necessary. +*/ +struct dentry *lookup_one_len_unlocked (const char *name, +struct dentry *base,int len) +{ +return lookup_one_unlocked (&init_user_ns, name, base, len); +}EXPORT_SYMBOL (lookup_one_len_unlocked);/*
@@ -2808,12 +2845,7 @@ EXPORT_SYMBOL(lookup_one_len_unlocked);struct dentry *lookup_positive_unlocked (const char *name,struct dentry *base,int len) { -struct dentry *ret =lookup_one_len_unlocked (name, base, len); -if (!IS_ERR (ret) &&d_flags_negative (smp_load_acquire (&ret->d_flags))) { -dput (ret); - ret =ERR_PTR (-ENOENT ); - } -return ret; +return lookup_one_positive_unlocked (&init_user_ns, name, base, len); }EXPORT_SYMBOL (lookup_positive_unlocked);
include/linux/namei.h +2 -0
@@ -69,6 +69,8 @@ extern struct dentry *lookup_one_len(const char *, struct dentry *, int);extern struct dentry *lookup_one_len_unlocked (const char *,struct dentry *,int );extern struct dentry *lookup_positive_unlocked (const char *,struct dentry *,int );struct dentry *lookup_one (struct user_namespace *,const char *,struct dentry *,int ); +struct dentry *lookup_one_unlocked (struct user_namespace *,const char *,struct dentry *,int ); +struct dentry *lookup_one_positive_unlocked (struct user_namespace *,const char *,struct dentry *,int );extern int follow_down_one (struct path *);extern int follow_down (struct path *);
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 2/18 exportfs: support idmapped mounts
In reply to Christian BraunerMake the two locations where exportfs helpers check permission to lookup a given inode idmapped mount aware by switching it to the lookup_one() helper. This is a bugfix for the open_by_handle_at() system call which doesn't take idmapped mounts into account currently. It's not tied to a specific commit so we'll just Cc stable.
In addition this is required to support idmapped base layers in overlay. The overlay filesystem uses exportfs to encode and decode file handles for its index=on mount option and when nfs_export=on.
--- fs/exportfs/expfs.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-)
fs/exportfs/expfs.c +3 -2
@@ -145,7 +145,7 @@ static struct dentry *reconnect_one(struct vfsmount *mnt,if (err) goto out_err;dprintk ("%s: found name: %s\n" , __func__, nbuf); - tmp =lookup_one_len_unlocked (nbuf, parent,strlen (nbuf)); + tmp =lookup_one_unlocked (mnt_user_ns (mnt), nbuf, parent,strlen (nbuf));if (IS_ERR (tmp)) {dprintk ("%s: lookup failed: %d\n" , __func__,PTR_ERR (tmp)); err =PTR_ERR (tmp);
@@ -525,7 +525,8 @@ exportfs_decode_fh_raw(struct vfsmount *mnt, struct fid *fid, int fh_len, }inode_lock (target_dir->d_inode); - nresult =lookup_one_len (nbuf, target_dir,strlen (nbuf)); + nresult =lookup_one (mnt_user_ns (mnt), nbuf, + target_dir,strlen (nbuf));if (!IS_ERR (nresult)) {if (unlikely (nresult->d_inode != result->d_inode)) {dput (nresult);
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 3/18 ovl: use wrappers to all vfs_*xattr() calls
In reply to Christian BraunerFrom: Amir Goldstein <[email protected]>
Use helpers ovl_*xattr() to access user/trusted.overlay.* xattrs and use helpers ovl_do_*xattr() to access generic xattrs. This is a preparatory patch for using idmapped base layers with overlay.
--- fs/overlayfs/copy_up.c | 22 ++++++++++++---------- fs/overlayfs/dir.c | 4 +++- fs/overlayfs/inode.c | 13 +++++++------ fs/overlayfs/namei.c | 6 +++--- fs/overlayfs/overlayfs.h | 37 +++++++++++++++++++++++++++---------- fs/overlayfs/readdir.c | 4 ++-- fs/overlayfs/super.c | 12 ++++++------ fs/overlayfs/util.c | 16 ++++++++-------- 8 files changed, 68 insertions(+), 46 deletions(-)
fs/overlayfs/copy_up.c +12 -10
@@ -47,6 +47,7 @@ static bool ovl_must_copy_xattr(const char *name)int ovl_copy_xattr (struct super_block *sb,struct dentry *old,struct dentry *new) { +struct ovl_fs *ofs =OVL_FS (sb);ssize_t list_size, size, value_size =0 ;char *buf, *name, *value =NULL ;int error =0 ;
@@ -117,7 +118,7 @@ int ovl_copy_xattr(struct super_block *sb, struct dentry *old, goto retry; } - error =vfs_setxattr (&init_user_ns, new, name, value, size,0 ); + error =ovl_do_setxattr (ofs, new, name, value, size,0 );if (error) {if (error != -EOPNOTSUPP ||ovl_must_copy_xattr (name))break ;
@@ -433,7 +434,7 @@ static int ovl_set_upper_fh(struct ovl_fs *ofs, struct dentry *upper,if (IS_ERR (fh))return PTR_ERR (fh); - err =ovl_do_setxattr (ofs, index,OVL_XATTR_UPPER , fh->buf, fh->fb.len); + err =ovl_setxattr (ofs, index,OVL_XATTR_UPPER , fh->buf, fh->fb.len);kfree (fh);return err;
@@ -865,12 +866,13 @@ static bool ovl_need_meta_copy_up(struct dentry *dentry, umode_t mode,return true; } -static ssize_t ovl_getxattr (struct dentry *dentry,char *name,char **value) +static ssize_t ovl_getxattr_value (struct ovl_fs *ofs,struct dentry *dentry, +char *name,char **value) {ssize_t res;char *buf; - res =vfs_getxattr (&init_user_ns, dentry, name,NULL ,0 ); + res =ovl_do_getxattr (ofs, dentry, name,NULL ,0 );if (res == -ENODATA || res == -EOPNOTSUPP ) res =0 ;
@@ -879,7 +881,7 @@ static ssize_t ovl_getxattr(struct dentry *dentry, char *name, char **value)if (!buf)return -ENOMEM ; - res =vfs_getxattr (&init_user_ns, dentry, name, buf, res); + res =ovl_do_getxattr (ofs, dentry, name, buf, res);if (res <0 )kfree (buf);else
@@ -906,8 +908,8 @@ static int ovl_copy_up_meta_inode_data(struct ovl_copy_up_ctx *c)return -EIO ;if (c->stat.size) { - err = cap_size =ovl_getxattr (upperpath.dentry,XATTR_NAME_CAPS , - &capability); + err = cap_size =ovl_getxattr_value (ofs, upperpath.dentry, +XATTR_NAME_CAPS , &capability);if (cap_size <0 ) goto out; }
@@ -921,14 +923,14 @@ static int ovl_copy_up_meta_inode_data(struct ovl_copy_up_ctx *c)* don't want that to happen for normal copy-up operation. */ if (capability) { - err =vfs_setxattr (&init_user_ns, upperpath.dentry, -XATTR_NAME_CAPS , capability, cap_size,0 ); + err =ovl_do_setxattr (ofs, upperpath.dentry,XATTR_NAME_CAPS , + capability, cap_size,0 );if (err) goto out_free; } - err =ovl_do_removexattr (ofs, upperpath.dentry,OVL_XATTR_METACOPY ); + err =ovl_removexattr (ofs, upperpath.dentry,OVL_XATTR_METACOPY );if (err) goto out_free;
fs/overlayfs/dir.c +3 -1
@@ -435,6 +435,7 @@ static struct dentry *ovl_clear_empty(struct dentry *dentry,static int ovl_set_upper_acl (struct dentry *upperdentry,const char *name,const struct posix_acl *acl) { +struct ovl_fs *ofs =OVL_FS (upperdentry->d_sb);void *buffer;size_t size;int err;
@@ -451,7 +452,8 @@ static int ovl_set_upper_acl(struct dentry *upperdentry, const char *name,if (err <0 ) goto out_free; - err =vfs_setxattr (&init_user_ns, upperdentry, name, buffer, size,XATTR_CREATE ); + err =ovl_do_setxattr (ofs, upperdentry, name, buffer, size, +XATTR_CREATE ); out_free:kfree (buffer);return err;
fs/overlayfs/inode.c +7 -6
@@ -342,6 +342,7 @@ int ovl_xattr_set(struct dentry *dentry, struct inode *inode, const char *name, const void *value, size_t size, int flags) { int err; +struct ovl_fs *ofs =OVL_FS (dentry->d_sb);struct dentry *upperdentry =ovl_i_dentry_upper (inode);struct dentry *realdentry = upperdentry ?:ovl_dentry_lower (dentry);const struct cred *old_cred;
@@ -368,11 +369,11 @@ int ovl_xattr_set(struct dentry *dentry, struct inode *inode, const char *name, old_cred =ovl_override_creds (dentry->d_sb);if (value) - err =vfs_setxattr (&init_user_ns, realdentry, name, value, size, - flags); + err =ovl_do_setxattr (ofs, realdentry, name, value, size, + flags);else {WARN_ON (flags !=XATTR_REPLACE ); - err =vfs_removexattr (&init_user_ns, realdentry, name); + err =ovl_do_removexattr (ofs, realdentry, name); }revert_creds (old_cred);
@@ -871,8 +872,8 @@ static int ovl_set_nlink_common(struct dentry *dentry,if (WARN_ON (len >=sizeof (buf)))return -EIO ; -return ovl_do_setxattr (OVL_FS (inode->i_sb),ovl_dentry_upper (dentry), -OVL_XATTR_NLINK , buf, len); +return ovl_setxattr (OVL_FS (inode->i_sb),ovl_dentry_upper (dentry), +OVL_XATTR_NLINK , buf, len); }int ovl_set_nlink_upper (struct dentry *dentry)
@@ -897,7 +898,7 @@ unsigned int ovl_get_nlink(struct ovl_fs *ofs, struct dentry *lowerdentry,if (!lowerdentry || !upperdentry ||d_inode (lowerdentry)->i_nlink ==1 )return fallback; - err =ovl_do_getxattr (ofs, upperdentry,OVL_XATTR_NLINK , + err =ovl_getxattr (ofs, upperdentry,OVL_XATTR_NLINK , &buf,sizeof (buf) -1 );if (err <0 ) goto fail;
fs/overlayfs/namei.c +3 -3
@@ -111,7 +111,7 @@ static struct ovl_fh *ovl_get_fh(struct ovl_fs *ofs, struct dentry *dentry,int res, err;struct ovl_fh *fh =NULL ; - res =ovl_do_getxattr (ofs, dentry, ox,NULL ,0 ); + res =ovl_getxattr (ofs, dentry, ox,NULL ,0 );if (res <0 ) {if (res == -ENODATA || res == -EOPNOTSUPP )return NULL ;
@@ -125,7 +125,7 @@ static struct ovl_fh *ovl_get_fh(struct ovl_fs *ofs, struct dentry *dentry,if (!fh)return ERR_PTR (-ENOMEM ); - res =ovl_do_getxattr (ofs, dentry, ox, fh->buf, res); + res =ovl_getxattr (ofs, dentry, ox, fh->buf, res);if (res <0 ) goto fail;
@@ -464,7 +464,7 @@ int ovl_verify_set_fh(struct ovl_fs *ofs, struct dentry *dentry, err =ovl_verify_fh (ofs, dentry, ox, fh);if (set && err == -ENODATA ) - err =ovl_do_setxattr (ofs, dentry, ox, fh->buf, fh->fb.len); + err =ovl_setxattr (ofs, dentry, ox, fh->buf, fh->fb.len);if (err) goto fail;
fs/overlayfs/overlayfs.h +27 -10
@@ -183,10 +183,9 @@ static inline int ovl_do_symlink(struct inode *dir, struct dentry *dentry, }static inline ssize_t ovl_do_getxattr (struct ovl_fs *ofs,struct dentry *dentry, -enum ovl_xattr ox,void *value, +const char *name,void *value,size_t size) { -const char *name =ovl_xattr (ofs, ox);int err =vfs_getxattr (&init_user_ns, dentry, name, value, size);int len = (value && err >0 ) ? err :0 ;
@@ -195,26 +194,44 @@ static inline ssize_t ovl_do_getxattr(struct ovl_fs *ofs, struct dentry *dentry,return err; } +static inline ssize_t ovl_getxattr (struct ovl_fs *ofs,struct dentry *dentry, +enum ovl_xattr ox,void *value, +size_t size) +{ +return ovl_do_getxattr (ofs, dentry,ovl_xattr (ofs, ox), value, size); +} +static inline int ovl_do_setxattr (struct ovl_fs *ofs,struct dentry *dentry, -enum ovl_xattr ox,const void *value, -size_t size) +const char *name,const void *value, +size_t size,int flags) { -const char *name =ovl_xattr (ofs, ox); -int err =vfs_setxattr (&init_user_ns, dentry, name, value, size,0 ); -pr_debug ("setxattr(%pd2, \"%s\", \"%*pE\", %zu, 0) = %i\n" , - dentry, name,min ((int )size,48 ), value, size, err); +int err =vfs_setxattr (&init_user_ns, dentry, name, value, size, flags); +pr_debug ("setxattr(%pd2, \"%s\", \"%*pE\", %zu, %d) = %i\n" , + dentry, name,min ((int )size,48 ), value, size, flags, err);return err; } +static inline int ovl_setxattr (struct ovl_fs *ofs,struct dentry *dentry, +enum ovl_xattr ox,const void *value, +size_t size) +{ +return ovl_do_setxattr (ofs, dentry,ovl_xattr (ofs, ox), value, size,0 ); +} +static inline int ovl_do_removexattr (struct ovl_fs *ofs,struct dentry *dentry, -enum ovl_xattr ox) +const char *name) { -const char *name =ovl_xattr (ofs, ox);int err =vfs_removexattr (&init_user_ns, dentry, name);pr_debug ("removexattr(%pd2, \"%s\") = %i\n" , dentry, name, err);return err; } +static inline int ovl_removexattr (struct ovl_fs *ofs,struct dentry *dentry, +enum ovl_xattr ox) +{ +return ovl_do_removexattr (ofs, dentry,ovl_xattr (ofs, ox)); +} +static inline int ovl_do_rename (struct inode *olddir,struct dentry *olddentry,struct inode *newdir,struct dentry *newdentry,unsigned int flags)
fs/overlayfs/readdir.c +2 -2
@@ -623,8 +623,8 @@ static struct ovl_dir_cache *ovl_cache_get_impure(struct path *path)* Removing the "impure" xattr is best effort. */ if (!ovl_want_write (dentry)) { -ovl_do_removexattr (ofs,ovl_dentry_upper (dentry), -OVL_XATTR_IMPURE ); +ovl_removexattr (ofs,ovl_dentry_upper (dentry), +OVL_XATTR_IMPURE );ovl_drop_write (dentry); }ovl_clear_flag (OVL_IMPURE ,d_inode (dentry));
fs/overlayfs/super.c +6 -6
@@ -809,13 +809,13 @@ static struct dentry *ovl_workdir_create(struct ovl_fs *ofs,* allowed as upper are limited to "normal" ones, where checking * for the above two errors is sufficient. */ - err =vfs_removexattr (&init_user_ns, work, -XATTR_NAME_POSIX_ACL_DEFAULT ); + err =ovl_do_removexattr (ofs, work, +XATTR_NAME_POSIX_ACL_DEFAULT );if (err && err != -ENODATA && err != -EOPNOTSUPP ) goto out_dput; - err =vfs_removexattr (&init_user_ns, work, -XATTR_NAME_POSIX_ACL_ACCESS ); + err =ovl_do_removexattr (ofs, work, +XATTR_NAME_POSIX_ACL_ACCESS );if (err && err != -ENODATA && err != -EOPNOTSUPP ) goto out_dput;
@@ -1411,7 +1411,7 @@ static int ovl_make_workdir(struct super_block *sb, struct ovl_fs *ofs,/* * Check if upper/work fs supports (trusted|user).overlay.* xattr */ - err =ovl_do_setxattr (ofs, ofs->workdir,OVL_XATTR_OPAQUE ,"0" ,1 ); + err =ovl_setxattr (ofs, ofs->workdir,OVL_XATTR_OPAQUE ,"0" ,1 );if (err) { ofs->noxattr = true;if (ofs->config.index || ofs->config.metacopy) {
@@ -1429,7 +1429,7 @@ static int ovl_make_workdir(struct super_block *sb, struct ovl_fs *ofs, } err =0 ; }else { -ovl_do_removexattr (ofs, ofs->workdir,OVL_XATTR_OPAQUE ); +ovl_removexattr (ofs, ofs->workdir,OVL_XATTR_OPAQUE ); }/*
fs/overlayfs/util.c +8 -8
@@ -554,7 +554,7 @@ bool ovl_check_origin_xattr(struct ovl_fs *ofs, struct dentry *dentry) {int res; - res =ovl_do_getxattr (ofs, dentry,OVL_XATTR_ORIGIN ,NULL ,0 ); + res =ovl_getxattr (ofs, dentry,OVL_XATTR_ORIGIN ,NULL ,0 );/* Zero size value means "copied up but origin unknown" */ if (res >=0 )
@@ -572,7 +572,7 @@ bool ovl_check_dir_xattr(struct super_block *sb, struct dentry *dentry,if (!d_is_dir (dentry))return false; - res =ovl_do_getxattr (OVL_FS (sb), dentry, ox, &val,1 ); + res =ovl_getxattr (OVL_FS (sb), dentry, ox, &val,1 );if (res ==1 && val =='y' )return true;
@@ -612,7 +612,7 @@ int ovl_check_setxattr(struct ovl_fs *ofs, struct dentry *upperdentry,if (ofs->noxattr)return xerr; - err =ovl_do_setxattr (ofs, upperdentry, ox, value, size); + err =ovl_setxattr (ofs, upperdentry, ox, value, size);if (err == -EOPNOTSUPP ) {pr_warn ("cannot set %s xattr on upper\n" ,ovl_xattr (ofs, ox));
@@ -652,7 +652,7 @@ void ovl_check_protattr(struct inode *inode, struct dentry *upper)char buf[OVL_PROTATTR_MAX +1 ];int res, n; - res =ovl_do_getxattr (ofs, upper,OVL_XATTR_PROTATTR , buf, + res =ovl_getxattr (ofs, upper,OVL_XATTR_PROTATTR , buf,OVL_PROTATTR_MAX );if (res <0 )return ;
@@ -708,7 +708,7 @@ int ovl_set_protattr(struct inode *inode, struct dentry *upper, err =ovl_check_setxattr (ofs, upper,OVL_XATTR_PROTATTR , buf, len, -EPERM ); }else if (inode->i_flags &OVL_PROT_I_FLAGS_MASK ) { - err =ovl_do_removexattr (ofs, upper,OVL_XATTR_PROTATTR ); + err =ovl_removexattr (ofs, upper,OVL_XATTR_PROTATTR );if (err == -EOPNOTSUPP || err == -ENODATA ) err =0 ; }
@@ -951,7 +951,7 @@ int ovl_check_metacopy_xattr(struct ovl_fs *ofs, struct dentry *dentry)if (!S_ISREG (d_inode (dentry)->i_mode))return 0 ; - res =ovl_do_getxattr (ofs, dentry,OVL_XATTR_METACOPY ,NULL ,0 ); + res =ovl_getxattr (ofs, dentry,OVL_XATTR_METACOPY ,NULL ,0 );if (res <0 ) {if (res == -ENODATA || res == -EOPNOTSUPP )return 0 ;
@@ -993,7 +993,7 @@ char *ovl_get_redirect_xattr(struct ovl_fs *ofs, struct dentry *dentry,int res;char *s, *next, *buf =NULL ; - res =ovl_do_getxattr (ofs, dentry,OVL_XATTR_REDIRECT ,NULL ,0 ); + res =ovl_getxattr (ofs, dentry,OVL_XATTR_REDIRECT ,NULL ,0 );if (res == -ENODATA || res == -EOPNOTSUPP )return NULL ;if (res <0 )
@@ -1005,7 +1005,7 @@ char *ovl_get_redirect_xattr(struct ovl_fs *ofs, struct dentry *dentry,if (!buf)return ERR_PTR (-ENOMEM ); - res =ovl_do_getxattr (ofs, dentry,OVL_XATTR_REDIRECT , buf, res); + res =ovl_getxattr (ofs, dentry,OVL_XATTR_REDIRECT , buf, res);if (res <0 ) goto fail;if (res ==0 )
Signature · 1 line
2.32.0
Miklos Szeredi
maintainerRe: [PATCH 03/18] ovl: use wrappers to all vfs_*xattr() calls
Quoted 7 lines · Christian Brauner
fs/overlayfs/overlayfs.h +0
-0
fs/overlayfs/overlayfs.h static inline int ovl_do_symlink(struct inode *dir, struct dentry *dentry, · line 190
Quoted 10 lines
fs/overlayfs/overlayfs.h +1
-2@@ -183,10 +183,9 @@ static inline int ovl_do_symlink(struct inode *dir, struct dentry *dentry, }static inline ssize_t ovl_do_getxattr (struct ovl_fs *ofs,struct dentry *dentry, -enum ovl_xattr ox,void *value, +const char *name,void *value,size_t size) { -const char *name =ovl_xattr (ofs, ox);int err =vfs_getxattr (&init_user_ns, dentry, name, value, size);int len = (value && err >0 ) ? err :0 ;
Previously direct calls to vfs_*xattr() didn't print debug info. This was deliberate as debugging normal operations would drown out the interesting calls. But perhaps it doesn't matter nowadays, since overlayfs is stable and nobody enables debugging anymore...
Anyway, I feel that this should be a separate change, or at least documented in the patch header.
Thanks,
Miklos
Christian Brauner
maintainerPATCH 4/18 ovl: pass ofs to creation operations
In reply to Christian BraunerPass down struct ovl_fs to all creation helpers so we can ultimately retrieve the relevant upper mount and take the mount's idmapping into account when creating new filesystem objects. This is needed to support idmapped base layers with overlay.
--- fs/overlayfs/copy_up.c | 21 +++++----- fs/overlayfs/dir.c | 86 +++++++++++++++++++++------------------- fs/overlayfs/overlayfs.h | 54 +++++++++++++++---------- fs/overlayfs/readdir.c | 28 +++++++------ fs/overlayfs/super.c | 28 +++++++------ fs/overlayfs/util.c | 2 +- 6 files changed, 122 insertions(+), 97 deletions(-)
fs/overlayfs/copy_up.c +12 -9
@@ -475,7 +475,7 @@ static int ovl_create_index(struct dentry *dentry, struct dentry *origin,if (err)return err; - temp =ovl_create_temp (indexdir,OVL_CATTR (S_IFDIR |0 )); + temp =ovl_create_temp (ofs, indexdir,OVL_CATTR (S_IFDIR |0 )); err =PTR_ERR (temp);if (IS_ERR (temp)) goto free_name;
@@ -488,12 +488,12 @@ static int ovl_create_index(struct dentry *dentry, struct dentry *origin,if (IS_ERR (index)) { err =PTR_ERR (index); }else { - err =ovl_do_rename (dir, temp, dir, index,0 ); + err =ovl_do_rename (ofs, dir, temp, dir, index,0 );dput (index); } out:if (err) -ovl_cleanup (dir, temp); +ovl_cleanup (ofs, dir, temp);dput (temp); free_name:kfree (name.name);
@@ -520,6 +520,7 @@ static int ovl_link_up(struct ovl_copy_up_ctx *c)int err;struct dentry *upper;struct dentry *upperdir =ovl_dentry_upper (c->parent); +struct ovl_fs *ofs =OVL_FS (c->dentry->d_sb);struct inode *udir =d_inode (upperdir);/* Mark parent "impure" because it may now contain non-pure upper */
@@ -536,7 +537,7 @@ static int ovl_link_up(struct ovl_copy_up_ctx *c) c->dentry->d_name.len); err =PTR_ERR (upper);if (!IS_ERR (upper)) { - err =ovl_do_link (ovl_dentry_upper (c->dentry), udir, upper); + err =ovl_do_link (ofs,ovl_dentry_upper (c->dentry), udir, upper);dput (upper);if (!err) {
@@ -657,6 +658,7 @@ static void ovl_revert_cu_creds(struct ovl_cu_creds *cc)*/ static int ovl_copy_up_workdir (struct ovl_copy_up_ctx *c) { +struct ovl_fs *ofs =OVL_FS (c->dentry->d_sb);struct inode *inode;struct inode *udir =d_inode (c->destdir), *wdir =d_inode (c->workdir);struct dentry *temp, *upper;
@@ -678,7 +680,7 @@ static int ovl_copy_up_workdir(struct ovl_copy_up_ctx *c)if (err) goto unlock; - temp =ovl_create_temp (c->workdir, &cattr); + temp =ovl_create_temp (ofs, c->workdir, &cattr);ovl_revert_cu_creds (&cc); err =PTR_ERR (temp);
@@ -700,7 +702,7 @@ static int ovl_copy_up_workdir(struct ovl_copy_up_ctx *c)if (IS_ERR (upper)) goto cleanup; - err =ovl_do_rename (wdir, temp, udir, upper,0 ); + err =ovl_do_rename (ofs, wdir, temp, udir, upper,0 );dput (upper);if (err) goto cleanup;
@@ -717,7 +719,7 @@ static int ovl_copy_up_workdir(struct ovl_copy_up_ctx *c)return err; cleanup: -ovl_cleanup (wdir, temp); +ovl_cleanup (ofs, wdir, temp);dput (temp); goto unlock; }
@@ -725,6 +727,7 @@ static int ovl_copy_up_workdir(struct ovl_copy_up_ctx *c)/* Copyup using O_TMPFILE which does not require cross dir locking */ static int ovl_copy_up_tmpfile (struct ovl_copy_up_ctx *c) { +struct ovl_fs *ofs =OVL_FS (c->dentry->d_sb);struct inode *udir =d_inode (c->destdir);struct dentry *temp, *upper;struct ovl_cu_creds cc;
@@ -734,7 +737,7 @@ static int ovl_copy_up_tmpfile(struct ovl_copy_up_ctx *c)if (err)return err; - temp =ovl_do_tmpfile (c->workdir, c->stat.mode); + temp =ovl_do_tmpfile (ofs, c->workdir, c->stat.mode);ovl_revert_cu_creds (&cc);if (IS_ERR (temp))
@@ -749,7 +752,7 @@ static int ovl_copy_up_tmpfile(struct ovl_copy_up_ctx *c) upper =lookup_one_len (c->destname.name, c->destdir, c->destname.len); err =PTR_ERR (upper);if (!IS_ERR (upper)) { - err =ovl_do_link (temp, udir, upper); + err =ovl_do_link (ofs, temp, udir, upper);dput (upper); }inode_unlock (udir);
fs/overlayfs/dir.c +46 -40
283 lines not on this page · raw message
fs/overlayfs/overlayfs.h +33 -21
130 lines not on this page · raw message
fs/overlayfs/readdir.c +15 -13
@@ -1001,7 +1001,8 @@ int ovl_check_empty_dir(struct dentry *dentry, struct list_head *list)return err; } -void ovl_cleanup_whiteouts (struct dentry *upper,struct list_head *list) +void ovl_cleanup_whiteouts (struct ovl_fs *ofs,struct dentry *upper, +struct list_head *list) {struct ovl_cache_entry *p;
@@ -1020,7 +1021,7 @@ void ovl_cleanup_whiteouts(struct dentry *upper, struct list_head *list)continue ; }if (dentry->d_inode) -ovl_cleanup (upper->d_inode, dentry); +ovl_cleanup (ofs, upper->d_inode, dentry);dput (dentry); }inode_unlock (upper->d_inode);
@@ -1064,7 +1065,8 @@ int ovl_check_d_type_supported(struct path *realpath)#define OVL_INCOMPATDIR_NAME "incompat" -static int ovl_workdir_cleanup_recurse (struct path *path,int level) +static int ovl_workdir_cleanup_recurse (struct ovl_fs *ofs,struct path *path, +int level) {int err;struct inode *dir = path->dentry->d_inode;
@@ -1115,7 +1117,7 @@ static int ovl_workdir_cleanup_recurse(struct path *path, int level)if (IS_ERR (dentry))continue ;if (dentry->d_inode) - err =ovl_workdir_cleanup (dir, path->mnt, dentry, level); + err =ovl_workdir_cleanup (ofs, dir, path->mnt, dentry, level);dput (dentry);if (err)break ;
@@ -1126,24 +1128,24 @@ static int ovl_workdir_cleanup_recurse(struct path *path, int level)return err; } -int ovl_workdir_cleanup (struct inode *dir,struct vfsmount *mnt, -struct dentry *dentry,int level) +int ovl_workdir_cleanup (struct ovl_fs *ofs,struct inode *dir, +struct vfsmount *mnt,struct dentry *dentry,int level) {int err;if (!d_is_dir (dentry) || level >1 ) { -return ovl_cleanup (dir, dentry); +return ovl_cleanup (ofs, dir, dentry); } - err =ovl_do_rmdir (dir, dentry); + err =ovl_do_rmdir (ofs, dir, dentry);if (err) {struct path path = { .mnt = mnt, .dentry = dentry };inode_unlock (dir); - err =ovl_workdir_cleanup_recurse (&path, level +1 ); + err =ovl_workdir_cleanup_recurse (ofs, &path, level +1 );inode_lock_nested (dir,I_MUTEX_PARENT );if (!err) - err =ovl_cleanup (dir, dentry); + err =ovl_cleanup (ofs, dir, dentry); }return err;
@@ -1187,7 +1189,7 @@ int ovl_indexdir_cleanup(struct ovl_fs *ofs) }/* Cleanup leftover from index create/cleanup attempt */ if (index->d_name.name[0 ] =='#' ) { - err =ovl_workdir_cleanup (dir, path.mnt, index,1 ); + err =ovl_workdir_cleanup (ofs, dir, path.mnt, index,1 );if (err)break ; goto next;
@@ -1197,7 +1199,7 @@ int ovl_indexdir_cleanup(struct ovl_fs *ofs) goto next; }else if (err == -ESTALE ) {/* Cleanup stale index entries */ - err =ovl_cleanup (dir, index); + err =ovl_cleanup (ofs, dir, index); }else if (err != -ENOENT ) {/* * Abort mount to avoid corrupting the index if
@@ -1213,7 +1215,7 @@ int ovl_indexdir_cleanup(struct ovl_fs *ofs) err =ovl_cleanup_and_whiteout (ofs, dir, index); }else {/* Cleanup orphan index entries */ - err =ovl_cleanup (dir, index); + err =ovl_cleanup (ofs, dir, index); }if (err)
fs/overlayfs/super.c +15 -13
@@ -778,7 +778,7 @@ static struct dentry *ovl_workdir_create(struct ovl_fs *ofs, goto out_unlock; retried = true; - err =ovl_workdir_cleanup (dir, mnt, work,0 ); + err =ovl_workdir_cleanup (ofs, dir, mnt, work,0 );dput (work);if (err == -EINVAL ) { work =ERR_PTR (err);
@@ -787,7 +787,7 @@ static struct dentry *ovl_workdir_create(struct ovl_fs *ofs, goto retry; } - err =ovl_mkdir_real (dir, &work, attr.ia_mode); + err =ovl_mkdir_real (ofs, dir, &work, attr.ia_mode);if (err) goto out_dput;
@@ -1256,8 +1256,9 @@ static int ovl_get_upper(struct super_block *sb, struct ovl_fs *ofs,* Returns 1 if RENAME_WHITEOUT is supported, 0 if not supported and * negative values if error is encountered. */ -static int ovl_check_rename_whiteout (struct dentry *workdir) +static int ovl_check_rename_whiteout (struct ovl_fs *ofs) { +struct dentry *workdir = ofs->workdir;struct inode *dir =d_inode (workdir);struct dentry *temp;struct dentry *dest;
@@ -1267,12 +1268,12 @@ static int ovl_check_rename_whiteout(struct dentry *workdir)inode_lock_nested (dir,I_MUTEX_PARENT ); - temp =ovl_create_temp (workdir,OVL_CATTR (S_IFREG |0 )); + temp =ovl_create_temp (ofs, workdir,OVL_CATTR (S_IFREG |0 )); err =PTR_ERR (temp);if (IS_ERR (temp)) goto out_unlock; - dest =ovl_lookup_temp (workdir); + dest =ovl_lookup_temp (ofs, workdir); err =PTR_ERR (dest);if (IS_ERR (dest)) {dput (temp);
@@ -1281,7 +1282,7 @@ static int ovl_check_rename_whiteout(struct dentry *workdir)/* Name is inline and stable - using snapshot as a copy helper */ take_dentry_name_snapshot (&name, temp); - err =ovl_do_rename (dir, temp, dir, dest,RENAME_WHITEOUT ); + err =ovl_do_rename (ofs, dir, temp, dir, dest,RENAME_WHITEOUT );if (err) {if (err == -EINVAL ) err =0 ;
@@ -1297,11 +1298,11 @@ static int ovl_check_rename_whiteout(struct dentry *workdir)/* Best effort cleanup of whiteout and temp file */ if (err) -ovl_cleanup (dir, whiteout); +ovl_cleanup (ofs, dir, whiteout);dput (whiteout); cleanup_temp: -ovl_cleanup (dir, temp); +ovl_cleanup (ofs, dir, temp);release_dentry_name_snapshot (&name);dput (temp);dput (dest);
@@ -1312,7 +1313,8 @@ static int ovl_check_rename_whiteout(struct dentry *workdir)return err; } -static struct dentry *ovl_lookup_or_create (struct dentry *parent, +static struct dentry *ovl_lookup_or_create (struct ovl_fs *ofs, +struct dentry *parent,const char *name,umode_t mode) {size_t len =strlen (name);
@@ -1321,7 +1323,7 @@ static struct dentry *ovl_lookup_or_create(struct dentry *parent,inode_lock_nested (parent->d_inode,I_MUTEX_PARENT ); child =lookup_one_len (name, parent, len);if (!IS_ERR (child) && !child->d_inode) - child =ovl_create_real (parent->d_inode, child, + child =ovl_create_real (ofs, parent->d_inode, child,OVL_CATTR (mode));inode_unlock (parent->d_inode);dput (parent);
@@ -1343,7 +1345,7 @@ static int ovl_create_volatile_dirty(struct ovl_fs *ofs)const char *const *name = volatile_path;for (ctr =ARRAY_SIZE (volatile_path); ctr; ctr--, name++) { - d =ovl_lookup_or_create (d, *name, ctr >1 ?S_IFDIR :S_IFREG ); + d =ovl_lookup_or_create (ofs, d, *name, ctr >1 ?S_IFDIR :S_IFREG );if (IS_ERR (d))return PTR_ERR (d); }
@@ -1391,7 +1393,7 @@ static int ovl_make_workdir(struct super_block *sb, struct ovl_fs *ofs,pr_warn ("upper fs needs to support d_type.\n" );/* Check if upper/work fs supports O_TMPFILE */ - temp =ovl_do_tmpfile (ofs->workdir,S_IFREG |0 ); + temp =ovl_do_tmpfile (ofs, ofs->workdir,S_IFREG |0 ); ofs->tmpfile = !IS_ERR (temp);if (ofs->tmpfile)dput (temp);
@@ -1400,7 +1402,7 @@ static int ovl_make_workdir(struct super_block *sb, struct ovl_fs *ofs,/* Check if upper/work fs supports RENAME_WHITEOUT */ - err =ovl_check_rename_whiteout (ofs->workdir); + err =ovl_check_rename_whiteout (ofs);if (err <0 ) goto out;
fs/overlayfs/util.c +1 -1
@@ -834,7 +834,7 @@ static void ovl_cleanup_index(struct dentry *dentry) dir, index); }else {/* Cleanup orphan index entries */ - err =ovl_cleanup (dir, index); + err =ovl_cleanup (ofs, dir, index); }inode_unlock (dir);
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 5/18 ovl: handle idmappings in creation operations
In reply to Christian BraunerWhen creating objects in the upper layer we need to pass down the upper idmapping into the respective vfs helpers in order to support idmapped base layers. The vfs helpers will take care of the rest.
--- fs/overlayfs/overlayfs.h | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-)
fs/overlayfs/overlayfs.h +11 -11
@@ -125,7 +125,7 @@ static inline const char *ovl_xattr(struct ovl_fs *ofs, enum ovl_xattr ox)static inline int ovl_do_rmdir (struct ovl_fs *ofs,struct inode *dir,struct dentry *dentry) { -int err =vfs_rmdir (&init_user_ns, dir, dentry); +int err =vfs_rmdir (ovl_upper_idmap (ofs), dir, dentry);pr_debug ("rmdir(%pd2) = %i\n" , dentry, err);return err;
@@ -134,7 +134,7 @@ static inline int ovl_do_rmdir(struct ovl_fs *ofs,static inline int ovl_do_unlink (struct ovl_fs *ofs,struct inode *dir,struct dentry *dentry) { -int err =vfs_unlink (&init_user_ns, dir, dentry,NULL ); +int err =vfs_unlink (ovl_upper_idmap (ofs), dir, dentry,NULL );pr_debug ("unlink(%pd2) = %i\n" , dentry, err);return err;
@@ -143,7 +143,7 @@ static inline int ovl_do_unlink(struct ovl_fs *ofs, struct inode *dir,static inline int ovl_do_link (struct ovl_fs *ofs,struct dentry *old_dentry,struct inode *dir,struct dentry *new_dentry) { -int err =vfs_link (old_dentry, &init_user_ns, dir, new_dentry,NULL ); +int err =vfs_link (old_dentry,ovl_upper_idmap (ofs), dir, new_dentry,NULL );pr_debug ("link(%pd2, %pd2) = %i\n" , old_dentry, new_dentry, err);return err;
@@ -153,7 +153,7 @@ static inline int ovl_do_create(struct ovl_fs *ofs, struct inode *dir, struct dentry *dentry, umode_t mode) { - int err = vfs_create(&init_user_ns, dir, dentry, mode, true); + int err = vfs_create(ovl_upper_idmap(ofs), dir, dentry, mode, true);pr_debug ("create(%pd2, 0%o) = %i\n" , dentry, mode, err);return err;
@@ -163,7 +163,7 @@ static inline int ovl_do_mkdir(struct ovl_fs *ofs, struct inode *dir, struct dentry *dentry, umode_t mode) { - int err = vfs_mkdir(&init_user_ns, dir, dentry, mode); + int err = vfs_mkdir(ovl_upper_idmap(ofs), dir, dentry, mode);pr_debug ("mkdir(%pd2, 0%o) = %i\n" , dentry, mode, err);return err; }
@@ -172,7 +172,7 @@ static inline int ovl_do_mknod(struct ovl_fs *ofs, struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev) { - int err = vfs_mknod(&init_user_ns, dir, dentry, mode, dev); + int err = vfs_mknod(ovl_upper_idmap(ofs), dir, dentry, mode, dev);pr_debug ("mknod(%pd2, 0%o, 0%o) = %i\n" , dentry, mode, dev, err);return err;
@@ -182,7 +182,7 @@ static inline int ovl_do_symlink(struct ovl_fs *ofs, struct inode *dir, struct dentry *dentry, const char *oldname) { - int err = vfs_symlink(&init_user_ns, dir, dentry, oldname); + int err = vfs_symlink(ovl_upper_idmap(ofs), dir, dentry, oldname);pr_debug ("symlink(\"%s\", %pd2) = %i\n" , oldname, dentry, err);return err;
@@ -244,10 +244,10 @@ static inline int ovl_do_rename(struct ovl_fs *ofs, struct inode *olddir, {int err;struct renamedata rd = { - .old_mnt_userns = &init_user_ns, + .old_mnt_userns =ovl_upper_idmap (ofs), .old_dir = olddir, .old_dentry = olddentry, - .new_mnt_userns = &init_user_ns, + .new_mnt_userns =ovl_upper_idmap (ofs), .new_dir = newdir, .new_dentry = newdentry, .flags = flags,
@@ -265,7 +265,7 @@ static inline int ovl_do_rename(struct ovl_fs *ofs, struct inode *olddir,static inline int ovl_do_whiteout (struct ovl_fs *ofs,struct inode *dir,struct dentry *dentry) { -int err =vfs_whiteout (&init_user_ns, dir, dentry); +int err =vfs_whiteout (ovl_upper_idmap (ofs), dir, dentry);pr_debug ("whiteout(%pd2) = %i\n" , dentry, err);return err; }
@@ -273,7 +273,7 @@ static inline int ovl_do_whiteout(struct ovl_fs *ofs,static inline struct dentry *ovl_do_tmpfile (struct ovl_fs *ofs,struct dentry *dentry,umode_t mode) { -struct dentry *ret =vfs_tmpfile (&init_user_ns, dentry, mode,0 ); +struct dentry *ret =vfs_tmpfile (ovl_upper_idmap (ofs), dentry, mode,0 );int err =PTR_ERR_OR_ZERO (ret);pr_debug ("tmpfile(%pd2, 0%o) = %i\n" , dentry, mode, err);
Signature · 1 line
2.32.0
Miklos Szeredi
maintainerRe: [PATCH 05/18] ovl: handle idmappings in creation operations
Quoted 18 lines · Christian Brauner
When creating objects in the upper layer we need to pass down the upper idmapping into the respective vfs helpers in order to support idmapped base layers. The vfs helpers will take care of the rest.
Cc <[email protected]>Tested-by Giuseppe Scrivano <[email protected]>Reviewed-by Amir Goldstein <[email protected]>Signed-off-by Christian Brauner (Microsoft) <[email protected]>--- fs/overlayfs/overlayfs.h | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-)fs/overlayfs/overlayfs.h +0
-0
fs/overlayfs/overlayfs.h static inline const char *ovl_xattr(struct ovl_fs *ofs, enum ovl_xattr ox) · line 128
Quoted 5 lines
fs/overlayfs/overlayfs.h +1
-1@@ -125,7 +125,7 @@ static inline const char *ovl_xattr(struct ovl_fs *ofs, enum ovl_xattr ox)static inline int ovl_do_rmdir (struct ovl_fs *ofs,struct inode *dir,struct dentry *dentry) { -int err =vfs_rmdir (&init_user_ns, dir, dentry); +int err =vfs_rmdir (ovl_upper_idmap (ofs), dir, dentry);
ovl_upper_idmap() is not defined by this or earlier patches.
Thanks,
Miklos
Christian Brauner
maintainerPATCH 6/18 ovl: pass ofs to setattr operations
In reply to Christian BraunerPass down struct ovl_fs to setattr operations so we can ultimately retrieve the relevant upper mount and take the mount's idmapping into account when creating new filesystem objects. This is needed to support idmapped base layers with overlay.
--- fs/overlayfs/copy_up.c | 19 +++++++++++-------- fs/overlayfs/dir.c | 2 +- fs/overlayfs/overlayfs.h | 2 +- 3 files changed, 13 insertions(+), 10 deletions(-)
fs/overlayfs/copy_up.c +11 -8
@@ -293,7 +293,8 @@ static int ovl_copy_up_data(struct ovl_fs *ofs, struct path *old,return error; } -static int ovl_set_size (struct dentry *upperdentry,struct kstat *stat) +static int ovl_set_size (struct ovl_fs *ofs, +struct dentry *upperdentry,struct kstat *stat) {struct iattr attr = { .ia_valid =ATTR_SIZE ,
@@ -303,7 +304,8 @@ static int ovl_set_size(struct dentry *upperdentry, struct kstat *stat)return notify_change (&init_user_ns, upperdentry, &attr,NULL ); } -static int ovl_set_timestamps(struct dentry *upperdentry, struct kstat *stat) +static int ovl_set_timestamps(struct ovl_fs *ofs, struct dentry *upperdentry, + struct kstat *stat) { struct iattr attr = { .ia_valid =
@@ -315,7 +317,8 @@ static int ovl_set_timestamps(struct dentry *upperdentry, struct kstat *stat)return notify_change (&init_user_ns, upperdentry, &attr,NULL ); } -int ovl_set_attr (struct dentry *upperdentry,struct kstat *stat) +int ovl_set_attr (struct ovl_fs *ofs,struct dentry *upperdentry, +struct kstat *stat) {int err =0 ;
@@ -335,7 +338,7 @@ int ovl_set_attr(struct dentry *upperdentry, struct kstat *stat) err =notify_change (&init_user_ns, upperdentry, &attr,NULL ); }if (!err) -ovl_set_timestamps (upperdentry, stat); +ovl_set_timestamps (ofs, upperdentry, stat);return err; }
@@ -542,7 +545,7 @@ static int ovl_link_up(struct ovl_copy_up_ctx *c)if (!err) {/* Restore timestamps on parent (best effort) */ -ovl_set_timestamps (upperdir, &c->pstat); +ovl_set_timestamps (ofs, upperdir, &c->pstat);ovl_dentry_set_upper_alias (c->dentry); } }
@@ -616,9 +619,9 @@ static int ovl_copy_up_inode(struct ovl_copy_up_ctx *c, struct dentry *temp)inode_lock (temp->d_inode);if (S_ISREG (c->stat.mode)) - err =ovl_set_size (temp, &c->stat); + err =ovl_set_size (ofs, temp, &c->stat);if (!err) - err =ovl_set_attr (temp, &c->stat); + err =ovl_set_attr (ofs, temp, &c->stat);inode_unlock (temp->d_inode);return err;
@@ -840,7 +843,7 @@ static int ovl_do_copy_up(struct ovl_copy_up_ctx *c)/* Restore timestamps on parent (best effort) */ inode_lock (udir); -ovl_set_timestamps (c->destdir, &c->pstat); +ovl_set_timestamps (ofs, c->destdir, &c->pstat);inode_unlock (udir);ovl_dentry_set_upper_alias (c->dentry);
fs/overlayfs/dir.c +1 -1
@@ -408,7 +408,7 @@ static struct dentry *ovl_clear_empty(struct dentry *dentry, goto out_cleanup;inode_lock (opaquedir->d_inode); - err =ovl_set_attr (opaquedir, &stat); + err =ovl_set_attr (ofs, opaquedir, &stat);inode_unlock (opaquedir->d_inode);if (err) goto out_cleanup;
fs/overlayfs/overlayfs.h +1 -1
@@ -622,7 +622,7 @@ int ovl_copy_up_with_data(struct dentry *dentry);int ovl_maybe_copy_up (struct dentry *dentry,int flags);int ovl_copy_xattr (struct super_block *sb,struct dentry *old,struct dentry *new); -int ovl_set_attr (struct dentry *upper,struct kstat *stat); +int ovl_set_attr (struct ovl_fs *ofs,struct dentry *upper,struct kstat *stat);struct ovl_fh *ovl_encode_real_fh (struct ovl_fs *ofs,struct dentry *real,bool is_upper); int ovl_set_origin(struct ovl_fs *ofs, struct dentry *lower,
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 7/18 ovl: pass layer mnt to ovl_open_realfile()
In reply to Christian BraunerFrom: Amir Goldstein <[email protected]>
Ensure that ovl_open_realfile() takes the mount's idmapping into account. We add a new helper ovl_path_realdata() that can be used to easily retrieve the relevant path which we can pass down. This is needed to support idmapped base layers with overlay.
--- fs/overlayfs/file.c | 22 +++++++++++++--------- fs/overlayfs/overlayfs.h | 1 + fs/overlayfs/util.c | 14 ++++++++++++++ 3 files changed, 28 insertions(+), 9 deletions(-)
fs/overlayfs/file.c +13 -9
@@ -38,8 +38,9 @@ static char ovl_whatisit(struct inode *inode, struct inode *realinode)#define OVL_OPEN_FLAGS (O_NOATIME | FMODE_NONOTIFY)static struct file *ovl_open_realfile (const struct file *file, -struct inode *realinode) +struct path *realpath) { +struct inode *realinode =d_inode (realpath->dentry);struct inode *inode =file_inode (file);struct file *realfile;const struct cred *old_cred;
@@ -104,21 +105,21 @@ static int ovl_change_flags(struct file *file, unsigned int flags)static int ovl_real_fdget_meta (const struct file *file,struct fd *real,bool allow_meta) { -struct inode *inode =file_inode (file); -struct inode *realinode; +struct dentry *dentry =file_dentry (file); +struct path realpath; real->flags =0 ; real->file = file->private_data;if (allow_meta) - realinode =ovl_inode_real (inode); +ovl_path_real (dentry, &realpath);else - realinode =ovl_inode_realdata (inode); +ovl_path_realdata (dentry, &realpath);/* Has it been copied up since we'd opened it? */ -if (unlikely (file_inode (real->file) != realinode)) { +if (unlikely (file_inode (real->file) !=d_inode (realpath.dentry))) { real->flags =FDPUT_FPUT ; - real->file =ovl_open_realfile (file, realinode); + real->file =ovl_open_realfile (file, &realpath);return PTR_ERR_OR_ZERO (real->file); }
@@ -144,17 +145,20 @@ static int ovl_real_fdget(const struct file *file, struct fd *real)static int ovl_open (struct inode *inode,struct file *file) { +struct dentry *dentry =file_dentry (file);struct file *realfile; +struct path realpath;int err; - err =ovl_maybe_copy_up (file_dentry (file), file->f_flags); + err =ovl_maybe_copy_up (dentry, file->f_flags);if (err)return err;/* No longer need these flags, so don't pass them on to underlying fs */ file->f_flags &= ~(O_CREAT |O_EXCL |O_NOCTTY |O_TRUNC ); - realfile =ovl_open_realfile (file,ovl_inode_realdata (inode)); +ovl_path_realdata (dentry, &realpath); + realfile =ovl_open_realfile (file, &realpath);if (IS_ERR (realfile))return PTR_ERR (realfile);
fs/overlayfs/overlayfs.h +1 -0
@@ -319,6 +319,7 @@ void ovl_path_upper(struct dentry *dentry, struct path *path);void ovl_path_lower (struct dentry *dentry,struct path *path);void ovl_path_lowerdata (struct dentry *dentry,struct path *path);enum ovl_path_type ovl_path_real (struct dentry *dentry,struct path *path); +enum ovl_path_type ovl_path_realdata (struct dentry *dentry,struct path *path);struct dentry *ovl_dentry_upper (struct dentry *dentry);struct dentry *ovl_dentry_lower (struct dentry *dentry);struct dentry *ovl_dentry_lowerdata (struct dentry *dentry);
fs/overlayfs/util.c +14 -0
@@ -194,6 +194,20 @@ enum ovl_path_type ovl_path_real(struct dentry *dentry, struct path *path)return type; } +enum ovl_path_type ovl_path_realdata (struct dentry *dentry,struct path *path) +{ +enum ovl_path_type type =ovl_path_type (dentry); + +WARN_ON_ONCE (d_is_dir (dentry)); + +if (!OVL_TYPE_UPPER (type) ||OVL_TYPE_MERGE (type)) +ovl_path_lowerdata (dentry, path); +else +ovl_path_upper (dentry, path); + +return type; +} +struct dentry *ovl_dentry_upper (struct dentry *dentry) {return ovl_upperdentry_dereference (OVL_I (d_inode (dentry)));
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 8/18 ovl: use ovl_do_notify_change() wrapper
In reply to Christian BraunerIntroduce ovl_do_notify_change() as a simple wrapper around notify_change() to support idmapped layers. The helper mirrors other ovl_do_*() helpers that operate on the upper layers.
When changing ownership of an upper object the intended ownership needs to be mapped according to the upper layer's idmapping. This mapping is the inverse to the mapping applied when copying inode information from an upper layer to the corresponding overlay inode. So e.g., when an upper mount maps files that are stored on-disk as owned by id 1001 to 1000 this means that calling stat on this object from an idmapped mount will report the file as being owned by id 1000. Consequently in order to change ownership of an object in this filesystem so it appears as being owned by id 1000 in the upper idmapped layer it needs to store id 1001 on disk. The mnt mapping helpers take care of this.
All idmapping helpers are nops when no idmapped base layers are used.
--- fs/overlayfs/copy_up.c | 8 ++++---- fs/overlayfs/dir.c | 2 +- fs/overlayfs/inode.c | 3 ++- fs/overlayfs/overlayfs.h | 25 +++++++++++++++++++++++++ fs/overlayfs/ovl_entry.h | 5 +++++ fs/overlayfs/super.c | 2 +- 6 files changed, 38 insertions(+), 7 deletions(-)
fs/overlayfs/copy_up.c +4 -4
@@ -301,7 +301,7 @@ static int ovl_set_size(struct ovl_fs *ofs, .ia_size = stat->size, }; -return notify_change (&init_user_ns, upperdentry, &attr,NULL ); +return ovl_do_notify_change (ofs, upperdentry, &attr); } static int ovl_set_timestamps(struct ovl_fs *ofs, struct dentry *upperdentry,
@@ -314,7 +314,7 @@ static int ovl_set_timestamps(struct ovl_fs *ofs, struct dentry *upperdentry, .ia_mtime = stat->mtime, }; -return notify_change (&init_user_ns, upperdentry, &attr,NULL ); +return ovl_do_notify_change (ofs, upperdentry, &attr); } int ovl_set_attr(struct ovl_fs *ofs, struct dentry *upperdentry,
@@ -327,7 +327,7 @@ int ovl_set_attr(struct ovl_fs *ofs, struct dentry *upperdentry, .ia_valid = ATTR_MODE, .ia_mode = stat->mode, }; - err =notify_change (&init_user_ns, upperdentry, &attr,NULL ); + err =ovl_do_notify_change (ofs, upperdentry, &attr); }if (!err) {struct iattr attr = {
@@ -335,7 +335,7 @@ int ovl_set_attr(struct ovl_fs *ofs, struct dentry *upperdentry, .ia_uid = stat->uid, .ia_gid = stat->gid, }; - err =notify_change (&init_user_ns, upperdentry, &attr,NULL ); + err =ovl_do_notify_change (ofs, upperdentry, &attr); }if (!err)ovl_set_timestamps (ofs, upperdentry, stat);
fs/overlayfs/dir.c +1 -1
@@ -516,7 +516,7 @@ static int ovl_create_over_whiteout(struct dentry *dentry, struct inode *inode, .ia_mode = cattr->mode, };inode_lock (newdentry->d_inode); - err =notify_change (&init_user_ns, newdentry, &attr,NULL ); + err =ovl_do_notify_change (ofs, newdentry, &attr);inode_unlock (newdentry->d_inode);if (err) goto out_cleanup;
fs/overlayfs/inode.c +2 -1
@@ -21,6 +21,7 @@ int ovl_setattr(struct user_namespace *mnt_userns, struct dentry *dentry, struct iattr *attr) {int err; +struct ovl_fs *ofs =OVL_FS (dentry->d_sb);bool full_copy_up = false;struct dentry *upperdentry;const struct cred *old_cred;
@@ -77,7 +78,7 @@ int ovl_setattr(struct user_namespace *mnt_userns, struct dentry *dentry,inode_lock (upperdentry->d_inode); old_cred =ovl_override_creds (dentry->d_sb); - err =notify_change (&init_user_ns, upperdentry, attr,NULL ); + err =ovl_do_notify_change (ofs, upperdentry, attr);revert_creds (old_cred);if (!err)ovl_copyattr (upperdentry->d_inode, dentry->d_inode);
fs/overlayfs/overlayfs.h +25 -0
@@ -122,6 +122,31 @@ static inline const char *ovl_xattr(struct ovl_fs *ofs, enum ovl_xattr ox)return ovl_xattr_table[ox][ofs->config.userxattr]; } +/* +* When changing ownership of an upper object map the intended ownership +* according to the upper layer's idmapping. When an upper mount idmaps files +* that are stored on-disk as owned by id 1001 to id 1000 this means stat on +* this object will report it as being owned by id 1000 when calling via the +* upper mount. So in order to change ownership of an object so it reports id +* 1000 when calling stat on it through the upper mount the value written to +* disk must be 1001. The mount mapping helper will take of this. The mnt +* idmapping helpers are nops if the upper layer isn't idmapped. +*/ +static inline int ovl_do_notify_change (struct ovl_fs *ofs, +struct dentry *upperdentry, +struct iattr *attr) +{ +struct user_namespace *upper_idmap =ovl_upper_idmap (ofs); +struct user_namespace *fs_idmap =i_user_ns (d_inode (upperdentry)); + +if (attr->ia_valid &ATTR_UID ) + attr->ia_uid =mapped_kuid_user (upper_idmap, fs_idmap, attr->ia_uid); +if (attr->ia_valid &ATTR_GID ) + attr->ia_gid =mapped_kgid_user (upper_idmap, fs_idmap, attr->ia_gid); + +return notify_change (ovl_upper_idmap (ofs), upperdentry, attr,NULL ); +} +static inline int ovl_do_rmdir (struct ovl_fs *ofs,struct inode *dir,struct dentry *dentry) {
fs/overlayfs/ovl_entry.h +5 -0
@@ -90,6 +90,11 @@ static inline struct vfsmount *ovl_upper_mnt(struct ovl_fs *ofs)return ofs->layers[0 ].mnt; } +static inline struct user_namespace *ovl_upper_idmap (struct ovl_fs *ofs) +{ +return mnt_user_ns (ovl_upper_mnt (ofs)); +} +static inline struct ovl_fs *OVL_FS (struct super_block *sb) {return (struct ovl_fs *)sb->s_fs_info;
fs/overlayfs/super.c +1 -1
@@ -821,7 +821,7 @@ static struct dentry *ovl_workdir_create(struct ovl_fs *ofs,/* Clear any inherited mode bits */ inode_lock (work->d_inode); - err =notify_change (&init_user_ns, work, &attr,NULL ); + err =ovl_do_notify_change (ofs, work, &attr);inode_unlock (work->d_inode);if (err) goto out_dput;
Signature · 1 line
2.32.0
Miklos Szeredi
maintainerRe: [PATCH 08/18] ovl: use ovl_do_notify_change() wrapper
Quoted 124 lines · Christian Brauner
Introduce
ovl_do_notify_change()as a simple wrapper aroundnotify_change()to support idmapped layers. The helper mirrors other ovl_do_*() helpers that operate on the upper layers.When changing ownership of an upper object the intended ownership needs to be mapped according to the upper layer's idmapping. This mapping is the inverse to the mapping applied when copying inode information from an upper layer to the corresponding overlay inode. So e.g., when an upper mount maps files that are stored on-disk as owned by id 1001 to 1000 this means that calling stat on this object from an idmapped mount will report the file as being owned by id 1000. Consequently in order to change ownership of an object in this filesystem so it appears as being owned by id 1000 in the upper idmapped layer it needs to store id 1001 on disk. The mnt mapping helpers take care of this.
All idmapping helpers are nops when no idmapped base layers are used.
Cc <[email protected]>Tested-by Giuseppe Scrivano <[email protected]>Reviewed-by Amir Goldstein <[email protected]>Signed-off-by Christian Brauner (Microsoft) <[email protected]>--- fs/overlayfs/copy_up.c | 8 ++++---- fs/overlayfs/dir.c | 2 +- fs/overlayfs/inode.c | 3 ++- fs/overlayfs/overlayfs.h | 25 +++++++++++++++++++++++++ fs/overlayfs/ovl_entry.h | 5 +++++ fs/overlayfs/super.c | 2 +- 6 files changed, 38 insertions(+), 7 deletions(-)fs/overlayfs/copy_up.c +4
-4@@ -301,7 +301,7 @@ static int ovl_set_size(struct ovl_fs *ofs, .ia_size = stat->size, }; -return notify_change (&init_user_ns, upperdentry, &attr,NULL ); +return ovl_do_notify_change (ofs, upperdentry, &attr); } static int ovl_set_timestamps(struct ovl_fs *ofs, struct dentry *upperdentry,@@ -314,7 +314,7 @@ static int ovl_set_timestamps(struct ovl_fs *ofs, struct dentry *upperdentry, .ia_mtime = stat->mtime, }; -return notify_change (&init_user_ns, upperdentry, &attr,NULL ); +return ovl_do_notify_change (ofs, upperdentry, &attr); } int ovl_set_attr(struct ovl_fs *ofs, struct dentry *upperdentry,@@ -327,7 +327,7 @@ int ovl_set_attr(struct ovl_fs *ofs, struct dentry *upperdentry, .ia_valid = ATTR_MODE, .ia_mode = stat->mode, }; - err =notify_change (&init_user_ns, upperdentry, &attr,NULL ); + err =ovl_do_notify_change (ofs, upperdentry, &attr); }if (!err) {struct iattr attr = {@@ -335,7 +335,7 @@ int ovl_set_attr(struct ovl_fs *ofs, struct dentry *upperdentry, .ia_uid = stat->uid, .ia_gid = stat->gid, }; - err =notify_change (&init_user_ns, upperdentry, &attr,NULL ); + err =ovl_do_notify_change (ofs, upperdentry, &attr); }if (!err)ovl_set_timestamps (ofs, upperdentry, stat);fs/overlayfs/dir.c +1
-1@@ -516,7 +516,7 @@ static int ovl_create_over_whiteout(struct dentry *dentry, struct inode *inode, .ia_mode = cattr->mode, };inode_lock (newdentry->d_inode); - err =notify_change (&init_user_ns, newdentry, &attr,NULL ); + err =ovl_do_notify_change (ofs, newdentry, &attr);inode_unlock (newdentry->d_inode);if (err) goto out_cleanup;fs/overlayfs/inode.c +2
-1@@ -21,6 +21,7 @@ int ovl_setattr(struct user_namespace *mnt_userns, struct dentry *dentry, struct iattr *attr) {int err; +struct ovl_fs *ofs =OVL_FS (dentry->d_sb);bool full_copy_up = false;struct dentry *upperdentry;const struct cred *old_cred;@@ -77,7 +78,7 @@ int ovl_setattr(struct user_namespace *mnt_userns, struct dentry *dentry,inode_lock (upperdentry->d_inode); old_cred =ovl_override_creds (dentry->d_sb); - err =notify_change (&init_user_ns, upperdentry, attr,NULL ); + err =ovl_do_notify_change (ofs, upperdentry, attr);revert_creds (old_cred);if (!err)ovl_copyattr (upperdentry->d_inode, dentry->d_inode);fs/overlayfs/overlayfs.h +11
-0@@ -122,6 +122,31 @@ static inline const char *ovl_xattr(struct ovl_fs *ofs, enum ovl_xattr ox)return ovl_xattr_table[ox][ofs->config.userxattr]; } +/* +* When changing ownership of an upper object map the intended ownership +* according to the upper layer's idmapping. When an upper mount idmaps files +* that are stored on-disk as owned by id 1001 to id 1000 this means stat on +* this object will report it as being owned by id 1000 when calling via the +* upper mount. So in order to change ownership of an object so it reports id +* 1000 when calling stat on it through the upper mount the value written to +* disk must be 1001. The mount mapping helper will take of this. The mnt +* idmapping helpers are nops if the upper layer isn't idmapped. +*/ +static inline int ovl_do_notify_change(struct ovl_fs *ofs,
fs/overlayfs/overlayfs.h static inline const char *ovl_xattr(struct ovl_fs *ofs, enum ovl_xattr ox) · line 145
Quoted 10 lines
fs/overlayfs/overlayfs.h +10
-0+struct dentry *upperdentry, + struct iattr *attr) +{ + struct user_namespace *upper_idmap = ovl_upper_idmap(ofs); +struct user_namespace *fs_idmap =i_user_ns (d_inode (upperdentry)); + +if (attr->ia_valid &ATTR_UID ) + attr->ia_uid =mapped_kuid_user (upper_idmap, fs_idmap, attr->ia_uid); +if (attr->ia_valid &ATTR_GID ) + attr->ia_gid =mapped_kgid_user (upper_idmap, fs_idmap, attr->ia_gid);
I see a similar transformation in chown_common() but I can't say I fully understand how this works...
fs/overlayfs/overlayfs.h static inline const char *ovl_xattr(struct ovl_fs *ofs, enum ovl_xattr ox) · line 147
Quoted 2 lines
fs/overlayfs/overlayfs.h +2
-0+ +return notify_change (ovl_upper_idmap (ofs), upperdentry, attr,NULL );
First argument can use upper_idmap, right?
Thanks,
Miklos
Quoted 10 lines
fs/overlayfs/overlayfs.h +2
-0+} +static inline int ovl_do_rmdir (struct ovl_fs *ofs,struct inode *dir,struct dentry *dentry) {fs/overlayfs/ovl_entry.h +0
-0
fs/overlayfs/ovl_entry.h static inline struct vfsmount *ovl_upper_mnt(struct ovl_fs *ofs) · line 96
Quoted 7 lines
fs/overlayfs/ovl_entry.h +4
-0@@ -90,6 +90,11 @@ static inline struct vfsmount *ovl_upper_mnt(struct ovl_fs *ofs)return ofs->layers[0 ].mnt; } +static inline struct user_namespace *ovl_upper_idmap (struct ovl_fs *ofs) +{ +return mnt_user_ns (ovl_upper_mnt (ofs)); +}
Ah, here it is.
Can this function be introduced early in the series, but return &init_userns?
Then when everything in place the mnt userns support can be switched on.
Thanks,
Miklos
Christian Brauner
maintainerRe: [PATCH 08/18] ovl: use ovl_do_notify_change() wrapper
Quoted 130 lines · Miklos Szeredi
Quoted 129 lines · Christian Brauner
Introduce
ovl_do_notify_change()as a simple wrapper aroundnotify_change()to support idmapped layers. The helper mirrors other ovl_do_*() helpers that operate on the upper layers.When changing ownership of an upper object the intended ownership needs to be mapped according to the upper layer's idmapping. This mapping is the inverse to the mapping applied when copying inode information from an upper layer to the corresponding overlay inode. So e.g., when an upper mount maps files that are stored on-disk as owned by id 1001 to 1000 this means that calling stat on this object from an idmapped mount will report the file as being owned by id 1000. Consequently in order to change ownership of an object in this filesystem so it appears as being owned by id 1000 in the upper idmapped layer it needs to store id 1001 on disk. The mnt mapping helpers take care of this.
All idmapping helpers are nops when no idmapped base layers are used.
Cc <[email protected]>Tested-by Giuseppe Scrivano <[email protected]>Reviewed-by Amir Goldstein <[email protected]>Signed-off-by Christian Brauner (Microsoft) <[email protected]>--- fs/overlayfs/copy_up.c | 8 ++++---- fs/overlayfs/dir.c | 2 +- fs/overlayfs/inode.c | 3 ++- fs/overlayfs/overlayfs.h | 25 +++++++++++++++++++++++++ fs/overlayfs/ovl_entry.h | 5 +++++ fs/overlayfs/super.c | 2 +- 6 files changed, 38 insertions(+), 7 deletions(-)fs/overlayfs/copy_up.c +4
-4@@ -301,7 +301,7 @@ static int ovl_set_size(struct ovl_fs *ofs, .ia_size = stat->size, }; -return notify_change (&init_user_ns, upperdentry, &attr,NULL ); +return ovl_do_notify_change (ofs, upperdentry, &attr); } static int ovl_set_timestamps(struct ovl_fs *ofs, struct dentry *upperdentry,@@ -314,7 +314,7 @@ static int ovl_set_timestamps(struct ovl_fs *ofs, struct dentry *upperdentry, .ia_mtime = stat->mtime, }; -return notify_change (&init_user_ns, upperdentry, &attr,NULL ); +return ovl_do_notify_change (ofs, upperdentry, &attr); } int ovl_set_attr(struct ovl_fs *ofs, struct dentry *upperdentry,@@ -327,7 +327,7 @@ int ovl_set_attr(struct ovl_fs *ofs, struct dentry *upperdentry, .ia_valid = ATTR_MODE, .ia_mode = stat->mode, }; - err =notify_change (&init_user_ns, upperdentry, &attr,NULL ); + err =ovl_do_notify_change (ofs, upperdentry, &attr); }if (!err) {struct iattr attr = {@@ -335,7 +335,7 @@ int ovl_set_attr(struct ovl_fs *ofs, struct dentry *upperdentry, .ia_uid = stat->uid, .ia_gid = stat->gid, }; - err =notify_change (&init_user_ns, upperdentry, &attr,NULL ); + err =ovl_do_notify_change (ofs, upperdentry, &attr); }if (!err)ovl_set_timestamps (ofs, upperdentry, stat);fs/overlayfs/dir.c +1
-1@@ -516,7 +516,7 @@ static int ovl_create_over_whiteout(struct dentry *dentry, struct inode *inode, .ia_mode = cattr->mode, };inode_lock (newdentry->d_inode); - err =notify_change (&init_user_ns, newdentry, &attr,NULL ); + err =ovl_do_notify_change (ofs, newdentry, &attr);inode_unlock (newdentry->d_inode);if (err) goto out_cleanup;fs/overlayfs/inode.c +2
-1@@ -21,6 +21,7 @@ int ovl_setattr(struct user_namespace *mnt_userns, struct dentry *dentry, struct iattr *attr) {int err; +struct ovl_fs *ofs =OVL_FS (dentry->d_sb);bool full_copy_up = false;struct dentry *upperdentry;const struct cred *old_cred;@@ -77,7 +78,7 @@ int ovl_setattr(struct user_namespace *mnt_userns, struct dentry *dentry,inode_lock (upperdentry->d_inode); old_cred =ovl_override_creds (dentry->d_sb); - err =notify_change (&init_user_ns, upperdentry, attr,NULL ); + err =ovl_do_notify_change (ofs, upperdentry, attr);revert_creds (old_cred);if (!err)ovl_copyattr (upperdentry->d_inode, dentry->d_inode);fs/overlayfs/overlayfs.h +16
-0@@ -122,6 +122,31 @@ static inline const char *ovl_xattr(struct ovl_fs *ofs, enum ovl_xattr ox)return ovl_xattr_table[ox][ofs->config.userxattr]; } +/* +* When changing ownership of an upper object map the intended ownership +* according to the upper layer's idmapping. When an upper mount idmaps files +* that are stored on-disk as owned by id 1001 to id 1000 this means stat on +* this object will report it as being owned by id 1000 when calling via the +* upper mount. So in order to change ownership of an object so it reports id +* 1000 when calling stat on it through the upper mount the value written to +* disk must be 1001. The mount mapping helper will take of this. The mnt +* idmapping helpers are nops if the upper layer isn't idmapped. +*/ +static inline int ovl_do_notify_change (struct ovl_fs *ofs, +struct dentry *upperdentry, +struct iattr *attr) +{ +struct user_namespace *upper_idmap =ovl_upper_idmap (ofs); +struct user_namespace *fs_idmap =i_user_ns (d_inode (upperdentry));
Quoted 8 lines
fs/overlayfs/overlayfs.h static inline const char *ovl_xattr(struct ovl_fs *ofs, enum ovl_xattr ox) · line 145
Quoted 5 lines
fs/overlayfs/overlayfs.h +5
-0+ +if (attr->ia_valid &ATTR_UID ) + attr->ia_uid =mapped_kuid_user (upper_idmap, fs_idmap, attr->ia_uid); +if (attr->ia_valid &ATTR_GID ) + attr->ia_gid =mapped_kgid_user (upper_idmap, fs_idmap, attr->ia_gid);I see a similar transformation in
chown_common()but I can't say I fully understand how this works...
I'll take the systemd-homed example. systemd-homed will keep all files owned by 65534 on-disk. Now when a user logs into their machine with id 1000 systemd-homed will create and idmapped mount where 65534 is mapped to id 1000. That means when a user calls ls -al in that idmapped mount they will see all files reported as being owned by id 1000 since i_uid_into_mnt() will be called before reporting ownership to the user. This maps the 65534 to 1000.
Now let's say someone with appropriate privileges will want change to some file in that idmapped mount so that it is owned by id 1000 when calling ls -al in that mount. In order to do that they need to write the file to disk as 65534, ia_uid contains 65534. And that is what mapped_kuid_user() is doing. This is extensively verified in xfstests in generic/633 and a bunch of other places.
There's a lenghty explanation also in Documentation/filesystems/idmappings.rst fwiw (Although I need to update that since the functions have been renamed.).
Quoted 5 lines
fs/overlayfs/overlayfs.h static inline const char *ovl_xattr(struct ovl_fs *ofs, enum ovl_xattr ox) · line 147
Quoted 3 lines
fs/overlayfs/overlayfs.h +2
-0+ +return notify_change (ovl_upper_idmap (ofs), upperdentry, attr,NULL );First argument can use
upper_idmap, right?
Yes, indeed.
Quoted 17 lines
Thanks,
MiklosQuoted 13 lines
fs/overlayfs/overlayfs.h +2
-0+} +static inline int ovl_do_rmdir (struct ovl_fs *ofs,struct inode *dir,struct dentry *dentry) {fs/overlayfs/ovl_entry.h +0
-0@@ -90,6 +90,11 @@ static inline struct vfsmount *ovl_upper_mnt(struct ovl_fs *ofs)return ofs->layers[0 ].mnt; }
Quoted 6 lines
fs/overlayfs/ovl_entry.h static inline struct vfsmount *ovl_upper_mnt(struct ovl_fs *ofs) · line 96
Quoted 4 lines
fs/overlayfs/ovl_entry.h +4
-0+static inline struct user_namespace *ovl_upper_idmap (struct ovl_fs *ofs) +{ +return mnt_user_ns (ovl_upper_mnt (ofs)); +}Ah, here it is.
Ah, sorry. That got messed up my final rebase. Sorry about that. I usually do a git rebase -x make v5.17 but apparently I missed it after the rebase.
Quoted 2 lines
Can this function be introduced early in the series, but return
&init_userns?
Yes, of course. I had a series like this. Amir suggested to to it a little later.
Quoted 2 lines
Then when everything in place the mnt userns support can be switched on.
Yes, will do.
Thanks,
Christian
Christian Brauner
maintainerPATCH 9/18 ovl: use ovl_lookup_upper() wrapper
In reply to Christian BraunerIntroduce ovl_lookup_upper() as a simple wrapper around lookup_one(). Make it clear in the helper's name that this only operates on the upper layer. The wrapper will take upper layer's idmapping into account when checking permission in lookup_one().
--- fs/overlayfs/copy_up.c | 12 +++++++----- fs/overlayfs/dir.c | 31 +++++++++++++++---------------- fs/overlayfs/overlayfs.h | 8 ++++++++ fs/overlayfs/readdir.c | 6 +++--- fs/overlayfs/super.c | 6 +++--- fs/overlayfs/util.c | 2 +- 6 files changed, 37 insertions(+), 28 deletions(-)
fs/overlayfs/copy_up.c +7 -5
@@ -487,7 +487,7 @@ static int ovl_create_index(struct dentry *dentry, struct dentry *origin,if (err) goto out; - index =lookup_one_len (name.name, indexdir, name.len); + index =ovl_lookup_upper (ofs, name.name, indexdir, name.len);if (IS_ERR (index)) { err =PTR_ERR (index); }else {
@@ -536,8 +536,8 @@ static int ovl_link_up(struct ovl_copy_up_ctx *c)return err;inode_lock_nested (udir,I_MUTEX_PARENT ); - upper =lookup_one_len (c->dentry->d_name.name, upperdir, - c->dentry->d_name.len); + upper =ovl_lookup_upper (ofs, c->dentry->d_name.name, upperdir, + c->dentry->d_name.len); err =PTR_ERR (upper);if (!IS_ERR (upper)) { err =ovl_do_link (ofs,ovl_dentry_upper (c->dentry), udir, upper);
@@ -700,7 +700,8 @@ static int ovl_copy_up_workdir(struct ovl_copy_up_ctx *c) goto cleanup; } - upper =lookup_one_len (c->destname.name, c->destdir, c->destname.len); + upper =ovl_lookup_upper (ofs, c->destname.name, c->destdir, + c->destname.len); err =PTR_ERR (upper);if (IS_ERR (upper)) goto cleanup;
@@ -752,7 +753,8 @@ static int ovl_copy_up_tmpfile(struct ovl_copy_up_ctx *c)inode_lock_nested (udir,I_MUTEX_PARENT ); - upper =lookup_one_len (c->destname.name, c->destdir, c->destname.len); + upper =ovl_lookup_upper (ofs, c->destname.name, c->destdir, + c->destname.len); err =PTR_ERR (upper);if (!IS_ERR (upper)) { err =ovl_do_link (ofs, temp, udir, upper);
fs/overlayfs/dir.c +15 -16
@@ -51,7 +51,7 @@ struct dentry *ovl_lookup_temp(struct ovl_fs *ofs, struct dentry *workdir)/* counter is allowed to wrap, since temp dentries are ephemeral */ snprintf (name,sizeof (name),"#%x" ,atomic_inc_return (&temp_id)); - temp =lookup_one_len (name, workdir,strlen (name)); + temp =ovl_lookup_upper (ofs, name, workdir,strlen (name));if (!IS_ERR (temp) && temp->d_inode) {pr_err ("workdir/%s already exists\n" , name);dput (temp);
@@ -155,8 +155,8 @@ int ovl_mkdir_real(struct ovl_fs *ofs, struct inode *dir,* to it unhashed and negative. If that happens, try to * lookup a new hashed and positive dentry. */ - d =lookup_one_len (dentry->d_name.name, dentry->d_parent, - dentry->d_name.len); + d =ovl_lookup_upper (ofs, dentry->d_name.name, dentry->d_parent, + dentry->d_name.len);if (IS_ERR (d)) {pr_warn ("failed lookup after mkdir (%pd2, err=%i).\n" , dentry, err);
@@ -333,9 +333,8 @@ static int ovl_create_upper(struct dentry *dentry, struct inode *inode,inode_lock_nested (udir,I_MUTEX_PARENT ); newdentry =ovl_create_real (ofs, udir, -lookup_one_len (dentry->d_name.name, - upperdir, - dentry->d_name.len), +ovl_lookup_upper (ofs, dentry->d_name.name, + upperdir, dentry->d_name.len), attr); err =PTR_ERR (newdentry);if (IS_ERR (newdentry))
@@ -490,8 +489,8 @@ static int ovl_create_over_whiteout(struct dentry *dentry, struct inode *inode,if (err) goto out; - upper =lookup_one_len (dentry->d_name.name, upperdir, - dentry->d_name.len); + upper =ovl_lookup_upper (ofs, dentry->d_name.name, upperdir, + dentry->d_name.len); err =PTR_ERR (upper);if (IS_ERR (upper)) goto out_unlock;
@@ -773,8 +772,8 @@ static int ovl_remove_and_whiteout(struct dentry *dentry,if (err) goto out_dput; - upper =lookup_one_len (dentry->d_name.name, upperdir, - dentry->d_name.len); + upper =ovl_lookup_upper (ofs, dentry->d_name.name, upperdir, + dentry->d_name.len); err =PTR_ERR (upper);if (IS_ERR (upper)) goto out_unlock;
@@ -821,8 +820,8 @@ static int ovl_remove_upper(struct dentry *dentry, bool is_dir, }inode_lock_nested (dir,I_MUTEX_PARENT ); - upper =lookup_one_len (dentry->d_name.name, upperdir, - dentry->d_name.len); + upper =ovl_lookup_upper (ofs, dentry->d_name.name, upperdir, + dentry->d_name.len); err =PTR_ERR (upper);if (IS_ERR (upper)) goto out_unlock;
@@ -1197,8 +1196,8 @@ static int ovl_rename(struct user_namespace *mnt_userns, struct inode *olddir, trap =lock_rename (new_upperdir, old_upperdir); - olddentry =lookup_one_len (old->d_name.name, old_upperdir, - old->d_name.len); + olddentry =ovl_lookup_upper (ofs, old->d_name.name, old_upperdir, + old->d_name.len); err =PTR_ERR (olddentry);if (IS_ERR (olddentry)) goto out_unlock;
@@ -1207,8 +1206,8 @@ static int ovl_rename(struct user_namespace *mnt_userns, struct inode *olddir,if (!ovl_matches_upper (old, olddentry)) goto out_dput_old; - newdentry =lookup_one_len (new->d_name.name, new_upperdir, - new->d_name.len); + newdentry =ovl_lookup_upper (ofs, new->d_name.name, new_upperdir, + new->d_name.len); err =PTR_ERR (newdentry);if (IS_ERR (newdentry)) goto out_dput_old;
fs/overlayfs/overlayfs.h +8 -0
@@ -7,6 +7,7 @@#include <linux/kernel.h> #include <linux/uuid.h> #include <linux/fs.h> +#include <linux/namei.h> #include "ovl_entry.h" #undef pr_fmt
@@ -305,6 +306,13 @@ static inline struct dentry *ovl_do_tmpfile(struct ovl_fs *ofs,return ret; } +static inline struct dentry *ovl_lookup_upper (struct ovl_fs *ofs, +const char *name, +struct dentry *base,int len) +{ +return lookup_one (ovl_upper_idmap (ofs), name, base, len); +} +static inline bool ovl_open_flags_need_copy_up (int flags) {if (!flags)
fs/overlayfs/readdir.c +3 -3
@@ -1013,7 +1013,7 @@ void ovl_cleanup_whiteouts(struct ovl_fs *ofs, struct dentry *upper,if (WARN_ON (!p->is_whiteout || !p->is_upper))continue ; - dentry =lookup_one_len (p->name, upper, p->len); + dentry =ovl_lookup_upper (ofs, p->name, upper, p->len);if (IS_ERR (dentry)) { pr_err("lookup '%s/%.*s' failed (%i)\n", upper->d_name.name, p->len, p->name,
@@ -1113,7 +1113,7 @@ static int ovl_workdir_cleanup_recurse(struct ovl_fs *ofs, struct path *path, err = -EINVAL ;break ; } - dentry =lookup_one_len (p->name, path->dentry, p->len); + dentry =ovl_lookup_upper (ofs, p->name, path->dentry, p->len);if (IS_ERR (dentry))continue ;if (dentry->d_inode)
@@ -1181,7 +1181,7 @@ int ovl_indexdir_cleanup(struct ovl_fs *ofs)if (p->len ==2 && p->name[1 ] =='.' )continue ; } - index =lookup_one_len (p->name, indexdir, p->len); + index =ovl_lookup_upper (ofs, p->name, indexdir, p->len);if (IS_ERR (index)) { err =PTR_ERR (index); index =NULL ;
fs/overlayfs/super.c +3 -3
@@ -761,7 +761,7 @@ static struct dentry *ovl_workdir_create(struct ovl_fs *ofs,inode_lock_nested (dir,I_MUTEX_PARENT ); retry: - work =lookup_one_len (name, ofs->workbasedir,strlen (name)); + work =ovl_lookup_upper (ofs, name, ofs->workbasedir,strlen (name));if (!IS_ERR (work)) {struct iattr attr = {
@@ -1289,7 +1289,7 @@ static int ovl_check_rename_whiteout(struct ovl_fs *ofs) goto cleanup_temp; } - whiteout =lookup_one_len (name.name.name, workdir, name.name.len); + whiteout =ovl_lookup_upper (ofs, name.name.name, workdir, name.name.len); err =PTR_ERR (whiteout);if (IS_ERR (whiteout)) goto cleanup_temp;
@@ -1321,7 +1321,7 @@ static struct dentry *ovl_lookup_or_create(struct ovl_fs *ofs,struct dentry *child;inode_lock_nested (parent->d_inode,I_MUTEX_PARENT ); - child =lookup_one_len (name, parent, len); + child =ovl_lookup_upper (ofs, name, parent, len);if (!IS_ERR (child) && !child->d_inode) child =ovl_create_real (ofs, parent->d_inode, child,OVL_CATTR (mode));
fs/overlayfs/util.c +1 -1
@@ -838,7 +838,7 @@ static void ovl_cleanup_index(struct dentry *dentry) }inode_lock_nested (dir,I_MUTEX_PARENT ); - index =lookup_one_len (name.name, indexdir, name.len); + index =ovl_lookup_upper (ofs, name.name, indexdir, name.len); err =PTR_ERR (index);if (IS_ERR (index)) { index =NULL ;
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 10/18 ovl: use ovl_path_getxattr() wrapper
In reply to Christian BraunerAdd a helper that allows to retrieve ovl xattrs from either lower or upper layers. To stop passing mnt and dentry separately everywhere use struct path which more accurately reflects the tight coupling between mount and dentry in this helper. Swich over all places to pass a path argument that can operate on either upper or lower layers. This is needed to support idmapped base layers with overlayfs.
--- fs/overlayfs/copy_up.c | 19 +++++++----- fs/overlayfs/dir.c | 2 +- fs/overlayfs/inode.c | 7 ++++- fs/overlayfs/namei.c | 29 +++++++++++++------ fs/overlayfs/overlayfs.h | 62 +++++++++++++++++++++++++++++----------- fs/overlayfs/util.c | 25 ++++++++-------- 6 files changed, 96 insertions(+), 48 deletions(-)
fs/overlayfs/copy_up.c +12 -7
@@ -44,10 +44,10 @@ static bool ovl_must_copy_xattr(const char *name) !strncmp (name,XATTR_SECURITY_PREFIX ,XATTR_SECURITY_PREFIX_LEN ); } -int ovl_copy_xattr (struct super_block *sb,struct dentry *old, -struct dentry *new) +int ovl_copy_xattr (struct super_block *sb,struct path *path,struct dentry *new) {struct ovl_fs *ofs =OVL_FS (sb); +struct dentry *old = path->dentry;ssize_t list_size, size, value_size =0 ;char *buf, *name, *value =NULL ;int error =0 ;
@@ -95,9 +95,9 @@ int ovl_copy_xattr(struct super_block *sb, struct dentry *old,continue ;/* Discard */ } retry: - size =vfs_getxattr (&init_user_ns, old, name, value, value_size); + size =ovl_do_getxattr (path, name, value, value_size);if (size == -ERANGE ) - size =vfs_getxattr (&init_user_ns, old, name,NULL ,0 ); + size =ovl_do_getxattr (path, name,NULL ,0 );if (size <0 ) { error = size;
@@ -583,7 +583,7 @@ static int ovl_copy_up_inode(struct ovl_copy_up_ctx *c, struct dentry *temp)return err; } - err =ovl_copy_xattr (c->dentry->d_sb, c->lowerpath.dentry, temp); + err =ovl_copy_xattr (c->dentry->d_sb, &c->lowerpath, temp);if (err)return err;
@@ -879,8 +879,12 @@ static ssize_t ovl_getxattr_value(struct ovl_fs *ofs, struct dentry *dentry, {ssize_t res;char *buf; +struct path upperpath = { + .dentry = dentry, + .mnt =ovl_upper_mnt (ofs), + }; - res =ovl_do_getxattr (ofs, dentry, name,NULL ,0 ); + res =ovl_do_getxattr (&upperpath, name,NULL ,0 );if (res == -ENODATA || res == -EOPNOTSUPP ) res =0 ;
@@ -889,7 +893,7 @@ static ssize_t ovl_getxattr_value(struct ovl_fs *ofs, struct dentry *dentry,if (!buf)return -ENOMEM ; - res =ovl_do_getxattr (ofs, dentry, name, buf, res); + res =ovl_do_getxattr (&upperpath, name, buf, res);if (res <0 )kfree (buf);else
@@ -965,6 +969,7 @@ static int ovl_copy_up_one(struct dentry *parent, struct dentry *dentry,return -EROFS ;ovl_path_lower (dentry, &ctx.lowerpath); + err =vfs_getattr (&ctx.lowerpath, &ctx.stat,STATX_BASIC_STATS ,AT_STATX_SYNC_AS_STAT );if (err)
fs/overlayfs/dir.c +1 -1
@@ -398,7 +398,7 @@ static struct dentry *ovl_clear_empty(struct dentry *dentry,if (IS_ERR (opaquedir)) goto out_unlock; - err =ovl_copy_xattr (dentry->d_sb, upper, opaquedir); + err =ovl_copy_xattr (dentry->d_sb, &upperpath, opaquedir);if (err) goto out_cleanup;
fs/overlayfs/inode.c +6 -1
@@ -1176,8 +1176,13 @@ struct inode *ovl_get_inode(struct super_block *sb,/* Check for non-merge dir that may have whiteouts */ if (is_dir) { +struct path realpath = { + .dentry = upperdentry ?: lowerdentry, + .mnt = upperdentry ?ovl_upper_mnt (ofs) : lowerpath->layer->mnt, + }; +if (((upperdentry && lowerdentry) || oip->numlower >1 ) || -ovl_check_origin_xattr (ofs, upperdentry ?: lowerdentry)) { +ovl_path_check_origin_xattr (ofs, &realpath)) {ovl_set_flag (OVL_WHITEOUTS , inode); } }
fs/overlayfs/namei.c +20 -9
@@ -16,6 +16,7 @@struct ovl_lookup_data {struct super_block *sb; +struct vfsmount *mnt;struct qstr name;bool is_dir;bool opaque;
@@ -25,14 +26,14 @@ struct ovl_lookup_data {bool metacopy; }; -static int ovl_check_redirect (struct dentry *dentry,struct ovl_lookup_data *d, +static int ovl_check_redirect (struct path *path,struct ovl_lookup_data *d,size_t prelen,const char *post) {int res;char *buf;struct ovl_fs *ofs =OVL_FS (d->sb); - buf =ovl_get_redirect_xattr (ofs, dentry, prelen +strlen (post)); + buf =ovl_get_redirect_xattr (ofs, path, prelen +strlen (post));if (IS_ERR_OR_NULL (buf))return PTR_ERR (buf);
@@ -193,9 +194,9 @@ struct dentry *ovl_decode_real_fh(struct ovl_fs *ofs, struct ovl_fh *fh,return real; } -static bool ovl_is_opaquedir (struct super_block *sb,struct dentry *dentry) +static bool ovl_is_opaquedir (struct ovl_fs *ofs,struct path *path) { -return ovl_check_dir_xattr (sb, dentry,OVL_XATTR_OPAQUE ); +return ovl_path_check_dir_xattr (ofs, path,OVL_XATTR_OPAQUE ); } static struct dentry *ovl_lookup_positive_unlocked(const char *name,
@@ -224,6 +225,7 @@ static int ovl_lookup_single(struct dentry *base, struct ovl_lookup_data *d, struct dentry **ret, bool drop_negative) {struct dentry *this; +struct path path;int err;bool last_element = !post[0 ];
@@ -253,12 +255,15 @@ static int ovl_lookup_single(struct dentry *base, struct ovl_lookup_data *d, d->stop = true; goto put_and_out; } + + path.dentry = this; + path.mnt = d->mnt;if (!d_can_lookup (this)) {if (d->is_dir || !last_element) { d->stop = true; goto put_and_out; } - err =ovl_check_metacopy_xattr (OVL_FS (d->sb), this); + err =ovl_check_metacopy_xattr (OVL_FS (d->sb), &path);if (err <0 ) goto out_err;
@@ -278,14 +283,14 @@ static int ovl_lookup_single(struct dentry *base, struct ovl_lookup_data *d,if (d->last) goto out; -if (ovl_is_opaquedir (d->sb, this)) { +if (ovl_is_opaquedir (OVL_FS (d->sb), &path)) { d->stop = true;if (last_element) d->opaque = true; goto out; } } - err =ovl_check_redirect (this, d, prelen, post); + err =ovl_check_redirect (&path, d, prelen, post);if (err) goto out_err; out:
@@ -856,6 +861,7 @@ struct dentry *ovl_lookup(struct inode *dir, struct dentry *dentry, old_cred =ovl_override_creds (dentry->d_sb); upperdir =ovl_dentry_upper (dentry->d_parent);if (upperdir) { + d.mnt =ovl_upper_mnt (ofs); err =ovl_lookup_layer (upperdir, &d, &upperdentry, true);if (err) goto out;
@@ -911,6 +917,7 @@ struct dentry *ovl_lookup(struct inode *dir, struct dentry *dentry,else d.last = lower.layer->idx == roe->numlower; + d.mnt = lower.layer->mnt; err =ovl_lookup_layer (lower.dentry, &d, &this, false);if (err) goto out_put;
@@ -1071,14 +1078,18 @@ struct dentry *ovl_lookup(struct inode *dir, struct dentry *dentry,if (upperdentry)ovl_dentry_set_upper_alias (dentry);else if (index) { +struct path upperpath; + upperdentry =dget (index); - upperredirect =ovl_get_redirect_xattr (ofs, upperdentry,0 ); + upperpath.dentry = upperdentry; + upperpath.mnt =ovl_upper_mnt (ofs); + upperredirect =ovl_get_redirect_xattr (ofs, &upperpath,0 );if (IS_ERR (upperredirect)) { err =PTR_ERR (upperredirect); upperredirect =NULL ; goto out_free_oe; } - err =ovl_check_metacopy_xattr (ofs, upperdentry); + err =ovl_check_metacopy_xattr (ofs, &upperpath);if (err <0 ) goto out_free_oe; uppermetacopy = err;
fs/overlayfs/overlayfs.h +45 -17
115 lines not on this page · raw message
fs/overlayfs/util.c +12 -13
@@ -564,11 +564,11 @@ void ovl_copy_up_end(struct dentry *dentry)ovl_inode_unlock (d_inode (dentry)); } -bool ovl_check_origin_xattr (struct ovl_fs *ofs,struct dentry *dentry) +bool ovl_path_check_origin_xattr (struct ovl_fs *ofs,struct path *path) {int res; - res =ovl_getxattr (ofs, dentry,OVL_XATTR_ORIGIN ,NULL ,0 ); + res =ovl_path_getxattr (ofs, path,OVL_XATTR_ORIGIN ,NULL ,0 );/* Zero size value means "copied up but origin unknown" */ if (res >=0 )
@@ -577,16 +577,16 @@ bool ovl_check_origin_xattr(struct ovl_fs *ofs, struct dentry *dentry)return false; } -bool ovl_check_dir_xattr (struct super_block *sb,struct dentry *dentry, -enum ovl_xattr ox) +bool ovl_path_check_dir_xattr (struct ovl_fs *ofs,struct path *path, +enum ovl_xattr ox) {int res;char val; -if (!d_is_dir (dentry)) +if (!d_is_dir (path->dentry))return false; - res =ovl_getxattr (OVL_FS (sb), dentry, ox, &val,1 ); + res =ovl_path_getxattr (ofs, path, ox, &val,1 );if (res ==1 && val =='y' )return true;
@@ -957,15 +957,15 @@ int ovl_lock_rename_workdir(struct dentry *workdir, struct dentry *upperdir) }/* err < 0, 0 if no metacopy xattr, 1 if metacopy xattr found */ -int ovl_check_metacopy_xattr (struct ovl_fs *ofs,struct dentry *dentry) +int ovl_check_metacopy_xattr (struct ovl_fs *ofs,struct path *path) {int res;/* Only regular files can have metacopy xattr */ -if (!S_ISREG (d_inode (dentry)->i_mode)) +if (!S_ISREG (d_inode (path->dentry)->i_mode))return 0 ; - res =ovl_getxattr (ofs, dentry,OVL_XATTR_METACOPY ,NULL ,0 ); + res =ovl_path_getxattr (ofs, path,OVL_XATTR_METACOPY ,NULL ,0 );if (res <0 ) {if (res == -ENODATA || res == -EOPNOTSUPP )return 0 ;
@@ -1001,13 +1001,12 @@ bool ovl_is_metacopy_dentry(struct dentry *dentry)return (oe->numlower >1 ); } -char *ovl_get_redirect_xattr (struct ovl_fs *ofs,struct dentry *dentry, -int padding) +char *ovl_get_redirect_xattr (struct ovl_fs *ofs,struct path *path,int padding) {int res;char *s, *next, *buf =NULL ; - res =ovl_getxattr (ofs, dentry,OVL_XATTR_REDIRECT ,NULL ,0 ); + res =ovl_path_getxattr (ofs, path,OVL_XATTR_REDIRECT ,NULL ,0 );if (res == -ENODATA || res == -EOPNOTSUPP )return NULL ;if (res <0 )
@@ -1019,7 +1018,7 @@ char *ovl_get_redirect_xattr(struct ovl_fs *ofs, struct dentry *dentry,if (!buf)return ERR_PTR (-ENOMEM ); - res =ovl_getxattr (ofs, dentry,OVL_XATTR_REDIRECT , buf, res); + res =ovl_path_getxattr (ofs, path,OVL_XATTR_REDIRECT , buf, res);if (res <0 ) goto fail;if (res ==0 )
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 11/18 ovl: handle idmappings for layer fileattrs
In reply to Christian BraunerTake the upper mount's idmapping into account when setting fileattrs on the upper layer. This is needed to support idmapped base layers with overlay.
--- fs/overlayfs/inode.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
fs/overlayfs/inode.c +1 -1
@@ -537,7 +537,7 @@ int ovl_real_fileattr_set(struct path *realpath, struct fileattr *fa)if (err)return err; -return vfs_fileattr_set (&init_user_ns, realpath->dentry, fa); +return vfs_fileattr_set (mnt_user_ns (realpath->mnt), realpath->dentry, fa); } int ovl_fileattr_set(struct user_namespace *mnt_userns,
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 12/18 ovl: handle idmappings for layer lookup
In reply to Christian BraunerMake the two places where lookup helpers can be called either on lower or upper layers take the mount's idmapping into account. To this end we pass down the mount in struct ovl_lookup_data. It can later also be used to construct struct path for various other helpers. This is needed to support idmapped base layers with overlay.
--- fs/overlayfs/export.c | 3 ++- fs/overlayfs/namei.c | 14 ++++++++------ fs/overlayfs/readdir.c | 10 +++++----- 3 files changed, 15 insertions(+), 12 deletions(-)
fs/overlayfs/export.c +2 -1
@@ -391,7 +391,8 @@ static struct dentry *ovl_lookup_real_one(struct dentry *connected,* pointer because we hold no lock on the real dentry. */ take_dentry_name_snapshot (&name, real); - this =lookup_one_len (name.name.name, connected, name.name.len); + this =lookup_one (mnt_user_ns (layer->mnt), name.name.name, + connected, name.name.len);release_dentry_name_snapshot (&name); err =PTR_ERR (this);if (IS_ERR (this)) {
fs/overlayfs/namei.c +8 -6
@@ -199,11 +199,12 @@ static bool ovl_is_opaquedir(struct ovl_fs *ofs, struct path *path)return ovl_path_check_dir_xattr (ofs, path,OVL_XATTR_OPAQUE ); } -static struct dentry *ovl_lookup_positive_unlocked (const char *name, +static struct dentry *ovl_lookup_positive_unlocked (struct ovl_lookup_data *d, +const char *name,struct dentry *base,int len,bool drop_negative) { -struct dentry *ret =lookup_one_len_unlocked (name, base, len); +struct dentry *ret =lookup_one_unlocked (mnt_user_ns (d->mnt), name, base, len);if (!IS_ERR (ret) &&d_flags_negative (smp_load_acquire (&ret->d_flags))) {if (drop_negative && ret->d_lockref.count ==1 ) {
@@ -229,7 +230,7 @@ static int ovl_lookup_single(struct dentry *base, struct ovl_lookup_data *d,int err;bool last_element = !post[0 ]; - this =ovl_lookup_positive_unlocked (name, base, namelen, drop_negative); + this =ovl_lookup_positive_unlocked (d, name, base, namelen, drop_negative);if (IS_ERR (this)) { err =PTR_ERR (this); this =NULL ;
@@ -709,7 +710,8 @@ struct dentry *ovl_lookup_index(struct ovl_fs *ofs, struct dentry *upper,if (err)return ERR_PTR (err); - index =lookup_positive_unlocked (name.name, ofs->indexdir, name.len); + index =lookup_one_positive_unlocked (ovl_upper_idmap (ofs), name.name, + ofs->indexdir, name.len);if (IS_ERR (index)) { err =PTR_ERR (index);if (err == -ENOENT ) {
@@ -1174,8 +1176,8 @@ bool ovl_lower_positive(struct dentry *dentry)struct dentry *this;struct dentry *lowerdir = poe->lowerstack[i].dentry; - this =lookup_positive_unlocked (name->name, lowerdir, - name->len); + this =lookup_one_positive_unlocked (mnt_user_ns (poe->lowerstack[i].layer->mnt), + name->name, lowerdir, name->len);if (IS_ERR (this)) {switch (PTR_ERR (this)) {case -ENOENT :
fs/overlayfs/readdir.c +5 -5
@@ -264,11 +264,11 @@ static int ovl_fill_merge(struct dir_context *ctx, const char *name,return ovl_fill_lowest (rdd, name, namelen, offset, ino, d_type); } -static int ovl_check_whiteouts (struct dentry *dir,struct ovl_readdir_data *rdd) +static int ovl_check_whiteouts (struct path *path,struct ovl_readdir_data *rdd) {int err;struct ovl_cache_entry *p; -struct dentry *dentry; +struct dentry *dentry, *dir = path->dentry;const struct cred *old_cred; old_cred =ovl_override_creds (rdd->dentry->d_sb);
@@ -278,7 +278,7 @@ static int ovl_check_whiteouts(struct dentry *dir, struct ovl_readdir_data *rdd)while (rdd->first_maybe_whiteout) { p = rdd->first_maybe_whiteout; rdd->first_maybe_whiteout = p->next_maybe_whiteout; - dentry =lookup_one_len (p->name, dir, p->len); + dentry =lookup_one (mnt_user_ns (path->mnt), p->name, dir, p->len);if (!IS_ERR (dentry)) { p->is_whiteout =ovl_is_whiteout (dentry);dput (dentry);
@@ -312,7 +312,7 @@ static inline int ovl_dir_read(struct path *realpath, }while (!err && rdd->count);if (!err && rdd->first_maybe_whiteout && rdd->dentry) - err =ovl_check_whiteouts (realpath->dentry, rdd); + err =ovl_check_whiteouts (realpath, rdd);fput (realfile);
@@ -479,7 +479,7 @@ static int ovl_cache_update_ino(struct path *path, struct ovl_cache_entry *p) goto get; } } - this =lookup_one_len (p->name, dir, p->len); + this =lookup_one (mnt_user_ns (path->mnt), p->name, dir, p->len);if (IS_ERR_OR_NULL (this) || !this->d_inode) {/* Mark a stale entry */ p->is_whiteout = true;
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 13/18 ovl: store lower path in ovl_inode
In reply to Christian BraunerFrom: Amir Goldstein <[email protected]>
Create some ovl_i_* helpers to get real path from ovl inode. Instead of just stashing struct inode for the lower layer we stash struct path for the lower layer. The helpers allow to retrieve a struct path for the relevant upper or lower layer. This will be used when retrieving information based on struct inode when copying up inode attributes from upper or lower inodes to ovl inodes and when checking permissions in ovl_permission() in following patches. This is needed to support idmapped base layers with overlay.
--- fs/overlayfs/inode.c | 11 +++++--- fs/overlayfs/overlayfs.h | 6 ++++ fs/overlayfs/ovl_entry.h | 2 +- fs/overlayfs/super.c | 5 ++-- fs/overlayfs/util.c | 61 ++++++++++++++++++++++++++++++++++------ 5 files changed, 69 insertions(+), 16 deletions(-)
fs/overlayfs/inode.c +7 -4
@@ -779,13 +779,16 @@ void ovl_inode_init(struct inode *inode, struct ovl_inode_params *oip, unsigned long ino, int fsid) {struct inode *realinode; +struct ovl_inode *oi =OVL_I (inode);if (oip->upperdentry) -OVL_I (inode)->__upperdentry = oip->upperdentry; -if (oip->lowerpath && oip->lowerpath->dentry) -OVL_I (inode)->lower =igrab (d_inode (oip->lowerpath->dentry)); + oi->__upperdentry = oip->upperdentry; +if (oip->lowerpath && oip->lowerpath->dentry) { + oi->lowerpath.dentry =dget (oip->lowerpath->dentry); + oi->lowerpath.layer = oip->lowerpath->layer; + }if (oip->lowerdata) -OVL_I (inode)->lowerdata =igrab (d_inode (oip->lowerdata)); + oi->lowerdata =igrab (d_inode (oip->lowerdata)); realinode =ovl_inode_real (inode);ovl_copyattr (realinode, inode);
fs/overlayfs/overlayfs.h +6 -0
@@ -359,18 +359,24 @@ bool ovl_dentry_remote(struct dentry *dentry);void ovl_dentry_update_reval (struct dentry *dentry,struct dentry *upperdentry,unsigned int mask);bool ovl_dentry_weird (struct dentry *dentry); +enum ovl_path_type ovl_i_path_type (struct inode *inode,bool is_dir, +int numlower);enum ovl_path_type ovl_path_type (struct dentry *dentry);void ovl_path_upper (struct dentry *dentry,struct path *path);void ovl_path_lower (struct dentry *dentry,struct path *path);void ovl_path_lowerdata (struct dentry *dentry,struct path *path); +enum ovl_path_type ovl_i_path_real (struct inode *inode,struct path *path);enum ovl_path_type ovl_path_real (struct dentry *dentry,struct path *path);enum ovl_path_type ovl_path_realdata (struct dentry *dentry,struct path *path);struct dentry *ovl_dentry_upper (struct dentry *dentry);struct dentry *ovl_dentry_lower (struct dentry *dentry);struct dentry *ovl_dentry_lowerdata (struct dentry *dentry); +const struct ovl_layer *ovl_i_layer_lower (struct inode *inode);const struct ovl_layer *ovl_layer_lower (struct dentry *dentry);struct dentry *ovl_dentry_real (struct dentry *dentry); +struct dentry *ovl_i_dentry_real (struct inode *inode);struct dentry *ovl_i_dentry_upper (struct inode *inode); +struct dentry *ovl_i_dentry_lower (struct inode *inode);struct inode *ovl_inode_upper (struct inode *inode);struct inode *ovl_inode_lower (struct inode *inode);struct inode *ovl_inode_lowerdata (struct inode *inode);
fs/overlayfs/ovl_entry.h +1 -1
@@ -134,7 +134,7 @@ struct ovl_inode {unsigned long flags;struct inode vfs_inode;struct dentry *__upperdentry; -struct inode *lower; +struct ovl_path lowerpath;/* synchronize copy up and more */ struct mutex lock;
fs/overlayfs/super.c +3 -2
@@ -184,7 +184,8 @@ static struct inode *ovl_alloc_inode(struct super_block *sb) oi->version =0 ; oi->flags =0 ; oi->__upperdentry =NULL ; - oi->lower =NULL ; + oi->lowerpath.dentry =NULL ; + oi->lowerpath.layer =NULL ; oi->lowerdata =NULL ;mutex_init (&oi->lock);
@@ -205,7 +206,7 @@ static void ovl_destroy_inode(struct inode *inode)struct ovl_inode *oi =OVL_I (inode);dput (oi->__upperdentry); -iput (oi->lower); +dput (oi->lowerpath.dentry);if (S_ISDIR (inode->i_mode))ovl_dir_cache_free (inode);else
fs/overlayfs/util.c +52 -9
96 lines not on this page · raw message
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 14/18 ovl: use ovl_copy_{real,upper}attr() wrappers
In reply to Christian BraunerWhen copying inode attributes we from the upper or lower layer to ovl inodes we need to take the upper or lower layer's mount's idmapping into account. In a lot of places we call ovl_copyattr() only on upper inodes and in some we call it on either upper or lower inodes. Split this into two separate helpers.
The first one should only be called on upper
inodes and is thus called ovl_copy_upperattr(). The second one can be called on upper or lower inodes. We add ovl_copy_realattr() for this task. The new helper makes use of the previously added ovl_i_path_real() helper. This is needed to support idmapped base layers with overlay.
When overlay copies the inode information from an upper or lower layer to the relevant overlay inode it will apply the idmapping of the upper or lower layer when doing so. The ovl inode ownership will thus always correctly reflect the ownership of the idmapped upper or lower layer.
All idmapping helpers are nops when no idmapped base layers are used.
--- fs/overlayfs/dir.c | 6 +++--- fs/overlayfs/file.c | 15 +++++++-------- fs/overlayfs/inode.c | 8 ++++---- fs/overlayfs/overlayfs.h | 22 +++++++++++++--------- fs/overlayfs/util.c | 27 ++++++++++++++++++++++++++- 5 files changed, 53 insertions(+), 25 deletions(-)
fs/overlayfs/dir.c +3 -3
@@ -931,7 +931,7 @@ static int ovl_do_remove(struct dentry *dentry, bool is_dir)*/ upperdentry =ovl_dentry_upper (dentry);if (upperdentry) -ovl_copyattr (d_inode (upperdentry),d_inode (dentry)); +ovl_copy_upperattr (d_inode (upperdentry),d_inode (dentry)); out_drop_write:ovl_drop_write (dentry);
@@ -1279,9 +1279,9 @@ static int ovl_rename(struct user_namespace *mnt_userns, struct inode *olddir, (d_inode(new) && ovl_type_origin(new)));/* copy ctime: */ -ovl_copyattr (d_inode (olddentry),d_inode (old)); +ovl_copy_upperattr (d_inode (olddentry),d_inode (old));if (d_inode (new) &&ovl_dentry_upper (new)) -ovl_copyattr (d_inode (newdentry),d_inode (new)); +ovl_copy_upperattr (d_inode (newdentry),d_inode (new)); out_dput:dput (newdentry);
fs/overlayfs/file.c +7 -8
@@ -277,7 +277,7 @@ static void ovl_aio_cleanup_handler(struct ovl_aio_req *aio_req)__sb_writers_acquired (file_inode (iocb->ki_filp)->i_sb,SB_FREEZE_WRITE );file_end_write (iocb->ki_filp); -ovl_copyattr (ovl_inode_real (inode), inode); +ovl_copy_realattr (inode); } orig_iocb->ki_pos = iocb->ki_pos;
@@ -360,7 +360,7 @@ static ssize_t ovl_write_iter(struct kiocb *iocb, struct iov_iter *iter)inode_lock (inode);/* Update mode */ -ovl_copyattr (ovl_inode_real (inode), inode); +ovl_copy_realattr (inode); ret =file_remove_privs (file);if (ret) goto out_unlock;
@@ -385,7 +385,7 @@ static ssize_t ovl_write_iter(struct kiocb *iocb, struct iov_iter *iter) ovl_iocb_to_rwf(ifl));file_end_write (real.file);/* Update size */ -ovl_copyattr (ovl_inode_real (inode), inode); +ovl_copy_realattr (inode); }else {struct ovl_aio_req *aio_req;
@@ -435,12 +435,11 @@ static ssize_t ovl_splice_write(struct pipe_inode_info *pipe, struct file *out,struct fd real;const struct cred *old_cred;struct inode *inode =file_inode (out); -struct inode *realinode =ovl_inode_real (inode);ssize_t ret;inode_lock (inode);/* Update mode */ -ovl_copyattr (realinode, inode); +ovl_copy_realattr (inode); ret =file_remove_privs (out);if (ret) goto out_unlock;
@@ -456,7 +455,7 @@ static ssize_t ovl_splice_write(struct pipe_inode_info *pipe, struct file *out,file_end_write (real.file);/* Update size */ -ovl_copyattr (realinode, inode); +ovl_copy_realattr (inode);revert_creds (old_cred);fdput (real);
@@ -530,7 +529,7 @@ static long ovl_fallocate(struct file *file, int mode, loff_t offset, loff_t lenrevert_creds (old_cred);/* Update size */ -ovl_copyattr (ovl_inode_real (inode), inode); +ovl_copy_realattr (inode);fdput (real);
@@ -602,7 +601,7 @@ static loff_t ovl_copyfile(struct file *file_in, loff_t pos_in,revert_creds (old_cred);/* Update size */ -ovl_copyattr (ovl_inode_real (inode_out), inode_out); +ovl_copy_realattr (inode_out);fdput (real_in);fdput (real_out);
fs/overlayfs/inode.c +4 -4
@@ -81,7 +81,7 @@ int ovl_setattr(struct user_namespace *mnt_userns, struct dentry *dentry, err =ovl_do_notify_change (ofs, upperdentry, attr);revert_creds (old_cred);if (!err) -ovl_copyattr (upperdentry->d_inode, dentry->d_inode); +ovl_copy_upperattr (upperdentry->d_inode, dentry->d_inode);inode_unlock (upperdentry->d_inode);if (winode)
@@ -379,7 +379,7 @@ int ovl_xattr_set(struct dentry *dentry, struct inode *inode, const char *name,revert_creds (old_cred);/* copy c/mtime */ -ovl_copyattr (d_inode (realdentry), inode); +ovl_copy_upperattr (d_inode (realdentry), inode); out_drop_write:ovl_drop_write (dentry);
@@ -581,7 +581,7 @@ int ovl_fileattr_set(struct user_namespace *mnt_userns,inode_set_flags (inode, flags,OVL_COPY_I_FLAGS_MASK );/* Update ctime */ -ovl_copyattr (ovl_inode_real (inode), inode); +ovl_copy_realattr (inode); }ovl_drop_write (dentry); out:
@@ -791,7 +791,7 @@ void ovl_inode_init(struct inode *inode, struct ovl_inode_params *oip, oi->lowerdata =igrab (d_inode (oip->lowerdata)); realinode =ovl_inode_real (inode); -ovl_copyattr (realinode, inode); +ovl_copy_realattr (inode);ovl_copyflags (realinode, inode);ovl_map_ino (inode, ino, fsid); }
fs/overlayfs/overlayfs.h +13 -9
@@ -615,15 +615,19 @@ 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) -{ - to->i_uid = from->i_uid; - to->i_gid = from->i_gid; - to->i_mode = from->i_mode; - to->i_atime = from->i_atime; - to->i_mtime = from->i_mtime; - to->i_ctime = from->i_ctime; -i_size_write (to,i_size_read (from)); +void ovl_do_copyattr (struct vfsmount *realmnt,struct inode *realinode, +struct inode *inode); +static inline void ovl_copy_upperattr (struct inode *upperinode,struct inode *to) +{ +ovl_do_copyattr (ovl_upper_mnt (OVL_FS (to->i_sb)), upperinode, to); +} + +static inline void ovl_copy_realattr (struct inode *to) +{ +struct path realpath; + +ovl_i_path_real (to, &realpath); +ovl_do_copyattr (realpath.mnt,d_inode (realpath.dentry), to); }/* vfs inode flags copied from real to ovl inode */
fs/overlayfs/util.c +26 -1
@@ -500,7 +500,7 @@ static void ovl_dir_version_inc(struct dentry *dentry, bool impurity)void ovl_dir_modified (struct dentry *dentry,bool impurity) {/* Copy mtime/ctime */ -ovl_copyattr (d_inode (ovl_dentry_upper (dentry)),d_inode (dentry)); +ovl_copy_upperattr (d_inode (ovl_dentry_upper (dentry)),d_inode (dentry));ovl_dir_version_inc (dentry, impurity); }
@@ -1116,3 +1116,28 @@ int ovl_sync_status(struct ovl_fs *ofs)return errseq_check (&mnt->mnt_sb->s_wb_err, ofs->errseq); } + +/* +* ovl_do_copyattr() - copy inode attributes from layer to ovl inode +* +* When overlay copies inode information from an upper or lower layer to the +* relevant overlay inode it will apply the idmapping of the upper or lower +* layer when doing so ensuring that the ovl inode ownership will correctly +* reflect the ownership of the idmapped upper or lower layer. For example, an +* idmapped upper or lower layer mapping id 1001 to id 1000 will take care to +* map any lower or upper inode owned by id 1001 to id 1000. These mapping +* helpers are nops when the relevant layer isn't idmapped. +*/ +void ovl_do_copyattr (struct vfsmount *realmnt,struct inode *realinode, +struct inode *inode) +{ +struct user_namespace *real_idmap =mnt_user_ns (realmnt); + + inode->i_uid =i_uid_into_mnt (real_idmap, realinode); + inode->i_gid =i_gid_into_mnt (real_idmap, realinode); + inode->i_mode = realinode->i_mode; + inode->i_atime = realinode->i_atime; + inode->i_mtime = realinode->i_mtime; + inode->i_ctime = realinode->i_ctime; +i_size_write (inode,i_size_read (realinode)); +}
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 15/18 ovl: handle idmappings in ovl_permission()
In reply to Christian BraunerUse the previously introduced ovl_i_path_real() helper to retrieve the relevant upper or lower path and take the mount's idmapping into account for the lower layer permission check. This is needed to support idmapped base layers with overlay.
--- fs/overlayfs/inode.c | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-)
fs/overlayfs/inode.c +6 -3
@@ -280,12 +280,14 @@ int ovl_permission(struct user_namespace *mnt_userns, struct inode *inode, int mask) {struct inode *upperinode =ovl_inode_upper (inode); -struct inode *realinode = upperinode ?:ovl_inode_lower (inode); +struct inode *realinode; +struct path realpath;const struct cred *old_cred;int err;/* Careful in RCU walk mode */ -if (!realinode) { +ovl_i_path_real (inode, &realpath); +if (!realpath.dentry) {WARN_ON (!(mask &MAY_NOT_BLOCK ));return -ECHILD ; }
@@ -298,6 +300,7 @@ int ovl_permission(struct user_namespace *mnt_userns,if (err)return err; + realinode =d_inode (realpath.dentry); old_cred =ovl_override_creds (inode->i_sb);if (!upperinode && !special_file (realinode->i_mode) && mask &MAY_WRITE ) {
@@ -305,7 +308,7 @@ int ovl_permission(struct user_namespace *mnt_userns,/* Make sure mounter can read file for copy up later */ mask |=MAY_READ ; } - err =inode_permission (&init_user_ns, realinode, mask); + err =inode_permission (mnt_user_ns (realpath.mnt), realinode, mask);revert_creds (old_cred);return err;
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 16/18 ovl: handle idmappings in layer open helpers
In reply to Christian BraunerIn earlier patches we already passed down the relevant upper or lower path to ovl_open_realfile(). Now let the open helpers actually take the idmapping of the relevant mount into account when checking permissions. This is needed to support idmapped base layers with overlay.
--- fs/overlayfs/file.c | 7 +++++-- fs/overlayfs/util.c | 5 +++-- 2 files changed, 8 insertions(+), 4 deletions(-)
fs/overlayfs/file.c +5 -2
@@ -42,6 +42,7 @@ static struct file *ovl_open_realfile(const struct file *file, {struct inode *realinode =d_inode (realpath->dentry);struct inode *inode =file_inode (file); +struct user_namespace *real_idmap;struct file *realfile;const struct cred *old_cred;int flags = file->f_flags |OVL_OPEN_FLAGS ;
@@ -51,12 +52,14 @@ static struct file *ovl_open_realfile(const struct file *file,if (flags &O_APPEND ) acc_mode |=MAY_APPEND ; + old_cred =ovl_override_creds (inode->i_sb); - err =inode_permission (&init_user_ns, realinode,MAY_OPEN | acc_mode); + real_idmap =mnt_user_ns (realpath->mnt); + err =inode_permission (real_idmap, realinode,MAY_OPEN | acc_mode);if (err) { realfile =ERR_PTR (err); }else { -if (!inode_owner_or_capable (&init_user_ns, realinode)) +if (!inode_owner_or_capable (real_idmap, realinode)) flags &= ~O_NOATIME ; realfile = open_with_fake_path(&file->f_path, flags, realinode,
fs/overlayfs/util.c +3 -2
@@ -523,6 +523,7 @@ bool ovl_is_whiteout(struct dentry *dentry)struct file *ovl_path_open (struct path *path,int flags) {struct inode *inode =d_inode (path->dentry); +struct user_namespace *real_idmap =mnt_user_ns (path->mnt);int err, acc_mode;if (flags & ~(O_ACCMODE |O_LARGEFILE ))
@@ -539,12 +540,12 @@ struct file *ovl_path_open(struct path *path, int flags)BUG (); } - err =inode_permission (&init_user_ns, inode, acc_mode |MAY_OPEN ); + err =inode_permission (real_idmap, inode, acc_mode |MAY_OPEN );if (err)return ERR_PTR (err);/* O_NOATIME is an optimization, don't fail if not permitted */ -if (inode_owner_or_capable (&init_user_ns, inode)) +if (inode_owner_or_capable (real_idmap, inode)) flags |=O_NOATIME ;return dentry_open (path, flags,current_cred ());
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 17/18 ovl: handle idmappings in ovl_xattr_{g,s}et()
In reply to Christian BraunerWhen retrieving xattrs from the upper or lower layers take the relevant mount's idmapping into account. We rely on the previously introduced ovl_i_path_real() helper to retrieve the relevant path. This is needed to support idmapped base layers with overlay.
--- fs/overlayfs/inode.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-)
fs/overlayfs/inode.c +6 -4
@@ -349,6 +349,7 @@ int ovl_xattr_set(struct dentry *dentry, struct inode *inode, const char *name,struct ovl_fs *ofs =OVL_FS (dentry->d_sb);struct dentry *upperdentry =ovl_i_dentry_upper (inode);struct dentry *realdentry = upperdentry ?:ovl_dentry_lower (dentry); +struct path realpath;const struct cred *old_cred; err =ovl_want_write (dentry);
@@ -356,8 +357,9 @@ int ovl_xattr_set(struct dentry *dentry, struct inode *inode, const char *name, goto out;if (!value && !upperdentry) { +ovl_path_lower (dentry, &realpath); old_cred =ovl_override_creds (dentry->d_sb); - err =vfs_getxattr (&init_user_ns, realdentry, name,NULL ,0 ); + err =vfs_getxattr (mnt_user_ns (realpath.mnt), realdentry, name,NULL ,0 );revert_creds (old_cred);if (err <0 ) goto out_drop_write;
@@ -395,11 +397,11 @@ int ovl_xattr_get(struct dentry *dentry, struct inode *inode, const char *name, {ssize_t res;const struct cred *old_cred; -struct dentry *realdentry = -ovl_i_dentry_upper (inode) ?:ovl_dentry_lower (dentry); +struct path realpath; +ovl_i_path_real (inode, &realpath); old_cred =ovl_override_creds (dentry->d_sb); - res =vfs_getxattr (&init_user_ns, realdentry, name, value, size); + res =vfs_getxattr (mnt_user_ns (realpath.mnt), realpath.dentry, name, value, size);revert_creds (old_cred);return res; }
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 18/18 ovl: support idmapped layers
In reply to Christian BraunerNow that overlay is able to take a layers idmapping into account allow overlay mounts to be created on top of idmapped mounts. Since NFS doesn't support idmapped mounts we don't allow idmapped base layers in combination with the nfs_export=on mount option.
--- fs/overlayfs/super.c | 4 ---- 1 file changed, 4 deletions(-)
fs/overlayfs/super.c +0 -4
@@ -874,10 +874,6 @@ static int ovl_mount_dir_noesc(const char *name, struct path *path)pr_err ("filesystem on '%s' not supported\n" , name); goto out_put; } -if (is_idmapped_mnt (path->mnt)) { -pr_err ("idmapped layers are currently not supported\n" ); - goto out_put; - }if (!d_is_dir (path->dentry)) {pr_err ("'%s' not a directory\n" , name); goto out_put;
Signature · 1 line
2.32.0
Christian Brauner
maintainerPATCH 1/1 common: allow to run all tests on idmapped mounts
In reply to Christian BraunerIn addition to the generic and filesystem-specific idmapped mount testsuites that already exist upstream today add simple infrastructure so any test can be run on idmapped mounts simply by setting IDMAPPED_MOUNTS=true in the config file or section. The main user for now will be overlay to verify it works correctly on idmapped mounts.
--- common/config | 1 + common/overlay | 2 ++ common/rc | 50 ++++++++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 53 insertions(+)
common/config +1 -0
@@ -647,6 +647,7 @@ _overlay_config_override() # Set fsck options, use default if user not set directly. export FSCK_OPTIONS="$OVERLAY_FSCK_OPTIONS" [ -z "$FSCK_OPTIONS" ] && _fsck_opts + export IDMAPPED_MOUNTS="$IDMAPPED_MOUNTS" } _overlay_config_restore()
common/overlay +2 -0
@@ -73,6 +73,7 @@ _overlay_base_mount() if [ -z "$dev" -o -z "$mnt" ] || \ _check_mounted_on $devname $dev $mntname $mnt; then + _idmapped_mount $dev $mnt # no base fs or already mounted return 0 elif [ $? -ne 1 ]; then
@@ -81,6 +82,7 @@ _overlay_base_mount() fi _mount $* $dev $mnt + _idmapped_mount $dev $mnt } _overlay_base_test_mount()
common/rc +50 -0
74 lines not on this page · raw message
Signature · 1 line
2.32.0
Miklos Szeredi
maintainerQuoted 6 lines · Christian Brauner
From: "Christian Brauner (Microsoft)" <[email protected]>
Hey,
This adds support for mounting overlay on top of idmapped layers.
Looks good at first glance.
I'm wondering if there's a way to deduplicate the info stored in ovl_entry and ovl_inode, but that can come later...
Thanks,
Miklos
Amir Goldstein
maintainerQuoted 5 lines · Miklos Szeredi
Quoted 3 lines · Christian Brauner
From: "Christian Brauner (Microsoft)" <[email protected]>
Quoted 9 lines
Quoted 3 lines
Hey,
This adds support for mounting overlay on top of idmapped layers.
Looks good at first glance.
I'm wondering if there's a way to deduplicate the info stored in
ovl_entryandovl_inode, but that can come later...
Yes at this point the deduplication of lowerstack elements became a bit odd, but the final step is not obvious.
I don't think we want a variable size ovl_inode. That would be suboptimal and make inode cache monitoring hard.
I suppose we could have lowerstack or 'stack' allocated and hanging off ovl_inode.
At that point, dentry->d_fsdata can become just flat flags.
Thanks,
Amir.
Quoted 21 lines · Christian Brauner
From: "Christian Brauner (Microsoft)" <[email protected]>
Hey,
This adds support for mounting overlay on top of idmapped layers.
I have to start by saying a massive thank you to Amir! He did not just answer my constant overlay questions but also provided quite a few patches himself in this series in addition to reviews, comments and a lot of suggestions. Thank you!
There have been a lot of requests to unblock this. For just a few select examples see [3], [4], and [5]. I've worked closely with various communities among them containerd, Kubernetes, Podman, LXD, runC, crun, and systemd (For the curious please see the various pull-request and issues below.) a lot of them already support idmapped mounts since they are enabled for btrfs, ext4, and xfs (and f2fs and fat fwiw). In additon, a few colleagues at Microsoft and from Red Hat work on a Kubernetes Enhancement Proposals (KEP) that also relies on overlayfs supporting idmapped layers, see [12].
Quoted 8 lines
Overlayfs on top of idmapped layers will be used in various ways:
* Container managers use overlayfs to efficiently share layers between containers. However, this only works for privileged containers. Layers cannot be shared if both privileged and unprivileged containers are used. Layers can also not be shared if non-overlapping idmappings are used for unprivileged containers. Layers cannot be shared because of the conflicting ownership requirements between the containers.
Hi Christian,
Thank you for this work. This is awesome.
Wanted to test it. I was wondering how to test it. Some simple instructions will help.
I am assuming I will need to be priviliged to be able to setup idmapped mounts. And then overlay can be mounted on top of these layers (either as a priviliged operation outside container or unprivileged overlayfs inside container). Sorry, just trying to wrap my head around which operations will require me to be priviliged (root in init_user_ns) and which operations I can do unprivileged (as normal user).
Thanks
Vivek
Quoted 253 lines
Both the KEP proposal (see [13]) and LXD (see [14]) use non-overlapping idmappings to increase isolation.
All of these cases can be supported if overlayfs can be mounted on idmapped layers. The container runtime will create idmapped mounts for the layers supposed to be shared. Each container will be given idmapped mounts with the correct idmapping. Either by attaching a custom or its own user namespace depending on the use-case. Then an overlay mount can be mounted on top of the idmapped layers. The underlying idmapped mounts can then be unmounted and the mount table will be in a clean state.
This approach has been tested an verified by Giuseppe and others.* Because of the inability to share layers preparing a layer causes a big runtime overhead as ownership needs to be recursively changed. This becomes increasingly costly with the bigger the layers are. Especially for a large rootfs it becomes prohibitively expensive.
This recursive ownership change also causes a lot storage overhead. Without metacopy it can quickly become unmanagable. With metacopy it still wastes a lot of space and inodes.
For both the KEP and container manager being able to use idmapped layer with overlayfs on top of it solves all these problems.
* Container managers such as LXD do run full system containers. Such systems are managed like virtual machines and users run application containers inside. Since LXD uses an idmapped mounts for the rootfs of the container with the container's user namespace attached to the mount container runtimes cannot user overlayfs inside.
Once overlayfs can be mounted on top of idmapped layers it will be possible for container runtimes to use overlayfs inside LXD containers.
* The systemd-homed daemon and toolsuite is a new component of systemd to manage home areas in a portable way. systemd-homed makes use of idmapped mounts for the home areas. If the kernel and used file system support it the user's home area will be mounted as an idmapped mount when they log into their system.
All files are internally owned by the "nobody" user (i.e. the user typically used for indicating "this ownership is not mapped"), and dynamically mapped to the {g,u}id used locally on the system via idmapped mounts. This makes migrating home areas between different systems trivial because recursively chown()ing file system trees is no longer necessary. This also means that it is impossible to store files as {g,u}id 0 on disk.
Once overlayfs can be mounted on top of idmapped layers it will be possible for container runtimes to work better together with systemd-homed.
* systemd provides various sandboxing features (see [11]) for services. These serve as hardening measures. In this context, idmapped mounts can be used to prevent services from creating files on disk as {g,u}id 0, making specific files inaccessible, or to prevent access to whole directories. Since such services may also make use of overlayfs for e.g. the ExtensionImages= option supporting overlayfs on top of idmapped layers would be another huge hardening win.
* systemd provides the ability to use system extension images [15] for /usr and /opt (with a look to /etc in the future). Such system extension images contain files and directories similar in fashion to a regular OS system tree. When one or more system extension images are activated, their
/usr/and/opt/hierarchies are combined via overlay with the same hierarchies of the host OS, and the host/usr/and/opt/overmounted with it ("merging"). These images are read-only.This feature is available to unprivileged container and sandboxed services as well. Idmapped layers are used here to avoid runtime and storage overhead from recursively changing ownership and ultimately an overlay mount is supposed to be created on top of it.
Giuseppe provided testing for runC/crun/Podman and he put up a pull request to support overlayfs on top of idmapped layers at [16]. That already covers a lot of users. Other tools have put up pull requests as well and they are linked below.
The patchset has been extensively tested for about 2 weeks with xfstests. The tests and results are explained in the following paragraphs.
In order to test overlayfs with idmapped mounts a simple patch to xfstests has been added which is part of this series. The patchset simply allows for each test in the xfstests suite to be run on top of idmapped mounts. That is in addition to the generic idmapped mount tests that have existed and are already run for a long time.
Since idmapped mounts can be created on top of btrfs, ext4, and xfs and these are the most relevant filesystems for users they were taken into the test matrix.
Amir ensured that the test matrix also includes metacopy. So all tests are run once with metacopy=on and once with metacopy=off.
Additionally, the unionmount tesuite that Amir maintains was run as part of xfstests. This brings testing for multi layer overlay and a few rarely used overlayfs use-cases.
And last, xfstests were run with and without idmapped mounts.
Since the patch series is based on Linux 5.17 the 5.17 kernel was chosen as a baseline kernel. The baseline kernel is pure 5.17 upstream without any of the patches in this series. The baseline kernel was used to run all xfstests with the same parameters minus the idmapped mount part of the test matrix. This ensured that regressions would be immediately noticeable.
So the full test matrix is:
ext4 x metacopy=off x -idmapped mounts
ext4 x metacopy=on x -idmapped mounts
ext4 x metacopy=off x +idmapped mounts
ext4 x metacopy=on x +idmapped mountsxfs x metacopy=off x -idmapped mounts
xfs x metacopy=on x -idmapped mounts
xfs x metacopy=off x +idmapped mounts
xfs x metacopy=on x +idmapped mountsbtrfs x metacopy=off x -idmapped mounts
btrfs x metacopy=on x -idmapped mounts
btrfs x metacopy=off x +idmapped mounts
btrfs x metacopy=on x +idmapped mountsThe test runs were started with:
sudo ./check -overlay
so they encompass all xfstests apart from those that needed to be excluded because they triggered known issues (One such example is generic/530 which causes an xfs corruption that is currently under discussion for a fix upstream.).
A single testrun with over 750 tests takes a bonkers long time given that I run them in a beefy VM on top of an ssd and not on bare metal.
The successes and failures are identical for the whole test matrix with and without idmapped mounts. The tests and failures are also identical compared to the baseline kernel. All in all this should provide a good amount of convidence. The full test output can be found in the following
repo: https://gitlab.com/brauner/fs.idmapped.overlay.xfstests.outputIn order to create an idmapped mount the
mount_setattr()system call (see [17]) can be used together with theMOUNT_ATTR_IDMAPflag to attach a userns fd to a detached mount created with open_tree()'sOPEN_TREE_CLONEflag. The only effect is that the idmapping of the userns becomes the idmapping of the relevant. The links below should serve to illustrate how widely they are already used.For people who would like to test I've created a tag fs.idmapped.overlay.v1 which can be fetched:
git fetch
git://git.kernel.org/pub/scm/linux/kernel/git/brauner/linux.gitfs.idmapped.overlay.v1the same goes for xfstests:
git fetch
git://git.kernel.org/pub/scm/linux/kernel/git/brauner/xfstests-dev.gitfs.idmapped.overlay.v1Thanks!
Christian[1]: OCI runtime-spec extension for idmapped mounts
https://github.com/opencontainers/runtime-spec/pull/1143[2]: Support for idmapped mounts for shared volumes
https://github.com/opencontainers/runc/pull/3429[3]: containerd support for idmapped mounts with focus on overlayfs
https://github.com/containerd/containerd/pull/5890[4]: runC support for idmapped mounts with focus on overlayfs
https://github.com/opencontainers/runc/issues/2821[5]: Podman support for idmapped mounts with focus on overlayfs
https://github.com/containers/podman/issues/10374[6]: systemd-nspawn support for idmapped mounts
https://github.com/systemd/systemd/pull/19438[7]: systemd-homed support for idmapped mounts
https://github.com/systemd/systemd/pull/21136[8]: LXD support for idmapped mounts
https://github.com/lxc/lxd/pull/8778[9]: LXC support for idmapped mounts
https://github.com/lxc/lxc/pull/3709[10]: crun support for idmapped mounts
https://github.com/containers/crun/pull/874[11]: https://www.freedesktop.org/software/systemd/man/systemd.exec.html#Sandboxing
[12]: https://github.com/kubernetes/enhancements/pull/3065
[14]: https://github.com/lxc/lxd/blob/master/doc/instances.md
(The relevant entry can be found by looking for the
"security.idmap.isolated" key.)[15]: https://www.freedesktop.org/software/systemd/man/systemd-sysext.html
[16]: https://github.com/containers/storage/pull/1180
[17]: https://man7.org/linux/man-pages/man2/mount_setattr.2.html
Amir Goldstein (3):
ovl: use wrappers to all vfs_*xattr() calls
ovl: pass layer mnt toovl_open_realfile()
ovl: store lower path inovl_inodeChristian Brauner (15):
fs: add two trivial lookup helpers
exportfs: support idmapped mounts
ovl: pass ofs to creation operations
ovl: handle idmappings in creation operations
ovl: pass ofs to setattr operations
ovl: useovl_do_notify_change()wrapper
ovl: useovl_lookup_upper()wrapper
ovl: useovl_path_getxattr()wrapper
ovl: handle idmappings for layer fileattrs
ovl: handle idmappings for layer lookup
ovl: use ovl_copy_{real,upper}attr() wrappers
ovl: handle idmappings inovl_permission()
ovl: handle idmappings in layer open helpers
ovl: handle idmappings in ovl_xattr_{g,s}et()
ovl: support idmapped layersfs/exportfs/expfs.c | 5 +- fs/namei.c | 52 +++++++-- fs/overlayfs/copy_up.c | 97 +++++++++------- fs/overlayfs/dir.c | 133 +++++++++++----------- fs/overlayfs/export.c | 3 +- fs/overlayfs/file.c | 44 ++++---- fs/overlayfs/inode.c | 63 +++++++---- fs/overlayfs/namei.c | 49 ++++++--- fs/overlayfs/overlayfs.h | 231 ++++++++++++++++++++++++++++----------- fs/overlayfs/ovl_entry.h | 7 +- fs/overlayfs/readdir.c | 48 ++++---- fs/overlayfs/super.c | 57 +++++----- fs/overlayfs/util.c | 142 +++++++++++++++++++----- include/linux/namei.h | 2 + 14 files changed, 607 insertions(+), 326 deletions(-)base-commit:
f443e374ae131c168a065ea1748feac6b2e76613Signature · 1 line
2.32.0
Christian Brauner
maintainerQuoted 31 lines · Vivek Goyal
Quoted 21 lines · Christian Brauner
From: "Christian Brauner (Microsoft)" <[email protected]>
Hey,
This adds support for mounting overlay on top of idmapped layers.
I have to start by saying a massive thank you to Amir! He did not just answer my constant overlay questions but also provided quite a few patches himself in this series in addition to reviews, comments and a lot of suggestions. Thank you!
There have been a lot of requests to unblock this. For just a few select examples see [3], [4], and [5]. I've worked closely with various communities among them containerd, Kubernetes, Podman, LXD, runC, crun, and systemd (For the curious please see the various pull-request and issues below.) a lot of them already support idmapped mounts since they are enabled for btrfs, ext4, and xfs (and f2fs and fat fwiw). In additon, a few colleagues at Microsoft and from Red Hat work on a Kubernetes Enhancement Proposals (KEP) that also relies on overlayfs supporting idmapped layers, see [12].
Quoted 8 lines
Overlayfs on top of idmapped layers will be used in various ways:
* Container managers use overlayfs to efficiently share layers between containers. However, this only works for privileged containers. Layers cannot be shared if both privileged and unprivileged containers are used. Layers can also not be shared if non-overlapping idmappings are used for unprivileged containers. Layers cannot be shared because of the conflicting ownership requirements between the containers.
Quoted 3 lines
Hi Christian,
Thank you for this work. This is awesome.
Thanks for saying that! Appreciate it.
Quoted 3 lines
Wanted to test it. I was wondering how to test it. Some simple instructions will help.
Of course. There are various ways:
1. Giuseppe has already put up support the containers/storage go library:
https://github.com/containers/storage/pull/1180
and he's been running workloads with that branch. If you're familiar with that tooling you can just use that.
2. xfstests have - for a long time already - support for a generic idmapped mount testsuite. Alongside that testsuite I added the "mount-idmapped" binary which makes it easy to create idmapped mounts.
You can compile it via xfstests:
https://git.kernel.org/pub/scm/fs/xfs/xfstests-dev.git/tree/src/idmapped-mounts/mount-idmapped.c
I've pushed detailed instructions to the test repo at
https://gitlab.com/brauner/fs.idmapped.overlay.xfstests.output
They are avaiable in the "manual.test.instructions" file.
Quoted 3 lines
I am assuming I will need to be priviliged to be able to setup idmapped mounts. And then overlay can be mounted on top of these layers (either
Yes.
Quoted 2 lines
as a priviliged operation outside container or unprivileged overlayfs inside container). Sorry, just trying to wrap my head around which
Correct.
Quoted 260 lines
operations will require me to be priviliged (root in
init_user_ns) and which operations I can do unprivileged (as normal user).Thanks
VivekQuoted 253 lines
Both the KEP proposal (see [13]) and LXD (see [14]) use non-overlapping idmappings to increase isolation.
All of these cases can be supported if overlayfs can be mounted on idmapped layers. The container runtime will create idmapped mounts for the layers supposed to be shared. Each container will be given idmapped mounts with the correct idmapping. Either by attaching a custom or its own user namespace depending on the use-case. Then an overlay mount can be mounted on top of the idmapped layers. The underlying idmapped mounts can then be unmounted and the mount table will be in a clean state.
This approach has been tested an verified by Giuseppe and others.* Because of the inability to share layers preparing a layer causes a big runtime overhead as ownership needs to be recursively changed. This becomes increasingly costly with the bigger the layers are. Especially for a large rootfs it becomes prohibitively expensive.
This recursive ownership change also causes a lot storage overhead. Without metacopy it can quickly become unmanagable. With metacopy it still wastes a lot of space and inodes.
For both the KEP and container manager being able to use idmapped layer with overlayfs on top of it solves all these problems.
* Container managers such as LXD do run full system containers. Such systems are managed like virtual machines and users run application containers inside. Since LXD uses an idmapped mounts for the rootfs of the container with the container's user namespace attached to the mount container runtimes cannot user overlayfs inside.
Once overlayfs can be mounted on top of idmapped layers it will be possible for container runtimes to use overlayfs inside LXD containers.
* The systemd-homed daemon and toolsuite is a new component of systemd to manage home areas in a portable way. systemd-homed makes use of idmapped mounts for the home areas. If the kernel and used file system support it the user's home area will be mounted as an idmapped mount when they log into their system.
All files are internally owned by the "nobody" user (i.e. the user typically used for indicating "this ownership is not mapped"), and dynamically mapped to the {g,u}id used locally on the system via idmapped mounts. This makes migrating home areas between different systems trivial because recursively chown()ing file system trees is no longer necessary. This also means that it is impossible to store files as {g,u}id 0 on disk.
Once overlayfs can be mounted on top of idmapped layers it will be possible for container runtimes to work better together with systemd-homed.
* systemd provides various sandboxing features (see [11]) for services. These serve as hardening measures. In this context, idmapped mounts can be used to prevent services from creating files on disk as {g,u}id 0, making specific files inaccessible, or to prevent access to whole directories. Since such services may also make use of overlayfs for e.g. the ExtensionImages= option supporting overlayfs on top of idmapped layers would be another huge hardening win.
* systemd provides the ability to use system extension images [15] for /usr and /opt (with a look to /etc in the future). Such system extension images contain files and directories similar in fashion to a regular OS system tree. When one or more system extension images are activated, their
/usr/and/opt/hierarchies are combined via overlay with the same hierarchies of the host OS, and the host/usr/and/opt/overmounted with it ("merging"). These images are read-only.This feature is available to unprivileged container and sandboxed services as well. Idmapped layers are used here to avoid runtime and storage overhead from recursively changing ownership and ultimately an overlay mount is supposed to be created on top of it.
Giuseppe provided testing for runC/crun/Podman and he put up a pull request to support overlayfs on top of idmapped layers at [16]. That already covers a lot of users. Other tools have put up pull requests as well and they are linked below.
The patchset has been extensively tested for about 2 weeks with xfstests. The tests and results are explained in the following paragraphs.
In order to test overlayfs with idmapped mounts a simple patch to xfstests has been added which is part of this series. The patchset simply allows for each test in the xfstests suite to be run on top of idmapped mounts. That is in addition to the generic idmapped mount tests that have existed and are already run for a long time.
Since idmapped mounts can be created on top of btrfs, ext4, and xfs and these are the most relevant filesystems for users they were taken into the test matrix.
Amir ensured that the test matrix also includes metacopy. So all tests are run once with metacopy=on and once with metacopy=off.
Additionally, the unionmount tesuite that Amir maintains was run as part of xfstests. This brings testing for multi layer overlay and a few rarely used overlayfs use-cases.
And last, xfstests were run with and without idmapped mounts.
Since the patch series is based on Linux 5.17 the 5.17 kernel was chosen as a baseline kernel. The baseline kernel is pure 5.17 upstream without any of the patches in this series. The baseline kernel was used to run all xfstests with the same parameters minus the idmapped mount part of the test matrix. This ensured that regressions would be immediately noticeable.
So the full test matrix is:
ext4 x metacopy=off x -idmapped mounts
ext4 x metacopy=on x -idmapped mounts
ext4 x metacopy=off x +idmapped mounts
ext4 x metacopy=on x +idmapped mountsxfs x metacopy=off x -idmapped mounts
xfs x metacopy=on x -idmapped mounts
xfs x metacopy=off x +idmapped mounts
xfs x metacopy=on x +idmapped mountsbtrfs x metacopy=off x -idmapped mounts
btrfs x metacopy=on x -idmapped mounts
btrfs x metacopy=off x +idmapped mounts
btrfs x metacopy=on x +idmapped mountsThe test runs were started with:
sudo ./check -overlay
so they encompass all xfstests apart from those that needed to be excluded because they triggered known issues (One such example is generic/530 which causes an xfs corruption that is currently under discussion for a fix upstream.).
A single testrun with over 750 tests takes a bonkers long time given that I run them in a beefy VM on top of an ssd and not on bare metal.
The successes and failures are identical for the whole test matrix with and without idmapped mounts. The tests and failures are also identical compared to the baseline kernel. All in all this should provide a good amount of convidence. The full test output can be found in the following
repo: https://gitlab.com/brauner/fs.idmapped.overlay.xfstests.outputIn order to create an idmapped mount the
mount_setattr()system call (see [17]) can be used together with theMOUNT_ATTR_IDMAPflag to attach a userns fd to a detached mount created with open_tree()'sOPEN_TREE_CLONEflag. The only effect is that the idmapping of the userns becomes the idmapping of the relevant. The links below should serve to illustrate how widely they are already used.For people who would like to test I've created a tag fs.idmapped.overlay.v1 which can be fetched:
git fetch
git://git.kernel.org/pub/scm/linux/kernel/git/brauner/linux.gitfs.idmapped.overlay.v1the same goes for xfstests:
git fetch
git://git.kernel.org/pub/scm/linux/kernel/git/brauner/xfstests-dev.gitfs.idmapped.overlay.v1Thanks!
Christian[1]: OCI runtime-spec extension for idmapped mounts
https://github.com/opencontainers/runtime-spec/pull/1143[2]: Support for idmapped mounts for shared volumes
https://github.com/opencontainers/runc/pull/3429[3]: containerd support for idmapped mounts with focus on overlayfs
https://github.com/containerd/containerd/pull/5890[4]: runC support for idmapped mounts with focus on overlayfs
https://github.com/opencontainers/runc/issues/2821[5]: Podman support for idmapped mounts with focus on overlayfs
https://github.com/containers/podman/issues/10374[6]: systemd-nspawn support for idmapped mounts
https://github.com/systemd/systemd/pull/19438[7]: systemd-homed support for idmapped mounts
https://github.com/systemd/systemd/pull/21136[8]: LXD support for idmapped mounts
https://github.com/lxc/lxd/pull/8778[9]: LXC support for idmapped mounts
https://github.com/lxc/lxc/pull/3709[10]: crun support for idmapped mounts
https://github.com/containers/crun/pull/874[11]: https://www.freedesktop.org/software/systemd/man/systemd.exec.html#Sandboxing
[12]: https://github.com/kubernetes/enhancements/pull/3065
[14]: https://github.com/lxc/lxd/blob/master/doc/instances.md
(The relevant entry can be found by looking for the
"security.idmap.isolated" key.)[15]: https://www.freedesktop.org/software/systemd/man/systemd-sysext.html
[16]: https://github.com/containers/storage/pull/1180
[17]: https://man7.org/linux/man-pages/man2/mount_setattr.2.html
Amir Goldstein (3):
ovl: use wrappers to all vfs_*xattr() calls
ovl: pass layer mnt toovl_open_realfile()
ovl: store lower path inovl_inodeChristian Brauner (15):
fs: add two trivial lookup helpers
exportfs: support idmapped mounts
ovl: pass ofs to creation operations
ovl: handle idmappings in creation operations
ovl: pass ofs to setattr operations
ovl: useovl_do_notify_change()wrapper
ovl: useovl_lookup_upper()wrapper
ovl: useovl_path_getxattr()wrapper
ovl: handle idmappings for layer fileattrs
ovl: handle idmappings for layer lookup
ovl: use ovl_copy_{real,upper}attr() wrappers
ovl: handle idmappings inovl_permission()
ovl: handle idmappings in layer open helpers
ovl: handle idmappings in ovl_xattr_{g,s}et()
ovl: support idmapped layersfs/exportfs/expfs.c | 5 +- fs/namei.c | 52 +++++++-- fs/overlayfs/copy_up.c | 97 +++++++++------- fs/overlayfs/dir.c | 133 +++++++++++----------- fs/overlayfs/export.c | 3 +- fs/overlayfs/file.c | 44 ++++---- fs/overlayfs/inode.c | 63 +++++++---- fs/overlayfs/namei.c | 49 ++++++--- fs/overlayfs/overlayfs.h | 231 ++++++++++++++++++++++++++++----------- fs/overlayfs/ovl_entry.h | 7 +- fs/overlayfs/readdir.c | 48 ++++---- fs/overlayfs/super.c | 57 +++++----- fs/overlayfs/util.c | 142 +++++++++++++++++++----- include/linux/namei.h | 2 + 14 files changed, 607 insertions(+), 326 deletions(-)base-commit:
f443e374ae131c168a065ea1748feac6b2e76613Signature · 1 line
2.32.0
Quoted 42 lines · Christian Brauner
Quoted 31 lines · Vivek Goyal
Quoted 21 lines · Christian Brauner
From: "Christian Brauner (Microsoft)" <[email protected]>
Hey,
This adds support for mounting overlay on top of idmapped layers.
I have to start by saying a massive thank you to Amir! He did not just answer my constant overlay questions but also provided quite a few patches himself in this series in addition to reviews, comments and a lot of suggestions. Thank you!
There have been a lot of requests to unblock this. For just a few select examples see [3], [4], and [5]. I've worked closely with various communities among them containerd, Kubernetes, Podman, LXD, runC, crun, and systemd (For the curious please see the various pull-request and issues below.) a lot of them already support idmapped mounts since they are enabled for btrfs, ext4, and xfs (and f2fs and fat fwiw). In additon, a few colleagues at Microsoft and from Red Hat work on a Kubernetes Enhancement Proposals (KEP) that also relies on overlayfs supporting idmapped layers, see [12].
Quoted 8 lines
Overlayfs on top of idmapped layers will be used in various ways:
* Container managers use overlayfs to efficiently share layers between containers. However, this only works for privileged containers. Layers cannot be shared if both privileged and unprivileged containers are used. Layers can also not be shared if non-overlapping idmappings are used for unprivileged containers. Layers cannot be shared because of the conflicting ownership requirements between the containers.
Quoted 3 lines
Hi Christian,
Thank you for this work. This is awesome.
Thanks for saying that! Appreciate it.
Quoted 3 lines
Wanted to test it. I was wondering how to test it. Some simple instructions will help.
Quoted 6 lines
Of course. There are various ways:
1. Giuseppe has already put up support the containers/storage go library:
https://github.com/containers/storage/pull/1180
and he's been running workloads with that branch. If you're familiar with that tooling you can just use that.
Vivek, if you vendor the containers/storage branch into Podman you can run something like:
# podman run --uidmap 0:2000:40000 --gidmap 0:8000:50000 --rm fedora sh -c 'grep . /proc/self/?id_map; ls -l /' /proc/self/gid_map: 0 8000 50000 /proc/self/uid_map: 0 2000 40000 total 16 lrwxrwxrwx. 1 root root 7 Jul 21 2021 bin -> usr/bin dr-xr-xr-x. 1 root root 0 Jul 21 2021 boot drwxr-xr-x. 5 root root 340 Mar 31 09:46 dev drwxr-xr-x. 1 root root 1682 Mar 31 09:45 etc drwxr-xr-x. 1 root root 0 Jul 21 2021 home lrwxrwxrwx. 1 root root 7 Jul 21 2021 lib -> usr/lib lrwxrwxrwx. 1 root root 9 Jul 21 2021 lib64 -> usr/lib64 drwx------. 1 root root 0 Feb 21 06:47 lost+found drwxr-xr-x. 1 root root 0 Jul 21 2021 media drwxr-xr-x. 1 root root 0 Jul 21 2021 mnt drwxr-xr-x. 1 root root 0 Jul 21 2021 opt dr-xr-xr-x. 262 nobody nobody 0 Mar 31 09:46 proc dr-xr-x---. 1 root root 206 Mar 31 09:45 root drwxr-xr-x. 1 root root 40 Mar 31 09:46 run lrwxrwxrwx. 1 root root 8 Jul 21 2021 sbin -> usr/sbin drwxr-xr-x. 1 root root 0 Jul 21 2021 srv dr-xr-xr-x. 12 nobody nobody 0 Mar 31 09:42 sys drwxrwxrwt. 1 root root 0 Feb 21 06:47 tmp drwxr-xr-x. 1 root root 100 Feb 21 06:47 usr drwxr-xr-x. 1 root root 154 Feb 21 06:47 var
you'll notice that it is using idmapped mounts because the container starts immediately when you change the mappings; without these kernel patches Podman needs to chown the image first.
Regards,
Giuseppe