namei.c 114.5 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
/*
 *  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>
18
#include <linux/export.h>
19
#include <linux/kernel.h>
L
Linus Torvalds 已提交
20 21 22 23
#include <linux/slab.h>
#include <linux/fs.h>
#include <linux/namei.h>
#include <linux/pagemap.h>
R
Robert Love 已提交
24
#include <linux/fsnotify.h>
L
Linus Torvalds 已提交
25 26
#include <linux/personality.h>
#include <linux/security.h>
M
Mimi Zohar 已提交
27
#include <linux/ima.h>
L
Linus Torvalds 已提交
28 29 30
#include <linux/syscalls.h>
#include <linux/mount.h>
#include <linux/audit.h>
31
#include <linux/capability.h>
32
#include <linux/file.h>
33
#include <linux/fcntl.h>
34
#include <linux/device_cgroup.h>
35
#include <linux/fs_struct.h>
36
#include <linux/posix_acl.h>
37
#include <linux/hash.h>
L
Linus Torvalds 已提交
38 39
#include <asm/uaccess.h>

40
#include "internal.h"
41
#include "mount.h"
42

L
Linus Torvalds 已提交
43 44 45 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
/* [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 已提交
77
 * the name is a symlink pointing to a non-existent name.
L
Linus Torvalds 已提交
78 79 80 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
 *
 * 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)
110
 * implemented.  Let's see if raised priority of ->s_vfs_rename_mutex gives
L
Linus Torvalds 已提交
111 112 113 114 115 116 117 118 119 120
 * 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.
 */
121

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

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

131 132 133 134
	result = audit_reusename(filename);
	if (result)
		return result;

135
	result = __getname();
136
	if (unlikely(!result))
137 138
		return ERR_PTR(-ENOMEM);

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

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

152 153 154 155 156 157
	/*
	 * 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 已提交
158
	if (unlikely(len == EMBEDDED_NAME_MAX)) {
A
Al Viro 已提交
159
		const size_t size = offsetof(struct filename, iname[1]);
160 161
		kname = (char *)result;

A
Al Viro 已提交
162 163 164 165 166 167
		/*
		 * 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 已提交
168 169 170
		if (unlikely(!result)) {
			__putname(kname);
			return ERR_PTR(-ENOMEM);
171 172
		}
		result->name = kname;
A
Al Viro 已提交
173 174 175 176 177 178 179 180 181 182 183
		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);
		}
184 185
	}

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

197
	result->uptr = filename;
198
	result->aname = NULL;
199 200
	audit_getname(result);
	return result;
L
Linus Torvalds 已提交
201 202
}

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

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

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

219
	if (len <= EMBEDDED_NAME_MAX) {
A
Al Viro 已提交
220
		result->name = (char *)result->iname;
221 222 223 224 225 226 227 228 229 230 231 232 233 234 235
	} else if (len <= PATH_MAX) {
		struct filename *tmp;

		tmp = kmalloc(sizeof(*tmp), GFP_KERNEL);
		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);
236 237
	result->uptr = NULL;
	result->aname = NULL;
238
	result->refcnt = 1;
239
	audit_getname(result);
240 241 242 243

	return result;
}

244
void putname(struct filename *name)
L
Linus Torvalds 已提交
245
{
246 247 248 249 250
	BUG_ON(name->refcnt <= 0);

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

A
Al Viro 已提交
251
	if (name->name != name->iname) {
252 253 254 255
		__putname(name->name);
		kfree(name);
	} else
		__putname(name);
L
Linus Torvalds 已提交
256 257
}

258 259
static int check_acl(struct inode *inode, int mask)
{
260
#ifdef CONFIG_FS_POSIX_ACL
261 262 263
	struct posix_acl *acl;

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

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

	return -EAGAIN;
}

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

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

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

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

/**
315
 * generic_permission -  check for access rights on a Posix-like filesystem
316
 * @inode:	inode to check access rights for
317
 * @mask:	right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC, ...)
318 319 320 321
 *
 * 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
322 323 324 325 326
 * 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.
327
 */
328
int generic_permission(struct inode *inode, int mask)
329 330 331 332
{
	int ret;

	/*
333
	 * Do the basic permission checks.
334
	 */
335
	ret = acl_permission_check(inode, mask);
336 337
	if (ret != -EACCES)
		return ret;
L
Linus Torvalds 已提交
338

339 340
	if (S_ISDIR(inode->i_mode)) {
		/* DACs are overridable for directories */
341
		if (capable_wrt_inode_uidgid(inode, CAP_DAC_OVERRIDE))
342 343
			return 0;
		if (!(mask & MAY_WRITE))
344 345
			if (capable_wrt_inode_uidgid(inode,
						     CAP_DAC_READ_SEARCH))
346 347 348
				return 0;
		return -EACCES;
	}
L
Linus Torvalds 已提交
349 350
	/*
	 * Read/write DACs are always overridable.
351 352
	 * Executable DACs are overridable when there is
	 * at least one exec bit set.
L
Linus Torvalds 已提交
353
	 */
354
	if (!(mask & MAY_EXEC) || (inode->i_mode & S_IXUGO))
355
		if (capable_wrt_inode_uidgid(inode, CAP_DAC_OVERRIDE))
L
Linus Torvalds 已提交
356 357 358 359 360
			return 0;

	/*
	 * Searching includes executable on directories, else just read.
	 */
361
	mask &= MAY_READ | MAY_WRITE | MAY_EXEC;
362
	if (mask == MAY_READ)
363
		if (capable_wrt_inode_uidgid(inode, CAP_DAC_READ_SEARCH))
L
Linus Torvalds 已提交
364 365 366 367
			return 0;

	return -EACCES;
}
368
EXPORT_SYMBOL(generic_permission);
L
Linus Torvalds 已提交
369

370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389
/*
 * 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);
}

C
Christoph Hellwig 已提交
390
/**
D
David Howells 已提交
391 392 393
 * __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)
C
Christoph Hellwig 已提交
394
 *
D
David Howells 已提交
395
 * Check for read/write/execute permissions on an inode.
396 397
 *
 * When checking for MAY_APPEND, MAY_WRITE must also be set in @mask.
D
David Howells 已提交
398 399 400
 *
 * This does not check for a read-only file system.  You probably want
 * inode_permission().
C
Christoph Hellwig 已提交
401
 */
D
David Howells 已提交
402
int __inode_permission(struct inode *inode, int mask)
L
Linus Torvalds 已提交
403
{
404
	int retval;
L
Linus Torvalds 已提交
405

406
	if (unlikely(mask & MAY_WRITE)) {
L
Linus Torvalds 已提交
407 408 409 410 411 412 413
		/*
		 * Nobody gets write access to an immutable file.
		 */
		if (IS_IMMUTABLE(inode))
			return -EACCES;
	}

414
	retval = do_inode_permission(inode, mask);
L
Linus Torvalds 已提交
415 416 417
	if (retval)
		return retval;

418 419 420 421
	retval = devcgroup_inode_permission(inode, mask);
	if (retval)
		return retval;

422
	return security_inode_permission(inode, mask);
L
Linus Torvalds 已提交
423
}
424
EXPORT_SYMBOL(__inode_permission);
L
Linus Torvalds 已提交
425

D
David Howells 已提交
426 427 428
/**
 * sb_permission - Check superblock-level permissions
 * @sb: Superblock of inode to check permission on
429
 * @inode: Inode to check permission on
D
David Howells 已提交
430 431 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 458 459 460 461 462 463 464 465 466
 * @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. */
		if ((sb->s_flags & MS_RDONLY) &&
		    (S_ISREG(mode) || S_ISDIR(mode) || S_ISLNK(mode)))
			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;
	return __inode_permission(inode, mask);
}
467
EXPORT_SYMBOL(inode_permission);
D
David Howells 已提交
468

J
Jan Blunck 已提交
469 470 471 472 473 474
/**
 * 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.
 */
475
void path_get(const struct path *path)
J
Jan Blunck 已提交
476 477 478 479 480 481
{
	mntget(path->mnt);
	dget(path->dentry);
}
EXPORT_SYMBOL(path_get);

J
Jan Blunck 已提交
482 483 484 485 486 487
/**
 * 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.
 */
488
void path_put(const struct path *path)
L
Linus Torvalds 已提交
489
{
J
Jan Blunck 已提交
490 491
	dput(path->dentry);
	mntput(path->mnt);
L
Linus Torvalds 已提交
492
}
J
Jan Blunck 已提交
493
EXPORT_SYMBOL(path_put);
L
Linus Torvalds 已提交
494

495
#define EMBEDDED_LEVELS 2
496 497
struct nameidata {
	struct path	path;
A
Al Viro 已提交
498
	struct qstr	last;
499 500 501
	struct path	root;
	struct inode	*inode; /* path.dentry.d_inode */
	unsigned int	flags;
502
	unsigned	seq, m_seq;
503 504
	int		last_type;
	unsigned	depth;
505
	int		total_link_count;
506 507 508 509
	struct saved {
		struct path link;
		void *cookie;
		const char *name;
A
Al Viro 已提交
510
		struct inode *inode;
511
		unsigned seq;
512
	} *stack, internal[EMBEDDED_LEVELS];
513 514 515 516
	struct filename	*name;
	struct nameidata *saved;
	unsigned	root_seq;
	int		dfd;
517 518
};

519
static void set_nameidata(struct nameidata *p, int dfd, struct filename *name)
520
{
521 522
	struct nameidata *old = current->nameidata;
	p->stack = p->internal;
523 524
	p->dfd = dfd;
	p->name = name;
525
	p->total_link_count = old ? old->total_link_count : 0;
526
	p->saved = old;
527
	current->nameidata = p;
528 529
}

530
static void restore_nameidata(void)
531
{
532
	struct nameidata *now = current->nameidata, *old = now->saved;
533 534 535 536 537 538 539

	current->nameidata = old;
	if (old)
		old->total_link_count = now->total_link_count;
	if (now->stack != now->internal) {
		kfree(now->stack);
		now->stack = now->internal;
540 541 542 543 544
	}
}

static int __nd_alloc_stack(struct nameidata *nd)
{
A
Al Viro 已提交
545 546 547 548 549 550 551 552 553
	struct saved *p;

	if (nd->flags & LOOKUP_RCU) {
		p= kmalloc(MAXSYMLINKS * sizeof(struct saved),
				  GFP_ATOMIC);
		if (unlikely(!p))
			return -ECHILD;
	} else {
		p= kmalloc(MAXSYMLINKS * sizeof(struct saved),
554
				  GFP_KERNEL);
A
Al Viro 已提交
555 556 557
		if (unlikely(!p))
			return -ENOMEM;
	}
558 559 560 561 562
	memcpy(p, nd->internal, sizeof(nd->internal));
	nd->stack = p;
	return 0;
}

563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580
/**
 * path_connected - Verify that a path->dentry is below path->mnt.mnt_root
 * @path: nameidate to verify
 *
 * Rename can sometimes move a file or directory outside of a bind
 * mount, path_connected allows those cases to be detected.
 */
static bool path_connected(const struct path *path)
{
	struct vfsmount *mnt = path->mnt;

	/* Only bind mounts can have disconnected paths */
	if (mnt->mnt_root == mnt->mnt_sb->s_root)
		return true;

	return is_subdir(path->dentry, mnt->mnt_root);
}

581 582
static inline int nd_alloc_stack(struct nameidata *nd)
{
583
	if (likely(nd->depth != EMBEDDED_LEVELS))
584 585 586 587 588 589
		return 0;
	if (likely(nd->stack != nd->internal))
		return 0;
	return __nd_alloc_stack(nd);
}

590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610
static void drop_links(struct nameidata *nd)
{
	int i = nd->depth;
	while (i--) {
		struct saved *last = nd->stack + i;
		struct inode *inode = last->inode;
		if (last->cookie && inode->i_op->put_link) {
			inode->i_op->put_link(inode, last->cookie);
			last->cookie = NULL;
		}
	}
}

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);
611 612 613 614
		if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT)) {
			path_put(&nd->root);
			nd->root.mnt = NULL;
		}
615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655
	} else {
		nd->flags &= ~LOOKUP_RCU;
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
		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;
}

A
Al Viro 已提交
656
/*
N
Nick Piggin 已提交
657
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
658 659
 * 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 已提交
660
 * normal reference counts on dentries and vfsmounts to transition to ref-walk
A
Al Viro 已提交
661 662 663 664
 * 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 已提交
665 666 667
 */

/**
A
Al Viro 已提交
668 669 670
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry or NULL
671
 * @seq: seq number to check dentry against
672
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
673
 *
A
Al Viro 已提交
674 675 676
 * unlazy_walk 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 or NULL.  Must be called from rcu-walk context.
677 678
 * Nothing should touch nameidata between unlazy_walk() failure and
 * terminate_walk().
N
Nick Piggin 已提交
679
 */
680
static int unlazy_walk(struct nameidata *nd, struct dentry *dentry, unsigned seq)
N
Nick Piggin 已提交
681 682 683 684
{
	struct dentry *parent = nd->path.dentry;

	BUG_ON(!(nd->flags & LOOKUP_RCU));
685 686

	nd->flags &= ~LOOKUP_RCU;
687 688 689 690 691 692
	if (unlikely(!legitimize_links(nd)))
		goto out2;
	if (unlikely(!legitimize_mnt(nd->path.mnt, nd->m_seq)))
		goto out2;
	if (unlikely(!lockref_get_not_dead(&parent->d_lockref)))
		goto out1;
A
Al Viro 已提交
693

694 695 696 697 698 699 700 701 702 703 704
	/*
	 * For a negative lookup, the lookup sequence point is the parents
	 * sequence point, and it only needs to revalidate the parent dentry.
	 *
	 * For a positive lookup, 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 still valid.
	 */
A
Al Viro 已提交
705
	if (!dentry) {
706 707
		if (read_seqcount_retry(&parent->d_seq, nd->seq))
			goto out;
A
Al Viro 已提交
708 709
		BUG_ON(nd->inode != parent->d_inode);
	} else {
710 711
		if (!lockref_get_not_dead(&dentry->d_lockref))
			goto out;
712
		if (read_seqcount_retry(&dentry->d_seq, seq))
713
			goto drop_dentry;
A
Al Viro 已提交
714
	}
715 716 717 718 719 720

	/*
	 * Sequence counts matched. Now make sure that the root is
	 * still valid and get it if required.
	 */
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT)) {
721 722 723 724
		if (unlikely(!legitimize_path(nd, &nd->root, nd->root_seq))) {
			rcu_read_unlock();
			dput(dentry);
			return -ECHILD;
725
		}
N
Nick Piggin 已提交
726 727
	}

A
Al Viro 已提交
728
	rcu_read_unlock();
N
Nick Piggin 已提交
729
	return 0;
A
Al Viro 已提交
730

731
drop_dentry:
A
Al Viro 已提交
732
	rcu_read_unlock();
733
	dput(dentry);
734
	goto drop_root_mnt;
735 736 737 738
out2:
	nd->path.mnt = NULL;
out1:
	nd->path.dentry = NULL;
739
out:
A
Al Viro 已提交
740
	rcu_read_unlock();
741 742 743
drop_root_mnt:
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
N
Nick Piggin 已提交
744 745 746
	return -ECHILD;
}

747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764
static int unlazy_link(struct nameidata *nd, struct path *link, unsigned seq)
{
	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;
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
		rcu_read_unlock();
	} else if (likely(unlazy_walk(nd, NULL, 0)) == 0) {
		return 0;
	}
	path_put(link);
	return -ECHILD;
}

765
static inline int d_revalidate(struct dentry *dentry, unsigned int flags)
766
{
767
	return dentry->d_op->d_revalidate(dentry, flags);
768 769
}

770 771 772
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
773
 *
774 775 776 777 778
 * 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.
779
 */
780
static int complete_walk(struct nameidata *nd)
781
{
A
Al Viro 已提交
782
	struct dentry *dentry = nd->path.dentry;
783 784
	int status;

785 786 787
	if (nd->flags & LOOKUP_RCU) {
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
788
		if (unlikely(unlazy_walk(nd, NULL, 0)))
789 790 791
			return -ECHILD;
	}

A
Al Viro 已提交
792 793 794
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

795
	if (likely(!(dentry->d_flags & DCACHE_OP_WEAK_REVALIDATE)))
796 797
		return 0;

798
	status = dentry->d_op->d_weak_revalidate(dentry, nd->flags);
799 800 801
	if (status > 0)
		return 0;

A
Al Viro 已提交
802
	if (!status)
803
		status = -ESTALE;
A
Al Viro 已提交
804

805 806 807
	return status;
}

A
Al Viro 已提交
808
static void set_root(struct nameidata *nd)
N
Nick Piggin 已提交
809
{
810
	struct fs_struct *fs = current->fs;
N
Nick Piggin 已提交
811

812 813 814 815 816 817 818 819 820 821 822
	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);
	}
N
Nick Piggin 已提交
823 824
}

J
Jan Blunck 已提交
825
static void path_put_conditional(struct path *path, struct nameidata *nd)
826 827
{
	dput(path->dentry);
828
	if (path->mnt != nd->path.mnt)
829 830 831
		mntput(path->mnt);
}

832 833
static inline void path_to_nameidata(const struct path *path,
					struct nameidata *nd)
