namei.c 120.6 KB
Newer Older
1
// SPDX-License-Identifier: GPL-2.0
L
Linus Torvalds 已提交
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
/*
 *  linux/fs/namei.c
 *
 *  Copyright (C) 1991, 1992  Linus Torvalds
 */

/*
 * Some corrections by tytso.
 */

/* [Feb 1997 T. Schoebel-Theuer] Complete rewrite of the pathname
 * lookup logic.
 */
/* [Feb-Apr 2000, AV] Rewrite to the new namespace architecture.
 */

#include <linux/init.h>
19
#include <linux/export.h>
20
#include <linux/kernel.h>
L
Linus Torvalds 已提交
21 22 23 24
#include <linux/slab.h>
#include <linux/fs.h>
#include <linux/namei.h>
#include <linux/pagemap.h>
R
Robert Love 已提交
25
#include <linux/fsnotify.h>
L
Linus Torvalds 已提交
26 27
#include <linux/personality.h>
#include <linux/security.h>
M
Mimi Zohar 已提交
28
#include <linux/ima.h>
L
Linus Torvalds 已提交
29 30 31
#include <linux/syscalls.h>
#include <linux/mount.h>
#include <linux/audit.h>
32
#include <linux/capability.h>
33
#include <linux/file.h>
34
#include <linux/fcntl.h>
35
#include <linux/device_cgroup.h>
36
#include <linux/fs_struct.h>
37
#include <linux/posix_acl.h>
38
#include <linux/hash.h>
39
#include <linux/bitops.h>
40
#include <linux/init_task.h>
41
#include <linux/uaccess.h>
L
Linus Torvalds 已提交
42

43
#include "internal.h"
44
#include "mount.h"
45

L
Linus Torvalds 已提交
46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79
/* [Feb-1997 T. Schoebel-Theuer]
 * Fundamental changes in the pathname lookup mechanisms (namei)
 * were necessary because of omirr.  The reason is that omirr needs
 * to know the _real_ pathname, not the user-supplied one, in case
 * of symlinks (and also when transname replacements occur).
 *
 * The new code replaces the old recursive symlink resolution with
 * an iterative one (in case of non-nested symlink chains).  It does
 * this with calls to <fs>_follow_link().
 * As a side effect, dir_namei(), _namei() and follow_link() are now 
 * replaced with a single function lookup_dentry() that can handle all 
 * the special cases of the former code.
 *
 * With the new dcache, the pathname is stored at each inode, at least as
 * long as the refcount of the inode is positive.  As a side effect, the
 * size of the dcache depends on the inode cache and thus is dynamic.
 *
 * [29-Apr-1998 C. Scott Ananian] Updated above description of symlink
 * resolution to correspond with current state of the code.
 *
 * Note that the symlink resolution is not *completely* iterative.
 * There is still a significant amount of tail- and mid- recursion in
 * the algorithm.  Also, note that <fs>_readlink() is not used in
 * lookup_dentry(): lookup_dentry() on the result of <fs>_readlink()
 * may return different results than <fs>_follow_link().  Many virtual
 * filesystems (including /proc) exhibit this behavior.
 */

/* [24-Feb-97 T. Schoebel-Theuer] Side effects caused by new implementation:
 * New symlink semantics: when open() is called with flags O_CREAT | O_EXCL
 * and the name already exists in form of a symlink, try to create the new
 * name indicated by the symlink. The old code always complained that the
 * name already exists, due to not following the symlink even if its target
 * is nonexistent.  The new semantics affects also mknod() and link() when
L
Lucas De Marchi 已提交
80
 * the name is a symlink pointing to a non-existent name.
L
Linus Torvalds 已提交
81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112
 *
 * I don't know which semantics is the right one, since I have no access
 * to standards. But I found by trial that HP-UX 9.0 has the full "new"
 * semantics implemented, while SunOS 4.1.1 and Solaris (SunOS 5.4) have the
 * "old" one. Personally, I think the new semantics is much more logical.
 * Note that "ln old new" where "new" is a symlink pointing to a non-existing
 * file does succeed in both HP-UX and SunOs, but not in Solaris
 * and in the old Linux semantics.
 */

/* [16-Dec-97 Kevin Buhr] For security reasons, we change some symlink
 * semantics.  See the comments in "open_namei" and "do_link" below.
 *
 * [10-Sep-98 Alan Modra] Another symlink change.
 */

/* [Feb-Apr 2000 AV] Complete rewrite. Rules for symlinks:
 *	inside the path - always follow.
 *	in the last component in creation/removal/renaming - never follow.
 *	if LOOKUP_FOLLOW passed - follow.
 *	if the pathname has trailing slashes - follow.
 *	otherwise - don't follow.
 * (applied in that order).
 *
 * [Jun 2000 AV] Inconsistent behaviour of open() in case if flags==O_CREAT
 * restored for 2.4. This is the last surviving part of old 4.2BSD bug.
 * During the 2.4 we need to fix the userland stuff depending on it -
 * hopefully we will be able to get rid of that wart in 2.5. So far only
 * XEmacs seems to be relying on it...
 */
/*
 * [Sep 2001 AV] Single-semaphore locking scheme (kudos to David Holland)
113
 * implemented.  Let's see if raised priority of ->s_vfs_rename_mutex gives
L
Linus Torvalds 已提交
114 115 116 117 118 119 120 121 122 123
 * any extra contention...
 */

/* In order to reduce some races, while at the same time doing additional
 * checking and hopefully speeding things up, we copy filenames to the
 * kernel data space before using them..
 *
 * POSIX.1 2.4: an empty pathname is invalid (ENOENT).
 * PATH_MAX includes the nul terminator --RR.
 */
124

A
Al Viro 已提交
125
#define EMBEDDED_NAME_MAX	(PATH_MAX - offsetof(struct filename, iname))
126

127
struct filename *
128 129
getname_flags(const char __user *filename, int flags, int *empty)
{
A
Al Viro 已提交
130
	struct filename *result;
131
	char *kname;
A
Al Viro 已提交
132
	int len;
133

134 135 136 137
	result = audit_reusename(filename);
	if (result)
		return result;

138
	result = __getname();
139
	if (unlikely(!result))
140 141
		return ERR_PTR(-ENOMEM);

142 143 144 145
	/*
	 * First, try to embed the struct filename inside the names_cache
	 * allocation
	 */
A
Al Viro 已提交
146
	kname = (char *)result->iname;
147
	result->name = kname;
148

A
Al Viro 已提交
149
	len = strncpy_from_user(kname, filename, EMBEDDED_NAME_MAX);
150
	if (unlikely(len < 0)) {
A
Al Viro 已提交
151 152
		__putname(result);
		return ERR_PTR(len);
153
	}
154

155 156 157 158 159 160
	/*
	 * Uh-oh. We have a name that's approaching PATH_MAX. Allocate a
	 * separate struct filename so we can dedicate the entire
	 * names_cache allocation for the pathname, and re-do the copy from
	 * userland.
	 */
A
Al Viro 已提交
161
	if (unlikely(len == EMBEDDED_NAME_MAX)) {
A
Al Viro 已提交
162
		const size_t size = offsetof(struct filename, iname[1]);
163 164
		kname = (char *)result;

A
Al Viro 已提交
165 166 167 168 169 170
		/*
		 * size is chosen that way we to guarantee that
		 * result->iname[0] is within the same object and that
		 * kname can't be equal to result->iname, no matter what.
		 */
		result = kzalloc(size, GFP_KERNEL);
A
Al Viro 已提交
171 172 173
		if (unlikely(!result)) {
			__putname(kname);
			return ERR_PTR(-ENOMEM);
174 175
		}
		result->name = kname;
A
Al Viro 已提交
176 177 178 179 180 181 182 183 184 185 186
		len = strncpy_from_user(kname, filename, PATH_MAX);
		if (unlikely(len < 0)) {
			__putname(kname);
			kfree(result);
			return ERR_PTR(len);
		}
		if (unlikely(len == PATH_MAX)) {
			__putname(kname);
			kfree(result);
			return ERR_PTR(-ENAMETOOLONG);
		}
187 188
	}

A
Al Viro 已提交
189
	result->refcnt = 1;
190 191 192
	/* The empty path is special. */
	if (unlikely(!len)) {
		if (empty)
193
			*empty = 1;
A
Al Viro 已提交
194 195 196 197
		if (!(flags & LOOKUP_EMPTY)) {
			putname(result);
			return ERR_PTR(-ENOENT);
		}
L
Linus Torvalds 已提交
198
	}
199

200
	result->uptr = filename;
201
	result->aname = NULL;
202 203
	audit_getname(result);
	return result;
L
Linus Torvalds 已提交
204 205
}

206 207
struct filename *
getname(const char __user * filename)
A
Al Viro 已提交
208
{
209
	return getname_flags(filename, 0, NULL);
A
Al Viro 已提交
210 211
}

212 213 214 215
struct filename *
getname_kernel(const char * filename)
{
	struct filename *result;
216
	int len = strlen(filename) + 1;
217 218 219 220 221

	result = __getname();
	if (unlikely(!result))
		return ERR_PTR(-ENOMEM);

222
	if (len <= EMBEDDED_NAME_MAX) {
A
Al Viro 已提交
223
		result->name = (char *)result->iname;
224
	} else if (len <= PATH_MAX) {
225
		const size_t size = offsetof(struct filename, iname[1]);
226 227
		struct filename *tmp;

228
		tmp = kmalloc(size, GFP_KERNEL);
229 230 231 232 233 234 235 236 237 238 239
		if (unlikely(!tmp)) {
			__putname(result);
			return ERR_PTR(-ENOMEM);
		}
		tmp->name = (char *)result;
		result = tmp;
	} else {
		__putname(result);
		return ERR_PTR(-ENAMETOOLONG);
	}
	memcpy((char *)result->name, filename, len);
240 241
	result->uptr = NULL;
	result->aname = NULL;
242
	result->refcnt = 1;
243
	audit_getname(result);
244 245 246 247

	return result;
}

248
void putname(struct filename *name)
L
Linus Torvalds 已提交
249
{
250 251 252 253 254
	BUG_ON(name->refcnt <= 0);

	if (--name->refcnt > 0)
		return;

A
Al Viro 已提交
255
	if (name->name != name->iname) {
256 257 258 259
		__putname(name->name);
		kfree(name);
	} else
		__putname(name);
L
Linus Torvalds 已提交
260 261
}

262 263
static int check_acl(struct inode *inode, int mask)
{
264
#ifdef CONFIG_FS_POSIX_ACL
265 266 267
	struct posix_acl *acl;

	if (mask & MAY_NOT_BLOCK) {
268 269
		acl = get_cached_acl_rcu(inode, ACL_TYPE_ACCESS);
	        if (!acl)
270
	                return -EAGAIN;
271
		/* no ->get_acl() calls in RCU mode... */
272
		if (is_uncached_acl(acl))
273
			return -ECHILD;
A
Ari Savolainen 已提交
274
	        return posix_acl_permission(inode, acl, mask & ~MAY_NOT_BLOCK);
275 276
	}

C
Christoph Hellwig 已提交
277 278 279
	acl = get_acl(inode, ACL_TYPE_ACCESS);
	if (IS_ERR(acl))
		return PTR_ERR(acl);
280 281 282 283 284
	if (acl) {
	        int error = posix_acl_permission(inode, acl, mask);
	        posix_acl_release(acl);
	        return error;
	}
285
#endif
286 287 288 289

	return -EAGAIN;
}

290
/*
291
 * This does the basic permission checking
L
Linus Torvalds 已提交
292
 */
293
static int acl_permission_check(struct inode *inode, int mask)
L
Linus Torvalds 已提交
294
{
295
	unsigned int mode = inode->i_mode;
L
Linus Torvalds 已提交
296

297
	if (likely(uid_eq(current_fsuid(), inode->i_uid)))
L
Linus Torvalds 已提交
298 299
		mode >>= 6;
	else {
300
		if (IS_POSIXACL(inode) && (mode & S_IRWXG)) {
301
			int error = check_acl(inode, mask);
302 303
			if (error != -EAGAIN)
				return error;
L
Linus Torvalds 已提交
304 305 306 307 308 309 310 311 312
		}

		if (in_group_p(inode->i_gid))
			mode >>= 3;
	}

	/*
	 * If the DACs are ok we don't need any capability check.
	 */
313
	if ((mask & ~mode & (MAY_READ | MAY_WRITE | MAY_EXEC)) == 0)
L
Linus Torvalds 已提交
314
		return 0;
315 316 317 318
	return -EACCES;
}

/**
319
 * generic_permission -  check for access rights on a Posix-like filesystem
320
 * @inode:	inode to check access rights for
321
 * @mask:	right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC, ...)
322 323 324 325
 *
 * Used to check for read/write/execute permissions on a file.
 * We use "fsuid" for this, letting us set arbitrary permissions
 * for filesystem access without changing the "normal" uids which
326 327 328 329 330
 * are used for other things.
 *
 * generic_permission is rcu-walk aware. It returns -ECHILD in case an rcu-walk
 * request cannot be satisfied (eg. requires blocking or too much complexity).
 * It would then be called again in ref-walk mode.
331
 */
332
int generic_permission(struct inode *inode, int mask)
333 334 335 336
{
	int ret;

	/*
337
	 * Do the basic permission checks.
338
	 */
339
	ret = acl_permission_check(inode, mask);
340 341
	if (ret != -EACCES)
		return ret;
L
Linus Torvalds 已提交
342

343 344 345
	if (S_ISDIR(inode->i_mode)) {
		/* DACs are overridable for directories */
		if (!(mask & MAY_WRITE))
346 347
			if (capable_wrt_inode_uidgid(inode,
						     CAP_DAC_READ_SEARCH))
348
				return 0;
349
		if (capable_wrt_inode_uidgid(inode, CAP_DAC_OVERRIDE))
L
Linus Torvalds 已提交
350
			return 0;
351 352
		return -EACCES;
	}
L
Linus Torvalds 已提交
353 354 355 356

	/*
	 * Searching includes executable on directories, else just read.
	 */
357
	mask &= MAY_READ | MAY_WRITE | MAY_EXEC;
358
	if (mask == MAY_READ)
359
		if (capable_wrt_inode_uidgid(inode, CAP_DAC_READ_SEARCH))
L
Linus Torvalds 已提交
360
			return 0;
361 362 363 364 365 366 367 368
	/*
	 * Read/write DACs are always overridable.
	 * Executable DACs are overridable when there is
	 * at least one exec bit set.
	 */
	if (!(mask & MAY_EXEC) || (inode->i_mode & S_IXUGO))
		if (capable_wrt_inode_uidgid(inode, CAP_DAC_OVERRIDE))
			return 0;
L
Linus Torvalds 已提交
369 370 371

	return -EACCES;
}
372
EXPORT_SYMBOL(generic_permission);
L
Linus Torvalds 已提交
373

374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393
/*
 * We _really_ want to just do "generic_permission()" without
 * even looking at the inode->i_op values. So we keep a cache
 * flag in inode->i_opflags, that says "this has not special
 * permission function, use the fast case".
 */
static inline int do_inode_permission(struct inode *inode, int mask)
{
	if (unlikely(!(inode->i_opflags & IOP_FASTPERM))) {
		if (likely(inode->i_op->permission))
			return inode->i_op->permission(inode, mask);

		/* This gets set once for the inode lifetime */
		spin_lock(&inode->i_lock);
		inode->i_opflags |= IOP_FASTPERM;
		spin_unlock(&inode->i_lock);
	}
	return generic_permission(inode, mask);
}

D
David Howells 已提交
394 395 396
/**
 * sb_permission - Check superblock-level permissions
 * @sb: Superblock of inode to check permission on
397
 * @inode: Inode to check permission on
D
David Howells 已提交
398 399 400 401 402 403 404 405 406 407
 * @mask: Right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
 *
 * Separate out file-system wide checks from inode-specific permission checks.
 */
static int sb_permission(struct super_block *sb, struct inode *inode, int mask)
{
	if (unlikely(mask & MAY_WRITE)) {
		umode_t mode = inode->i_mode;

		/* Nobody gets write access to a read-only fs. */
408
		if (sb_rdonly(sb) && (S_ISREG(mode) || S_ISDIR(mode) || S_ISLNK(mode)))
D
David Howells 已提交
409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431
			return -EROFS;
	}
	return 0;
}

/**
 * inode_permission - Check for access rights to a given inode
 * @inode: Inode to check permission on
 * @mask: Right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
 *
 * Check for read/write/execute permissions on an inode.  We use fs[ug]id for
 * this, letting us set arbitrary permissions for filesystem access without
 * changing the "normal" UIDs which are used for other things.
 *
 * When checking for MAY_APPEND, MAY_WRITE must also be set in @mask.
 */
int inode_permission(struct inode *inode, int mask)
{
	int retval;

	retval = sb_permission(inode->i_sb, inode, mask);
	if (retval)
		return retval;
432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457

	if (unlikely(mask & MAY_WRITE)) {
		/*
		 * Nobody gets write access to an immutable file.
		 */
		if (IS_IMMUTABLE(inode))
			return -EPERM;

		/*
		 * Updating mtime will likely cause i_uid and i_gid to be
		 * written back improperly if their true value is unknown
		 * to the vfs.
		 */
		if (HAS_UNMAPPED_ID(inode))
			return -EACCES;
	}

	retval = do_inode_permission(inode, mask);
	if (retval)
		return retval;

	retval = devcgroup_inode_permission(inode, mask);
	if (retval)
		return retval;

	return security_inode_permission(inode, mask);
D
David Howells 已提交
458
}
459
EXPORT_SYMBOL(inode_permission);
D
David Howells 已提交
460

J
Jan Blunck 已提交
461 462 463 464 465 466
/**
 * path_get - get a reference to a path
 * @path: path to get the reference to
 *
 * Given a path increment the reference count to the dentry and the vfsmount.
 */
467
void path_get(const struct path *path)
J
Jan Blunck 已提交
468 469 470 471 472 473
{
	mntget(path->mnt);
	dget(path->dentry);
}
EXPORT_SYMBOL(path_get);

J
Jan Blunck 已提交
474 475 476 477 478 479
/**
 * path_put - put a reference to a path
 * @path: path to put the reference to
 *
 * Given a path decrement the reference count to the dentry and the vfsmount.
 */
480
void path_put(const struct path *path)
L
Linus Torvalds 已提交
481
{
J
Jan Blunck 已提交
482 483
	dput(path->dentry);
	mntput(path->mnt);
L
Linus Torvalds 已提交
484
}
J
Jan Blunck 已提交
485
EXPORT_SYMBOL(path_put);
L
Linus Torvalds 已提交
486

487
#define EMBEDDED_LEVELS 2
488 489
struct nameidata {
	struct path	path;
A
Al Viro 已提交
490
	struct qstr	last;
491 492 493
	struct path	root;
	struct inode	*inode; /* path.dentry.d_inode */
	unsigned int	flags;
494
	unsigned	seq, m_seq, r_seq;
495 496
	int		last_type;
	unsigned	depth;
497
	int		total_link_count;
498 499
	struct saved {
		struct path link;
500
		struct delayed_call done;
501
		const char *name;
502
		unsigned seq;
503
	} *stack, internal[EMBEDDED_LEVELS];
504 505 506 507
	struct filename	*name;
	struct nameidata *saved;
	unsigned	root_seq;
	int		dfd;
508
} __randomize_layout;
509

510
static void set_nameidata(struct nameidata *p, int dfd, struct filename *name)
511
{
512 513
	struct nameidata *old = current->nameidata;
	p->stack = p->internal;
514 515
	p->dfd = dfd;
	p->name = name;
516
	p->total_link_count = old ? old->total_link_count : 0;
517
	p->saved = old;
518
	current->nameidata = p;
519 520
}

521
static void restore_nameidata(void)
522
{
523
	struct nameidata *now = current->nameidata, *old = now->saved;
524 525 526 527

	current->nameidata = old;
	if (old)
		old->total_link_count = now->total_link_count;
528
	if (now->stack != now->internal)
529
		kfree(now->stack);
530 531 532 533
}

static int __nd_alloc_stack(struct nameidata *nd)
{
A
Al Viro 已提交
534 535 536
	struct saved *p;

	if (nd->flags & LOOKUP_RCU) {
537
		p= kmalloc_array(MAXSYMLINKS, sizeof(struct saved),
A
Al Viro 已提交
538 539 540 541
				  GFP_ATOMIC);
		if (unlikely(!p))
			return -ECHILD;
	} else {
542
		p= kmalloc_array(MAXSYMLINKS, sizeof(struct saved),
543
				  GFP_KERNEL);
A
Al Viro 已提交
544 545 546
		if (unlikely(!p))
			return -ENOMEM;
	}
547 548 549 550 551
	memcpy(p, nd->internal, sizeof(nd->internal));
	nd->stack = p;
	return 0;
}

552
/**
553
 * path_connected - Verify that a dentry is below mnt.mnt_root
554 555 556 557
 *
 * Rename can sometimes move a file or directory outside of a bind
 * mount, path_connected allows those cases to be detected.
 */
558
static bool path_connected(struct vfsmount *mnt, struct dentry *dentry)
559
{
560
	struct super_block *sb = mnt->mnt_sb;
561

562 563
	/* Bind mounts and multi-root filesystems can have disconnected paths */
	if (!(sb->s_iflags & SB_I_MULTIROOT) && (mnt->mnt_root == sb->s_root))
564 565
		return true;

566
	return is_subdir(dentry, mnt->mnt_root);
567 568
}

569 570
static inline int nd_alloc_stack(struct nameidata *nd)
{
571
	if (likely(nd->depth != EMBEDDED_LEVELS))
572 573 574 575 576 577
		return 0;
	if (likely(nd->stack != nd->internal))
		return 0;
	return __nd_alloc_stack(nd);
}

578 579 580 581 582
static void drop_links(struct nameidata *nd)
{
	int i = nd->depth;
	while (i--) {
		struct saved *last = nd->stack + i;
583 584
		do_delayed_call(&last->done);
		clear_delayed_call(&last->done);
585 586 587 588 589 590 591 592 593 594 595
	}
}

static void terminate_walk(struct nameidata *nd)
{
	drop_links(nd);
	if (!(nd->flags & LOOKUP_RCU)) {
		int i;
		path_put(&nd->path);
		for (i = 0; i < nd->depth; i++)
			path_put(&nd->stack[i].link);
596
		if (nd->flags & LOOKUP_ROOT_GRABBED) {
597
			path_put(&nd->root);
598
			nd->flags &= ~LOOKUP_ROOT_GRABBED;
599
		}
600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638
	} else {
		nd->flags &= ~LOOKUP_RCU;
		rcu_read_unlock();
	}
	nd->depth = 0;
}

