blob: 073be36b0686cf8c178a6140b0a0ed68d8d5d877 [file] [log] [blame]
David Brazdil0f672f62019-12-10 10:32:29 +00001// SPDX-License-Identifier: GPL-2.0-only
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002/*
3 *
4 * Copyright (C) 2011 Novell Inc.
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00005 */
6
7#include <linux/fs.h>
8#include <linux/namei.h>
9#include <linux/xattr.h>
10#include <linux/security.h>
11#include <linux/cred.h>
12#include <linux/module.h>
13#include <linux/posix_acl.h>
14#include <linux/posix_acl_xattr.h>
15#include <linux/atomic.h>
16#include <linux/ratelimit.h>
17#include "overlayfs.h"
18
19static unsigned short ovl_redirect_max = 256;
20module_param_named(redirect_max, ovl_redirect_max, ushort, 0644);
David Brazdil0f672f62019-12-10 10:32:29 +000021MODULE_PARM_DESC(redirect_max,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000022 "Maximum length of absolute redirect xattr value");
23
24static int ovl_set_redirect(struct dentry *dentry, bool samedir);
25
26int ovl_cleanup(struct inode *wdir, struct dentry *wdentry)
27{
28 int err;
29
30 dget(wdentry);
31 if (d_is_dir(wdentry))
32 err = ovl_do_rmdir(wdir, wdentry);
33 else
34 err = ovl_do_unlink(wdir, wdentry);
35 dput(wdentry);
36
37 if (err) {
38 pr_err("overlayfs: cleanup of '%pd2' failed (%i)\n",
39 wdentry, err);
40 }
41
42 return err;
43}
44
45static struct dentry *ovl_lookup_temp(struct dentry *workdir)
46{
47 struct dentry *temp;
48 char name[20];
49 static atomic_t temp_id = ATOMIC_INIT(0);
50
51 /* counter is allowed to wrap, since temp dentries are ephemeral */
52 snprintf(name, sizeof(name), "#%x", atomic_inc_return(&temp_id));
53
54 temp = lookup_one_len(name, workdir, strlen(name));
55 if (!IS_ERR(temp) && temp->d_inode) {
56 pr_err("overlayfs: workdir/%s already exists\n", name);
57 dput(temp);
58 temp = ERR_PTR(-EIO);
59 }
60
61 return temp;
62}
63
64/* caller holds i_mutex on workdir */
65static struct dentry *ovl_whiteout(struct dentry *workdir)
66{
67 int err;
68 struct dentry *whiteout;
69 struct inode *wdir = workdir->d_inode;
70
71 whiteout = ovl_lookup_temp(workdir);
72 if (IS_ERR(whiteout))
73 return whiteout;
74
75 err = ovl_do_whiteout(wdir, whiteout);
76 if (err) {
77 dput(whiteout);
78 whiteout = ERR_PTR(err);
79 }
80
81 return whiteout;
82}
83
84/* Caller must hold i_mutex on both workdir and dir */
85int ovl_cleanup_and_whiteout(struct dentry *workdir, struct inode *dir,
86 struct dentry *dentry)
87{
88 struct inode *wdir = workdir->d_inode;
89 struct dentry *whiteout;
90 int err;
91 int flags = 0;
92
93 whiteout = ovl_whiteout(workdir);
94 err = PTR_ERR(whiteout);
95 if (IS_ERR(whiteout))
96 return err;
97
98 if (d_is_dir(dentry))
99 flags = RENAME_EXCHANGE;
100
101 err = ovl_do_rename(wdir, whiteout, dir, dentry, flags);
102 if (err)
103 goto kill_whiteout;
104 if (flags)
105 ovl_cleanup(wdir, dentry);
106
107out:
108 dput(whiteout);
109 return err;
110
111kill_whiteout:
112 ovl_cleanup(wdir, whiteout);
113 goto out;
114}
115
116static int ovl_mkdir_real(struct inode *dir, struct dentry **newdentry,
117 umode_t mode)
118{
119 int err;
120 struct dentry *d, *dentry = *newdentry;
121
122 err = ovl_do_mkdir(dir, dentry, mode);
123 if (err)
124 return err;
125
126 if (likely(!d_unhashed(dentry)))
127 return 0;
128
129 /*
130 * vfs_mkdir() may succeed and leave the dentry passed
131 * to it unhashed and negative. If that happens, try to
132 * lookup a new hashed and positive dentry.
133 */
134 d = lookup_one_len(dentry->d_name.name, dentry->d_parent,
135 dentry->d_name.len);
136 if (IS_ERR(d)) {
137 pr_warn("overlayfs: failed lookup after mkdir (%pd2, err=%i).\n",
138 dentry, err);
139 return PTR_ERR(d);
140 }
141 dput(dentry);
142 *newdentry = d;
143
144 return 0;
145}
146
147struct dentry *ovl_create_real(struct inode *dir, struct dentry *newdentry,
148 struct ovl_cattr *attr)
149{
150 int err;
151
152 if (IS_ERR(newdentry))
153 return newdentry;
154
155 err = -ESTALE;
156 if (newdentry->d_inode)
157 goto out;
158
159 if (attr->hardlink) {
160 err = ovl_do_link(attr->hardlink, dir, newdentry);
161 } else {
162 switch (attr->mode & S_IFMT) {
163 case S_IFREG:
164 err = ovl_do_create(dir, newdentry, attr->mode);
165 break;
166
167 case S_IFDIR:
168 /* mkdir is special... */
169 err = ovl_mkdir_real(dir, &newdentry, attr->mode);
170 break;
171
172 case S_IFCHR:
173 case S_IFBLK:
174 case S_IFIFO:
175 case S_IFSOCK:
176 err = ovl_do_mknod(dir, newdentry, attr->mode,
177 attr->rdev);
178 break;
179
180 case S_IFLNK:
181 err = ovl_do_symlink(dir, newdentry, attr->link);
182 break;
183
184 default:
185 err = -EPERM;
186 }
187 }
188 if (!err && WARN_ON(!newdentry->d_inode)) {
189 /*
190 * Not quite sure if non-instantiated dentry is legal or not.
191 * VFS doesn't seem to care so check and warn here.
192 */
193 err = -EIO;
194 }
195out:
196 if (err) {
197 dput(newdentry);
198 return ERR_PTR(err);
199 }
200 return newdentry;
201}
202
203struct dentry *ovl_create_temp(struct dentry *workdir, struct ovl_cattr *attr)
204{
205 return ovl_create_real(d_inode(workdir), ovl_lookup_temp(workdir),
206 attr);
207}
208
209static int ovl_set_opaque_xerr(struct dentry *dentry, struct dentry *upper,
210 int xerr)
211{
212 int err;
213
214 err = ovl_check_setxattr(dentry, upper, OVL_XATTR_OPAQUE, "y", 1, xerr);
215 if (!err)
216 ovl_dentry_set_opaque(dentry);
217
218 return err;
219}
220
221static int ovl_set_opaque(struct dentry *dentry, struct dentry *upperdentry)
222{
223 /*
224 * Fail with -EIO when trying to create opaque dir and upper doesn't
225 * support xattrs. ovl_rename() calls ovl_set_opaque_xerr(-EXDEV) to
226 * return a specific error for noxattr case.
227 */
228 return ovl_set_opaque_xerr(dentry, upperdentry, -EIO);
229}
230
231/*
232 * Common operations required to be done after creation of file on upper.
233 * If @hardlink is false, then @inode is a pre-allocated inode, we may or
234 * may not use to instantiate the new dentry.
235 */
236static int ovl_instantiate(struct dentry *dentry, struct inode *inode,
237 struct dentry *newdentry, bool hardlink)
238{
239 struct ovl_inode_params oip = {
240 .upperdentry = newdentry,
241 .newinode = inode,
242 };
243
244 ovl_dir_modified(dentry->d_parent, false);
245 ovl_dentry_set_upper_alias(dentry);
246 if (!hardlink) {
247 /*
248 * ovl_obtain_alias() can be called after ovl_create_real()
249 * and before we get here, so we may get an inode from cache
250 * with the same real upperdentry that is not the inode we
251 * pre-allocated. In this case we will use the cached inode
252 * to instantiate the new dentry.
253 *
254 * XXX: if we ever use ovl_obtain_alias() to decode directory
255 * file handles, need to use ovl_get_inode_locked() and
256 * d_instantiate_new() here to prevent from creating two
257 * hashed directory inode aliases.
258 */
259 inode = ovl_get_inode(dentry->d_sb, &oip);
David Brazdil0f672f62019-12-10 10:32:29 +0000260 if (IS_ERR(inode))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000261 return PTR_ERR(inode);
262 } else {
263 WARN_ON(ovl_inode_real(inode) != d_inode(newdentry));
264 dput(newdentry);
265 inc_nlink(inode);
266 }
267
268 d_instantiate(dentry, inode);
269 if (inode != oip.newinode) {
270 pr_warn_ratelimited("overlayfs: newly created inode found in cache (%pd2)\n",
271 dentry);
272 }
273
274 /* Force lookup of new upper hardlink to find its lower */
275 if (hardlink)
276 d_drop(dentry);
277
278 return 0;
279}
280
281static bool ovl_type_merge(struct dentry *dentry)
282{
283 return OVL_TYPE_MERGE(ovl_path_type(dentry));
284}
285
286static bool ovl_type_origin(struct dentry *dentry)
287{
288 return OVL_TYPE_ORIGIN(ovl_path_type(dentry));
289}
290
291static int ovl_create_upper(struct dentry *dentry, struct inode *inode,
292 struct ovl_cattr *attr)
293{
294 struct dentry *upperdir = ovl_dentry_upper(dentry->d_parent);
295 struct inode *udir = upperdir->d_inode;
296 struct dentry *newdentry;
297 int err;
298
299 if (!attr->hardlink && !IS_POSIXACL(udir))
300 attr->mode &= ~current_umask();
301
302 inode_lock_nested(udir, I_MUTEX_PARENT);
303 newdentry = ovl_create_real(udir,
304 lookup_one_len(dentry->d_name.name,
305 upperdir,
306 dentry->d_name.len),
307 attr);
308 err = PTR_ERR(newdentry);
309 if (IS_ERR(newdentry))
310 goto out_unlock;
311
312 if (ovl_type_merge(dentry->d_parent) && d_is_dir(newdentry)) {
313 /* Setting opaque here is just an optimization, allow to fail */
314 ovl_set_opaque(dentry, newdentry);
315 }
316
317 err = ovl_instantiate(dentry, inode, newdentry, !!attr->hardlink);
318 if (err)
319 goto out_cleanup;
320out_unlock:
321 inode_unlock(udir);
322 return err;
323
324out_cleanup:
325 ovl_cleanup(udir, newdentry);
326 dput(newdentry);
327 goto out_unlock;
328}
329
330static struct dentry *ovl_clear_empty(struct dentry *dentry,
331 struct list_head *list)
332{
333 struct dentry *workdir = ovl_workdir(dentry);
334 struct inode *wdir = workdir->d_inode;
335 struct dentry *upperdir = ovl_dentry_upper(dentry->d_parent);
336 struct inode *udir = upperdir->d_inode;
337 struct path upperpath;
338 struct dentry *upper;
339 struct dentry *opaquedir;
340 struct kstat stat;
341 int err;
342
343 if (WARN_ON(!workdir))
344 return ERR_PTR(-EROFS);
345
346 err = ovl_lock_rename_workdir(workdir, upperdir);
347 if (err)
348 goto out;
349
350 ovl_path_upper(dentry, &upperpath);
351 err = vfs_getattr(&upperpath, &stat,
352 STATX_BASIC_STATS, AT_STATX_SYNC_AS_STAT);
353 if (err)
354 goto out_unlock;
355
356 err = -ESTALE;
357 if (!S_ISDIR(stat.mode))
358 goto out_unlock;
359 upper = upperpath.dentry;
360 if (upper->d_parent->d_inode != udir)
361 goto out_unlock;
362
363 opaquedir = ovl_create_temp(workdir, OVL_CATTR(stat.mode));
364 err = PTR_ERR(opaquedir);
365 if (IS_ERR(opaquedir))
366 goto out_unlock;
367
368 err = ovl_copy_xattr(upper, opaquedir);
369 if (err)
370 goto out_cleanup;
371
372 err = ovl_set_opaque(dentry, opaquedir);
373 if (err)
374 goto out_cleanup;
375
376 inode_lock(opaquedir->d_inode);
377 err = ovl_set_attr(opaquedir, &stat);
378 inode_unlock(opaquedir->d_inode);
379 if (err)
380 goto out_cleanup;
381
382 err = ovl_do_rename(wdir, opaquedir, udir, upper, RENAME_EXCHANGE);
383 if (err)
384 goto out_cleanup;
385
386 ovl_cleanup_whiteouts(upper, list);
387 ovl_cleanup(wdir, upper);
388 unlock_rename(workdir, upperdir);
389
390 /* dentry's upper doesn't match now, get rid of it */
391 d_drop(dentry);
392
393 return opaquedir;
394
395out_cleanup:
396 ovl_cleanup(wdir, opaquedir);
397 dput(opaquedir);
398out_unlock:
399 unlock_rename(workdir, upperdir);
400out:
401 return ERR_PTR(err);
402}
403
404static int ovl_set_upper_acl(struct dentry *upperdentry, const char *name,
405 const struct posix_acl *acl)
406{
407 void *buffer;
408 size_t size;
409 int err;
410
411 if (!IS_ENABLED(CONFIG_FS_POSIX_ACL) || !acl)
412 return 0;
413
David Brazdil0f672f62019-12-10 10:32:29 +0000414 size = posix_acl_xattr_size(acl->a_count);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000415 buffer = kmalloc(size, GFP_KERNEL);
416 if (!buffer)
417 return -ENOMEM;
418
David Brazdil0f672f62019-12-10 10:32:29 +0000419 err = posix_acl_to_xattr(&init_user_ns, acl, buffer, size);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000420 if (err < 0)
421 goto out_free;
422
423 err = vfs_setxattr(upperdentry, name, buffer, size, XATTR_CREATE);
424out_free:
425 kfree(buffer);
426 return err;
427}
428
429static int ovl_create_over_whiteout(struct dentry *dentry, struct inode *inode,
430 struct ovl_cattr *cattr)
431{
432 struct dentry *workdir = ovl_workdir(dentry);
433 struct inode *wdir = workdir->d_inode;
434 struct dentry *upperdir = ovl_dentry_upper(dentry->d_parent);
435 struct inode *udir = upperdir->d_inode;
436 struct dentry *upper;
437 struct dentry *newdentry;
438 int err;
439 struct posix_acl *acl, *default_acl;
440 bool hardlink = !!cattr->hardlink;
441
442 if (WARN_ON(!workdir))
443 return -EROFS;
444
445 if (!hardlink) {
446 err = posix_acl_create(dentry->d_parent->d_inode,
447 &cattr->mode, &default_acl, &acl);
448 if (err)
449 return err;
450 }
451
452 err = ovl_lock_rename_workdir(workdir, upperdir);
453 if (err)
454 goto out;
455
456 upper = lookup_one_len(dentry->d_name.name, upperdir,
457 dentry->d_name.len);
458 err = PTR_ERR(upper);
459 if (IS_ERR(upper))
460 goto out_unlock;
461
462 err = -ESTALE;
463 if (d_is_negative(upper) || !IS_WHITEOUT(d_inode(upper)))
464 goto out_dput;
465
466 newdentry = ovl_create_temp(workdir, cattr);
467 err = PTR_ERR(newdentry);
468 if (IS_ERR(newdentry))
469 goto out_dput;
470
471 /*
472 * mode could have been mutilated due to umask (e.g. sgid directory)
473 */
474 if (!hardlink &&
475 !S_ISLNK(cattr->mode) &&
476 newdentry->d_inode->i_mode != cattr->mode) {
477 struct iattr attr = {
478 .ia_valid = ATTR_MODE,
479 .ia_mode = cattr->mode,
480 };
481 inode_lock(newdentry->d_inode);
482 err = notify_change(newdentry, &attr, NULL);
483 inode_unlock(newdentry->d_inode);
484 if (err)
485 goto out_cleanup;
486 }
487 if (!hardlink) {
488 err = ovl_set_upper_acl(newdentry, XATTR_NAME_POSIX_ACL_ACCESS,
489 acl);
490 if (err)
491 goto out_cleanup;
492
493 err = ovl_set_upper_acl(newdentry, XATTR_NAME_POSIX_ACL_DEFAULT,
494 default_acl);
495 if (err)
496 goto out_cleanup;
497 }
498
499 if (!hardlink && S_ISDIR(cattr->mode)) {
500 err = ovl_set_opaque(dentry, newdentry);
501 if (err)
502 goto out_cleanup;
503
504 err = ovl_do_rename(wdir, newdentry, udir, upper,
505 RENAME_EXCHANGE);
506 if (err)
507 goto out_cleanup;
508
509 ovl_cleanup(wdir, upper);
510 } else {
511 err = ovl_do_rename(wdir, newdentry, udir, upper, 0);
512 if (err)
513 goto out_cleanup;
514 }
515 err = ovl_instantiate(dentry, inode, newdentry, hardlink);
Olivier Deprez0e641232021-09-23 10:07:05 +0200516 if (err) {
517 ovl_cleanup(udir, newdentry);
518 dput(newdentry);
519 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000520out_dput:
521 dput(upper);
522out_unlock:
523 unlock_rename(workdir, upperdir);
524out:
525 if (!hardlink) {
526 posix_acl_release(acl);
527 posix_acl_release(default_acl);
528 }
529 return err;
530
531out_cleanup:
532 ovl_cleanup(wdir, newdentry);
533 dput(newdentry);
534 goto out_dput;
535}
536
537static int ovl_create_or_link(struct dentry *dentry, struct inode *inode,
538 struct ovl_cattr *attr, bool origin)
539{
540 int err;
541 const struct cred *old_cred;
542 struct cred *override_cred;
543 struct dentry *parent = dentry->d_parent;
544
545 err = ovl_copy_up(parent);
546 if (err)
547 return err;
548
549 old_cred = ovl_override_creds(dentry->d_sb);
550
551 /*
552 * When linking a file with copy up origin into a new parent, mark the
553 * new parent dir "impure".
554 */
555 if (origin) {
556 err = ovl_set_impure(parent, ovl_dentry_upper(parent));
557 if (err)
558 goto out_revert_creds;
559 }
560
561 err = -ENOMEM;
562 override_cred = prepare_creds();
563 if (override_cred) {
564 override_cred->fsuid = inode->i_uid;
565 override_cred->fsgid = inode->i_gid;
566 if (!attr->hardlink) {
567 err = security_dentry_create_files_as(dentry,
568 attr->mode, &dentry->d_name, old_cred,
569 override_cred);
570 if (err) {
571 put_cred(override_cred);
572 goto out_revert_creds;
573 }
574 }
575 put_cred(override_creds(override_cred));
576 put_cred(override_cred);
577
578 if (!ovl_dentry_is_whiteout(dentry))
579 err = ovl_create_upper(dentry, inode, attr);
580 else
581 err = ovl_create_over_whiteout(dentry, inode, attr);
582 }
583out_revert_creds:
584 revert_creds(old_cred);
585 return err;
586}
587
588static int ovl_create_object(struct dentry *dentry, int mode, dev_t rdev,
589 const char *link)
590{
591 int err;
592 struct inode *inode;
593 struct ovl_cattr attr = {
594 .rdev = rdev,
595 .link = link,
596 };
597
598 err = ovl_want_write(dentry);
599 if (err)
600 goto out;
601
602 /* Preallocate inode to be used by ovl_get_inode() */
603 err = -ENOMEM;
604 inode = ovl_new_inode(dentry->d_sb, mode, rdev);
605 if (!inode)
606 goto out_drop_write;
607
608 spin_lock(&inode->i_lock);
609 inode->i_state |= I_CREATING;
610 spin_unlock(&inode->i_lock);
611
612 inode_init_owner(inode, dentry->d_parent->d_inode, mode);
613 attr.mode = inode->i_mode;
614
615 err = ovl_create_or_link(dentry, inode, &attr, false);
616 /* Did we end up using the preallocated inode? */
617 if (inode != d_inode(dentry))
618 iput(inode);
619
620out_drop_write:
621 ovl_drop_write(dentry);
622out:
623 return err;
624}
625
626static int ovl_create(struct inode *dir, struct dentry *dentry, umode_t mode,
627 bool excl)
628{
629 return ovl_create_object(dentry, (mode & 07777) | S_IFREG, 0, NULL);
630}
631
632static int ovl_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
633{
634 return ovl_create_object(dentry, (mode & 07777) | S_IFDIR, 0, NULL);
635}
636
637static int ovl_mknod(struct inode *dir, struct dentry *dentry, umode_t mode,
638 dev_t rdev)
639{
640 /* Don't allow creation of "whiteout" on overlay */
641 if (S_ISCHR(mode) && rdev == WHITEOUT_DEV)
642 return -EPERM;
643
644 return ovl_create_object(dentry, mode, rdev, NULL);
645}
646
647static int ovl_symlink(struct inode *dir, struct dentry *dentry,
648 const char *link)
649{
650 return ovl_create_object(dentry, S_IFLNK, 0, link);
651}
652
653static int ovl_set_link_redirect(struct dentry *dentry)
654{
655 const struct cred *old_cred;
656 int err;
657
658 old_cred = ovl_override_creds(dentry->d_sb);
659 err = ovl_set_redirect(dentry, false);
660 revert_creds(old_cred);
661
662 return err;
663}
664
665static int ovl_link(struct dentry *old, struct inode *newdir,
666 struct dentry *new)
667{
668 int err;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000669 struct inode *inode;
670
671 err = ovl_want_write(old);
672 if (err)
673 goto out;
674
675 err = ovl_copy_up(old);
676 if (err)
677 goto out_drop_write;
678
679 err = ovl_copy_up(new->d_parent);
680 if (err)
681 goto out_drop_write;
682
683 if (ovl_is_metacopy_dentry(old)) {
684 err = ovl_set_link_redirect(old);
685 if (err)
686 goto out_drop_write;
687 }
688
David Brazdil0f672f62019-12-10 10:32:29 +0000689 err = ovl_nlink_start(old);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000690 if (err)
691 goto out_drop_write;
692
693 inode = d_inode(old);
694 ihold(inode);
695
696 err = ovl_create_or_link(new, inode,
697 &(struct ovl_cattr) {.hardlink = ovl_dentry_upper(old)},
698 ovl_type_origin(old));
699 if (err)
700 iput(inode);
701
David Brazdil0f672f62019-12-10 10:32:29 +0000702 ovl_nlink_end(old);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000703out_drop_write:
704 ovl_drop_write(old);
705out:
706 return err;
707}
708
709static bool ovl_matches_upper(struct dentry *dentry, struct dentry *upper)
710{
711 return d_inode(ovl_dentry_upper(dentry)) == d_inode(upper);
712}
713
714static int ovl_remove_and_whiteout(struct dentry *dentry,
715 struct list_head *list)
716{
717 struct dentry *workdir = ovl_workdir(dentry);
718 struct dentry *upperdir = ovl_dentry_upper(dentry->d_parent);
719 struct dentry *upper;
720 struct dentry *opaquedir = NULL;
721 int err;
722
723 if (WARN_ON(!workdir))
724 return -EROFS;
725
726 if (!list_empty(list)) {
727 opaquedir = ovl_clear_empty(dentry, list);
728 err = PTR_ERR(opaquedir);
729 if (IS_ERR(opaquedir))
730 goto out;
731 }
732
733 err = ovl_lock_rename_workdir(workdir, upperdir);
734 if (err)
735 goto out_dput;
736
737 upper = lookup_one_len(dentry->d_name.name, upperdir,
738 dentry->d_name.len);
739 err = PTR_ERR(upper);
740 if (IS_ERR(upper))
741 goto out_unlock;
742
743 err = -ESTALE;
744 if ((opaquedir && upper != opaquedir) ||
745 (!opaquedir && ovl_dentry_upper(dentry) &&
746 !ovl_matches_upper(dentry, upper))) {
747 goto out_dput_upper;
748 }
749
750 err = ovl_cleanup_and_whiteout(workdir, d_inode(upperdir), upper);
751 if (err)
752 goto out_d_drop;
753
754 ovl_dir_modified(dentry->d_parent, true);
755out_d_drop:
756 d_drop(dentry);
757out_dput_upper:
758 dput(upper);
759out_unlock:
760 unlock_rename(workdir, upperdir);
761out_dput:
762 dput(opaquedir);
763out:
764 return err;
765}
766
767static int ovl_remove_upper(struct dentry *dentry, bool is_dir,
768 struct list_head *list)
769{
770 struct dentry *upperdir = ovl_dentry_upper(dentry->d_parent);
771 struct inode *dir = upperdir->d_inode;
772 struct dentry *upper;
773 struct dentry *opaquedir = NULL;
774 int err;
775
776 if (!list_empty(list)) {
777 opaquedir = ovl_clear_empty(dentry, list);
778 err = PTR_ERR(opaquedir);
779 if (IS_ERR(opaquedir))
780 goto out;
781 }
782
783 inode_lock_nested(dir, I_MUTEX_PARENT);
784 upper = lookup_one_len(dentry->d_name.name, upperdir,
785 dentry->d_name.len);
786 err = PTR_ERR(upper);
787 if (IS_ERR(upper))
788 goto out_unlock;
789
790 err = -ESTALE;
791 if ((opaquedir && upper != opaquedir) ||
792 (!opaquedir && !ovl_matches_upper(dentry, upper)))
793 goto out_dput_upper;
794
795 if (is_dir)
796 err = vfs_rmdir(dir, upper);
797 else
798 err = vfs_unlink(dir, upper, NULL);
799 ovl_dir_modified(dentry->d_parent, ovl_type_origin(dentry));
800
801 /*
802 * Keeping this dentry hashed would mean having to release
803 * upperpath/lowerpath, which could only be done if we are the
804 * sole user of this dentry. Too tricky... Just unhash for
805 * now.
806 */
807 if (!err)
808 d_drop(dentry);
809out_dput_upper:
810 dput(upper);
811out_unlock:
812 inode_unlock(dir);
813 dput(opaquedir);
814out:
815 return err;
816}
817
818static bool ovl_pure_upper(struct dentry *dentry)
819{
820 return !ovl_dentry_lower(dentry) &&
821 !ovl_test_flag(OVL_WHITEOUTS, d_inode(dentry));
822}
823
824static int ovl_do_remove(struct dentry *dentry, bool is_dir)
825{
826 int err;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000827 const struct cred *old_cred;
828 struct dentry *upperdentry;
829 bool lower_positive = ovl_lower_positive(dentry);
830 LIST_HEAD(list);
831
832 /* No need to clean pure upper removed by vfs_rmdir() */
833 if (is_dir && (lower_positive || !ovl_pure_upper(dentry))) {
834 err = ovl_check_empty_dir(dentry, &list);
835 if (err)
836 goto out;
837 }
838
839 err = ovl_want_write(dentry);
840 if (err)
841 goto out;
842
843 err = ovl_copy_up(dentry->d_parent);
844 if (err)
845 goto out_drop_write;
846
David Brazdil0f672f62019-12-10 10:32:29 +0000847 err = ovl_nlink_start(dentry);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000848 if (err)
849 goto out_drop_write;
850
851 old_cred = ovl_override_creds(dentry->d_sb);
852 if (!lower_positive)
853 err = ovl_remove_upper(dentry, is_dir, &list);
854 else
855 err = ovl_remove_and_whiteout(dentry, &list);
856 revert_creds(old_cred);
857 if (!err) {
858 if (is_dir)
859 clear_nlink(dentry->d_inode);
860 else
861 drop_nlink(dentry->d_inode);
862 }
David Brazdil0f672f62019-12-10 10:32:29 +0000863 ovl_nlink_end(dentry);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000864
865 /*
866 * Copy ctime
867 *
868 * Note: we fail to update ctime if there was no copy-up, only a
869 * whiteout
870 */
871 upperdentry = ovl_dentry_upper(dentry);
872 if (upperdentry)
873 ovl_copyattr(d_inode(upperdentry), d_inode(dentry));
874
875out_drop_write:
876 ovl_drop_write(dentry);
877out:
878 ovl_cache_free(&list);
879 return err;
880}
881
882static int ovl_unlink(struct inode *dir, struct dentry *dentry)
883{
884 return ovl_do_remove(dentry, false);
885}
886
887static int ovl_rmdir(struct inode *dir, struct dentry *dentry)
888{
889 return ovl_do_remove(dentry, true);
890}
891
892static bool ovl_type_merge_or_lower(struct dentry *dentry)
893{
894 enum ovl_path_type type = ovl_path_type(dentry);
895
896 return OVL_TYPE_MERGE(type) || !OVL_TYPE_UPPER(type);
897}
898
899static bool ovl_can_move(struct dentry *dentry)
900{
901 return ovl_redirect_dir(dentry->d_sb) ||
902 !d_is_dir(dentry) || !ovl_type_merge_or_lower(dentry);
903}
904
905static char *ovl_get_redirect(struct dentry *dentry, bool abs_redirect)
906{
907 char *buf, *ret;
908 struct dentry *d, *tmp;
909 int buflen = ovl_redirect_max + 1;
910
911 if (!abs_redirect) {
912 ret = kstrndup(dentry->d_name.name, dentry->d_name.len,
913 GFP_KERNEL);
914 goto out;
915 }
916
917 buf = ret = kmalloc(buflen, GFP_KERNEL);
918 if (!buf)
919 goto out;
920
921 buflen--;
922 buf[buflen] = '\0';
923 for (d = dget(dentry); !IS_ROOT(d);) {
924 const char *name;
925 int thislen;
926
927 spin_lock(&d->d_lock);
928 name = ovl_dentry_get_redirect(d);
929 if (name) {
930 thislen = strlen(name);
931 } else {
932 name = d->d_name.name;
933 thislen = d->d_name.len;
934 }
935
936 /* If path is too long, fall back to userspace move */
937 if (thislen + (name[0] != '/') > buflen) {
938 ret = ERR_PTR(-EXDEV);
939 spin_unlock(&d->d_lock);
940 goto out_put;
941 }
942
943 buflen -= thislen;
944 memcpy(&buf[buflen], name, thislen);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000945 spin_unlock(&d->d_lock);
Olivier Deprez0e641232021-09-23 10:07:05 +0200946 tmp = dget_parent(d);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000947
948 dput(d);
949 d = tmp;
950
951 /* Absolute redirect: finished */
952 if (buf[buflen] == '/')
953 break;
954 buflen--;
955 buf[buflen] = '/';
956 }
957 ret = kstrdup(&buf[buflen], GFP_KERNEL);
958out_put:
959 dput(d);
960 kfree(buf);
961out:
962 return ret ? ret : ERR_PTR(-ENOMEM);
963}
964
965static bool ovl_need_absolute_redirect(struct dentry *dentry, bool samedir)
966{
967 struct dentry *lowerdentry;
968
969 if (!samedir)
970 return true;
971
972 if (d_is_dir(dentry))
973 return false;
974
975 /*
976 * For non-dir hardlinked files, we need absolute redirects
977 * in general as two upper hardlinks could be in different
978 * dirs. We could put a relative redirect now and convert
979 * it to absolute redirect later. But when nlink > 1 and
980 * indexing is on, that means relative redirect needs to be
981 * converted to absolute during copy up of another lower
982 * hardllink as well.
983 *
984 * So without optimizing too much, just check if lower is
985 * a hard link or not. If lower is hard link, put absolute
986 * redirect.
987 */
988 lowerdentry = ovl_dentry_lower(dentry);
989 return (d_inode(lowerdentry)->i_nlink > 1);
990}
991
992static int ovl_set_redirect(struct dentry *dentry, bool samedir)
993{
994 int err;
995 const char *redirect = ovl_dentry_get_redirect(dentry);
996 bool absolute_redirect = ovl_need_absolute_redirect(dentry, samedir);
997
998 if (redirect && (!absolute_redirect || redirect[0] == '/'))
999 return 0;
1000
1001 redirect = ovl_get_redirect(dentry, absolute_redirect);
1002 if (IS_ERR(redirect))
1003 return PTR_ERR(redirect);
1004
1005 err = ovl_check_setxattr(dentry, ovl_dentry_upper(dentry),
1006 OVL_XATTR_REDIRECT,
1007 redirect, strlen(redirect), -EXDEV);
1008 if (!err) {
1009 spin_lock(&dentry->d_lock);
1010 ovl_dentry_set_redirect(dentry, redirect);
1011 spin_unlock(&dentry->d_lock);
1012 } else {
1013 kfree(redirect);
1014 pr_warn_ratelimited("overlayfs: failed to set redirect (%i)\n",
1015 err);
1016 /* Fall back to userspace copy-up */
1017 err = -EXDEV;
1018 }
1019 return err;
1020}
1021
1022static int ovl_rename(struct inode *olddir, struct dentry *old,
1023 struct inode *newdir, struct dentry *new,
1024 unsigned int flags)
1025{
1026 int err;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001027 struct dentry *old_upperdir;
1028 struct dentry *new_upperdir;
1029 struct dentry *olddentry;
1030 struct dentry *newdentry;
1031 struct dentry *trap;
1032 bool old_opaque;
1033 bool new_opaque;
1034 bool cleanup_whiteout = false;
David Brazdil0f672f62019-12-10 10:32:29 +00001035 bool update_nlink = false;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001036 bool overwrite = !(flags & RENAME_EXCHANGE);
1037 bool is_dir = d_is_dir(old);
1038 bool new_is_dir = d_is_dir(new);
1039 bool samedir = olddir == newdir;
1040 struct dentry *opaquedir = NULL;
1041 const struct cred *old_cred = NULL;
1042 LIST_HEAD(list);
1043
1044 err = -EINVAL;
1045 if (flags & ~(RENAME_EXCHANGE | RENAME_NOREPLACE))
1046 goto out;
1047
1048 flags &= ~RENAME_NOREPLACE;
1049
1050 /* Don't copy up directory trees */
1051 err = -EXDEV;
1052 if (!ovl_can_move(old))
1053 goto out;
1054 if (!overwrite && !ovl_can_move(new))
1055 goto out;
1056
1057 if (overwrite && new_is_dir && !ovl_pure_upper(new)) {
1058 err = ovl_check_empty_dir(new, &list);
1059 if (err)
1060 goto out;
1061 }
1062
1063 if (overwrite) {
1064 if (ovl_lower_positive(old)) {
1065 if (!ovl_dentry_is_whiteout(new)) {
1066 /* Whiteout source */
1067 flags |= RENAME_WHITEOUT;
1068 } else {
1069 /* Switch whiteouts */
1070 flags |= RENAME_EXCHANGE;
1071 }
1072 } else if (is_dir && ovl_dentry_is_whiteout(new)) {
1073 flags |= RENAME_EXCHANGE;
1074 cleanup_whiteout = true;
1075 }
1076 }
1077
1078 err = ovl_want_write(old);
1079 if (err)
1080 goto out;
1081
1082 err = ovl_copy_up(old);
1083 if (err)
1084 goto out_drop_write;
1085
1086 err = ovl_copy_up(new->d_parent);
1087 if (err)
1088 goto out_drop_write;
1089 if (!overwrite) {
1090 err = ovl_copy_up(new);
1091 if (err)
1092 goto out_drop_write;
David Brazdil0f672f62019-12-10 10:32:29 +00001093 } else if (d_inode(new)) {
1094 err = ovl_nlink_start(new);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001095 if (err)
1096 goto out_drop_write;
David Brazdil0f672f62019-12-10 10:32:29 +00001097
1098 update_nlink = true;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001099 }
1100
1101 old_cred = ovl_override_creds(old->d_sb);
1102
1103 if (!list_empty(&list)) {
1104 opaquedir = ovl_clear_empty(new, &list);
1105 err = PTR_ERR(opaquedir);
1106 if (IS_ERR(opaquedir)) {
1107 opaquedir = NULL;
1108 goto out_revert_creds;
1109 }
1110 }
1111
1112 old_upperdir = ovl_dentry_upper(old->d_parent);
1113 new_upperdir = ovl_dentry_upper(new->d_parent);
1114
1115 if (!samedir) {
1116 /*
1117 * When moving a merge dir or non-dir with copy up origin into
1118 * a new parent, we are marking the new parent dir "impure".
1119 * When ovl_iterate() iterates an "impure" upper dir, it will
1120 * lookup the origin inodes of the entries to fill d_ino.
1121 */
1122 if (ovl_type_origin(old)) {
1123 err = ovl_set_impure(new->d_parent, new_upperdir);
1124 if (err)
1125 goto out_revert_creds;
1126 }
1127 if (!overwrite && ovl_type_origin(new)) {
1128 err = ovl_set_impure(old->d_parent, old_upperdir);
1129 if (err)
1130 goto out_revert_creds;
1131 }
1132 }
1133
1134 trap = lock_rename(new_upperdir, old_upperdir);
1135
1136 olddentry = lookup_one_len(old->d_name.name, old_upperdir,
1137 old->d_name.len);
1138 err = PTR_ERR(olddentry);
1139 if (IS_ERR(olddentry))
1140 goto out_unlock;
1141
1142 err = -ESTALE;
1143 if (!ovl_matches_upper(old, olddentry))
1144 goto out_dput_old;
1145
1146 newdentry = lookup_one_len(new->d_name.name, new_upperdir,
1147 new->d_name.len);
1148 err = PTR_ERR(newdentry);
1149 if (IS_ERR(newdentry))
1150 goto out_dput_old;
1151
1152 old_opaque = ovl_dentry_is_opaque(old);
1153 new_opaque = ovl_dentry_is_opaque(new);
1154
1155 err = -ESTALE;
1156 if (d_inode(new) && ovl_dentry_upper(new)) {
1157 if (opaquedir) {
1158 if (newdentry != opaquedir)
1159 goto out_dput;
1160 } else {
1161 if (!ovl_matches_upper(new, newdentry))
1162 goto out_dput;
1163 }
1164 } else {
1165 if (!d_is_negative(newdentry) &&
1166 (!new_opaque || !ovl_is_whiteout(newdentry)))
1167 goto out_dput;
1168 }
1169
1170 if (olddentry == trap)
1171 goto out_dput;
1172 if (newdentry == trap)
1173 goto out_dput;
1174
Olivier Deprez0e641232021-09-23 10:07:05 +02001175 if (olddentry->d_inode == newdentry->d_inode)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001176 goto out_dput;
1177
1178 err = 0;
1179 if (ovl_type_merge_or_lower(old))
1180 err = ovl_set_redirect(old, samedir);
1181 else if (is_dir && !old_opaque && ovl_type_merge(new->d_parent))
1182 err = ovl_set_opaque_xerr(old, olddentry, -EXDEV);
1183 if (err)
1184 goto out_dput;
1185
1186 if (!overwrite && ovl_type_merge_or_lower(new))
1187 err = ovl_set_redirect(new, samedir);
1188 else if (!overwrite && new_is_dir && !new_opaque &&
1189 ovl_type_merge(old->d_parent))
1190 err = ovl_set_opaque_xerr(new, newdentry, -EXDEV);
1191 if (err)
1192 goto out_dput;
1193
1194 err = ovl_do_rename(old_upperdir->d_inode, olddentry,
1195 new_upperdir->d_inode, newdentry, flags);
1196 if (err)
1197 goto out_dput;
1198
1199 if (cleanup_whiteout)
1200 ovl_cleanup(old_upperdir->d_inode, newdentry);
1201
1202 if (overwrite && d_inode(new)) {
1203 if (new_is_dir)
1204 clear_nlink(d_inode(new));
1205 else
1206 drop_nlink(d_inode(new));
1207 }
1208
1209 ovl_dir_modified(old->d_parent, ovl_type_origin(old) ||
1210 (!overwrite && ovl_type_origin(new)));
1211 ovl_dir_modified(new->d_parent, ovl_type_origin(old) ||
1212 (d_inode(new) && ovl_type_origin(new)));
1213
1214 /* copy ctime: */
1215 ovl_copyattr(d_inode(olddentry), d_inode(old));
1216 if (d_inode(new) && ovl_dentry_upper(new))
1217 ovl_copyattr(d_inode(newdentry), d_inode(new));
1218
1219out_dput:
1220 dput(newdentry);
1221out_dput_old:
1222 dput(olddentry);
1223out_unlock:
1224 unlock_rename(new_upperdir, old_upperdir);
1225out_revert_creds:
1226 revert_creds(old_cred);
David Brazdil0f672f62019-12-10 10:32:29 +00001227 if (update_nlink)
1228 ovl_nlink_end(new);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001229out_drop_write:
1230 ovl_drop_write(old);
1231out:
1232 dput(opaquedir);
1233 ovl_cache_free(&list);
1234 return err;
1235}
1236
1237const struct inode_operations ovl_dir_inode_operations = {
1238 .lookup = ovl_lookup,
1239 .mkdir = ovl_mkdir,
1240 .symlink = ovl_symlink,
1241 .unlink = ovl_unlink,
1242 .rmdir = ovl_rmdir,
1243 .rename = ovl_rename,
1244 .link = ovl_link,
1245 .setattr = ovl_setattr,
1246 .create = ovl_create,
1247 .mknod = ovl_mknod,
1248 .permission = ovl_permission,
1249 .getattr = ovl_getattr,
1250 .listxattr = ovl_listxattr,
1251 .get_acl = ovl_get_acl,
1252 .update_time = ovl_update_time,
1253};