834
{
N
Nick Piggin 已提交
835 836 837 838
	if (!(nd->flags & LOOKUP_RCU)) {
		dput(nd->path.dentry);
		if (nd->path.mnt != path->mnt)
			mntput(nd->path.mnt);
839
	}
N
Nick Piggin 已提交
840
	nd->path.mnt = path->mnt;
841
	nd->path.dentry = path->dentry;
842 843
}

C
Christoph Hellwig 已提交
844 845 846 847
/*
 * Helper to directly jump to a known parsed path from ->follow_link,
 * caller must have taken a reference to path beforehand.
 */
848
void nd_jump_link(struct path *path)
C
Christoph Hellwig 已提交
849
{
850
	struct nameidata *nd = current->nameidata;
C
Christoph Hellwig 已提交
851 852 853 854 855 856 857
	path_put(&nd->path);

	nd->path = *path;
	nd->inode = nd->path.dentry->d_inode;
	nd->flags |= LOOKUP_JUMPED;
}

858
static inline void put_link(struct nameidata *nd)
859
{
A
Al Viro 已提交
860
	struct saved *last = nd->stack + --nd->depth;
A
Al Viro 已提交
861
	struct inode *inode = last->inode;
862
	if (last->cookie && inode->i_op->put_link)
863
		inode->i_op->put_link(inode, last->cookie);
A
Al Viro 已提交
864 865
	if (!(nd->flags & LOOKUP_RCU))
		path_put(&last->link);
866 867
}

868 869
int sysctl_protected_symlinks __read_mostly = 0;
int sysctl_protected_hardlinks __read_mostly = 0;
K
Kees Cook 已提交
870 871 872

/**
 * may_follow_link - Check symlink following for unsafe situations
873
 * @nd: nameidata pathwalk data
K
Kees Cook 已提交
874 875 876 877 878 879 880 881 882 883 884 885
 *
 * 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.
 */
A
Al Viro 已提交
886
static inline int may_follow_link(struct nameidata *nd)
K
Kees Cook 已提交
887 888 889 890 891 892 893 894
{
	const struct inode *inode;
	const struct inode *parent;

	if (!sysctl_protected_symlinks)
		return 0;

	/* Allowed if owner and follower match. */
A
Al Viro 已提交
895
	inode = nd->stack[0].inode;
896
	if (uid_eq(current_cred()->fsuid, inode->i_uid))
K
Kees Cook 已提交
897 898 899
		return 0;

	/* Allowed if parent directory not sticky and world-writable. */
A
Al Viro 已提交
900
	parent = nd->inode;
K
Kees Cook 已提交
901 902 903 904
	if ((parent->i_mode & (S_ISVTX|S_IWOTH)) != (S_ISVTX|S_IWOTH))
		return 0;

	/* Allowed if parent directory and link owner match. */
905
	if (uid_eq(parent->i_uid, inode->i_uid))
K
Kees Cook 已提交
906 907
		return 0;

908 909 910
	if (nd->flags & LOOKUP_RCU)
		return -ECHILD;

A
Al Viro 已提交
911
	audit_log_link_denied("follow_link", &nd->stack[0].link);
K
Kees Cook 已提交
912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957
	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)
958
 *  - not CAP_FOWNER in a namespace with the inode owner uid mapped
K
Kees Cook 已提交
959 960 961 962 963 964 965 966 967 968 969 970 971 972 973
 *
 * Returns 0 if successful, -ve on error.
 */
static int may_linkat(struct path *link)
{
	struct inode *inode;

	if (!sysctl_protected_hardlinks)
		return 0;

	inode = link->dentry->d_inode;

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

977
	audit_log_link_denied("linkat", link);
K
Kees Cook 已提交
978 979 980
	return -EPERM;
}

981 982
static __always_inline
const char *get_link(struct nameidata *nd)
L
Linus Torvalds 已提交
983
{
984
	struct saved *last = nd->stack + nd->depth - 1;
A
Al Viro 已提交
985
	struct dentry *dentry = last->link.dentry;
A
Al Viro 已提交
986
	struct inode *inode = last->inode;
987
	int error;
988
	const char *res;
L
Linus Torvalds 已提交
989

990 991 992 993
	if (!(nd->flags & LOOKUP_RCU)) {
		touch_atime(&last->link);
		cond_resched();
	} else if (atime_needs_update(&last->link, inode)) {
A
Al Viro 已提交
994 995
		if (unlikely(unlazy_walk(nd, NULL, 0)))
			return ERR_PTR(-ECHILD);
996
		touch_atime(&last->link);
A
Al Viro 已提交
997
	}
998

999 1000 1001
	error = security_inode_follow_link(dentry, inode,
					   nd->flags & LOOKUP_RCU);
	if (unlikely(error))
1002
		return ERR_PTR(error);
1003

1004
	nd->last_type = LAST_BIND;
1005 1006
	res = inode->i_link;
	if (!res) {
1007 1008 1009 1010
		if (nd->flags & LOOKUP_RCU) {
			if (unlikely(unlazy_walk(nd, NULL, 0)))
				return ERR_PTR(-ECHILD);
		}
1011
		res = inode->i_op->follow_link(dentry, &last->cookie);
1012
		if (IS_ERR_OR_NULL(res)) {
1013
			last->cookie = NULL;
1014 1015 1016 1017
			return res;
		}
	}
	if (*res == '/') {
1018 1019
		if (!nd->root.mnt)
			set_root(nd);
1020
		if (nd->flags & LOOKUP_RCU) {
1021 1022 1023 1024 1025 1026
			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)))
1027
				return ERR_PTR(-ECHILD);
1028 1029 1030 1031 1032
		} else {
			path_put(&nd->path);
			nd->path = nd->root;
			path_get(&nd->root);
			nd->inode = nd->path.dentry->d_inode;
1033
		}
1034 1035 1036
		nd->flags |= LOOKUP_JUMPED;
		while (unlikely(*++res == '/'))
			;
L
Linus Torvalds 已提交
1037
	}
1038 1039
	if (!*res)
		res = NULL;
1040 1041
	return res;
}
1042

1043 1044 1045 1046 1047 1048 1049 1050 1051 1052
/*
 * 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 已提交
1053
int follow_up(struct path *path)
L
Linus Torvalds 已提交
1054
{
1055 1056
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
L
Linus Torvalds 已提交
1057
	struct dentry *mountpoint;
N
Nick Piggin 已提交
1058

A
Al Viro 已提交
1059
	read_seqlock_excl(&mount_lock);
1060
	parent = mnt->mnt_parent;
A
Al Viro 已提交
1061
	if (parent == mnt) {
A
Al Viro 已提交
1062
		read_sequnlock_excl(&mount_lock);
L
Linus Torvalds 已提交
1063 1064
		return 0;
	}
1065
	mntget(&parent->mnt);
1066
	mountpoint = dget(mnt->mnt_mountpoint);
A
Al Viro 已提交
1067
	read_sequnlock_excl(&mount_lock);
A
Al Viro 已提交
1068 1069 1070
	dput(path->dentry);
	path->dentry = mountpoint;
	mntput(path->mnt);
1071
	path->mnt = &parent->mnt;
L
Linus Torvalds 已提交
1072 1073
	return 1;
}
1074
EXPORT_SYMBOL(follow_up);
L
Linus Torvalds 已提交
1075

N
Nick Piggin 已提交
1076
/*
1077 1078 1079
 * Perform an automount
 * - return -EISDIR to tell follow_managed() to stop and return the path we
 *   were called with.
L
Linus Torvalds 已提交
1080
 */
1081
static int follow_automount(struct path *path, struct nameidata *nd,
1082
			    bool *need_mntput)
N
Nick Piggin 已提交
1083
{
1084
	struct vfsmount *mnt;
1085
	int err;
1086 1087 1088 1089

	if (!path->dentry->d_op || !path->dentry->d_op->d_automount)
		return -EREMOTE;

1090 1091 1092 1093 1094 1095 1096 1097 1098 1099
	/* 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.
1100
	 */
1101 1102
	if (!(nd->flags & (LOOKUP_PARENT | LOOKUP_DIRECTORY |
			   LOOKUP_OPEN | LOOKUP_CREATE | LOOKUP_AUTOMOUNT)) &&
1103 1104 1105
	    path->dentry->d_inode)
		return -EISDIR;

1106 1107
	nd->total_link_count++;
	if (nd->total_link_count >= 40)
1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120
		return -ELOOP;

	mnt = path->dentry->d_op->d_automount(path);
	if (IS_ERR(mnt)) {
		/*
		 * The filesystem is allowed to return -EISDIR here to indicate
		 * it doesn't want to automount.  For instance, autofs would do
		 * this so that its userspace daemon can mount on this dentry.
		 *
		 * However, we can only permit this if it's a terminal point in
		 * the path being looked up; if it wasn't then the remainder of
		 * the path is inaccessible and we should say so.
		 */
1121
		if (PTR_ERR(mnt) == -EISDIR && (nd->flags & LOOKUP_PARENT))
1122 1123
			return -EREMOTE;
		return PTR_ERR(mnt);
N
Nick Piggin 已提交
1124
	}
1125

1126 1127
	if (!mnt) /* mount collision */
		return 0;
N
Nick Piggin 已提交
1128

1129 1130 1131 1132 1133
	if (!*need_mntput) {
		/* lock_mount() may release path->mnt on error */
		mntget(path->mnt);
		*need_mntput = true;
	}
1134
	err = finish_automount(mnt, path);
1135

1136 1137 1138
	switch (err) {
	case -EBUSY:
		/* Someone else made a mount here whilst we were busy */
1139
		return 0;
1140
	case 0:
1141
		path_put(path);
1142 1143 1144
		path->mnt = mnt;
		path->dentry = dget(mnt->mnt_root);
		return 0;
1145 1146
	default:
		return err;
1147
	}
1148

A
Al Viro 已提交
1149 1150
}

1151 1152
/*
 * Handle a dentry that is managed in some way.
1153
 * - Flagged for transit management (autofs)
1154 1155 1156 1157 1158 1159 1160
 * - Flagged as mountpoint
 * - Flagged as automount point
 *
 * This may only be called in refwalk mode.
 *
 * Serialization is taken care of in namespace.c
 */
1161
static int follow_managed(struct path *path, struct nameidata *nd)
L
Linus Torvalds 已提交
1162
{
1163
	struct vfsmount *mnt = path->mnt; /* held by caller, must be left alone */
1164 1165
	unsigned managed;
	bool need_mntput = false;
1166
	int ret = 0;
1167 1168 1169 1170 1171 1172 1173

	/* Given that we're not holding a lock here, we retain the value in a
	 * local variable for each dentry as we look at it so that we don't see
	 * the components of that value change under us */
	while (managed = ACCESS_ONCE(path->dentry->d_flags),
	       managed &= DCACHE_MANAGED_DENTRY,
	       unlikely(managed != 0)) {
1174 1175 1176 1177 1178
		/* Allow the filesystem to manage the transit without i_mutex
		 * being held. */
		if (managed & DCACHE_MANAGE_TRANSIT) {
			BUG_ON(!path->dentry->d_op);
			BUG_ON(!path->dentry->d_op->d_manage);
1179
			ret = path->dentry->d_op->d_manage(path->dentry, false);
1180
			if (ret < 0)
1181
				break;
1182 1183
		}

1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198
		/* Transit to a mounted filesystem. */
		if (managed & DCACHE_MOUNTED) {
			struct vfsmount *mounted = lookup_mnt(path);
			if (mounted) {
				dput(path->dentry);
				if (need_mntput)
					mntput(path->mnt);
				path->mnt = mounted;
				path->dentry = dget(mounted->mnt_root);
				need_mntput = true;
				continue;
			}

			/* Something is mounted on this dentry in another
			 * namespace and/or whatever was mounted there in this
A
Al Viro 已提交
1199 1200
			 * namespace got unmounted before lookup_mnt() could
			 * get it */
1201 1202 1203 1204
		}

		/* Handle an automount point */
		if (managed & DCACHE_NEED_AUTOMOUNT) {
1205
			ret = follow_automount(path, nd, &need_mntput);
1206
			if (ret < 0)
1207
				break;
1208 1209 1210 1211 1212
			continue;
		}

		/* We didn't change the current path point */
		break;
L
Linus Torvalds 已提交
1213
	}
1214 1215 1216 1217 1218

	if (need_mntput && path->mnt == mnt)
		mntput(path->mnt);
	if (ret == -EISDIR)
		ret = 0;
1219 1220 1221 1222 1223
	if (need_mntput)
		nd->flags |= LOOKUP_JUMPED;
	if (unlikely(ret < 0))
		path_put_conditional(path, nd);
	return ret;
L
Linus Torvalds 已提交
1224 1225
}

1226
int follow_down_one(struct path *path)
L
Linus Torvalds 已提交
1227 1228 1229
{
	struct vfsmount *mounted;

A
Al Viro 已提交
1230
	mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
1231
	if (mounted) {
A
Al Viro 已提交
1232 1233 1234 1235
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
1236 1237 1238 1239
		return 1;
	}
	return 0;
}
1240
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
1241

1242
static inline int managed_dentry_rcu(struct dentry *dentry)
1243
{
1244 1245
	return (dentry->d_flags & DCACHE_MANAGE_TRANSIT) ?
		dentry->d_op->d_manage(dentry, true) : 0;
1246 1247
}

1248
/*
1249 1250
 * Try to skip to top of mountpoint pile in rcuwalk mode.  Fail if
 * we meet a managed dentry that would need blocking.
1251 1252
 */
static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
1253
			       struct inode **inode, unsigned *seqp)
1254
{
1255
	for (;;) {
1256
		struct mount *mounted;
1257 1258 1259 1260
		/*
		 * Don't forget we might have a non-mountpoint managed dentry
		 * that wants to block transit.
		 */
1261 1262 1263
		switch (managed_dentry_rcu(path->dentry)) {
		case -ECHILD:
		default:
1264
			return false;
1265 1266 1267 1268 1269
		case -EISDIR:
			return true;
		case 0:
			break;
		}
1270 1271

		if (!d_mountpoint(path->dentry))
1272
			return !(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1273

A
Al Viro 已提交
1274
		mounted = __lookup_mnt(path->mnt, path->dentry);
1275 1276
		if (!mounted)
			break;
1277 1278
		path->mnt = &mounted->mnt;
		path->dentry = mounted->mnt.mnt_root;
1279
		nd->flags |= LOOKUP_JUMPED;
1280
		*seqp = read_seqcount_begin(&path->dentry->d_seq);
1281 1282 1283 1284 1285 1286
		/*
		 * Update the inode too. We don't need to re-check the
		 * dentry sequence number here after this d_inode read,
		 * because a mount-point is always pinned.
		 */
		*inode = path->dentry->d_inode;
1287
	}
1288
	return !read_seqretry(&mount_lock, nd->m_seq) &&
1289
		!(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1290 1291
}

N
Nick Piggin 已提交
1292 1293
static int follow_dotdot_rcu(struct nameidata *nd)
{
1294
	struct inode *inode = nd->inode;
N
Nick Piggin 已提交
1295

1296
	while (1) {
1297
		if (path_equal(&nd->path, &nd->root))
N
Nick Piggin 已提交
1298 1299 1300 1301 1302 1303
			break;
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
			struct dentry *old = nd->path.dentry;
			struct dentry *parent = old->d_parent;
			unsigned seq;

1304
			inode = parent->d_inode;
N
Nick Piggin 已提交
1305
			seq = read_seqcount_begin(&parent->d_seq);
1306 1307
			if (unlikely(read_seqcount_retry(&old->d_seq, nd->seq)))
				return -ECHILD;
N
Nick Piggin 已提交
1308 1309
			nd->path.dentry = parent;
			nd->seq = seq;
1310 1311
			if (unlikely(!path_connected(&nd->path)))
				return -ENOENT;
N
Nick Piggin 已提交
1312
			break;
1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327
		} else {
			struct mount *mnt = real_mount(nd->path.mnt);
			struct mount *mparent = mnt->mnt_parent;
			struct dentry *mountpoint = mnt->mnt_mountpoint;
			struct inode *inode2 = mountpoint->d_inode;
			unsigned seq = read_seqcount_begin(&mountpoint->d_seq);
			if (unlikely(read_seqretry(&mount_lock, nd->m_seq)))
				return -ECHILD;
			if (&mparent->mnt == nd->path.mnt)
				break;
			/* we know that mountpoint was pinned */
			nd->path.dentry = mountpoint;
			nd->path.mnt = &mparent->mnt;
			inode = inode2;
			nd->seq = seq;
N
Nick Piggin 已提交
1328 1329
		}
	}
1330
	while (unlikely(d_mountpoint(nd->path.dentry))) {
1331 1332
		struct mount *mounted;
		mounted = __lookup_mnt(nd->path.mnt, nd->path.dentry);
1333 1334
		if (unlikely(read_seqretry(&mount_lock, nd->m_seq)))
			return -ECHILD;
1335 1336 1337 1338
		if (!mounted)
			break;
		nd->path.mnt = &mounted->mnt;
		nd->path.dentry = mounted->mnt.mnt_root;
1339
		inode = nd->path.dentry->d_inode;
1340 1341
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
	}
1342
	nd->inode = inode;
N
Nick Piggin 已提交
1343 1344 1345
	return 0;
}

1346 1347 1348 1349 1350
/*
 * 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.
 */
1351
int follow_down(struct path *path)
1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370
{
	unsigned managed;
	int ret;

	while (managed = ACCESS_ONCE(path->dentry->d_flags),
	       unlikely(managed & DCACHE_MANAGED_DENTRY)) {
		/* Allow the filesystem to manage the transit without i_mutex
		 * being held.
		 *
		 * We indicate to the filesystem if someone is trying to mount
		 * something here.  This gives autofs the chance to deny anyone
		 * other than its daemon the right to mount on its
		 * superstructure.
		 *
		 * The filesystem may sleep at this point.
		 */
		if (managed & DCACHE_MANAGE_TRANSIT) {
			BUG_ON(!path->dentry->d_op);
			BUG_ON(!path->dentry->d_op->d_manage);
1371
			ret = path->dentry->d_op->d_manage(
1372
				path->dentry, false);
1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393
			if (ret < 0)
				return ret == -EISDIR ? 0 : ret;
		}

		/* Transit to a mounted filesystem. */
		if (managed & DCACHE_MOUNTED) {
			struct vfsmount *mounted = lookup_mnt(path);
			if (!mounted)
				break;
			dput(path->dentry);
			mntput(path->mnt);
			path->mnt = mounted;
			path->dentry = dget(mounted->mnt_root);
			continue;
		}

		/* Don't handle automount points here */
		break;
	}
	return 0;
}
1394
EXPORT_SYMBOL(follow_down);
1395

1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411
/*
 * 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);
	}
}

1412
static int follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1413 1414
{
	while(1) {
1415
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
1416

A
Al Viro 已提交
1417 1418
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
L
Linus Torvalds 已提交
1419 1420
			break;
		}
1421
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
A
Al Viro 已提交
1422 1423
			/* rare case of legitimate dget_parent()... */
			nd->path.dentry = dget_parent(nd->path.dentry);
L
Linus Torvalds 已提交
1424
			dput(old);
1425 1426
			if (unlikely(!path_connected(&nd->path)))
				return -ENOENT;
L
Linus Torvalds 已提交
1427 1428
			break;
		}