/* path_put is needed afterwards regardless of success or failure */
static bool legitimize_path(struct nameidata *nd,
			    struct path *path, unsigned seq)
{
	int res = __legitimize_mnt(path->mnt, nd->m_seq);
	if (unlikely(res)) {
		if (res > 0)
			path->mnt = NULL;
		path->dentry = NULL;
		return false;
	}
	if (unlikely(!lockref_get_not_dead(&path->dentry->d_lockref))) {
		path->dentry = NULL;
		return false;
	}
	return !read_seqcount_retry(&path->dentry->d_seq, seq);
}

static bool legitimize_links(struct nameidata *nd)
{
	int i;
	for (i = 0; i < nd->depth; i++) {
		struct saved *last = nd->stack + i;
		if (unlikely(!legitimize_path(nd, &last->link, last->seq))) {
			drop_links(nd);
			nd->depth = i + 1;
			return false;
		}
	}
	return true;
}

639 640
static bool legitimize_root(struct nameidata *nd)
{
641 642 643 644 645 646 647 648
	/*
	 * For scoped-lookups (where nd->root has been zeroed), we need to
	 * restart the whole lookup from scratch -- because set_root() is wrong
	 * for these lookups (nd->dfd is the root, not the filesystem root).
	 */
	if (!nd->root.mnt && (nd->flags & LOOKUP_IS_SCOPED))
		return false;
	/* Nothing to do if nd->root is zero or is managed by the VFS user. */
649 650
	if (!nd->root.mnt || (nd->flags & LOOKUP_ROOT))
		return true;
651
	nd->flags |= LOOKUP_ROOT_GRABBED;
652 653 654
	return legitimize_path(nd, &nd->root, nd->root_seq);
}

A
Al Viro 已提交
655
/*
N
Nick Piggin 已提交
656
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
657 658
 * Documentation/filesystems/path-lookup.txt).  In situations when we can't
 * continue in RCU mode, we attempt to drop out of rcu-walk mode and grab
M
Mike Marshall 已提交
659
 * normal reference counts on dentries and vfsmounts to transition to ref-walk
A
Al Viro 已提交
660 661 662 663
 * mode.  Refcounts are grabbed at the last known good point before rcu-walk
 * got stuck, so ref-walk may continue from there. If this is not successful
 * (eg. a seqcount has changed), then failure is returned and it's up to caller
 * to restart the path walk from the beginning in ref-walk mode.
N
Nick Piggin 已提交
664 665 666
 */

/**
A
Al Viro 已提交
667 668
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
669
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
670
 *
A
Al Viro 已提交
671 672 673
 * unlazy_walk attempts to legitimize the current nd->path and nd->root
 * for ref-walk mode.
 * Must be called from rcu-walk context.
674 675
 * Nothing should touch nameidata between unlazy_walk() failure and
 * terminate_walk().
N
Nick Piggin 已提交
676
 */
A
Al Viro 已提交
677
static int unlazy_walk(struct nameidata *nd)
N
Nick Piggin 已提交
678 679 680 681
{
	struct dentry *parent = nd->path.dentry;

	BUG_ON(!(nd->flags & LOOKUP_RCU));
682

A
Al Viro 已提交
683 684 685
	nd->flags &= ~LOOKUP_RCU;
	if (unlikely(!legitimize_links(nd)))
		goto out1;
686 687
	if (unlikely(!legitimize_path(nd, &nd->path, nd->seq)))
		goto out;
688 689
	if (unlikely(!legitimize_root(nd)))
		goto out;
A
Al Viro 已提交
690 691 692 693
	rcu_read_unlock();
	BUG_ON(nd->inode != parent->d_inode);
	return 0;

694
out1:
A
Al Viro 已提交
695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718
	nd->path.mnt = NULL;
	nd->path.dentry = NULL;
out:
	rcu_read_unlock();
	return -ECHILD;
}

/**
 * unlazy_child - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry
 * @seq: seq number to check dentry against
 * Returns: 0 on success, -ECHILD on failure
 *
 * unlazy_child attempts to legitimize the current nd->path, nd->root and dentry
 * for ref-walk mode.  @dentry must be a path found by a do_lookup call on
 * @nd.  Must be called from rcu-walk context.
 * Nothing should touch nameidata between unlazy_child() failure and
 * terminate_walk().
 */
static int unlazy_child(struct nameidata *nd, struct dentry *dentry, unsigned seq)
{
	BUG_ON(!(nd->flags & LOOKUP_RCU));

719
	nd->flags &= ~LOOKUP_RCU;
720 721 722 723
	if (unlikely(!legitimize_links(nd)))
		goto out2;
	if (unlikely(!legitimize_mnt(nd->path.mnt, nd->m_seq)))
		goto out2;
A
Al Viro 已提交
724
	if (unlikely(!lockref_get_not_dead(&nd->path.dentry->d_lockref)))
725
		goto out1;
A
Al Viro 已提交
726

727
	/*
A
Al Viro 已提交
728 729 730 731 732
	 * We need to move both the parent and the dentry from the RCU domain
	 * to be properly refcounted. And the sequence number in the dentry
	 * validates *both* dentry counters, since we checked the sequence
	 * number of the parent after we got the child sequence number. So we
	 * know the parent must still be valid if the child sequence number is
733
	 */
A
Al Viro 已提交
734 735
	if (unlikely(!lockref_get_not_dead(&dentry->d_lockref)))
		goto out;
736 737
	if (unlikely(read_seqcount_retry(&dentry->d_seq, seq)))
		goto out_dput;
738 739 740 741
	/*
	 * Sequence counts matched. Now make sure that the root is
	 * still valid and get it if required.
	 */
742 743
	if (unlikely(!legitimize_root(nd)))
		goto out_dput;
A
Al Viro 已提交
744
	rcu_read_unlock();
N
Nick Piggin 已提交
745
	return 0;
A
Al Viro 已提交
746

747 748 749 750
out2:
	nd->path.mnt = NULL;
out1:
	nd->path.dentry = NULL;
751
out:
A
Al Viro 已提交
752
	rcu_read_unlock();
753 754 755 756
	return -ECHILD;
out_dput:
	rcu_read_unlock();
	dput(dentry);
N
Nick Piggin 已提交
757 758 759
	return -ECHILD;
}

760
static inline int d_revalidate(struct dentry *dentry, unsigned int flags)
761
{
762 763 764 765
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE))
		return dentry->d_op->d_revalidate(dentry, flags);
	else
		return 1;
766 767
}

768 769 770
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
771
 *
772 773 774 775 776
 * If we had been in RCU mode, drop out of it and legitimize nd->path.
 * Revalidate the final result, unless we'd already done that during
 * the path walk or the filesystem doesn't ask for it.  Return 0 on
 * success, -error on failure.  In case of failure caller does not
 * need to drop nd->path.
777
 */
778
static int complete_walk(struct nameidata *nd)
779
{
A
Al Viro 已提交
780
	struct dentry *dentry = nd->path.dentry;
781 782
	int status;

783
	if (nd->flags & LOOKUP_RCU) {
784 785 786 787 788
		/*
		 * We don't want to zero nd->root for scoped-lookups or
		 * externally-managed nd->root.
		 */
		if (!(nd->flags & (LOOKUP_ROOT | LOOKUP_IS_SCOPED)))
789
			nd->root.mnt = NULL;
A
Al Viro 已提交
790
		if (unlikely(unlazy_walk(nd)))
791 792 793
			return -ECHILD;
	}

794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814
	if (unlikely(nd->flags & LOOKUP_IS_SCOPED)) {
		/*
		 * While the guarantee of LOOKUP_IS_SCOPED is (roughly) "don't
		 * ever step outside the root during lookup" and should already
		 * be guaranteed by the rest of namei, we want to avoid a namei
		 * BUG resulting in userspace being given a path that was not
		 * scoped within the root at some point during the lookup.
		 *
		 * So, do a final sanity-check to make sure that in the
		 * worst-case scenario (a complete bypass of LOOKUP_IS_SCOPED)
		 * we won't silently return an fd completely outside of the
		 * requested root to userspace.
		 *
		 * Userspace could move the path outside the root after this
		 * check, but as discussed elsewhere this is not a concern (the
		 * resolved file was inside the root at some point).
		 */
		if (!path_is_under(&nd->path, &nd->root))
			return -EXDEV;
	}

A
Al Viro 已提交
815 816 817
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

818
	if (likely(!(dentry->d_flags & DCACHE_OP_WEAK_REVALIDATE)))
819 820
		return 0;

821
	status = dentry->d_op->d_weak_revalidate(dentry, nd->flags);
822 823 824
	if (status > 0)
		return 0;

A
Al Viro 已提交
825
	if (!status)
826
		status = -ESTALE;
A
Al Viro 已提交
827

828 829 830
	return status;
}

831
static int set_root(struct nameidata *nd)
N
Nick Piggin 已提交
832
{
833
	struct fs_struct *fs = current->fs;
N
Nick Piggin 已提交
834

835 836 837 838 839 840 841 842
	/*
	 * Jumping to the real root in a scoped-lookup is a BUG in namei, but we
	 * still have to ensure it doesn't happen because it will cause a breakout
	 * from the dirfd.
	 */
	if (WARN_ON(nd->flags & LOOKUP_IS_SCOPED))
		return -ENOTRECOVERABLE;

843 844 845 846 847 848 849 850 851 852
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;

		do {
			seq = read_seqcount_begin(&fs->seq);
			nd->root = fs->root;
			nd->root_seq = __read_seqcount_begin(&nd->root.dentry->d_seq);
		} while (read_seqcount_retry(&fs->seq, seq));
	} else {
		get_fs_root(fs, &nd->root);
853
		nd->flags |= LOOKUP_ROOT_GRABBED;
854
	}
855
	return 0;
N
Nick Piggin 已提交
856 857
}

858 859
static inline void path_to_nameidata(const struct path *path,
					struct nameidata *nd)
860
{
N
Nick Piggin 已提交
861 862 863 864
	if (!(nd->flags & LOOKUP_RCU)) {
		dput(nd->path.dentry);
		if (nd->path.mnt != path->mnt)
			mntput(nd->path.mnt);
865
	}
N
Nick Piggin 已提交
866
	nd->path.mnt = path->mnt;
867
	nd->path.dentry = path->dentry;
868 869
}

870 871
static int nd_jump_root(struct nameidata *nd)
{
872 873
	if (unlikely(nd->flags & LOOKUP_BENEATH))
		return -EXDEV;
874 875 876 877 878
	if (unlikely(nd->flags & LOOKUP_NO_XDEV)) {
		/* Absolute path arguments to path_init() are allowed. */
		if (nd->path.mnt != NULL && nd->path.mnt != nd->root.mnt)
			return -EXDEV;
	}
879 880 881 882 883
	if (!nd->root.mnt) {
		int error = set_root(nd);
		if (error)
			return error;
	}
884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901
	if (nd->flags & LOOKUP_RCU) {
		struct dentry *d;
		nd->path = nd->root;
		d = nd->path.dentry;
		nd->inode = d->d_inode;
		nd->seq = nd->root_seq;
		if (unlikely(read_seqcount_retry(&d->d_seq, nd->seq)))
			return -ECHILD;
	} else {
		path_put(&nd->path);
		nd->path = nd->root;
		path_get(&nd->path);
		nd->inode = nd->path.dentry->d_inode;
	}
	nd->flags |= LOOKUP_JUMPED;
	return 0;
}

C
Christoph Hellwig 已提交
902
/*
903
 * Helper to directly jump to a known parsed path from ->get_link,
C
Christoph Hellwig 已提交
904 905
 * caller must have taken a reference to path beforehand.
 */
906
int nd_jump_link(struct path *path)
C
Christoph Hellwig 已提交
907
{
908
	int error = -ELOOP;
909
	struct nameidata *nd = current->nameidata;
C
Christoph Hellwig 已提交
910

911 912 913
	if (unlikely(nd->flags & LOOKUP_NO_MAGICLINKS))
		goto err;

914 915 916 917 918
	error = -EXDEV;
	if (unlikely(nd->flags & LOOKUP_NO_XDEV)) {
		if (nd->path.mnt != path->mnt)
			goto err;
	}
919 920 921
	/* Not currently safe for scoped-lookups. */
	if (unlikely(nd->flags & LOOKUP_IS_SCOPED))
		goto err;
922

923
	path_put(&nd->path);
C
Christoph Hellwig 已提交
924 925 926
	nd->path = *path;
	nd->inode = nd->path.dentry->d_inode;
	nd->flags |= LOOKUP_JUMPED;
927
	return 0;
928 929 930 931

err:
	path_put(path);
	return error;
C
Christoph Hellwig 已提交
932 933
}

934
static inline void put_link(struct nameidata *nd)
935
{
A
Al Viro 已提交
936
	struct saved *last = nd->stack + --nd->depth;
937
	do_delayed_call(&last->done);
A
Al Viro 已提交
938 939
	if (!(nd->flags & LOOKUP_RCU))
		path_put(&last->link);
940 941
}

942 943
int sysctl_protected_symlinks __read_mostly = 0;
int sysctl_protected_hardlinks __read_mostly = 0;
944 945
int sysctl_protected_fifos __read_mostly;
int sysctl_protected_regular __read_mostly;
K
Kees Cook 已提交
946 947 948

/**
 * may_follow_link - Check symlink following for unsafe situations
949
 * @nd: nameidata pathwalk data
K
Kees Cook 已提交
950 951 952 953 954 955 956 957 958 959 960 961
 *
 * In the case of the sysctl_protected_symlinks sysctl being enabled,
 * CAP_DAC_OVERRIDE needs to be specifically ignored if the symlink is
 * in a sticky world-writable directory. This is to protect privileged
 * processes from failing races against path names that may change out
 * from under them by way of other users creating malicious symlinks.
 * It will permit symlinks to be followed only when outside a sticky
 * world-writable directory, or when the uid of the symlink and follower
 * match, or when the directory owner matches the symlink's owner.
 *
 * Returns 0 if following the symlink is allowed, -ve on error.
 */
962
static inline int may_follow_link(struct nameidata *nd, const struct inode *inode)
K
Kees Cook 已提交
963 964
{
	const struct inode *parent;
965
	kuid_t puid;
K
Kees Cook 已提交
966 967 968 969 970

	if (!sysctl_protected_symlinks)
		return 0;

	/* Allowed if owner and follower match. */
971
	if (uid_eq(current_cred()->fsuid, inode->i_uid))
K
Kees Cook 已提交
972 973 974
		return 0;

	/* Allowed if parent directory not sticky and world-writable. */
A
Al Viro 已提交
975
	parent = nd->inode;
K
Kees Cook 已提交
976 977 978 979
	if ((parent->i_mode & (S_ISVTX|S_IWOTH)) != (S_ISVTX|S_IWOTH))
		return 0;

	/* Allowed if parent directory and link owner match. */
980 981
	puid = parent->i_uid;
	if (uid_valid(puid) && uid_eq(puid, inode->i_uid))
K
Kees Cook 已提交
982 983
		return 0;

984 985 986
	if (nd->flags & LOOKUP_RCU)
		return -ECHILD;

987
	audit_inode(nd->name, nd->stack[0].link.dentry, 0);
K
Kees Cook 已提交
988
	audit_log_path_denied(AUDIT_ANOM_LINK, "follow_link");
K
Kees Cook 已提交
989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034
	return -EACCES;
}

/**
 * safe_hardlink_source - Check for safe hardlink conditions
 * @inode: the source inode to hardlink from
 *
 * Return false if at least one of the following conditions:
 *    - inode is not a regular file
 *    - inode is setuid
 *    - inode is setgid and group-exec
 *    - access failure for read and write
 *
 * Otherwise returns true.
 */
static bool safe_hardlink_source(struct inode *inode)
{
	umode_t mode = inode->i_mode;

	/* Special files should not get pinned to the filesystem. */
	if (!S_ISREG(mode))
		return false;

	/* Setuid files should not get pinned to the filesystem. */
	if (mode & S_ISUID)
		return false;

	/* Executable setgid files should not get pinned to the filesystem. */
	if ((mode & (S_ISGID | S_IXGRP)) == (S_ISGID | S_IXGRP))
		return false;

	/* Hardlinking to unreadable or unwritable sources is dangerous. */
	if (inode_permission(inode, MAY_READ | MAY_WRITE))
		return false;

	return true;
}

/**
 * may_linkat - Check permissions for creating a hardlink
 * @link: the source to hardlink from
 *
 * Block hardlink when all of:
 *  - sysctl_protected_hardlinks enabled
 *  - fsuid does not match inode
 *  - hardlink source is unsafe (see safe_hardlink_source() above)
1035
 *  - not CAP_FOWNER in a namespace with the inode owner uid mapped
K
Kees Cook 已提交
1036 1037 1038 1039 1040
 *
 * Returns 0 if successful, -ve on error.
 */
static int may_linkat(struct path *link)
{
1041 1042 1043 1044 1045
	struct inode *inode = link->dentry->d_inode;

	/* Inode writeback is not safe when the uid or gid are invalid. */
	if (!uid_valid(inode->i_uid) || !gid_valid(inode->i_gid))
		return -EOVERFLOW;
K
Kees Cook 已提交
1046 1047 1048 1049 1050 1051 1052

	if (!sysctl_protected_hardlinks)
		return 0;

	/* Source inode owner (or CAP_FOWNER) can hardlink all they like,
	 * otherwise, it must be a safe source.
	 */
1053
	if (safe_hardlink_source(inode) || inode_owner_or_capable(inode))
K
Kees Cook 已提交
1054 1055
		return 0;

K
Kees Cook 已提交
1056
	audit_log_path_denied(AUDIT_ANOM_LINK, "linkat");
K
Kees Cook 已提交
1057 1058 1059
	return -EPERM;
}

1060 1061 1062 1063
/**
 * may_create_in_sticky - Check whether an O_CREAT open in a sticky directory
 *			  should be allowed, or not, on files that already
 *			  exist.
1064 1065
 * @dir_mode: mode bits of directory
 * @dir_uid: owner of directory
1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080
 * @inode: the inode of the file to open
 *
 * Block an O_CREAT open of a FIFO (or a regular file) when:
 *   - sysctl_protected_fifos (or sysctl_protected_regular) is enabled
 *   - the file already exists
 *   - we are in a sticky directory
 *   - we don't own the file
 *   - the owner of the directory doesn't own the file
 *   - the directory is world writable
 * If the sysctl_protected_fifos (or sysctl_protected_regular) is set to 2
 * the directory doesn't have to be world writable: being group writable will
 * be enough.
 *
 * Returns 0 if the open is allowed, -ve on error.
 */
1081
static int may_create_in_sticky(umode_t dir_mode, kuid_t dir_uid,
1082 1083 1084 1085
				struct inode * const inode)
{
	if ((!sysctl_protected_fifos && S_ISFIFO(inode->i_mode)) ||
	    (!sysctl_protected_regular && S_ISREG(inode->i_mode)) ||
1086 1087
	    likely(!(dir_mode & S_ISVTX)) ||
	    uid_eq(inode->i_uid, dir_uid) ||
1088 1089 1090
	    uid_eq(current_fsuid(), inode->i_uid))
		return 0;

1091 1092
	if (likely(dir_mode & 0002) ||
	    (dir_mode & 0020 &&
1093 1094
	     ((sysctl_protected_fifos >= 2 && S_ISFIFO(inode->i_mode)) ||
	      (sysctl_protected_regular >= 2 && S_ISREG(inode->i_mode))))) {
K
Kees Cook 已提交
1095 1096 1097 1098
		const char *operation = S_ISFIFO(inode->i_mode) ?
					"sticky_create_fifo" :
					"sticky_create_regular";
		audit_log_path_denied(AUDIT_ANOM_CREAT, operation);
1099 1100 1101 1102 1103
		return -EACCES;
	}
	return 0;
}

1104 1105 1106 1107 1108 1109 1110 1111 1112 1113
/*
 * follow_up - Find the mountpoint of path's vfsmount
 *
 * Given a path, find the mountpoint of its source file system.
 * Replace @path with the path of the mountpoint in the parent mount.
 * Up is towards /.
 *
 * Return 1 if we went up a level and 0 if we were already at the
 * root.
 */
A
Al Viro 已提交
1114
int follow_up(struct path *path)
L
Linus Torvalds 已提交
1115
{
1116 1117
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
L
Linus Torvalds 已提交
1118
	struct dentry *mountpoint;
N
Nick Piggin 已提交
1119

A
Al Viro 已提交
1120
	read_seqlock_excl(&mount_lock);
1121
	parent = mnt->mnt_parent;
A
Al Viro 已提交
1122
	if (parent == mnt) {
A
Al Viro 已提交
1123
		read_sequnlock_excl(&mount_lock);
L
Linus Torvalds 已提交
1124 1125
		return 0;
	}
1126
	mntget(&parent->mnt);
1127
	mountpoint = dget(mnt->mnt_mountpoint);
A
Al Viro 已提交
1128
	read_sequnlock_excl(&mount_lock);
A
Al Viro 已提交
1129 1130 1131
	dput(path->dentry);
	path->dentry = mountpoint;
	mntput(path->mnt);
1132
	path->mnt = &parent->mnt;
L
Linus Torvalds 已提交
1133 1134
	return 1;
}
1135
EXPORT_SYMBOL(follow_up);
L
Linus Torvalds 已提交
1136

A
Al Viro 已提交
1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156
static bool choose_mountpoint_rcu(struct mount *m, const struct path *root,
				  struct path *path, unsigned *seqp)
{
	while (mnt_has_parent(m)) {
		struct dentry *mountpoint = m->mnt_mountpoint;

		m = m->mnt_parent;
		if (unlikely(root->dentry == mountpoint &&
			     root->mnt == &m->mnt))
			break;
		if (mountpoint != m->mnt.mnt_root) {
			path->mnt = &m->mnt;
			path->dentry = mountpoint;
			*seqp = read_seqcount_begin(&mountpoint->d_seq);
			return true;
		}
	}
	return false;
}

N
Nick Piggin 已提交
1157
/*
1158 1159 1160
 * Perform an automount
 * - return -EISDIR to tell follow_managed() to stop and return the path we
 *   were called with.
L
Linus Torvalds 已提交
1161
 */
