namei.c 114.8 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, root_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
static struct nameidata *set_nameidata(struct nameidata *p)
516
{
517 518 519 520 521
	struct nameidata *old = current->nameidata;
	p->stack = p->internal;
	p->total_link_count = old ? old->total_link_count : 0;
	current->nameidata = p;
	return old;
522 523
}

524
static void restore_nameidata(struct nameidata *old)
525
{
526 527 528 529 530 531 532 533
	struct nameidata *now = current->nameidata;

	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;
534 535 536 537 538
	}
}

static int __nd_alloc_stack(struct nameidata *nd)
{
A
Al Viro 已提交
539 540 541 542 543 544 545 546 547
	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),
548
				  GFP_KERNEL);
A
Al Viro 已提交
549 550 551
		if (unlikely(!p))
			return -ENOMEM;
	}
552 553 554 555 556 557 558
	memcpy(p, nd->internal, sizeof(nd->internal));
	nd->stack = p;
	return 0;
}

static inline int nd_alloc_stack(struct nameidata *nd)
{
559
	if (likely(nd->depth != EMBEDDED_LEVELS))
560 561 562 563 564 565
		return 0;
	if (likely(nd->stack != nd->internal))
		return 0;
	return __nd_alloc_stack(nd);
}

566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627
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);
	} 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 已提交
628
/*
N
Nick Piggin 已提交
629
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
630 631 632 633 634 635 636
 * 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
 * normal reference counts on dentries and vfsmounts to transition to rcu-walk
 * 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 已提交
637 638 639
 */

/**
A
Al Viro 已提交
640 641 642
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry or NULL
643
 * @seq: seq number to check dentry against
644
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
645
 *
A
Al Viro 已提交
646 647 648
 * 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.
649 650
 * Nothing should touch nameidata between unlazy_walk() failure and
 * terminate_walk().
N
Nick Piggin 已提交
651
 */
652
static int unlazy_walk(struct nameidata *nd, struct dentry *dentry, unsigned seq)
N
Nick Piggin 已提交
653 654 655 656
{
	struct dentry *parent = nd->path.dentry;

	BUG_ON(!(nd->flags & LOOKUP_RCU));
657 658

	nd->flags &= ~LOOKUP_RCU;
659 660 661 662 663 664
	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 已提交
665

666 667 668 669 670 671 672 673 674 675 676
	/*
	 * 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 已提交
677
	if (!dentry) {
678 679
		if (read_seqcount_retry(&parent->d_seq, nd->seq))
			goto out;
A
Al Viro 已提交
680 681
		BUG_ON(nd->inode != parent->d_inode);
	} else {
682 683
		if (!lockref_get_not_dead(&dentry->d_lockref))
			goto out;
684
		if (read_seqcount_retry(&dentry->d_seq, seq))
685
			goto drop_dentry;
A
Al Viro 已提交
686
	}
687 688 689 690 691 692

	/*
	 * 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)) {
693 694 695 696
		if (unlikely(!legitimize_path(nd, &nd->root, nd->root_seq))) {
			rcu_read_unlock();
			dput(dentry);
			return -ECHILD;
697
		}
N
Nick Piggin 已提交
698 699
	}

A
Al Viro 已提交
700
	rcu_read_unlock();
N
Nick Piggin 已提交
701
	return 0;
A
Al Viro 已提交
702

703
drop_dentry:
A
Al Viro 已提交
704
	rcu_read_unlock();
705
	dput(dentry);
706
	goto drop_root_mnt;
707 708 709 710
out2:
	nd->path.mnt = NULL;
out1:
	nd->path.dentry = NULL;
711
out:
A
Al Viro 已提交
712
	rcu_read_unlock();
713 714 715
drop_root_mnt:
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
N
Nick Piggin 已提交
716 717 718
	return -ECHILD;
}

719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736
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;
}

737
static inline int d_revalidate(struct dentry *dentry, unsigned int flags)
738
{
739
	return dentry->d_op->d_revalidate(dentry, flags);
740 741
}

742 743 744
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
745
 *
746 747 748 749 750
 * 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.
751
 */
752
static int complete_walk(struct nameidata *nd)
753
{
A
Al Viro 已提交
754
	struct dentry *dentry = nd->path.dentry;
755 756
	int status;

757 758 759
	if (nd->flags & LOOKUP_RCU) {
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
760
		if (unlikely(unlazy_walk(nd, NULL, 0)))
761 762 763
			return -ECHILD;
	}

A
Al Viro 已提交
764 765 766
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

767
	if (likely(!(dentry->d_flags & DCACHE_OP_WEAK_REVALIDATE)))
768 769
		return 0;

770
	status = dentry->d_op->d_weak_revalidate(dentry, nd->flags);
771 772 773
	if (status > 0)
		return 0;

A
Al Viro 已提交
774
	if (!status)
775
		status = -ESTALE;
A
Al Viro 已提交
776

777 778 779
	return status;
}

A
Al Viro 已提交
780
static void set_root(struct nameidata *nd)
A
Al Viro 已提交
781
{
782
	get_fs_root(current->fs, &nd->root);
A
Al Viro 已提交
783 784
}

A
Al Viro 已提交
785
static unsigned set_root_rcu(struct nameidata *nd)
N
Nick Piggin 已提交
786
{
787
	struct fs_struct *fs = current->fs;
788
	unsigned seq;
N
Nick Piggin 已提交
789

790 791 792
	do {
		seq = read_seqcount_begin(&fs->seq);
		nd->root = fs->root;
793
		nd->root_seq = __read_seqcount_begin(&nd->root.dentry->d_seq);
794
	} while (read_seqcount_retry(&fs->seq, seq));
795
	return nd->root_seq;
N
Nick Piggin 已提交
796 797
}

J
Jan Blunck 已提交
798
static void path_put_conditional(struct path *path, struct nameidata *nd)
799 800
{
	dput(path->dentry);
801
	if (path->mnt != nd->path.mnt)
802 803 804
		mntput(path->mnt);
}

805 806
static inline void path_to_nameidata(const struct path *path,
					struct nameidata *nd)
807
{
N
Nick Piggin 已提交
808 809 810 811
	if (!(nd->flags & LOOKUP_RCU)) {
		dput(nd->path.dentry);
		if (nd->path.mnt != path->mnt)
			mntput(nd->path.mnt);
812
	}
N
Nick Piggin 已提交
813
	nd->path.mnt = path->mnt;
814
	nd->path.dentry = path->dentry;
815 816
}

C
Christoph Hellwig 已提交
817 818 819 820
/*
 * Helper to directly jump to a known parsed path from ->follow_link,
 * caller must have taken a reference to path beforehand.
 */
821
void nd_jump_link(struct path *path)
C
Christoph Hellwig 已提交
822
{
823
	struct nameidata *nd = current->nameidata;
C
Christoph Hellwig 已提交
824 825 826 827 828 829 830
	path_put(&nd->path);

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

831
static inline void put_link(struct nameidata *nd)
832
{
A
Al Viro 已提交
833
	struct saved *last = nd->stack + --nd->depth;
A
Al Viro 已提交
834
	struct inode *inode = last->inode;
835
	if (last->cookie && inode->i_op->put_link)
836
		inode->i_op->put_link(inode, last->cookie);
A
Al Viro 已提交
837 838
	if (!(nd->flags & LOOKUP_RCU))
		path_put(&last->link);
839 840
}

841 842
int sysctl_protected_symlinks __read_mostly = 0;
int sysctl_protected_hardlinks __read_mostly = 0;
K
Kees Cook 已提交
843 844 845

/**
 * may_follow_link - Check symlink following for unsafe situations
846
 * @nd: nameidata pathwalk data
K
Kees Cook 已提交
847 848 849 850 851 852 853 854 855 856 857 858
 *
 * 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 已提交
859
static inline int may_follow_link(struct nameidata *nd)
K
Kees Cook 已提交
860 861 862 863 864 865 866 867
{
	const struct inode *inode;
	const struct inode *parent;

	if (!sysctl_protected_symlinks)
		return 0;

	/* Allowed if owner and follower match. */
A
Al Viro 已提交
868
	inode = nd->stack[0].inode;
869
	if (uid_eq(current_cred()->fsuid, inode->i_uid))
K
Kees Cook 已提交
870 871 872 873 874 875 876 877
		return 0;

	/* Allowed if parent directory not sticky and world-writable. */
	parent = nd->path.dentry->d_inode;
	if ((parent->i_mode & (S_ISVTX|S_IWOTH)) != (S_ISVTX|S_IWOTH))
		return 0;

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

881 882 883
	if (nd->flags & LOOKUP_RCU)
		return -ECHILD;

A
Al Viro 已提交
884
	audit_log_link_denied("follow_link", &nd->stack[0].link);
K
Kees Cook 已提交
885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 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
	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)
 *  - not CAP_FOWNER
 *
 * Returns 0 if successful, -ve on error.
 */
static int may_linkat(struct path *link)
{
	const struct cred *cred;
	struct inode *inode;

	if (!sysctl_protected_hardlinks)
		return 0;

	cred = current_cred();
	inode = link->dentry->d_inode;

	/* Source inode owner (or CAP_FOWNER) can hardlink all they like,
	 * otherwise, it must be a safe source.
	 */
949
	if (uid_eq(cred->fsuid, inode->i_uid) || safe_hardlink_source(inode) ||
K
Kees Cook 已提交
950 951 952
	    capable(CAP_FOWNER))
		return 0;

953
	audit_log_link_denied("linkat", link);
K
Kees Cook 已提交
954 955 956
	return -EPERM;
}

957 958
static __always_inline
const char *get_link(struct nameidata *nd)
L
Linus Torvalds 已提交
959
{
960
	struct saved *last = nd->stack + nd->depth - 1;
A
Al Viro 已提交
961
	struct dentry *dentry = last->link.dentry;
A
Al Viro 已提交
962
	struct inode *inode = last->inode;
963
	int error;
964
	const char *res;
L
Linus Torvalds 已提交
965

966 967 968 969
	if (!(nd->flags & LOOKUP_RCU)) {
		touch_atime(&last->link);
		cond_resched();
	} else if (atime_needs_update(&last->link, inode)) {
A
Al Viro 已提交
970 971
		if (unlikely(unlazy_walk(nd, NULL, 0)))
			return ERR_PTR(-ECHILD);
972
		touch_atime(&last->link);
A
Al Viro 已提交
973
	}
974

975 976 977
	error = security_inode_follow_link(dentry, inode,
					   nd->flags & LOOKUP_RCU);
	if (unlikely(error))
978
		return ERR_PTR(error);
979

980
	nd->last_type = LAST_BIND;
981 982
	res = inode->i_link;
	if (!res) {
983 984 985 986
		if (nd->flags & LOOKUP_RCU) {
			if (unlikely(unlazy_walk(nd, NULL, 0)))
				return ERR_PTR(-ECHILD);
		}
987
		res = inode->i_op->follow_link(dentry, &last->cookie);
988
		if (IS_ERR_OR_NULL(res)) {
989
			last->cookie = NULL;
990 991 992 993
			return res;
		}
	}
	if (*res == '/') {
994
		if (nd->flags & LOOKUP_RCU) {
995 996 997 998 999 1000 1001 1002
			struct dentry *d;
			if (!nd->root.mnt)
				set_root_rcu(nd);
			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)))
1003
				return ERR_PTR(-ECHILD);
1004 1005 1006 1007 1008 1009 1010
		} else {
			if (!nd->root.mnt)
				set_root(nd);
			path_put(&nd->path);
			nd->path = nd->root;
			path_get(&nd->root);
			nd->inode = nd->path.dentry->d_inode;
1011
		}