A
Al Viro 已提交
1429
		if (!follow_up(&nd->path))
L
Linus Torvalds 已提交
1430 1431
			break;
	}
A
Al Viro 已提交
1432
	follow_mount(&nd->path);
N
Nick Piggin 已提交
1433
	nd->inode = nd->path.dentry->d_inode;
1434
	return 0;
L
Linus Torvalds 已提交
1435 1436
}

1437
/*
M
Miklos Szeredi 已提交
1438 1439 1440 1441 1442
 * This looks up the name in dcache, possibly revalidates the old dentry and
 * allocates a new one if not found or not valid.  In the need_lookup argument
 * returns whether i_op->lookup is necessary.
 *
 * dir->d_inode->i_mutex must be held
1443
 */
M
Miklos Szeredi 已提交
1444
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
1445
				    unsigned int flags, bool *need_lookup)
1446 1447
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1448
	int error;
1449

M
Miklos Szeredi 已提交
1450 1451 1452
	*need_lookup = false;
	dentry = d_lookup(dir, name);
	if (dentry) {
J
Jeff Layton 已提交
1453
		if (dentry->d_flags & DCACHE_OP_REVALIDATE) {
1454
			error = d_revalidate(dentry, flags);
M
Miklos Szeredi 已提交
1455 1456 1457 1458
			if (unlikely(error <= 0)) {
				if (error < 0) {
					dput(dentry);
					return ERR_PTR(error);
1459 1460
				} else {
					d_invalidate(dentry);
M
Miklos Szeredi 已提交
1461 1462 1463 1464 1465 1466
					dput(dentry);
					dentry = NULL;
				}
			}
		}
	}
1467

M
Miklos Szeredi 已提交
1468 1469 1470 1471
	if (!dentry) {
		dentry = d_alloc(dir, name);
		if (unlikely(!dentry))
			return ERR_PTR(-ENOMEM);
1472

M
Miklos Szeredi 已提交
1473
		*need_lookup = true;
1474 1475 1476 1477
	}
	return dentry;
}

1478
/*
1479 1480
 * Call i_op->lookup on the dentry.  The dentry must be negative and
 * unhashed.
M
Miklos Szeredi 已提交
1481 1482
 *
 * dir->d_inode->i_mutex must be held
1483
 */
M
Miklos Szeredi 已提交
1484
static struct dentry *lookup_real(struct inode *dir, struct dentry *dentry,
1485
				  unsigned int flags)
1486 1487 1488 1489
{
	struct dentry *old;

	/* Don't create child dentry for a dead directory. */
M
Miklos Szeredi 已提交
1490
	if (unlikely(IS_DEADDIR(dir))) {
1491
		dput(dentry);
1492
		return ERR_PTR(-ENOENT);
1493
	}
1494

1495
	old = dir->i_op->lookup(dir, dentry, flags);
1496 1497 1498 1499 1500 1501 1502
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
}

1503
static struct dentry *__lookup_hash(struct qstr *name,
1504
		struct dentry *base, unsigned int flags)
1505
{
M
Miklos Szeredi 已提交
1506
	bool need_lookup;
1507 1508
	struct dentry *dentry;

1509
	dentry = lookup_dcache(name, base, flags, &need_lookup);
M
Miklos Szeredi 已提交
1510 1511
	if (!need_lookup)
		return dentry;
1512

1513
	return lookup_real(base->d_inode, dentry, flags);
1514 1515
}

L
Linus Torvalds 已提交
1516 1517 1518 1519 1520
/*
 *  It's more convoluted than I'd like it to be, but... it's still fairly
 *  small and for now I'd prefer to have fast path as straight as possible.
 *  It _is_ time-critical.
 */
A
Al Viro 已提交
1521
static int lookup_fast(struct nameidata *nd,
1522 1523
		       struct path *path, struct inode **inode,
		       unsigned *seqp)
L
Linus Torvalds 已提交
1524
{
1525
	struct vfsmount *mnt = nd->path.mnt;
N
Nick Piggin 已提交
1526
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1527 1528
	int need_reval = 1;
	int status = 1;
1529 1530
	int err;

1531 1532 1533 1534 1535
	/*
	 * Rename seqlock is not required here because in the off chance
	 * of a false negative due to a concurrent rename, we're going to
	 * do the non-racy lookup, below.
	 */
N
Nick Piggin 已提交
1536 1537
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1538
		bool negative;
1539
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1540 1541 1542
		if (!dentry)
			goto unlazy;

1543 1544 1545 1546
		/*
		 * This sequence count validates that the inode matches
		 * the dentry name information from lookup.
		 */
1547
		*inode = d_backing_inode(dentry);
1548
		negative = d_is_negative(dentry);
1549 1550 1551 1552 1553 1554 1555 1556 1557 1558
		if (read_seqcount_retry(&dentry->d_seq, seq))
			return -ECHILD;

		/*
		 * 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.
		 */
N
Nick Piggin 已提交
1559 1560
		if (__read_seqcount_retry(&parent->d_seq, nd->seq))
			return -ECHILD;
A
Al Viro 已提交
1561

1562
		*seqp = seq;
1563
		if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE)) {
1564
			status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1565 1566 1567 1568 1569
			if (unlikely(status <= 0)) {
				if (status != -ECHILD)
					need_reval = 0;
				goto unlazy;
			}
1570
		}
1571 1572 1573 1574 1575 1576
		/*
		 * Note: do negative dentry check after revalidation in
		 * case that drops it.
		 */
		if (negative)
			return -ENOENT;
N
Nick Piggin 已提交
1577 1578
		path->mnt = mnt;
		path->dentry = dentry;
1579
		if (likely(__follow_mount_rcu(nd, path, inode, seqp)))
1580
			return 0;
A
Al Viro 已提交
1581
unlazy:
1582
		if (unlazy_walk(nd, dentry, seq))
A
Al Viro 已提交
1583
			return -ECHILD;
A
Al Viro 已提交
1584
	} else {
A
Al Viro 已提交
1585
		dentry = __d_lookup(parent, &nd->last);
1586
	}
A
Al Viro 已提交
1587

1588 1589 1590
	if (unlikely(!dentry))
		goto need_lookup;

A
Al Viro 已提交
1591
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE) && need_reval)
1592
		status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1593 1594 1595 1596 1597
	if (unlikely(status <= 0)) {
		if (status < 0) {
			dput(dentry);
			return status;
		}
1598 1599 1600
		d_invalidate(dentry);
		dput(dentry);
		goto need_lookup;
1601
	}
M
Miklos Szeredi 已提交
1602

1603 1604 1605 1606
	if (unlikely(d_is_negative(dentry))) {
		dput(dentry);
		return -ENOENT;
	}
1607 1608
	path->mnt = mnt;
	path->dentry = dentry;
1609
	err = follow_managed(path, nd);
1610
	if (likely(!err))
1611
		*inode = d_backing_inode(path->dentry);
1612
	return err;
1613 1614

need_lookup:
M
Miklos Szeredi 已提交
1615 1616 1617 1618
	return 1;
}

/* Fast lookup failed, do it the slow way */
A
Al Viro 已提交
1619
static int lookup_slow(struct nameidata *nd, struct path *path)
M
Miklos Szeredi 已提交
1620 1621 1622 1623
{
	struct dentry *dentry, *parent;

	parent = nd->path.dentry;
1624 1625 1626
	BUG_ON(nd->inode != parent->d_inode);

	mutex_lock(&parent->d_inode->i_mutex);
A
Al Viro 已提交
1627
	dentry = __lookup_hash(&nd->last, parent, nd->flags);
1628 1629 1630
	mutex_unlock(&parent->d_inode->i_mutex);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
1631 1632
	path->mnt = nd->path.mnt;
	path->dentry = dentry;
1633
	return follow_managed(path, nd);
L
Linus Torvalds 已提交
1634 1635
}

1636 1637 1638
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1639
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1640 1641
		if (err != -ECHILD)
			return err;
1642
		if (unlazy_walk(nd, NULL, 0))
1643 1644
			return -ECHILD;
	}
1645
	return inode_permission(nd->inode, MAY_EXEC);
1646 1647
}

1648 1649 1650
static inline int handle_dots(struct nameidata *nd, int type)
{
	if (type == LAST_DOTDOT) {
1651 1652
		if (!nd->root.mnt)
			set_root(nd);
1653
		if (nd->flags & LOOKUP_RCU) {
1654
			return follow_dotdot_rcu(nd);
1655
		} else
1656
			return follow_dotdot(nd);
1657 1658 1659 1660
	}
	return 0;
}

1661 1662
static int pick_link(struct nameidata *nd, struct path *link,
		     struct inode *inode, unsigned seq)
1663
{
1664
	int error;
A
Al Viro 已提交
1665
	struct saved *last;
1666
	if (unlikely(nd->total_link_count++ >= MAXSYMLINKS)) {
1667 1668 1669
		path_to_nameidata(link, nd);
		return -ELOOP;
	}
A
Al Viro 已提交
1670
	if (!(nd->flags & LOOKUP_RCU)) {
1671 1672
		if (link->mnt == nd->path.mnt)
			mntget(link->mnt);
1673
	}
1674 1675
	error = nd_alloc_stack(nd);
	if (unlikely(error)) {
A
Al Viro 已提交
1676 1677 1678 1679 1680 1681 1682 1683 1684
		if (error == -ECHILD) {
			if (unlikely(unlazy_link(nd, link, seq)))
				return -ECHILD;
			error = nd_alloc_stack(nd);
		}
		if (error) {
			path_put(link);
			return error;
		}
1685 1686
	}

1687
	last = nd->stack + nd->depth++;
A
Al Viro 已提交
1688
	last->link = *link;
1689
	last->cookie = NULL;
1690
	last->inode = inode;
1691
	last->seq = seq;
1692 1693 1694
	return 1;
}

1695 1696 1697 1698 1699 1700
/*
 * 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.
 */
1701
static inline int should_follow_link(struct nameidata *nd, struct path *link,
1702 1703
				     int follow,
				     struct inode *inode, unsigned seq)
1704
{
1705 1706 1707 1708
	if (likely(!d_is_symlink(link->dentry)))
		return 0;
	if (!follow)
		return 0;
1709
	return pick_link(nd, link, inode, seq);
1710 1711
}

1712 1713 1714
enum {WALK_GET = 1, WALK_PUT = 2};

static int walk_component(struct nameidata *nd, int flags)
1715
{
A
Al Viro 已提交
1716
	struct path path;
1717
	struct inode *inode;
1718
	unsigned seq;
1719 1720 1721 1722 1723 1724
	int err;
	/*
	 * "." and ".." are special - ".." especially so because it has
	 * to be able to know about the current root directory and
	 * parent relationships.
	 */
1725 1726 1727 1728 1729 1730
	if (unlikely(nd->last_type != LAST_NORM)) {
		err = handle_dots(nd, nd->last_type);
		if (flags & WALK_PUT)
			put_link(nd);
		return err;
	}
1731
	err = lookup_fast(nd, &path, &inode, &seq);
1732
	if (unlikely(err)) {
M
Miklos Szeredi 已提交
1733
		if (err < 0)
1734
			return err;
M
Miklos Szeredi 已提交
1735

A
Al Viro 已提交
1736
		err = lookup_slow(nd, &path);
M
Miklos Szeredi 已提交
1737
		if (err < 0)
1738
			return err;
M
Miklos Szeredi 已提交
1739

1740
		inode = d_backing_inode(path.dentry);
1741
		seq = 0;	/* we are already out of RCU mode */
1742
		err = -ENOENT;
A
Al Viro 已提交
1743
		if (d_is_negative(path.dentry))
1744
			goto out_path_put;
1745
	}
M
Miklos Szeredi 已提交
1746

1747 1748
	if (flags & WALK_PUT)
		put_link(nd);
1749
	err = should_follow_link(nd, &path, flags & WALK_GET, inode, seq);
1750 1751
	if (unlikely(err))
		return err;
A
Al Viro 已提交
1752
	path_to_nameidata(&path, nd);
1753
	nd->inode = inode;
1754
	nd->seq = seq;
1755
	return 0;
M
Miklos Szeredi 已提交
1756 1757

out_path_put:
A
Al Viro 已提交
1758
	path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
1759
	return err;
1760 1761
}

1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780
/*
 * 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

1781
#include <asm/word-at-a-time.h>
1782

1783
#ifdef CONFIG_64BIT
1784 1785 1786

static inline unsigned int fold_hash(unsigned long hash)
{
1787
	return hash_64(hash, 32);
1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801
}

#else	/* 32-bit case */

#define fold_hash(x) (x)

#endif

unsigned int full_name_hash(const unsigned char *name, unsigned int len)
{
	unsigned long a, mask;
	unsigned long hash = 0;

	for (;;) {
1802
		a = load_unaligned_zeropad(name);
1803 1804 1805
		if (len < sizeof(unsigned long))
			break;
		hash += a;
1806
		hash *= 9;
1807 1808 1809 1810 1811
		name += sizeof(unsigned long);
		len -= sizeof(unsigned long);
		if (!len)
			goto done;
	}
1812
	mask = bytemask_from_count(len);
1813 1814 1815 1816 1817 1818 1819 1820
	hash += mask & a;
done:
	return fold_hash(hash);
}
EXPORT_SYMBOL(full_name_hash);

/*
 * Calculate the length and hash of the path component, and
1821
 * return the "hash_len" as the result.
1822
 */
1823
static inline u64 hash_name(const char *name)
1824
{
1825 1826
	unsigned long a, b, adata, bdata, mask, hash, len;
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;
1827 1828 1829 1830 1831 1832

	hash = a = 0;
	len = -sizeof(unsigned long);
	do {
		hash = (hash + a) * 9;
		len += sizeof(unsigned long);
1833
		a = load_unaligned_zeropad(name+len);
1834 1835 1836 1837 1838 1839 1840 1841 1842
		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);

	hash += a & zero_bytemask(mask);
1843
	len += find_zero(mask);
1844
	return hashlen_create(fold_hash(hash), len);
1845 1846 1847 1848
}

#else

L
Linus Torvalds 已提交
1849 1850 1851 1852 1853 1854 1855
unsigned int full_name_hash(const unsigned char *name, unsigned int len)
{
	unsigned long hash = init_name_hash();
	while (len--)
		hash = partial_name_hash(*name++, hash);
	return end_name_hash(hash);
}
1856
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1857

1858 1859 1860 1861
/*
 * We know there's a real path component here of at least
 * one character.
 */
1862
static inline u64 hash_name(const char *name)
1863 1864 1865 1866 1867 1868 1869 1870 1871 1872
{
	unsigned long hash = init_name_hash();
	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 != '/');
1873
	return hashlen_create(end_name_hash(hash), len);
1874 1875
}

1876 1877
#endif

L
Linus Torvalds 已提交
1878 1879
/*
 * Name resolution.
1880 1881
 * 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 已提交
1882
 *
1883 1884
 * 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 已提交
1885
 */
