blob: 5bc71642b22605367ee319abdf8e45a0ec9adcde [file] [log] [blame]
Miklos Szeredie9be9d52014-10-24 00:14:38 +02001/*
2 *
3 * Copyright (C) 2011 Novell Inc.
4 *
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.
8 */
9
10#include <linux/fs.h>
11#include <linux/slab.h>
Ingo Molnar5b825c32017-02-02 17:54:15 +010012#include <linux/cred.h>
Miklos Szeredie9be9d52014-10-24 00:14:38 +020013#include <linux/xattr.h>
Miklos Szeredi5201dc42016-09-01 11:11:59 +020014#include <linux/posix_acl.h>
Amir Goldstein5f8415d2017-06-20 15:35:14 +030015#include <linux/ratelimit.h>
Miklos Szeredie9be9d52014-10-24 00:14:38 +020016#include "overlayfs.h"
17
Miklos Szeredie9be9d52014-10-24 00:14:38 +020018int ovl_setattr(struct dentry *dentry, struct iattr *attr)
19{
20 int err;
21 struct dentry *upperdentry;
Vivek Goyal1175b6b2016-07-01 16:34:28 -040022 const struct cred *old_cred;
Miklos Szeredie9be9d52014-10-24 00:14:38 +020023
Miklos Szeredicf9a6782015-12-11 16:30:49 +010024 /*
25 * Check for permissions before trying to copy-up. This is redundant
26 * since it will be rechecked later by ->setattr() on upper dentry. But
27 * without this, copy-up can be triggered by just about anybody.
28 *
29 * We don't initialize inode->size, which just means that
30 * inode_newsize_ok() will always check against MAX_LFS_FILESIZE and not
31 * check for a swapfile (which this won't be anyway).
32 */
Jan Kara31051c82016-05-26 16:55:18 +020033 err = setattr_prepare(dentry, attr);
Miklos Szeredicf9a6782015-12-11 16:30:49 +010034 if (err)
35 return err;
36
Miklos Szeredie9be9d52014-10-24 00:14:38 +020037 err = ovl_want_write(dentry);
38 if (err)
39 goto out;
40
Miklos Szerediacff81e2015-12-04 19:18:48 +010041 err = ovl_copy_up(dentry);
42 if (!err) {
43 upperdentry = ovl_dentry_upper(dentry);
44
Miklos Szeredib99c2d92016-07-04 16:49:48 +020045 if (attr->ia_valid & (ATTR_KILL_SUID|ATTR_KILL_SGID))
46 attr->ia_valid &= ~ATTR_MODE;
47
Al Viro59551022016-01-22 15:40:57 -050048 inode_lock(upperdentry->d_inode);
Vivek Goyal1175b6b2016-07-01 16:34:28 -040049 old_cred = ovl_override_creds(dentry->d_sb);
Miklos Szeredie9be9d52014-10-24 00:14:38 +020050 err = notify_change(upperdentry, attr, NULL);
Vivek Goyal1175b6b2016-07-01 16:34:28 -040051 revert_creds(old_cred);
Konstantin Khlebnikovb81de062016-01-31 16:21:29 +030052 if (!err)
53 ovl_copyattr(upperdentry->d_inode, dentry->d_inode);
Al Viro59551022016-01-22 15:40:57 -050054 inode_unlock(upperdentry->d_inode);
Miklos Szeredie9be9d52014-10-24 00:14:38 +020055 }
56 ovl_drop_write(dentry);
57out:
58 return err;
59}
60
Miklos Szeredi5b712092017-05-05 11:38:58 +020061int ovl_getattr(const struct path *path, struct kstat *stat,
62 u32 request_mask, unsigned int flags)
Miklos Szeredie9be9d52014-10-24 00:14:38 +020063{
David Howellsa528d352017-01-31 16:46:22 +000064 struct dentry *dentry = path->dentry;
Amir Goldstein72b608f2017-04-24 00:25:49 +030065 enum ovl_path_type type;
Miklos Szeredie9be9d52014-10-24 00:14:38 +020066 struct path realpath;
Vivek Goyal1175b6b2016-07-01 16:34:28 -040067 const struct cred *old_cred;
Miklos Szeredi5b712092017-05-05 11:38:58 +020068 bool is_dir = S_ISDIR(dentry->d_inode->i_mode);
Vivek Goyal1175b6b2016-07-01 16:34:28 -040069 int err;
Miklos Szeredie9be9d52014-10-24 00:14:38 +020070
Amir Goldstein72b608f2017-04-24 00:25:49 +030071 type = ovl_path_real(dentry, &realpath);
Vivek Goyal1175b6b2016-07-01 16:34:28 -040072 old_cred = ovl_override_creds(dentry->d_sb);
David Howellsa528d352017-01-31 16:46:22 +000073 err = vfs_getattr(&realpath, stat, request_mask, flags);
Amir Goldstein72b608f2017-04-24 00:25:49 +030074 if (err)
75 goto out;
76
77 /*
78 * When all layers are on the same fs, all real inode number are
79 * unique, so we use the overlay st_dev, which is friendly to du -x.
80 *
81 * We also use st_ino of the copy up origin, if we know it.
82 * This guaranties constant st_dev/st_ino across copy up.
83 *
84 * If filesystem supports NFS export ops, this also guaranties
85 * persistent st_ino across mount cycle.
86 */
87 if (ovl_same_sb(dentry->d_sb)) {
88 if (OVL_TYPE_ORIGIN(type)) {
89 struct kstat lowerstat;
Miklos Szeredi5b712092017-05-05 11:38:58 +020090 u32 lowermask = STATX_INO | (!is_dir ? STATX_NLINK : 0);
Amir Goldstein72b608f2017-04-24 00:25:49 +030091
92 ovl_path_lower(dentry, &realpath);
93 err = vfs_getattr(&realpath, &lowerstat,
Miklos Szeredi5b712092017-05-05 11:38:58 +020094 lowermask, flags);
Amir Goldstein72b608f2017-04-24 00:25:49 +030095 if (err)
96 goto out;
97
98 WARN_ON_ONCE(stat->dev != lowerstat.dev);
99 /*
Amir Goldstein359f3922017-06-21 15:28:41 +0300100 * Lower hardlinks may be broken on copy up to different
Amir Goldstein72b608f2017-04-24 00:25:49 +0300101 * upper files, so we cannot use the lower origin st_ino
102 * for those different files, even for the same fs case.
Amir Goldstein359f3922017-06-21 15:28:41 +0300103 * With inodes index enabled, it is safe to use st_ino
104 * of an indexed hardlinked origin. The index validates
105 * that the upper hardlink is not broken.
Amir Goldstein72b608f2017-04-24 00:25:49 +0300106 */
Amir Goldstein359f3922017-06-21 15:28:41 +0300107 if (is_dir || lowerstat.nlink == 1 ||
108 ovl_test_flag(OVL_INDEX, d_inode(dentry)))
Amir Goldstein72b608f2017-04-24 00:25:49 +0300109 stat->ino = lowerstat.ino;
110 }
111 stat->dev = dentry->d_sb->s_dev;
Miklos Szeredi5b712092017-05-05 11:38:58 +0200112 } else if (is_dir) {
113 /*
114 * If not all layers are on the same fs the pair {real st_ino;
115 * overlay st_dev} is not unique, so use the non persistent
116 * overlay st_ino.
117 *
118 * Always use the overlay st_dev for directories, so 'find
119 * -xdev' will scan the entire overlay mount and won't cross the
120 * overlay mount boundaries.
121 */
122 stat->dev = dentry->d_sb->s_dev;
123 stat->ino = dentry->d_inode->i_ino;
Amir Goldstein72b608f2017-04-24 00:25:49 +0300124 }
Miklos Szeredi5b712092017-05-05 11:38:58 +0200125
126 /*
127 * It's probably not worth it to count subdirs to get the
128 * correct link count. nlink=1 seems to pacify 'find' and
129 * other utilities.
130 */
131 if (is_dir && OVL_TYPE_MERGE(type))
132 stat->nlink = 1;
133
Amir Goldstein5f8415d2017-06-20 15:35:14 +0300134 /*
135 * Return the overlay inode nlinks for indexed upper inodes.
136 * Overlay inode nlink counts the union of the upper hardlinks
137 * and non-covered lower hardlinks. It does not include the upper
138 * index hardlink.
139 */
140 if (!is_dir && ovl_test_flag(OVL_INDEX, d_inode(dentry)))
141 stat->nlink = dentry->d_inode->i_nlink;
142
Amir Goldstein72b608f2017-04-24 00:25:49 +0300143out:
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400144 revert_creds(old_cred);
Amir Goldstein72b608f2017-04-24 00:25:49 +0300145
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400146 return err;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200147}
148
149int ovl_permission(struct inode *inode, int mask)
150{
Miklos Szeredi09d8b582017-07-04 22:03:16 +0200151 struct inode *upperinode = ovl_inode_upper(inode);
152 struct inode *realinode = upperinode ?: ovl_inode_lower(inode);
Vivek Goyalc0ca3d72016-07-01 16:34:27 -0400153 const struct cred *old_cred;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200154 int err;
155
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200156 /* Careful in RCU walk mode */
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200157 if (!realinode) {
158 WARN_ON(!(mask & MAY_NOT_BLOCK));
Miklos Szeredia999d7e2016-07-29 12:05:23 +0200159 return -ECHILD;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200160 }
161
Vivek Goyalc0ca3d72016-07-01 16:34:27 -0400162 /*
163 * Check overlay inode with the creds of task and underlying inode
164 * with creds of mounter
165 */
166 err = generic_permission(inode, mask);
167 if (err)
168 return err;
169
170 old_cred = ovl_override_creds(inode->i_sb);
Miklos Szeredi09d8b582017-07-04 22:03:16 +0200171 if (!upperinode &&
172 !special_file(realinode->i_mode) && mask & MAY_WRITE) {
Vivek Goyal754f8cb2016-07-01 16:34:29 -0400173 mask &= ~(MAY_WRITE | MAY_APPEND);
Vivek Goyal500cac32016-07-13 11:00:14 -0400174 /* Make sure mounter can read file for copy up later */
175 mask |= MAY_READ;
176 }
Miklos Szeredi9c630eb2016-07-29 12:05:23 +0200177 err = inode_permission(realinode, mask);
Vivek Goyalc0ca3d72016-07-01 16:34:27 -0400178 revert_creds(old_cred);
179
180 return err;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200181}
182
Al Viro6b255392015-11-17 10:20:54 -0500183static const char *ovl_get_link(struct dentry *dentry,
Al Virofceef392015-12-29 15:58:39 -0500184 struct inode *inode,
185 struct delayed_call *done)
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200186{
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400187 const struct cred *old_cred;
188 const char *p;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200189
Al Viro6b255392015-11-17 10:20:54 -0500190 if (!dentry)
191 return ERR_PTR(-ECHILD);
192
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400193 old_cred = ovl_override_creds(dentry->d_sb);
Miklos Szeredi7764235b2016-10-04 14:40:45 +0200194 p = vfs_get_link(ovl_dentry_real(dentry), done);
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400195 revert_creds(old_cred);
196 return p;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200197}
198
Miklos Szeredi09562542016-08-08 15:08:49 +0200199bool ovl_is_private_xattr(const char *name)
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200200{
Andreas Gruenbacherfe2b7592016-08-22 17:59:22 +0200201 return strncmp(name, OVL_XATTR_PREFIX,
202 sizeof(OVL_XATTR_PREFIX) - 1) == 0;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200203}
204
Miklos Szeredi1d88f182017-07-20 11:08:21 +0200205int ovl_xattr_set(struct dentry *dentry, struct inode *inode, const char *name,
206 const void *value, size_t size, int flags)
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200207{
208 int err;
Miklos Szeredi1d88f182017-07-20 11:08:21 +0200209 struct dentry *upperdentry = ovl_i_dentry_upper(inode);
210 struct dentry *realdentry = upperdentry ?: ovl_dentry_lower(dentry);
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400211 const struct cred *old_cred;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200212
213 err = ovl_want_write(dentry);
214 if (err)
215 goto out;
216
Miklos Szeredi1d88f182017-07-20 11:08:21 +0200217 if (!value && !upperdentry) {
218 err = vfs_getxattr(realdentry, name, NULL, 0);
Andreas Gruenbacher0e585cc2016-08-22 17:22:11 +0200219 if (err < 0)
220 goto out_drop_write;
221 }
222
Miklos Szeredi1d88f182017-07-20 11:08:21 +0200223 if (!upperdentry) {
224 err = ovl_copy_up(dentry);
225 if (err)
226 goto out_drop_write;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200227
Miklos Szeredi1d88f182017-07-20 11:08:21 +0200228 realdentry = ovl_dentry_upper(dentry);
229 }
Andreas Gruenbacher0e585cc2016-08-22 17:22:11 +0200230
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400231 old_cred = ovl_override_creds(dentry->d_sb);
Andreas Gruenbacher0e585cc2016-08-22 17:22:11 +0200232 if (value)
Miklos Szeredi1d88f182017-07-20 11:08:21 +0200233 err = vfs_setxattr(realdentry, name, value, size, flags);
Andreas Gruenbacher0e585cc2016-08-22 17:22:11 +0200234 else {
235 WARN_ON(flags != XATTR_REPLACE);
Miklos Szeredi1d88f182017-07-20 11:08:21 +0200236 err = vfs_removexattr(realdentry, name);
Andreas Gruenbacher0e585cc2016-08-22 17:22:11 +0200237 }
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400238 revert_creds(old_cred);
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200239
240out_drop_write:
241 ovl_drop_write(dentry);
242out:
243 return err;
244}
245
Miklos Szeredi1d88f182017-07-20 11:08:21 +0200246int ovl_xattr_get(struct dentry *dentry, struct inode *inode, const char *name,
Andreas Gruenbacher0eb45fc2016-08-22 17:52:55 +0200247 void *value, size_t size)
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200248{
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400249 ssize_t res;
250 const struct cred *old_cred;
Miklos Szeredi1d88f182017-07-20 11:08:21 +0200251 struct dentry *realdentry =
252 ovl_i_dentry_upper(inode) ?: ovl_dentry_lower(dentry);
Miklos Szeredi52148462014-11-20 16:40:00 +0100253
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400254 old_cred = ovl_override_creds(dentry->d_sb);
255 res = vfs_getxattr(realdentry, name, value, size);
256 revert_creds(old_cred);
257 return res;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200258}
259
Miklos Szeredia082c6f2017-05-29 15:15:27 +0200260static bool ovl_can_list(const char *s)
261{
262 /* List all non-trusted xatts */
263 if (strncmp(s, XATTR_TRUSTED_PREFIX, XATTR_TRUSTED_PREFIX_LEN) != 0)
264 return true;
265
266 /* Never list trusted.overlay, list other trusted for superuser only */
267 return !ovl_is_private_xattr(s) && capable(CAP_SYS_ADMIN);
268}
269
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200270ssize_t ovl_listxattr(struct dentry *dentry, char *list, size_t size)
271{
Miklos Szeredib5817552016-06-06 16:21:37 +0200272 struct dentry *realdentry = ovl_dentry_real(dentry);
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200273 ssize_t res;
Miklos Szeredi7cb35112016-09-01 11:12:00 +0200274 size_t len;
275 char *s;
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400276 const struct cred *old_cred;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200277
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400278 old_cred = ovl_override_creds(dentry->d_sb);
Miklos Szeredib5817552016-06-06 16:21:37 +0200279 res = vfs_listxattr(realdentry, list, size);
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400280 revert_creds(old_cred);
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200281 if (res <= 0 || size == 0)
282 return res;
283
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200284 /* filter out private xattrs */
Miklos Szeredi7cb35112016-09-01 11:12:00 +0200285 for (s = list, len = res; len;) {
286 size_t slen = strnlen(s, len) + 1;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200287
Miklos Szeredi7cb35112016-09-01 11:12:00 +0200288 /* underlying fs providing us with an broken xattr list? */
289 if (WARN_ON(slen > len))
290 return -EIO;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200291
Miklos Szeredi7cb35112016-09-01 11:12:00 +0200292 len -= slen;
Miklos Szeredia082c6f2017-05-29 15:15:27 +0200293 if (!ovl_can_list(s)) {
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200294 res -= slen;
Miklos Szeredi7cb35112016-09-01 11:12:00 +0200295 memmove(s, s + slen, len);
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200296 } else {
Miklos Szeredi7cb35112016-09-01 11:12:00 +0200297 s += slen;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200298 }
299 }
300
301 return res;
302}
303
Vivek Goyal39a25b22016-07-01 16:34:26 -0400304struct posix_acl *ovl_get_acl(struct inode *inode, int type)
305{
Miklos Szeredi09d8b582017-07-04 22:03:16 +0200306 struct inode *realinode = ovl_inode_real(inode);
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400307 const struct cred *old_cred;
308 struct posix_acl *acl;
Vivek Goyal39a25b22016-07-01 16:34:26 -0400309
Miklos Szeredi5201dc42016-09-01 11:11:59 +0200310 if (!IS_ENABLED(CONFIG_FS_POSIX_ACL) || !IS_POSIXACL(realinode))
Vivek Goyal39a25b22016-07-01 16:34:26 -0400311 return NULL;
312
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400313 old_cred = ovl_override_creds(inode->i_sb);
Miklos Szeredi5201dc42016-09-01 11:11:59 +0200314 acl = get_acl(realinode, type);
Vivek Goyal1175b6b2016-07-01 16:34:28 -0400315 revert_creds(old_cred);
316
317 return acl;
Vivek Goyal39a25b22016-07-01 16:34:26 -0400318}
319
Amir Goldstein59be0972017-06-20 15:25:46 +0300320static bool ovl_open_need_copy_up(struct dentry *dentry, int flags)
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200321{
Amir Goldstein59be0972017-06-20 15:25:46 +0300322 if (ovl_dentry_upper(dentry) &&
323 ovl_dentry_has_upper_alias(dentry))
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200324 return false;
325
Amir Goldstein59be0972017-06-20 15:25:46 +0300326 if (special_file(d_inode(dentry)->i_mode))
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200327 return false;
328
329 if (!(OPEN_FMODE(flags) & FMODE_WRITE) && !(flags & O_TRUNC))
330 return false;
331
332 return true;
333}
334
Miklos Szeredi2d902672016-06-30 08:53:27 +0200335int ovl_open_maybe_copy_up(struct dentry *dentry, unsigned int file_flags)
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200336{
Miklos Szeredi2d902672016-06-30 08:53:27 +0200337 int err = 0;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200338
Amir Goldstein59be0972017-06-20 15:25:46 +0300339 if (ovl_open_need_copy_up(dentry, file_flags)) {
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200340 err = ovl_want_write(dentry);
Miklos Szeredi2d902672016-06-30 08:53:27 +0200341 if (!err) {
Amir Goldstein9aba6522016-11-12 21:36:03 +0200342 err = ovl_copy_up_flags(dentry, file_flags);
Miklos Szeredi2d902672016-06-30 08:53:27 +0200343 ovl_drop_write(dentry);
344 }
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200345 }
346
Miklos Szeredi2d902672016-06-30 08:53:27 +0200347 return err;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200348}
349
Miklos Szeredid719e8f2016-07-29 12:05:23 +0200350int ovl_update_time(struct inode *inode, struct timespec *ts, int flags)
351{
352 struct dentry *alias;
353 struct path upperpath;
354
355 if (!(flags & S_ATIME))
356 return 0;
357
358 alias = d_find_any_alias(inode);
359 if (!alias)
360 return 0;
361
362 ovl_path_upper(alias, &upperpath);
363 if (upperpath.dentry) {
364 touch_atime(&upperpath);
365 inode->i_atime = d_inode(upperpath.dentry)->i_atime;
366 }
367
368 dput(alias);
369
370 return 0;
371}
372
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200373static const struct inode_operations ovl_file_inode_operations = {
374 .setattr = ovl_setattr,
375 .permission = ovl_permission,
376 .getattr = ovl_getattr,
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200377 .listxattr = ovl_listxattr,
Vivek Goyal39a25b22016-07-01 16:34:26 -0400378 .get_acl = ovl_get_acl,
Miklos Szeredid719e8f2016-07-29 12:05:23 +0200379 .update_time = ovl_update_time,
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200380};
381
382static const struct inode_operations ovl_symlink_inode_operations = {
383 .setattr = ovl_setattr,
Al Viro6b255392015-11-17 10:20:54 -0500384 .get_link = ovl_get_link,
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200385 .getattr = ovl_getattr,
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200386 .listxattr = ovl_listxattr,
Miklos Szeredid719e8f2016-07-29 12:05:23 +0200387 .update_time = ovl_update_time,
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200388};
389
Amir Goldsteinb1eaa952017-01-11 12:07:46 +0200390/*
391 * It is possible to stack overlayfs instance on top of another
392 * overlayfs instance as lower layer. We need to annonate the
393 * stackable i_mutex locks according to stack level of the super
394 * block instance. An overlayfs instance can never be in stack
395 * depth 0 (there is always a real fs below it). An overlayfs
396 * inode lock will use the lockdep annotaion ovl_i_mutex_key[depth].
397 *
398 * For example, here is a snip from /proc/lockdep_chains after
399 * dir_iterate of nested overlayfs:
400 *
401 * [...] &ovl_i_mutex_dir_key[depth] (stack_depth=2)
402 * [...] &ovl_i_mutex_dir_key[depth]#2 (stack_depth=1)
403 * [...] &type->i_mutex_dir_key (stack_depth=0)
404 */
405#define OVL_MAX_NESTING FILESYSTEM_MAX_STACK_DEPTH
406
407static inline void ovl_lockdep_annotate_inode_mutex_key(struct inode *inode)
408{
409#ifdef CONFIG_LOCKDEP
410 static struct lock_class_key ovl_i_mutex_key[OVL_MAX_NESTING];
411 static struct lock_class_key ovl_i_mutex_dir_key[OVL_MAX_NESTING];
412
413 int depth = inode->i_sb->s_stack_depth - 1;
414
415 if (WARN_ON_ONCE(depth < 0 || depth >= OVL_MAX_NESTING))
416 depth = 0;
417
418 if (S_ISDIR(inode->i_mode))
419 lockdep_set_class(&inode->i_rwsem, &ovl_i_mutex_dir_key[depth]);
420 else
421 lockdep_set_class(&inode->i_rwsem, &ovl_i_mutex_key[depth]);
422#endif
423}
424
Miklos Szeredica4c8a32016-12-16 11:02:55 +0100425static void ovl_fill_inode(struct inode *inode, umode_t mode, dev_t rdev)
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200426{
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200427 inode->i_ino = get_next_ino();
428 inode->i_mode = mode;
Miklos Szeredid719e8f2016-07-29 12:05:23 +0200429 inode->i_flags |= S_NOCMTIME;
Miklos Szeredi2a3a2a32016-09-01 11:11:59 +0200430#ifdef CONFIG_FS_POSIX_ACL
431 inode->i_acl = inode->i_default_acl = ACL_DONT_CACHE;
432#endif
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200433
Amir Goldsteinb1eaa952017-01-11 12:07:46 +0200434 ovl_lockdep_annotate_inode_mutex_key(inode);
435
Miklos Szeredica4c8a32016-12-16 11:02:55 +0100436 switch (mode & S_IFMT) {
437 case S_IFREG:
438 inode->i_op = &ovl_file_inode_operations;
439 break;
440
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200441 case S_IFDIR:
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200442 inode->i_op = &ovl_dir_inode_operations;
443 inode->i_fop = &ovl_dir_operations;
444 break;
445
446 case S_IFLNK:
447 inode->i_op = &ovl_symlink_inode_operations;
448 break;
449
Miklos Szeredi51f7e522016-07-29 12:05:24 +0200450 default:
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200451 inode->i_op = &ovl_file_inode_operations;
Miklos Szeredica4c8a32016-12-16 11:02:55 +0100452 init_special_inode(inode, mode, rdev);
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200453 break;
Miklos Szeredi51f7e522016-07-29 12:05:24 +0200454 }
455}
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200456
Amir Goldstein5f8415d2017-06-20 15:35:14 +0300457/*
458 * With inodes index enabled, an overlay inode nlink counts the union of upper
459 * hardlinks and non-covered lower hardlinks. During the lifetime of a non-pure
460 * upper inode, the following nlink modifying operations can happen:
461 *
462 * 1. Lower hardlink copy up
463 * 2. Upper hardlink created, unlinked or renamed over
464 * 3. Lower hardlink whiteout or renamed over
465 *
466 * For the first, copy up case, the union nlink does not change, whether the
467 * operation succeeds or fails, but the upper inode nlink may change.
468 * Therefore, before copy up, we store the union nlink value relative to the
469 * lower inode nlink in the index inode xattr trusted.overlay.nlink.
470 *
471 * For the second, upper hardlink case, the union nlink should be incremented
472 * or decremented IFF the operation succeeds, aligned with nlink change of the
473 * upper inode. Therefore, before link/unlink/rename, we store the union nlink
474 * value relative to the upper inode nlink in the index inode.
475 *
476 * For the last, lower cover up case, we simplify things by preceding the
477 * whiteout or cover up with copy up. This makes sure that there is an index
478 * upper inode where the nlink xattr can be stored before the copied up upper
479 * entry is unlink.
480 */
481#define OVL_NLINK_ADD_UPPER (1 << 0)
482
483/*
484 * On-disk format for indexed nlink:
485 *
486 * nlink relative to the upper inode - "U[+-]NUM"
487 * nlink relative to the lower inode - "L[+-]NUM"
488 */
489
490static int ovl_set_nlink_common(struct dentry *dentry,
491 struct dentry *realdentry, const char *format)
492{
493 struct inode *inode = d_inode(dentry);
494 struct inode *realinode = d_inode(realdentry);
495 char buf[13];
496 int len;
497
498 len = snprintf(buf, sizeof(buf), format,
499 (int) (inode->i_nlink - realinode->i_nlink));
500
501 return ovl_do_setxattr(ovl_dentry_upper(dentry),
502 OVL_XATTR_NLINK, buf, len, 0);
503}
504
505int ovl_set_nlink_upper(struct dentry *dentry)
506{
507 return ovl_set_nlink_common(dentry, ovl_dentry_upper(dentry), "U%+i");
508}
509
510int ovl_set_nlink_lower(struct dentry *dentry)
511{
512 return ovl_set_nlink_common(dentry, ovl_dentry_lower(dentry), "L%+i");
513}
514
Amir Goldsteincaf70cb2017-06-21 13:46:12 +0300515unsigned int ovl_get_nlink(struct dentry *lowerdentry,
516 struct dentry *upperdentry,
517 unsigned int fallback)
Amir Goldstein5f8415d2017-06-20 15:35:14 +0300518{
519 int nlink_diff;
520 int nlink;
521 char buf[13];
522 int err;
523
524 if (!lowerdentry || !upperdentry || d_inode(lowerdentry)->i_nlink == 1)
525 return fallback;
526
527 err = vfs_getxattr(upperdentry, OVL_XATTR_NLINK, &buf, sizeof(buf) - 1);
528 if (err < 0)
529 goto fail;
530
531 buf[err] = '\0';
532 if ((buf[0] != 'L' && buf[0] != 'U') ||
533 (buf[1] != '+' && buf[1] != '-'))
534 goto fail;
535
536 err = kstrtoint(buf + 1, 10, &nlink_diff);
537 if (err < 0)
538 goto fail;
539
540 nlink = d_inode(buf[0] == 'L' ? lowerdentry : upperdentry)->i_nlink;
541 nlink += nlink_diff;
542
543 if (nlink <= 0)
544 goto fail;
545
546 return nlink;
547
548fail:
549 pr_warn_ratelimited("overlayfs: failed to get index nlink (%pd2, err=%i)\n",
550 upperdentry, err);
551 return fallback;
552}
553
Miklos Szeredica4c8a32016-12-16 11:02:55 +0100554struct inode *ovl_new_inode(struct super_block *sb, umode_t mode, dev_t rdev)
Miklos Szeredi51f7e522016-07-29 12:05:24 +0200555{
556 struct inode *inode;
557
558 inode = new_inode(sb);
559 if (inode)
Miklos Szeredica4c8a32016-12-16 11:02:55 +0100560 ovl_fill_inode(inode, mode, rdev);
Miklos Szeredi51f7e522016-07-29 12:05:24 +0200561
562 return inode;
563}
564
565static int ovl_inode_test(struct inode *inode, void *data)
566{
Miklos Szeredi25b77132017-07-04 22:03:16 +0200567 return inode->i_private == data;
Miklos Szeredi51f7e522016-07-29 12:05:24 +0200568}
569
570static int ovl_inode_set(struct inode *inode, void *data)
571{
Miklos Szeredi25b77132017-07-04 22:03:16 +0200572 inode->i_private = data;
Miklos Szeredi51f7e522016-07-29 12:05:24 +0200573 return 0;
574}
575
Miklos Szeredib9ac5c272017-07-04 22:03:17 +0200576static bool ovl_verify_inode(struct inode *inode, struct dentry *lowerdentry,
577 struct dentry *upperdentry)
578{
579 struct inode *lowerinode = lowerdentry ? d_inode(lowerdentry) : NULL;
580
581 /* Lower (origin) inode must match, even if NULL */
582 if (ovl_inode_lower(inode) != lowerinode)
583 return false;
584
585 /*
586 * Allow non-NULL __upperdentry in inode even if upperdentry is NULL.
587 * This happens when finding a lower alias for a copied up hard link.
588 */
589 if (upperdentry && ovl_inode_upper(inode) != d_inode(upperdentry))
590 return false;
591
592 return true;
593}
594
Miklos Szeredi09d8b582017-07-04 22:03:16 +0200595struct inode *ovl_get_inode(struct dentry *dentry, struct dentry *upperdentry)
Miklos Szeredi51f7e522016-07-29 12:05:24 +0200596{
Miklos Szeredi09d8b582017-07-04 22:03:16 +0200597 struct dentry *lowerdentry = ovl_dentry_lower(dentry);
598 struct inode *realinode = upperdentry ? d_inode(upperdentry) : NULL;
Miklos Szeredi51f7e522016-07-29 12:05:24 +0200599 struct inode *inode;
600
Miklos Szeredi09d8b582017-07-04 22:03:16 +0200601 if (!realinode)
602 realinode = d_inode(lowerdentry);
603
Miklos Szeredib9ac5c272017-07-04 22:03:17 +0200604 if (!S_ISDIR(realinode->i_mode) &&
605 (upperdentry || (lowerdentry && ovl_indexdir(dentry->d_sb)))) {
606 struct inode *key = d_inode(lowerdentry ?: upperdentry);
Amir Goldstein5f8415d2017-06-20 15:35:14 +0300607 unsigned int nlink;
Miklos Szeredib9ac5c272017-07-04 22:03:17 +0200608
609 inode = iget5_locked(dentry->d_sb, (unsigned long) key,
610 ovl_inode_test, ovl_inode_set, key);
Miklos Szeredi09d8b582017-07-04 22:03:16 +0200611 if (!inode)
Miklos Szeredib9ac5c272017-07-04 22:03:17 +0200612 goto out_nomem;
Miklos Szeredi09d8b582017-07-04 22:03:16 +0200613 if (!(inode->i_state & I_NEW)) {
Miklos Szeredib9ac5c272017-07-04 22:03:17 +0200614 /*
615 * Verify that the underlying files stored in the inode
616 * match those in the dentry.
617 */
618 if (!ovl_verify_inode(inode, lowerdentry, upperdentry)) {
619 iput(inode);
620 inode = ERR_PTR(-ESTALE);
621 goto out;
622 }
623
Miklos Szeredi09d8b582017-07-04 22:03:16 +0200624 dput(upperdentry);
625 goto out;
626 }
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200627
Amir Goldstein5f8415d2017-06-20 15:35:14 +0300628 nlink = ovl_get_nlink(lowerdentry, upperdentry,
629 realinode->i_nlink);
630 set_nlink(inode, nlink);
Miklos Szeredie6d2ebd2017-07-04 22:03:16 +0200631 } else {
632 inode = new_inode(dentry->d_sb);
633 if (!inode)
Miklos Szeredib9ac5c272017-07-04 22:03:17 +0200634 goto out_nomem;
Miklos Szeredie6d2ebd2017-07-04 22:03:16 +0200635 }
636 ovl_fill_inode(inode, realinode->i_mode, realinode->i_rdev);
Miklos Szeredi09d8b582017-07-04 22:03:16 +0200637 ovl_inode_init(inode, upperdentry, lowerdentry);
Miklos Szeredi13c72072017-07-04 22:03:16 +0200638
639 if (upperdentry && ovl_is_impuredir(upperdentry))
640 ovl_set_flag(OVL_IMPURE, inode);
641
Miklos Szeredie6d2ebd2017-07-04 22:03:16 +0200642 if (inode->i_state & I_NEW)
643 unlock_new_inode(inode);
644out:
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200645 return inode;
Miklos Szeredib9ac5c272017-07-04 22:03:17 +0200646
647out_nomem:
648 inode = ERR_PTR(-ENOMEM);
649 goto out;
Miklos Szeredie9be9d52014-10-24 00:14:38 +0200650}