1012 1013 1014
		nd->flags |= LOOKUP_JUMPED;
		while (unlikely(*++res == '/'))
			;
L
Linus Torvalds 已提交
1015
	}
1016 1017
	if (!*res)
		res = NULL;
1018 1019
	return res;
}
1020

1021 1022 1023 1024 1025 1026 1027 1028 1029 1030
/*
 * 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 已提交
1031
int follow_up(struct path *path)
L
Linus Torvalds 已提交
1032
{
1033 1034
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
L
Linus Torvalds 已提交
1035
	struct dentry *mountpoint;
N
Nick Piggin 已提交
1036

A
Al Viro 已提交
1037
	read_seqlock_excl(&mount_lock);
1038
	parent = mnt->mnt_parent;
A
Al Viro 已提交
1039
	if (parent == mnt) {
A
Al Viro 已提交
1040
		read_sequnlock_excl(&mount_lock);
L
Linus Torvalds 已提交
1041 1042
		return 0;
	}
1043
	mntget(&parent->mnt);
1044
	mountpoint = dget(mnt->mnt_mountpoint);
A
Al Viro 已提交
1045
	read_sequnlock_excl(&mount_lock);
A
Al Viro 已提交
1046 1047 1048
	dput(path->dentry);
	path->dentry = mountpoint;
	mntput(path->mnt);
1049
	path->mnt = &parent->mnt;
L
Linus Torvalds 已提交
1050 1051
	return 1;
}
1052
EXPORT_SYMBOL(follow_up);
L
Linus Torvalds 已提交
1053

N
Nick Piggin 已提交
1054
/*
1055 1056 1057
 * Perform an automount
 * - return -EISDIR to tell follow_managed() to stop and return the path we
 *   were called with.
L
Linus Torvalds 已提交
1058
 */
1059
static int follow_automount(struct path *path, struct nameidata *nd,
1060
			    bool *need_mntput)
N
Nick Piggin 已提交
1061
{
1062
	struct vfsmount *mnt;
1063
	int err;
1064 1065 1066 1067

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

1068 1069 1070 1071 1072 1073 1074 1075 1076 1077
	/* 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.
1078
	 */
1079 1080
	if (!(nd->flags & (LOOKUP_PARENT | LOOKUP_DIRECTORY |
			   LOOKUP_OPEN | LOOKUP_CREATE | LOOKUP_AUTOMOUNT)) &&
1081 1082 1083
	    path->dentry->d_inode)
		return -EISDIR;

1084 1085
	nd->total_link_count++;
	if (nd->total_link_count >= 40)
1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098
		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.
		 */
1099
		if (PTR_ERR(mnt) == -EISDIR && (nd->flags & LOOKUP_PARENT))
1100 1101
			return -EREMOTE;
		return PTR_ERR(mnt);
N
Nick Piggin 已提交
1102
	}
1103

1104 1105
	if (!mnt) /* mount collision */
		return 0;
N
Nick Piggin 已提交
1106

1107 1108 1109 1110 1111
	if (!*need_mntput) {
		/* lock_mount() may release path->mnt on error */
		mntget(path->mnt);
		*need_mntput = true;
	}
1112
	err = finish_automount(mnt, path);
1113

1114 1115 1116
	switch (err) {
	case -EBUSY:
		/* Someone else made a mount here whilst we were busy */
1117
		return 0;
1118
	case 0:
1119
		path_put(path);
1120 1121 1122
		path->mnt = mnt;
		path->dentry = dget(mnt->mnt_root);
		return 0;
1123 1124
	default:
		return err;
1125
	}
1126

A
Al Viro 已提交
1127 1128
}

1129 1130
/*
 * Handle a dentry that is managed in some way.
1131
 * - Flagged for transit management (autofs)
1132 1133 1134 1135 1136 1137 1138
 * - Flagged as mountpoint
 * - Flagged as automount point
 *
 * This may only be called in refwalk mode.
 *
 * Serialization is taken care of in namespace.c
 */
1139
static int follow_managed(struct path *path, struct nameidata *nd)
L
Linus Torvalds 已提交
1140
{
1141
	struct vfsmount *mnt = path->mnt; /* held by caller, must be left alone */
1142 1143
	unsigned managed;
	bool need_mntput = false;
1144
	int ret = 0;
1145 1146 1147 1148 1149 1150 1151

	/* 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)) {
1152 1153 1154 1155 1156
		/* 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);
1157
			ret = path->dentry->d_op->d_manage(path->dentry, false);
1158
			if (ret < 0)
1159
				break;
1160 1161
		}

1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176
		/* 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 已提交
1177 1178
			 * namespace got unmounted before lookup_mnt() could
			 * get it */
1179 1180 1181 1182
		}

		/* Handle an automount point */
		if (managed & DCACHE_NEED_AUTOMOUNT) {
1183
			ret = follow_automount(path, nd, &need_mntput);
1184
			if (ret < 0)
1185
				break;
1186 1187 1188 1189 1190
			continue;
		}

		/* We didn't change the current path point */
		break;
L
Linus Torvalds 已提交
1191
	}
1192 1193 1194 1195 1196

	if (need_mntput && path->mnt == mnt)
		mntput(path->mnt);
	if (ret == -EISDIR)
		ret = 0;
1197 1198 1199 1200 1201
	if (need_mntput)
		nd->flags |= LOOKUP_JUMPED;
	if (unlikely(ret < 0))
		path_put_conditional(path, nd);
	return ret;
L
Linus Torvalds 已提交
1202 1203
}

1204
int follow_down_one(struct path *path)
L
Linus Torvalds 已提交
1205 1206 1207
{
	struct vfsmount *mounted;

A
Al Viro 已提交
1208
	mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
1209
	if (mounted) {
A
Al Viro 已提交
1210 1211 1212 1213
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
1214 1215 1216 1217
		return 1;
	}
	return 0;
}
1218
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
1219

1220
static inline int managed_dentry_rcu(struct dentry *dentry)
1221
{
1222 1223
	return (dentry->d_flags & DCACHE_MANAGE_TRANSIT) ?
		dentry->d_op->d_manage(dentry, true) : 0;
1224 1225
}

1226
/*
1227 1228
 * Try to skip to top of mountpoint pile in rcuwalk mode.  Fail if
 * we meet a managed dentry that would need blocking.
1229 1230
 */
static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
1231
			       struct inode **inode, unsigned *seqp)
1232
{
1233
	for (;;) {
1234
		struct mount *mounted;
1235 1236 1237 1238
		/*
		 * Don't forget we might have a non-mountpoint managed dentry
		 * that wants to block transit.
		 */
1239 1240 1241
		switch (managed_dentry_rcu(path->dentry)) {
		case -ECHILD:
		default:
1242
			return false;
1243 1244 1245 1246 1247
		case -EISDIR:
			return true;
		case 0:
			break;
		}
1248 1249

		if (!d_mountpoint(path->dentry))
1250
			return !(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1251

A
Al Viro 已提交
1252
		mounted = __lookup_mnt(path->mnt, path->dentry);
1253 1254
		if (!mounted)
			break;
1255 1256
		path->mnt = &mounted->mnt;
		path->dentry = mounted->mnt.mnt_root;
1257
		nd->flags |= LOOKUP_JUMPED;
1258
		*seqp = read_seqcount_begin(&path->dentry->d_seq);
1259 1260 1261 1262 1263 1264
		/*
		 * 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;
1265
	}
1266
	return !read_seqretry(&mount_lock, nd->m_seq) &&
1267
		!(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1268 1269
}

N
Nick Piggin 已提交
1270 1271
static int follow_dotdot_rcu(struct nameidata *nd)
{
1272
	struct inode *inode = nd->inode;
1273 1274
	if (!nd->root.mnt)
		set_root_rcu(nd);
N
Nick Piggin 已提交
1275

1276
	while (1) {
1277
		if (path_equal(&nd->path, &nd->root))
N
Nick Piggin 已提交
1278 1279 1280 1281 1282 1283
			break;
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
			struct dentry *old = nd->path.dentry;
			struct dentry *parent = old->d_parent;
			unsigned seq;

1284
			inode = parent->d_inode;
N
Nick Piggin 已提交
1285
			seq = read_seqcount_begin(&parent->d_seq);
1286 1287
			if (unlikely(read_seqcount_retry(&old->d_seq, nd->seq)))
				return -ECHILD;
N
Nick Piggin 已提交
1288 1289 1290
			nd->path.dentry = parent;
			nd->seq = seq;
			break;
1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305
		} 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 已提交
1306 1307
		}
	}
1308
	while (unlikely(d_mountpoint(nd->path.dentry))) {
1309 1310
		struct mount *mounted;
		mounted = __lookup_mnt(nd->path.mnt, nd->path.dentry);
1311 1312
		if (unlikely(read_seqretry(&mount_lock, nd->m_seq)))
			return -ECHILD;
1313 1314 1315 1316
		if (!mounted)
			break;
		nd->path.mnt = &mounted->mnt;
		nd->path.dentry = mounted->mnt.mnt_root;
1317
		inode = nd->path.dentry->d_inode;
1318 1319
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
	}
1320
	nd->inode = inode;
N
Nick Piggin 已提交
1321 1322 1323
	return 0;
}

1324 1325 1326 1327 1328
/*
 * 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.
 */
1329
int follow_down(struct path *path)
1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348
{
	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);
1349
			ret = path->dentry->d_op->d_manage(
1350
				path->dentry, false);
1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371
			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;
}
1372
EXPORT_SYMBOL(follow_down);
1373

1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389
/*
 * 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);
	}
}

N
Nick Piggin 已提交
1390
static void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1391
{
1392 1393
	if (!nd->root.mnt)
		set_root(nd);
1394

L
Linus Torvalds 已提交
1395
	while(1) {
1396
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
1397

A
Al Viro 已提交
1398 1399
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
L
Linus Torvalds 已提交
1400 1401
			break;
		}
1402
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
A
Al Viro 已提交
1403 1404
			/* rare case of legitimate dget_parent()... */
			nd->path.dentry = dget_parent(nd->path.dentry);
L
Linus Torvalds 已提交
1405 1406 1407
			dput(old);
			break;
		}
A
Al Viro 已提交
1408
		if (!follow_up(&nd->path))
L
Linus Torvalds 已提交
1409 1410
			break;
	}
A
Al Viro 已提交
1411
	follow_mount(&nd->path);
N
Nick Piggin 已提交
1412
	nd->inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