1162
static int follow_automount(struct path *path, int *count, unsigned lookup_flags)
N
Nick Piggin 已提交
1163
{
1164
	struct dentry *dentry = path->dentry;
1165

1166 1167 1168 1169 1170 1171 1172 1173 1174 1175
	/* We don't want to mount if someone's just doing a stat -
	 * unless they're stat'ing a directory and appended a '/' to
	 * the name.
	 *
	 * We do, however, want to mount if someone wants to open or
	 * create a file of any type under the mountpoint, wants to
	 * traverse through the mountpoint or wants to open the
	 * mounted directory.  Also, autofs may mark negative dentries
	 * as being automount points.  These will need the attentions
	 * of the daemon to instantiate them before they can be used.
1176
	 */
1177
	if (!(lookup_flags & (LOOKUP_PARENT | LOOKUP_DIRECTORY |
1178
			   LOOKUP_OPEN | LOOKUP_CREATE | LOOKUP_AUTOMOUNT)) &&
1179
	    dentry->d_inode)
1180
		return -EISDIR;
1181

1182
	if (count && (*count)++ >= MAXSYMLINKS)
1183 1184
		return -ELOOP;

1185
	return finish_automount(dentry->d_op->d_automount(path), path);
A
Al Viro 已提交
1186 1187
}

1188
/*
A
Al Viro 已提交
1189 1190 1191 1192
 * mount traversal - out-of-line part.  One note on ->d_flags accesses -
 * dentries are pinned but not locked here, so negative dentry can go
 * positive right under us.  Use of smp_load_acquire() provides a barrier
 * sufficient for ->d_inode and ->d_flags consistency.
1193
 */
A
Al Viro 已提交
1194 1195
static int __traverse_mounts(struct path *path, unsigned flags, bool *jumped,
			     int *count, unsigned lookup_flags)
L
Linus Torvalds 已提交
1196
{
A
Al Viro 已提交
1197
	struct vfsmount *mnt = path->mnt;
1198
	bool need_mntput = false;
1199
	int ret = 0;
1200

A
Al Viro 已提交
1201
	while (flags & DCACHE_MANAGED_DENTRY) {
1202 1203
		/* Allow the filesystem to manage the transit without i_mutex
		 * being held. */
1204
		if (flags & DCACHE_MANAGE_TRANSIT) {
1205
			ret = path->dentry->d_op->d_manage(path, false);
1206
			flags = smp_load_acquire(&path->dentry->d_flags);
1207
			if (ret < 0)
1208
				break;
1209 1210
		}

A
Al Viro 已提交
1211
		if (flags & DCACHE_MOUNTED) {	// something's mounted on it..
1212
			struct vfsmount *mounted = lookup_mnt(path);
A
Al Viro 已提交
1213
			if (mounted) {		// ... in our namespace
1214 1215 1216 1217 1218
				dput(path->dentry);
				if (need_mntput)
					mntput(path->mnt);
				path->mnt = mounted;
				path->dentry = dget(mounted->mnt_root);
A
Al Viro 已提交
1219 1220
				// here we know it's positive
				flags = path->dentry->d_flags;
1221 1222 1223 1224 1225
				need_mntput = true;
				continue;
			}
		}

A
Al Viro 已提交
1226 1227
		if (!(flags & DCACHE_NEED_AUTOMOUNT))
			break;
1228

A
Al Viro 已提交
1229 1230 1231 1232 1233
		// uncovered automount point
		ret = follow_automount(path, count, lookup_flags);
		flags = smp_load_acquire(&path->dentry->d_flags);
		if (ret < 0)
			break;
L
Linus Torvalds 已提交
1234
	}
1235

A
Al Viro 已提交
1236 1237 1238 1239 1240 1241
	if (ret == -EISDIR)
		ret = 0;
	// possible if you race with several mount --move
	if (need_mntput && path->mnt == mnt)
		mntput(path->mnt);
	if (!ret && unlikely(d_flags_negative(flags)))
1242
		ret = -ENOENT;
A
Al Viro 已提交
1243
	*jumped = need_mntput;
1244
	return ret;
L
Linus Torvalds 已提交
1245 1246
}

A
Al Viro 已提交
1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261
static inline int traverse_mounts(struct path *path, bool *jumped,
				  int *count, unsigned lookup_flags)
{
	unsigned flags = smp_load_acquire(&path->dentry->d_flags);

	/* fastpath */
	if (likely(!(flags & DCACHE_MANAGED_DENTRY))) {
		*jumped = false;
		if (unlikely(d_flags_negative(flags)))
			return -ENOENT;
		return 0;
	}
	return __traverse_mounts(path, flags, jumped, count, lookup_flags);
}

1262
int follow_down_one(struct path *path)
L
Linus Torvalds 已提交
1263 1264 1265
{
	struct vfsmount *mounted;

A
Al Viro 已提交
1266
	mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
1267
	if (mounted) {
A
Al Viro 已提交
1268 1269 1270 1271
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
1272 1273 1274 1275
		return 1;
	}
	return 0;
}
1276
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
1277

A
Al Viro 已提交
1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294
/*
 * Follow down to the covering mount currently visible to userspace.  At each
 * point, the filesystem owning that dentry may be queried as to whether the
 * caller is permitted to proceed or not.
 */
int follow_down(struct path *path)
{
	struct vfsmount *mnt = path->mnt;
	bool jumped;
	int ret = traverse_mounts(path, &jumped, NULL, 0);

	if (path->mnt != mnt)
		mntput(mnt);
	return ret;
}
EXPORT_SYMBOL(follow_down);

1295
/*
1296 1297
 * Try to skip to top of mountpoint pile in rcuwalk mode.  Fail if
 * we meet a managed dentry that would need blocking.
1298 1299
 */
static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
1300
			       struct inode **inode, unsigned *seqp)
1301
{
A
Al Viro 已提交
1302 1303 1304 1305 1306 1307 1308 1309 1310
	struct dentry *dentry = path->dentry;
	unsigned int flags = dentry->d_flags;

	if (likely(!(flags & DCACHE_MANAGED_DENTRY)))
		return true;

	if (unlikely(nd->flags & LOOKUP_NO_XDEV))
		return false;

1311 1312 1313 1314 1315
	for (;;) {
		/*
		 * Don't forget we might have a non-mountpoint managed dentry
		 * that wants to block transit.
		 */
A
Al Viro 已提交
1316 1317 1318 1319 1320
		if (unlikely(flags & DCACHE_MANAGE_TRANSIT)) {
			int res = dentry->d_op->d_manage(path, true);
			if (res)
				return res == -EISDIR;
			flags = dentry->d_flags;
1321
		}
1322

A
Al Viro 已提交
1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343
		if (flags & DCACHE_MOUNTED) {
			struct mount *mounted = __lookup_mnt(path->mnt, dentry);
			if (mounted) {
				path->mnt = &mounted->mnt;
				dentry = path->dentry = mounted->mnt.mnt_root;
				nd->flags |= LOOKUP_JUMPED;
				*seqp = read_seqcount_begin(&dentry->d_seq);
				*inode = dentry->d_inode;
				/*
				 * We don't need to re-check ->d_seq after this
				 * ->d_inode read - there will be an RCU delay
				 * between mount hash removal and ->mnt_root
				 * becoming unpinned.
				 */
				flags = dentry->d_flags;
				continue;
			}
			if (read_seqretry(&mount_lock, nd->m_seq))
				return false;
		}
		return !(flags & DCACHE_NEED_AUTOMOUNT);
1344
	}
1345 1346
}

1347 1348 1349
static inline int handle_mounts(struct nameidata *nd, struct dentry *dentry,
			  struct path *path, struct inode **inode,
			  unsigned int *seqp)
1350
{
A
Al Viro 已提交
1351
	bool jumped;
1352
	int ret;
1353

1354 1355
	path->mnt = nd->path.mnt;
	path->dentry = dentry;
1356 1357 1358 1359 1360
	if (nd->flags & LOOKUP_RCU) {
		unsigned int seq = *seqp;
		if (unlikely(!*inode))
			return -ENOENT;
		if (likely(__follow_mount_rcu(nd, path, inode, seqp)))
A
Al Viro 已提交
1361
			return 0;
1362 1363 1364 1365 1366 1367
		if (unlazy_child(nd, dentry, seq))
			return -ECHILD;
		// *path might've been clobbered by __follow_mount_rcu()
		path->mnt = nd->path.mnt;
		path->dentry = dentry;
	}
A
Al Viro 已提交
1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379
	ret = traverse_mounts(path, &jumped, &nd->total_link_count, nd->flags);
	if (jumped) {
		if (unlikely(nd->flags & LOOKUP_NO_XDEV))
			ret = -EXDEV;
		else
			nd->flags |= LOOKUP_JUMPED;
	}
	if (unlikely(ret)) {
		dput(path->dentry);
		if (path->mnt != nd->path.mnt)
			mntput(path->mnt);
	} else {
1380 1381 1382 1383 1384 1385
		*inode = d_backing_inode(path->dentry);
		*seqp = 0; /* out of RCU mode, so the value doesn't matter */
	}
	return ret;
}

1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401
/*
 * Skip to top of mountpoint pile in refwalk mode for follow_dotdot()
 */
static void follow_mount(struct path *path)
{
	while (d_mountpoint(path->dentry)) {
		struct vfsmount *mounted = lookup_mnt(path);
		if (!mounted)
			break;
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
	}
}

1402
/*
1403 1404
 * This looks up the name in dcache and possibly revalidates the found dentry.
 * NULL is returned if the dentry does not exist in the cache.
1405
 */
1406 1407
static struct dentry *lookup_dcache(const struct qstr *name,
				    struct dentry *dir,
1408
				    unsigned int flags)
1409
{
1410
	struct dentry *dentry = d_lookup(dir, name);
M
Miklos Szeredi 已提交
1411
	if (dentry) {
1412 1413 1414 1415 1416 1417
		int error = d_revalidate(dentry, flags);
		if (unlikely(error <= 0)) {
			if (!error)
				d_invalidate(dentry);
			dput(dentry);
			return ERR_PTR(error);
M
Miklos Szeredi 已提交
1418 1419
		}
	}
1420 1421 1422
	return dentry;
}

1423
/*
1424 1425 1426 1427 1428
 * Parent directory has inode locked exclusive.  This is one
 * and only case when ->lookup() gets called on non in-lookup
 * dentries - as the matter of fact, this only gets called
 * when directory is guaranteed to have no in-lookup children
 * at all.
1429
 */
1430
static struct dentry *__lookup_hash(const struct qstr *name,
1431
		struct dentry *base, unsigned int flags)
1432
{
1433
	struct dentry *dentry = lookup_dcache(name, base, flags);
1434 1435
	struct dentry *old;
	struct inode *dir = base->d_inode;
1436

1437
	if (dentry)
M
Miklos Szeredi 已提交
1438
		return dentry;
1439

1440 1441 1442 1443
	/* Don't create child dentry for a dead directory. */
	if (unlikely(IS_DEADDIR(dir)))
		return ERR_PTR(-ENOENT);

1444 1445 1446 1447
	dentry = d_alloc(base, name);
	if (unlikely(!dentry))
		return ERR_PTR(-ENOMEM);

1448 1449 1450 1451 1452 1453
	old = dir->i_op->lookup(dir, dentry, flags);
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
1454 1455
}

1456 1457 1458
static struct dentry *lookup_fast(struct nameidata *nd,
				  struct inode **inode,
			          unsigned *seqp)
L
Linus Torvalds 已提交
1459
{
N
Nick Piggin 已提交
1460
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1461
	int status = 1;
1462

1463 1464
	/*
	 * Rename seqlock is not required here because in the off chance
A
Al Viro 已提交
1465 1466
	 * of a false negative due to a concurrent rename, the caller is
	 * going to fall back to non-racy lookup.
1467
	 */
N
Nick Piggin 已提交
1468 1469
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1470
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1471
		if (unlikely(!dentry)) {
A
Al Viro 已提交
1472
			if (unlazy_walk(nd))
1473 1474
				return ERR_PTR(-ECHILD);
			return NULL;
A
Al Viro 已提交
1475
		}
A
Al Viro 已提交
1476

1477 1478 1479 1480
		/*
		 * This sequence count validates that the inode matches
		 * the dentry name information from lookup.
		 */
1481
		*inode = d_backing_inode(dentry);
A
Al Viro 已提交
1482
		if (unlikely(read_seqcount_retry(&dentry->d_seq, seq)))
1483
			return ERR_PTR(-ECHILD);
1484 1485 1486 1487 1488 1489 1490 1491

		/*
		 * This sequence count validates that the parent had no
		 * changes while we did the lookup of the dentry above.
		 *
		 * The memory barrier in read_seqcount_begin of child is
		 *  enough, we can use __read_seqcount_retry here.
		 */
A
Al Viro 已提交
1492
		if (unlikely(__read_seqcount_retry(&parent->d_seq, nd->seq)))
1493
			return ERR_PTR(-ECHILD);
A
Al Viro 已提交
1494

1495
		*seqp = seq;
1496
		status = d_revalidate(dentry, nd->flags);
1497
		if (likely(status > 0))
1498
			return dentry;
A
Al Viro 已提交
1499
		if (unlazy_child(nd, dentry, seq))
1500
			return ERR_PTR(-ECHILD);
1501 1502 1503
		if (unlikely(status == -ECHILD))
			/* we'd been told to redo it in non-rcu mode */
			status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1504
	} else {
A
Al Viro 已提交
1505
		dentry = __d_lookup(parent, &nd->last);
A
Al Viro 已提交
1506
		if (unlikely(!dentry))
1507
			return NULL;
1508
		status = d_revalidate(dentry, nd->flags);
1509
	}
A
Al Viro 已提交
1510
	if (unlikely(status <= 0)) {
1511
		if (!status)
A
Al Viro 已提交
1512
			d_invalidate(dentry);
1513
		dput(dentry);
1514
		return ERR_PTR(status);
1515
	}
1516
	return dentry;
M
Miklos Szeredi 已提交
1517 1518 1519
}

/* Fast lookup failed, do it the slow way */
A
Al Viro 已提交
1520 1521 1522
static struct dentry *__lookup_slow(const struct qstr *name,
				    struct dentry *dir,
				    unsigned int flags)
M
Miklos Szeredi 已提交
1523
{
A
Al Viro 已提交
1524
	struct dentry *dentry, *old;
1525
	struct inode *inode = dir->d_inode;
1526
	DECLARE_WAIT_QUEUE_HEAD_ONSTACK(wq);
1527 1528

	/* Don't go there if it's already dead */
A
Al Viro 已提交
1529
	if (unlikely(IS_DEADDIR(inode)))
A
Al Viro 已提交
1530
		return ERR_PTR(-ENOENT);
A
Al Viro 已提交
1531
again:
1532
	dentry = d_alloc_parallel(dir, name, &wq);
A
Al Viro 已提交
1533
	if (IS_ERR(dentry))
A
Al Viro 已提交
1534
		return dentry;
A
Al Viro 已提交
1535
	if (unlikely(!d_in_lookup(dentry))) {
1536 1537 1538 1539
		int error = d_revalidate(dentry, flags);
		if (unlikely(error <= 0)) {
			if (!error) {
				d_invalidate(dentry);
1540
				dput(dentry);
1541
				goto again;
1542
			}
1543 1544
			dput(dentry);
			dentry = ERR_PTR(error);
1545
		}
A
Al Viro 已提交
1546 1547 1548 1549 1550 1551
	} else {
		old = inode->i_op->lookup(inode, dentry, flags);
		d_lookup_done(dentry);
		if (unlikely(old)) {
			dput(dentry);
			dentry = old;
1552 1553
		}
	}
1554
	return dentry;
L
Linus Torvalds 已提交
1555 1556
}

A
Al Viro 已提交
1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568
static struct dentry *lookup_slow(const struct qstr *name,
				  struct dentry *dir,
				  unsigned int flags)
{
	struct inode *inode = dir->d_inode;
	struct dentry *res;
	inode_lock_shared(inode);
	res = __lookup_slow(name, dir, flags);
	inode_unlock_shared(inode);
	return res;
}

1569 1570 1571
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1572
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1573 1574
		if (err != -ECHILD)
			return err;
A
Al Viro 已提交
1575
		if (unlazy_walk(nd))
1576 1577
			return -ECHILD;
	}
1578
	return inode_permission(nd->inode, MAY_EXEC);
1579 1580
}

1581 1582
enum {WALK_TRAILING = 1, WALK_MORE = 2, WALK_NOFOLLOW = 4};

1583
static const char *pick_link(struct nameidata *nd, struct path *link,
1584
		     struct inode *inode, unsigned seq, int flags)
1585
{
A
Al Viro 已提交
1586
	struct saved *last;
1587 1588 1589
	const char *res;
	int error;

1590
	if (unlikely(nd->total_link_count++ >= MAXSYMLINKS)) {
1591
		path_to_nameidata(link, nd);
1592
		return ERR_PTR(-ELOOP);
1593
	}
A
Al Viro 已提交
1594
	if (!(nd->flags & LOOKUP_RCU)) {
1595 1596
		if (link->mnt == nd->path.mnt)
			mntget(link->mnt);
1597
	}
1598 1599
	error = nd_alloc_stack(nd);
	if (unlikely(error)) {
A
Al Viro 已提交
1600
		if (error == -ECHILD) {
1601 1602 1603 1604 1605 1606 1607
			if (unlikely(!legitimize_path(nd, link, seq))) {
				drop_links(nd);
				nd->depth = 0;
				nd->flags &= ~LOOKUP_RCU;
				nd->path.mnt = NULL;
				nd->path.dentry = NULL;
				rcu_read_unlock();
A
Al Viro 已提交
1608
			} else if (likely(unlazy_walk(nd)) == 0)
1609
				error = nd_alloc_stack(nd);
A
Al Viro 已提交
1610 1611 1612
		}
		if (error) {
			path_put(link);
1613
			return ERR_PTR(error);
A
Al Viro 已提交
1614
		}
1615 1616
	}

1617
	last = nd->stack + nd->depth++;
A
Al Viro 已提交
1618
	last->link = *link;
1619
	clear_delayed_call(&last->done);
1620
	last->seq = seq;
1621

1622
	if (flags & WALK_TRAILING) {
1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676
		error = may_follow_link(nd, inode);
		if (unlikely(error))
			return ERR_PTR(error);
	}

	if (unlikely(nd->flags & LOOKUP_NO_SYMLINKS))
		return ERR_PTR(-ELOOP);

	if (!(nd->flags & LOOKUP_RCU)) {
		touch_atime(&last->link);
		cond_resched();
	} else if (atime_needs_update(&last->link, inode)) {
		if (unlikely(unlazy_walk(nd)))
			return ERR_PTR(-ECHILD);
		touch_atime(&last->link);
	}

	error = security_inode_follow_link(link->dentry, inode,
					   nd->flags & LOOKUP_RCU);
	if (unlikely(error))
		return ERR_PTR(error);

	res = READ_ONCE(inode->i_link);
	if (!res) {
		const char * (*get)(struct dentry *, struct inode *,
				struct delayed_call *);
		get = inode->i_op->get_link;
		if (nd->flags & LOOKUP_RCU) {
			res = get(NULL, inode, &last->done);
			if (res == ERR_PTR(-ECHILD)) {
				if (unlikely(unlazy_walk(nd)))
					return ERR_PTR(-ECHILD);
				res = get(link->dentry, inode, &last->done);
			}
		} else {
			res = get(link->dentry, inode, &last->done);
		}
		if (!res)
			goto all_done;
		if (IS_ERR(res))
			return res;
	}
	if (*res == '/') {
		error = nd_jump_root(nd);
		if (unlikely(error))
			return ERR_PTR(error);
		while (unlikely(*++res == '/'))
			;
	}
	if (*res)
		return res;
all_done: // pure jump
	put_link(nd);
	return NULL;
1677 1678
}

1679 1680 1681 1682 1683 1684
/*
 * Do we need to follow links? We _really_ want to be able
 * to do this check without having to look at inode->i_op,
 * so we keep a cache of "no, this doesn't need follow_link"
 * for the common case.
 */
1685
static const char *step_into(struct nameidata *nd, int flags,
A
Al Viro 已提交
1686
		     struct dentry *dentry, struct inode *inode, unsigned seq)
1687
{
A
Al Viro 已提交
1688 1689 1690 1691
	struct path path;
	int err = handle_mounts(nd, dentry, &path, &inode, &seq);

	if (err < 0)
1692
		return ERR_PTR(err);
A
Al Viro 已提交
1693
	if (likely(!d_is_symlink(path.dentry)) ||
1694
	   ((flags & WALK_TRAILING) && !(nd->flags & LOOKUP_FOLLOW)) ||
A
Al Viro 已提交
1695
	   (flags & WALK_NOFOLLOW)) {
1696
		/* not a symlink or should not follow */
A
Al Viro 已提交
1697
		path_to_nameidata(&path, nd);
1698 1699
		nd->inode = inode;
		nd->seq = seq;
1700
		return NULL;
1701
	}
1702 1703
	/* make sure that d_is_symlink above matches inode */
	if (nd->flags & LOOKUP_RCU) {
A
Al Viro 已提交
1704
		if (read_seqcount_retry(&path.dentry->d_seq, seq))
1705
			return ERR_PTR(-ECHILD);
1706
	}
1707
	return pick_link(nd, &path, inode, seq, flags);
1708 1709
}

1710 1711 1712
static struct dentry *follow_dotdot_rcu(struct nameidata *nd,
					struct inode **inodep,
					unsigned *seqp)
1713
{
A
Al Viro 已提交
1714
	struct dentry *parent, *old;
1715

A
Al Viro 已提交
1716 1717 1718
	if (path_equal(&nd->path, &nd->root))
		goto in_root;
	if (unlikely(nd->path.dentry == nd->path.mnt->mnt_root)) {
A
Al Viro 已提交
1719
		struct path path;
1720
		unsigned seq;
A
Al Viro 已提交
1721 1722 1723
		if (!choose_mountpoint_rcu(real_mount(nd->path.mnt),
					   &nd->root, &path, &seq))
			goto in_root;
1724 1725 1726 1727 1728 1729 1730 1731
		if (unlikely(nd->flags & LOOKUP_NO_XDEV))
			return ERR_PTR(-ECHILD);
		nd->path = path;
		nd->inode = path.dentry->d_inode;
		nd->seq = seq;
		if (unlikely(read_seqretry(&mount_lock, nd->m_seq)))
			return ERR_PTR(-ECHILD);
		/* we know that mountpoint was pinned */
1732
	}
A
Al Viro 已提交
1733 1734 1735 1736 1737 1738 1739 1740 1741 1742
	old = nd->path.dentry;
	parent = old->d_parent;
	*inodep = parent->d_inode;
	*seqp = read_seqcount_begin(&parent->d_seq);
	if (unlikely(read_seqcount_retry(&old->d_seq, nd->seq)))
		return ERR_PTR(-ECHILD);
	if (unlikely(!path_connected(nd->path.mnt, parent)))
		return ERR_PTR(-ECHILD);
	return parent;
in_root:
1743 1744
	if (unlikely(read_seqretry(&mount_lock, nd->m_seq)))
		return ERR_PTR(-ECHILD);
1745 1746 1747
	if (unlikely(nd->flags & LOOKUP_BENEATH))
		return ERR_PTR(-ECHILD);
	return NULL;
1748 1749
}