1886
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1887 1888
{
	int err;
A
Al Viro 已提交
1889

L
Linus Torvalds 已提交
1890 1891 1892
	while (*name=='/')
		name++;
	if (!*name)
1893
		return 0;
L
Linus Torvalds 已提交
1894 1895 1896

	/* At this point we know we have a real path component. */
	for(;;) {
1897
		u64 hash_len;
A
Al Viro 已提交
1898
		int type;
L
Linus Torvalds 已提交
1899

1900
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1901
 		if (err)
1902
			return err;
L
Linus Torvalds 已提交
1903

1904
		hash_len = hash_name(name);
L
Linus Torvalds 已提交
1905

A
Al Viro 已提交
1906
		type = LAST_NORM;
1907
		if (name[0] == '.') switch (hashlen_len(hash_len)) {
A
Al Viro 已提交
1908
			case 2:
1909
				if (name[1] == '.') {
A
Al Viro 已提交
1910
					type = LAST_DOTDOT;
A
Al Viro 已提交
1911 1912
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
1913 1914 1915 1916
				break;
			case 1:
				type = LAST_DOT;
		}
1917 1918
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
1919
			nd->flags &= ~LOOKUP_JUMPED;
1920
			if (unlikely(parent->d_flags & DCACHE_OP_HASH)) {
1921
				struct qstr this = { { .hash_len = hash_len }, .name = name };
1922
				err = parent->d_op->d_hash(parent, &this);
1923
				if (err < 0)
1924
					return err;
1925 1926
				hash_len = this.hash_len;
				name = this.name;
1927 1928
			}
		}
A
Al Viro 已提交
1929

1930 1931
		nd->last.hash_len = hash_len;
		nd->last.name = name;
1932 1933
		nd->last_type = type;

1934 1935
		name += hashlen_len(hash_len);
		if (!*name)
1936
			goto OK;
1937 1938 1939 1940 1941
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
1942 1943
			name++;
		} while (unlikely(*name == '/'));
1944 1945
		if (unlikely(!*name)) {
OK:
1946
			/* pathname body, done */
1947 1948 1949
			if (!nd->depth)
				return 0;
			name = nd->stack[nd->depth - 1].name;
1950
			/* trailing symlink, done */
1951 1952 1953
			if (!name)
				return 0;
			/* last component of nested symlink */
1954
			err = walk_component(nd, WALK_GET | WALK_PUT);
1955
		} else {
1956
			err = walk_component(nd, WALK_GET);
1957
		}
1958
		if (err < 0)
1959
			return err;
L
Linus Torvalds 已提交
1960

1961
		if (err) {
1962
			const char *s = get_link(nd);
1963

1964
			if (IS_ERR(s))
1965
				return PTR_ERR(s);
1966 1967 1968
			err = 0;
			if (unlikely(!s)) {
				/* jumped */
1969
				put_link(nd);
1970
			} else {
1971 1972 1973
				nd->stack[nd->depth - 1].name = name;
				name = s;
				continue;
1974
			}
N
Nick Piggin 已提交
1975
		}
1976 1977 1978 1979 1980
		if (unlikely(!d_can_lookup(nd->path.dentry))) {
			if (nd->flags & LOOKUP_RCU) {
				if (unlazy_walk(nd, NULL, 0))
					return -ECHILD;
			}
1981
			return -ENOTDIR;
1982
		}
L
Linus Torvalds 已提交
1983 1984 1985
	}
}

1986
static const char *path_init(struct nameidata *nd, unsigned flags)
N
Nick Piggin 已提交
1987 1988
{
	int retval = 0;
1989
	const char *s = nd->name->name;
N
Nick Piggin 已提交
1990 1991

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
1992
	nd->flags = flags | LOOKUP_JUMPED | LOOKUP_PARENT;
N
Nick Piggin 已提交
1993
	nd->depth = 0;
1994
	if (flags & LOOKUP_ROOT) {
1995 1996
		struct dentry *root = nd->root.dentry;
		struct inode *inode = root->d_inode;
A
Al Viro 已提交
1997
		if (*s) {
M
Miklos Szeredi 已提交
1998
			if (!d_can_lookup(root))
1999
				return ERR_PTR(-ENOTDIR);
A
Al Viro 已提交
2000 2001
			retval = inode_permission(inode, MAY_EXEC);
			if (retval)
2002
				return ERR_PTR(retval);
A
Al Viro 已提交
2003
		}
2004 2005 2006
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
2007
			rcu_read_lock();
2008
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
2009
			nd->root_seq = nd->seq;
A
Al Viro 已提交
2010
			nd->m_seq = read_seqbegin(&mount_lock);
2011 2012 2013
		} else {
			path_get(&nd->path);
		}
2014
		return s;
2015 2016
	}

N
Nick Piggin 已提交
2017 2018
	nd->root.mnt = NULL;

A
Al Viro 已提交
2019
	nd->m_seq = read_seqbegin(&mount_lock);
A
Al Viro 已提交
2020
	if (*s == '/') {
2021
		if (flags & LOOKUP_RCU)
A
Al Viro 已提交
2022
			rcu_read_lock();
2023 2024
		set_root(nd);
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
2025
			nd->seq = nd->root_seq;
2026
			nd->path = nd->root;
A
Al Viro 已提交
2027 2028
		} else {
			path_get(&nd->root);
2029
			nd->path = nd->root;
A
Al Viro 已提交
2030
		}
2031
	} else if (nd->dfd == AT_FDCWD) {
A
Al Viro 已提交
2032 2033 2034
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
2035

A
Al Viro 已提交
2036
			rcu_read_lock();
N
Nick Piggin 已提交
2037

A
Al Viro 已提交
2038 2039 2040 2041 2042 2043 2044 2045
			do {
				seq = read_seqcount_begin(&fs->seq);
				nd->path = fs->pwd;
				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);
		}
N
Nick Piggin 已提交
2046
	} else {
2047
		/* Caller must check execute permissions on the starting path component */
2048
		struct fd f = fdget_raw(nd->dfd);
N
Nick Piggin 已提交
2049 2050
		struct dentry *dentry;

2051
		if (!f.file)
2052
			return ERR_PTR(-EBADF);
N
Nick Piggin 已提交
2053

2054
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
2055

A
Al Viro 已提交
2056
		if (*s) {
M
Miklos Szeredi 已提交
2057
			if (!d_can_lookup(dentry)) {
2058
				fdput(f);
2059
				return ERR_PTR(-ENOTDIR);
2060
			}
A
Al Viro 已提交
2061
		}
N
Nick Piggin 已提交
2062

2063
		nd->path = f.file->f_path;
A
Al Viro 已提交
2064
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
2065
			rcu_read_lock();
A
Al Viro 已提交
2066 2067
			nd->inode = nd->path.dentry->d_inode;
			nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
2068
		} else {
2069
			path_get(&nd->path);
A
Al Viro 已提交
2070
			nd->inode = nd->path.dentry->d_inode;
A
Al Viro 已提交
2071
		}
A
Al Viro 已提交
2072
		fdput(f);
2073
		return s;
N
Nick Piggin 已提交
2074 2075 2076
	}

	nd->inode = nd->path.dentry->d_inode;
2077
	if (!(flags & LOOKUP_RCU))
2078
		return s;
2079
	if (likely(!read_seqcount_retry(&nd->path.dentry->d_seq, nd->seq)))
2080
		return s;
2081 2082 2083
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
	rcu_read_unlock();
2084
	return ERR_PTR(-ECHILD);
2085 2086
}

2087
static const char *trailing_symlink(struct nameidata *nd)
2088 2089
{
	const char *s;
A
Al Viro 已提交
2090
	int error = may_follow_link(nd);
2091
	if (unlikely(error))
2092
		return ERR_PTR(error);
2093
	nd->flags |= LOOKUP_PARENT;
2094
	nd->stack[0].name = NULL;
2095
	s = get_link(nd);
2096
	return s ? s : "";
2097 2098
}

A
Al Viro 已提交
2099
static inline int lookup_last(struct nameidata *nd)
2100 2101 2102 2103 2104
{
	if (nd->last_type == LAST_NORM && nd->last.name[nd->last.len])
		nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;

	nd->flags &= ~LOOKUP_PARENT;
2105
	return walk_component(nd,
2106 2107 2108 2109 2110
			nd->flags & LOOKUP_FOLLOW
				? nd->depth
					? WALK_PUT | WALK_GET
					: WALK_GET
				: 0);
2111 2112
}

2113
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2114
static int path_lookupat(struct nameidata *nd, unsigned flags, struct path *path)
2115
{
2116
	const char *s = path_init(nd, flags);
2117
	int err;
N
Nick Piggin 已提交
2118

2119 2120
	if (IS_ERR(s))
		return PTR_ERR(s);
2121 2122 2123 2124 2125 2126
	while (!(err = link_path_walk(s, nd))
		&& ((err = lookup_last(nd)) > 0)) {
		s = trailing_symlink(nd);
		if (IS_ERR(s)) {
			err = PTR_ERR(s);
			break;
2127 2128
		}
	}
2129 2130
	if (!err)
		err = complete_walk(nd);
2131

2132 2133
	if (!err && nd->flags & LOOKUP_DIRECTORY)
		if (!d_can_lookup(nd->path.dentry))
A
Al Viro 已提交
2134
			err = -ENOTDIR;
2135 2136 2137 2138 2139 2140
	if (!err) {
		*path = nd->path;
		nd->path.mnt = NULL;
		nd->path.dentry = NULL;
	}
	terminate_walk(nd);
2141
	return err;
A
Al Viro 已提交
2142
}
N
Nick Piggin 已提交
2143

2144
static int filename_lookup(int dfd, struct filename *name, unsigned flags,
2145
			   struct path *path, struct path *root)
A
Al Viro 已提交
2146
{
2147
	int retval;
2148
	struct nameidata nd;
2149 2150
	if (IS_ERR(name))
		return PTR_ERR(name);
2151 2152 2153 2154
	if (unlikely(root)) {
		nd.root = *root;
		flags |= LOOKUP_ROOT;
	}
2155
	set_nameidata(&nd, dfd, name);
2156
	retval = path_lookupat(&nd, flags | LOOKUP_RCU, path);
A
Al Viro 已提交
2157
	if (unlikely(retval == -ECHILD))
2158
		retval = path_lookupat(&nd, flags, path);
A
Al Viro 已提交
2159
	if (unlikely(retval == -ESTALE))
2160
		retval = path_lookupat(&nd, flags | LOOKUP_REVAL, path);
N
Nick Piggin 已提交
2161

2162
	if (likely(!retval))
2163
		audit_inode(name, path->dentry, flags & LOOKUP_PARENT);
2164
	restore_nameidata();
2165
	putname(name);
2166
	return retval;
L
Linus Torvalds 已提交
2167 2168
}

2169
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2170
static int path_parentat(struct nameidata *nd, unsigned flags,
2171
				struct path *parent)
2172
{
2173
	const char *s = path_init(nd, flags);
2174 2175 2176 2177
	int err;
	if (IS_ERR(s))
		return PTR_ERR(s);
	err = link_path_walk(s, nd);
2178 2179
	if (!err)
		err = complete_walk(nd);
2180 2181 2182 2183 2184 2185
	if (!err) {
		*parent = nd->path;
		nd->path.mnt = NULL;
		nd->path.dentry = NULL;
	}
	terminate_walk(nd);
2186 2187 2188
	return err;
}

2189
static struct filename *filename_parentat(int dfd, struct filename *name,
2190 2191
				unsigned int flags, struct path *parent,
				struct qstr *last, int *type)
2192 2193
{
	int retval;
2194
	struct nameidata nd;
2195

2196 2197
	if (IS_ERR(name))
		return name;
2198
	set_nameidata(&nd, dfd, name);
2199
	retval = path_parentat(&nd, flags | LOOKUP_RCU, parent);
2200
	if (unlikely(retval == -ECHILD))
2201
		retval = path_parentat(&nd, flags, parent);
2202
	if (unlikely(retval == -ESTALE))
2203
		retval = path_parentat(&nd, flags | LOOKUP_REVAL, parent);
2204 2205 2206 2207
	if (likely(!retval)) {
		*last = nd.last;
		*type = nd.last_type;
		audit_inode(name, parent->dentry, LOOKUP_PARENT);
2208 2209 2210
	} else {
		putname(name);
		name = ERR_PTR(retval);
2211
	}
2212
	restore_nameidata();
2213
	return name;
2214 2215
}

A
Al Viro 已提交
2216 2217
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2218
{
2219 2220
	struct filename *filename;
	struct dentry *d;
2221 2222
	struct qstr last;
	int type;
2223

2224 2225
	filename = filename_parentat(AT_FDCWD, getname_kernel(name), 0, path,
				    &last, &type);
2226 2227
	if (IS_ERR(filename))
		return ERR_CAST(filename);
2228
	if (unlikely(type != LAST_NORM)) {
2229
		path_put(path);
2230 2231
		putname(filename);
		return ERR_PTR(-EINVAL);
A
Al Viro 已提交
2232
	}
2233 2234
	mutex_lock_nested(&path->dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	d = __lookup_hash(&last, path->dentry, 0);
A
Al Viro 已提交
2235
	if (IS_ERR(d)) {
2236 2237
		mutex_unlock(&path->dentry->d_inode->i_mutex);
		path_put(path);
A
Al Viro 已提交
2238
	}
2239
	putname(filename);
A
Al Viro 已提交
2240
	return d;
2241 2242
}

A
Al Viro 已提交
2243 2244
int kern_path(const char *name, unsigned int flags, struct path *path)
{
2245 2246
	return filename_lookup(AT_FDCWD, getname_kernel(name),
			       flags, path, NULL);
A
Al Viro 已提交
2247
}
2248
EXPORT_SYMBOL(kern_path);
A
Al Viro 已提交
2249

2250 2251 2252 2253 2254 2255
/**
 * 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
2256
 * @path: pointer to struct path to fill
2257 2258 2259
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2260
		    struct path *path)
2261
{
2262 2263
	struct path root = {.mnt = mnt, .dentry = dentry};
	/* the first argument of filename_lookup() is ignored with root */
2264 2265
	return filename_lookup(AT_FDCWD, getname_kernel(name),
			       flags , path, &root);
2266
}
2267
EXPORT_SYMBOL(vfs_path_lookup);
2268

2269
/**
2270
 * lookup_one_len - filesystem helper to lookup single pathname component
2271 2272 2273 2274
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
2275
 * Note that this routine is purely a helper for filesystem usage and should
2276
 * not be called by generic code.
2277
 */
2278 2279 2280
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
2281
	unsigned int c;
2282
	int err;
2283

2284 2285
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2286 2287
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2288
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2289 2290 2291
	if (!len)
		return ERR_PTR(-EACCES);

A
Al Viro 已提交
2292 2293 2294 2295 2296
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
			return ERR_PTR(-EACCES);
	}

A
Al Viro 已提交
2297 2298 2299 2300 2301
	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2302 2303 2304 2305 2306
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2307
		int err = base->d_op->d_hash(base, &this);
2308 2309 2310
		if (err < 0)
			return ERR_PTR(err);
	}
2311

2312 2313 2314 2315
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

2316
	return __lookup_hash(&this, base, 0);
2317
}
2318
EXPORT_SYMBOL(lookup_one_len);
2319

2320 2321
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2322
{
2323 2324
	return filename_lookup(dfd, getname_flags(name, flags, empty),
			       flags, path, NULL);
L
Linus Torvalds 已提交
2325
}
2326
EXPORT_SYMBOL(user_path_at_empty);
2327

2328 2329 2330 2331 2332 2333
/*
 * NB: most callers don't do anything directly with the reference to the
 *     to struct filename, but the nd->last pointer points into the name string
 *     allocated by getname. So we must hold the reference to it until all
 *     path-walking is complete.
 */
A
Al Viro 已提交
2334
static inline struct filename *
2335 2336 2337 2338
user_path_parent(int dfd, const char __user *path,
		 struct path *parent,
		 struct qstr *last,
		 int *type,
2339
		 unsigned int flags)
2340
{
2341
	/* only LOOKUP_REVAL is allowed in extra flags */
2342 2343
	return filename_parentat(dfd, getname(path), flags & LOOKUP_REVAL,
				 parent, last, type);
2344 2345
}

2346
/**
2347
 * mountpoint_last - look up last component for umount
2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373
 * @nd:   pathwalk nameidata - currently pointing at parent directory of "last"
 * @path: pointer to container for result
 *
 * This is a special lookup_last function just for umount. In this case, we
 * need to resolve the path without doing any revalidation.
 *
 * The nameidata should be the result of doing a LOOKUP_PARENT pathwalk. Since
 * mountpoints are always pinned in the dcache, their ancestors are too. Thus,
 * in almost all cases, this lookup will be served out of the dcache. The only
 * cases where it won't are if nd->last refers to a symlink or the path is
 * bogus and it doesn't exist.
 *
 * Returns:
 * -error: if there was an error during lookup. This includes -ENOENT if the
 *         lookup found a negative dentry. The nd->path reference will also be
 *         put in this case.
 *
 * 0:      if we successfully resolved nd->path and found it to not to be a
 *         symlink that needs to be followed. "path" will also be populated.
 *         The nd->path reference will also be put.
 *
 * 1:      if we successfully resolved nd->last and found it to be a symlink
 *         that needs to be followed. "path" will be populated with the path
 *         to the link, and nd->path will *not* be put.
 */