1413 1414
}

1415
/*
M
Miklos Szeredi 已提交
1416 1417 1418 1419 1420
 * 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
1421
 */
M
Miklos Szeredi 已提交
1422
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
1423
				    unsigned int flags, bool *need_lookup)
1424 1425
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1426
	int error;
1427

M
Miklos Szeredi 已提交
1428 1429 1430
	*need_lookup = false;
	dentry = d_lookup(dir, name);
	if (dentry) {
J
Jeff Layton 已提交
1431
		if (dentry->d_flags & DCACHE_OP_REVALIDATE) {
1432
			error = d_revalidate(dentry, flags);
M
Miklos Szeredi 已提交
1433 1434 1435 1436
			if (unlikely(error <= 0)) {
				if (error < 0) {
					dput(dentry);
					return ERR_PTR(error);
1437 1438
				} else {
					d_invalidate(dentry);
M
Miklos Szeredi 已提交
1439 1440 1441 1442 1443 1444
					dput(dentry);
					dentry = NULL;
				}
			}
		}
	}
1445

M
Miklos Szeredi 已提交
1446 1447 1448 1449
	if (!dentry) {
		dentry = d_alloc(dir, name);
		if (unlikely(!dentry))
			return ERR_PTR(-ENOMEM);
1450

M
Miklos Szeredi 已提交
1451
		*need_lookup = true;
1452 1453 1454 1455
	}
	return dentry;
}

1456
/*
1457 1458
 * Call i_op->lookup on the dentry.  The dentry must be negative and
 * unhashed.
M
Miklos Szeredi 已提交
1459 1460
 *
 * dir->d_inode->i_mutex must be held
1461
 */
M
Miklos Szeredi 已提交
1462
static struct dentry *lookup_real(struct inode *dir, struct dentry *dentry,
1463
				  unsigned int flags)
1464 1465 1466 1467
{
	struct dentry *old;

	/* Don't create child dentry for a dead directory. */
M
Miklos Szeredi 已提交
1468
	if (unlikely(IS_DEADDIR(dir))) {
1469
		dput(dentry);
1470
		return ERR_PTR(-ENOENT);
1471
	}
1472

1473
	old = dir->i_op->lookup(dir, dentry, flags);
1474 1475 1476 1477 1478 1479 1480
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
}

1481
static struct dentry *__lookup_hash(struct qstr *name,
1482
		struct dentry *base, unsigned int flags)
1483
{
M
Miklos Szeredi 已提交
1484
	bool need_lookup;
1485 1486
	struct dentry *dentry;

1487
	dentry = lookup_dcache(name, base, flags, &need_lookup);
M
Miklos Szeredi 已提交
1488 1489
	if (!need_lookup)
		return dentry;
1490

1491
	return lookup_real(base->d_inode, dentry, flags);
1492 1493
}

L
Linus Torvalds 已提交
1494 1495 1496 1497 1498
/*
 *  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 已提交
1499
static int lookup_fast(struct nameidata *nd,
1500 1501
		       struct path *path, struct inode **inode,
		       unsigned *seqp)
L
Linus Torvalds 已提交
1502
{
1503
	struct vfsmount *mnt = nd->path.mnt;
N
Nick Piggin 已提交
1504
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1505 1506
	int need_reval = 1;
	int status = 1;
1507 1508
	int err;

1509 1510 1511 1512 1513
	/*
	 * 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 已提交
1514 1515
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1516
		bool negative;
1517
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1518 1519 1520
		if (!dentry)
			goto unlazy;

1521 1522 1523 1524
		/*
		 * This sequence count validates that the inode matches
		 * the dentry name information from lookup.
		 */
1525
		*inode = d_backing_inode(dentry);
1526
		negative = d_is_negative(dentry);
1527 1528
		if (read_seqcount_retry(&dentry->d_seq, seq))
			return -ECHILD;
1529 1530
		if (negative)
			return -ENOENT;
1531 1532 1533 1534 1535 1536 1537 1538

		/*
		 * 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 已提交
1539 1540
		if (__read_seqcount_retry(&parent->d_seq, nd->seq))
			return -ECHILD;
A
Al Viro 已提交
1541

1542
		*seqp = seq;
1543
		if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE)) {
1544
			status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1545 1546 1547 1548 1549
			if (unlikely(status <= 0)) {
				if (status != -ECHILD)
					need_reval = 0;
				goto unlazy;
			}
1550
		}
N
Nick Piggin 已提交
1551 1552
		path->mnt = mnt;
		path->dentry = dentry;
1553
		if (likely(__follow_mount_rcu(nd, path, inode, seqp)))
1554
			return 0;
A
Al Viro 已提交
1555
unlazy:
1556
		if (unlazy_walk(nd, dentry, seq))
A
Al Viro 已提交
1557
			return -ECHILD;
A
Al Viro 已提交
1558
	} else {
A
Al Viro 已提交
1559
		dentry = __d_lookup(parent, &nd->last);
1560
	}
A
Al Viro 已提交
1561

1562 1563 1564
	if (unlikely(!dentry))
		goto need_lookup;

A
Al Viro 已提交
1565
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE) && need_reval)
1566
		status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1567 1568 1569 1570 1571
	if (unlikely(status <= 0)) {
		if (status < 0) {
			dput(dentry);
			return status;
		}
1572 1573 1574
		d_invalidate(dentry);
		dput(dentry);
		goto need_lookup;
1575
	}
M
Miklos Szeredi 已提交
1576

1577 1578 1579 1580
	if (unlikely(d_is_negative(dentry))) {
		dput(dentry);
		return -ENOENT;
	}
1581 1582
	path->mnt = mnt;
	path->dentry = dentry;
1583
	err = follow_managed(path, nd);
1584
	if (likely(!err))
1585
		*inode = d_backing_inode(path->dentry);
1586
	return err;
1587 1588

need_lookup:
M
Miklos Szeredi 已提交
1589 1590 1591 1592
	return 1;
}

/* Fast lookup failed, do it the slow way */
A
Al Viro 已提交
1593
static int lookup_slow(struct nameidata *nd, struct path *path)
M
Miklos Szeredi 已提交
1594 1595 1596 1597
{
	struct dentry *dentry, *parent;

	parent = nd->path.dentry;
1598 1599 1600
	BUG_ON(nd->inode != parent->d_inode);

	mutex_lock(&parent->d_inode->i_mutex);
A
Al Viro 已提交
1601
	dentry = __lookup_hash(&nd->last, parent, nd->flags);
1602 1603 1604
	mutex_unlock(&parent->d_inode->i_mutex);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
1605 1606
	path->mnt = nd->path.mnt;
	path->dentry = dentry;
1607
	return follow_managed(path, nd);
L
Linus Torvalds 已提交
1608 1609
}

1610 1611 1612
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1613
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1614 1615
		if (err != -ECHILD)
			return err;
1616
		if (unlazy_walk(nd, NULL, 0))
1617 1618
			return -ECHILD;
	}
1619
	return inode_permission(nd->inode, MAY_EXEC);
1620 1621
}

1622 1623 1624 1625
static inline int handle_dots(struct nameidata *nd, int type)
{
	if (type == LAST_DOTDOT) {
		if (nd->flags & LOOKUP_RCU) {
1626
			return follow_dotdot_rcu(nd);
1627 1628 1629 1630 1631 1632
		} else
			follow_dotdot(nd);
	}
	return 0;
}

1633 1634
static int pick_link(struct nameidata *nd, struct path *link,
		     struct inode *inode, unsigned seq)
1635
{
1636
	int error;
A
Al Viro 已提交
1637
	struct saved *last;
1638
	if (unlikely(nd->total_link_count++ >= MAXSYMLINKS)) {
1639 1640 1641
		path_to_nameidata(link, nd);
		return -ELOOP;
	}
A
Al Viro 已提交
1642
	if (!(nd->flags & LOOKUP_RCU)) {
1643 1644
		if (link->mnt == nd->path.mnt)
			mntget(link->mnt);
1645
	}
1646 1647
	error = nd_alloc_stack(nd);
	if (unlikely(error)) {
A
Al Viro 已提交
1648 1649 1650 1651 1652 1653 1654 1655 1656
		if (error == -ECHILD) {
			if (unlikely(unlazy_link(nd, link, seq)))
				return -ECHILD;
			error = nd_alloc_stack(nd);
		}
		if (error) {
			path_put(link);
			return error;
		}
1657 1658
	}

1659
	last = nd->stack + nd->depth++;
A
Al Viro 已提交
1660
	last->link = *link;
1661
	last->cookie = NULL;
1662
	last->inode = inode;
1663
	last->seq = seq;
1664 1665 1666
	return 1;
}

1667 1668 1669 1670 1671 1672
/*
 * 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.
 */
1673
static inline int should_follow_link(struct nameidata *nd, struct path *link,
1674 1675
				     int follow,
				     struct inode *inode, unsigned seq)
1676
{
1677 1678 1679 1680
	if (likely(!d_is_symlink(link->dentry)))
		return 0;
	if (!follow)
		return 0;
1681
	return pick_link(nd, link, inode, seq);
1682 1683
}

1684 1685 1686
enum {WALK_GET = 1, WALK_PUT = 2};

static int walk_component(struct nameidata *nd, int flags)
1687
{
A
Al Viro 已提交
1688
	struct path path;
1689
	struct inode *inode;
1690
	unsigned seq;
1691 1692 1693 1694 1695 1696
	int err;
	/*
	 * "." and ".." are special - ".." especially so because it has
	 * to be able to know about the current root directory and
	 * parent relationships.
	 */
1697 1698 1699 1700 1701 1702
	if (unlikely(nd->last_type != LAST_NORM)) {
		err = handle_dots(nd, nd->last_type);
		if (flags & WALK_PUT)
			put_link(nd);
		return err;
	}
1703
	err = lookup_fast(nd, &path, &inode, &seq);
1704
	if (unlikely(err)) {
M
Miklos Szeredi 已提交
1705
		if (err < 0)
1706
			return err;
M
Miklos Szeredi 已提交
1707

A
Al Viro 已提交
1708
		err = lookup_slow(nd, &path);
M
Miklos Szeredi 已提交
1709
		if (err < 0)
1710
			return err;
M
Miklos Szeredi 已提交
1711

1712
		inode = d_backing_inode(path.dentry);
1713
		seq = 0;	/* we are already out of RCU mode */
1714
		err = -ENOENT;
A
Al Viro 已提交
1715
		if (d_is_negative(path.dentry))
1716
			goto out_path_put;
1717
	}
M
Miklos Szeredi 已提交
1718

1719 1720
	if (flags & WALK_PUT)
		put_link(nd);
1721
	err = should_follow_link(nd, &path, flags & WALK_GET, inode, seq);
1722 1723
	if (unlikely(err))
		return err;
A
Al Viro 已提交
1724
	path_to_nameidata(&path, nd);
1725
	nd->inode = inode;
1726
	nd->seq = seq;
1727
	return 0;
M
Miklos Szeredi 已提交
1728 1729

out_path_put:
A
Al Viro 已提交
1730
	path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
1731
	return err;
1732 1733
}