1750 1751 1752
static struct dentry *follow_dotdot(struct nameidata *nd,
				 struct inode **inodep,
				 unsigned *seqp)
1753
{
A
Al Viro 已提交
1754 1755 1756 1757 1758
	struct dentry *parent;

	if (path_equal(&nd->path, &nd->root))
		goto in_root;
	if (unlikely(nd->path.dentry == nd->path.mnt->mnt_root)) {
1759 1760
		struct path path = nd->path;
		path_get(&path);
A
Al Viro 已提交
1761
		while (1) {
1762 1763
			if (!follow_up(&path)) {
				path_put(&path);
A
Al Viro 已提交
1764
				goto in_root;
1765 1766 1767
			}
			if (path_equal(&path, &nd->root)) {
				path_put(&path);
A
Al Viro 已提交
1768
				goto in_root;
1769 1770
			}
			if (path.dentry != nd->path.mnt->mnt_root)
A
Al Viro 已提交
1771
				break;
1772
		}
1773 1774 1775 1776
		path_put(&nd->path);
		nd->path = path;
		if (unlikely(nd->flags & LOOKUP_NO_XDEV))
			return ERR_PTR(-EXDEV);
1777
	}
A
Al Viro 已提交
1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788
	/* rare case of legitimate dget_parent()... */
	parent = dget_parent(nd->path.dentry);
	if (unlikely(!path_connected(nd->path.mnt, parent))) {
		dput(parent);
		return ERR_PTR(-ENOENT);
	}
	*seqp = 0;
	*inodep = parent->d_inode;
	return parent;

in_root:
1789 1790 1791 1792
	if (unlikely(nd->flags & LOOKUP_BENEATH))
		return ERR_PTR(-EXDEV);
	dget(nd->path.dentry);
	return NULL;
1793 1794
}

1795
static const char *handle_dots(struct nameidata *nd, int type)
1796 1797
{
	if (type == LAST_DOTDOT) {
1798
		const char *error = NULL;
1799 1800 1801
		struct dentry *parent;
		struct inode *inode;
		unsigned seq;
1802 1803

		if (!nd->root.mnt) {
1804
			error = ERR_PTR(set_root(nd));
1805 1806 1807 1808
			if (error)
				return error;
		}
		if (nd->flags & LOOKUP_RCU)
1809
			parent = follow_dotdot_rcu(nd, &inode, &seq);
1810
		else
1811 1812 1813 1814 1815 1816 1817 1818 1819 1820
			parent = follow_dotdot(nd, &inode, &seq);
		if (IS_ERR(parent))
			return ERR_CAST(parent);
		if (unlikely(!parent))
			error = step_into(nd, WALK_NOFOLLOW,
					 nd->path.dentry, nd->inode, nd->seq);
		else
			error = step_into(nd, WALK_NOFOLLOW,
					 parent, inode, seq);
		if (unlikely(error))
1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831
			return error;

		if (unlikely(nd->flags & LOOKUP_IS_SCOPED)) {
			/*
			 * If there was a racing rename or mount along our
			 * path, then we can't be sure that ".." hasn't jumped
			 * above nd->root (and so userspace should retry or use
			 * some fallback).
			 */
			smp_rmb();
			if (unlikely(__read_seqcount_retry(&mount_lock.seqcount, nd->m_seq)))
1832
				return ERR_PTR(-EAGAIN);
1833
			if (unlikely(__read_seqcount_retry(&rename_lock.seqcount, nd->r_seq)))
1834
				return ERR_PTR(-EAGAIN);
1835 1836
		}
	}
1837
	return NULL;
1838 1839
}

1840
static const char *walk_component(struct nameidata *nd, int flags)
1841
{
1842
	struct dentry *dentry;
1843
	struct inode *inode;
1844
	unsigned seq;
1845 1846 1847 1848 1849
	/*
	 * "." and ".." are special - ".." especially so because it has
	 * to be able to know about the current root directory and
	 * parent relationships.
	 */
1850
	if (unlikely(nd->last_type != LAST_NORM)) {
A
Al Viro 已提交
1851
		if (!(flags & WALK_MORE) && nd->depth)
1852
			put_link(nd);
1853
		return handle_dots(nd, nd->last_type);
1854
	}
1855 1856
	dentry = lookup_fast(nd, &inode, &seq);
	if (IS_ERR(dentry))
1857
		return ERR_CAST(dentry);
1858
	if (unlikely(!dentry)) {
1859 1860
		dentry = lookup_slow(&nd->last, nd->path.dentry, nd->flags);
		if (IS_ERR(dentry))
1861
			return ERR_CAST(dentry);
1862
	}
1863 1864
	if (!(flags & WALK_MORE) && nd->depth)
		put_link(nd);
1865
	return step_into(nd, flags, dentry, inode, seq);
1866 1867
}

1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886
/*
 * We can do the critical dentry name comparison and hashing
 * operations one word at a time, but we are limited to:
 *
 * - Architectures with fast unaligned word accesses. We could
 *   do a "get_unaligned()" if this helps and is sufficiently
 *   fast.
 *
 * - non-CONFIG_DEBUG_PAGEALLOC configurations (so that we
 *   do not trap on the (extremely unlikely) case of a page
 *   crossing operation.
 *
 * - Furthermore, we need an efficient 64-bit compile for the
 *   64-bit case in order to generate the "number of bytes in
 *   the final mask". Again, that could be replaced with a
 *   efficient population count instruction or similar.
 */
#ifdef CONFIG_DCACHE_WORD_ACCESS

1887
#include <asm/word-at-a-time.h>
1888

1889
#ifdef HASH_MIX
1890

1891
/* Architecture provides HASH_MIX and fold_hash() in <asm/hash.h> */
1892

1893
#elif defined(CONFIG_64BIT)
1894
/*
1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921
 * Register pressure in the mixing function is an issue, particularly
 * on 32-bit x86, but almost any function requires one state value and
 * one temporary.  Instead, use a function designed for two state values
 * and no temporaries.
 *
 * This function cannot create a collision in only two iterations, so
 * we have two iterations to achieve avalanche.  In those two iterations,
 * we have six layers of mixing, which is enough to spread one bit's
 * influence out to 2^6 = 64 state bits.
 *
 * Rotate constants are scored by considering either 64 one-bit input
 * deltas or 64*63/2 = 2016 two-bit input deltas, and finding the
 * probability of that delta causing a change to each of the 128 output
 * bits, using a sample of random initial states.
 *
 * The Shannon entropy of the computed probabilities is then summed
 * to produce a score.  Ideally, any input change has a 50% chance of
 * toggling any given output bit.
 *
 * Mixing scores (in bits) for (12,45):
 * Input delta: 1-bit      2-bit
 * 1 round:     713.3    42542.6
 * 2 rounds:   2753.7   140389.8
 * 3 rounds:   5954.1   233458.2
 * 4 rounds:   7862.6   256672.2
 * Perfect:    8192     258048
 *            (64*128) (64*63/2 * 128)
1922
 */
1923 1924 1925 1926 1927
#define HASH_MIX(x, y, a)	\
	(	x ^= (a),	\
	y ^= x,	x = rol64(x,12),\
	x += y,	y = rol64(y,45),\
	y *= 9			)
1928

1929
/*
1930 1931 1932
 * Fold two longs into one 32-bit hash value.  This must be fast, but
 * latency isn't quite as critical, as there is a fair bit of additional
 * work done before the hash value is used.
1933
 */
1934
static inline unsigned int fold_hash(unsigned long x, unsigned long y)
1935
{
1936 1937 1938
	y ^= x * GOLDEN_RATIO_64;
	y *= GOLDEN_RATIO_64;
	return y >> 32;
1939 1940
}

1941 1942
#else	/* 32-bit case */

1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957
/*
 * Mixing scores (in bits) for (7,20):
 * Input delta: 1-bit      2-bit
 * 1 round:     330.3     9201.6
 * 2 rounds:   1246.4    25475.4
 * 3 rounds:   1907.1    31295.1
 * 4 rounds:   2042.3    31718.6
 * Perfect:    2048      31744
 *            (32*64)   (32*31/2 * 64)
 */
#define HASH_MIX(x, y, a)	\
	(	x ^= (a),	\
	y ^= x,	x = rol32(x, 7),\
	x += y,	y = rol32(y,20),\
	y *= 9			)
1958

1959
static inline unsigned int fold_hash(unsigned long x, unsigned long y)
1960
{
1961 1962
	/* Use arch-optimized multiply if one exists */
	return __hash_32(y ^ __hash_32(x));
1963 1964
}

1965 1966
#endif

1967 1968 1969 1970 1971 1972 1973
/*
 * Return the hash of a string of known length.  This is carfully
 * designed to match hash_name(), which is the more critical function.
 * In particular, we must end by hashing a final word containing 0..7
 * payload bytes, to match the way that hash_name() iterates until it
 * finds the delimiter after the name.
 */
1974
unsigned int full_name_hash(const void *salt, const char *name, unsigned int len)
1975
{
1976
	unsigned long a, x = 0, y = (unsigned long)salt;
1977 1978

	for (;;) {
1979 1980
		if (!len)
			goto done;
1981
		a = load_unaligned_zeropad(name);
1982 1983
		if (len < sizeof(unsigned long))
			break;
1984
		HASH_MIX(x, y, a);
1985 1986 1987
		name += sizeof(unsigned long);
		len -= sizeof(unsigned long);
	}
1988
	x ^= a & bytemask_from_count(len);
1989
done:
1990
	return fold_hash(x, y);
1991 1992 1993
}
EXPORT_SYMBOL(full_name_hash);

1994
/* Return the "hash_len" (hash and length) of a null-terminated string */
1995
u64 hashlen_string(const void *salt, const char *name)
1996
{
1997 1998
	unsigned long a = 0, x = 0, y = (unsigned long)salt;
	unsigned long adata, mask, len;
1999 2000
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;

2001 2002 2003
	len = 0;
	goto inside;

2004
	do {
2005
		HASH_MIX(x, y, a);
2006
		len += sizeof(unsigned long);
2007
inside:
2008 2009 2010 2011 2012
		a = load_unaligned_zeropad(name+len);
	} while (!has_zero(a, &adata, &constants));

	adata = prep_zero_mask(a, adata, &constants);
	mask = create_zero_mask(adata);
2013
	x ^= a & zero_bytemask(mask);
2014

2015
	return hashlen_create(fold_hash(x, y), len + find_zero(mask));
2016 2017 2018
}
EXPORT_SYMBOL(hashlen_string);

2019 2020
/*
 * Calculate the length and hash of the path component, and
2021
 * return the "hash_len" as the result.
2022
 */
2023
static inline u64 hash_name(const void *salt, const char *name)
2024
{
2025 2026
	unsigned long a = 0, b, x = 0, y = (unsigned long)salt;
	unsigned long adata, bdata, mask, len;
2027
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;
2028

2029 2030 2031
	len = 0;
	goto inside;

2032
	do {
2033
		HASH_MIX(x, y, a);
2034
		len += sizeof(unsigned long);
2035
inside:
2036
		a = load_unaligned_zeropad(name+len);
2037 2038 2039 2040 2041 2042
		b = a ^ REPEAT_BYTE('/');
	} while (!(has_zero(a, &adata, &constants) | has_zero(b, &bdata, &constants)));

	adata = prep_zero_mask(a, adata, &constants);
	bdata = prep_zero_mask(b, bdata, &constants);
	mask = create_zero_mask(adata | bdata);
2043
	x ^= a & zero_bytemask(mask);
2044

2045
	return hashlen_create(fold_hash(x, y), len + find_zero(mask));
2046 2047
}

2048
#else	/* !CONFIG_DCACHE_WORD_ACCESS: Slow, byte-at-a-time version */
2049

2050
/* Return the hash of a string of known length */
2051
unsigned int full_name_hash(const void *salt, const char *name, unsigned int len)
L
Linus Torvalds 已提交
2052
{
2053
	unsigned long hash = init_name_hash(salt);
L
Linus Torvalds 已提交
2054
	while (len--)
2055
		hash = partial_name_hash((unsigned char)*name++, hash);
L
Linus Torvalds 已提交
2056 2057
	return end_name_hash(hash);
}
2058
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
2059

2060
/* Return the "hash_len" (hash and length) of a null-terminated string */
2061
u64 hashlen_string(const void *salt, const char *name)
2062
{
2063
	unsigned long hash = init_name_hash(salt);
2064 2065 2066
	unsigned long len = 0, c;

	c = (unsigned char)*name;
2067
	while (c) {
2068 2069 2070
		len++;
		hash = partial_name_hash(c, hash);
		c = (unsigned char)name[len];
2071
	}
2072 2073
	return hashlen_create(end_name_hash(hash), len);
}
2074
EXPORT_SYMBOL(hashlen_string);
2075

2076 2077 2078 2079
/*
 * We know there's a real path component here of at least
 * one character.
 */
2080
static inline u64 hash_name(const void *salt, const char *name)
2081
{
2082
	unsigned long hash = init_name_hash(salt);
2083 2084 2085 2086 2087 2088 2089 2090
	unsigned long len = 0, c;

	c = (unsigned char)*name;
	do {
		len++;
		hash = partial_name_hash(c, hash);
		c = (unsigned char)name[len];
	} while (c && c != '/');
2091
	return hashlen_create(end_name_hash(hash), len);
2092 2093
}

2094 2095
#endif

L
Linus Torvalds 已提交
2096 2097
/*
 * Name resolution.
2098 2099
 * This is the basic name resolution function, turning a pathname into
 * the final dentry. We expect 'base' to be positive and a directory.
L
Linus Torvalds 已提交
2100
 *
2101 2102
 * Returns 0 and nd will have valid dentry and mnt on success.
 * Returns error and drops reference to input namei data on failure.
L
Linus Torvalds 已提交
2103
 */
2104
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
2105
{
2106
	int depth = 0; // depth <= nd->depth
L
Linus Torvalds 已提交
2107
	int err;
A
Al Viro 已提交
2108

2109
	nd->last_type = LAST_ROOT;
2110
	nd->flags |= LOOKUP_PARENT;
2111 2112
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
2113 2114 2115
	while (*name=='/')
		name++;
	if (!*name)
2116
		return 0;
L
Linus Torvalds 已提交
2117 2118 2119

	/* At this point we know we have a real path component. */
	for(;;) {
2120
		const char *link;
2121
		u64 hash_len;
A
Al Viro 已提交
2122
		int type;
L
Linus Torvalds 已提交
2123

2124
		err = may_lookup(nd);
2125
		if (err)
2126
			return err;
L
Linus Torvalds 已提交
2127

2128
		hash_len = hash_name(nd->path.dentry, name);
L
Linus Torvalds 已提交
2129

A
Al Viro 已提交
2130
		type = LAST_NORM;
2131
		if (name[0] == '.') switch (hashlen_len(hash_len)) {
A
Al Viro 已提交
2132
			case 2:
2133
				if (name[1] == '.') {
A
Al Viro 已提交
2134
					type = LAST_DOTDOT;
A
Al Viro 已提交
2135 2136
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
2137 2138 2139 2140
				break;
			case 1:
				type = LAST_DOT;
		}
2141 2142
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
2143
			nd->flags &= ~LOOKUP_JUMPED;
2144
			if (unlikely(parent->d_flags & DCACHE_OP_HASH)) {
2145
				struct qstr this = { { .hash_len = hash_len }, .name = name };
2146
				err = parent->d_op->d_hash(parent, &this);
2147
				if (err < 0)
2148
					return err;
2149 2150
				hash_len = this.hash_len;
				name = this.name;
2151 2152
			}
		}
A
Al Viro 已提交
2153

2154 2155
		nd->last.hash_len = hash_len;
		nd->last.name = name;
2156 2157
		nd->last_type = type;

2158 2159
		name += hashlen_len(hash_len);
		if (!*name)
2160
			goto OK;
2161 2162 2163 2164 2165
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
2166 2167
			name++;
		} while (unlikely(*name == '/'));
2168 2169
		if (unlikely(!*name)) {
OK:
2170
			/* pathname or trailing symlink, done */
2171 2172
			if (!depth) {
				nd->flags &= ~LOOKUP_PARENT;
2173
				return 0;
2174
			}
2175
			/* last component of nested symlink */
2176
			name = nd->stack[--depth].name;
2177
			link = walk_component(nd, 0);
A
Al Viro 已提交
2178 2179
		} else {
			/* not the last component */
2180
			link = walk_component(nd, WALK_MORE);
2181
		}
2182 2183 2184 2185
		if (unlikely(link)) {
			if (IS_ERR(link))
				return PTR_ERR(link);
			/* a symlink to follow */
2186
			nd->stack[depth++].name = name;
2187 2188
			name = link;
			continue;
N
Nick Piggin 已提交
2189
		}
2190 2191
		if (unlikely(!d_can_lookup(nd->path.dentry))) {
			if (nd->flags & LOOKUP_RCU) {
A
Al Viro 已提交
2192
				if (unlazy_walk(nd))
2193 2194
					return -ECHILD;
			}
2195
			return -ENOTDIR;
2196
		}
L
Linus Torvalds 已提交
2197 2198 2199
	}
}

2200
/* must be paired with terminate_walk() */
2201
static const char *path_init(struct nameidata *nd, unsigned flags)
N
Nick Piggin 已提交
2202
{
2203
	int error;
2204
	const char *s = nd->name->name;
N
Nick Piggin 已提交
2205

2206 2207
	if (!*s)
		flags &= ~LOOKUP_RCU;
2208 2209
	if (flags & LOOKUP_RCU)
		rcu_read_lock();
2210

2211
	nd->flags = flags | LOOKUP_JUMPED;
N
Nick Piggin 已提交
2212
	nd->depth = 0;
2213 2214 2215 2216 2217

	nd->m_seq = __read_seqcount_begin(&mount_lock.seqcount);
	nd->r_seq = __read_seqcount_begin(&rename_lock.seqcount);
	smp_rmb();

2218
	if (flags & LOOKUP_ROOT) {
2219 2220
		struct dentry *root = nd->root.dentry;
		struct inode *inode = root->d_inode;
2221 2222
		if (*s && unlikely(!d_can_lookup(root)))
			return ERR_PTR(-ENOTDIR);
2223 2224 2225
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
2226
			nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
2227
			nd->root_seq = nd->seq;
2228 2229 2230
		} else {
			path_get(&nd->path);
		}
2231
		return s;
2232 2233
	}

N
Nick Piggin 已提交
2234
	nd->root.mnt = NULL;
2235 2236
	nd->path.mnt = NULL;
	nd->path.dentry = NULL;
N
Nick Piggin 已提交
2237

2238 2239
	/* Absolute pathname -- fetch the root (LOOKUP_IN_ROOT uses nd->dfd). */
	if (*s == '/' && !(flags & LOOKUP_IN_ROOT)) {
2240 2241 2242 2243
		error = nd_jump_root(nd);
		if (unlikely(error))
			return ERR_PTR(error);
		return s;
2244 2245 2246 2247
	}

	/* Relative pathname -- get the starting-point it is relative to. */
	if (nd->dfd == AT_FDCWD) {
A
Al Viro 已提交
2248 2249 2250
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
2251

A
Al Viro 已提交
2252 2253 2254
			do {
				seq = read_seqcount_begin(&fs->seq);
				nd->path = fs->pwd;
2255
				nd->inode = nd->path.dentry->d_inode;
A
Al Viro 已提交
2256 2257 2258 2259
				nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
			} while (read_seqcount_retry(&fs->seq, seq));
		} else {
			get_fs_pwd(current->fs, &nd->path);
2260
			nd->inode = nd->path.dentry->d_inode;
A
Al Viro 已提交
2261
		}
N
Nick Piggin 已提交
2262
	} else {
2263
		/* Caller must check execute permissions on the starting path component */
2264
		struct fd f = fdget_raw(nd->dfd);
N
Nick Piggin 已提交
2265 2266
		struct dentry *dentry;

2267
		if (!f.file)
2268
			return ERR_PTR(-EBADF);
N
Nick Piggin 已提交
2269

2270
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
2271

2272 2273 2274
		if (*s && unlikely(!d_can_lookup(dentry))) {
			fdput(f);
			return ERR_PTR(-ENOTDIR);
A
Al Viro 已提交
2275
		}
N
Nick Piggin 已提交
2276

2277
		nd->path = f.file->f_path;
A
Al Viro 已提交
2278
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
2279 2280
			nd->inode = nd->path.dentry->d_inode;
			nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
2281
		} else {
2282
			path_get(&nd->path);
A
Al Viro 已提交
2283
			nd->inode = nd->path.dentry->d_inode;
A
Al Viro 已提交
2284
		}
A
Al Viro 已提交
2285
		fdput(f);
N
Nick Piggin 已提交
2286
	}
2287

2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298
	/* For scoped-lookups we need to set the root to the dirfd as well. */
	if (flags & LOOKUP_IS_SCOPED) {
		nd->root = nd->path;
		if (flags & LOOKUP_RCU) {
			nd->root_seq = nd->seq;
		} else {
			path_get(&nd->root);
			nd->flags |= LOOKUP_ROOT_GRABBED;
		}
	}
	return s;
2299 2300
}

2301
static inline const char *lookup_last(struct nameidata *nd)
2302 2303 2304 2305
{
	if (nd->last_type == LAST_NORM && nd->last.name[nd->last.len])
		nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;

2306
	return walk_component(nd, WALK_TRAILING);
2307 2308
}

2309 2310
static int handle_lookup_down(struct nameidata *nd)
{
2311
	if (!(nd->flags & LOOKUP_RCU))
2312
		dget(nd->path.dentry);
2313 2314
	return PTR_ERR(step_into(nd, WALK_NOFOLLOW,
			nd->path.dentry, nd->inode, nd->seq));
2315 2316
}