static int
2374
mountpoint_last(struct nameidata *nd, struct path *path)
2375 2376 2377 2378 2379
{
	int error = 0;
	struct dentry *dentry;
	struct dentry *dir = nd->path.dentry;

2380 2381
	/* If we're in rcuwalk, drop out of it to handle last component */
	if (nd->flags & LOOKUP_RCU) {
2382
		if (unlazy_walk(nd, NULL, 0))
2383
			return -ECHILD;
2384 2385 2386 2387 2388 2389
	}

	nd->flags &= ~LOOKUP_PARENT;

	if (unlikely(nd->last_type != LAST_NORM)) {
		error = handle_dots(nd, nd->last_type);
2390
		if (error)
2391
			return error;
2392 2393
		dentry = dget(nd->path.dentry);
		goto done;
2394 2395 2396 2397 2398 2399 2400 2401 2402 2403 2404 2405
	}

	mutex_lock(&dir->d_inode->i_mutex);
	dentry = d_lookup(dir, &nd->last);
	if (!dentry) {
		/*
		 * No cached dentry. Mounted dentries are pinned in the cache,
		 * so that means that this dentry is probably a symlink or the
		 * path doesn't actually point to a mounted dentry.
		 */
		dentry = d_alloc(dir, &nd->last);
		if (!dentry) {
2406
			mutex_unlock(&dir->d_inode->i_mutex);
2407
			return -ENOMEM;
2408
		}
2409
		dentry = lookup_real(dir->d_inode, dentry, nd->flags);
2410 2411
		if (IS_ERR(dentry)) {
			mutex_unlock(&dir->d_inode->i_mutex);
2412
			return PTR_ERR(dentry);
2413
		}
2414 2415 2416
	}
	mutex_unlock(&dir->d_inode->i_mutex);

2417
done:
2418
	if (d_is_negative(dentry)) {
2419
		dput(dentry);
2420
		return -ENOENT;
2421
	}
2422 2423
	if (nd->depth)
		put_link(nd);
2424
	path->dentry = dentry;
2425
	path->mnt = nd->path.mnt;
2426 2427
	error = should_follow_link(nd, path, nd->flags & LOOKUP_FOLLOW,
				   d_backing_inode(dentry), 0);
2428
	if (unlikely(error))
2429
		return error;
2430
	mntget(path->mnt);
2431
	follow_mount(path);
2432
	return 0;
2433 2434 2435
}

/**
2436
 * path_mountpoint - look up a path to be umounted
2437
 * @nd:		lookup context
2438
 * @flags:	lookup flags
2439
 * @path:	pointer to container for result
2440 2441
 *
 * Look up the given name, but don't attempt to revalidate the last component.
2442
 * Returns 0 and "path" will be valid on success; Returns error otherwise.
2443 2444
 */
static int
2445
path_mountpoint(struct nameidata *nd, unsigned flags, struct path *path)
2446
{
2447
	const char *s = path_init(nd, flags);
2448 2449 2450
	int err;
	if (IS_ERR(s))
		return PTR_ERR(s);
2451 2452 2453 2454 2455
	while (!(err = link_path_walk(s, nd)) &&
		(err = mountpoint_last(nd, path)) > 0) {
		s = trailing_symlink(nd);
		if (IS_ERR(s)) {
			err = PTR_ERR(s);
2456
			break;
2457
		}
2458
	}
2459
	terminate_walk(nd);
2460 2461 2462
	return err;
}

A
Al Viro 已提交
2463
static int
2464
filename_mountpoint(int dfd, struct filename *name, struct path *path,
A
Al Viro 已提交
2465 2466
			unsigned int flags)
{
2467
	struct nameidata nd;
2468
	int error;
2469 2470
	if (IS_ERR(name))
		return PTR_ERR(name);
2471
	set_nameidata(&nd, dfd, name);
2472
	error = path_mountpoint(&nd, flags | LOOKUP_RCU, path);
A
Al Viro 已提交
2473
	if (unlikely(error == -ECHILD))
2474
		error = path_mountpoint(&nd, flags, path);
A
Al Viro 已提交
2475
	if (unlikely(error == -ESTALE))
2476
		error = path_mountpoint(&nd, flags | LOOKUP_REVAL, path);
A
Al Viro 已提交
2477
	if (likely(!error))
2478
		audit_inode(name, path->dentry, 0);
2479
	restore_nameidata();
2480
	putname(name);
A
Al Viro 已提交
2481 2482 2483
	return error;
}

2484
/**
2485
 * user_path_mountpoint_at - lookup a path from userland in order to umount it
2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498
 * @dfd:	directory file descriptor
 * @name:	pathname from userland
 * @flags:	lookup flags
 * @path:	pointer to container to hold result
 *
 * A umount is a special case for path walking. We're not actually interested
 * in the inode in this situation, and ESTALE errors can be a problem. We
 * simply want track down the dentry and vfsmount attached at the mountpoint
 * and avoid revalidating the last component.
 *
 * Returns 0 and populates "path" on success.
 */
int
2499
user_path_mountpoint_at(int dfd, const char __user *name, unsigned int flags,
2500 2501
			struct path *path)
{
2502
	return filename_mountpoint(dfd, getname(name), path, flags);
2503 2504
}

A
Al Viro 已提交
2505 2506 2507 2508
int
kern_path_mountpoint(int dfd, const char *name, struct path *path,
			unsigned int flags)
{
2509
	return filename_mountpoint(dfd, getname_kernel(name), path, flags);
A
Al Viro 已提交
2510 2511 2512
}
EXPORT_SYMBOL(kern_path_mountpoint);

M
Miklos Szeredi 已提交
2513
int __check_sticky(struct inode *dir, struct inode *inode)
L
Linus Torvalds 已提交
2514
{
2515
	kuid_t fsuid = current_fsuid();
2516

2517
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2518
		return 0;
2519
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2520
		return 0;
2521
	return !capable_wrt_inode_uidgid(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2522
}
M
Miklos Szeredi 已提交
2523
EXPORT_SYMBOL(__check_sticky);
L
Linus Torvalds 已提交
2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543

/*
 *	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.
 *  7. If we were asked to remove a directory and victim isn't one - ENOTDIR.
 *  8. If we were asked to remove a non-directory and victim isn't one - EISDIR.
 *  9. We can't remove a root or mountpoint.
 * 10. We don't allow removal of NFS sillyrenamed files; it's handled by
 *     nfs_async_unlink().
 */
2544
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2545
{
2546
	struct inode *inode = d_backing_inode(victim);
L
Linus Torvalds 已提交
2547 2548
	int error;

2549
	if (d_is_negative(victim))
L
Linus Torvalds 已提交
2550
		return -ENOENT;
2551
	BUG_ON(!inode);
L
Linus Torvalds 已提交
2552 2553

	BUG_ON(victim->d_parent->d_inode != dir);
2554
	audit_inode_child(dir, victim, AUDIT_TYPE_CHILD_DELETE);
L
Linus Torvalds 已提交
2555

2556
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2557 2558 2559 2560
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
2561 2562 2563

	if (check_sticky(dir, inode) || IS_APPEND(inode) ||
	    IS_IMMUTABLE(inode) || IS_SWAPFILE(inode))
L
Linus Torvalds 已提交
2564 2565
		return -EPERM;
	if (isdir) {
M
Miklos Szeredi 已提交
2566
		if (!d_is_dir(victim))
L
Linus Torvalds 已提交
2567 2568 2569
			return -ENOTDIR;
		if (IS_ROOT(victim))
			return -EBUSY;
M
Miklos Szeredi 已提交
2570
	} else if (d_is_dir(victim))
L
Linus Torvalds 已提交
2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586
		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())
 *  3. We should have write and exec permissions on dir
 *  4. We can't do it if dir is immutable (done in permission())
 */
2587
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2588
{
2589
	audit_inode_child(dir, child, AUDIT_TYPE_CHILD_CREATE);
L
Linus Torvalds 已提交
2590 2591 2592 2593
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2594
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2595 2596 2597 2598 2599 2600 2601 2602 2603 2604
}

/*
 * 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) {
I
Ingo Molnar 已提交
2605
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2606 2607 2608
		return NULL;
	}

2609
	mutex_lock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2610

2611 2612 2613 2614 2615
	p = d_ancestor(p2, p1);
	if (p) {
		mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_PARENT);
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_CHILD);
		return p;
L
Linus Torvalds 已提交
2616 2617
	}

2618 2619 2620 2621 2622
	p = d_ancestor(p1, p2);
	if (p) {
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
		mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_CHILD);
		return p;
L
Linus Torvalds 已提交
2623 2624
	}

I
Ingo Molnar 已提交
2625
	mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
2626
	mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_PARENT2);
L
Linus Torvalds 已提交
2627 2628
	return NULL;
}
2629
EXPORT_SYMBOL(lock_rename);
L
Linus Torvalds 已提交
2630 2631 2632

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2633
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2634
	if (p1 != p2) {
2635
		mutex_unlock(&p2->d_inode->i_mutex);
2636
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2637 2638
	}
}
2639
EXPORT_SYMBOL(unlock_rename);
L
Linus Torvalds 已提交
2640

A
Al Viro 已提交
2641
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2642
		bool want_excl)
L
Linus Torvalds 已提交
2643
{
2644
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2645 2646 2647
	if (error)
		return error;

A
Al Viro 已提交
2648
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2649 2650 2651 2652 2653 2654
		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 已提交
2655
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2656
	if (!error)
2657
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2658 2659
	return error;
}
2660
EXPORT_SYMBOL(vfs_create);
L
Linus Torvalds 已提交
2661

A
Al Viro 已提交
2662
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2663
{
2664
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2665 2666 2667
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2668 2669 2670 2671
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2672 2673 2674
	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2675 2676
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2677
		return -ELOOP;
C
Christoph Hellwig 已提交
2678 2679 2680 2681 2682 2683
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2684
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
2685
			return -EACCES;
C
Christoph Hellwig 已提交
2686 2687 2688
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2689
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2690
		break;
2691
	}
2692

2693
	error = inode_permission(inode, acc_mode);
2694 2695
	if (error)
		return error;
M
Mimi Zohar 已提交
2696

L
Linus Torvalds 已提交
2697 2698 2699 2700
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2701
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2702
			return -EPERM;
L
Linus Torvalds 已提交
2703
		if (flag & O_TRUNC)
2704
			return -EPERM;
L
Linus Torvalds 已提交
2705 2706 2707
	}

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

2711
	return 0;
2712
}
L
Linus Torvalds 已提交
2713

2714
static int handle_truncate(struct file *filp)
2715
{
2716
	struct path *path = &filp->f_path;
2717 2718 2719 2720 2721 2722 2723
	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.
	 */
2724
	error = locks_verify_locked(filp);
2725
	if (!error)
2726
		error = security_path_truncate(path);
2727 2728 2729
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2730
				    filp);
2731 2732
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2733
	return error;
L
Linus Torvalds 已提交
2734 2735
}

2736 2737
static inline int open_to_namei_flags(int flag)
{
2738 2739
	if ((flag & O_ACCMODE) == 3)
		flag--;
2740 2741 2742
	return flag;
}

M
Miklos Szeredi 已提交
2743 2744 2745 2746 2747 2748 2749 2750 2751 2752 2753 2754 2755
static int may_o_create(struct path *dir, struct dentry *dentry, umode_t mode)
{
	int error = security_path_mknod(dir, dentry, mode, 0);
	if (error)
		return error;

	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);
}

2756 2757 2758 2759 2760 2761 2762 2763 2764 2765 2766 2767 2768
/*
 * 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().
 *
 * Returns 1 if the file was looked up only or didn't need creating.  The
 * caller will need to perform the open themselves.  @path will have been
 * updated to point to the new dentry.  This may be negative.
 *
 * Returns an error code otherwise.
 */
2769 2770 2771
static int atomic_open(struct nameidata *nd, struct dentry *dentry,
			struct path *path, struct file *file,
			const struct open_flags *op,
2772
			bool got_write, bool need_lookup,
2773
			int *opened)
M
Miklos Szeredi 已提交
2774 2775 2776 2777 2778 2779 2780 2781
{
	struct inode *dir =  nd->path.dentry->d_inode;
	unsigned open_flag = open_to_namei_flags(op->open_flag);
	umode_t mode;
	int error;
	int acc_mode;
	int create_error = 0;
	struct dentry *const DENTRY_NOT_SET = (void *) -1UL;
2782
	bool excl;
M
Miklos Szeredi 已提交
2783 2784 2785 2786 2787

	BUG_ON(dentry->d_inode);

	/* Don't create child dentry for a dead directory. */
	if (unlikely(IS_DEADDIR(dir))) {
2788
		error = -ENOENT;
M
Miklos Szeredi 已提交
2789 2790 2791
		goto out;
	}

2792
	mode = op->mode;
M
Miklos Szeredi 已提交
2793 2794 2795
	if ((open_flag & O_CREAT) && !IS_POSIXACL(dir))
		mode &= ~current_umask();

2796 2797
	excl = (open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT);
	if (excl)
M
Miklos Szeredi 已提交
2798 2799 2800 2801 2802 2803 2804 2805 2806 2807 2808
		open_flag &= ~O_TRUNC;

	/*
	 * 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).
	 */
2809 2810 2811
	if (((open_flag & (O_CREAT | O_TRUNC)) ||
	    (open_flag & O_ACCMODE) != O_RDONLY) && unlikely(!got_write)) {
		if (!(open_flag & O_CREAT)) {
M
Miklos Szeredi 已提交
2812 2813 2814 2815 2816 2817 2818
			/*
			 * No O_CREATE -> atomicity not a requirement -> fall
			 * back to lookup + open
			 */
			goto no_open;
		} else if (open_flag & (O_EXCL | O_TRUNC)) {
			/* Fall back and fail with the right error */
2819
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2820 2821 2822
			goto no_open;
		} else {
			/* No side effects, safe to clear O_CREAT */
2823
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2824 2825 2826 2827 2828
			open_flag &= ~O_CREAT;
		}
	}

	if (open_flag & O_CREAT) {
2829
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840
		if (error) {
			create_error = error;
			if (open_flag & O_EXCL)
				goto no_open;
			open_flag &= ~O_CREAT;
		}
	}

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

A
Al Viro 已提交
2841 2842 2843
	file->f_path.dentry = DENTRY_NOT_SET;
	file->f_path.mnt = nd->path.mnt;
	error = dir->i_op->atomic_open(dir, dentry, file, open_flag, mode,
2844
				      opened);
A
Al Viro 已提交
2845 2846 2847
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2848 2849 2850
		goto out;
	}

A
Al Viro 已提交
2851
	if (error) {	/* returned 1, that is */
A
Al Viro 已提交
2852
		if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2853
			error = -EIO;
M
Miklos Szeredi 已提交
2854 2855
			goto out;
		}
A
Al Viro 已提交
2856
		if (file->f_path.dentry) {
M
Miklos Szeredi 已提交
2857
			dput(dentry);
A
Al Viro 已提交
2858
			dentry = file->f_path.dentry;
M
Miklos Szeredi 已提交
2859
		}
2860 2861 2862 2863 2864 2865 2866 2867 2868 2869 2870 2871 2872
		if (*opened & FILE_CREATED)
			fsnotify_create(dir, dentry);
		if (!dentry->d_inode) {
			WARN_ON(*opened & FILE_CREATED);
			if (create_error) {
				error = create_error;
				goto out;
			}
		} else {
			if (excl && !(*opened & FILE_CREATED)) {
				error = -EEXIST;
				goto out;
			}
2873
		}
M
Miklos Szeredi 已提交
2874 2875 2876 2877 2878 2879 2880
		goto looked_up;
	}

	/*
	 * We didn't have the inode before the open, so check open permission
	 * here.
	 */
2881 2882 2883 2884 2885 2886
	acc_mode = op->acc_mode;
	if (*opened & FILE_CREATED) {
		WARN_ON(!(open_flag & O_CREAT));
		fsnotify_create(dir, dentry);
		acc_mode = MAY_OPEN;
	}
2887 2888 2889
	error = may_open(&file->f_path, acc_mode, open_flag);
	if (error)
		fput(file);
M
Miklos Szeredi 已提交
2890 2891 2892

out:
	dput(dentry);
2893
	return error;
M
Miklos Szeredi 已提交
2894 2895 2896

no_open:
	if (need_lookup) {
2897
		dentry = lookup_real(dir, dentry, nd->flags);
M
Miklos Szeredi 已提交
2898
		if (IS_ERR(dentry))
2899
			return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2900 2901 2902 2903

		if (create_error) {
			int open_flag = op->open_flag;

2904
			error = create_error;
M
Miklos Szeredi 已提交
2905 2906 2907 2908 2909 2910
			if ((open_flag & O_EXCL)) {
				if (!dentry->d_inode)
					goto out;
			} else if (!dentry->d_inode) {
				goto out;
			} else if ((open_flag & O_TRUNC) &&
2911
				   d_is_reg(dentry)) {
M
Miklos Szeredi 已提交
2912 2913 2914 2915 2916 2917 2918 2919
				goto out;
			}
			/* will fail later, go on to get the right error */
		}
	}
looked_up:
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2920
	return 1;
M
Miklos Szeredi 已提交
2921 2922
}

M
Miklos Szeredi 已提交
2923
/*
2924
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2925 2926 2927
 *
 * Must be called with i_mutex held on parent.
 *
2928 2929 2930 2931 2932 2933 2934 2935 2936 2937 2938 2939
 * Returns 0 if the file was successfully atomically created (if necessary) and
 * opened.  In this case the file will be returned attached to @file.
 *
 * Returns 1 if the file was not completely opened at this time, though lookups
 * and creations will have been performed and the dentry returned in @path will
 * be positive upon return if O_CREAT was specified.  If O_CREAT wasn't
 * specified then a negative dentry may be returned.
 *
 * An error code is returned otherwise.
 *
 * FILE_CREATE will be set in @*opened if the dentry was created and will be
 * cleared otherwise prior to returning.
M
Miklos Szeredi 已提交
2940
 */