1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752
/*
 * 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

1753
#include <asm/word-at-a-time.h>
1754

1755
#ifdef CONFIG_64BIT
1756 1757 1758

static inline unsigned int fold_hash(unsigned long hash)
{
1759
	return hash_64(hash, 32);
1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773
}

#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 (;;) {
1774
		a = load_unaligned_zeropad(name);
1775 1776 1777
		if (len < sizeof(unsigned long))
			break;
		hash += a;
1778
		hash *= 9;
1779 1780 1781 1782 1783
		name += sizeof(unsigned long);
		len -= sizeof(unsigned long);
		if (!len)
			goto done;
	}
1784
	mask = bytemask_from_count(len);
1785 1786 1787 1788 1789 1790 1791 1792
	hash += mask & a;
done:
	return fold_hash(hash);
}
EXPORT_SYMBOL(full_name_hash);

/*
 * Calculate the length and hash of the path component, and
1793
 * return the "hash_len" as the result.
1794
 */
1795
static inline u64 hash_name(const char *name)
1796
{
1797 1798
	unsigned long a, b, adata, bdata, mask, hash, len;
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;
1799 1800 1801 1802 1803 1804

	hash = a = 0;
	len = -sizeof(unsigned long);
	do {
		hash = (hash + a) * 9;
		len += sizeof(unsigned long);
1805
		a = load_unaligned_zeropad(name+len);
1806 1807 1808 1809 1810 1811 1812 1813 1814
		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);
1815
	len += find_zero(mask);
1816
	return hashlen_create(fold_hash(hash), len);
1817 1818 1819 1820
}

#else

L
Linus Torvalds 已提交
1821 1822 1823 1824 1825 1826 1827
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);
}
1828
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1829

1830 1831 1832 1833
/*
 * We know there's a real path component here of at least
 * one character.
 */
1834
static inline u64 hash_name(const char *name)
1835 1836 1837 1838 1839 1840 1841 1842 1843 1844
{
	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 != '/');
1845
	return hashlen_create(end_name_hash(hash), len);
1846 1847
}

1848 1849
#endif

L
Linus Torvalds 已提交
1850 1851
/*
 * Name resolution.
1852 1853
 * 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 已提交
1854
 *
1855 1856
 * 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 已提交
1857
 */
1858
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1859 1860
{
	int err;
A
Al Viro 已提交
1861

L
Linus Torvalds 已提交
1862 1863 1864
	while (*name=='/')
		name++;
	if (!*name)
1865
		return 0;
L
Linus Torvalds 已提交
1866 1867 1868

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

1872
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1873
 		if (err)
1874
			return err;
L
Linus Torvalds 已提交
1875

1876
		hash_len = hash_name(name);
L
Linus Torvalds 已提交
1877

A
Al Viro 已提交
1878
		type = LAST_NORM;
1879
		if (name[0] == '.') switch (hashlen_len(hash_len)) {
A
Al Viro 已提交
1880
			case 2:
1881
				if (name[1] == '.') {
A
Al Viro 已提交
1882
					type = LAST_DOTDOT;
A
Al Viro 已提交
1883 1884
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
1885 1886 1887 1888
				break;
			case 1:
				type = LAST_DOT;
		}
1889 1890
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
1891
			nd->flags &= ~LOOKUP_JUMPED;
1892
			if (unlikely(parent->d_flags & DCACHE_OP_HASH)) {
1893
				struct qstr this = { { .hash_len = hash_len }, .name = name };
1894
				err = parent->d_op->d_hash(parent, &this);
1895
				if (err < 0)
1896
					return err;
1897 1898
				hash_len = this.hash_len;
				name = this.name;
1899 1900
			}
		}
A
Al Viro 已提交
1901

1902 1903
		nd->last.hash_len = hash_len;
		nd->last.name = name;
1904 1905
		nd->last_type = type;

1906 1907
		name += hashlen_len(hash_len);
		if (!*name)
1908
			goto OK;
1909 1910 1911 1912 1913
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
1914 1915
			name++;
		} while (unlikely(*name == '/'));
1916 1917
		if (unlikely(!*name)) {
OK:
1918
			/* pathname body, done */
1919 1920 1921
			if (!nd->depth)
				return 0;
			name = nd->stack[nd->depth - 1].name;
1922
			/* trailing symlink, done */
1923 1924 1925
			if (!name)
				return 0;
			/* last component of nested symlink */
1926
			err = walk_component(nd, WALK_GET | WALK_PUT);
1927
		} else {
1928
			err = walk_component(nd, WALK_GET);
1929
		}
1930
		if (err < 0)
1931
			return err;
L
Linus Torvalds 已提交
1932

1933
		if (err) {
1934
			const char *s = get_link(nd);
1935

1936 1937
			if (unlikely(IS_ERR(s)))
				return PTR_ERR(s);
1938 1939 1940
			err = 0;
			if (unlikely(!s)) {
				/* jumped */
1941
				put_link(nd);
1942
			} else {
1943 1944 1945
				nd->stack[nd->depth - 1].name = name;
				name = s;
				continue;
1946
			}
N
Nick Piggin 已提交
1947
		}
1948 1949
		if (unlikely(!d_can_lookup(nd->path.dentry)))
			return -ENOTDIR;
L
Linus Torvalds 已提交
1950 1951 1952
	}
}

1953 1954
static const char *path_init(int dfd, const struct filename *name,
			     unsigned int flags, struct nameidata *nd)
N
Nick Piggin 已提交
1955 1956
{
	int retval = 0;
A
Al Viro 已提交
1957
	const char *s = name->name;
N
Nick Piggin 已提交
1958 1959

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
1960
	nd->flags = flags | LOOKUP_JUMPED | LOOKUP_PARENT;
N
Nick Piggin 已提交
1961
	nd->depth = 0;
1962
	nd->total_link_count = 0;
1963
	if (flags & LOOKUP_ROOT) {
1964 1965
		struct dentry *root = nd->root.dentry;
		struct inode *inode = root->d_inode;
A
Al Viro 已提交
1966
		if (*s) {
M
Miklos Szeredi 已提交
1967
			if (!d_can_lookup(root))
1968
				return ERR_PTR(-ENOTDIR);
A
Al Viro 已提交
1969 1970
			retval = inode_permission(inode, MAY_EXEC);
			if (retval)
1971
				return ERR_PTR(retval);
A
Al Viro 已提交
1972
		}
1973 1974 1975
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1976
			rcu_read_lock();
1977
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
1978
			nd->root_seq = nd->seq;
A
Al Viro 已提交
1979
			nd->m_seq = read_seqbegin(&mount_lock);
1980 1981 1982
		} else {
			path_get(&nd->path);
		}
1983
		return s;
1984 1985
	}

N
Nick Piggin 已提交
1986 1987
	nd->root.mnt = NULL;

A
Al Viro 已提交
1988
	nd->m_seq = read_seqbegin(&mount_lock);
A
Al Viro 已提交
1989
	if (*s == '/') {
A
Al Viro 已提交
1990
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1991
			rcu_read_lock();
1992
			nd->seq = set_root_rcu(nd);
A
Al Viro 已提交
1993 1994 1995 1996 1997
		} else {
			set_root(nd);
			path_get(&nd->root);
		}
		nd->path = nd->root;
N
Nick Piggin 已提交
1998
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1999 2000 2001
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
2002

A
Al Viro 已提交
2003
			rcu_read_lock();
N
Nick Piggin 已提交
2004

A
Al Viro 已提交
2005 2006 2007 2008 2009 2010 2011 2012
			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 已提交
2013
	} else {
2014
		/* Caller must check execute permissions on the starting path component */
2015
		struct fd f = fdget_raw(dfd);
N
Nick Piggin 已提交
2016 2017
		struct dentry *dentry;

2018
		if (!f.file)
2019
			return ERR_PTR(-EBADF);
N
Nick Piggin 已提交
2020

2021
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
2022

A
Al Viro 已提交
2023
		if (*s) {
M
Miklos Szeredi 已提交
2024
			if (!d_can_lookup(dentry)) {
2025
				fdput(f);
2026
				return ERR_PTR(-ENOTDIR);
2027
			}
A
Al Viro 已提交
2028
		}
N
Nick Piggin 已提交
2029

2030
		nd->path = f.file->f_path;
A
Al Viro 已提交
2031
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
2032
			rcu_read_lock();
A
Al Viro 已提交
2033 2034
			nd->inode = nd->path.dentry->d_inode;
			nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
2035
		} else {
2036
			path_get(&nd->path);
A
Al Viro 已提交
2037
			nd->inode = nd->path.dentry->d_inode;
A
Al Viro 已提交
2038
		}
A
Al Viro 已提交
2039
		fdput(f);
2040
		return s;
N
Nick Piggin 已提交
2041 2042 2043
	}

	nd->inode = nd->path.dentry->d_inode;
2044
	if (!(flags & LOOKUP_RCU))
2045
		return s;
2046
	if (likely(!read_seqcount_retry(&nd->path.dentry->d_seq, nd->seq)))
2047
		return s;
2048 2049 2050
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
	rcu_read_unlock();
2051
	return ERR_PTR(-ECHILD);
2052 2053
}

A
Al Viro 已提交
2054 2055 2056 2057 2058 2059
static void path_cleanup(struct nameidata *nd)
{
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT)) {
		path_put(&nd->root);
		nd->root.mnt = NULL;
	}
2060 2061
}

2062
static const char *trailing_symlink(struct nameidata *nd)
2063 2064
{
	const char *s;
A
Al Viro 已提交
2065
	int error = may_follow_link(nd);
2066
	if (unlikely(error))
2067
		return ERR_PTR(error);
2068
	nd->flags |= LOOKUP_PARENT;
2069
	nd->stack[0].name = NULL;
2070
	s = get_link(nd);
2071
	return s ? s : "";
2072 2073
}

A
Al Viro 已提交
2074
static inline int lookup_last(struct nameidata *nd)
2075 2076 2077 2078 2079
{
	if (nd->last_type == LAST_NORM && nd->last.name[nd->last.len])
		nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;

	nd->flags &= ~LOOKUP_PARENT;
2080
	return walk_component(nd,
2081 2082 2083 2084 2085
			nd->flags & LOOKUP_FOLLOW
				? nd->depth
					? WALK_PUT | WALK_GET
					: WALK_GET
				: 0);
2086 2087
}

2088
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2089 2090
static int path_lookupat(int dfd, const struct filename *name, unsigned flags,
			 struct nameidata *nd, struct path *path)
2091
{
2092
	const char *s = path_init(dfd, name, flags, nd);
2093
	int err;
N
Nick Piggin 已提交
2094

2095 2096
	if (IS_ERR(s))
		return PTR_ERR(s);
2097 2098 2099 2100 2101 2102
	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;
2103 2104
		}
	}
2105 2106
	if (!err)
		err = complete_walk(nd);
2107

2108 2109
	if (!err && nd->flags & LOOKUP_DIRECTORY)
		if (!d_can_lookup(nd->path.dentry))
