3 * Copyright (C) 2011 Novell Inc.
5 * This program is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 as published by
7 * the Free Software Foundation.
11 #include <linux/namei.h>
12 #include <linux/xattr.h>
13 #include <linux/security.h>
14 #include <linux/cred.h>
15 #include "overlayfs.h"
17 void ovl_cleanup(struct inode *wdir, struct dentry *wdentry)
22 if (d_is_dir(wdentry))
23 err = ovl_do_rmdir(wdir, wdentry);
25 err = ovl_do_unlink(wdir, wdentry);
29 pr_err("overlayfs: cleanup of '%pd2' failed (%i)\n",
34 struct dentry *ovl_lookup_temp(struct dentry *workdir, struct dentry *dentry)
39 snprintf(name, sizeof(name), "#%lx", (unsigned long) dentry);
41 temp = lookup_one_len(name, workdir, strlen(name));
42 if (!IS_ERR(temp) && temp->d_inode) {
43 pr_err("overlayfs: workdir/%s already exists\n", name);
51 /* caller holds i_mutex on workdir */
52 static struct dentry *ovl_whiteout(struct dentry *workdir,
53 struct dentry *dentry)
56 struct dentry *whiteout;
57 struct inode *wdir = workdir->d_inode;
59 whiteout = ovl_lookup_temp(workdir, dentry);
63 err = ovl_do_whiteout(wdir, whiteout);
66 whiteout = ERR_PTR(err);
72 int ovl_create_real(struct inode *dir, struct dentry *newdentry,
73 struct kstat *stat, const char *link,
74 struct dentry *hardlink, bool debug)
78 if (newdentry->d_inode)
82 err = ovl_do_link(hardlink, dir, newdentry, debug);
84 switch (stat->mode & S_IFMT) {
86 err = ovl_do_create(dir, newdentry, stat->mode, debug);
90 err = ovl_do_mkdir(dir, newdentry, stat->mode, debug);
97 err = ovl_do_mknod(dir, newdentry,
98 stat->mode, stat->rdev, debug);
102 err = ovl_do_symlink(dir, newdentry, link, debug);
109 if (!err && WARN_ON(!newdentry->d_inode)) {
111 * Not quite sure if non-instantiated dentry is legal or not.
112 * VFS doesn't seem to care so check and warn here.
119 static int ovl_set_opaque(struct dentry *upperdentry)
121 return ovl_do_setxattr(upperdentry, OVL_XATTR_OPAQUE, "y", 1, 0);
124 static void ovl_remove_opaque(struct dentry *upperdentry)
128 err = ovl_do_removexattr(upperdentry, OVL_XATTR_OPAQUE);
130 pr_warn("overlayfs: failed to remove opaque from '%s' (%i)\n",
131 upperdentry->d_name.name, err);
135 static int ovl_dir_getattr(struct vfsmount *mnt, struct dentry *dentry,
139 enum ovl_path_type type;
140 struct path realpath;
142 type = ovl_path_real(dentry, &realpath);
143 err = vfs_getattr(&realpath, stat);
147 stat->dev = dentry->d_sb->s_dev;
148 stat->ino = dentry->d_inode->i_ino;
151 * It's probably not worth it to count subdirs to get the
152 * correct link count. nlink=1 seems to pacify 'find' and
155 if (OVL_TYPE_MERGE(type))
161 static int ovl_create_upper(struct dentry *dentry, struct inode *inode,
162 struct kstat *stat, const char *link,
163 struct dentry *hardlink)
165 struct dentry *upperdir = ovl_dentry_upper(dentry->d_parent);
166 struct inode *udir = upperdir->d_inode;
167 struct dentry *newdentry;
170 inode_lock_nested(udir, I_MUTEX_PARENT);
171 newdentry = lookup_one_len(dentry->d_name.name, upperdir,
173 err = PTR_ERR(newdentry);
174 if (IS_ERR(newdentry))
176 err = ovl_create_real(udir, newdentry, stat, link, hardlink, false);
180 ovl_dentry_version_inc(dentry->d_parent);
181 ovl_dentry_update(dentry, newdentry);
182 ovl_copyattr(newdentry->d_inode, inode);
183 d_instantiate(dentry, inode);
192 static int ovl_lock_rename_workdir(struct dentry *workdir,
193 struct dentry *upperdir)
195 /* Workdir should not be the same as upperdir */
196 if (workdir == upperdir)
199 /* Workdir should not be subdir of upperdir and vice versa */
200 if (lock_rename(workdir, upperdir) != NULL)
206 unlock_rename(workdir, upperdir);
208 pr_err("overlayfs: failed to lock workdir+upperdir\n");
212 static struct dentry *ovl_clear_empty(struct dentry *dentry,
213 struct list_head *list)
215 struct dentry *workdir = ovl_workdir(dentry);
216 struct inode *wdir = workdir->d_inode;
217 struct dentry *upperdir = ovl_dentry_upper(dentry->d_parent);
218 struct inode *udir = upperdir->d_inode;
219 struct path upperpath;
220 struct dentry *upper;
221 struct dentry *opaquedir;
225 if (WARN_ON(!workdir))
226 return ERR_PTR(-EROFS);
228 err = ovl_lock_rename_workdir(workdir, upperdir);
232 ovl_path_upper(dentry, &upperpath);
233 err = vfs_getattr(&upperpath, &stat);
238 if (!S_ISDIR(stat.mode))
240 upper = upperpath.dentry;
241 if (upper->d_parent->d_inode != udir)
244 opaquedir = ovl_lookup_temp(workdir, dentry);
245 err = PTR_ERR(opaquedir);
246 if (IS_ERR(opaquedir))
249 err = ovl_create_real(wdir, opaquedir, &stat, NULL, NULL, true);
253 err = ovl_copy_xattr(upper, opaquedir);
257 err = ovl_set_opaque(opaquedir);
261 inode_lock(opaquedir->d_inode);
262 err = ovl_set_attr(opaquedir, &stat);
263 inode_unlock(opaquedir->d_inode);
267 err = ovl_do_rename(wdir, opaquedir, udir, upper, RENAME_EXCHANGE);
271 ovl_cleanup_whiteouts(upper, list);
272 ovl_cleanup(wdir, upper);
273 unlock_rename(workdir, upperdir);
275 /* dentry's upper doesn't match now, get rid of it */
281 ovl_cleanup(wdir, opaquedir);
285 unlock_rename(workdir, upperdir);
290 static struct dentry *ovl_check_empty_and_clear(struct dentry *dentry)
293 struct dentry *ret = NULL;
296 err = ovl_check_empty_dir(dentry, &list);
301 * If no upperdentry then skip clearing whiteouts.
303 * Can race with copy-up, since we don't hold the upperdir
304 * mutex. Doesn't matter, since copy-up can't create a
305 * non-empty directory from an empty one.
307 if (ovl_dentry_upper(dentry))
308 ret = ovl_clear_empty(dentry, &list);
311 ovl_cache_free(&list);
316 static int ovl_create_over_whiteout(struct dentry *dentry, struct inode *inode,
317 struct kstat *stat, const char *link,
318 struct dentry *hardlink)
320 struct dentry *workdir = ovl_workdir(dentry);
321 struct inode *wdir = workdir->d_inode;
322 struct dentry *upperdir = ovl_dentry_upper(dentry->d_parent);
323 struct inode *udir = upperdir->d_inode;
324 struct dentry *upper;
325 struct dentry *newdentry;
328 if (WARN_ON(!workdir))
331 err = ovl_lock_rename_workdir(workdir, upperdir);
335 newdentry = ovl_lookup_temp(workdir, dentry);
336 err = PTR_ERR(newdentry);
337 if (IS_ERR(newdentry))
340 upper = lookup_one_len(dentry->d_name.name, upperdir,
342 err = PTR_ERR(upper);
346 err = ovl_create_real(wdir, newdentry, stat, link, hardlink, true);
350 if (S_ISDIR(stat->mode)) {
351 err = ovl_set_opaque(newdentry);
355 err = ovl_do_rename(wdir, newdentry, udir, upper,
360 ovl_cleanup(wdir, upper);
362 err = ovl_do_rename(wdir, newdentry, udir, upper, 0);
366 ovl_dentry_version_inc(dentry->d_parent);
367 ovl_dentry_update(dentry, newdentry);
368 ovl_copyattr(newdentry->d_inode, inode);
369 d_instantiate(dentry, inode);
376 unlock_rename(workdir, upperdir);
381 ovl_cleanup(wdir, newdentry);
385 static int ovl_create_or_link(struct dentry *dentry, int mode, dev_t rdev,
386 const char *link, struct dentry *hardlink)
390 struct kstat stat = {
396 inode = ovl_new_inode(dentry->d_sb, mode, dentry->d_fsdata);
400 err = ovl_copy_up(dentry->d_parent);
404 if (!ovl_dentry_is_opaque(dentry)) {
405 err = ovl_create_upper(dentry, inode, &stat, link, hardlink);
407 const struct cred *old_cred;
408 struct cred *override_cred;
410 old_cred = ovl_override_creds(dentry->d_sb);
413 override_cred = prepare_creds();
415 override_cred->fsuid = old_cred->fsuid;
416 override_cred->fsgid = old_cred->fsgid;
417 put_cred(override_creds(override_cred));
418 put_cred(override_cred);
420 err = ovl_create_over_whiteout(dentry, inode, &stat,
423 revert_creds(old_cred);
434 static int ovl_create_object(struct dentry *dentry, int mode, dev_t rdev,
439 err = ovl_want_write(dentry);
441 err = ovl_create_or_link(dentry, mode, rdev, link, NULL);
442 ovl_drop_write(dentry);
448 static int ovl_create(struct inode *dir, struct dentry *dentry, umode_t mode,
451 return ovl_create_object(dentry, (mode & 07777) | S_IFREG, 0, NULL);
454 static int ovl_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
456 return ovl_create_object(dentry, (mode & 07777) | S_IFDIR, 0, NULL);
459 static int ovl_mknod(struct inode *dir, struct dentry *dentry, umode_t mode,
462 /* Don't allow creation of "whiteout" on overlay */
463 if (S_ISCHR(mode) && rdev == WHITEOUT_DEV)
466 return ovl_create_object(dentry, mode, rdev, NULL);
469 static int ovl_symlink(struct inode *dir, struct dentry *dentry,
472 return ovl_create_object(dentry, S_IFLNK, 0, link);
475 static int ovl_link(struct dentry *old, struct inode *newdir,
479 struct dentry *upper;
481 err = ovl_want_write(old);
485 err = ovl_copy_up(old);
489 upper = ovl_dentry_upper(old);
490 err = ovl_create_or_link(new, upper->d_inode->i_mode, 0, NULL, upper);
498 static int ovl_remove_and_whiteout(struct dentry *dentry, bool is_dir)
500 struct dentry *workdir = ovl_workdir(dentry);
501 struct inode *wdir = workdir->d_inode;
502 struct dentry *upperdir = ovl_dentry_upper(dentry->d_parent);
503 struct inode *udir = upperdir->d_inode;
504 struct dentry *whiteout;
505 struct dentry *upper;
506 struct dentry *opaquedir = NULL;
510 if (WARN_ON(!workdir))
514 if (OVL_TYPE_MERGE_OR_LOWER(ovl_path_type(dentry))) {
515 opaquedir = ovl_check_empty_and_clear(dentry);
516 err = PTR_ERR(opaquedir);
517 if (IS_ERR(opaquedir))
523 * When removing an empty opaque directory, then it
524 * makes no sense to replace it with an exact replica of
525 * itself. But emptiness still needs to be checked.
527 err = ovl_check_empty_dir(dentry, &list);
528 ovl_cache_free(&list);
534 err = ovl_lock_rename_workdir(workdir, upperdir);
538 upper = lookup_one_len(dentry->d_name.name, upperdir,
540 err = PTR_ERR(upper);
545 if ((opaquedir && upper != opaquedir) ||
546 (!opaquedir && ovl_dentry_upper(dentry) &&
547 upper != ovl_dentry_upper(dentry))) {
551 whiteout = ovl_whiteout(workdir, dentry);
552 err = PTR_ERR(whiteout);
553 if (IS_ERR(whiteout))
557 flags = RENAME_EXCHANGE;
559 err = ovl_do_rename(wdir, whiteout, udir, upper, flags);
563 ovl_cleanup(wdir, upper);
565 ovl_dentry_version_inc(dentry->d_parent);
572 unlock_rename(workdir, upperdir);
579 ovl_cleanup(wdir, whiteout);
583 static int ovl_remove_upper(struct dentry *dentry, bool is_dir)
585 struct dentry *upperdir = ovl_dentry_upper(dentry->d_parent);
586 struct inode *dir = upperdir->d_inode;
587 struct dentry *upper;
590 inode_lock_nested(dir, I_MUTEX_PARENT);
591 upper = lookup_one_len(dentry->d_name.name, upperdir,
593 err = PTR_ERR(upper);
598 if (upper == ovl_dentry_upper(dentry)) {
600 err = vfs_rmdir(dir, upper);
602 err = vfs_unlink(dir, upper, NULL);
603 ovl_dentry_version_inc(dentry->d_parent);
608 * Keeping this dentry hashed would mean having to release
609 * upperpath/lowerpath, which could only be done if we are the
610 * sole user of this dentry. Too tricky... Just unhash for
621 static inline int ovl_check_sticky(struct dentry *dentry)
623 struct inode *dir = ovl_dentry_real(dentry->d_parent)->d_inode;
624 struct inode *inode = ovl_dentry_real(dentry)->d_inode;
626 if (check_sticky(dir, inode))
632 static int ovl_do_remove(struct dentry *dentry, bool is_dir)
634 enum ovl_path_type type;
637 err = ovl_check_sticky(dentry);
641 err = ovl_want_write(dentry);
645 err = ovl_copy_up(dentry->d_parent);
649 type = ovl_path_type(dentry);
650 if (OVL_TYPE_PURE_UPPER(type)) {
651 err = ovl_remove_upper(dentry, is_dir);
653 const struct cred *old_cred = ovl_override_creds(dentry->d_sb);
655 err = ovl_remove_and_whiteout(dentry, is_dir);
657 revert_creds(old_cred);
660 ovl_drop_write(dentry);
665 static int ovl_unlink(struct inode *dir, struct dentry *dentry)
667 return ovl_do_remove(dentry, false);
670 static int ovl_rmdir(struct inode *dir, struct dentry *dentry)
672 return ovl_do_remove(dentry, true);
675 static int ovl_rename2(struct inode *olddir, struct dentry *old,
676 struct inode *newdir, struct dentry *new,
680 enum ovl_path_type old_type;
681 enum ovl_path_type new_type;
682 struct dentry *old_upperdir;
683 struct dentry *new_upperdir;
684 struct dentry *olddentry;
685 struct dentry *newdentry;
689 bool cleanup_whiteout = false;
690 bool overwrite = !(flags & RENAME_EXCHANGE);
691 bool is_dir = d_is_dir(old);
692 bool new_is_dir = false;
693 struct dentry *opaquedir = NULL;
694 const struct cred *old_cred = NULL;
697 if (flags & ~(RENAME_EXCHANGE | RENAME_NOREPLACE))
700 flags &= ~RENAME_NOREPLACE;
702 err = ovl_check_sticky(old);
706 /* Don't copy up directory trees */
707 old_type = ovl_path_type(old);
709 if (OVL_TYPE_MERGE_OR_LOWER(old_type) && is_dir)
713 err = ovl_check_sticky(new);
720 new_type = ovl_path_type(new);
722 if (!overwrite && OVL_TYPE_MERGE_OR_LOWER(new_type) && new_is_dir)
726 if (!OVL_TYPE_UPPER(new_type) && !OVL_TYPE_UPPER(old_type)) {
727 if (ovl_dentry_lower(old)->d_inode ==
728 ovl_dentry_lower(new)->d_inode)
731 if (OVL_TYPE_UPPER(new_type) && OVL_TYPE_UPPER(old_type)) {
732 if (ovl_dentry_upper(old)->d_inode ==
733 ovl_dentry_upper(new)->d_inode)
737 if (ovl_dentry_is_opaque(new))
738 new_type = __OVL_PATH_UPPER;
740 new_type = __OVL_PATH_UPPER | __OVL_PATH_PURE;
743 err = ovl_want_write(old);
747 err = ovl_copy_up(old);
751 err = ovl_copy_up(new->d_parent);
755 err = ovl_copy_up(new);
760 old_opaque = !OVL_TYPE_PURE_UPPER(old_type);
761 new_opaque = !OVL_TYPE_PURE_UPPER(new_type);
763 if (old_opaque || new_opaque)
764 old_cred = ovl_override_creds(old->d_sb);
766 if (overwrite && OVL_TYPE_MERGE_OR_LOWER(new_type) && new_is_dir) {
767 opaquedir = ovl_check_empty_and_clear(new);
768 err = PTR_ERR(opaquedir);
769 if (IS_ERR(opaquedir)) {
771 goto out_revert_creds;
777 if (new->d_inode || !new_opaque) {
778 /* Whiteout source */
779 flags |= RENAME_WHITEOUT;
781 /* Switch whiteouts */
782 flags |= RENAME_EXCHANGE;
784 } else if (is_dir && !new->d_inode && new_opaque) {
785 flags |= RENAME_EXCHANGE;
786 cleanup_whiteout = true;
790 old_upperdir = ovl_dentry_upper(old->d_parent);
791 new_upperdir = ovl_dentry_upper(new->d_parent);
793 trap = lock_rename(new_upperdir, old_upperdir);
796 olddentry = lookup_one_len(old->d_name.name, old_upperdir,
798 err = PTR_ERR(olddentry);
799 if (IS_ERR(olddentry))
803 if (olddentry != ovl_dentry_upper(old))
806 newdentry = lookup_one_len(new->d_name.name, new_upperdir,
808 err = PTR_ERR(newdentry);
809 if (IS_ERR(newdentry))
813 if (ovl_dentry_upper(new)) {
815 if (newdentry != opaquedir)
818 if (newdentry != ovl_dentry_upper(new))
822 if (!d_is_negative(newdentry) &&
823 (!new_opaque || !ovl_is_whiteout(newdentry)))
827 if (olddentry == trap)
829 if (newdentry == trap)
832 if (is_dir && !old_opaque && new_opaque) {
833 err = ovl_set_opaque(olddentry);
837 if (!overwrite && new_is_dir && old_opaque && !new_opaque) {
838 err = ovl_set_opaque(newdentry);
843 if (old_opaque || new_opaque) {
844 err = ovl_do_rename(old_upperdir->d_inode, olddentry,
845 new_upperdir->d_inode, newdentry,
848 /* No debug for the plain case */
849 BUG_ON(flags & ~RENAME_EXCHANGE);
850 err = vfs_rename(old_upperdir->d_inode, olddentry,
851 new_upperdir->d_inode, newdentry,
856 if (is_dir && !old_opaque && new_opaque)
857 ovl_remove_opaque(olddentry);
858 if (!overwrite && new_is_dir && old_opaque && !new_opaque)
859 ovl_remove_opaque(newdentry);
863 if (is_dir && old_opaque && !new_opaque)
864 ovl_remove_opaque(olddentry);
865 if (!overwrite && new_is_dir && !old_opaque && new_opaque)
866 ovl_remove_opaque(newdentry);
869 * Old dentry now lives in different location. Dentries in
870 * lowerstack are stale. We cannot drop them here because
871 * access to them is lockless. This could be only pure upper
872 * or opaque directory - numlower is zero. Or upper non-dir
873 * entry - its pureness is tracked by flag opaque.
875 if (old_opaque != new_opaque) {
876 ovl_dentry_set_opaque(old, new_opaque);
878 ovl_dentry_set_opaque(new, old_opaque);
881 if (cleanup_whiteout)
882 ovl_cleanup(old_upperdir->d_inode, newdentry);
884 ovl_dentry_version_inc(old->d_parent);
885 ovl_dentry_version_inc(new->d_parent);
892 unlock_rename(new_upperdir, old_upperdir);
894 if (old_opaque || new_opaque)
895 revert_creds(old_cred);
903 const struct inode_operations ovl_dir_inode_operations = {
904 .lookup = ovl_lookup,
906 .symlink = ovl_symlink,
907 .unlink = ovl_unlink,
909 .rename2 = ovl_rename2,
911 .setattr = ovl_setattr,
912 .create = ovl_create,
914 .permission = ovl_permission,
915 .getattr = ovl_dir_getattr,
916 .setxattr = ovl_setxattr,
917 .getxattr = ovl_getxattr,
918 .listxattr = ovl_listxattr,
919 .removexattr = ovl_removexattr,