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