2941 2942 2943
static int lookup_open(struct nameidata *nd, struct path *path,
			struct file *file,
			const struct open_flags *op,
2944
			bool got_write, int *opened)
M
Miklos Szeredi 已提交
2945 2946
{
	struct dentry *dir = nd->path.dentry;
2947
	struct inode *dir_inode = dir->d_inode;
M
Miklos Szeredi 已提交
2948 2949
	struct dentry *dentry;
	int error;
2950
	bool need_lookup;
M
Miklos Szeredi 已提交
2951

2952
	*opened &= ~FILE_CREATED;
2953
	dentry = lookup_dcache(&nd->last, dir, nd->flags, &need_lookup);
M
Miklos Szeredi 已提交
2954
	if (IS_ERR(dentry))
2955
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2956

M
Miklos Szeredi 已提交
2957 2958 2959 2960 2961
	/* Cached positive dentry: will open in f_op->open */
	if (!need_lookup && dentry->d_inode)
		goto out_no_open;

	if ((nd->flags & LOOKUP_OPEN) && dir_inode->i_op->atomic_open) {
2962
		return atomic_open(nd, dentry, path, file, op, got_write,
2963
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2964 2965
	}

2966 2967 2968
	if (need_lookup) {
		BUG_ON(dentry->d_inode);

2969
		dentry = lookup_real(dir_inode, dentry, nd->flags);
2970
		if (IS_ERR(dentry))
2971
			return PTR_ERR(dentry);
2972 2973
	}

M
Miklos Szeredi 已提交
2974 2975 2976 2977 2978 2979 2980 2981 2982 2983
	/* Negative dentry, just create the file */
	if (!dentry->d_inode && (op->open_flag & O_CREAT)) {
		umode_t mode = op->mode;
		if (!IS_POSIXACL(dir->d_inode))
			mode &= ~current_umask();
		/*
		 * This write is needed to ensure that a
		 * rw->ro transition does not occur between
		 * the time when the file is created and when
		 * a permanent write count is taken through
2984
		 * the 'struct file' in finish_open().
M
Miklos Szeredi 已提交
2985
		 */
2986 2987
		if (!got_write) {
			error = -EROFS;
M
Miklos Szeredi 已提交
2988
			goto out_dput;
2989
		}
2990
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2991 2992 2993
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto out_dput;
A
Al Viro 已提交
2994 2995
		error = vfs_create(dir->d_inode, dentry, mode,
				   nd->flags & LOOKUP_EXCL);
M
Miklos Szeredi 已提交
2996 2997 2998
		if (error)
			goto out_dput;
	}
M
Miklos Szeredi 已提交
2999
out_no_open:
M
Miklos Szeredi 已提交
3000 3001
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
3002
	return 1;
M
Miklos Szeredi 已提交
3003 3004 3005

out_dput:
	dput(dentry);
3006
	return error;
M
Miklos Szeredi 已提交
3007 3008
}

N
Nick Piggin 已提交
3009
/*
3010
 * Handle the last step of open()
N
Nick Piggin 已提交
3011
 */
3012
static int do_last(struct nameidata *nd,
3013
		   struct file *file, const struct open_flags *op,
A
Al Viro 已提交
3014
		   int *opened)
3015
{
3016
	struct dentry *dir = nd->path.dentry;
3017
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
3018
	bool will_truncate = (open_flag & O_TRUNC) != 0;
3019
	bool got_write = false;
A
Al Viro 已提交
3020
	int acc_mode = op->acc_mode;
3021
	unsigned seq;
3022
	struct inode *inode;
3023
	struct path save_parent = { .dentry = NULL, .mnt = NULL };
3024
	struct path path;
3025
	bool retried = false;
A
Al Viro 已提交
3026
	int error;
3027

3028 3029 3030
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

3031
	if (nd->last_type != LAST_NORM) {
3032
		error = handle_dots(nd, nd->last_type);
3033
		if (unlikely(error))
3034
			return error;
M
Miklos Szeredi 已提交
3035
		goto finish_open;
3036
	}
3037

3038
	if (!(open_flag & O_CREAT)) {
3039 3040 3041
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
		/* we _can_ be in RCU mode here */
3042
		error = lookup_fast(nd, &path, &inode, &seq);
3043 3044 3045 3046
		if (likely(!error))
			goto finish_lookup;

		if (error < 0)
3047
			return error;
3048 3049

		BUG_ON(nd->inode != dir->d_inode);
3050 3051 3052 3053 3054 3055 3056 3057
	} 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);
3058
		if (error)
3059
			return error;
3060

A
Al Viro 已提交
3061
		audit_inode(nd->name, dir, LOOKUP_PARENT);
3062
		/* trailing slashes? */
3063 3064
		if (unlikely(nd->last.name[nd->last.len]))
			return -EISDIR;
3065
	}
A
Al Viro 已提交
3066

3067
retry_lookup:
3068 3069 3070 3071 3072 3073 3074 3075 3076 3077
	if (op->open_flag & (O_CREAT | O_TRUNC | O_WRONLY | O_RDWR)) {
		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.
		 */
	}
3078
	mutex_lock(&dir->d_inode->i_mutex);
3079
	error = lookup_open(nd, &path, file, op, got_write, opened);
M
Miklos Szeredi 已提交
3080
	mutex_unlock(&dir->d_inode->i_mutex);
3081

3082 3083
	if (error <= 0) {
		if (error)
M
Miklos Szeredi 已提交
3084 3085
			goto out;

3086
		if ((*opened & FILE_CREATED) ||
A
Al Viro 已提交
3087
		    !S_ISREG(file_inode(file)->i_mode))
M
Miklos Szeredi 已提交
3088
			will_truncate = false;
M
Miklos Szeredi 已提交
3089

A
Al Viro 已提交
3090
		audit_inode(nd->name, file->f_path.dentry, 0);
M
Miklos Szeredi 已提交
3091 3092
		goto opened;
	}
3093

3094
	if (*opened & FILE_CREATED) {
3095
		/* Don't check for write permission, don't truncate */
3096
		open_flag &= ~O_TRUNC;
M
Miklos Szeredi 已提交
3097
		will_truncate = false;
A
Al Viro 已提交
3098
		acc_mode = MAY_OPEN;
3099
		path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
3100
		goto finish_open_created;
3101 3102 3103
	}

	/*
3104
	 * create/update audit record if it already exists.
3105
	 */
3106
	if (d_is_positive(path.dentry))
A
Al Viro 已提交
3107
		audit_inode(nd->name, path.dentry, 0);
3108

M
Miklos Szeredi 已提交
3109 3110 3111 3112 3113
	/*
	 * If atomic_open() acquired write access it is dropped now due to
	 * possible mount and symlink following (this might be optimized away if
	 * necessary...)
	 */
3114
	if (got_write) {
M
Miklos Szeredi 已提交
3115
		mnt_drop_write(nd->path.mnt);
3116
		got_write = false;
M
Miklos Szeredi 已提交
3117 3118
	}

3119 3120 3121 3122
	if (unlikely((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))) {
		path_to_nameidata(&path, nd);
		return -EEXIST;
	}
3123

3124
	error = follow_managed(&path, nd);
3125 3126
	if (unlikely(error < 0))
		return error;
3127

3128
	BUG_ON(nd->flags & LOOKUP_RCU);
3129
	inode = d_backing_inode(path.dentry);
3130
	seq = 0;	/* out of RCU mode, so the value doesn't matter */
3131
	if (unlikely(d_is_negative(path.dentry))) {
3132
		path_to_nameidata(&path, nd);
3133
		return -ENOENT;
3134
	}
3135
finish_lookup:
3136 3137
	if (nd->depth)
		put_link(nd);
3138 3139
	error = should_follow_link(nd, &path, nd->flags & LOOKUP_FOLLOW,
				   inode, seq);
3140
	if (unlikely(error))
3141
		return error;
3142

3143 3144
	if (unlikely(d_is_symlink(path.dentry)) && !(open_flag & O_PATH)) {
		path_to_nameidata(&path, nd);
3145
		return -ELOOP;
3146 3147
	}

3148 3149
	if ((nd->flags & LOOKUP_RCU) || nd->path.mnt != path.mnt) {
		path_to_nameidata(&path, nd);
3150 3151
	} else {
		save_parent.dentry = nd->path.dentry;
3152 3153
		save_parent.mnt = mntget(path.mnt);
		nd->path.dentry = path.dentry;
3154 3155

	}
3156
	nd->inode = inode;
3157
	nd->seq = seq;
3158
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
3159
finish_open:
3160
	error = complete_walk(nd);
3161 3162
	if (error) {
		path_put(&save_parent);
3163
		return error;
3164
	}
A
Al Viro 已提交
3165
	audit_inode(nd->name, nd->path.dentry, 0);
3166
	error = -EISDIR;
M
Miklos Szeredi 已提交
3167
	if ((open_flag & O_CREAT) && d_is_dir(nd->path.dentry))
3168
		goto out;
3169
	error = -ENOTDIR;
M
Miklos Szeredi 已提交
3170
	if ((nd->flags & LOOKUP_DIRECTORY) && !d_can_lookup(nd->path.dentry))
3171
		goto out;
3172
	if (!d_is_reg(nd->path.dentry))
M
Miklos Szeredi 已提交
3173
		will_truncate = false;
3174

3175 3176 3177
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
3178
			goto out;
3179
		got_write = true;
3180
	}
M
Miklos Szeredi 已提交
3181
finish_open_created:
A
Al Viro 已提交
3182
	error = may_open(&nd->path, acc_mode, open_flag);
3183
	if (error)
3184
		goto out;
M
Miklos Szeredi 已提交
3185 3186 3187 3188 3189 3190

	BUG_ON(*opened & FILE_OPENED); /* once it's opened, it's opened */
	error = vfs_open(&nd->path, file, current_cred());
	if (!error) {
		*opened |= FILE_OPENED;
	} else {
A
Al Viro 已提交
3191
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
3192
			goto stale_open;
3193
		goto out;
M
Miklos Szeredi 已提交
3194
	}
3195
opened:
3196
	error = open_check_o_direct(file);
3197 3198
	if (error)
		goto exit_fput;
3199
	error = ima_file_check(file, op->acc_mode, *opened);
3200 3201 3202 3203
	if (error)
		goto exit_fput;

	if (will_truncate) {
3204
		error = handle_truncate(file);
3205 3206
		if (error)
			goto exit_fput;
3207
	}
3208
out:
3209
	if (got_write)
3210
		mnt_drop_write(nd->path.mnt);
3211
	path_put(&save_parent);
3212
	return error;
3213

3214
exit_fput:
3215 3216
	fput(file);
	goto out;
3217

M
Miklos Szeredi 已提交
3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228
stale_open:
	/* If no saved parent or already retried then can't retry */
	if (!save_parent.dentry || retried)
		goto out;

	BUG_ON(save_parent.dentry != dir);
	path_put(&nd->path);
	nd->path = save_parent;
	nd->inode = dir->d_inode;
	save_parent.mnt = NULL;
	save_parent.dentry = NULL;
3229
	if (got_write) {
M
Miklos Szeredi 已提交
3230
		mnt_drop_write(nd->path.mnt);
3231
		got_write = false;
M
Miklos Szeredi 已提交
3232 3233 3234
	}
	retried = true;
	goto retry_lookup;
3235 3236
}

3237
static int do_tmpfile(struct nameidata *nd, unsigned flags,
3238 3239 3240 3241
		const struct open_flags *op,
		struct file *file, int *opened)
{
	static const struct qstr name = QSTR_INIT("/", 1);
3242
	struct dentry *child;
3243
	struct inode *dir;
3244
	struct path path;
3245
	int error = path_lookupat(nd, flags | LOOKUP_DIRECTORY, &path);
3246 3247
	if (unlikely(error))
		return error;
3248
	error = mnt_want_write(path.mnt);
3249 3250
	if (unlikely(error))
		goto out;
3251
	dir = path.dentry->d_inode;
3252
	/* we want directory to be writable */
3253
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
3254 3255 3256 3257 3258 3259
	if (error)
		goto out2;
	if (!dir->i_op->tmpfile) {
		error = -EOPNOTSUPP;
		goto out2;
	}
3260
	child = d_alloc(path.dentry, &name);
3261 3262 3263 3264
	if (unlikely(!child)) {
		error = -ENOMEM;
		goto out2;
	}
3265 3266 3267
	dput(path.dentry);
	path.dentry = child;
	error = dir->i_op->tmpfile(dir, child, op->mode);
3268 3269
	if (error)
		goto out2;
3270
	audit_inode(nd->name, child, 0);
3271
	/* Don't check for other permissions, the inode was just created */
3272
	error = may_open(&path, MAY_OPEN, op->open_flag);
3273 3274
	if (error)
		goto out2;
3275 3276
	file->f_path.mnt = path.mnt;
	error = finish_open(file, child, NULL, opened);
3277 3278 3279
	if (error)
		goto out2;
	error = open_check_o_direct(file);
3280
	if (error) {
3281
		fput(file);
3282 3283 3284 3285 3286 3287
	} else if (!(op->open_flag & O_EXCL)) {
		struct inode *inode = file_inode(file);
		spin_lock(&inode->i_lock);
		inode->i_state |= I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
3288
out2:
3289
	mnt_drop_write(path.mnt);
3290
out:
3291
	path_put(&path);
3292 3293 3294
	return error;
}

3295 3296
static struct file *path_openat(struct nameidata *nd,
			const struct open_flags *op, unsigned flags)
L
Linus Torvalds 已提交
3297
{
3298
	const char *s;
A
Al Viro 已提交
3299
	struct file *file;
3300
	int opened = 0;
3301
	int error;
N
Nick Piggin 已提交
3302

A
Al Viro 已提交
3303
	file = get_empty_filp();
3304 3305
	if (IS_ERR(file))
		return file;
N
Nick Piggin 已提交
3306

A
Al Viro 已提交
3307
	file->f_flags = op->open_flag;
N
Nick Piggin 已提交
3308

A
Al Viro 已提交
3309
	if (unlikely(file->f_flags & __O_TMPFILE)) {
3310
		error = do_tmpfile(nd, flags, op, file, &opened);
A
Al Viro 已提交
3311
		goto out2;
3312 3313
	}

3314
	s = path_init(nd, flags);
3315 3316 3317 3318
	if (IS_ERR(s)) {
		put_filp(file);
		return ERR_CAST(s);
	}
3319
	while (!(error = link_path_walk(s, nd)) &&
A
Al Viro 已提交
3320
		(error = do_last(nd, file, op, &opened)) > 0) {
A
Al Viro 已提交
3321
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
3322 3323 3324
		s = trailing_symlink(nd);
		if (IS_ERR(s)) {
			error = PTR_ERR(s);
3325
			break;
3326
		}
3327
	}
3328
	terminate_walk(nd);
A
Al Viro 已提交
3329
out2:
3330 3331
	if (!(opened & FILE_OPENED)) {
		BUG_ON(!error);
A
Al Viro 已提交
3332
		put_filp(file);
3333
	}
3334 3335 3336 3337 3338 3339 3340 3341 3342 3343
	if (unlikely(error)) {
		if (error == -EOPENSTALE) {
			if (flags & LOOKUP_RCU)
				error = -ECHILD;
			else
				error = -ESTALE;
		}
		file = ERR_PTR(error);
	}
	return file;
L
Linus Torvalds 已提交
3344 3345
}

3346
struct file *do_filp_open(int dfd, struct filename *pathname,
3347
		const struct open_flags *op)
3348
{
3349
	struct nameidata nd;
3350
	int flags = op->lookup_flags;
3351 3352
	struct file *filp;

3353
	set_nameidata(&nd, dfd, pathname);
3354
	filp = path_openat(&nd, op, flags | LOOKUP_RCU);
3355
	if (unlikely(filp == ERR_PTR(-ECHILD)))
3356
		filp = path_openat(&nd, op, flags);
3357
	if (unlikely(filp == ERR_PTR(-ESTALE)))
3358
		filp = path_openat(&nd, op, flags | LOOKUP_REVAL);
3359
	restore_nameidata();
3360 3361 3362
	return filp;
}

A
Al Viro 已提交
3363
struct file *do_file_open_root(struct dentry *dentry, struct vfsmount *mnt,
3364
		const char *name, const struct open_flags *op)
A
Al Viro 已提交
3365
{
3366
	struct nameidata nd;
A
Al Viro 已提交
3367
	struct file *file;
3368
	struct filename *filename;
3369
	int flags = op->lookup_flags | LOOKUP_ROOT;
A
Al Viro 已提交
3370 3371 3372 3373

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

3374
	if (d_is_symlink(dentry) && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3375 3376
		return ERR_PTR(-ELOOP);

3377
	filename = getname_kernel(name);
3378
	if (IS_ERR(filename))
3379 3380
		return ERR_CAST(filename);

3381
	set_nameidata(&nd, -1, filename);
3382
	file = path_openat(&nd, op, flags | LOOKUP_RCU);
A
Al Viro 已提交
3383
	if (unlikely(file == ERR_PTR(-ECHILD)))
3384
		file = path_openat(&nd, op, flags);
A
Al Viro 已提交
3385
	if (unlikely(file == ERR_PTR(-ESTALE)))
3386
		file = path_openat(&nd, op, flags | LOOKUP_REVAL);
3387
	restore_nameidata();
3388
	putname(filename);
A
Al Viro 已提交
3389 3390 3391
	return file;
}

3392
static struct dentry *filename_create(int dfd, struct filename *name,
3393
				struct path *path, unsigned int lookup_flags)
L
Linus Torvalds 已提交
3394
{
3395
	struct dentry *dentry = ERR_PTR(-EEXIST);
3396 3397
	struct qstr last;
	int type;
3398
	int err2;
3399 3400 3401 3402 3403 3404 3405 3406 3407
	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;

3408 3409 3410
	name = filename_parentat(dfd, name, lookup_flags, path, &last, &type);
	if (IS_ERR(name))
		return ERR_CAST(name);
L
Linus Torvalds 已提交
3411

3412 3413 3414 3415
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
3416
	if (unlikely(type != LAST_NORM))
A
Al Viro 已提交
3417
		goto out;
3418

3419
	/* don't fail immediately if it's r/o, at least try to report other errors */
3420
	err2 = mnt_want_write(path->mnt);
3421 3422 3423
	/*
	 * Do the final lookup.
	 */
3424 3425 3426
	lookup_flags |= LOOKUP_CREATE | LOOKUP_EXCL;
	mutex_lock_nested(&path->dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path->dentry, lookup_flags);
L
Linus Torvalds 已提交
3427
	if (IS_ERR(dentry))
3428
		goto unlock;
3429

3430
	error = -EEXIST;
3431
	if (d_is_positive(dentry))
3432
		goto fail;
3433

3434 3435 3436 3437 3438 3439
	/*
	 * 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.
	 */
3440
	if (unlikely(!is_dir && last.name[last.len])) {
3441
		error = -ENOENT;
A
Al Viro 已提交
3442
		goto fail;
3443
	}
3444 3445
	if (unlikely(err2)) {
		error = err2;
3446
		goto fail;
3447
	}
3448
	putname(name);
L
Linus Torvalds 已提交
3449 3450
	return dentry;
fail:
3451 3452 3453
	dput(dentry);
	dentry = ERR_PTR(error);
unlock:
3454
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3455
	if (!err2)
3456
		mnt_drop_write(path->mnt);
A
Al Viro 已提交
3457
out:
3458
	path_put(path);
3459
	putname(name);
L
Linus Torvalds 已提交
3460 3461
	return dentry;
}
3462 3463 3464 3465

struct dentry *kern_path_create(int dfd, const char *pathname,
				struct path *path, unsigned int lookup_flags)
{
3466 3467
	return filename_create(dfd, getname_kernel(pathname),
				path, lookup_flags);
3468
}
3469 3470
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3471 3472 3473 3474
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3475
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3476 3477 3478 3479
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

A
Al Viro 已提交
3480
inline struct dentry *user_path_create(int dfd, const char __user *pathname,
3481
				struct path *path, unsigned int lookup_flags)
3482
{
3483
	return filename_create(dfd, getname(pathname), path, lookup_flags);
3484 3485 3486
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3487
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3488
{
3489
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3490 3491 3492 3493

	if (error)
		return error;

3494
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3495 3496
		return -EPERM;

A
Al Viro 已提交
3497
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3498 3499
		return -EPERM;

3500 3501 3502 3503
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3504 3505 3506 3507 3508
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3509
	if (!error)
3510
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3511 3512
	return error;
}
3513
EXPORT_SYMBOL(vfs_mknod);
L
Linus Torvalds 已提交
3514

A
Al Viro 已提交
3515
static int may_mknod(umode_t mode)
3516 3517 3518 3519 3520 3521 3522 3523 3524 3525 3526 3527 3528 3529 3530 3531
{
	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;
	}
}

A
Al Viro 已提交
3532
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
3533
		unsigned, dev)
L
Linus Torvalds 已提交
3534
{
3535
	struct dentry *dentry;
3536 3537
	struct path path;
	int error;
3538
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3539

3540 3541 3542
	error = may_mknod(mode);
	if (error)
		return error;
3543 3544
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3545 3546
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3547

3548
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3549
		mode &= ~current_umask();
3550
	error = security_path_mknod(&path, dentry, mode, dev);
3551
	if (error)
3552
		goto out;
3553
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3554
		case 0: case S_IFREG:
A
Al Viro 已提交
3555
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
L
Linus Torvalds 已提交
3556 3557
			break;
		case S_IFCHR: case S_IFBLK:
3558
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3559 3560 3561
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3562
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3563 3564
			break;
	}
3565
out:
A
Al Viro 已提交
3566
	done_path_create(&path, dentry);
3567 3568 3569 3570
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3571 3572 3573
	return error;
}