2317
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2318
static int path_lookupat(struct nameidata *nd, unsigned flags, struct path *path)
2319
{
2320
	const char *s = path_init(nd, flags);
2321
	int err;
N
Nick Piggin 已提交
2322

2323
	if (unlikely(flags & LOOKUP_DOWN) && !IS_ERR(s)) {
2324
		err = handle_lookup_down(nd);
2325 2326
		if (unlikely(err < 0))
			s = ERR_PTR(err);
2327 2328
	}

2329 2330 2331
	while (!(err = link_path_walk(s, nd)) &&
	       (s = lookup_last(nd)) != NULL)
		;
2332 2333
	if (!err)
		err = complete_walk(nd);
2334

2335 2336
	if (!err && nd->flags & LOOKUP_DIRECTORY)
		if (!d_can_lookup(nd->path.dentry))
A
Al Viro 已提交
2337
			err = -ENOTDIR;
2338 2339 2340 2341
	if (!err && unlikely(nd->flags & LOOKUP_MOUNTPOINT)) {
		err = handle_lookup_down(nd);
		nd->flags &= ~LOOKUP_JUMPED; // no d_weak_revalidate(), please...
	}
2342 2343 2344 2345 2346 2347
	if (!err) {
		*path = nd->path;
		nd->path.mnt = NULL;
		nd->path.dentry = NULL;
	}
	terminate_walk(nd);
2348
	return err;
A
Al Viro 已提交
2349
}
N
Nick Piggin 已提交
2350

2351 2352
int filename_lookup(int dfd, struct filename *name, unsigned flags,
		    struct path *path, struct path *root)
A
Al Viro 已提交
2353
{
2354
	int retval;
2355
	struct nameidata nd;
2356 2357
	if (IS_ERR(name))
		return PTR_ERR(name);
2358 2359 2360 2361
	if (unlikely(root)) {
		nd.root = *root;
		flags |= LOOKUP_ROOT;
	}
2362
	set_nameidata(&nd, dfd, name);
2363
	retval = path_lookupat(&nd, flags | LOOKUP_RCU, path);
A
Al Viro 已提交
2364
	if (unlikely(retval == -ECHILD))
2365
		retval = path_lookupat(&nd, flags, path);
A
Al Viro 已提交
2366
	if (unlikely(retval == -ESTALE))
2367
		retval = path_lookupat(&nd, flags | LOOKUP_REVAL, path);
N
Nick Piggin 已提交
2368

2369
	if (likely(!retval))
2370 2371
		audit_inode(name, path->dentry,
			    flags & LOOKUP_MOUNTPOINT ? AUDIT_INODE_NOEVAL : 0);
2372
	restore_nameidata();
2373
	putname(name);
2374
	return retval;
L
Linus Torvalds 已提交
2375 2376
}

2377
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2378
static int path_parentat(struct nameidata *nd, unsigned flags,
2379
				struct path *parent)
2380
{
2381
	const char *s = path_init(nd, flags);
2382
	int err = link_path_walk(s, nd);
2383 2384
	if (!err)
		err = complete_walk(nd);
2385 2386 2387 2388 2389 2390
	if (!err) {
		*parent = nd->path;
		nd->path.mnt = NULL;
		nd->path.dentry = NULL;
	}
	terminate_walk(nd);
2391 2392 2393
	return err;
}

2394
static struct filename *filename_parentat(int dfd, struct filename *name,
2395 2396
				unsigned int flags, struct path *parent,
				struct qstr *last, int *type)
2397 2398
{
	int retval;
2399
	struct nameidata nd;
2400

2401 2402
	if (IS_ERR(name))
		return name;
2403
	set_nameidata(&nd, dfd, name);
2404
	retval = path_parentat(&nd, flags | LOOKUP_RCU, parent);
2405
	if (unlikely(retval == -ECHILD))
2406
		retval = path_parentat(&nd, flags, parent);
2407
	if (unlikely(retval == -ESTALE))
2408
		retval = path_parentat(&nd, flags | LOOKUP_REVAL, parent);
2409 2410 2411
	if (likely(!retval)) {
		*last = nd.last;
		*type = nd.last_type;
2412
		audit_inode(name, parent->dentry, AUDIT_INODE_PARENT);
2413 2414 2415
	} else {
		putname(name);
		name = ERR_PTR(retval);
2416
	}
2417
	restore_nameidata();
2418
	return name;
2419 2420
}

A
Al Viro 已提交
2421 2422
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2423
{
2424 2425
	struct filename *filename;
	struct dentry *d;
2426 2427
	struct qstr last;
	int type;
2428

2429 2430
	filename = filename_parentat(AT_FDCWD, getname_kernel(name), 0, path,
				    &last, &type);
2431 2432
	if (IS_ERR(filename))
		return ERR_CAST(filename);
2433
	if (unlikely(type != LAST_NORM)) {
2434
		path_put(path);
2435 2436
		putname(filename);
		return ERR_PTR(-EINVAL);
A
Al Viro 已提交
2437
	}
A
Al Viro 已提交
2438
	inode_lock_nested(path->dentry->d_inode, I_MUTEX_PARENT);
2439
	d = __lookup_hash(&last, path->dentry, 0);
A
Al Viro 已提交
2440
	if (IS_ERR(d)) {
A
Al Viro 已提交
2441
		inode_unlock(path->dentry->d_inode);
2442
		path_put(path);
A
Al Viro 已提交
2443
	}
2444
	putname(filename);
A
Al Viro 已提交
2445
	return d;
2446 2447
}

A
Al Viro 已提交
2448 2449
int kern_path(const char *name, unsigned int flags, struct path *path)
{
2450 2451
	return filename_lookup(AT_FDCWD, getname_kernel(name),
			       flags, path, NULL);
A
Al Viro 已提交
2452
}
2453
EXPORT_SYMBOL(kern_path);
A
Al Viro 已提交
2454

2455 2456 2457 2458 2459 2460
/**
 * vfs_path_lookup - lookup a file path relative to a dentry-vfsmount pair
 * @dentry:  pointer to dentry of the base directory
 * @mnt: pointer to vfs mount of the base directory
 * @name: pointer to file name
 * @flags: lookup flags
2461
 * @path: pointer to struct path to fill
2462 2463 2464
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2465
		    struct path *path)
2466
{
2467 2468
	struct path root = {.mnt = mnt, .dentry = dentry};
	/* the first argument of filename_lookup() is ignored with root */
2469 2470
	return filename_lookup(AT_FDCWD, getname_kernel(name),
			       flags , path, &root);
2471
}
2472
EXPORT_SYMBOL(vfs_path_lookup);
2473

2474 2475
static int lookup_one_len_common(const char *name, struct dentry *base,
				 int len, struct qstr *this)
2476
{
2477 2478 2479
	this->name = name;
	this->len = len;
	this->hash = full_name_hash(base, name, len);
A
Al Viro 已提交
2480
	if (!len)
2481
		return -EACCES;
A
Al Viro 已提交
2482

A
Al Viro 已提交
2483 2484
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
2485
			return -EACCES;
A
Al Viro 已提交
2486 2487
	}

A
Al Viro 已提交
2488
	while (len--) {
2489
		unsigned int c = *(const unsigned char *)name++;
A
Al Viro 已提交
2490
		if (c == '/' || c == '\0')
2491
			return -EACCES;
A
Al Viro 已提交
2492
	}
2493 2494 2495 2496 2497
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2498
		int err = base->d_op->d_hash(base, this);
2499
		if (err < 0)
2500
			return err;
2501
	}
2502

2503 2504 2505
	return inode_permission(base->d_inode, MAY_EXEC);
}

2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534
/**
 * try_lookup_one_len - filesystem helper to lookup single pathname component
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
 * Look up a dentry by name in the dcache, returning NULL if it does not
 * currently exist.  The function does not try to create a dentry.
 *
 * Note that this routine is purely a helper for filesystem usage and should
 * not be called by generic code.
 *
 * The caller must hold base->i_mutex.
 */
struct dentry *try_lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
	int err;

	WARN_ON_ONCE(!inode_is_locked(base->d_inode));

	err = lookup_one_len_common(name, base, len, &this);
	if (err)
		return ERR_PTR(err);

	return lookup_dcache(&this, base, 0);
}
EXPORT_SYMBOL(try_lookup_one_len);

2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547
/**
 * lookup_one_len - filesystem helper to lookup single pathname component
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
 * Note that this routine is purely a helper for filesystem usage and should
 * not be called by generic code.
 *
 * The caller must hold base->i_mutex.
 */
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
2548
	struct dentry *dentry;
2549 2550 2551 2552 2553 2554
	struct qstr this;
	int err;

	WARN_ON_ONCE(!inode_is_locked(base->d_inode));

	err = lookup_one_len_common(name, base, len, &this);
2555 2556 2557
	if (err)
		return ERR_PTR(err);

2558 2559
	dentry = lookup_dcache(&this, base, 0);
	return dentry ? dentry : __lookup_slow(&this, base, 0);
2560
}
2561
EXPORT_SYMBOL(lookup_one_len);
2562

2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579
/**
 * lookup_one_len_unlocked - filesystem helper to lookup single pathname component
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
 * Note that this routine is purely a helper for filesystem usage and should
 * not be called by generic code.
 *
 * Unlike lookup_one_len, it should be called without the parent
 * i_mutex held, and will take the i_mutex itself if necessary.
 */
struct dentry *lookup_one_len_unlocked(const char *name,
				       struct dentry *base, int len)
{
	struct qstr this;
	int err;
2580
	struct dentry *ret;
2581

2582
	err = lookup_one_len_common(name, base, len, &this);
2583 2584 2585
	if (err)
		return ERR_PTR(err);

2586 2587 2588 2589
	ret = lookup_dcache(&this, base, 0);
	if (!ret)
		ret = lookup_slow(&this, base, 0);
	return ret;
2590 2591 2592
}
EXPORT_SYMBOL(lookup_one_len_unlocked);

A
Al Viro 已提交
2593 2594 2595 2596 2597 2598 2599 2600 2601 2602 2603 2604
/*
 * Like lookup_one_len_unlocked(), except that it yields ERR_PTR(-ENOENT)
 * on negatives.  Returns known positive or ERR_PTR(); that's what
 * most of the users want.  Note that pinned negative with unlocked parent
 * _can_ become positive at any time, so callers of lookup_one_len_unlocked()
 * need to be very careful; pinned positives have ->d_inode stable, so
 * this one avoids such problems.
 */
struct dentry *lookup_positive_unlocked(const char *name,
				       struct dentry *base, int len)
{
	struct dentry *ret = lookup_one_len_unlocked(name, base, len);
2605
	if (!IS_ERR(ret) && d_flags_negative(smp_load_acquire(&ret->d_flags))) {
A
Al Viro 已提交
2606 2607 2608 2609 2610 2611 2612
		dput(ret);
		ret = ERR_PTR(-ENOENT);
	}
	return ret;
}
EXPORT_SYMBOL(lookup_positive_unlocked);

2613 2614 2615 2616 2617 2618
#ifdef CONFIG_UNIX98_PTYS
int path_pts(struct path *path)
{
	/* Find something mounted on "pts" in the same directory as
	 * the input path.
	 */
2619 2620
	struct dentry *parent = dget_parent(path->dentry);
	struct dentry *child;
2621 2622
	struct qstr this;

2623 2624
	if (unlikely(!path_connected(path->mnt, parent))) {
		dput(parent);
2625
		return -ENOENT;
2626
	}
2627 2628
	dput(path->dentry);
	path->dentry = parent;
2629 2630 2631 2632 2633 2634 2635 2636 2637 2638 2639 2640 2641
	this.name = "pts";
	this.len = 3;
	child = d_hash_and_lookup(parent, &this);
	if (!child)
		return -ENOENT;

	path->dentry = child;
	dput(parent);
	follow_mount(path);
	return 0;
}
#endif

2642 2643
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2644
{
2645 2646
	return filename_lookup(dfd, getname_flags(name, flags, empty),
			       flags, path, NULL);
L
Linus Torvalds 已提交
2647
}
2648
EXPORT_SYMBOL(user_path_at_empty);
2649

M
Miklos Szeredi 已提交
2650
int __check_sticky(struct inode *dir, struct inode *inode)
L
Linus Torvalds 已提交
2651
{
2652
	kuid_t fsuid = current_fsuid();
2653

2654
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2655
		return 0;
2656
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2657
		return 0;
2658
	return !capable_wrt_inode_uidgid(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2659
}
M
Miklos Szeredi 已提交
2660
EXPORT_SYMBOL(__check_sticky);
L
Linus Torvalds 已提交
2661 2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2672 2673 2674

/*
 *	Check whether we can remove a link victim from directory dir, check
 *  whether the type of victim is right.
 *  1. We can't do it if dir is read-only (done in permission())
 *  2. We should have write and exec permissions on dir
 *  3. We can't remove anything from append-only dir
 *  4. We can't do anything with immutable dir (done in permission())
 *  5. If the sticky bit on dir is set we should either
 *	a. be owner of dir, or
 *	b. be owner of victim, or
 *	c. have CAP_FOWNER capability
 *  6. If the victim is append-only or immutable we can't do antyhing with
 *     links pointing to it.
2675 2676 2677 2678 2679
 *  7. If the victim has an unknown uid or gid we can't change the inode.
 *  8. If we were asked to remove a directory and victim isn't one - ENOTDIR.
 *  9. If we were asked to remove a non-directory and victim isn't one - EISDIR.
 * 10. We can't remove a root or mountpoint.
 * 11. We don't allow removal of NFS sillyrenamed files; it's handled by
L
Linus Torvalds 已提交
2680 2681
 *     nfs_async_unlink().
 */
2682
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2683
{
2684
	struct inode *inode = d_backing_inode(victim);
L
Linus Torvalds 已提交
2685 2686
	int error;

2687
	if (d_is_negative(victim))
L
Linus Torvalds 已提交
2688
		return -ENOENT;
2689
	BUG_ON(!inode);
L
Linus Torvalds 已提交
2690 2691

	BUG_ON(victim->d_parent->d_inode != dir);
2692 2693 2694 2695 2696

	/* Inode writeback is not safe when the uid or gid are invalid. */
	if (!uid_valid(inode->i_uid) || !gid_valid(inode->i_gid))
		return -EOVERFLOW;

2697
	audit_inode_child(dir, victim, AUDIT_TYPE_CHILD_DELETE);
L
Linus Torvalds 已提交
2698

2699
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2700 2701 2702 2703
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
2704 2705

	if (check_sticky(dir, inode) || IS_APPEND(inode) ||
2706
	    IS_IMMUTABLE(inode) || IS_SWAPFILE(inode) || HAS_UNMAPPED_ID(inode))
L
Linus Torvalds 已提交
2707 2708
		return -EPERM;
	if (isdir) {
M
Miklos Szeredi 已提交
2709
		if (!d_is_dir(victim))
L
Linus Torvalds 已提交
2710 2711 2712
			return -ENOTDIR;
		if (IS_ROOT(victim))
			return -EBUSY;
M
Miklos Szeredi 已提交
2713
	} else if (d_is_dir(victim))
L
Linus Torvalds 已提交
2714 2715 2716 2717 2718 2719 2720 2721 2722 2723 2724 2725 2726
		return -EISDIR;
	if (IS_DEADDIR(dir))
		return -ENOENT;
	if (victim->d_flags & DCACHE_NFSFS_RENAMED)
		return -EBUSY;
	return 0;
}

/*	Check whether we can create an object with dentry child in directory
 *  dir.
 *  1. We can't do it if child already exists (open has special treatment for
 *     this case, but since we are inlined it's OK)
 *  2. We can't do it if dir is read-only (done in permission())
2727 2728 2729
 *  3. We can't do it if the fs can't represent the fsuid or fsgid.
 *  4. We should have write and exec permissions on dir
 *  5. We can't do it if dir is immutable (done in permission())
L
Linus Torvalds 已提交
2730
 */
2731
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2732
{
2733
	struct user_namespace *s_user_ns;
2734
	audit_inode_child(dir, child, AUDIT_TYPE_CHILD_CREATE);
L
Linus Torvalds 已提交
2735 2736 2737 2738
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2739 2740 2741 2742
	s_user_ns = dir->i_sb->s_user_ns;
	if (!kuid_has_mapping(s_user_ns, current_fsuid()) ||
	    !kgid_has_mapping(s_user_ns, current_fsgid()))
		return -EOVERFLOW;
2743
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2744 2745 2746 2747 2748 2749 2750 2751 2752 2753
}

/*
 * p1 and p2 should be directories on the same fs.
 */
struct dentry *lock_rename(struct dentry *p1, struct dentry *p2)
{
	struct dentry *p;

	if (p1 == p2) {
A
Al Viro 已提交
2754
		inode_lock_nested(p1->d_inode, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2755 2756 2757
		return NULL;
	}

2758
	mutex_lock(&p1->d_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2759

2760 2761
	p = d_ancestor(p2, p1);
	if (p) {
A
Al Viro 已提交
2762 2763
		inode_lock_nested(p2->d_inode, I_MUTEX_PARENT);
		inode_lock_nested(p1->d_inode, I_MUTEX_CHILD);
2764
		return p;
L
Linus Torvalds 已提交
2765 2766
	}

2767 2768
	p = d_ancestor(p1, p2);
	if (p) {
A
Al Viro 已提交
2769 2770
		inode_lock_nested(p1->d_inode, I_MUTEX_PARENT);
		inode_lock_nested(p2->d_inode, I_MUTEX_CHILD);
2771
		return p;
L
Linus Torvalds 已提交
2772 2773
	}

A
Al Viro 已提交
2774 2775
	inode_lock_nested(p1->d_inode, I_MUTEX_PARENT);
	inode_lock_nested(p2->d_inode, I_MUTEX_PARENT2);
L
Linus Torvalds 已提交
2776 2777
	return NULL;
}
2778
EXPORT_SYMBOL(lock_rename);
L
Linus Torvalds 已提交
2779 2780 2781

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
A
Al Viro 已提交
2782
	inode_unlock(p1->d_inode);
L
Linus Torvalds 已提交
2783
	if (p1 != p2) {
A
Al Viro 已提交
2784
		inode_unlock(p2->d_inode);
2785
		mutex_unlock(&p1->d_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2786 2787
	}
}
2788
EXPORT_SYMBOL(unlock_rename);
L
Linus Torvalds 已提交
2789

A
Al Viro 已提交
2790
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2791
		bool want_excl)
L
Linus Torvalds 已提交
2792
{
2793
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2794 2795 2796
	if (error)
		return error;

A
Al Viro 已提交
2797
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2798 2799 2800 2801 2802 2803
		return -EACCES;	/* shouldn't it be ENOSYS? */
	mode &= S_IALLUGO;
	mode |= S_IFREG;
	error = security_inode_create(dir, dentry, mode);
	if (error)
		return error;
A
Al Viro 已提交
2804
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2805
	if (!error)
2806
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2807 2808
	return error;
}
2809
EXPORT_SYMBOL(vfs_create);
L
Linus Torvalds 已提交
2810

A
Al Viro 已提交
2811 2812 2813 2814 2815 2816 2817 2818 2819 2820 2821 2822 2823 2824 2825 2826 2827 2828 2829 2830 2831
int vfs_mkobj(struct dentry *dentry, umode_t mode,
		int (*f)(struct dentry *, umode_t, void *),
		void *arg)
{
	struct inode *dir = dentry->d_parent->d_inode;
	int error = may_create(dir, dentry);
	if (error)
		return error;

	mode &= S_IALLUGO;
	mode |= S_IFREG;
	error = security_inode_create(dir, dentry, mode);
	if (error)
		return error;
	error = f(dentry, mode, arg);
	if (!error)
		fsnotify_create(dir, dentry);
	return error;
}
EXPORT_SYMBOL(vfs_mkobj);

2832 2833 2834 2835 2836 2837
bool may_open_dev(const struct path *path)
{
	return !(path->mnt->mnt_flags & MNT_NODEV) &&
		!(path->mnt->mnt_sb->s_iflags & SB_I_NODEV);
}

A
Al Viro 已提交
2838
static int may_open(const struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2839
{
2840
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2841 2842 2843 2844 2845 2846
	struct inode *inode = dentry->d_inode;
	int error;

	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2847 2848
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2849
		return -ELOOP;
C
Christoph Hellwig 已提交
2850 2851 2852 2853 2854 2855
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2856
		if (!may_open_dev(path))
L
Linus Torvalds 已提交
2857
			return -EACCES;
C
Christoph Hellwig 已提交
2858 2859 2860
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2861
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2862
		break;
2863
	}
2864

A
Al Viro 已提交
2865
	error = inode_permission(inode, MAY_OPEN | acc_mode);
2866 2867
	if (error)
		return error;
M
Mimi Zohar 已提交
2868

L
Linus Torvalds 已提交
2869 2870 2871 2872
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2873
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2874
			return -EPERM;
L
Linus Torvalds 已提交
2875
		if (flag & O_TRUNC)
2876
			return -EPERM;
L
Linus Torvalds 已提交
2877 2878 2879
	}

	/* O_NOATIME can only be set by the owner or superuser */
2880
	if (flag & O_NOATIME && !inode_owner_or_capable(inode))
2881
		return -EPERM;
L
Linus Torvalds 已提交
2882

2883
	return 0;
2884
}
L
Linus Torvalds 已提交
2885

2886
static int handle_truncate(struct file *filp)
2887
{
A
Al Viro 已提交
2888
	const struct path *path = &filp->f_path;
2889 2890 2891 2892 2893 2894 2895
	struct inode *inode = path->dentry->d_inode;
	int error = get_write_access(inode);
	if (error)
		return error;
	/*
	 * Refuse to truncate files with mandatory locks held on them.
	 */
2896
	error = locks_verify_locked(filp);
2897
	if (!error)
2898
		error = security_path_truncate(path);
2899 2900 2901
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2902
				    filp);
2903 2904
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2905
	return error;
L
Linus Torvalds 已提交
2906 2907
}

2908 2909
static inline int open_to_namei_flags(int flag)
{
2910 2911
	if ((flag & O_ACCMODE) == 3)
		flag--;
2912 2913 2914
	return flag;
}