A
Al Viro 已提交
2110
			err = -ENOTDIR;
2111 2112 2113 2114 2115 2116
	if (!err) {
		*path = nd->path;
		nd->path.mnt = NULL;
		nd->path.dentry = NULL;
	}
	terminate_walk(nd);
A
Al Viro 已提交
2117
	path_cleanup(nd);
2118
	return err;
A
Al Viro 已提交
2119
}
N
Nick Piggin 已提交
2120

2121
static int filename_lookup(int dfd, struct filename *name, unsigned flags,
2122
			   struct path *path, struct path *root)
A
Al Viro 已提交
2123
{
2124
	int retval;
2125 2126 2127 2128
	struct nameidata nd, *saved_nd;
	if (IS_ERR(name))
		return PTR_ERR(name);
	saved_nd = set_nameidata(&nd);
2129 2130 2131 2132 2133
	if (unlikely(root)) {
		nd.root = *root;
		flags |= LOOKUP_ROOT;
	}
	retval = path_lookupat(dfd, name, flags | LOOKUP_RCU, &nd, path);
A
Al Viro 已提交
2134
	if (unlikely(retval == -ECHILD))
2135
		retval = path_lookupat(dfd, name, flags, &nd, path);
A
Al Viro 已提交
2136
	if (unlikely(retval == -ESTALE))
2137
		retval = path_lookupat(dfd, name, flags | LOOKUP_REVAL,
2138
				       &nd, path);
N
Nick Piggin 已提交
2139

2140
	if (likely(!retval))
2141
		audit_inode(name, path->dentry, flags & LOOKUP_PARENT);
2142
	restore_nameidata(saved_nd);
2143
	putname(name);
2144
	return retval;
L
Linus Torvalds 已提交
2145 2146
}

2147 2148 2149 2150
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
static int path_parentat(int dfd, const struct filename *name,
				unsigned int flags, struct nameidata *nd)
{
2151 2152 2153 2154 2155
	const char *s = path_init(dfd, name, flags, nd);
	int err;
	if (IS_ERR(s))
		return PTR_ERR(s);
	err = link_path_walk(s, nd);
2156 2157
	if (!err)
		err = complete_walk(nd);
2158 2159
	if (err)
		terminate_walk(nd);
2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181
	path_cleanup(nd);
	return err;
}

static int filename_parentat(int dfd, struct filename *name,
				unsigned int flags, struct nameidata *nd)
{
	int retval;
	struct nameidata *saved_nd = set_nameidata(nd);

	retval = path_parentat(dfd, name, flags | LOOKUP_RCU, nd);
	if (unlikely(retval == -ECHILD))
		retval = path_parentat(dfd, name, flags, nd);
	if (unlikely(retval == -ESTALE))
		retval = path_parentat(dfd, name, flags | LOOKUP_REVAL, nd);

	if (likely(!retval))
		audit_inode(name, nd->path.dentry, LOOKUP_PARENT);
	restore_nameidata(saved_nd);
	return retval;
}

A
Al Viro 已提交
2182 2183
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2184
{
2185
	struct filename *filename = getname_kernel(name);
A
Al Viro 已提交
2186 2187
	struct nameidata nd;
	struct dentry *d;
2188 2189 2190 2191 2192
	int err;

	if (IS_ERR(filename))
		return ERR_CAST(filename);

2193
	err = filename_parentat(AT_FDCWD, filename, 0, &nd);
2194 2195 2196 2197
	if (err) {
		d = ERR_PTR(err);
		goto out;
	}
A
Al Viro 已提交
2198 2199
	if (nd.last_type != LAST_NORM) {
		path_put(&nd.path);
2200 2201
		d = ERR_PTR(-EINVAL);
		goto out;
A
Al Viro 已提交
2202 2203
	}
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2204
	d = __lookup_hash(&nd.last, nd.path.dentry, 0);
A
Al Viro 已提交
2205 2206 2207
	if (IS_ERR(d)) {
		mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
		path_put(&nd.path);
2208
		goto out;
A
Al Viro 已提交
2209 2210
	}
	*path = nd.path;
2211 2212
out:
	putname(filename);
A
Al Viro 已提交
2213
	return d;
2214 2215
}

A
Al Viro 已提交
2216 2217
int kern_path(const char *name, unsigned int flags, struct path *path)
{
2218 2219
	return filename_lookup(AT_FDCWD, getname_kernel(name),
			       flags, path, NULL);
A
Al Viro 已提交
2220
}
2221
EXPORT_SYMBOL(kern_path);
A
Al Viro 已提交
2222

2223 2224 2225 2226 2227 2228
/**
 * 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
2229
 * @path: pointer to struct path to fill
2230 2231 2232
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2233
		    struct path *path)
2234
{
2235 2236
	struct path root = {.mnt = mnt, .dentry = dentry};
	/* the first argument of filename_lookup() is ignored with root */
2237 2238
	return filename_lookup(AT_FDCWD, getname_kernel(name),
			       flags , path, &root);
2239
}
2240
EXPORT_SYMBOL(vfs_path_lookup);
2241

2242
/**
2243
 * lookup_one_len - filesystem helper to lookup single pathname component
2244 2245 2246 2247
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
2248
 * Note that this routine is purely a helper for filesystem usage and should
2249
 * not be called by generic code.
2250
 */
2251 2252 2253
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
2254
	unsigned int c;
2255
	int err;
2256

2257 2258
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2259 2260
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2261
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2262 2263 2264
	if (!len)
		return ERR_PTR(-EACCES);

A
Al Viro 已提交
2265 2266 2267 2268 2269
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
			return ERR_PTR(-EACCES);
	}

A
Al Viro 已提交
2270 2271 2272 2273 2274
	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2275 2276 2277 2278 2279
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2280
		int err = base->d_op->d_hash(base, &this);
2281 2282 2283
		if (err < 0)
			return ERR_PTR(err);
	}
2284

2285 2286 2287 2288
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

2289
	return __lookup_hash(&this, base, 0);
2290
}
2291
EXPORT_SYMBOL(lookup_one_len);
2292

2293 2294
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2295
{
2296 2297
	return filename_lookup(dfd, getname_flags(name, flags, empty),
			       flags, path, NULL);
L
Linus Torvalds 已提交
2298 2299
}

2300 2301 2302
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
{
2303
	return user_path_at_empty(dfd, name, flags, path, NULL);
2304
}
2305
EXPORT_SYMBOL(user_path_at);
2306

2307 2308 2309 2310 2311 2312
/*
 * 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.
 */
2313
static struct filename *
2314 2315 2316 2317
user_path_parent(int dfd, const char __user *path,
		 struct path *parent,
		 struct qstr *last,
		 int *type,
2318
		 unsigned int flags)
2319
{
2320
	struct nameidata nd;
2321
	struct filename *s = getname(path);
2322 2323
	int error;

2324 2325 2326
	/* only LOOKUP_REVAL is allowed in extra flags */
	flags &= LOOKUP_REVAL;

2327
	if (IS_ERR(s))
2328
		return s;
2329

2330
	error = filename_parentat(dfd, s, flags, &nd);
2331
	if (error) {
2332
		putname(s);
2333 2334
		return ERR_PTR(error);
	}
2335 2336 2337
	*parent = nd.path;
	*last = nd.last;
	*type = nd.last_type;
2338

2339
	return s;
2340 2341
}

2342
/**
2343
 * mountpoint_last - look up last component for umount
2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369
 * @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
2370
mountpoint_last(struct nameidata *nd, struct path *path)
2371 2372 2373 2374 2375
{
	int error = 0;
	struct dentry *dentry;
	struct dentry *dir = nd->path.dentry;

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

	nd->flags &= ~LOOKUP_PARENT;

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

	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) {
2402
			mutex_unlock(&dir->d_inode->i_mutex);
2403
			return -ENOMEM;
2404
		}
2405
		dentry = lookup_real(dir->d_inode, dentry, nd->flags);
2406 2407
		if (IS_ERR(dentry)) {
			mutex_unlock(&dir->d_inode->i_mutex);
2408
			return PTR_ERR(dentry);
2409
		}
2410 2411 2412
	}
	mutex_unlock(&dir->d_inode->i_mutex);

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

/**
2432
 * path_mountpoint - look up a path to be umounted
2433 2434
 * @dfd:	directory file descriptor to start walk from
 * @name:	full pathname to walk
2435
 * @path:	pointer to container for result
2436 2437 2438
 * @flags:	lookup flags
 *
 * Look up the given name, but don't attempt to revalidate the last component.
2439
 * Returns 0 and "path" will be valid on success; Returns error otherwise.
2440 2441
 */
static int
2442
path_mountpoint(int dfd, const struct filename *name, struct path *path,
2443
		struct nameidata *nd, unsigned int flags)
2444
{
2445 2446 2447 2448
	const char *s = path_init(dfd, name, flags, nd);
	int err;
	if (IS_ERR(s))
		return PTR_ERR(s);
2449 2450 2451 2452 2453
	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);
2454
			break;
2455
		}
2456
	}
2457
	terminate_walk(nd);
2458
	path_cleanup(nd);
2459 2460 2461
	return err;
}

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

2483
/**
2484
 * user_path_mountpoint_at - lookup a path from userland in order to umount it
2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497
 * @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
2498
user_path_mountpoint_at(int dfd, const char __user *name, unsigned int flags,
2499 2500
			struct path *path)
{
2501
	return filename_mountpoint(dfd, getname(name), path, flags);
2502 2503
}

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

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

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

/*
 *	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().
 */
2543
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2544
{
2545
	struct inode *inode = d_backing_inode(victim);
L
Linus Torvalds 已提交
2546 2547
	int error;

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

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

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

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

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

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

2610 2611 2612 2613 2614
	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 已提交
2615 2616
	}

2617 2618 2619 2620 2621
	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 已提交
2622 2623
	}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

M
Miklos Szeredi 已提交
2742 2743 2744 2745 2746 2747 2748 2749 2750 2751 2752 2753 2754
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);
}

2755 2756 2757 2758 2759 2760 2761 2762 2763 2764 2765 2766 2767
/*
 * 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.
 */
2768 2769 2770
static int atomic_open(struct nameidata *nd, struct dentry *dentry,
			struct path *path, struct file *file,
			const struct open_flags *op,
2771
			bool got_write, bool need_lookup,
2772
			int *opened)
M
Miklos Szeredi 已提交
2773 2774 2775 2776 2777 2778 2779 2780
{
	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;
2781
	bool excl;
M
Miklos Szeredi 已提交
2782 2783 2784 2785 2786

	BUG_ON(dentry->d_inode);

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

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

2795 2796
	excl = (open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT);
	if (excl)
M
Miklos Szeredi 已提交
2797 2798 2799 2800 2801 2802 2803 2804 2805 2806 2807
		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).
	 */