A
Al Viro 已提交
3574
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3575 3576 3577 3578
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

3579
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3580
{
3581
	int error = may_create(dir, dentry);
3582
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3583 3584 3585 3586

	if (error)
		return error;

A
Al Viro 已提交
3587
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3588 3589 3590 3591 3592 3593 3594
		return -EPERM;

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

3595 3596 3597
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3598
	error = dir->i_op->mkdir(dir, dentry, mode);
3599
	if (!error)
3600
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3601 3602
	return error;
}
3603
EXPORT_SYMBOL(vfs_mkdir);
L
Linus Torvalds 已提交
3604

3605
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
3606
{
3607
	struct dentry *dentry;
3608 3609
	struct path path;
	int error;
3610
	unsigned int lookup_flags = LOOKUP_DIRECTORY;
L
Linus Torvalds 已提交
3611

3612 3613
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3614
	if (IS_ERR(dentry))
3615
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3616

3617
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3618
		mode &= ~current_umask();
3619
	error = security_path_mkdir(&path, dentry, mode);
3620 3621
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3622
	done_path_create(&path, dentry);
3623 3624 3625 3626
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3627 3628 3629
	return error;
}

3630
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3631 3632 3633 3634
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
3635
/*
S
Sage Weil 已提交
3636
 * The dentry_unhash() helper will try to drop the dentry early: we
3637
 * should have a usage count of 1 if we're the only user of this
S
Sage Weil 已提交
3638 3639
 * dentry, and if that is true (possibly after pruning the dcache),
 * then we drop the dentry now.
L
Linus Torvalds 已提交
3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650 3651
 *
 * A low-level filesystem can, if it choses, legally
 * do a
 *
 *	if (!d_unhashed(dentry))
 *		return -EBUSY;
 *
 * if it cannot handle the case of removing a directory
 * that is still in use by something else..
 */
void dentry_unhash(struct dentry *dentry)
{
3652
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
3653
	spin_lock(&dentry->d_lock);
3654
	if (dentry->d_lockref.count == 1)
L
Linus Torvalds 已提交
3655 3656 3657
		__d_drop(dentry);
	spin_unlock(&dentry->d_lock);
}
3658
EXPORT_SYMBOL(dentry_unhash);
L
Linus Torvalds 已提交
3659 3660 3661 3662 3663 3664 3665 3666

int vfs_rmdir(struct inode *dir, struct dentry *dentry)
{
	int error = may_delete(dir, dentry, 1);

	if (error)
		return error;

A
Al Viro 已提交
3667
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3668 3669
		return -EPERM;

3670
	dget(dentry);
3671
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3672 3673

	error = -EBUSY;
3674
	if (is_local_mountpoint(dentry))
S
Sage Weil 已提交
3675 3676 3677 3678 3679 3680
		goto out;

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

3681
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3682 3683 3684 3685 3686 3687
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);
3688
	detach_mounts(dentry);
S
Sage Weil 已提交
3689 3690

out:
3691
	mutex_unlock(&dentry->d_inode->i_mutex);
3692
	dput(dentry);
S
Sage Weil 已提交
3693
	if (!error)
L
Linus Torvalds 已提交
3694 3695 3696
		d_delete(dentry);
	return error;
}
3697
EXPORT_SYMBOL(vfs_rmdir);
L
Linus Torvalds 已提交
3698

3699
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3700 3701
{
	int error = 0;
3702
	struct filename *name;
L
Linus Torvalds 已提交
3703
	struct dentry *dentry;
3704 3705 3706
	struct path path;
	struct qstr last;
	int type;
3707 3708
	unsigned int lookup_flags = 0;
retry:
3709 3710
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3711 3712
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3713

3714
	switch (type) {
3715 3716 3717 3718 3719 3720 3721 3722 3723
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3724
	}
3725

3726
	error = mnt_want_write(path.mnt);
3727 3728
	if (error)
		goto exit1;
3729

3730 3731
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3732
	error = PTR_ERR(dentry);
3733 3734
	if (IS_ERR(dentry))
		goto exit2;
3735 3736 3737 3738
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3739
	error = security_path_rmdir(&path, dentry);
3740
	if (error)
3741
		goto exit3;
3742
	error = vfs_rmdir(path.dentry->d_inode, dentry);
3743
exit3:
3744 3745
	dput(dentry);
exit2:
3746 3747
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3748
exit1:
3749
	path_put(&path);
L
Linus Torvalds 已提交
3750
	putname(name);
3751 3752 3753 3754
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3755 3756 3757
	return error;
}

3758
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3759 3760 3761 3762
{
	return do_rmdir(AT_FDCWD, pathname);
}

3763 3764 3765 3766 3767 3768 3769 3770 3771 3772 3773 3774 3775 3776 3777 3778 3779 3780 3781
/**
 * 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 已提交
3782
{
J
J. Bruce Fields 已提交
3783
	struct inode *target = dentry->d_inode;
L
Linus Torvalds 已提交
3784 3785 3786 3787 3788
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3789
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3790 3791
		return -EPERM;

J
J. Bruce Fields 已提交
3792
	mutex_lock(&target->i_mutex);
3793
	if (is_local_mountpoint(dentry))
L
Linus Torvalds 已提交
3794 3795 3796
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3797
		if (!error) {
3798 3799
			error = try_break_deleg(target, delegated_inode);
			if (error)
3800
				goto out;
L
Linus Torvalds 已提交
3801
			error = dir->i_op->unlink(dir, dentry);
3802
			if (!error) {
3803
				dont_mount(dentry);
3804 3805
				detach_mounts(dentry);
			}
3806
		}
L
Linus Torvalds 已提交
3807
	}
3808
out:
J
J. Bruce Fields 已提交
3809
	mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3810 3811 3812

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

L
Linus Torvalds 已提交
3817 3818
	return error;
}
3819
EXPORT_SYMBOL(vfs_unlink);
L
Linus Torvalds 已提交
3820 3821 3822

/*
 * Make sure that the actual truncation of the file will occur outside its
3823
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3824 3825 3826
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3827
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3828
{
3829
	int error;
3830
	struct filename *name;
L
Linus Torvalds 已提交
3831
	struct dentry *dentry;
3832 3833 3834
	struct path path;
	struct qstr last;
	int type;
L
Linus Torvalds 已提交
3835
	struct inode *inode = NULL;
3836
	struct inode *delegated_inode = NULL;
3837 3838
	unsigned int lookup_flags = 0;
retry:
3839 3840
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3841 3842
	if (IS_ERR(name))
		return PTR_ERR(name);
3843

L
Linus Torvalds 已提交
3844
	error = -EISDIR;
3845
	if (type != LAST_NORM)
L
Linus Torvalds 已提交
3846
		goto exit1;
3847

3848
	error = mnt_want_write(path.mnt);
3849 3850
	if (error)
		goto exit1;
3851
retry_deleg:
3852 3853
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3854 3855 3856
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
3857
		if (last.name[last.len])
3858
			goto slashes;
L
Linus Torvalds 已提交
3859
		inode = dentry->d_inode;
3860
		if (d_is_negative(dentry))
3861 3862
			goto slashes;
		ihold(inode);
3863
		error = security_path_unlink(&path, dentry);
3864
		if (error)
3865
			goto exit2;
3866
		error = vfs_unlink(path.dentry->d_inode, dentry, &delegated_inode);
3867
exit2:
L
Linus Torvalds 已提交
3868 3869
		dput(dentry);
	}
3870
	mutex_unlock(&path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3871 3872
	if (inode)
		iput(inode);	/* truncate the inode here */
3873 3874
	inode = NULL;
	if (delegated_inode) {
3875
		error = break_deleg_wait(&delegated_inode);
3876 3877 3878
		if (!error)
			goto retry_deleg;
	}
3879
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3880
exit1:
3881
	path_put(&path);
L
Linus Torvalds 已提交
3882
	putname(name);
3883 3884 3885 3886 3887
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		inode = NULL;
		goto retry;
	}
L
Linus Torvalds 已提交
3888 3889 3890
	return error;

slashes:
3891 3892
	if (d_is_negative(dentry))
		error = -ENOENT;
M
Miklos Szeredi 已提交
3893
	else if (d_is_dir(dentry))
3894 3895 3896
		error = -EISDIR;
	else
		error = -ENOTDIR;
L
Linus Torvalds 已提交
3897 3898 3899
	goto exit2;
}

3900
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3901 3902 3903 3904 3905 3906 3907 3908 3909 3910
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

3911
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3912 3913 3914 3915
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3916
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3917
{
3918
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3919 3920 3921 3922

	if (error)
		return error;

A
Al Viro 已提交
3923
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3924 3925 3926 3927 3928 3929 3930
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3931
	if (!error)
3932
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3933 3934
	return error;
}
3935
EXPORT_SYMBOL(vfs_symlink);
L
Linus Torvalds 已提交
3936

3937 3938
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3939
{
3940
	int error;
3941
	struct filename *from;
3942
	struct dentry *dentry;
3943
	struct path path;
3944
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3945 3946

	from = getname(oldname);
3947
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3948
		return PTR_ERR(from);
3949 3950
retry:
	dentry = user_path_create(newdfd, newname, &path, lookup_flags);
3951 3952
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3953
		goto out_putname;
3954

3955
	error = security_path_symlink(&path, dentry, from->name);
3956
	if (!error)
3957
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
3958
	done_path_create(&path, dentry);
3959 3960 3961 3962
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
3963
out_putname:
L
Linus Torvalds 已提交
3964 3965 3966 3967
	putname(from);
	return error;
}

3968
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3969 3970 3971 3972
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

J
J. Bruce Fields 已提交
3973 3974 3975 3976 3977 3978 3979 3980 3981 3982 3983 3984 3985 3986 3987 3988 3989 3990 3991 3992
/**
 * 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 已提交
3993 3994
{
	struct inode *inode = old_dentry->d_inode;
3995
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3996 3997 3998 3999 4000
	int error;

	if (!inode)
		return -ENOENT;

4001
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
4002 4003 4004 4005 4006 4007 4008 4009 4010 4011 4012
	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;
A
Al Viro 已提交
4013
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
4014
		return -EPERM;
4015
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
4016 4017 4018 4019 4020 4021
		return -EPERM;

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

4022
	mutex_lock(&inode->i_mutex);
4023
	/* Make sure we don't allow creating hardlink to an unlinked file */
4024
	if (inode->i_nlink == 0 && !(inode->i_state & I_LINKABLE))
4025
		error =  -ENOENT;
4026 4027
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
J
J. Bruce Fields 已提交
4028 4029 4030 4031 4032
	else {
		error = try_break_deleg(inode, delegated_inode);
		if (!error)
			error = dir->i_op->link(old_dentry, dir, new_dentry);
	}
4033 4034 4035 4036 4037 4038

	if (!error && (inode->i_state & I_LINKABLE)) {
		spin_lock(&inode->i_lock);
		inode->i_state &= ~I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
4039
	mutex_unlock(&inode->i_mutex);
4040
	if (!error)
4041
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
4042 4043
	return error;
}
4044
EXPORT_SYMBOL(vfs_link);
L
Linus Torvalds 已提交
4045 4046 4047 4048 4049 4050 4051 4052 4053 4054

/*
 * 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
 */
4055 4056
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
4057 4058
{
	struct dentry *new_dentry;
4059
	struct path old_path, new_path;
J
J. Bruce Fields 已提交
4060
	struct inode *delegated_inode = NULL;
4061
	int how = 0;
L
Linus Torvalds 已提交
4062 4063
	int error;

4064
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
4065
		return -EINVAL;
4066
	/*
4067 4068 4069
	 * 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.
4070
	 */
4071 4072 4073
	if (flags & AT_EMPTY_PATH) {
		if (!capable(CAP_DAC_READ_SEARCH))
			return -ENOENT;
4074
		how = LOOKUP_EMPTY;
4075
	}
4076 4077 4078

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
4079
retry:
4080
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
4081
	if (error)
4082 4083
		return error;

4084 4085
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
4086
	error = PTR_ERR(new_dentry);
4087
	if (IS_ERR(new_dentry))
4088 4089 4090 4091 4092
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
4093 4094 4095
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
4096
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
4097
	if (error)
4098
		goto out_dput;
J
J. Bruce Fields 已提交
4099
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry, &delegated_inode);
4100
out_dput:
A
Al Viro 已提交
4101
	done_path_create(&new_path, new_dentry);
J
J. Bruce Fields 已提交
4102 4103
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
4104 4105
		if (!error) {
			path_put(&old_path);
J
J. Bruce Fields 已提交
4106
			goto retry;
4107
		}
J
J. Bruce Fields 已提交
4108
	}
4109
	if (retry_estale(error, how)) {
4110
		path_put(&old_path);
4111 4112 4113
		how |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
4114
out:
4115
	path_put(&old_path);
L
Linus Torvalds 已提交
4116 4117 4118 4119

	return error;
}