2915
static int may_o_create(const struct path *dir, struct dentry *dentry, umode_t mode)
M
Miklos Szeredi 已提交
2916
{
2917
	struct user_namespace *s_user_ns;
M
Miklos Szeredi 已提交
2918 2919 2920 2921
	int error = security_path_mknod(dir, dentry, mode, 0);
	if (error)
		return error;

2922 2923 2924 2925 2926
	s_user_ns = dir->dentry->d_sb->s_user_ns;
	if (!kuid_has_mapping(s_user_ns, current_fsuid()) ||
	    !kgid_has_mapping(s_user_ns, current_fsgid()))
		return -EOVERFLOW;

M
Miklos Szeredi 已提交
2927 2928 2929 2930 2931 2932 2933
	error = inode_permission(dir->dentry->d_inode, MAY_WRITE | MAY_EXEC);
	if (error)
		return error;

	return security_inode_create(dir->dentry->d_inode, dentry, mode);
}

2934 2935 2936 2937 2938 2939 2940
/*
 * Attempt to atomically look up, create and open a file from a negative
 * dentry.
 *
 * Returns 0 if successful.  The file will have been created and attached to
 * @file by the filesystem calling finish_open().
 *
2941 2942 2943
 * If the file was looked up only or didn't need creating, FMODE_OPENED won't
 * be set.  The caller will need to perform the open themselves.  @path will
 * have been updated to point to the new dentry.  This may be negative.
2944 2945 2946
 *
 * Returns an error code otherwise.
 */
2947 2948 2949 2950
static struct dentry *atomic_open(struct nameidata *nd, struct dentry *dentry,
				  struct file *file,
				  const struct open_flags *op,
				  int open_flag, umode_t mode)
M
Miklos Szeredi 已提交
2951
{
2952
	struct dentry *const DENTRY_NOT_SET = (void *) -1UL;
M
Miklos Szeredi 已提交
2953 2954 2955
	struct inode *dir =  nd->path.dentry->d_inode;
	int error;

2956
	if (!(~open_flag & (O_EXCL | O_CREAT)))	/* both O_EXCL and O_CREAT */
M
Miklos Szeredi 已提交
2957 2958 2959 2960 2961
		open_flag &= ~O_TRUNC;

	if (nd->flags & LOOKUP_DIRECTORY)
		open_flag |= O_DIRECTORY;

A
Al Viro 已提交
2962 2963
	file->f_path.dentry = DENTRY_NOT_SET;
	file->f_path.mnt = nd->path.mnt;
2964
	error = dir->i_op->atomic_open(dir, dentry, file,
2965
				       open_to_namei_flags(open_flag), mode);
2966
	d_lookup_done(dentry);
2967
	if (!error) {
2968
		if (file->f_mode & FMODE_OPENED) {
2969 2970 2971 2972
			if (unlikely(dentry != file->f_path.dentry)) {
				dput(dentry);
				dentry = dget(file->f_path.dentry);
			}
2973
			if (file->f_mode & FMODE_CREATED)
2974 2975
				fsnotify_create(dir, dentry);
		} else if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2976
			error = -EIO;
2977
		} else {
2978 2979 2980
			if (file->f_path.dentry) {
				dput(dentry);
				dentry = file->f_path.dentry;
2981
			}
2982
			if (file->f_mode & FMODE_CREATED)
2983
				fsnotify_create(dir, dentry);
2984
			if (unlikely(d_is_negative(dentry)))
A
Al Viro 已提交
2985
				error = -ENOENT;
2986
		}
M
Miklos Szeredi 已提交
2987
	}
2988 2989 2990 2991 2992
	if (error) {
		dput(dentry);
		dentry = ERR_PTR(error);
	}
	return dentry;
M
Miklos Szeredi 已提交
2993 2994
}

M
Miklos Szeredi 已提交
2995
/*
2996
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2997
 *
2998
 * Must be called with parent locked (exclusive in O_CREAT case).
2999
 *
3000 3001 3002 3003 3004 3005 3006
 * Returns 0 on success, that is, if
 *  the file was successfully atomically created (if necessary) and opened, or
 *  the file was not completely opened at this time, though lookups and
 *  creations were performed.
 * These case are distinguished by presence of FMODE_OPENED on file->f_mode.
 * In the latter case dentry returned in @path might be negative if O_CREAT
 * hadn't been specified.
3007
 *
3008
 * An error code is returned on failure.
M
Miklos Szeredi 已提交
3009
 */
3010 3011 3012
static struct dentry *lookup_open(struct nameidata *nd, struct file *file,
				  const struct open_flags *op,
				  bool got_write)
M
Miklos Szeredi 已提交
3013 3014
{
	struct dentry *dir = nd->path.dentry;
3015
	struct inode *dir_inode = dir->d_inode;
3016
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
3017
	struct dentry *dentry;
3018 3019
	int error, create_error = 0;
	umode_t mode = op->mode;
3020
	DECLARE_WAIT_QUEUE_HEAD_ONSTACK(wq);
M
Miklos Szeredi 已提交
3021

3022
	if (unlikely(IS_DEADDIR(dir_inode)))
3023
		return ERR_PTR(-ENOENT);
M
Miklos Szeredi 已提交
3024

3025
	file->f_mode &= ~FMODE_CREATED;
3026 3027 3028 3029 3030
	dentry = d_lookup(dir, &nd->last);
	for (;;) {
		if (!dentry) {
			dentry = d_alloc_parallel(dir, &nd->last, &wq);
			if (IS_ERR(dentry))
3031
				return dentry;
3032 3033 3034
		}
		if (d_in_lookup(dentry))
			break;
M
Miklos Szeredi 已提交
3035

3036 3037 3038 3039 3040 3041 3042 3043 3044 3045
		error = d_revalidate(dentry, nd->flags);
		if (likely(error > 0))
			break;
		if (error)
			goto out_dput;
		d_invalidate(dentry);
		dput(dentry);
		dentry = NULL;
	}
	if (dentry->d_inode) {
3046
		/* Cached positive dentry: will open in f_op->open */
3047
		return dentry;
3048
	}
M
Miklos Szeredi 已提交
3049

3050 3051 3052 3053 3054 3055 3056 3057 3058 3059 3060 3061 3062 3063 3064 3065 3066 3067 3068 3069 3070 3071 3072 3073 3074 3075 3076 3077 3078 3079 3080 3081 3082
	/*
	 * Checking write permission is tricky, bacuse we don't know if we are
	 * going to actually need it: O_CREAT opens should work as long as the
	 * file exists.  But checking existence breaks atomicity.  The trick is
	 * to check access and if not granted clear O_CREAT from the flags.
	 *
	 * Another problem is returing the "right" error value (e.g. for an
	 * O_EXCL open we want to return EEXIST not EROFS).
	 */
	if (open_flag & O_CREAT) {
		if (!IS_POSIXACL(dir->d_inode))
			mode &= ~current_umask();
		if (unlikely(!got_write)) {
			create_error = -EROFS;
			open_flag &= ~O_CREAT;
			if (open_flag & (O_EXCL | O_TRUNC))
				goto no_open;
			/* No side effects, safe to clear O_CREAT */
		} else {
			create_error = may_o_create(&nd->path, dentry, mode);
			if (create_error) {
				open_flag &= ~O_CREAT;
				if (open_flag & O_EXCL)
					goto no_open;
			}
		}
	} else if ((open_flag & (O_TRUNC|O_WRONLY|O_RDWR)) &&
		   unlikely(!got_write)) {
		/*
		 * No O_CREATE -> atomicity not a requirement -> fall
		 * back to lookup + open
		 */
		goto no_open;
M
Miklos Szeredi 已提交
3083 3084
	}

3085
	if (dir_inode->i_op->atomic_open) {
3086
		dentry = atomic_open(nd, dentry, file, op, open_flag, mode);
3087 3088 3089
		if (unlikely(create_error) && dentry == ERR_PTR(-ENOENT))
			dentry = ERR_PTR(create_error);
		return dentry;
M
Miklos Szeredi 已提交
3090
	}
3091

3092
no_open:
3093
	if (d_in_lookup(dentry)) {
3094 3095
		struct dentry *res = dir_inode->i_op->lookup(dir_inode, dentry,
							     nd->flags);
3096
		d_lookup_done(dentry);
3097 3098 3099 3100 3101 3102 3103 3104
		if (unlikely(res)) {
			if (IS_ERR(res)) {
				error = PTR_ERR(res);
				goto out_dput;
			}
			dput(dentry);
			dentry = res;
		}
3105 3106
	}

M
Miklos Szeredi 已提交
3107
	/* Negative dentry, just create the file */
3108
	if (!dentry->d_inode && (open_flag & O_CREAT)) {
3109
		file->f_mode |= FMODE_CREATED;
3110 3111 3112
		audit_inode_child(dir_inode, dentry, AUDIT_TYPE_CHILD_CREATE);
		if (!dir_inode->i_op->create) {
			error = -EACCES;
M
Miklos Szeredi 已提交
3113
			goto out_dput;
3114 3115
		}
		error = dir_inode->i_op->create(dir_inode, dentry, mode,
3116
						open_flag & O_EXCL);
M
Miklos Szeredi 已提交
3117 3118
		if (error)
			goto out_dput;
3119
		fsnotify_create(dir_inode, dentry);
M
Miklos Szeredi 已提交
3120
	}
3121 3122 3123
	if (unlikely(create_error) && !dentry->d_inode) {
		error = create_error;
		goto out_dput;
M
Miklos Szeredi 已提交
3124
	}
3125
	return dentry;
M
Miklos Szeredi 已提交
3126 3127 3128

out_dput:
	dput(dentry);
3129
	return ERR_PTR(error);
M
Miklos Szeredi 已提交
3130 3131
}

3132
static const char *open_last_lookups(struct nameidata *nd,
3133
		   struct file *file, const struct open_flags *op)
3134
{
3135
	struct dentry *dir = nd->path.dentry;
3136
	int open_flag = op->open_flag;
3137
	bool got_write = false;
3138
	unsigned seq;
3139
	struct inode *inode;
3140
	struct dentry *dentry;
3141
	const char *res;
A
Al Viro 已提交
3142
	int error;
3143

3144 3145
	nd->flags |= op->intent;

3146
	if (nd->last_type != LAST_NORM) {
3147 3148
		if (nd->depth)
			put_link(nd);
3149 3150 3151 3152
		res = handle_dots(nd, nd->last_type);
		if (likely(!res))
			res = ERR_PTR(complete_walk(nd));
		return res;
3153
	}
3154

3155
	if (!(open_flag & O_CREAT)) {
3156 3157 3158
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
		/* we _can_ be in RCU mode here */
3159 3160
		dentry = lookup_fast(nd, &inode, &seq);
		if (IS_ERR(dentry))
3161
			return ERR_CAST(dentry);
3162
		if (likely(dentry))
3163 3164
			goto finish_lookup;

A
Al Viro 已提交
3165
		BUG_ON(nd->flags & LOOKUP_RCU);
3166 3167 3168 3169 3170 3171 3172 3173
	} else {
		/* create side of things */
		/*
		 * This will *only* deal with leaving RCU mode - LOOKUP_JUMPED
		 * has been cleared when we got to the last component we are
		 * about to look up
		 */
		error = complete_walk(nd);
3174
		if (unlikely(error))
3175
			return ERR_PTR(error);
3176

3177
		audit_inode(nd->name, dir, AUDIT_INODE_PARENT);
3178
		/* trailing slashes? */
3179
		if (unlikely(nd->last.name[nd->last.len]))
3180
			return ERR_PTR(-EISDIR);
3181
	}
A
Al Viro 已提交
3182

3183
	if (open_flag & (O_CREAT | O_TRUNC | O_WRONLY | O_RDWR)) {
3184 3185 3186 3187 3188 3189 3190 3191 3192
		error = mnt_want_write(nd->path.mnt);
		if (!error)
			got_write = true;
		/*
		 * do _not_ fail yet - we might not need that or fail with
		 * a different error; let lookup_open() decide; we'll be
		 * dropping this one anyway.
		 */
	}
3193 3194 3195 3196
	if (open_flag & O_CREAT)
		inode_lock(dir->d_inode);
	else
		inode_lock_shared(dir->d_inode);
3197
	dentry = lookup_open(nd, file, op, got_write);
3198 3199 3200 3201
	if (open_flag & O_CREAT)
		inode_unlock(dir->d_inode);
	else
		inode_unlock_shared(dir->d_inode);
3202

3203
	if (got_write)
3204
		mnt_drop_write(nd->path.mnt);
M
Miklos Szeredi 已提交
3205

3206 3207 3208
	if (IS_ERR(dentry))
		return ERR_CAST(dentry);

3209
	if (file->f_mode & (FMODE_OPENED | FMODE_CREATED)) {
3210 3211
		dput(nd->path.dentry);
		nd->path.dentry = dentry;
3212
		return NULL;
3213 3214
	}

3215
finish_lookup:
3216 3217
	if (nd->depth)
		put_link(nd);
3218
	res = step_into(nd, WALK_TRAILING, dentry, inode, seq);
3219 3220 3221
	if (unlikely(res)) {
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
		return res;
3222
	}
3223 3224 3225

	if (unlikely((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))) {
		audit_inode(nd->name, nd->path.dentry, 0);
3226
		return ERR_PTR(-EEXIST);
3227
	}
3228

3229
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3246 3247 3248 3249 3250
	return ERR_PTR(complete_walk(nd));
}

/*
 * Handle the last step of open()
 */
static const char *do_last(struct nameidata *nd,
		   struct file *file, const struct open_flags *op)
{
	kuid_t dir_uid = nd->inode->i_uid;
	umode_t dir_mode = nd->inode->i_mode;
	int open_flag = op->open_flag;
	bool do_truncate;
	int acc_mode;
	const char *link;
	int error;

	link = open_last_lookups(nd, file, op);
	if (unlikely(link))
		return link;

3251 3252
	if (!(file->f_mode & FMODE_CREATED))
		audit_inode(nd->name, nd->path.dentry, 0);
3253 3254
	if (open_flag & O_CREAT) {
		if (d_is_dir(nd->path.dentry))
3255
			return ERR_PTR(-EISDIR);
3256
		error = may_create_in_sticky(dir_mode, dir_uid,
3257 3258
					     d_backing_inode(nd->path.dentry));
		if (unlikely(error))
3259
			return ERR_PTR(error);
3260
	}
M
Miklos Szeredi 已提交
3261
	if ((nd->flags & LOOKUP_DIRECTORY) && !d_can_lookup(nd->path.dentry))
3262
		return ERR_PTR(-ENOTDIR);
3263

3264 3265
	do_truncate = false;
	acc_mode = op->acc_mode;
3266 3267 3268 3269
	if (file->f_mode & FMODE_CREATED) {
		/* Don't check for write permission, don't truncate */
		open_flag &= ~O_TRUNC;
		acc_mode = 0;
3270
	} else if (d_is_reg(nd->path.dentry) && open_flag & O_TRUNC) {
3271 3272
		error = mnt_want_write(nd->path.mnt);
		if (error)
3273
			return ERR_PTR(error);
3274
		do_truncate = true;
3275
	}
3276
	error = may_open(&nd->path, acc_mode, open_flag);
3277
	if (!error && !(file->f_mode & FMODE_OPENED))
A
Al Viro 已提交
3278
		error = vfs_open(&nd->path, file);
3279 3280 3281
	if (!error)
		error = ima_file_check(file, op->acc_mode);
	if (!error && do_truncate)
3282
		error = handle_truncate(file);
3283 3284 3285 3286
	if (unlikely(error > 0)) {
		WARN_ON(1);
		error = -EINVAL;
	}
3287
	if (do_truncate)
3288
		mnt_drop_write(nd->path.mnt);
3289
	return ERR_PTR(error);
3290 3291
}

3292 3293 3294 3295 3296 3297 3298 3299 3300 3301 3302 3303 3304 3305 3306
struct dentry *vfs_tmpfile(struct dentry *dentry, umode_t mode, int open_flag)
{
	struct dentry *child = NULL;
	struct inode *dir = dentry->d_inode;
	struct inode *inode;
	int error;