2808 2809 2810
	if (((open_flag & (O_CREAT | O_TRUNC)) ||
	    (open_flag & O_ACCMODE) != O_RDONLY) && unlikely(!got_write)) {
		if (!(open_flag & O_CREAT)) {
M
Miklos Szeredi 已提交
2811 2812 2813 2814 2815 2816 2817
			/*
			 * 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 */
2818
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2819 2820 2821
			goto no_open;
		} else {
			/* No side effects, safe to clear O_CREAT */
2822
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2823 2824 2825 2826 2827
			open_flag &= ~O_CREAT;
		}
	}

	if (open_flag & O_CREAT) {
2828
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839
		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 已提交
2840 2841 2842
	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,
2843
				      opened);
A
Al Viro 已提交
2844 2845 2846
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2847 2848 2849
		goto out;
	}

A
Al Viro 已提交
2850
	if (error) {	/* returned 1, that is */
A
Al Viro 已提交
2851
		if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2852
			error = -EIO;
M
Miklos Szeredi 已提交
2853 2854
			goto out;
		}
A
Al Viro 已提交
2855
		if (file->f_path.dentry) {
M
Miklos Szeredi 已提交
2856
			dput(dentry);
A
Al Viro 已提交
2857
			dentry = file->f_path.dentry;
M
Miklos Szeredi 已提交
2858
		}
2859 2860 2861 2862 2863 2864 2865 2866 2867 2868 2869 2870 2871
		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;
			}
2872
		}
M
Miklos Szeredi 已提交
2873 2874 2875 2876 2877 2878 2879
		goto looked_up;
	}

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

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

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

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

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

M
Miklos Szeredi 已提交
2922
/*
2923
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2924 2925 2926
 *
 * Must be called with i_mutex held on parent.
 *
2927 2928 2929 2930 2931 2932 2933 2934 2935 2936 2937 2938
 * 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 已提交
2939
 */
2940 2941 2942
static int lookup_open(struct nameidata *nd, struct path *path,
			struct file *file,
			const struct open_flags *op,
2943
			bool got_write, int *opened)
M
Miklos Szeredi 已提交
2944 2945
{
	struct dentry *dir = nd->path.dentry;
2946
	struct inode *dir_inode = dir->d_inode;
M
Miklos Szeredi 已提交
2947 2948
	struct dentry *dentry;
	int error;
2949
	bool need_lookup;
M
Miklos Szeredi 已提交
2950

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

M
Miklos Szeredi 已提交
2956 2957 2958 2959 2960
	/* 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) {
2961
		return atomic_open(nd, dentry, path, file, op, got_write,
2962
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2963 2964
	}

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

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

M
Miklos Szeredi 已提交
2973 2974 2975 2976 2977 2978 2979 2980 2981 2982
	/* 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
2983
		 * the 'struct file' in finish_open().
M
Miklos Szeredi 已提交
2984
		 */
2985 2986
		if (!got_write) {
			error = -EROFS;
M
Miklos Szeredi 已提交
2987
			goto out_dput;
2988
		}
2989
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2990 2991 2992
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto out_dput;
A
Al Viro 已提交
2993 2994
		error = vfs_create(dir->d_inode, dentry, mode,
				   nd->flags & LOOKUP_EXCL);
M
Miklos Szeredi 已提交
2995 2996 2997
		if (error)
			goto out_dput;
	}
M
Miklos Szeredi 已提交
2998
out_no_open:
M
Miklos Szeredi 已提交
2999 3000
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
3001
	return 1;
M
Miklos Szeredi 已提交
3002 3003 3004

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

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

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

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

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

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

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

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

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

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

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

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

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

	/*
3103
	 * create/update audit record if it already exists.
3104
	 */
3105 3106
	if (d_is_positive(path.dentry))
		audit_inode(name, path.dentry, 0);
3107

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

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

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

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

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

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

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

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

	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 已提交
3190
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
3191
			goto stale_open;
3192
		goto out;
M
Miklos Szeredi 已提交
3193
	}
3194
opened:
3195
	error = open_check_o_direct(file);
3196 3197
	if (error)
		goto exit_fput;
3198
	error = ima_file_check(file, op->acc_mode, *opened);
3199 3200 3201 3202
	if (error)
		goto exit_fput;

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

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

M
Miklos Szeredi 已提交
3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227
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;
3228
	if (got_write) {
M
Miklos Szeredi 已提交
3229
		mnt_drop_write(nd->path.mnt);
3230
		got_write = false;
M
Miklos Szeredi 已提交
3231 3232 3233
	}
	retried = true;
	goto retry_lookup;
3234 3235
}

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

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

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

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

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

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

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

A
Al Viro 已提交
3355
	filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_RCU);
3356
	if (unlikely(filp == ERR_PTR(-ECHILD)))
A
Al Viro 已提交
3357
		filp = path_openat(dfd, pathname, &nd, op, flags);
3358
	if (unlikely(filp == ERR_PTR(-ESTALE)))
A
Al Viro 已提交
3359
		filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_REVAL);
3360
	restore_nameidata(saved_nd);
3361 3362 3363
	return filp;
}

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

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

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

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

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

3393
static struct dentry *filename_create(int dfd, struct filename *name,
3394
				struct path *path, unsigned int lookup_flags)
L
Linus Torvalds 已提交
3395
{
3396
	struct dentry *dentry = ERR_PTR(-EEXIST);
A
Al Viro 已提交
3397
	struct nameidata nd;
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
	error = filename_parentat(dfd, name, lookup_flags, &nd);
A
Al Viro 已提交
3409 3410
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
3411

3412 3413 3414 3415
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
A
Al Viro 已提交
3416 3417 3418 3419
	if (nd.last_type != LAST_NORM)
		goto out;
	nd.flags &= ~LOOKUP_PARENT;
	nd.flags |= LOOKUP_CREATE | LOOKUP_EXCL;
3420

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

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

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

	if (IS_ERR(filename))
		return ERR_CAST(filename);
	res = filename_create(dfd, filename, path, lookup_flags);
	putname(filename);
	return res;
3474
}
3475 3476
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3477 3478 3479 3480
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3481
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3482 3483 3484 3485
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

3486 3487
struct dentry *user_path_create(int dfd, const char __user *pathname,
				struct path *path, unsigned int lookup_flags)
3488
{
3489
	struct filename *tmp = getname(pathname);
3490 3491 3492
	struct dentry *res;
	if (IS_ERR(tmp))
		return ERR_CAST(tmp);
3493
	res = filename_create(dfd, tmp, path, lookup_flags);
3494 3495 3496 3497 3498
	putname(tmp);
	return res;
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3499
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3500
{
3501
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3502 3503 3504 3505

	if (error)
		return error;

3506
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3507 3508
		return -EPERM;

A
Al Viro 已提交
3509
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3510 3511
		return -EPERM;

3512 3513 3514 3515
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3516 3517 3518 3519 3520
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3521
	if (!error)
3522
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3523 3524
	return error;
}
3525
EXPORT_SYMBOL(vfs_mknod);
L
Linus Torvalds 已提交
3526

A
Al Viro 已提交
3527
static int may_mknod(umode_t mode)
3528 3529 3530 3531 3532 3533 3534 3535 3536 3537 3538 3539 3540 3541 3542 3543
{
	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 已提交
3544
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
3545
		unsigned, dev)
L
Linus Torvalds 已提交
3546
{
3547
	struct dentry *dentry;
3548 3549
	struct path path;
	int error;
3550
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3551

3552 3553 3554
	error = may_mknod(mode);
	if (error)
		return error;
3555 3556
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3557 3558
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3559

3560
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3561
		mode &= ~current_umask();
3562
	error = security_path_mknod(&path, dentry, mode, dev);
3563
	if (error)
3564
		goto out;
3565
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3566
		case 0: case S_IFREG:
A
Al Viro 已提交
3567
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
L
Linus Torvalds 已提交
3568 3569
			break;
		case S_IFCHR: case S_IFBLK:
3570
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3571 3572 3573
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3574
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3575 3576
			break;
	}
3577
out:
A
Al Viro 已提交
3578
	done_path_create(&path, dentry);
3579 3580 3581 3582
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3583 3584 3585
	return error;
}

A
Al Viro 已提交
3586
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3587 3588 3589 3590
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

3591
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3592
{
3593
	int error = may_create(dir, dentry);
3594
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3595 3596 3597 3598

	if (error)
		return error;

A
Al Viro 已提交
3599
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3600 3601 3602 3603 3604 3605 3606
		return -EPERM;

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

3607 3608 3609
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3610
	error = dir->i_op->mkdir(dir, dentry, mode);
3611
	if (!error)
3612
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3613 3614
	return error;
}
3615
EXPORT_SYMBOL(vfs_mkdir);
L
Linus Torvalds 已提交
3616

3617
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
3618
{
3619
	struct dentry *dentry;
3620 3621
	struct path path;
	int error;
3622
	unsigned int lookup_flags = LOOKUP_DIRECTORY;
L
Linus Torvalds 已提交
3623

3624 3625
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3626
	if (IS_ERR(dentry))
3627
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3628

3629
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3630
		mode &= ~current_umask();
3631
	error = security_path_mkdir(&path, dentry, mode);
3632 3633
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3634
	done_path_create(&path, dentry);
3635 3636 3637 3638
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3639 3640 3641
	return error;
}