4120
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
4121
{
4122
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4123 4124
}

4125 4126 4127 4128 4129 4130 4131
/**
 * 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 已提交
4132
 * @flags:	rename flags
4133 4134 4135 4136 4137 4138 4139 4140 4141 4142 4143 4144 4145 4146
 *
 * 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 已提交
4147 4148 4149
 * 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:
4150
 *	a) we can get into loop creation.
L
Linus Torvalds 已提交
4151 4152
 *	b) race potential - two innocent renames can create a loop together.
 *	   That's where 4.4 screws up. Current fix: serialization on
4153
 *	   sb->s_vfs_rename_mutex. We might be more accurate, but that's another
L
Linus Torvalds 已提交
4154
 *	   story.
4155 4156
 *	c) we have to lock _four_ objects - parents and victim (if it exists),
 *	   and source (if it is not a directory).
4157
 *	   And that - after we got ->i_mutex on parents (until then we don't know
L
Linus Torvalds 已提交
4158 4159
 *	   whether the target exists).  Solution: try to be smart with locking
 *	   order for inodes.  We rely on the fact that tree topology may change
4160
 *	   only under ->s_vfs_rename_mutex _and_ that parent of the object we
L
Linus Torvalds 已提交
4161 4162 4163
 *	   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,
4164
 *	   lock child" and rename is under ->s_vfs_rename_mutex.
L
Linus Torvalds 已提交
4165 4166 4167
 *	   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.
4168
 *	d) conversion from fhandle to dentry may come in the wrong moment - when
4169
 *	   we are removing the target. Solution: we will have to grab ->i_mutex
L
Linus Torvalds 已提交
4170
 *	   in the fhandle_to_dentry code. [FIXME - current nfsfh.c relies on
4171
 *	   ->i_mutex on parents, which works but leads to some truly excessive
L
Linus Torvalds 已提交
4172 4173
 *	   locking].
 */
4174 4175
int vfs_rename(struct inode *old_dir, struct dentry *old_dentry,
	       struct inode *new_dir, struct dentry *new_dentry,
M
Miklos Szeredi 已提交
4176
	       struct inode **delegated_inode, unsigned int flags)
L
Linus Torvalds 已提交
4177
{
4178 4179 4180 4181
	int error;
	bool is_dir = d_is_dir(old_dentry);
	const unsigned char *old_name;
	struct inode *source = old_dentry->d_inode;
S
Sage Weil 已提交
4182
	struct inode *target = new_dentry->d_inode;
M
Miklos Szeredi 已提交
4183 4184
	bool new_is_dir = false;
	unsigned max_links = new_dir->i_sb->s_max_links;
4185 4186 4187 4188 4189 4190 4191 4192

	if (source == target)
		return 0;

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

M
Miklos Szeredi 已提交
4193
	if (!target) {
4194
		error = may_create(new_dir, new_dentry);
M
Miklos Szeredi 已提交
4195 4196 4197 4198 4199 4200 4201 4202
	} 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);
	}
4203 4204 4205
	if (error)
		return error;

M
Miklos Szeredi 已提交
4206
	if (!old_dir->i_op->rename && !old_dir->i_op->rename2)
4207
		return -EPERM;
L
Linus Torvalds 已提交
4208

M
Miklos Szeredi 已提交
4209 4210 4211
	if (flags && !old_dir->i_op->rename2)
		return -EINVAL;

L
Linus Torvalds 已提交
4212 4213 4214 4215
	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
M
Miklos Szeredi 已提交
4216 4217 4218 4219 4220 4221 4222 4223 4224 4225 4226
	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 已提交
4227 4228
	}

4229 4230
	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry,
				      flags);
L
Linus Torvalds 已提交
4231 4232 4233
	if (error)
		return error;

4234
	old_name = fsnotify_oldname_init(old_dentry->d_name.name);
4235
	dget(new_dentry);
M
Miklos Szeredi 已提交
4236
	if (!is_dir || (flags & RENAME_EXCHANGE))
4237 4238
		lock_two_nondirectories(source, target);
	else if (target)
4239
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
4240 4241

	error = -EBUSY;
4242
	if (is_local_mountpoint(old_dentry) || is_local_mountpoint(new_dentry))
S
Sage Weil 已提交
4243 4244
		goto out;

M
Miklos Szeredi 已提交
4245
	if (max_links && new_dir != old_dir) {
4246
		error = -EMLINK;
M
Miklos Szeredi 已提交
4247
		if (is_dir && !new_is_dir && new_dir->i_nlink >= max_links)
4248
			goto out;
M
Miklos Szeredi 已提交
4249 4250 4251 4252 4253 4254 4255
		if ((flags & RENAME_EXCHANGE) && !is_dir && new_is_dir &&
		    old_dir->i_nlink >= max_links)
			goto out;
	}
	if (is_dir && !(flags & RENAME_EXCHANGE) && target)
		shrink_dcache_parent(new_dentry);
	if (!is_dir) {
4256
		error = try_break_deleg(source, delegated_inode);
4257 4258
		if (error)
			goto out;
M
Miklos Szeredi 已提交
4259 4260 4261 4262 4263
	}
	if (target && !new_is_dir) {
		error = try_break_deleg(target, delegated_inode);
		if (error)
			goto out;
4264
	}
M
Miklos Szeredi 已提交
4265
	if (!old_dir->i_op->rename2) {
M
Miklos Szeredi 已提交
4266 4267 4268
		error = old_dir->i_op->rename(old_dir, old_dentry,
					      new_dir, new_dentry);
	} else {
M
Miklos Szeredi 已提交
4269
		WARN_ON(old_dir->i_op->rename != NULL);
M
Miklos Szeredi 已提交
4270 4271 4272
		error = old_dir->i_op->rename2(old_dir, old_dentry,
					       new_dir, new_dentry, flags);
	}
S
Sage Weil 已提交
4273 4274 4275
	if (error)
		goto out;

M
Miklos Szeredi 已提交
4276
	if (!(flags & RENAME_EXCHANGE) && target) {
4277 4278
		if (is_dir)
			target->i_flags |= S_DEAD;
S
Sage Weil 已提交
4279
		dont_mount(new_dentry);
4280
		detach_mounts(new_dentry);
4281
	}
M
Miklos Szeredi 已提交
4282 4283 4284 4285 4286 4287
	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 已提交
4288
out:
M
Miklos Szeredi 已提交
4289
	if (!is_dir || (flags & RENAME_EXCHANGE))
4290 4291 4292
		unlock_two_nondirectories(source, target);
	else if (target)
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
4293
	dput(new_dentry);
M
Miklos Szeredi 已提交
4294
	if (!error) {
4295
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
M
Miklos Szeredi 已提交
4296 4297 4298 4299 4300 4301
			      !(flags & RENAME_EXCHANGE) ? target : NULL, old_dentry);
		if (flags & RENAME_EXCHANGE) {
			fsnotify_move(new_dir, old_dir, old_dentry->d_name.name,
				      new_is_dir, NULL, new_dentry);
		}
	}
R
Robert Love 已提交
4302 4303
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
4304 4305
	return error;
}
4306
EXPORT_SYMBOL(vfs_rename);
L
Linus Torvalds 已提交
4307

M
Miklos Szeredi 已提交
4308 4309
SYSCALL_DEFINE5(renameat2, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, unsigned int, flags)
L
Linus Torvalds 已提交
4310
{
4311 4312
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
4313 4314 4315
	struct path old_path, new_path;
	struct qstr old_last, new_last;
	int old_type, new_type;
4316
	struct inode *delegated_inode = NULL;
4317 4318
	struct filename *from;
	struct filename *to;
4319
	unsigned int lookup_flags = 0, target_flags = LOOKUP_RENAME_TARGET;
4320
	bool should_retry = false;
4321
	int error;
M
Miklos Szeredi 已提交
4322

M
Miklos Szeredi 已提交
4323
	if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
M
Miklos Szeredi 已提交
4324 4325
		return -EINVAL;

M
Miklos Szeredi 已提交
4326 4327
	if ((flags & (RENAME_NOREPLACE | RENAME_WHITEOUT)) &&
	    (flags & RENAME_EXCHANGE))
M
Miklos Szeredi 已提交
4328 4329
		return -EINVAL;

M
Miklos Szeredi 已提交
4330 4331 4332
	if ((flags & RENAME_WHITEOUT) && !capable(CAP_MKNOD))
		return -EPERM;

4333 4334 4335
	if (flags & RENAME_EXCHANGE)
		target_flags = 0;

4336
retry:
4337 4338
	from = user_path_parent(olddfd, oldname,
				&old_path, &old_last, &old_type, lookup_flags);
4339 4340
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
4341
		goto exit;
4342
	}
L
Linus Torvalds 已提交
4343

4344 4345
	to = user_path_parent(newdfd, newname,
				&new_path, &new_last, &new_type, lookup_flags);
4346 4347
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
4348
		goto exit1;
4349
	}
L
Linus Torvalds 已提交
4350 4351

	error = -EXDEV;
4352
	if (old_path.mnt != new_path.mnt)
L
Linus Torvalds 已提交
4353 4354 4355
		goto exit2;

	error = -EBUSY;
4356
	if (old_type != LAST_NORM)
L
Linus Torvalds 已提交
4357 4358
		goto exit2;

M
Miklos Szeredi 已提交
4359 4360
	if (flags & RENAME_NOREPLACE)
		error = -EEXIST;
4361
	if (new_type != LAST_NORM)
L
Linus Torvalds 已提交
4362 4363
		goto exit2;

4364
	error = mnt_want_write(old_path.mnt);
4365 4366 4367
	if (error)
		goto exit2;

4368
retry_deleg:
4369
	trap = lock_rename(new_path.dentry, old_path.dentry);
L
Linus Torvalds 已提交
4370

4371
	old_dentry = __lookup_hash(&old_last, old_path.dentry, lookup_flags);
L
Linus Torvalds 已提交
4372 4373 4374 4375 4376
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
4377
	if (d_is_negative(old_dentry))
L
Linus Torvalds 已提交
4378
		goto exit4;
4379
	new_dentry = __lookup_hash(&new_last, new_path.dentry, lookup_flags | target_flags);
M
Miklos Szeredi 已提交
4380 4381 4382 4383 4384 4385
	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 已提交
4386 4387 4388 4389 4390 4391 4392
	if (flags & RENAME_EXCHANGE) {
		error = -ENOENT;
		if (d_is_negative(new_dentry))
			goto exit5;

		if (!d_is_dir(new_dentry)) {
			error = -ENOTDIR;
4393
			if (new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4394 4395 4396
				goto exit5;
		}
	}
L
Linus Torvalds 已提交
4397
	/* unless the source is a directory trailing slashes give -ENOTDIR */
M
Miklos Szeredi 已提交
4398
	if (!d_is_dir(old_dentry)) {
L
Linus Torvalds 已提交
4399
		error = -ENOTDIR;
4400
		if (old_last.name[old_last.len])
M
Miklos Szeredi 已提交
4401
			goto exit5;
4402
		if (!(flags & RENAME_EXCHANGE) && new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4403
			goto exit5;
L
Linus Torvalds 已提交
4404 4405 4406 4407
	}
	/* source should not be ancestor of target */
	error = -EINVAL;
	if (old_dentry == trap)
M
Miklos Szeredi 已提交
4408
		goto exit5;
L
Linus Torvalds 已提交
4409
	/* target should not be an ancestor of source */
M
Miklos Szeredi 已提交
4410 4411
	if (!(flags & RENAME_EXCHANGE))
		error = -ENOTEMPTY;
L
Linus Torvalds 已提交
4412 4413 4414
	if (new_dentry == trap)
		goto exit5;

4415 4416
	error = security_path_rename(&old_path, old_dentry,
				     &new_path, new_dentry, flags);
4417
	if (error)
4418
		goto exit5;
4419 4420
	error = vfs_rename(old_path.dentry->d_inode, old_dentry,
			   new_path.dentry->d_inode, new_dentry,
M
Miklos Szeredi 已提交
4421
			   &delegated_inode, flags);
L
Linus Torvalds 已提交
4422 4423 4424 4425 4426
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
4427
	unlock_rename(new_path.dentry, old_path.dentry);
4428 4429 4430 4431 4432
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
		if (!error)
			goto retry_deleg;
	}
4433
	mnt_drop_write(old_path.mnt);
L
Linus Torvalds 已提交
4434
exit2:
4435 4436
	if (retry_estale(error, lookup_flags))
		should_retry = true;
4437
	path_put(&new_path);
4438
	putname(to);
L
Linus Torvalds 已提交
4439
exit1:
4440
	path_put(&old_path);
L
Linus Torvalds 已提交
4441
	putname(from);
4442 4443 4444 4445 4446
	if (should_retry) {
		should_retry = false;
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
4447
exit:
L
Linus Torvalds 已提交
4448 4449 4450
	return error;
}

M
Miklos Szeredi 已提交
4451 4452 4453 4454 4455 4456
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
	return sys_renameat2(olddfd, oldname, newdfd, newname, 0);
}

4457
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4458
{
M
Miklos Szeredi 已提交
4459
	return sys_renameat2(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4460 4461
}

M
Miklos Szeredi 已提交
4462 4463 4464 4465 4466 4467 4468 4469 4470 4471 4472 4473 4474 4475
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 已提交
4476
int readlink_copy(char __user *buffer, int buflen, const char *link)
L
Linus Torvalds 已提交
4477
{
A
Al Viro 已提交
4478
	int len = PTR_ERR(link);
L
Linus Torvalds 已提交
4479 4480 4481 4482 4483 4484 4485 4486 4487 4488 4489
	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;
}
A
Al Viro 已提交
4490
EXPORT_SYMBOL(readlink_copy);
L
Linus Torvalds 已提交
4491 4492 4493 4494 4495 4496 4497 4498

/*
 * A helper for ->readlink().  This should be used *ONLY* for symlinks that
 * have ->follow_link() touching nd only in nd_set_link().  Using (or not
 * using) it for any given inode is up to filesystem.
 */
int generic_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
4499
	void *cookie;
4500 4501
	struct inode *inode = d_inode(dentry);
	const char *link = inode->i_link;
4502
	int res;
4503

4504
	if (!link) {
4505
		link = inode->i_op->follow_link(dentry, &cookie);
4506 4507 4508
		if (IS_ERR(link))
			return PTR_ERR(link);
	}
4509
	res = readlink_copy(buffer, buflen, link);
4510 4511
	if (inode->i_op->put_link)
		inode->i_op->put_link(inode, cookie);
4512
	return res;
L
Linus Torvalds 已提交
4513
}
4514
EXPORT_SYMBOL(generic_readlink);
L
Linus Torvalds 已提交
4515 4516 4517 4518

/* get the link contents into pagecache */
static char *page_getlink(struct dentry * dentry, struct page **ppage)
{
4519 4520
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
4521
	struct address_space *mapping = dentry->d_inode->i_mapping;
4522
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
4523
	if (IS_ERR(page))
4524
		return (char*)page;
L
Linus Torvalds 已提交
4525
	*ppage = page;
4526 4527 4528
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
4529 4530 4531 4532 4533
}

int page_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
	struct page *page = NULL;
A
Al Viro 已提交
4534
	int res = readlink_copy(buffer, buflen, page_getlink(dentry, &page));
L
Linus Torvalds 已提交
4535 4536 4537 4538 4539 4540
	if (page) {
		kunmap(page);
		page_cache_release(page);
	}
	return res;
}
4541
EXPORT_SYMBOL(page_readlink);
L
Linus Torvalds 已提交
4542

4543
const char *page_follow_link_light(struct dentry *dentry, void **cookie)
L
Linus Torvalds 已提交
4544
{
4545
	struct page *page = NULL;
4546 4547 4548 4549
	char *res = page_getlink(dentry, &page);
	if (!IS_ERR(res))
		*cookie = page;
	return res;
L
Linus Torvalds 已提交
4550
}
4551
EXPORT_SYMBOL(page_follow_link_light);
L
Linus Torvalds 已提交
4552

4553
void page_put_link(struct inode *unused, void *cookie)
L
Linus Torvalds 已提交
4554
{
4555
	struct page *page = cookie;
4556 4557
	kunmap(page);
	page_cache_release(page);
L
Linus Torvalds 已提交
4558
}
4559
EXPORT_SYMBOL(page_put_link);
L
Linus Torvalds 已提交
4560

4561 4562 4563 4564
/*
 * 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 已提交
4565 4566
{
	struct address_space *mapping = inode->i_mapping;
4567
	struct page *page;
4568
	void *fsdata;
4569
	int err;
L
Linus Torvalds 已提交
4570
	char *kaddr;
4571 4572 4573
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
4574

4575
retry:
4576
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
4577
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
4578
	if (err)
4579 4580
		goto fail;

4581
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
4582
	memcpy(kaddr, symname, len-1);
4583
	kunmap_atomic(kaddr);
4584 4585 4586

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4587 4588
	if (err < 0)
		goto fail;
4589 4590 4591
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4592 4593 4594 4595 4596
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}
4597
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4598

4599 4600 4601
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4602
			!mapping_gfp_constraint(inode->i_mapping, __GFP_FS));
4603
}
4604
EXPORT_SYMBOL(page_symlink);
4605

4606
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
4607 4608 4609 4610 4611
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};
EXPORT_SYMBOL(page_symlink_inode_operations);