	/* we want directory to be writable */
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
	if (error)
		goto out_err;
	error = -EOPNOTSUPP;
	if (!dir->i_op->tmpfile)
		goto out_err;
	error = -ENOMEM;
D
David Howells 已提交
3307
	child = d_alloc(dentry, &slash_name);
3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320 3321
	if (unlikely(!child))
		goto out_err;
	error = dir->i_op->tmpfile(dir, child, mode);
	if (error)
		goto out_err;
	error = -ENOENT;
	inode = child->d_inode;
	if (unlikely(!inode))
		goto out_err;
	if (!(open_flag & O_EXCL)) {
		spin_lock(&inode->i_lock);
		inode->i_state |= I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
3322
	ima_post_create_tmpfile(inode);
3323 3324 3325 3326 3327 3328 3329 3330
	return child;

out_err:
	dput(child);
	return ERR_PTR(error);
}
EXPORT_SYMBOL(vfs_tmpfile);

3331
static int do_tmpfile(struct nameidata *nd, unsigned flags,
3332
		const struct open_flags *op,
3333
		struct file *file)
3334
{
3335 3336
	struct dentry *child;
	struct path path;
3337
	int error = path_lookupat(nd, flags | LOOKUP_DIRECTORY, &path);
3338 3339
	if (unlikely(error))
		return error;
3340
	error = mnt_want_write(path.mnt);
3341 3342
	if (unlikely(error))
		goto out;
3343 3344
	child = vfs_tmpfile(path.dentry, op->mode, op->open_flag);
	error = PTR_ERR(child);
3345
	if (IS_ERR(child))
3346
		goto out2;
3347 3348
	dput(path.dentry);
	path.dentry = child;
3349
	audit_inode(nd->name, child, 0);
3350
	/* Don't check for other permissions, the inode was just created */
A
Al Viro 已提交
3351
	error = may_open(&path, 0, op->open_flag);
3352 3353
	if (error)
		goto out2;
3354
	file->f_path.mnt = path.mnt;
3355
	error = finish_open(file, child, NULL);
3356
out2:
3357
	mnt_drop_write(path.mnt);
3358
out:
3359
	path_put(&path);
3360 3361 3362
	return error;
}

3363 3364 3365 3366 3367 3368
static int do_o_path(struct nameidata *nd, unsigned flags, struct file *file)
{
	struct path path;
	int error = path_lookupat(nd, flags, &path);
	if (!error) {
		audit_inode(nd->name, path.dentry, 0);
3369
		error = vfs_open(&path, file);
3370 3371 3372 3373 3374
		path_put(&path);
	}
	return error;
}

3375 3376
static struct file *path_openat(struct nameidata *nd,
			const struct open_flags *op, unsigned flags)
L
Linus Torvalds 已提交
3377
{
A
Al Viro 已提交
3378
	struct file *file;
3379
	int error;
N
Nick Piggin 已提交
3380

3381
	file = alloc_empty_file(op->open_flag, current_cred());
3382 3383
	if (IS_ERR(file))
		return file;
N
Nick Piggin 已提交
3384

A
Al Viro 已提交
3385
	if (unlikely(file->f_flags & __O_TMPFILE)) {
3386
		error = do_tmpfile(nd, flags, op, file);
3387
	} else if (unlikely(file->f_flags & O_PATH)) {
3388
		error = do_o_path(nd, flags, file);
3389 3390 3391
	} else {
		const char *s = path_init(nd, flags);
		while (!(error = link_path_walk(s, nd)) &&
3392 3393
		       (s = do_last(nd, file, op)) != NULL)
			;
3394
		terminate_walk(nd);
3395
	}
3396
	if (likely(!error)) {
3397
		if (likely(file->f_mode & FMODE_OPENED))
3398 3399 3400
			return file;
		WARN_ON(1);
		error = -EINVAL;
3401
	}
3402 3403 3404 3405 3406 3407
	fput(file);
	if (error == -EOPENSTALE) {
		if (flags & LOOKUP_RCU)
			error = -ECHILD;
		else
			error = -ESTALE;
3408
	}
3409
	return ERR_PTR(error);
L
Linus Torvalds 已提交
3410 3411
}

3412
struct file *do_filp_open(int dfd, struct filename *pathname,
3413
		const struct open_flags *op)
3414
{
3415
	struct nameidata nd;
3416
	int flags = op->lookup_flags;
3417 3418
	struct file *filp;

3419
	set_nameidata(&nd, dfd, pathname);
3420
	filp = path_openat(&nd, op, flags | LOOKUP_RCU);
3421
	if (unlikely(filp == ERR_PTR(-ECHILD)))
3422
		filp = path_openat(&nd, op, flags);
3423
	if (unlikely(filp == ERR_PTR(-ESTALE)))
3424
		filp = path_openat(&nd, op, flags | LOOKUP_REVAL);
3425
	restore_nameidata();
3426 3427 3428
	return filp;
}

A
Al Viro 已提交
3429
struct file *do_file_open_root(struct dentry *dentry, struct vfsmount *mnt,
3430
		const char *name, const struct open_flags *op)
A
Al Viro 已提交
3431
{
3432
	struct nameidata nd;
A
Al Viro 已提交
3433
	struct file *file;
3434
	struct filename *filename;
3435
	int flags = op->lookup_flags | LOOKUP_ROOT;
A
Al Viro 已提交
3436 3437 3438 3439

	nd.root.mnt = mnt;
	nd.root.dentry = dentry;

3440
	if (d_is_symlink(dentry) && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3441 3442
		return ERR_PTR(-ELOOP);

3443
	filename = getname_kernel(name);
3444
	if (IS_ERR(filename))
3445 3446
		return ERR_CAST(filename);

3447
	set_nameidata(&nd, -1, filename);
3448
	file = path_openat(&nd, op, flags | LOOKUP_RCU);
A
Al Viro 已提交
3449
	if (unlikely(file == ERR_PTR(-ECHILD)))
3450
		file = path_openat(&nd, op, flags);
A
Al Viro 已提交
3451
	if (unlikely(file == ERR_PTR(-ESTALE)))
3452
		file = path_openat(&nd, op, flags | LOOKUP_REVAL);
3453
	restore_nameidata();
3454
	putname(filename);
A
Al Viro 已提交
3455 3456 3457
	return file;
}

3458
static struct dentry *filename_create(int dfd, struct filename *name,
3459
				struct path *path, unsigned int lookup_flags)
L
Linus Torvalds 已提交
3460
{
3461
	struct dentry *dentry = ERR_PTR(-EEXIST);
3462 3463
	struct qstr last;
	int type;
3464
	int err2;
3465 3466 3467 3468 3469 3470 3471 3472 3473
	int error;
	bool is_dir = (lookup_flags & LOOKUP_DIRECTORY);

	/*
	 * Note that only LOOKUP_REVAL and LOOKUP_DIRECTORY matter here. Any
	 * other flags passed in are ignored!
	 */
	lookup_flags &= LOOKUP_REVAL;

3474 3475 3476
	name = filename_parentat(dfd, name, lookup_flags, path, &last, &type);
	if (IS_ERR(name))
		return ERR_CAST(name);
L
Linus Torvalds 已提交
3477

3478 3479 3480 3481
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
3482
	if (unlikely(type != LAST_NORM))
A
Al Viro 已提交
3483
		goto out;
3484

3485
	/* don't fail immediately if it's r/o, at least try to report other errors */
3486
	err2 = mnt_want_write(path->mnt);
3487 3488 3489
	/*
	 * Do the final lookup.
	 */
3490
	lookup_flags |= LOOKUP_CREATE | LOOKUP_EXCL;
A
Al Viro 已提交
3491
	inode_lock_nested(path->dentry->d_inode, I_MUTEX_PARENT);
3492
	dentry = __lookup_hash(&last, path->dentry, lookup_flags);
L
Linus Torvalds 已提交
3493
	if (IS_ERR(dentry))
3494
		goto unlock;
3495

3496
	error = -EEXIST;
3497
	if (d_is_positive(dentry))
3498
		goto fail;
3499

3500 3501 3502 3503 3504 3505
	/*
	 * Special case - lookup gave negative, but... we had foo/bar/
	 * From the vfs_mknod() POV we just have a negative dentry -
	 * all is fine. Let's be bastards - you had / on the end, you've
	 * been asking for (non-existent) directory. -ENOENT for you.
	 */
3506
	if (unlikely(!is_dir && last.name[last.len])) {
3507
		error = -ENOENT;
A
Al Viro 已提交
3508
		goto fail;
3509
	}
3510 3511
	if (unlikely(err2)) {
		error = err2;
3512
		goto fail;
3513
	}
3514
	putname(name);
L
Linus Torvalds 已提交
3515 3516
	return dentry;
fail:
3517 3518 3519
	dput(dentry);
	dentry = ERR_PTR(error);
unlock:
A
Al Viro 已提交
3520
	inode_unlock(path->dentry->d_inode);
3521
	if (!err2)
3522
		mnt_drop_write(path->mnt);
A
Al Viro 已提交
3523
out:
3524
	path_put(path);
3525
	putname(name);
L
Linus Torvalds 已提交
3526 3527
	return dentry;
}
3528 3529 3530 3531

struct dentry *kern_path_create(int dfd, const char *pathname,
				struct path *path, unsigned int lookup_flags)
{
3532 3533
	return filename_create(dfd, getname_kernel(pathname),
				path, lookup_flags);
3534
}
3535 3536
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3537 3538 3539
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
A
Al Viro 已提交
3540
	inode_unlock(path->dentry->d_inode);
3541
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3542 3543 3544 3545
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

A
Al Viro 已提交
3546
inline struct dentry *user_path_create(int dfd, const char __user *pathname,
3547
				struct path *path, unsigned int lookup_flags)
3548
{
3549
	return filename_create(dfd, getname(pathname), path, lookup_flags);
3550 3551 3552
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3553
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3554
{
3555
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3556 3557 3558 3559

	if (error)
		return error;

3560
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3561 3562
		return -EPERM;

A
Al Viro 已提交
3563
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3564 3565
		return -EPERM;

3566 3567 3568 3569
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3570 3571 3572 3573 3574
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3575
	if (!error)
3576
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3577 3578
	return error;
}
3579
EXPORT_SYMBOL(vfs_mknod);
L
Linus Torvalds 已提交
3580

A
Al Viro 已提交
3581
static int may_mknod(umode_t mode)
3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594 3595 3596 3597
{
	switch (mode & S_IFMT) {
	case S_IFREG:
	case S_IFCHR:
	case S_IFBLK:
	case S_IFIFO:
	case S_IFSOCK:
	case 0: /* zero mode translates to S_IFREG */
		return 0;
	case S_IFDIR:
		return -EPERM;
	default:
		return -EINVAL;
	}
}

3598 3599
long do_mknodat(int dfd, const char __user *filename, umode_t mode,
		unsigned int dev)
L
Linus Torvalds 已提交
3600
{
3601
	struct dentry *dentry;
3602 3603
	struct path path;
	int error;
3604
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3605

3606 3607 3608
	error = may_mknod(mode);
	if (error)
		return error;
3609 3610
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3611 3612
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3613

3614
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3615
		mode &= ~current_umask();
3616
	error = security_path_mknod(&path, dentry, mode, dev);
3617
	if (error)
3618
		goto out;
3619
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3620
		case 0: case S_IFREG:
A
Al Viro 已提交
3621
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
3622 3623
			if (!error)
				ima_post_path_mknod(dentry);
L
Linus Torvalds 已提交
3624 3625
			break;
		case S_IFCHR: case S_IFBLK:
3626
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3627 3628 3629
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3630
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3631 3632
			break;
	}
3633
out:
A
Al Viro 已提交
3634
	done_path_create(&path, dentry);
3635 3636 3637 3638
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3639 3640 3641
	return error;
}

3642 3643 3644 3645 3646 3647
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
		unsigned int, dev)
{
	return do_mknodat(dfd, filename, mode, dev);
}

A
Al Viro 已提交
3648
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3649
{
3650
	return do_mknodat(AT_FDCWD, filename, mode, dev);
3651 3652
}

3653
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3654
{
3655
	int error = may_create(dir, dentry);
3656
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3657 3658 3659 3660

	if (error)
		return error;

A
Al Viro 已提交
3661
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3662 3663 3664 3665 3666 3667 3668
		return -EPERM;

	mode &= (S_IRWXUGO|S_ISVTX);
	error = security_inode_mkdir(dir, dentry, mode);
	if (error)
		return error;

3669 3670 3671
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3672
	error = dir->i_op->mkdir(dir, dentry, mode);
3673
	if (!error)
3674
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3675 3676
	return error;
}
3677
EXPORT_SYMBOL(vfs_mkdir);
L
Linus Torvalds 已提交
3678

3679
long do_mkdirat(int dfd, const char __user *pathname, umode_t mode)
L
Linus Torvalds 已提交
3680
{
3681
	struct dentry *dentry;
3682 3683
	struct path path;
	int error;
3684
	unsigned int lookup_flags = LOOKUP_DIRECTORY;
L
Linus Torvalds 已提交
3685

3686 3687
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3688
	if (IS_ERR(dentry))
3689
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3690

3691
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3692
		mode &= ~current_umask();
3693
	error = security_path_mkdir(&path, dentry, mode);
3694 3695
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3696
	done_path_create(&path, dentry);
3697 3698 3699 3700
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3701 3702 3703
	return error;
}

3704 3705 3706 3707 3708
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
{
	return do_mkdirat(dfd, pathname, mode);
}

3709
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3710
{
3711
	return do_mkdirat(AT_FDCWD, pathname, mode);
3712 3713
}

L
Linus Torvalds 已提交
3714 3715 3716 3717 3718 3719 3720
int vfs_rmdir(struct inode *dir, struct dentry *dentry)
{
	int error = may_delete(dir, dentry, 1);

	if (error)
		return error;

A
Al Viro 已提交
3721
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3722 3723
		return -EPERM;

3724
	dget(dentry);
A
Al Viro 已提交
3725
	inode_lock(dentry->d_inode);
S
Sage Weil 已提交
3726 3727

	error = -EBUSY;
3728
	if (is_local_mountpoint(dentry))
S
Sage Weil 已提交
3729 3730 3731 3732 3733 3734 3735 3736 3737 3738
		goto out;

	error = security_inode_rmdir(dir, dentry);
	if (error)
		goto out;

	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

3739
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3740 3741
	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);
3742
	detach_mounts(dentry);
3743
	fsnotify_rmdir(dir, dentry);
S
Sage Weil 已提交
3744 3745

out:
A
Al Viro 已提交
3746
	inode_unlock(dentry->d_inode);
3747
	dput(dentry);
S
Sage Weil 已提交
3748
	if (!error)
L
Linus Torvalds 已提交
3749 3750 3751
		d_delete(dentry);
	return error;
}
3752
EXPORT_SYMBOL(vfs_rmdir);
L
Linus Torvalds 已提交
3753

3754
long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3755 3756
{
	int error = 0;
3757
	struct filename *name;
L
Linus Torvalds 已提交
3758
	struct dentry *dentry;
3759 3760 3761
	struct path path;
	struct qstr last;
	int type;
3762 3763
	unsigned int lookup_flags = 0;
retry:
A
Al Viro 已提交
3764 3765
	name = filename_parentat(dfd, getname(pathname), lookup_flags,
				&path, &last, &type);
3766 3767
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3768

3769
	switch (type) {
3770 3771 3772 3773 3774 3775 3776 3777 3778
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3779
	}
3780

3781
	error = mnt_want_write(path.mnt);
3782 3783
	if (error)
		goto exit1;
3784

A
Al Viro 已提交
3785
	inode_lock_nested(path.dentry->d_inode, I_MUTEX_PARENT);
3786
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3787
	error = PTR_ERR(dentry);
3788 3789
	if (IS_ERR(dentry))
		goto exit2;
3790 3791 3792 3793
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3794
	error = security_path_rmdir(&path, dentry);
3795
	if (error)
3796
		goto exit3;
3797
	error = vfs_rmdir(path.dentry->d_inode, dentry);
3798
exit3:
3799 3800
	dput(dentry);
exit2:
A
Al Viro 已提交
3801
	inode_unlock(path.dentry->d_inode);
3802
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3803
exit1:
3804
	path_put(&path);
L
Linus Torvalds 已提交
3805
	putname(name);
3806 3807 3808 3809
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3810 3811 3812
	return error;
}

3813
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3814 3815 3816 3817
{
	return do_rmdir(AT_FDCWD, pathname);
}

3818 3819 3820 3821 3822 3823 3824 3825 3826 3827 3828 3829 3830 3831 3832 3833 3834 3835 3836
/**
 * vfs_unlink - unlink a filesystem object
 * @dir:	parent directory
 * @dentry:	victim
 * @delegated_inode: returns victim inode, if the inode is delegated.
 *
 * The caller must hold dir->i_mutex.
 *
 * If vfs_unlink discovers a delegation, it will return -EWOULDBLOCK and
 * return a reference to the inode in delegated_inode.  The caller
 * should then break the delegation on that inode and retry.  Because
 * breaking a delegation may take a long time, the caller should drop
 * dir->i_mutex before doing so.
 *
 * Alternatively, a caller may pass NULL for delegated_inode.  This may
 * be appropriate for callers that expect the underlying filesystem not
 * to be NFS exported.
 */
int vfs_unlink(struct inode *dir, struct dentry *dentry, struct inode **delegated_inode)
L
Linus Torvalds 已提交
3837
{
J
J. Bruce Fields 已提交
3838
	struct inode *target = dentry->d_inode;
L
Linus Torvalds 已提交
3839 3840 3841 3842 3843
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3844
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3845 3846
		return -EPERM;

A
Al Viro 已提交
3847
	inode_lock(target);
3848
	if (is_local_mountpoint(dentry))
L
Linus Torvalds 已提交
3849 3850 3851
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3852
		if (!error) {
3853 3854
			error = try_break_deleg(target, delegated_inode);
			if (error)
3855
				goto out;
L
Linus Torvalds 已提交
3856
			error = dir->i_op->unlink(dir, dentry);
3857
			if (!error) {
3858
				dont_mount(dentry);
3859
				detach_mounts(dentry);
3860
				fsnotify_unlink(dir, dentry);
3861
			}
3862
		}
L
Linus Torvalds 已提交
3863
	}
3864
out:
A
Al Viro 已提交
3865
	inode_unlock(target);
L
Linus Torvalds 已提交
3866 3867 3868

	/* We don't d_delete() NFS sillyrenamed files--they still exist. */
	if (!error && !(dentry->d_flags & DCACHE_NFSFS_RENAMED)) {
J
J. Bruce Fields 已提交
3869
		fsnotify_link_count(target);
J
John McCutchan 已提交
3870
		d_delete(dentry);
L
Linus Torvalds 已提交
3871
	}
R
Robert Love 已提交
3872

L
Linus Torvalds 已提交
3873 3874
	return error;
}
3875
EXPORT_SYMBOL(vfs_unlink);
L
Linus Torvalds 已提交
3876 3877 3878

/*
 * Make sure that the actual truncation of the file will occur outside its
3879
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3880 3881 3882
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3883
long do_unlinkat(int dfd, struct filename *name)
L
Linus Torvalds 已提交
3884
{
3885
	int error;
L
Linus Torvalds 已提交
3886
	struct dentry *dentry;
3887 3888 3889
	struct path path;
	struct qstr last;
	int type;
L
Linus Torvalds 已提交
3890
	struct inode *inode = NULL;
3891
	struct inode *delegated_inode = NULL;
3892 3893
	unsigned int lookup_flags = 0;
retry:
3894
	name = filename_parentat(dfd, name, lookup_flags, &path, &last, &type);
3895 3896
	if (IS_ERR(name))
		return PTR_ERR(name);
3897

L
Linus Torvalds 已提交
3898
	error = -EISDIR;
3899
	if (type != LAST_NORM)
L
Linus Torvalds 已提交
3900
		goto exit1;
3901

3902
	error = mnt_want_write(path.mnt);
3903 3904
	if (error)
		goto exit1;
3905
retry_deleg:
A
Al Viro 已提交
3906
	inode_lock_nested(path.dentry->d_inode, I_MUTEX_PARENT);
3907
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3908 3909 3910
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
3911
		if (last.name[last.len])
3912
			goto slashes;
L
Linus Torvalds 已提交
3913
		inode = dentry->d_inode;
3914
		if (d_is_negative(dentry))
3915 3916
			goto slashes;
		ihold(inode);
3917
		error = security_path_unlink(&path, dentry);
3918
		if (error)
3919
			goto exit2;
3920
		error = vfs_unlink(path.dentry->d_inode, dentry, &delegated_inode);
3921
exit2:
L
Linus Torvalds 已提交
3922 3923
		dput(dentry);
	}
A
Al Viro 已提交
3924
	inode_unlock(path.dentry->d_inode);
L
Linus Torvalds 已提交
3925 3926
	if (inode)
		iput(inode);	/* truncate the inode here */
3927 3928
	inode = NULL;
	if (delegated_inode) {
3929
		error = break_deleg_wait(&delegated_inode);
3930 3931 3932
		if (!error)
			goto retry_deleg;
	}
3933
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3934
exit1:
3935
	path_put(&path);
3936 3937 3938 3939 3940
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		inode = NULL;
		goto retry;
	}
3941
	putname(name);
L
Linus Torvalds 已提交
3942 3943 3944
	return error;

slashes:
3945 3946
	if (d_is_negative(dentry))
		error = -ENOENT;
M
Miklos Szeredi 已提交
3947
	else if (d_is_dir(dentry))
3948 3949 3950
		error = -EISDIR;
	else
		error = -ENOTDIR;
L
Linus Torvalds 已提交
3951 3952 3953
	goto exit2;
}

3954
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3955 3956 3957 3958 3959 3960 3961
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

	if (flag & AT_REMOVEDIR)
		return do_rmdir(dfd, pathname);

3962
	return do_unlinkat(dfd, getname(pathname));
3963 3964
}

3965
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3966
{
3967
	return do_unlinkat(AT_FDCWD, getname(pathname));
3968 3969
}

3970
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3971
{
3972
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3973 3974 3975 3976

	if (error)
		return error;

A
Al Viro 已提交
3977
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3978 3979 3980 3981 3982 3983 3984
		return -EPERM;

	error = security_inode_symlink(dir, dentry, oldname);
	if (error)
		return error;

	error = dir->i_op->symlink(dir, dentry, oldname);
3985
	if (!error)
3986
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3987 3988
	return error;
}
3989
EXPORT_SYMBOL(vfs_symlink);
L
Linus Torvalds 已提交
3990

3991 3992
long do_symlinkat(const char __user *oldname, int newdfd,
		  const char __user *newname)
L
Linus Torvalds 已提交
3993
{
3994
	int error;
3995
	struct filename *from;
3996
	struct dentry *dentry;
3997
	struct path path;
3998
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3999 4000

	from = getname(oldname);
4001
	if (IS_ERR(from))
L
Linus Torvalds 已提交
4002
		return PTR_ERR(from);
4003 4004
retry:
	dentry = user_path_create(newdfd, newname, &path, lookup_flags);
4005 4006
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
4007
		goto out_putname;
4008

4009
	error = security_path_symlink(&path, dentry, from->name);
4010
	if (!error)
4011
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
4012
	done_path_create(&path, dentry);
4013 4014 4015 4016
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
4017
out_putname:
L
Linus Torvalds 已提交
4018 4019 4020 4021
	putname(from);
	return error;
}

4022 4023 4024 4025 4026 4027
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
	return do_symlinkat(oldname, newdfd, newname);
}

4028
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
4029
{
4030
	return do_symlinkat(oldname, AT_FDCWD, newname);
4031 4032
}

J
J. Bruce Fields 已提交
4033 4034 4035 4036 4037 4038 4039 4040 4041 4042 4043 4044 4045 4046 4047 4048 4049 4050 4051 4052
/**
 * vfs_link - create a new link
 * @old_dentry:	object to be linked
 * @dir:	new parent
 * @new_dentry:	where to create the new link
 * @delegated_inode: returns inode needing a delegation break
 *
 * The caller must hold dir->i_mutex
 *
 * If vfs_link discovers a delegation on the to-be-linked file in need
 * of breaking, it will return -EWOULDBLOCK and return a reference to the
 * inode in delegated_inode.  The caller should then break the delegation
 * and retry.  Because breaking a delegation may take a long time, the
 * caller should drop the i_mutex before doing so.
 *
 * Alternatively, a caller may pass NULL for delegated_inode.  This may
 * be appropriate for callers that expect the underlying filesystem not
 * to be NFS exported.
 */
int vfs_link(struct dentry *old_dentry, struct inode *dir, struct dentry *new_dentry, struct inode **delegated_inode)
L
Linus Torvalds 已提交
4053 4054
{
	struct inode *inode = old_dentry->d_inode;
4055
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
4056 4057 4058 4059 4060
	int error;

	if (!inode)
		return -ENOENT;

4061
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
4062 4063 4064 4065 4066 4067 4068 4069 4070 4071 4072
	if (error)
		return error;

	if (dir->i_sb != inode->i_sb)
		return -EXDEV;

	/*
	 * A link to an append-only or immutable file cannot be created.
	 */
	if (IS_APPEND(inode) || IS_IMMUTABLE(inode))
		return -EPERM;
4073 4074 4075 4076 4077 4078 4079
	/*
	 * Updating the link count will likely cause i_uid and i_gid to
	 * be writen back improperly if their true value is unknown to
	 * the vfs.
	 */
	if (HAS_UNMAPPED_ID(inode))
		return -EPERM;
A
Al Viro 已提交
4080
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
4081
		return -EPERM;
4082
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
4083 4084 4085 4086 4087 4088
		return -EPERM;

	error = security_inode_link(old_dentry, dir, new_dentry);
	if (error)
		return error;

A
Al Viro 已提交
4089
	inode_lock(inode);
4090
	/* Make sure we don't allow creating hardlink to an unlinked file */
4091
	if (inode->i_nlink == 0 && !(inode->i_state & I_LINKABLE))
4092
		error =  -ENOENT;
4093 4094
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
J
J. Bruce Fields 已提交
4095 4096 4097 4098 4099
	else {
		error = try_break_deleg(inode, delegated_inode);
		if (!error)
			error = dir->i_op->link(old_dentry, dir, new_dentry);
	}
4100 4101 4102 4103 4104 4105

	if (!error && (inode->i_state & I_LINKABLE)) {
		spin_lock(&inode->i_lock);
		inode->i_state &= ~I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
A
Al Viro 已提交
4106
	inode_unlock(inode);
4107
	if (!error)
4108
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
4109 4110
	return error;
}
4111
EXPORT_SYMBOL(vfs_link);
L
Linus Torvalds 已提交
4112 4113 4114 4115 4116 4117 4118 4119 4120 4121

/*
 * Hardlinks are often used in delicate situations.  We avoid
 * security-related surprises by not following symlinks on the
 * newname.  --KAB
 *
 * We don't follow them on the oldname either to be compatible
 * with linux 2.0, and to avoid hard-linking to directories
 * and other special files.  --ADM
 */
4122 4123
int do_linkat(int olddfd, const char __user *oldname, int newdfd,
	      const char __user *newname, int flags)
L
Linus Torvalds 已提交
4124 4125
{
	struct dentry *new_dentry;
4126
	struct path old_path, new_path;
J
J. Bruce Fields 已提交
4127
	struct inode *delegated_inode = NULL;
4128
	int how = 0;
L
Linus Torvalds 已提交
4129 4130
	int error;

4131
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
4132
		return -EINVAL;
4133
	/*
4134 4135 4136
	 * To use null names we require CAP_DAC_READ_SEARCH
	 * This ensures that not everyone will be able to create
	 * handlink using the passed filedescriptor.
4137
	 */
4138 4139 4140
	if (flags & AT_EMPTY_PATH) {
		if (!capable(CAP_DAC_READ_SEARCH))
			return -ENOENT;
4141
		how = LOOKUP_EMPTY;
4142
	}
4143 4144 4145

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
4146
retry:
4147
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
4148
	if (error)
4149 4150
		return error;

4151 4152
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
4153
	error = PTR_ERR(new_dentry);
4154
	if (IS_ERR(new_dentry))
4155 4156 4157 4158 4159
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
4160 4161 4162
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
4163
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
4164
	if (error)
4165
		goto out_dput;
J
J. Bruce Fields 已提交
4166
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry, &delegated_inode);
4167
out_dput:
A
Al Viro 已提交
4168
	done_path_create(&new_path, new_dentry);
J
J. Bruce Fields 已提交
4169 4170
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
4171 4172
		if (!error) {
			path_put(&old_path);
J
J. Bruce Fields 已提交
4173
			goto retry;
4174
		}
J
J. Bruce Fields 已提交
4175
	}
4176
	if (retry_estale(error, how)) {
4177
		path_put(&old_path);
4178 4179 4180
		how |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
4181
out:
4182
	path_put(&old_path);
L
Linus Torvalds 已提交
4183 4184 4185 4186

	return error;
}