3642
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3643 3644 3645 3646
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
3647
/*
S
Sage Weil 已提交
3648
 * The dentry_unhash() helper will try to drop the dentry early: we
3649
 * should have a usage count of 1 if we're the only user of this
S
Sage Weil 已提交
3650 3651
 * dentry, and if that is true (possibly after pruning the dcache),
 * then we drop the dentry now.
L
Linus Torvalds 已提交
3652 3653 3654 3655 3656 3657 3658 3659 3660 3661 3662 3663
 *
 * 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)
{
3664
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
3665
	spin_lock(&dentry->d_lock);
3666
	if (dentry->d_lockref.count == 1)
L
Linus Torvalds 已提交
3667 3668 3669
		__d_drop(dentry);
	spin_unlock(&dentry->d_lock);
}
3670
EXPORT_SYMBOL(dentry_unhash);
L
Linus Torvalds 已提交
3671 3672 3673 3674 3675 3676 3677 3678

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

	if (error)
		return error;

A
Al Viro 已提交
3679
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3680 3681
		return -EPERM;

3682
	dget(dentry);
3683
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3684 3685

	error = -EBUSY;
3686
	if (is_local_mountpoint(dentry))
S
Sage Weil 已提交
3687 3688 3689 3690 3691 3692
		goto out;

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

3693
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3694 3695 3696 3697 3698 3699
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);
3700
	detach_mounts(dentry);
S
Sage Weil 已提交
3701 3702

out:
3703
	mutex_unlock(&dentry->d_inode->i_mutex);
3704
	dput(dentry);
S
Sage Weil 已提交
3705
	if (!error)
L
Linus Torvalds 已提交
3706 3707 3708
		d_delete(dentry);
	return error;
}
3709
EXPORT_SYMBOL(vfs_rmdir);
L
Linus Torvalds 已提交
3710

3711
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3712 3713
{
	int error = 0;
3714
	struct filename *name;
L
Linus Torvalds 已提交
3715
	struct dentry *dentry;
3716 3717 3718
	struct path path;
	struct qstr last;
	int type;
3719 3720
	unsigned int lookup_flags = 0;
retry:
3721 3722
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3723 3724
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3725

3726
	switch (type) {
3727 3728 3729 3730 3731 3732 3733 3734 3735
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3736
	}
3737

3738
	error = mnt_want_write(path.mnt);
3739 3740
	if (error)
		goto exit1;
3741

3742 3743
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3744
	error = PTR_ERR(dentry);
3745 3746
	if (IS_ERR(dentry))
		goto exit2;
3747 3748 3749 3750
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3751
	error = security_path_rmdir(&path, dentry);
3752
	if (error)
3753
		goto exit3;
3754
	error = vfs_rmdir(path.dentry->d_inode, dentry);
3755
exit3:
3756 3757
	dput(dentry);
exit2:
3758 3759
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3760
exit1:
3761
	path_put(&path);
L
Linus Torvalds 已提交
3762
	putname(name);
3763 3764 3765 3766
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3767 3768 3769
	return error;
}

3770
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3771 3772 3773 3774
{
	return do_rmdir(AT_FDCWD, pathname);
}

3775 3776 3777 3778 3779 3780 3781 3782 3783 3784 3785 3786 3787 3788 3789 3790 3791 3792 3793
/**
 * 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 已提交
3794
{
J
J. Bruce Fields 已提交
3795
	struct inode *target = dentry->d_inode;
L
Linus Torvalds 已提交
3796 3797 3798 3799 3800
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3801
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3802 3803
		return -EPERM;

J
J. Bruce Fields 已提交
3804
	mutex_lock(&target->i_mutex);
3805
	if (is_local_mountpoint(dentry))
L
Linus Torvalds 已提交
3806 3807 3808
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3809
		if (!error) {
3810 3811
			error = try_break_deleg(target, delegated_inode);
			if (error)
3812
				goto out;
L
Linus Torvalds 已提交
3813
			error = dir->i_op->unlink(dir, dentry);
3814
			if (!error) {
3815
				dont_mount(dentry);
3816 3817
				detach_mounts(dentry);
			}
3818
		}
L
Linus Torvalds 已提交
3819
	}
3820
out:
J
J. Bruce Fields 已提交
3821
	mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3822 3823 3824

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

L
Linus Torvalds 已提交
3829 3830
	return error;
}
3831
EXPORT_SYMBOL(vfs_unlink);
L
Linus Torvalds 已提交
3832 3833 3834

/*
 * Make sure that the actual truncation of the file will occur outside its
3835
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3836 3837 3838
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3839
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3840
{
3841
	int error;
3842
	struct filename *name;
L
Linus Torvalds 已提交
3843
	struct dentry *dentry;
3844 3845 3846
	struct path path;
	struct qstr last;
	int type;
L
Linus Torvalds 已提交
3847
	struct inode *inode = NULL;
3848
	struct inode *delegated_inode = NULL;
3849 3850
	unsigned int lookup_flags = 0;
retry:
3851 3852
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3853 3854
	if (IS_ERR(name))
		return PTR_ERR(name);
3855

L
Linus Torvalds 已提交
3856
	error = -EISDIR;
3857
	if (type != LAST_NORM)
L
Linus Torvalds 已提交
3858
		goto exit1;
3859

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

slashes:
3903 3904
	if (d_is_negative(dentry))
		error = -ENOENT;
M
Miklos Szeredi 已提交
3905
	else if (d_is_dir(dentry))
3906 3907 3908
		error = -EISDIR;
	else
		error = -ENOTDIR;
L
Linus Torvalds 已提交
3909 3910 3911
	goto exit2;
}

3912
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3913 3914 3915 3916 3917 3918 3919 3920 3921 3922
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

3923
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3924 3925 3926 3927
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3928
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3929
{
3930
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3931 3932 3933 3934

	if (error)
		return error;

A
Al Viro 已提交
3935
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3936 3937 3938 3939 3940 3941 3942
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3943
	if (!error)
3944
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3945 3946
	return error;
}
3947
EXPORT_SYMBOL(vfs_symlink);
L
Linus Torvalds 已提交
3948

3949 3950
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3951
{
3952
	int error;
3953
	struct filename *from;
3954
	struct dentry *dentry;
3955
	struct path path;
3956
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3957 3958

	from = getname(oldname);
3959
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3960
		return PTR_ERR(from);
3961 3962
retry:
	dentry = user_path_create(newdfd, newname, &path, lookup_flags);
3963 3964
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3965
		goto out_putname;
3966

3967
	error = security_path_symlink(&path, dentry, from->name);
3968
	if (!error)
3969
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
3970
	done_path_create(&path, dentry);
3971 3972 3973 3974
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
3975
out_putname:
L
Linus Torvalds 已提交
3976 3977 3978 3979
	putname(from);
	return error;
}

3980
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3981 3982 3983 3984
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

J
J. Bruce Fields 已提交
3985 3986 3987 3988 3989 3990 3991 3992 3993 3994 3995 3996 3997 3998 3999 4000 4001 4002 4003 4004
/**
 * 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 已提交
4005 4006
{
	struct inode *inode = old_dentry->d_inode;
4007
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
4008 4009 4010 4011 4012
	int error;

	if (!inode)
		return -ENOENT;

4013
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
4014 4015 4016 4017 4018 4019 4020 4021 4022 4023 4024
	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 已提交
4025
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
4026
		return -EPERM;
4027
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
4028 4029 4030 4031 4032 4033
		return -EPERM;

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

4034
	mutex_lock(&inode->i_mutex);
4035
	/* Make sure we don't allow creating hardlink to an unlinked file */
4036
	if (inode->i_nlink == 0 && !(inode->i_state & I_LINKABLE))
4037
		error =  -ENOENT;
4038 4039
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
J
J. Bruce Fields 已提交
4040 4041 4042 4043 4044
	else {
		error = try_break_deleg(inode, delegated_inode);
		if (!error)
			error = dir->i_op->link(old_dentry, dir, new_dentry);
	}
4045 4046 4047 4048 4049 4050

	if (!error && (inode->i_state & I_LINKABLE)) {
		spin_lock(&inode->i_lock);
		inode->i_state &= ~I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
4051
	mutex_unlock(&inode->i_mutex);
4052
	if (!error)
4053
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
4054 4055
	return error;
}
4056
EXPORT_SYMBOL(vfs_link);
L
Linus Torvalds 已提交
4057 4058 4059 4060 4061 4062 4063 4064 4065 4066

/*
 * 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
 */
4067 4068
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
4069 4070
{
	struct dentry *new_dentry;
4071
	struct path old_path, new_path;
J
J. Bruce Fields 已提交
4072
	struct inode *delegated_inode = NULL;
4073
	int how = 0;
L
Linus Torvalds 已提交
4074 4075
	int error;

4076
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
4077
		return -EINVAL;
4078
	/*
4079 4080 4081
	 * 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.
4082
	 */
4083 4084 4085
	if (flags & AT_EMPTY_PATH) {
		if (!capable(CAP_DAC_READ_SEARCH))
			return -ENOENT;
4086
		how = LOOKUP_EMPTY;
4087
	}
4088 4089 4090

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
4091
retry:
4092
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
4093
	if (error)
4094 4095
		return error;

4096 4097
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
4098
	error = PTR_ERR(new_dentry);
4099
	if (IS_ERR(new_dentry))
4100 4101 4102 4103 4104
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
4105 4106 4107
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
4108
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
4109
	if (error)
4110
		goto out_dput;
J
J. Bruce Fields 已提交
4111
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry, &delegated_inode);
4112
out_dput:
A
Al Viro 已提交
4113
	done_path_create(&new_path, new_dentry);
J
J. Bruce Fields 已提交
4114 4115
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
4116 4117
		if (!error) {
			path_put(&old_path);
J
J. Bruce Fields 已提交
4118
			goto retry;
4119
		}
J
J. Bruce Fields 已提交
4120
	}
4121
	if (retry_estale(error, how)) {
4122
		path_put(&old_path);
4123 4124 4125
		how |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
4126
out:
4127
	path_put(&old_path);
L
Linus Torvalds 已提交
4128 4129 4130 4131

	return error;
}

4132
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
4133
{
4134
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4135 4136
}

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

	if (source == target)
		return 0;

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

M
Miklos Szeredi 已提交
4205
	if (!target) {
4206
		error = may_create(new_dir, new_dentry);
M
Miklos Szeredi 已提交
4207 4208 4209 4210 4211 4212 4213 4214
	} 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);
	}
4215 4216 4217
	if (error)
		return error;

M
Miklos Szeredi 已提交
4218
	if (!old_dir->i_op->rename && !old_dir->i_op->rename2)
4219
		return -EPERM;
L
Linus Torvalds 已提交
4220

M
Miklos Szeredi 已提交
4221 4222 4223
	if (flags && !old_dir->i_op->rename2)
		return -EINVAL;

L
Linus Torvalds 已提交
4224 4225 4226 4227
	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
M
Miklos Szeredi 已提交
4228 4229 4230 4231 4232 4233 4234 4235 4236 4237 4238
	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 已提交
4239 4240
	}

4241 4242
	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry,
				      flags);
L
Linus Torvalds 已提交
4243 4244 4245
	if (error)
		return error;

4246
	old_name = fsnotify_oldname_init(old_dentry->d_name.name);
4247
	dget(new_dentry);
M
Miklos Szeredi 已提交
4248
	if (!is_dir || (flags & RENAME_EXCHANGE))
4249 4250
		lock_two_nondirectories(source, target);
	else if (target)
4251
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
4252 4253

	error = -EBUSY;
4254
	if (is_local_mountpoint(old_dentry) || is_local_mountpoint(new_dentry))
S
Sage Weil 已提交
4255 4256
		goto out;

M
Miklos Szeredi 已提交
4257
	if (max_links && new_dir != old_dir) {
4258
		error = -EMLINK;
M
Miklos Szeredi 已提交
4259
		if (is_dir && !new_is_dir && new_dir->i_nlink >= max_links)
4260
			goto out;
M
Miklos Szeredi 已提交
4261 4262 4263 4264 4265 4266 4267
		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) {
4268
		error = try_break_deleg(source, delegated_inode);
4269 4270
		if (error)
			goto out;
M
Miklos Szeredi 已提交
4271 4272 4273 4274 4275
	}
	if (target && !new_is_dir) {
		error = try_break_deleg(target, delegated_inode);
		if (error)
			goto out;
4276
	}
M
Miklos Szeredi 已提交
4277
	if (!old_dir->i_op->rename2) {
M
Miklos Szeredi 已提交
4278 4279 4280
		error = old_dir->i_op->rename(old_dir, old_dentry,
					      new_dir, new_dentry);
	} else {
M
Miklos Szeredi 已提交
4281
		WARN_ON(old_dir->i_op->rename != NULL);
M
Miklos Szeredi 已提交
4282 4283 4284
		error = old_dir->i_op->rename2(old_dir, old_dentry,
					       new_dir, new_dentry, flags);
	}