4187 4188 4189 4190 4191 4192
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
{
	return do_linkat(olddfd, oldname, newdfd, newname, flags);
}

4193
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
4194
{
4195
	return do_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4196 4197
}

4198 4199 4200 4201 4202 4203 4204
/**
 * vfs_rename - rename a filesystem object
 * @old_dir:	parent of source
 * @old_dentry:	source
 * @new_dir:	parent of destination
 * @new_dentry:	destination
 * @delegated_inode: returns an inode needing a delegation break
M
Miklos Szeredi 已提交
4205
 * @flags:	rename flags
4206 4207 4208 4209 4210 4211 4212 4213 4214 4215 4216 4217 4218 4219
 *
 * The caller must hold multiple mutexes--see lock_rename()).
 *
 * If vfs_rename discovers a delegation in need of breaking at either
 * the source or destination, it will return -EWOULDBLOCK and return a
 * reference to the inode in delegated_inode.  The caller should then
 * break the delegation and retry.  Because breaking a delegation may
 * take a long time, the caller should drop all locks before doing
 * so.
 *
 * Alternatively, a caller may pass NULL for delegated_inode.  This may
 * be appropriate for callers that expect the underlying filesystem not
 * to be NFS exported.
 *
L
Linus Torvalds 已提交
4220 4221 4222
 * The worst of all namespace operations - renaming directory. "Perverted"
 * doesn't even start to describe it. Somebody in UCB had a heck of a trip...
 * Problems:
4223
 *
4224
 *	a) we can get into loop creation.
L
Linus Torvalds 已提交
4225 4226
 *	b) race potential - two innocent renames can create a loop together.
 *	   That's where 4.4 screws up. Current fix: serialization on
4227
 *	   sb->s_vfs_rename_mutex. We might be more accurate, but that's another
L
Linus Torvalds 已提交
4228
 *	   story.
4229 4230
 *	c) we have to lock _four_ objects - parents and victim (if it exists),
 *	   and source (if it is not a directory).
4231
 *	   And that - after we got ->i_mutex on parents (until then we don't know
L
Linus Torvalds 已提交
4232 4233
 *	   whether the target exists).  Solution: try to be smart with locking
 *	   order for inodes.  We rely on the fact that tree topology may change
4234
 *	   only under ->s_vfs_rename_mutex _and_ that parent of the object we
L
Linus Torvalds 已提交
4235 4236 4237
 *	   move will be locked.  Thus we can rank directories by the tree
 *	   (ancestors first) and rank all non-directories after them.
 *	   That works since everybody except rename does "lock parent, lookup,
4238
 *	   lock child" and rename is under ->s_vfs_rename_mutex.
L
Linus Torvalds 已提交
4239 4240 4241
 *	   HOWEVER, it relies on the assumption that any object with ->lookup()
 *	   has no more than 1 dentry.  If "hybrid" objects will ever appear,
 *	   we'd better make sure that there's no link(2) for them.
4242
 *	d) conversion from fhandle to dentry may come in the wrong moment - when
4243
 *	   we are removing the target. Solution: we will have to grab ->i_mutex
L
Linus Torvalds 已提交
4244
 *	   in the fhandle_to_dentry code. [FIXME - current nfsfh.c relies on
4245
 *	   ->i_mutex on parents, which works but leads to some truly excessive
L
Linus Torvalds 已提交
4246 4247
 *	   locking].
 */
4248 4249
int vfs_rename(struct inode *old_dir, struct dentry *old_dentry,
	       struct inode *new_dir, struct dentry *new_dentry,
M
Miklos Szeredi 已提交
4250
	       struct inode **delegated_inode, unsigned int flags)
L
Linus Torvalds 已提交
4251
{
4252 4253 4254
	int error;
	bool is_dir = d_is_dir(old_dentry);
	struct inode *source = old_dentry->d_inode;
S
Sage Weil 已提交
4255
	struct inode *target = new_dentry->d_inode;
M
Miklos Szeredi 已提交
4256 4257
	bool new_is_dir = false;
	unsigned max_links = new_dir->i_sb->s_max_links;
A
Al Viro 已提交
4258
	struct name_snapshot old_name;
4259

4260
	if (source == target)
4261 4262 4263 4264 4265 4266
		return 0;

	error = may_delete(old_dir, old_dentry, is_dir);
	if (error)
		return error;

M
Miklos Szeredi 已提交
4267
	if (!target) {
4268
		error = may_create(new_dir, new_dentry);
M
Miklos Szeredi 已提交
4269 4270 4271 4272 4273 4274 4275 4276
	} else {
		new_is_dir = d_is_dir(new_dentry);

		if (!(flags & RENAME_EXCHANGE))
			error = may_delete(new_dir, new_dentry, is_dir);
		else
			error = may_delete(new_dir, new_dentry, new_is_dir);
	}
4277 4278 4279
	if (error)
		return error;

4280
	if (!old_dir->i_op->rename)
4281
		return -EPERM;
L
Linus Torvalds 已提交
4282 4283 4284 4285 4286

	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
M
Miklos Szeredi 已提交
4287 4288 4289 4290 4291 4292 4293 4294 4295 4296 4297
	if (new_dir != old_dir) {
		if (is_dir) {
			error = inode_permission(source, MAY_WRITE);
			if (error)
				return error;
		}
		if ((flags & RENAME_EXCHANGE) && new_is_dir) {
			error = inode_permission(target, MAY_WRITE);
			if (error)
				return error;
		}
L
Linus Torvalds 已提交
4298 4299
	}

4300 4301
	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry,
				      flags);
L
Linus Torvalds 已提交
4302 4303 4304
	if (error)
		return error;

A
Al Viro 已提交
4305
	take_dentry_name_snapshot(&old_name, old_dentry);
4306
	dget(new_dentry);
M
Miklos Szeredi 已提交
4307
	if (!is_dir || (flags & RENAME_EXCHANGE))
4308 4309
		lock_two_nondirectories(source, target);
	else if (target)
A
Al Viro 已提交
4310
		inode_lock(target);
S
Sage Weil 已提交
4311 4312

	error = -EBUSY;
4313
	if (is_local_mountpoint(old_dentry) || is_local_mountpoint(new_dentry))
S
Sage Weil 已提交
4314 4315
		goto out;

M
Miklos Szeredi 已提交
4316
	if (max_links && new_dir != old_dir) {
4317
		error = -EMLINK;
M
Miklos Szeredi 已提交
4318
		if (is_dir && !new_is_dir && new_dir->i_nlink >= max_links)
4319
			goto out;
M
Miklos Szeredi 已提交
4320 4321 4322 4323 4324
		if ((flags & RENAME_EXCHANGE) && !is_dir && new_is_dir &&
		    old_dir->i_nlink >= max_links)
			goto out;
	}
	if (!is_dir) {
4325
		error = try_break_deleg(source, delegated_inode);
4326 4327
		if (error)
			goto out;
M
Miklos Szeredi 已提交
4328 4329 4330 4331 4332
	}
	if (target && !new_is_dir) {
		error = try_break_deleg(target, delegated_inode);
		if (error)
			goto out;
4333
	}
4334
	error = old_dir->i_op->rename(old_dir, old_dentry,
M
Miklos Szeredi 已提交
4335
				       new_dir, new_dentry, flags);
S
Sage Weil 已提交
4336 4337 4338
	if (error)
		goto out;

M
Miklos Szeredi 已提交
4339
	if (!(flags & RENAME_EXCHANGE) && target) {
4340 4341
		if (is_dir) {
			shrink_dcache_parent(new_dentry);
4342
			target->i_flags |= S_DEAD;
4343
		}
S
Sage Weil 已提交
4344
		dont_mount(new_dentry);
4345
		detach_mounts(new_dentry);
4346
	}
M
Miklos Szeredi 已提交
4347 4348 4349 4350 4351 4352
	if (!(old_dir->i_sb->s_type->fs_flags & FS_RENAME_DOES_D_MOVE)) {
		if (!(flags & RENAME_EXCHANGE))
			d_move(old_dentry, new_dentry);
		else
			d_exchange(old_dentry, new_dentry);
	}
S
Sage Weil 已提交
4353
out:
M
Miklos Szeredi 已提交
4354
	if (!is_dir || (flags & RENAME_EXCHANGE))
4355 4356
		unlock_two_nondirectories(source, target);
	else if (target)
A
Al Viro 已提交
4357
		inode_unlock(target);
L
Linus Torvalds 已提交
4358
	dput(new_dentry);
M
Miklos Szeredi 已提交
4359
	if (!error) {
4360
		fsnotify_move(old_dir, new_dir, &old_name.name, is_dir,
M
Miklos Szeredi 已提交
4361 4362
			      !(flags & RENAME_EXCHANGE) ? target : NULL, old_dentry);
		if (flags & RENAME_EXCHANGE) {
4363
			fsnotify_move(new_dir, old_dir, &old_dentry->d_name,
M
Miklos Szeredi 已提交
4364 4365 4366
				      new_is_dir, NULL, new_dentry);
		}
	}
A
Al Viro 已提交
4367
	release_dentry_name_snapshot(&old_name);
R
Robert Love 已提交
4368

L
Linus Torvalds 已提交
4369 4370
	return error;
}
4371
EXPORT_SYMBOL(vfs_rename);
L
Linus Torvalds 已提交
4372

4373 4374
static int do_renameat2(int olddfd, const char __user *oldname, int newdfd,
			const char __user *newname, unsigned int flags)
L
Linus Torvalds 已提交
4375
{
4376 4377
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
4378 4379 4380
	struct path old_path, new_path;
	struct qstr old_last, new_last;
	int old_type, new_type;
4381
	struct inode *delegated_inode = NULL;
4382 4383
	struct filename *from;
	struct filename *to;
4384
	unsigned int lookup_flags = 0, target_flags = LOOKUP_RENAME_TARGET;
4385
	bool should_retry = false;
4386
	int error;
M
Miklos Szeredi 已提交
4387

M
Miklos Szeredi 已提交
4388
	if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
M
Miklos Szeredi 已提交
4389 4390
		return -EINVAL;

M
Miklos Szeredi 已提交
4391 4392
	if ((flags & (RENAME_NOREPLACE | RENAME_WHITEOUT)) &&
	    (flags & RENAME_EXCHANGE))
M
Miklos Szeredi 已提交
4393 4394
		return -EINVAL;

M
Miklos Szeredi 已提交
4395 4396 4397
	if ((flags & RENAME_WHITEOUT) && !capable(CAP_MKNOD))
		return -EPERM;

4398 4399 4400
	if (flags & RENAME_EXCHANGE)
		target_flags = 0;

4401
retry:
A
Al Viro 已提交
4402 4403
	from = filename_parentat(olddfd, getname(oldname), lookup_flags,
				&old_path, &old_last, &old_type);
4404 4405
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
4406
		goto exit;
4407
	}
L
Linus Torvalds 已提交
4408

A
Al Viro 已提交
4409 4410
	to = filename_parentat(newdfd, getname(newname), lookup_flags,
				&new_path, &new_last, &new_type);
4411 4412
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
4413
		goto exit1;
4414
	}
L
Linus Torvalds 已提交
4415 4416

	error = -EXDEV;
4417
	if (old_path.mnt != new_path.mnt)
L
Linus Torvalds 已提交
4418 4419 4420
		goto exit2;

	error = -EBUSY;
4421
	if (old_type != LAST_NORM)
L
Linus Torvalds 已提交
4422 4423
		goto exit2;

M
Miklos Szeredi 已提交
4424 4425
	if (flags & RENAME_NOREPLACE)
		error = -EEXIST;
4426
	if (new_type != LAST_NORM)
L
Linus Torvalds 已提交
4427 4428
		goto exit2;

4429
	error = mnt_want_write(old_path.mnt);
4430 4431 4432
	if (error)
		goto exit2;

4433
retry_deleg:
4434
	trap = lock_rename(new_path.dentry, old_path.dentry);
L
Linus Torvalds 已提交
4435

4436
	old_dentry = __lookup_hash(&old_last, old_path.dentry, lookup_flags);
L
Linus Torvalds 已提交
4437 4438 4439 4440 4441
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
4442
	if (d_is_negative(old_dentry))
L
Linus Torvalds 已提交
4443
		goto exit4;
4444
	new_dentry = __lookup_hash(&new_last, new_path.dentry, lookup_flags | target_flags);
M
Miklos Szeredi 已提交
4445 4446 4447 4448 4449 4450
	error = PTR_ERR(new_dentry);
	if (IS_ERR(new_dentry))
		goto exit4;
	error = -EEXIST;
	if ((flags & RENAME_NOREPLACE) && d_is_positive(new_dentry))
		goto exit5;
M
Miklos Szeredi 已提交
4451 4452 4453 4454 4455 4456 4457
	if (flags & RENAME_EXCHANGE) {
		error = -ENOENT;
		if (d_is_negative(new_dentry))
			goto exit5;

		if (!d_is_dir(new_dentry)) {
			error = -ENOTDIR;
4458
			if (new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4459 4460 4461
				goto exit5;
		}
	}
L
Linus Torvalds 已提交
4462
	/* unless the source is a directory trailing slashes give -ENOTDIR */
M
Miklos Szeredi 已提交
4463
	if (!d_is_dir(old_dentry)) {
L
Linus Torvalds 已提交
4464
		error = -ENOTDIR;
4465
		if (old_last.name[old_last.len])
M
Miklos Szeredi 已提交
4466
			goto exit5;
4467
		if (!(flags & RENAME_EXCHANGE) && new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4468
			goto exit5;
L
Linus Torvalds 已提交
4469 4470 4471 4472
	}
	/* source should not be ancestor of target */
	error = -EINVAL;
	if (old_dentry == trap)
M
Miklos Szeredi 已提交
4473
		goto exit5;
L
Linus Torvalds 已提交
4474
	/* target should not be an ancestor of source */
M
Miklos Szeredi 已提交
4475 4476
	if (!(flags & RENAME_EXCHANGE))
		error = -ENOTEMPTY;
L
Linus Torvalds 已提交
4477 4478 4479
	if (new_dentry == trap)
		goto exit5;

4480 4481
	error = security_path_rename(&old_path, old_dentry,
				     &new_path, new_dentry, flags);
4482
	if (error)
4483
		goto exit5;
4484 4485
	error = vfs_rename(old_path.dentry->d_inode, old_dentry,
			   new_path.dentry->d_inode, new_dentry,
M
Miklos Szeredi 已提交
4486
			   &delegated_inode, flags);
L
Linus Torvalds 已提交
4487 4488 4489 4490 4491
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
4492
	unlock_rename(new_path.dentry, old_path.dentry);
4493 4494 4495 4496 4497
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
		if (!error)
			goto retry_deleg;
	}
4498
	mnt_drop_write(old_path.mnt);
L
Linus Torvalds 已提交
4499
exit2:
4500 4501
	if (retry_estale(error, lookup_flags))
		should_retry = true;
4502
	path_put(&new_path);
4503
	putname(to);
L
Linus Torvalds 已提交
4504
exit1:
4505
	path_put(&old_path);
L
Linus Torvalds 已提交
4506
	putname(from);
4507 4508 4509 4510 4511
	if (should_retry) {
		should_retry = false;
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
4512
exit:
L
Linus Torvalds 已提交
4513 4514 4515
	return error;
}

4516 4517 4518 4519 4520 4521
SYSCALL_DEFINE5(renameat2, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, unsigned int, flags)
{
	return do_renameat2(olddfd, oldname, newdfd, newname, flags);
}

M
Miklos Szeredi 已提交
4522 4523 4524
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
4525
	return do_renameat2(olddfd, oldname, newdfd, newname, 0);
M
Miklos Szeredi 已提交
4526 4527
}

4528
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4529
{
4530
	return do_renameat2(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4531 4532
}

M
Miklos Szeredi 已提交
4533 4534 4535 4536 4537 4538 4539 4540 4541 4542 4543 4544 4545 4546
int vfs_whiteout(struct inode *dir, struct dentry *dentry)
{
	int error = may_create(dir, dentry);
	if (error)
		return error;

	if (!dir->i_op->mknod)
		return -EPERM;

	return dir->i_op->mknod(dir, dentry,
				S_IFCHR | WHITEOUT_MODE, WHITEOUT_DEV);
}
EXPORT_SYMBOL(vfs_whiteout);

A
Al Viro 已提交
4547
int readlink_copy(char __user *buffer, int buflen, const char *link)
L
Linus Torvalds 已提交
4548
{
A
Al Viro 已提交
4549
	int len = PTR_ERR(link);
L
Linus Torvalds 已提交
4550 4551 4552 4553 4554 4555 4556 4557 4558 4559 4560 4561
	if (IS_ERR(link))
		goto out;

	len = strlen(link);
	if (len > (unsigned) buflen)
		len = buflen;
	if (copy_to_user(buffer, link, len))
		len = -EFAULT;
out:
	return len;
}

4562 4563 4564 4565 4566 4567 4568 4569 4570 4571 4572 4573 4574
/**
 * vfs_readlink - copy symlink body into userspace buffer
 * @dentry: dentry on which to get symbolic link
 * @buffer: user memory pointer
 * @buflen: size of buffer
 *
 * Does not touch atime.  That's up to the caller if necessary
 *
 * Does not call security hook.
 */
int vfs_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
	struct inode *inode = d_inode(dentry);
4575 4576 4577
	DEFINE_DELAYED_CALL(done);
	const char *link;
	int res;
4578

4579 4580 4581 4582 4583 4584 4585 4586 4587 4588 4589
	if (unlikely(!(inode->i_opflags & IOP_DEFAULT_READLINK))) {
		if (unlikely(inode->i_op->readlink))
			return inode->i_op->readlink(dentry, buffer, buflen);

		if (!d_is_symlink(dentry))
			return -EINVAL;

		spin_lock(&inode->i_lock);
		inode->i_opflags |= IOP_DEFAULT_READLINK;
		spin_unlock(&inode->i_lock);
	}
4590

4591
	link = READ_ONCE(inode->i_link);
4592 4593 4594 4595 4596 4597 4598 4599
	if (!link) {
		link = inode->i_op->get_link(dentry, inode, &done);
		if (IS_ERR(link))
			return PTR_ERR(link);
	}
	res = readlink_copy(buffer, buflen, link);
	do_delayed_call(&done);
	return res;
4600 4601
}
EXPORT_SYMBOL(vfs_readlink);
L
Linus Torvalds 已提交
4602

M
Miklos Szeredi 已提交
4603 4604 4605 4606 4607 4608 4609 4610 4611 4612 4613 4614 4615 4616 4617 4618 4619 4620 4621 4622 4623 4624 4625 4626 4627
/**
 * vfs_get_link - get symlink body
 * @dentry: dentry on which to get symbolic link
 * @done: caller needs to free returned data with this
 *
 * Calls security hook and i_op->get_link() on the supplied inode.
 *
 * It does not touch atime.  That's up to the caller if necessary.
 *
 * Does not work on "special" symlinks like /proc/$$/fd/N
 */
const char *vfs_get_link(struct dentry *dentry, struct delayed_call *done)
{
	const char *res = ERR_PTR(-EINVAL);
	struct inode *inode = d_inode(dentry);

	if (d_is_symlink(dentry)) {
		res = ERR_PTR(security_inode_readlink(dentry));
		if (!res)
			res = inode->i_op->get_link(dentry, inode, done);
	}
	return res;
}
EXPORT_SYMBOL(vfs_get_link);

L
Linus Torvalds 已提交
4628
/* get the link contents into pagecache */
4629
const char *page_get_link(struct dentry *dentry, struct inode *inode,
4630
			  struct delayed_call *callback)
L
Linus Torvalds 已提交
4631
{
4632 4633
	char *kaddr;
	struct page *page;
4634 4635
	struct address_space *mapping = inode->i_mapping;

4636 4637 4638 4639 4640 4641 4642 4643 4644 4645 4646 4647 4648
	if (!dentry) {
		page = find_get_page(mapping, 0);
		if (!page)
			return ERR_PTR(-ECHILD);
		if (!PageUptodate(page)) {
			put_page(page);
			return ERR_PTR(-ECHILD);
		}
	} else {
		page = read_mapping_page(mapping, 0, NULL);
		if (IS_ERR(page))
			return (char*)page;
	}
4649
	set_delayed_call(callback, page_put_link, page);
4650 4651
	BUG_ON(mapping_gfp_mask(mapping) & __GFP_HIGHMEM);
	kaddr = page_address(page);
4652
	nd_terminate_link(kaddr, inode->i_size, PAGE_SIZE - 1);
4653
	return kaddr;
L
Linus Torvalds 已提交
4654 4655
}

4656
EXPORT_SYMBOL(page_get_link);
L
Linus Torvalds 已提交
4657

4658
void page_put_link(void *arg)
L
Linus Torvalds 已提交
4659
{
4660
	put_page(arg);
L
Linus Torvalds 已提交
4661
}
4662
EXPORT_SYMBOL(page_put_link);
L
Linus Torvalds 已提交
4663

4664 4665
int page_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
4666
	DEFINE_DELAYED_CALL(done);
4667 4668
	int res = readlink_copy(buffer, buflen,
				page_get_link(dentry, d_inode(dentry),
4669 4670
					      &done));
	do_delayed_call(&done);
4671 4672 4673 4674
	return res;
}
EXPORT_SYMBOL(page_readlink);

4675 4676 4677 4678
/*
 * The nofs argument instructs pagecache_write_begin to pass AOP_FLAG_NOFS
 */
int __page_symlink(struct inode *inode, const char *symname, int len, int nofs)
L
Linus Torvalds 已提交
4679 4680
{
	struct address_space *mapping = inode->i_mapping;
4681
	struct page *page;
4682
	void *fsdata;
4683
	int err;
4684
	unsigned int flags = 0;
4685 4686
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
4687

4688
retry:
4689
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
4690
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
4691
	if (err)
4692 4693
		goto fail;

4694
	memcpy(page_address(page), symname, len-1);
4695 4696 4697

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4698 4699
	if (err < 0)
		goto fail;
4700 4701 4702
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4703 4704 4705 4706 4707
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}
4708
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4709

4710 4711 4712
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4713
			!mapping_gfp_constraint(inode->i_mapping, __GFP_FS));
4714
}
4715
EXPORT_SYMBOL(page_symlink);
4716

4717
const struct inode_operations page_symlink_inode_operations = {
4718
	.get_link	= page_get_link,
L
Linus Torvalds 已提交
4719 4720
};
EXPORT_SYMBOL(page_symlink_inode_operations);