S
Sage Weil 已提交
4285 4286 4287
	if (error)
		goto out;

M
Miklos Szeredi 已提交
4288
	if (!(flags & RENAME_EXCHANGE) && target) {
4289 4290
		if (is_dir)
			target->i_flags |= S_DEAD;
S
Sage Weil 已提交
4291
		dont_mount(new_dentry);
4292
		detach_mounts(new_dentry);
4293
	}
M
Miklos Szeredi 已提交
4294 4295 4296 4297 4298 4299
	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 已提交
4300
out:
M
Miklos Szeredi 已提交
4301
	if (!is_dir || (flags & RENAME_EXCHANGE))
4302 4303 4304
		unlock_two_nondirectories(source, target);
	else if (target)
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
4305
	dput(new_dentry);
M
Miklos Szeredi 已提交
4306
	if (!error) {
4307
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
M
Miklos Szeredi 已提交
4308 4309 4310 4311 4312 4313
			      !(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 已提交
4314 4315
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
4316 4317
	return error;
}
4318
EXPORT_SYMBOL(vfs_rename);
L
Linus Torvalds 已提交
4319

M
Miklos Szeredi 已提交
4320 4321
SYSCALL_DEFINE5(renameat2, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, unsigned int, flags)
L
Linus Torvalds 已提交
4322
{
4323 4324
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
4325 4326 4327
	struct path old_path, new_path;
	struct qstr old_last, new_last;
	int old_type, new_type;
4328
	struct inode *delegated_inode = NULL;
4329 4330
	struct filename *from;
	struct filename *to;
4331
	unsigned int lookup_flags = 0, target_flags = LOOKUP_RENAME_TARGET;
4332
	bool should_retry = false;
4333
	int error;
M
Miklos Szeredi 已提交
4334

M
Miklos Szeredi 已提交
4335
	if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
M
Miklos Szeredi 已提交
4336 4337
		return -EINVAL;

M
Miklos Szeredi 已提交
4338 4339
	if ((flags & (RENAME_NOREPLACE | RENAME_WHITEOUT)) &&
	    (flags & RENAME_EXCHANGE))
M
Miklos Szeredi 已提交
4340 4341
		return -EINVAL;

M
Miklos Szeredi 已提交
4342 4343 4344
	if ((flags & RENAME_WHITEOUT) && !capable(CAP_MKNOD))
		return -EPERM;

4345 4346 4347
	if (flags & RENAME_EXCHANGE)
		target_flags = 0;

4348
retry:
4349 4350
	from = user_path_parent(olddfd, oldname,
				&old_path, &old_last, &old_type, lookup_flags);
4351 4352
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
4353
		goto exit;
4354
	}
L
Linus Torvalds 已提交
4355

4356 4357
	to = user_path_parent(newdfd, newname,
				&new_path, &new_last, &new_type, lookup_flags);
4358 4359
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
4360
		goto exit1;
4361
	}
L
Linus Torvalds 已提交
4362 4363

	error = -EXDEV;
4364
	if (old_path.mnt != new_path.mnt)
L
Linus Torvalds 已提交
4365 4366 4367
		goto exit2;

	error = -EBUSY;
4368
	if (old_type != LAST_NORM)
L
Linus Torvalds 已提交
4369 4370
		goto exit2;

M
Miklos Szeredi 已提交
4371 4372
	if (flags & RENAME_NOREPLACE)
		error = -EEXIST;
4373
	if (new_type != LAST_NORM)
L
Linus Torvalds 已提交
4374 4375
		goto exit2;

4376
	error = mnt_want_write(old_path.mnt);
4377 4378 4379
	if (error)
		goto exit2;

4380
retry_deleg:
4381
	trap = lock_rename(new_path.dentry, old_path.dentry);
L
Linus Torvalds 已提交
4382

4383
	old_dentry = __lookup_hash(&old_last, old_path.dentry, lookup_flags);
L
Linus Torvalds 已提交
4384 4385 4386 4387 4388
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
4389
	if (d_is_negative(old_dentry))
L
Linus Torvalds 已提交
4390
		goto exit4;
4391
	new_dentry = __lookup_hash(&new_last, new_path.dentry, lookup_flags | target_flags);
M
Miklos Szeredi 已提交
4392 4393 4394 4395 4396 4397
	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 已提交
4398 4399 4400 4401 4402 4403 4404
	if (flags & RENAME_EXCHANGE) {
		error = -ENOENT;
		if (d_is_negative(new_dentry))
			goto exit5;

		if (!d_is_dir(new_dentry)) {
			error = -ENOTDIR;
4405
			if (new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4406 4407 4408
				goto exit5;
		}
	}
L
Linus Torvalds 已提交
4409
	/* unless the source is a directory trailing slashes give -ENOTDIR */
M
Miklos Szeredi 已提交
4410
	if (!d_is_dir(old_dentry)) {
L
Linus Torvalds 已提交
4411
		error = -ENOTDIR;
4412
		if (old_last.name[old_last.len])
M
Miklos Szeredi 已提交
4413
			goto exit5;
4414
		if (!(flags & RENAME_EXCHANGE) && new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4415
			goto exit5;
L
Linus Torvalds 已提交
4416 4417 4418 4419
	}
	/* source should not be ancestor of target */
	error = -EINVAL;
	if (old_dentry == trap)
M
Miklos Szeredi 已提交
4420
		goto exit5;
L
Linus Torvalds 已提交
4421
	/* target should not be an ancestor of source */
M
Miklos Szeredi 已提交
4422 4423
	if (!(flags & RENAME_EXCHANGE))
		error = -ENOTEMPTY;
L
Linus Torvalds 已提交
4424 4425 4426
	if (new_dentry == trap)
		goto exit5;

4427 4428
	error = security_path_rename(&old_path, old_dentry,
				     &new_path, new_dentry, flags);
4429
	if (error)
4430
		goto exit5;
4431 4432
	error = vfs_rename(old_path.dentry->d_inode, old_dentry,
			   new_path.dentry->d_inode, new_dentry,
M
Miklos Szeredi 已提交
4433
			   &delegated_inode, flags);
L
Linus Torvalds 已提交
4434 4435 4436 4437 4438
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
4439
	unlock_rename(new_path.dentry, old_path.dentry);
4440 4441 4442 4443 4444
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
		if (!error)
			goto retry_deleg;
	}
4445
	mnt_drop_write(old_path.mnt);
L
Linus Torvalds 已提交
4446
exit2:
4447 4448
	if (retry_estale(error, lookup_flags))
		should_retry = true;
4449
	path_put(&new_path);
4450
	putname(to);
L
Linus Torvalds 已提交
4451
exit1:
4452
	path_put(&old_path);
L
Linus Torvalds 已提交
4453
	putname(from);
4454 4455 4456 4457 4458
	if (should_retry) {
		should_retry = false;
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
4459
exit:
L
Linus Torvalds 已提交
4460 4461 4462
	return error;
}

M
Miklos Szeredi 已提交
4463 4464 4465 4466 4467 4468
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
	return sys_renameat2(olddfd, oldname, newdfd, newname, 0);
}

4469
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4470
{
M
Miklos Szeredi 已提交
4471
	return sys_renameat2(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4472 4473
}

M
Miklos Szeredi 已提交
4474 4475 4476 4477 4478 4479 4480 4481 4482 4483 4484 4485 4486 4487
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 已提交
4488
int readlink_copy(char __user *buffer, int buflen, const char *link)
L
Linus Torvalds 已提交
4489
{
A
Al Viro 已提交
4490
	int len = PTR_ERR(link);
L
Linus Torvalds 已提交
4491 4492 4493 4494 4495 4496 4497 4498 4499 4500 4501
	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 已提交
4502
EXPORT_SYMBOL(readlink_copy);
L
Linus Torvalds 已提交
4503 4504 4505 4506 4507 4508 4509 4510

/*
 * 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)
{
4511
	void *cookie;
4512 4513
	struct inode *inode = d_inode(dentry);
	const char *link = inode->i_link;
4514
	int res;
4515

4516
	if (!link) {
4517
		link = inode->i_op->follow_link(dentry, &cookie);
4518 4519 4520
		if (IS_ERR(link))
			return PTR_ERR(link);
	}
4521
	res = readlink_copy(buffer, buflen, link);
4522 4523
	if (inode->i_op->put_link)
		inode->i_op->put_link(inode, cookie);
4524
	return res;
L
Linus Torvalds 已提交
4525
}
4526
EXPORT_SYMBOL(generic_readlink);
L
Linus Torvalds 已提交
4527 4528 4529 4530

/* get the link contents into pagecache */
static char *page_getlink(struct dentry * dentry, struct page **ppage)
{
4531 4532
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
4533
	struct address_space *mapping = dentry->d_inode->i_mapping;
4534
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
4535
	if (IS_ERR(page))
4536
		return (char*)page;
L
Linus Torvalds 已提交
4537
	*ppage = page;
4538 4539 4540
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
4541 4542 4543 4544 4545
}

int page_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
	struct page *page = NULL;
A
Al Viro 已提交
4546
	int res = readlink_copy(buffer, buflen, page_getlink(dentry, &page));
L
Linus Torvalds 已提交
4547 4548 4549 4550 4551 4552
	if (page) {
		kunmap(page);
		page_cache_release(page);
	}
	return res;
}
4553
EXPORT_SYMBOL(page_readlink);
L
Linus Torvalds 已提交
4554

4555
const char *page_follow_link_light(struct dentry *dentry, void **cookie)
L
Linus Torvalds 已提交
4556
{
4557
	struct page *page = NULL;
4558 4559 4560 4561
	char *res = page_getlink(dentry, &page);
	if (!IS_ERR(res))
		*cookie = page;
	return res;
L
Linus Torvalds 已提交
4562
}
4563
EXPORT_SYMBOL(page_follow_link_light);
L
Linus Torvalds 已提交
4564

4565
void page_put_link(struct inode *unused, void *cookie)
L
Linus Torvalds 已提交
4566
{
4567
	struct page *page = cookie;
4568 4569
	kunmap(page);
	page_cache_release(page);
L
Linus Torvalds 已提交
4570
}
4571
EXPORT_SYMBOL(page_put_link);
L
Linus Torvalds 已提交
4572

4573 4574 4575 4576
/*
 * 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 已提交
4577 4578
{
	struct address_space *mapping = inode->i_mapping;
4579
	struct page *page;
4580
	void *fsdata;
4581
	int err;
L
Linus Torvalds 已提交
4582
	char *kaddr;
4583 4584 4585
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
4586

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

4593
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
4594
	memcpy(kaddr, symname, len-1);
4595
	kunmap_atomic(kaddr);
4596 4597 4598

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4599 4600
	if (err < 0)
		goto fail;
4601 4602 4603
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4604 4605 4606 4607 4608
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}
4609
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4610

4611 4612 4613
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4614
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
4615
}
4616
EXPORT_SYMBOL(page_symlink);
4617

4618
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
4619 4620 4621 4622 4623
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};
EXPORT_SYMBOL(page_symlink_inode_operations);