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

/*
 * Some corrections by tytso.
 */

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

		tmp = kmalloc(sizeof(*tmp), GFP_KERNEL);
		if (unlikely(!tmp)) {
			__putname(result);
			return ERR_PTR(-ENOMEM);
		}
		tmp->name = (char *)result;
		result = tmp;
	} else {
		__putname(result);
		return ERR_PTR(-ENAMETOOLONG);
	}
	memcpy((char *)result->name, filename, len);
236 237
	result->uptr = NULL;
	result->aname = NULL;
238
	result->refcnt = 1;
239
	audit_getname(result);
240 241 242 243

	return result;
}

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

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

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

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

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

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

	return -EAGAIN;
}

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

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

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

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

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

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

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

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

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

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

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

C
Christoph Hellwig 已提交
390
/**
D
David Howells 已提交
391 392 393
 * __inode_permission - Check for access rights to a given inode
 * @inode: Inode to check permission on
 * @mask: Right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
C
Christoph Hellwig 已提交
394
 *
D
David Howells 已提交
395
 * Check for read/write/execute permissions on an inode.
396 397
 *
 * When checking for MAY_APPEND, MAY_WRITE must also be set in @mask.
D
David Howells 已提交
398 399 400
 *
 * This does not check for a read-only file system.  You probably want
 * inode_permission().
C
Christoph Hellwig 已提交
401
 */
D
David Howells 已提交
402
int __inode_permission(struct inode *inode, int mask)
L
Linus Torvalds 已提交
403
{
404
	int retval;
L
Linus Torvalds 已提交
405

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

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

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

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

D
David Howells 已提交
426 427 428
/**
 * sb_permission - Check superblock-level permissions
 * @sb: Superblock of inode to check permission on
429
 * @inode: Inode to check permission on
D
David Howells 已提交
430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466
 * @mask: Right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
 *
 * Separate out file-system wide checks from inode-specific permission checks.
 */
static int sb_permission(struct super_block *sb, struct inode *inode, int mask)
{
	if (unlikely(mask & MAY_WRITE)) {
		umode_t mode = inode->i_mode;

		/* Nobody gets write access to a read-only fs. */
		if ((sb->s_flags & MS_RDONLY) &&
		    (S_ISREG(mode) || S_ISDIR(mode) || S_ISLNK(mode)))
			return -EROFS;
	}
	return 0;
}

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

	retval = sb_permission(inode->i_sb, inode, mask);
	if (retval)
		return retval;
	return __inode_permission(inode, mask);
}
467
EXPORT_SYMBOL(inode_permission);
D
David Howells 已提交
468

J
Jan Blunck 已提交
469 470 471 472 473 474
/**
 * path_get - get a reference to a path
 * @path: path to get the reference to
 *
 * Given a path increment the reference count to the dentry and the vfsmount.
 */
475
void path_get(const struct path *path)
J
Jan Blunck 已提交
476 477 478 479 480 481
{
	mntget(path->mnt);
	dget(path->dentry);
}
EXPORT_SYMBOL(path_get);

J
Jan Blunck 已提交
482 483 484 485 486 487
/**
 * path_put - put a reference to a path
 * @path: path to put the reference to
 *
 * Given a path decrement the reference count to the dentry and the vfsmount.
 */
488
void path_put(const struct path *path)
L
Linus Torvalds 已提交
489
{
J
Jan Blunck 已提交
490 491
	dput(path->dentry);
	mntput(path->mnt);
L
Linus Torvalds 已提交
492
}
J
Jan Blunck 已提交
493
EXPORT_SYMBOL(path_put);
L
Linus Torvalds 已提交
494

495 496
struct nameidata {
	struct path	path;
A
Al Viro 已提交
497 498 499 500
	union {
		struct qstr	last;
		struct path	link;
	};
501 502 503 504 505 506
	struct path	root;
	struct inode	*inode; /* path.dentry.d_inode */
	unsigned int	flags;
	unsigned	seq, m_seq;
	int		last_type;
	unsigned	depth;
507
	struct file	*base;
508 509 510 511 512
	struct saved {
		struct path link;
		void *cookie;
		const char *name;
	} stack[MAX_NESTED_LINKS + 1];
513 514
};

A
Al Viro 已提交
515
/*
N
Nick Piggin 已提交
516
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
517 518 519 520 521 522 523
 * 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 已提交
524 525 526
 */

/**
A
Al Viro 已提交
527 528 529
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry or NULL
530
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
531
 *
A
Al Viro 已提交
532 533 534
 * 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.
N
Nick Piggin 已提交
535
 */
A
Al Viro 已提交
536
static int unlazy_walk(struct nameidata *nd, struct dentry *dentry)
N
Nick Piggin 已提交
537 538 539 540 541
{
	struct fs_struct *fs = current->fs;
	struct dentry *parent = nd->path.dentry;

	BUG_ON(!(nd->flags & LOOKUP_RCU));
542 543

	/*
A
Al Viro 已提交
544 545 546 547 548 549
	 * After legitimizing the bastards, terminate_walk()
	 * will do the right thing for non-RCU mode, and all our
	 * subsequent exit cases should rcu_read_unlock()
	 * before returning.  Do vfsmount first; if dentry
	 * can't be legitimized, just set nd->path.dentry to NULL
	 * and rely on dput(NULL) being a no-op.
550
	 */
A
Al Viro 已提交
551
	if (!legitimize_mnt(nd->path.mnt, nd->m_seq))
552 553
		return -ECHILD;
	nd->flags &= ~LOOKUP_RCU;
554

A
Al Viro 已提交
555 556
	if (!lockref_get_not_dead(&parent->d_lockref)) {
		nd->path.dentry = NULL;	
557
		goto out;
A
Al Viro 已提交
558 559
	}

560 561 562 563 564 565 566 567 568 569 570
	/*
	 * 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 已提交
571
	if (!dentry) {
572 573
		if (read_seqcount_retry(&parent->d_seq, nd->seq))
			goto out;
A
Al Viro 已提交
574 575
		BUG_ON(nd->inode != parent->d_inode);
	} else {
576 577 578 579
		if (!lockref_get_not_dead(&dentry->d_lockref))
			goto out;
		if (read_seqcount_retry(&dentry->d_seq, nd->seq))
			goto drop_dentry;
A
Al Viro 已提交
580
	}
581 582 583 584 585 586 587 588 589

	/*
	 * 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)) {
		spin_lock(&fs->lock);
		if (nd->root.mnt != fs->root.mnt || nd->root.dentry != fs->root.dentry)
			goto unlock_and_drop_dentry;
N
Nick Piggin 已提交
590 591 592 593
		path_get(&nd->root);
		spin_unlock(&fs->lock);
	}

A
Al Viro 已提交
594
	rcu_read_unlock();
N
Nick Piggin 已提交
595
	return 0;
A
Al Viro 已提交
596

597 598 599
unlock_and_drop_dentry:
	spin_unlock(&fs->lock);
drop_dentry:
A
Al Viro 已提交
600
	rcu_read_unlock();
601
	dput(dentry);
602
	goto drop_root_mnt;
603
out:
A
Al Viro 已提交
604
	rcu_read_unlock();
605 606 607
drop_root_mnt:
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
N
Nick Piggin 已提交
608 609 610
	return -ECHILD;
}

611
static inline int d_revalidate(struct dentry *dentry, unsigned int flags)
612
{
613
	return dentry->d_op->d_revalidate(dentry, flags);
614 615
}

616 617 618
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
619
 *
620 621 622 623 624
 * 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.
625
 */
626
static int complete_walk(struct nameidata *nd)
627
{
A
Al Viro 已提交
628
	struct dentry *dentry = nd->path.dentry;
629 630
	int status;

631 632 633 634
	if (nd->flags & LOOKUP_RCU) {
		nd->flags &= ~LOOKUP_RCU;
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
635

A
Al Viro 已提交
636
		if (!legitimize_mnt(nd->path.mnt, nd->m_seq)) {
A
Al Viro 已提交
637
			rcu_read_unlock();
A
Al Viro 已提交
638 639
			return -ECHILD;
		}
640
		if (unlikely(!lockref_get_not_dead(&dentry->d_lockref))) {
A
Al Viro 已提交
641
			rcu_read_unlock();
A
Al Viro 已提交
642
			mntput(nd->path.mnt);
643 644 645
			return -ECHILD;
		}
		if (read_seqcount_retry(&dentry->d_seq, nd->seq)) {
A
Al Viro 已提交
646
			rcu_read_unlock();
647
			dput(dentry);
A
Al Viro 已提交
648
			mntput(nd->path.mnt);
649 650
			return -ECHILD;
		}
A
Al Viro 已提交
651
		rcu_read_unlock();
652 653
	}

A
Al Viro 已提交
654 655 656
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

657
	if (likely(!(dentry->d_flags & DCACHE_OP_WEAK_REVALIDATE)))
658 659
		return 0;

660
	status = dentry->d_op->d_weak_revalidate(dentry, nd->flags);
661 662 663
	if (status > 0)
		return 0;

A
Al Viro 已提交
664
	if (!status)
665
		status = -ESTALE;
A
Al Viro 已提交
666

667
	path_put(&nd->path);
668 669 670
	return status;
}

A
Al Viro 已提交
671 672
static __always_inline void set_root(struct nameidata *nd)
{
673
	get_fs_root(current->fs, &nd->root);
A
Al Viro 已提交
674 675
}

676
static __always_inline unsigned set_root_rcu(struct nameidata *nd)
N
Nick Piggin 已提交
677
{
678 679
	struct fs_struct *fs = current->fs;
	unsigned seq, res;
N
Nick Piggin 已提交
680

681 682 683 684 685 686
	do {
		seq = read_seqcount_begin(&fs->seq);
		nd->root = fs->root;
		res = __read_seqcount_begin(&nd->root.dentry->d_seq);
	} while (read_seqcount_retry(&fs->seq, seq));
	return res;
N
Nick Piggin 已提交
687 688
}

J
Jan Blunck 已提交
689
static void path_put_conditional(struct path *path, struct nameidata *nd)
690 691
{
	dput(path->dentry);
692
	if (path->mnt != nd->path.mnt)
693 694 695
		mntput(path->mnt);
}

696 697
static inline void path_to_nameidata(const struct path *path,
					struct nameidata *nd)
698
{
N
Nick Piggin 已提交
699 700 701 702
	if (!(nd->flags & LOOKUP_RCU)) {
		dput(nd->path.dentry);
		if (nd->path.mnt != path->mnt)
			mntput(nd->path.mnt);
703
	}
N
Nick Piggin 已提交
704
	nd->path.mnt = path->mnt;
705
	nd->path.dentry = path->dentry;
706 707
}

C
Christoph Hellwig 已提交
708 709 710 711 712 713 714 715 716 717 718 719 720
/*
 * Helper to directly jump to a known parsed path from ->follow_link,
 * caller must have taken a reference to path beforehand.
 */
void nd_jump_link(struct nameidata *nd, struct path *path)
{
	path_put(&nd->path);

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

721
static inline void put_link(struct nameidata *nd)
722
{
723 724 725 726 727
	struct saved *last = nd->stack + nd->depth;
	struct inode *inode = last->link.dentry->d_inode;
	if (last->cookie && inode->i_op->put_link)
		inode->i_op->put_link(last->link.dentry, last->cookie);
	path_put(&last->link);
728 729
}

730 731
int sysctl_protected_symlinks __read_mostly = 0;
int sysctl_protected_hardlinks __read_mostly = 0;
K
Kees Cook 已提交
732 733 734 735

/**
 * may_follow_link - Check symlink following for unsafe situations
 * @link: The path of the symlink
736
 * @nd: nameidata pathwalk data
K
Kees Cook 已提交
737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758
 *
 * 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.
 */
static inline int may_follow_link(struct path *link, struct nameidata *nd)
{
	const struct inode *inode;
	const struct inode *parent;

	if (!sysctl_protected_symlinks)
		return 0;

	/* Allowed if owner and follower match. */
	inode = link->dentry->d_inode;
759
	if (uid_eq(current_cred()->fsuid, inode->i_uid))
K
Kees Cook 已提交
760 761 762 763 764 765 766 767
		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. */
768
	if (uid_eq(parent->i_uid, inode->i_uid))
K
Kees Cook 已提交
769 770
		return 0;

771
	audit_log_link_denied("follow_link", link);
K
Kees Cook 已提交
772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837
	path_put_conditional(link, nd);
	path_put(&nd->path);
	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.
	 */
838
	if (uid_eq(cred->fsuid, inode->i_uid) || safe_hardlink_source(inode) ||
K
Kees Cook 已提交
839 840 841
	    capable(CAP_FOWNER))
		return 0;

842
	audit_log_link_denied("linkat", link);
K
Kees Cook 已提交
843 844 845
	return -EPERM;
}

846 847
static __always_inline const char *
get_link(struct path *link, struct nameidata *nd, void **p)
L
Linus Torvalds 已提交
848
{
849
	struct dentry *dentry = link->dentry;
850
	struct inode *inode = dentry->d_inode;
851
	int error;
852
	const char *res;
L
Linus Torvalds 已提交
853

854 855
	BUG_ON(nd->flags & LOOKUP_RCU);

A
Al Viro 已提交
856 857 858
	if (link->mnt == nd->path.mnt)
		mntget(link->mnt);

859
	res = ERR_PTR(-ELOOP);
860
	if (unlikely(current->total_link_count >= 40))
861
		goto out;
862

863 864 865
	cond_resched();
	current->total_link_count++;

A
Al Viro 已提交
866
	touch_atime(link);
A
Al Viro 已提交
867

868
	error = security_inode_follow_link(dentry);
869
	res = ERR_PTR(error);
870
	if (error)
871
		goto out;
872

873
	nd->last_type = LAST_BIND;
874
	*p = NULL;
875 876 877 878
	res = inode->i_link;
	if (!res) {
		res = inode->i_op->follow_link(dentry, p, nd);
		if (IS_ERR(res)) {
879
out:
880 881 882
			path_put(&nd->path);
			path_put(link);
		}
L
Linus Torvalds 已提交
883
	}
884 885
	return res;
}
886

N
Nick Piggin 已提交
887 888
static int follow_up_rcu(struct path *path)
{
889 890
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
N
Nick Piggin 已提交
891 892
	struct dentry *mountpoint;

893 894
	parent = mnt->mnt_parent;
	if (&parent->mnt == path->mnt)
N
Nick Piggin 已提交
895
		return 0;
896
	mountpoint = mnt->mnt_mountpoint;
N
Nick Piggin 已提交
897
	path->dentry = mountpoint;
898
	path->mnt = &parent->mnt;
N
Nick Piggin 已提交
899 900 901
	return 1;
}

902 903 904 905 906 907 908 909 910 911
/*
 * 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 已提交
912
int follow_up(struct path *path)
L
Linus Torvalds 已提交
913
{
914 915
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
L
Linus Torvalds 已提交
916
	struct dentry *mountpoint;
N
Nick Piggin 已提交
917

A
Al Viro 已提交
918
	read_seqlock_excl(&mount_lock);
919
	parent = mnt->mnt_parent;
A
Al Viro 已提交
920
	if (parent == mnt) {
A
Al Viro 已提交
921
		read_sequnlock_excl(&mount_lock);
L
Linus Torvalds 已提交
922 923
		return 0;
	}
924
	mntget(&parent->mnt);
925
	mountpoint = dget(mnt->mnt_mountpoint);
A
Al Viro 已提交
926
	read_sequnlock_excl(&mount_lock);
A
Al Viro 已提交
927 928 929
	dput(path->dentry);
	path->dentry = mountpoint;
	mntput(path->mnt);
930
	path->mnt = &parent->mnt;
L
Linus Torvalds 已提交
931 932
	return 1;
}
933
EXPORT_SYMBOL(follow_up);
L
Linus Torvalds 已提交
934

N
Nick Piggin 已提交
935
/*
936 937 938
 * Perform an automount
 * - return -EISDIR to tell follow_managed() to stop and return the path we
 *   were called with.
L
Linus Torvalds 已提交
939
 */
940 941
static int follow_automount(struct path *path, unsigned flags,
			    bool *need_mntput)
N
Nick Piggin 已提交
942
{
943
	struct vfsmount *mnt;
944
	int err;
945 946 947 948

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

949 950 951 952 953 954 955 956 957 958
	/* 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.
959
	 */
960
	if (!(flags & (LOOKUP_PARENT | LOOKUP_DIRECTORY |
961
		     LOOKUP_OPEN | LOOKUP_CREATE | LOOKUP_AUTOMOUNT)) &&
962 963 964
	    path->dentry->d_inode)
		return -EISDIR;

965 966 967 968 969 970 971 972 973 974 975 976 977 978 979
	current->total_link_count++;
	if (current->total_link_count >= 40)
		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.
		 */
A
Al Viro 已提交
980
		if (PTR_ERR(mnt) == -EISDIR && (flags & LOOKUP_PARENT))
981 982
			return -EREMOTE;
		return PTR_ERR(mnt);
N
Nick Piggin 已提交
983
	}
984

985 986
	if (!mnt) /* mount collision */
		return 0;
N
Nick Piggin 已提交
987

988 989 990 991 992
	if (!*need_mntput) {
		/* lock_mount() may release path->mnt on error */
		mntget(path->mnt);
		*need_mntput = true;
	}
993
	err = finish_automount(mnt, path);
994

995 996 997
	switch (err) {
	case -EBUSY:
		/* Someone else made a mount here whilst we were busy */
998
		return 0;
999
	case 0:
1000
		path_put(path);
1001 1002 1003
		path->mnt = mnt;
		path->dentry = dget(mnt->mnt_root);
		return 0;
1004 1005
	default:
		return err;
1006
	}
1007

A
Al Viro 已提交
1008 1009
}

1010 1011
/*
 * Handle a dentry that is managed in some way.
1012
 * - Flagged for transit management (autofs)
1013 1014 1015 1016 1017 1018 1019 1020
 * - Flagged as mountpoint
 * - Flagged as automount point
 *
 * This may only be called in refwalk mode.
 *
 * Serialization is taken care of in namespace.c
 */
static int follow_managed(struct path *path, unsigned flags)
L
Linus Torvalds 已提交
1021
{
1022
	struct vfsmount *mnt = path->mnt; /* held by caller, must be left alone */
1023 1024
	unsigned managed;
	bool need_mntput = false;
1025
	int ret = 0;
1026 1027 1028 1029 1030 1031 1032

	/* 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)) {
1033 1034 1035 1036 1037
		/* 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);
1038
			ret = path->dentry->d_op->d_manage(path->dentry, false);
1039
			if (ret < 0)
1040
				break;
1041 1042
		}

1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057
		/* 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 已提交
1058 1059
			 * namespace got unmounted before lookup_mnt() could
			 * get it */
1060 1061 1062 1063 1064 1065
		}

		/* Handle an automount point */
		if (managed & DCACHE_NEED_AUTOMOUNT) {
			ret = follow_automount(path, flags, &need_mntput);
			if (ret < 0)
1066
				break;
1067 1068 1069 1070 1071
			continue;
		}

		/* We didn't change the current path point */
		break;
L
Linus Torvalds 已提交
1072
	}
1073 1074 1075 1076 1077

	if (need_mntput && path->mnt == mnt)
		mntput(path->mnt);
	if (ret == -EISDIR)
		ret = 0;
1078
	return ret < 0 ? ret : need_mntput;
L
Linus Torvalds 已提交
1079 1080
}

1081
int follow_down_one(struct path *path)
L
Linus Torvalds 已提交
1082 1083 1084
{
	struct vfsmount *mounted;

A
Al Viro 已提交
1085
	mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
1086
	if (mounted) {
A
Al Viro 已提交
1087 1088 1089 1090
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
1091 1092 1093 1094
		return 1;
	}
	return 0;
}
1095
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
1096

1097
static inline int managed_dentry_rcu(struct dentry *dentry)
1098
{
1099 1100
	return (dentry->d_flags & DCACHE_MANAGE_TRANSIT) ?
		dentry->d_op->d_manage(dentry, true) : 0;
1101 1102
}

1103
/*
1104 1105
 * Try to skip to top of mountpoint pile in rcuwalk mode.  Fail if
 * we meet a managed dentry that would need blocking.
1106 1107
 */
static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
1108
			       struct inode **inode)
1109
{
1110
	for (;;) {
1111
		struct mount *mounted;
1112 1113 1114 1115
		/*
		 * Don't forget we might have a non-mountpoint managed dentry
		 * that wants to block transit.
		 */
1116 1117 1118
		switch (managed_dentry_rcu(path->dentry)) {
		case -ECHILD:
		default:
1119
			return false;
1120 1121 1122 1123 1124
		case -EISDIR:
			return true;
		case 0:
			break;
		}
1125 1126

		if (!d_mountpoint(path->dentry))
1127
			return !(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1128

A
Al Viro 已提交
1129
		mounted = __lookup_mnt(path->mnt, path->dentry);
1130 1131
		if (!mounted)
			break;
1132 1133
		path->mnt = &mounted->mnt;
		path->dentry = mounted->mnt.mnt_root;
1134
		nd->flags |= LOOKUP_JUMPED;
1135
		nd->seq = read_seqcount_begin(&path->dentry->d_seq);
1136 1137 1138 1139 1140 1141
		/*
		 * 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;
1142
	}
1143
	return !read_seqretry(&mount_lock, nd->m_seq) &&
1144
		!(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1145 1146
}

N
Nick Piggin 已提交
1147 1148
static int follow_dotdot_rcu(struct nameidata *nd)
{
1149
	struct inode *inode = nd->inode;
1150 1151
	if (!nd->root.mnt)
		set_root_rcu(nd);
N
Nick Piggin 已提交
1152

1153
	while (1) {
N
Nick Piggin 已提交
1154 1155 1156 1157 1158 1159 1160 1161 1162
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
			break;
		}
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
			struct dentry *old = nd->path.dentry;
			struct dentry *parent = old->d_parent;
			unsigned seq;

1163
			inode = parent->d_inode;
N
Nick Piggin 已提交
1164 1165
			seq = read_seqcount_begin(&parent->d_seq);
			if (read_seqcount_retry(&old->d_seq, nd->seq))
1166
				goto failed;
N
Nick Piggin 已提交
1167 1168 1169 1170 1171 1172
			nd->path.dentry = parent;
			nd->seq = seq;
			break;
		}
		if (!follow_up_rcu(&nd->path))
			break;
1173
		inode = nd->path.dentry->d_inode;
N
Nick Piggin 已提交
1174 1175
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
	}
1176 1177 1178 1179 1180 1181 1182
	while (d_mountpoint(nd->path.dentry)) {
		struct mount *mounted;
		mounted = __lookup_mnt(nd->path.mnt, nd->path.dentry);
		if (!mounted)
			break;
		nd->path.mnt = &mounted->mnt;
		nd->path.dentry = mounted->mnt.mnt_root;
1183
		inode = nd->path.dentry->d_inode;
1184
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
1185
		if (read_seqretry(&mount_lock, nd->m_seq))
1186 1187
			goto failed;
	}
1188
	nd->inode = inode;
N
Nick Piggin 已提交
1189
	return 0;
1190 1191 1192

failed:
	nd->flags &= ~LOOKUP_RCU;
1193 1194
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
A
Al Viro 已提交
1195
	rcu_read_unlock();
1196
	return -ECHILD;
N
Nick Piggin 已提交
1197 1198
}

1199 1200 1201 1202 1203
/*
 * 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.
 */
1204
int follow_down(struct path *path)
1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223
{
	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);
1224
			ret = path->dentry->d_op->d_manage(
1225
				path->dentry, false);
1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246
			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;
}
1247
EXPORT_SYMBOL(follow_down);
1248

1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264
/*
 * 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 已提交
1265
static void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1266
{
1267 1268
	if (!nd->root.mnt)
		set_root(nd);
1269

L
Linus Torvalds 已提交
1270
	while(1) {
1271
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
1272

A
Al Viro 已提交
1273 1274
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
L
Linus Torvalds 已提交
1275 1276
			break;
		}
1277
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
A
Al Viro 已提交
1278 1279
			/* rare case of legitimate dget_parent()... */
			nd->path.dentry = dget_parent(nd->path.dentry);
L
Linus Torvalds 已提交
1280 1281 1282
			dput(old);
			break;
		}
A
Al Viro 已提交
1283
		if (!follow_up(&nd->path))
L
Linus Torvalds 已提交
1284 1285
			break;
	}
A
Al Viro 已提交
1286
	follow_mount(&nd->path);
N
Nick Piggin 已提交
1287
	nd->inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
1288 1289
}

1290
/*
M
Miklos Szeredi 已提交
1291 1292 1293 1294 1295
 * 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
1296
 */
M
Miklos Szeredi 已提交
1297
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
1298
				    unsigned int flags, bool *need_lookup)
1299 1300
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1301
	int error;
1302

M
Miklos Szeredi 已提交
1303 1304 1305
	*need_lookup = false;
	dentry = d_lookup(dir, name);
	if (dentry) {
J
Jeff Layton 已提交
1306
		if (dentry->d_flags & DCACHE_OP_REVALIDATE) {
1307
			error = d_revalidate(dentry, flags);
M
Miklos Szeredi 已提交
1308 1309 1310 1311
			if (unlikely(error <= 0)) {
				if (error < 0) {
					dput(dentry);
					return ERR_PTR(error);
1312 1313
				} else {
					d_invalidate(dentry);
M
Miklos Szeredi 已提交
1314 1315 1316 1317 1318 1319
					dput(dentry);
					dentry = NULL;
				}
			}
		}
	}
1320

M
Miklos Szeredi 已提交
1321 1322 1323 1324
	if (!dentry) {
		dentry = d_alloc(dir, name);
		if (unlikely(!dentry))
			return ERR_PTR(-ENOMEM);
1325

M
Miklos Szeredi 已提交
1326
		*need_lookup = true;
1327 1328 1329 1330
	}
	return dentry;
}

1331
/*
1332 1333
 * Call i_op->lookup on the dentry.  The dentry must be negative and
 * unhashed.
M
Miklos Szeredi 已提交
1334 1335
 *
 * dir->d_inode->i_mutex must be held
1336
 */
M
Miklos Szeredi 已提交
1337
static struct dentry *lookup_real(struct inode *dir, struct dentry *dentry,
1338
				  unsigned int flags)
1339 1340 1341 1342
{
	struct dentry *old;

	/* Don't create child dentry for a dead directory. */
M
Miklos Szeredi 已提交
1343
	if (unlikely(IS_DEADDIR(dir))) {
1344
		dput(dentry);
1345
		return ERR_PTR(-ENOENT);
1346
	}
1347

1348
	old = dir->i_op->lookup(dir, dentry, flags);
1349 1350 1351 1352 1353 1354 1355
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
}

1356
static struct dentry *__lookup_hash(struct qstr *name,
1357
		struct dentry *base, unsigned int flags)
1358
{
M
Miklos Szeredi 已提交
1359
	bool need_lookup;
1360 1361
	struct dentry *dentry;

1362
	dentry = lookup_dcache(name, base, flags, &need_lookup);
M
Miklos Szeredi 已提交
1363 1364
	if (!need_lookup)
		return dentry;
1365

1366
	return lookup_real(base->d_inode, dentry, flags);
1367 1368
}

L
Linus Torvalds 已提交
1369 1370 1371 1372 1373
/*
 *  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 已提交
1374
static int lookup_fast(struct nameidata *nd,
M
Miklos Szeredi 已提交
1375
		       struct path *path, struct inode **inode)
L
Linus Torvalds 已提交
1376
{
1377
	struct vfsmount *mnt = nd->path.mnt;
N
Nick Piggin 已提交
1378
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1379 1380
	int need_reval = 1;
	int status = 1;
1381 1382
	int err;

1383 1384 1385 1386 1387
	/*
	 * 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 已提交
1388 1389
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1390
		bool negative;
1391
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1392 1393 1394
		if (!dentry)
			goto unlazy;

1395 1396 1397 1398 1399
		/*
		 * This sequence count validates that the inode matches
		 * the dentry name information from lookup.
		 */
		*inode = dentry->d_inode;
1400
		negative = d_is_negative(dentry);
1401 1402
		if (read_seqcount_retry(&dentry->d_seq, seq))
			return -ECHILD;
1403 1404
		if (negative)
			return -ENOENT;
1405 1406 1407 1408 1409 1410 1411 1412

		/*
		 * 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 已提交
1413 1414 1415
		if (__read_seqcount_retry(&parent->d_seq, nd->seq))
			return -ECHILD;
		nd->seq = seq;
A
Al Viro 已提交
1416

1417
		if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE)) {
1418
			status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1419 1420 1421 1422 1423
			if (unlikely(status <= 0)) {
				if (status != -ECHILD)
					need_reval = 0;
				goto unlazy;
			}
1424
		}
N
Nick Piggin 已提交
1425 1426
		path->mnt = mnt;
		path->dentry = dentry;
1427 1428
		if (likely(__follow_mount_rcu(nd, path, inode)))
			return 0;
A
Al Viro 已提交
1429
unlazy:
A
Al Viro 已提交
1430 1431
		if (unlazy_walk(nd, dentry))
			return -ECHILD;
A
Al Viro 已提交
1432
	} else {
A
Al Viro 已提交
1433
		dentry = __d_lookup(parent, &nd->last);
1434
	}
A
Al Viro 已提交
1435

1436 1437 1438
	if (unlikely(!dentry))
		goto need_lookup;

A
Al Viro 已提交
1439
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE) && need_reval)
1440
		status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1441 1442 1443 1444 1445
	if (unlikely(status <= 0)) {
		if (status < 0) {
			dput(dentry);
			return status;
		}
1446 1447 1448
		d_invalidate(dentry);
		dput(dentry);
		goto need_lookup;
1449
	}
M
Miklos Szeredi 已提交
1450

1451 1452 1453 1454
	if (unlikely(d_is_negative(dentry))) {
		dput(dentry);
		return -ENOENT;
	}
1455 1456 1457
	path->mnt = mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
1458 1459
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
1460
		return err;
1461
	}
1462 1463
	if (err)
		nd->flags |= LOOKUP_JUMPED;
1464
	*inode = path->dentry->d_inode;
L
Linus Torvalds 已提交
1465
	return 0;
1466 1467

need_lookup:
M
Miklos Szeredi 已提交
1468 1469 1470 1471
	return 1;
}

/* Fast lookup failed, do it the slow way */
A
Al Viro 已提交
1472
static int lookup_slow(struct nameidata *nd, struct path *path)
M
Miklos Szeredi 已提交
1473 1474 1475 1476 1477
{
	struct dentry *dentry, *parent;
	int err;

	parent = nd->path.dentry;
1478 1479 1480
	BUG_ON(nd->inode != parent->d_inode);

	mutex_lock(&parent->d_inode->i_mutex);
A
Al Viro 已提交
1481
	dentry = __lookup_hash(&nd->last, parent, nd->flags);
1482 1483 1484
	mutex_unlock(&parent->d_inode->i_mutex);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
1485 1486 1487 1488 1489 1490 1491 1492 1493 1494
	path->mnt = nd->path.mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
		return err;
	}
	if (err)
		nd->flags |= LOOKUP_JUMPED;
	return 0;
L
Linus Torvalds 已提交
1495 1496
}

1497 1498 1499
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1500
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1501 1502
		if (err != -ECHILD)
			return err;
A
Al Viro 已提交
1503
		if (unlazy_walk(nd, NULL))
1504 1505
			return -ECHILD;
	}
1506
	return inode_permission(nd->inode, MAY_EXEC);
1507 1508
}

1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520
static inline int handle_dots(struct nameidata *nd, int type)
{
	if (type == LAST_DOTDOT) {
		if (nd->flags & LOOKUP_RCU) {
			if (follow_dotdot_rcu(nd))
				return -ECHILD;
		} else
			follow_dotdot(nd);
	}
	return 0;
}

1521 1522 1523 1524 1525 1526
static void terminate_walk(struct nameidata *nd)
{
	if (!(nd->flags & LOOKUP_RCU)) {
		path_put(&nd->path);
	} else {
		nd->flags &= ~LOOKUP_RCU;
1527 1528
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
A
Al Viro 已提交
1529
		rcu_read_unlock();
1530 1531 1532
	}
}

1533 1534 1535 1536 1537 1538
/*
 * 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.
 */
1539
static inline int should_follow_link(struct dentry *dentry, int follow)
1540
{
1541
	return unlikely(d_is_symlink(dentry)) ? follow : 0;
1542 1543
}

A
Al Viro 已提交
1544
static int walk_component(struct nameidata *nd, int follow)
1545
{
A
Al Viro 已提交
1546
	struct path path;
1547 1548 1549 1550 1551 1552 1553
	struct inode *inode;
	int err;
	/*
	 * "." and ".." are special - ".." especially so because it has
	 * to be able to know about the current root directory and
	 * parent relationships.
	 */
1554 1555
	if (unlikely(nd->last_type != LAST_NORM))
		return handle_dots(nd, nd->last_type);
A
Al Viro 已提交
1556
	err = lookup_fast(nd, &path, &inode);
1557
	if (unlikely(err)) {
M
Miklos Szeredi 已提交
1558 1559 1560
		if (err < 0)
			goto out_err;

A
Al Viro 已提交
1561
		err = lookup_slow(nd, &path);
M
Miklos Szeredi 已提交
1562 1563 1564
		if (err < 0)
			goto out_err;

A
Al Viro 已提交
1565
		inode = path.dentry->d_inode;
1566
		err = -ENOENT;
A
Al Viro 已提交
1567
		if (d_is_negative(path.dentry))
1568
			goto out_path_put;
1569
	}
M
Miklos Szeredi 已提交
1570

A
Al Viro 已提交
1571
	if (should_follow_link(path.dentry, follow)) {
A
Al Viro 已提交
1572
		if (nd->flags & LOOKUP_RCU) {
A
Al Viro 已提交
1573 1574
			if (unlikely(nd->path.mnt != path.mnt ||
				     unlazy_walk(nd, path.dentry))) {
M
Miklos Szeredi 已提交
1575 1576
				err = -ECHILD;
				goto out_err;
A
Al Viro 已提交
1577 1578
			}
		}
A
Al Viro 已提交
1579 1580
		BUG_ON(inode != path.dentry->d_inode);
		nd->link = path;
1581 1582
		return 1;
	}
A
Al Viro 已提交
1583
	path_to_nameidata(&path, nd);
1584 1585
	nd->inode = inode;
	return 0;
M
Miklos Szeredi 已提交
1586 1587

out_path_put:
A
Al Viro 已提交
1588
	path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
1589 1590 1591
out_err:
	terminate_walk(nd);
	return err;
1592 1593
}

1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612
/*
 * 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

1613
#include <asm/word-at-a-time.h>
1614

1615
#ifdef CONFIG_64BIT
1616 1617 1618

static inline unsigned int fold_hash(unsigned long hash)
{
1619
	return hash_64(hash, 32);
1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633
}

#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 (;;) {
1634
		a = load_unaligned_zeropad(name);
1635 1636 1637
		if (len < sizeof(unsigned long))
			break;
		hash += a;
1638
		hash *= 9;
1639 1640 1641 1642 1643
		name += sizeof(unsigned long);
		len -= sizeof(unsigned long);
		if (!len)
			goto done;
	}
1644
	mask = bytemask_from_count(len);
1645 1646 1647 1648 1649 1650 1651 1652
	hash += mask & a;
done:
	return fold_hash(hash);
}
EXPORT_SYMBOL(full_name_hash);

/*
 * Calculate the length and hash of the path component, and
1653
 * return the "hash_len" as the result.
1654
 */
1655
static inline u64 hash_name(const char *name)
1656
{
1657 1658
	unsigned long a, b, adata, bdata, mask, hash, len;
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;
1659 1660 1661 1662 1663 1664

	hash = a = 0;
	len = -sizeof(unsigned long);
	do {
		hash = (hash + a) * 9;
		len += sizeof(unsigned long);
1665
		a = load_unaligned_zeropad(name+len);
1666 1667 1668 1669 1670 1671 1672 1673 1674
		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);
1675
	len += find_zero(mask);
1676
	return hashlen_create(fold_hash(hash), len);
1677 1678 1679 1680
}

#else

L
Linus Torvalds 已提交
1681 1682 1683 1684 1685 1686 1687
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);
}
1688
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1689

1690 1691 1692 1693
/*
 * We know there's a real path component here of at least
 * one character.
 */
1694
static inline u64 hash_name(const char *name)
1695 1696 1697 1698 1699 1700 1701 1702 1703 1704
{
	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 != '/');
1705
	return hashlen_create(end_name_hash(hash), len);
1706 1707
}

1708 1709
#endif

L
Linus Torvalds 已提交
1710 1711
/*
 * Name resolution.
1712 1713
 * 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 已提交
1714
 *
1715 1716
 * 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 已提交
1717
 */
1718
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1719
{
1720
	struct saved *last = nd->stack;
L
Linus Torvalds 已提交
1721
	int err;
A
Al Viro 已提交
1722

L
Linus Torvalds 已提交
1723 1724 1725
	while (*name=='/')
		name++;
	if (!*name)
1726
		return 0;
L
Linus Torvalds 已提交
1727 1728 1729

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

1733
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1734 1735 1736
 		if (err)
			break;

1737
		hash_len = hash_name(name);
L
Linus Torvalds 已提交
1738

A
Al Viro 已提交
1739
		type = LAST_NORM;
1740
		if (name[0] == '.') switch (hashlen_len(hash_len)) {
A
Al Viro 已提交
1741
			case 2:
1742
				if (name[1] == '.') {
A
Al Viro 已提交
1743
					type = LAST_DOTDOT;
A
Al Viro 已提交
1744 1745
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
1746 1747 1748 1749
				break;
			case 1:
				type = LAST_DOT;
		}
1750 1751
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
1752
			nd->flags &= ~LOOKUP_JUMPED;
1753
			if (unlikely(parent->d_flags & DCACHE_OP_HASH)) {
1754
				struct qstr this = { { .hash_len = hash_len }, .name = name };
1755
				err = parent->d_op->d_hash(parent, &this);
1756 1757
				if (err < 0)
					break;
1758 1759
				hash_len = this.hash_len;
				name = this.name;
1760 1761
			}
		}
A
Al Viro 已提交
1762

1763 1764
		nd->last.hash_len = hash_len;
		nd->last.name = name;
1765 1766
		nd->last_type = type;

1767 1768
		name += hashlen_len(hash_len);
		if (!*name)
1769
			goto OK;
1770 1771 1772 1773 1774
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
1775 1776 1777
			name++;
		} while (unlikely(*name == '/'));
		if (!*name)
1778
			goto OK;
1779

A
Al Viro 已提交
1780
		err = walk_component(nd, LOOKUP_FOLLOW);
A
Al Viro 已提交
1781
Walked:
1782
		if (err < 0)
1783
			goto Err;
L
Linus Torvalds 已提交
1784

1785
		if (err) {
1786 1787
			const char *s;

1788 1789 1790
			if (unlikely(current->link_count >= MAX_NESTED_LINKS)) {
				path_put_conditional(&nd->link, nd);
				path_put(&nd->path);
1791 1792
				err = -ELOOP;
				goto Err;
1793 1794 1795 1796 1797
			}
			BUG_ON(nd->depth >= MAX_NESTED_LINKS);

			nd->depth++;
			current->link_count++;
A
Al Viro 已提交
1798
			last++;
1799

A
Al Viro 已提交
1800 1801
			last->link = nd->link;
			s = get_link(&last->link, nd, &last->cookie);
1802

1803 1804 1805 1806
			if (unlikely(IS_ERR(s))) {
				err = PTR_ERR(s);
				current->link_count--;
				nd->depth--;
A
Al Viro 已提交
1807
				last--;
1808
				goto Err;
1809 1810 1811 1812
			}
			err = 0;
			if (unlikely(!s)) {
				/* jumped */
1813
				put_link(nd);
A
Al Viro 已提交
1814 1815
				current->link_count--;
				nd->depth--;
A
Al Viro 已提交
1816
				last--;
1817 1818 1819 1820 1821 1822 1823 1824
			} else {
				if (*s == '/') {
					if (!nd->root.mnt)
						set_root(nd);
					path_put(&nd->path);
					nd->path = nd->root;
					path_get(&nd->root);
					nd->flags |= LOOKUP_JUMPED;
1825 1826
					while (unlikely(*++s == '/'))
						;
1827
				}
1828
				nd->inode = nd->path.dentry->d_inode;
A
Al Viro 已提交
1829
				last->name = name;
1830 1831
				if (!*s)
					goto OK;
A
Al Viro 已提交
1832
				name = s;
1833
				continue;
1834
			}
N
Nick Piggin 已提交
1835
		}
M
Miklos Szeredi 已提交
1836
		if (!d_can_lookup(nd->path.dentry)) {
A
Al Viro 已提交
1837
			err = -ENOTDIR;
1838 1839
			break;
		}
L
Linus Torvalds 已提交
1840
	}
1841
	terminate_walk(nd);
1842
Err:
1843
	while (unlikely(nd->depth)) {
1844
		put_link(nd);
1845 1846 1847 1848 1849
		current->link_count--;
		nd->depth--;
		last--;
	}
	return err;
1850
OK:
1851 1852 1853
	if (unlikely(nd->depth)) {
		name = last->name;
		err = walk_component(nd, LOOKUP_FOLLOW);
1854
		put_link(nd);
1855 1856 1857 1858 1859 1860
		current->link_count--;
		nd->depth--;
		last--;
		goto Walked;
	}
	return 0;
L
Linus Torvalds 已提交
1861 1862
}

A
Al Viro 已提交
1863
static int path_init(int dfd, const struct filename *name, unsigned int flags,
1864
		     struct nameidata *nd)
N
Nick Piggin 已提交
1865 1866
{
	int retval = 0;
A
Al Viro 已提交
1867
	const char *s = name->name;
N
Nick Piggin 已提交
1868 1869

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
1870
	nd->flags = flags | LOOKUP_JUMPED | LOOKUP_PARENT;
N
Nick Piggin 已提交
1871
	nd->depth = 0;
1872
	nd->base = NULL;
1873
	if (flags & LOOKUP_ROOT) {
1874 1875
		struct dentry *root = nd->root.dentry;
		struct inode *inode = root->d_inode;
A
Al Viro 已提交
1876
		if (*s) {
M
Miklos Szeredi 已提交
1877
			if (!d_can_lookup(root))
A
Al Viro 已提交
1878 1879 1880 1881 1882
				return -ENOTDIR;
			retval = inode_permission(inode, MAY_EXEC);
			if (retval)
				return retval;
		}
1883 1884 1885
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1886
			rcu_read_lock();
1887
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1888
			nd->m_seq = read_seqbegin(&mount_lock);
1889 1890 1891
		} else {
			path_get(&nd->path);
		}
1892
		goto done;
1893 1894
	}

N
Nick Piggin 已提交
1895 1896
	nd->root.mnt = NULL;

A
Al Viro 已提交
1897
	nd->m_seq = read_seqbegin(&mount_lock);
A
Al Viro 已提交
1898
	if (*s == '/') {
A
Al Viro 已提交
1899
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1900
			rcu_read_lock();
1901
			nd->seq = set_root_rcu(nd);
A
Al Viro 已提交
1902 1903 1904 1905 1906
		} else {
			set_root(nd);
			path_get(&nd->root);
		}
		nd->path = nd->root;
N
Nick Piggin 已提交
1907
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1908 1909 1910
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
1911

A
Al Viro 已提交
1912
			rcu_read_lock();
N
Nick Piggin 已提交
1913

A
Al Viro 已提交
1914 1915 1916 1917 1918 1919 1920 1921
			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 已提交
1922
	} else {
1923
		/* Caller must check execute permissions on the starting path component */
1924
		struct fd f = fdget_raw(dfd);
N
Nick Piggin 已提交
1925 1926
		struct dentry *dentry;

1927 1928
		if (!f.file)
			return -EBADF;
N
Nick Piggin 已提交
1929

1930
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
1931

A
Al Viro 已提交
1932
		if (*s) {
M
Miklos Szeredi 已提交
1933
			if (!d_can_lookup(dentry)) {
1934 1935 1936
				fdput(f);
				return -ENOTDIR;
			}
A
Al Viro 已提交
1937
		}
N
Nick Piggin 已提交
1938

1939
		nd->path = f.file->f_path;
A
Al Viro 已提交
1940
		if (flags & LOOKUP_RCU) {
1941
			if (f.flags & FDPUT_FPUT)
1942
				nd->base = f.file;
A
Al Viro 已提交
1943
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1944
			rcu_read_lock();
A
Al Viro 已提交
1945
		} else {
1946 1947
			path_get(&nd->path);
			fdput(f);
A
Al Viro 已提交
1948
		}
N
Nick Piggin 已提交
1949 1950 1951
	}

	nd->inode = nd->path.dentry->d_inode;
1952
	if (!(flags & LOOKUP_RCU))
1953
		goto done;
1954
	if (likely(!read_seqcount_retry(&nd->path.dentry->d_seq, nd->seq)))
1955
		goto done;
1956 1957 1958 1959
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
	rcu_read_unlock();
	return -ECHILD;
1960 1961
done:
	current->total_link_count = 0;
A
Al Viro 已提交
1962
	return link_path_walk(s, nd);
1963 1964
}

A
Al Viro 已提交
1965 1966 1967 1968 1969 1970 1971 1972
static void path_cleanup(struct nameidata *nd)
{
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT)) {
		path_put(&nd->root);
		nd->root.mnt = NULL;
	}
	if (unlikely(nd->base))
		fput(nd->base);
1973 1974
}

1975
static int trailing_symlink(struct nameidata *nd)
1976 1977
{
	const char *s;
1978
	int error = may_follow_link(&nd->link, nd);
1979 1980 1981
	if (unlikely(error))
		return error;
	nd->flags |= LOOKUP_PARENT;
1982 1983
	nd->stack[0].link = nd->link;
	s = get_link(&nd->stack[0].link, nd, &nd->stack[0].cookie);
1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998
	if (unlikely(IS_ERR(s)))
		return PTR_ERR(s);
	if (unlikely(!s))
		return 0;
	if (*s == '/') {
		if (!nd->root.mnt)
			set_root(nd);
		path_put(&nd->path);
		nd->path = nd->root;
		path_get(&nd->root);
		nd->flags |= LOOKUP_JUMPED;
	}
	nd->inode = nd->path.dentry->d_inode;
	error = link_path_walk(s, nd);
	if (unlikely(error))
1999
		put_link(nd);
2000 2001 2002
	return error;
}

A
Al Viro 已提交
2003
static inline int lookup_last(struct nameidata *nd)
2004 2005 2006 2007 2008
{
	if (nd->last_type == LAST_NORM && nd->last.name[nd->last.len])
		nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;

	nd->flags &= ~LOOKUP_PARENT;
A
Al Viro 已提交
2009
	return walk_component(nd, nd->flags & LOOKUP_FOLLOW);
2010 2011
}

2012
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2013
static int path_lookupat(int dfd, const struct filename *name,
2014 2015
				unsigned int flags, struct nameidata *nd)
{
2016
	int err;
N
Nick Piggin 已提交
2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031

	/*
	 * Path walking is largely split up into 2 different synchronisation
	 * schemes, rcu-walk and ref-walk (explained in
	 * Documentation/filesystems/path-lookup.txt). These share much of the
	 * path walk code, but some things particularly setup, cleanup, and
	 * following mounts are sufficiently divergent that functions are
	 * duplicated. Typically there is a function foo(), and its RCU
	 * analogue, foo_rcu().
	 *
	 * -ECHILD is the error number of choice (just to avoid clashes) that
	 * is returned if some aspect of an rcu-walk fails. Such an error must
	 * be handled by restarting a traditional ref-walk (which will always
	 * be able to complete).
	 */
A
Al Viro 已提交
2032
	err = path_init(dfd, name, flags, nd);
2033
	if (!err && !(flags & LOOKUP_PARENT)) {
A
Al Viro 已提交
2034
		err = lookup_last(nd);
2035
		while (err > 0) {
2036
			err = trailing_symlink(nd);
2037 2038
			if (err)
				break;
A
Al Viro 已提交
2039
			err = lookup_last(nd);
2040
			put_link(nd);
2041 2042
		}
	}
A
Al Viro 已提交
2043

2044 2045
	if (!err)
		err = complete_walk(nd);
2046 2047

	if (!err && nd->flags & LOOKUP_DIRECTORY) {
M
Miklos Szeredi 已提交
2048
		if (!d_can_lookup(nd->path.dentry)) {
2049
			path_put(&nd->path);
A
Al Viro 已提交
2050
			err = -ENOTDIR;
2051 2052
		}
	}
A
Al Viro 已提交
2053

A
Al Viro 已提交
2054
	path_cleanup(nd);
2055
	return err;
A
Al Viro 已提交
2056
}
N
Nick Piggin 已提交
2057

2058
static int filename_lookup(int dfd, struct filename *name,
A
Al Viro 已提交
2059 2060
				unsigned int flags, struct nameidata *nd)
{
2061
	int retval = path_lookupat(dfd, name, flags | LOOKUP_RCU, nd);
A
Al Viro 已提交
2062
	if (unlikely(retval == -ECHILD))
2063
		retval = path_lookupat(dfd, name, flags, nd);
A
Al Viro 已提交
2064
	if (unlikely(retval == -ESTALE))
2065
		retval = path_lookupat(dfd, name, flags | LOOKUP_REVAL, nd);
N
Nick Piggin 已提交
2066

2067
	if (likely(!retval))
2068
		audit_inode(name, nd->path.dentry, flags & LOOKUP_PARENT);
2069
	return retval;
L
Linus Torvalds 已提交
2070 2071
}

A
Al Viro 已提交
2072 2073
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2074
{
2075
	struct filename *filename = getname_kernel(name);
A
Al Viro 已提交
2076 2077
	struct nameidata nd;
	struct dentry *d;
2078 2079 2080 2081 2082 2083 2084 2085 2086 2087
	int err;

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

	err = filename_lookup(AT_FDCWD, filename, LOOKUP_PARENT, &nd);
	if (err) {
		d = ERR_PTR(err);
		goto out;
	}
A
Al Viro 已提交
2088 2089
	if (nd.last_type != LAST_NORM) {
		path_put(&nd.path);
2090 2091
		d = ERR_PTR(-EINVAL);
		goto out;
A
Al Viro 已提交
2092 2093
	}
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2094
	d = __lookup_hash(&nd.last, nd.path.dentry, 0);
A
Al Viro 已提交
2095 2096 2097
	if (IS_ERR(d)) {
		mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
		path_put(&nd.path);
2098
		goto out;
A
Al Viro 已提交
2099 2100
	}
	*path = nd.path;
2101 2102
out:
	putname(filename);
A
Al Viro 已提交
2103
	return d;
2104 2105
}

A
Al Viro 已提交
2106 2107 2108
int kern_path(const char *name, unsigned int flags, struct path *path)
{
	struct nameidata nd;
2109 2110 2111 2112 2113 2114 2115 2116 2117
	struct filename *filename = getname_kernel(name);
	int res = PTR_ERR(filename);

	if (!IS_ERR(filename)) {
		res = filename_lookup(AT_FDCWD, filename, flags, &nd);
		putname(filename);
		if (!res)
			*path = nd.path;
	}
A
Al Viro 已提交
2118 2119
	return res;
}
2120
EXPORT_SYMBOL(kern_path);
A
Al Viro 已提交
2121

2122 2123 2124 2125 2126 2127
/**
 * 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
2128
 * @path: pointer to struct path to fill
2129 2130 2131
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2132
		    struct path *path)
2133
{
2134 2135 2136
	struct filename *filename = getname_kernel(name);
	int err = PTR_ERR(filename);

2137
	BUG_ON(flags & LOOKUP_PARENT);
2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149

	/* the first argument of filename_lookup() is ignored with LOOKUP_ROOT */
	if (!IS_ERR(filename)) {
		struct nameidata nd;
		nd.root.dentry = dentry;
		nd.root.mnt = mnt;
		err = filename_lookup(AT_FDCWD, filename,
				      flags | LOOKUP_ROOT, &nd);
		if (!err)
			*path = nd.path;
		putname(filename);
	}
2150
	return err;
2151
}
2152
EXPORT_SYMBOL(vfs_path_lookup);
2153

2154
/**
2155
 * lookup_one_len - filesystem helper to lookup single pathname component
2156 2157 2158 2159
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
2160
 * Note that this routine is purely a helper for filesystem usage and should
2161
 * not be called by generic code.
2162
 */
2163 2164 2165
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
2166
	unsigned int c;
2167
	int err;
2168

2169 2170
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2171 2172
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2173
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2174 2175 2176
	if (!len)
		return ERR_PTR(-EACCES);

A
Al Viro 已提交
2177 2178 2179 2180 2181
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
			return ERR_PTR(-EACCES);
	}

A
Al Viro 已提交
2182 2183 2184 2185 2186
	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2187 2188 2189 2190 2191
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2192
		int err = base->d_op->d_hash(base, &this);
2193 2194 2195
		if (err < 0)
			return ERR_PTR(err);
	}
2196

2197 2198 2199 2200
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

2201
	return __lookup_hash(&this, base, 0);
2202
}
2203
EXPORT_SYMBOL(lookup_one_len);
2204

2205 2206
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2207
{
2208
	struct nameidata nd;
2209
	struct filename *tmp = getname_flags(name, flags, empty);
L
Linus Torvalds 已提交
2210 2211
	int err = PTR_ERR(tmp);
	if (!IS_ERR(tmp)) {
2212 2213 2214

		BUG_ON(flags & LOOKUP_PARENT);

2215
		err = filename_lookup(dfd, tmp, flags, &nd);
L
Linus Torvalds 已提交
2216
		putname(tmp);
2217 2218
		if (!err)
			*path = nd.path;
L
Linus Torvalds 已提交
2219 2220 2221 2222
	}
	return err;
}

2223 2224 2225
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
{
2226
	return user_path_at_empty(dfd, name, flags, path, NULL);
2227
}
2228
EXPORT_SYMBOL(user_path_at);
2229

2230 2231 2232 2233 2234 2235
/*
 * 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.
 */
2236
static struct filename *
2237 2238 2239 2240
user_path_parent(int dfd, const char __user *path,
		 struct path *parent,
		 struct qstr *last,
		 int *type,
2241
		 unsigned int flags)
2242
{
2243
	struct nameidata nd;
2244
	struct filename *s = getname(path);
2245 2246
	int error;

2247 2248 2249
	/* only LOOKUP_REVAL is allowed in extra flags */
	flags &= LOOKUP_REVAL;

2250
	if (IS_ERR(s))
2251
		return s;
2252

2253
	error = filename_lookup(dfd, s, flags | LOOKUP_PARENT, &nd);
2254
	if (error) {
2255
		putname(s);
2256 2257
		return ERR_PTR(error);
	}
2258 2259 2260
	*parent = nd.path;
	*last = nd.last;
	*type = nd.last_type;
2261

2262
	return s;
2263 2264
}

2265
/**
2266
 * mountpoint_last - look up last component for umount
2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292
 * @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
2293
mountpoint_last(struct nameidata *nd, struct path *path)
2294 2295 2296 2297 2298
{
	int error = 0;
	struct dentry *dentry;
	struct dentry *dir = nd->path.dentry;

2299 2300 2301 2302 2303 2304
	/* If we're in rcuwalk, drop out of it to handle last component */
	if (nd->flags & LOOKUP_RCU) {
		if (unlazy_walk(nd, NULL)) {
			error = -ECHILD;
			goto out;
		}
2305 2306 2307 2308 2309 2310
	}

	nd->flags &= ~LOOKUP_PARENT;

	if (unlikely(nd->last_type != LAST_NORM)) {
		error = handle_dots(nd, nd->last_type);
2311 2312 2313 2314
		if (error)
			goto out;
		dentry = dget(nd->path.dentry);
		goto done;
2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 2325 2326 2327
	}

	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) {
			error = -ENOMEM;
2328
			mutex_unlock(&dir->d_inode->i_mutex);
2329
			goto out;
2330
		}
2331 2332
		dentry = lookup_real(dir->d_inode, dentry, nd->flags);
		error = PTR_ERR(dentry);
2333 2334
		if (IS_ERR(dentry)) {
			mutex_unlock(&dir->d_inode->i_mutex);
2335
			goto out;
2336
		}
2337 2338 2339
	}
	mutex_unlock(&dir->d_inode->i_mutex);

2340
done:
2341
	if (d_is_negative(dentry)) {
2342 2343 2344
		error = -ENOENT;
		dput(dentry);
		goto out;
2345
	}
2346
	path->dentry = dentry;
2347
	path->mnt = nd->path.mnt;
A
Al Viro 已提交
2348 2349
	if (should_follow_link(dentry, nd->flags & LOOKUP_FOLLOW)) {
		nd->link = *path;
2350
		return 1;
A
Al Viro 已提交
2351
	}
2352
	mntget(path->mnt);
2353 2354 2355
	follow_mount(path);
	error = 0;
out:
2356 2357 2358 2359 2360
	terminate_walk(nd);
	return error;
}

/**
2361
 * path_mountpoint - look up a path to be umounted
2362 2363
 * @dfd:	directory file descriptor to start walk from
 * @name:	full pathname to walk
2364
 * @path:	pointer to container for result
2365 2366 2367
 * @flags:	lookup flags
 *
 * Look up the given name, but don't attempt to revalidate the last component.
2368
 * Returns 0 and "path" will be valid on success; Returns error otherwise.
2369 2370
 */
static int
2371
path_mountpoint(int dfd, const struct filename *name, struct path *path,
2372
		struct nameidata *nd, unsigned int flags)
2373
{
2374
	int err = path_init(dfd, name, flags, nd);
2375
	if (unlikely(err))
2376
		goto out;
2377

2378
	err = mountpoint_last(nd, path);
2379
	while (err > 0) {
2380
		err = trailing_symlink(nd);
2381 2382
		if (err)
			break;
2383
		err = mountpoint_last(nd, path);
2384
		put_link(nd);
2385 2386
	}
out:
2387
	path_cleanup(nd);
2388 2389 2390
	return err;
}

A
Al Viro 已提交
2391
static int
2392
filename_mountpoint(int dfd, struct filename *name, struct path *path,
A
Al Viro 已提交
2393 2394
			unsigned int flags)
{
2395
	struct nameidata nd;
2396
	int error;
2397 2398
	if (IS_ERR(name))
		return PTR_ERR(name);
2399
	error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_RCU);
A
Al Viro 已提交
2400
	if (unlikely(error == -ECHILD))
2401
		error = path_mountpoint(dfd, name, path, &nd, flags);
A
Al Viro 已提交
2402
	if (unlikely(error == -ESTALE))
2403
		error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_REVAL);
A
Al Viro 已提交
2404
	if (likely(!error))
2405 2406
		audit_inode(name, path->dentry, 0);
	putname(name);
A
Al Viro 已提交
2407 2408 2409
	return error;
}

2410
/**
2411
 * user_path_mountpoint_at - lookup a path from userland in order to umount it
2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424
 * @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
2425
user_path_mountpoint_at(int dfd, const char __user *name, unsigned int flags,
2426 2427
			struct path *path)
{
2428
	return filename_mountpoint(dfd, getname(name), path, flags);
2429 2430
}

A
Al Viro 已提交
2431 2432 2433 2434
int
kern_path_mountpoint(int dfd, const char *name, struct path *path,
			unsigned int flags)
{
2435
	return filename_mountpoint(dfd, getname_kernel(name), path, flags);
A
Al Viro 已提交
2436 2437 2438
}
EXPORT_SYMBOL(kern_path_mountpoint);

M
Miklos Szeredi 已提交
2439
int __check_sticky(struct inode *dir, struct inode *inode)
L
Linus Torvalds 已提交
2440
{
2441
	kuid_t fsuid = current_fsuid();
2442

2443
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2444
		return 0;
2445
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2446
		return 0;
2447
	return !capable_wrt_inode_uidgid(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2448
}
M
Miklos Szeredi 已提交
2449
EXPORT_SYMBOL(__check_sticky);
L
Linus Torvalds 已提交
2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469

/*
 *	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().
 */
2470
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2471
{
2472
	struct inode *inode = victim->d_inode;
L
Linus Torvalds 已提交
2473 2474
	int error;

2475
	if (d_is_negative(victim))
L
Linus Torvalds 已提交
2476
		return -ENOENT;
2477
	BUG_ON(!inode);
L
Linus Torvalds 已提交
2478 2479

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

2482
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2483 2484 2485 2486
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
2487 2488 2489

	if (check_sticky(dir, inode) || IS_APPEND(inode) ||
	    IS_IMMUTABLE(inode) || IS_SWAPFILE(inode))
L
Linus Torvalds 已提交
2490 2491
		return -EPERM;
	if (isdir) {
M
Miklos Szeredi 已提交
2492
		if (!d_is_dir(victim))
L
Linus Torvalds 已提交
2493 2494 2495
			return -ENOTDIR;
		if (IS_ROOT(victim))
			return -EBUSY;
M
Miklos Szeredi 已提交
2496
	} else if (d_is_dir(victim))
L
Linus Torvalds 已提交
2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512
		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())
 */
2513
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2514
{
2515
	audit_inode_child(dir, child, AUDIT_TYPE_CHILD_CREATE);
L
Linus Torvalds 已提交
2516 2517 2518 2519
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2520
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2521 2522 2523 2524 2525 2526 2527 2528 2529 2530
}

/*
 * 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 已提交
2531
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2532 2533 2534
		return NULL;
	}

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

2537 2538 2539 2540 2541
	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 已提交
2542 2543
	}

2544 2545 2546 2547 2548
	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 已提交
2549 2550
	}

I
Ingo Molnar 已提交
2551
	mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
2552
	mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_PARENT2);
L
Linus Torvalds 已提交
2553 2554
	return NULL;
}
2555
EXPORT_SYMBOL(lock_rename);
L
Linus Torvalds 已提交
2556 2557 2558

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2559
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2560
	if (p1 != p2) {
2561
		mutex_unlock(&p2->d_inode->i_mutex);
2562
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2563 2564
	}
}
2565
EXPORT_SYMBOL(unlock_rename);
L
Linus Torvalds 已提交
2566

A
Al Viro 已提交
2567
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2568
		bool want_excl)
L
Linus Torvalds 已提交
2569
{
2570
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2571 2572 2573
	if (error)
		return error;

A
Al Viro 已提交
2574
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2575 2576 2577 2578 2579 2580
		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 已提交
2581
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2582
	if (!error)
2583
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2584 2585
	return error;
}
2586
EXPORT_SYMBOL(vfs_create);
L
Linus Torvalds 已提交
2587

A
Al Viro 已提交
2588
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2589
{
2590
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2591 2592 2593
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2594 2595 2596 2597
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2598 2599 2600
	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2601 2602
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2603
		return -ELOOP;
C
Christoph Hellwig 已提交
2604 2605 2606 2607 2608 2609
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2610
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
2611
			return -EACCES;
C
Christoph Hellwig 已提交
2612 2613 2614
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2615
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2616
		break;
2617
	}
2618

2619
	error = inode_permission(inode, acc_mode);
2620 2621
	if (error)
		return error;
M
Mimi Zohar 已提交
2622

L
Linus Torvalds 已提交
2623 2624 2625 2626
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2627
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2628
			return -EPERM;
L
Linus Torvalds 已提交
2629
		if (flag & O_TRUNC)
2630
			return -EPERM;
L
Linus Torvalds 已提交
2631 2632 2633
	}

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

2637
	return 0;
2638
}
L
Linus Torvalds 已提交
2639

2640
static int handle_truncate(struct file *filp)
2641
{
2642
	struct path *path = &filp->f_path;
2643 2644 2645 2646 2647 2648 2649
	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.
	 */
2650
	error = locks_verify_locked(filp);
2651
	if (!error)
2652
		error = security_path_truncate(path);
2653 2654 2655
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2656
				    filp);
2657 2658
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2659
	return error;
L
Linus Torvalds 已提交
2660 2661
}

2662 2663
static inline int open_to_namei_flags(int flag)
{
2664 2665
	if ((flag & O_ACCMODE) == 3)
		flag--;
2666 2667 2668
	return flag;
}

M
Miklos Szeredi 已提交
2669 2670 2671 2672 2673 2674 2675 2676 2677 2678 2679 2680 2681
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);
}

2682 2683 2684 2685 2686 2687 2688 2689 2690 2691 2692 2693 2694
/*
 * 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.
 */
2695 2696 2697
static int atomic_open(struct nameidata *nd, struct dentry *dentry,
			struct path *path, struct file *file,
			const struct open_flags *op,
2698
			bool got_write, bool need_lookup,
2699
			int *opened)
M
Miklos Szeredi 已提交
2700 2701 2702 2703 2704 2705 2706 2707
{
	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;
2708
	bool excl;
M
Miklos Szeredi 已提交
2709 2710 2711 2712 2713

	BUG_ON(dentry->d_inode);

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

2718
	mode = op->mode;
M
Miklos Szeredi 已提交
2719 2720 2721
	if ((open_flag & O_CREAT) && !IS_POSIXACL(dir))
		mode &= ~current_umask();

2722 2723
	excl = (open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT);
	if (excl)
M
Miklos Szeredi 已提交
2724 2725 2726 2727 2728 2729 2730 2731 2732 2733 2734
		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).
	 */
2735 2736 2737
	if (((open_flag & (O_CREAT | O_TRUNC)) ||
	    (open_flag & O_ACCMODE) != O_RDONLY) && unlikely(!got_write)) {
		if (!(open_flag & O_CREAT)) {
M
Miklos Szeredi 已提交
2738 2739 2740 2741 2742 2743 2744
			/*
			 * 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 */
2745
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2746 2747 2748
			goto no_open;
		} else {
			/* No side effects, safe to clear O_CREAT */
2749
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2750 2751 2752 2753 2754
			open_flag &= ~O_CREAT;
		}
	}

	if (open_flag & O_CREAT) {
2755
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2756 2757 2758 2759 2760 2761 2762 2763 2764 2765 2766
		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 已提交
2767 2768 2769
	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,
2770
				      opened);
A
Al Viro 已提交
2771 2772 2773
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2774 2775 2776
		goto out;
	}

A
Al Viro 已提交
2777
	if (error) {	/* returned 1, that is */
A
Al Viro 已提交
2778
		if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2779
			error = -EIO;
M
Miklos Szeredi 已提交
2780 2781
			goto out;
		}
A
Al Viro 已提交
2782
		if (file->f_path.dentry) {
M
Miklos Szeredi 已提交
2783
			dput(dentry);
A
Al Viro 已提交
2784
			dentry = file->f_path.dentry;
M
Miklos Szeredi 已提交
2785
		}
2786 2787 2788 2789 2790 2791 2792 2793 2794 2795 2796 2797 2798
		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;
			}
2799
		}
M
Miklos Szeredi 已提交
2800 2801 2802 2803 2804 2805 2806
		goto looked_up;
	}

	/*
	 * We didn't have the inode before the open, so check open permission
	 * here.
	 */
2807 2808 2809 2810 2811 2812
	acc_mode = op->acc_mode;
	if (*opened & FILE_CREATED) {
		WARN_ON(!(open_flag & O_CREAT));
		fsnotify_create(dir, dentry);
		acc_mode = MAY_OPEN;
	}
2813 2814 2815
	error = may_open(&file->f_path, acc_mode, open_flag);
	if (error)
		fput(file);
M
Miklos Szeredi 已提交
2816 2817 2818

out:
	dput(dentry);
2819
	return error;
M
Miklos Szeredi 已提交
2820 2821 2822

no_open:
	if (need_lookup) {
2823
		dentry = lookup_real(dir, dentry, nd->flags);
M
Miklos Szeredi 已提交
2824
		if (IS_ERR(dentry))
2825
			return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2826 2827 2828 2829

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

2830
			error = create_error;
M
Miklos Szeredi 已提交
2831 2832 2833 2834 2835 2836
			if ((open_flag & O_EXCL)) {
				if (!dentry->d_inode)
					goto out;
			} else if (!dentry->d_inode) {
				goto out;
			} else if ((open_flag & O_TRUNC) &&
2837
				   d_is_reg(dentry)) {
M
Miklos Szeredi 已提交
2838 2839 2840 2841 2842 2843 2844 2845
				goto out;
			}
			/* will fail later, go on to get the right error */
		}
	}
looked_up:
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2846
	return 1;
M
Miklos Szeredi 已提交
2847 2848
}

M
Miklos Szeredi 已提交
2849
/*
2850
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2851 2852 2853
 *
 * Must be called with i_mutex held on parent.
 *
2854 2855 2856 2857 2858 2859 2860 2861 2862 2863 2864 2865
 * 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 已提交
2866
 */
2867 2868 2869
static int lookup_open(struct nameidata *nd, struct path *path,
			struct file *file,
			const struct open_flags *op,
2870
			bool got_write, int *opened)
M
Miklos Szeredi 已提交
2871 2872
{
	struct dentry *dir = nd->path.dentry;
2873
	struct inode *dir_inode = dir->d_inode;
M
Miklos Szeredi 已提交
2874 2875
	struct dentry *dentry;
	int error;
2876
	bool need_lookup;
M
Miklos Szeredi 已提交
2877

2878
	*opened &= ~FILE_CREATED;
2879
	dentry = lookup_dcache(&nd->last, dir, nd->flags, &need_lookup);
M
Miklos Szeredi 已提交
2880
	if (IS_ERR(dentry))
2881
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2882

M
Miklos Szeredi 已提交
2883 2884 2885 2886 2887
	/* 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) {
2888
		return atomic_open(nd, dentry, path, file, op, got_write,
2889
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2890 2891
	}

2892 2893 2894
	if (need_lookup) {
		BUG_ON(dentry->d_inode);

2895
		dentry = lookup_real(dir_inode, dentry, nd->flags);
2896
		if (IS_ERR(dentry))
2897
			return PTR_ERR(dentry);
2898 2899
	}

M
Miklos Szeredi 已提交
2900 2901 2902 2903 2904 2905 2906 2907 2908 2909
	/* 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
2910
		 * the 'struct file' in finish_open().
M
Miklos Szeredi 已提交
2911
		 */
2912 2913
		if (!got_write) {
			error = -EROFS;
M
Miklos Szeredi 已提交
2914
			goto out_dput;
2915
		}
2916
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2917 2918 2919
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto out_dput;
A
Al Viro 已提交
2920 2921
		error = vfs_create(dir->d_inode, dentry, mode,
				   nd->flags & LOOKUP_EXCL);
M
Miklos Szeredi 已提交
2922 2923 2924
		if (error)
			goto out_dput;
	}
M
Miklos Szeredi 已提交
2925
out_no_open:
M
Miklos Szeredi 已提交
2926 2927
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2928
	return 1;
M
Miklos Szeredi 已提交
2929 2930 2931

out_dput:
	dput(dentry);
2932
	return error;
M
Miklos Szeredi 已提交
2933 2934
}

N
Nick Piggin 已提交
2935
/*
2936
 * Handle the last step of open()
N
Nick Piggin 已提交
2937
 */
2938
static int do_last(struct nameidata *nd,
2939
		   struct file *file, const struct open_flags *op,
2940
		   int *opened, struct filename *name)
2941
{
2942
	struct dentry *dir = nd->path.dentry;
2943
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
2944
	bool will_truncate = (open_flag & O_TRUNC) != 0;
2945
	bool got_write = false;
A
Al Viro 已提交
2946
	int acc_mode = op->acc_mode;
2947
	struct inode *inode;
2948
	struct path save_parent = { .dentry = NULL, .mnt = NULL };
2949
	struct path path;
2950
	bool retried = false;
A
Al Viro 已提交
2951
	int error;
2952

2953 2954 2955
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

2956
	if (nd->last_type != LAST_NORM) {
2957 2958
		error = handle_dots(nd, nd->last_type);
		if (error)
2959
			return error;
M
Miklos Szeredi 已提交
2960
		goto finish_open;
2961
	}
2962

2963
	if (!(open_flag & O_CREAT)) {
2964 2965 2966
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
		/* we _can_ be in RCU mode here */
2967
		error = lookup_fast(nd, &path, &inode);
2968 2969 2970 2971
		if (likely(!error))
			goto finish_lookup;

		if (error < 0)
2972
			goto out;
2973 2974

		BUG_ON(nd->inode != dir->d_inode);
2975 2976 2977 2978 2979 2980 2981 2982 2983
	} 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);
		if (error)
2984
			return error;
2985

2986
		audit_inode(name, dir, LOOKUP_PARENT);
2987 2988 2989
		error = -EISDIR;
		/* trailing slashes? */
		if (nd->last.name[nd->last.len])
2990
			goto out;
2991
	}
A
Al Viro 已提交
2992

2993
retry_lookup:
2994 2995 2996 2997 2998 2999 3000 3001 3002 3003
	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.
		 */
	}
3004
	mutex_lock(&dir->d_inode->i_mutex);
3005
	error = lookup_open(nd, &path, file, op, got_write, opened);
M
Miklos Szeredi 已提交
3006
	mutex_unlock(&dir->d_inode->i_mutex);
3007

3008 3009
	if (error <= 0) {
		if (error)
M
Miklos Szeredi 已提交
3010 3011
			goto out;

3012
		if ((*opened & FILE_CREATED) ||
A
Al Viro 已提交
3013
		    !S_ISREG(file_inode(file)->i_mode))
M
Miklos Szeredi 已提交
3014
			will_truncate = false;
M
Miklos Szeredi 已提交
3015

3016
		audit_inode(name, file->f_path.dentry, 0);
M
Miklos Szeredi 已提交
3017 3018
		goto opened;
	}
3019

3020
	if (*opened & FILE_CREATED) {
3021
		/* Don't check for write permission, don't truncate */
3022
		open_flag &= ~O_TRUNC;
M
Miklos Szeredi 已提交
3023
		will_truncate = false;
A
Al Viro 已提交
3024
		acc_mode = MAY_OPEN;
3025
		path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
3026
		goto finish_open_created;
3027 3028 3029
	}

	/*
3030
	 * create/update audit record if it already exists.
3031
	 */
3032 3033
	if (d_is_positive(path.dentry))
		audit_inode(name, path.dentry, 0);
3034

M
Miklos Szeredi 已提交
3035 3036 3037 3038 3039
	/*
	 * If atomic_open() acquired write access it is dropped now due to
	 * possible mount and symlink following (this might be optimized away if
	 * necessary...)
	 */
3040
	if (got_write) {
M
Miklos Szeredi 已提交
3041
		mnt_drop_write(nd->path.mnt);
3042
		got_write = false;
M
Miklos Szeredi 已提交
3043 3044
	}

3045
	error = -EEXIST;
A
Al Viro 已提交
3046
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))
3047 3048
		goto exit_dput;

3049
	error = follow_managed(&path, nd->flags);
3050 3051
	if (error < 0)
		goto exit_dput;
3052

3053 3054 3055
	if (error)
		nd->flags |= LOOKUP_JUMPED;

3056
	BUG_ON(nd->flags & LOOKUP_RCU);
3057
	inode = path.dentry->d_inode;
3058
	error = -ENOENT;
3059 3060
	if (d_is_negative(path.dentry)) {
		path_to_nameidata(&path, nd);
3061
		goto out;
3062
	}
3063
finish_lookup:
3064
	if (should_follow_link(path.dentry, nd->flags & LOOKUP_FOLLOW)) {
3065
		if (nd->flags & LOOKUP_RCU) {
3066 3067
			if (unlikely(nd->path.mnt != path.mnt ||
				     unlazy_walk(nd, path.dentry))) {
3068
				error = -ECHILD;
3069
				goto out;
3070 3071
			}
		}
3072 3073
		BUG_ON(inode != path.dentry->d_inode);
		nd->link = path;
3074
		return 1;
3075
	}
3076

3077 3078
	if (unlikely(d_is_symlink(path.dentry)) && !(open_flag & O_PATH)) {
		path_to_nameidata(&path, nd);
3079 3080 3081 3082
		error = -ELOOP;
		goto out;
	}

3083 3084
	if ((nd->flags & LOOKUP_RCU) || nd->path.mnt != path.mnt) {
		path_to_nameidata(&path, nd);
3085 3086
	} else {
		save_parent.dentry = nd->path.dentry;
3087 3088
		save_parent.mnt = mntget(path.mnt);
		nd->path.dentry = path.dentry;
3089 3090

	}
3091
	nd->inode = inode;
3092
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
3093
finish_open:
3094
	error = complete_walk(nd);
3095 3096
	if (error) {
		path_put(&save_parent);
3097
		return error;
3098
	}
3099
	audit_inode(name, nd->path.dentry, 0);
3100
	error = -EISDIR;
M
Miklos Szeredi 已提交
3101
	if ((open_flag & O_CREAT) && d_is_dir(nd->path.dentry))
3102
		goto out;
3103
	error = -ENOTDIR;
M
Miklos Szeredi 已提交
3104
	if ((nd->flags & LOOKUP_DIRECTORY) && !d_can_lookup(nd->path.dentry))
3105
		goto out;
3106
	if (!d_is_reg(nd->path.dentry))
M
Miklos Szeredi 已提交
3107
		will_truncate = false;
3108

3109 3110 3111
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
3112
			goto out;
3113
		got_write = true;
3114
	}
M
Miklos Szeredi 已提交
3115
finish_open_created:
A
Al Viro 已提交
3116
	error = may_open(&nd->path, acc_mode, open_flag);
3117
	if (error)
3118
		goto out;
M
Miklos Szeredi 已提交
3119 3120 3121 3122 3123 3124

	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 已提交
3125
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
3126
			goto stale_open;
3127
		goto out;
M
Miklos Szeredi 已提交
3128
	}
3129
opened:
3130
	error = open_check_o_direct(file);
3131 3132
	if (error)
		goto exit_fput;
3133
	error = ima_file_check(file, op->acc_mode, *opened);
3134 3135 3136 3137
	if (error)
		goto exit_fput;

	if (will_truncate) {
3138
		error = handle_truncate(file);
3139 3140
		if (error)
			goto exit_fput;
3141
	}
3142
out:
3143
	if (got_write)
3144
		mnt_drop_write(nd->path.mnt);
3145
	path_put(&save_parent);
3146
	terminate_walk(nd);
3147
	return error;
3148 3149

exit_dput:
3150
	path_put_conditional(&path, nd);
3151
	goto out;
3152
exit_fput:
3153 3154
	fput(file);
	goto out;
3155

M
Miklos Szeredi 已提交
3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166
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;
3167
	if (got_write) {
M
Miklos Szeredi 已提交
3168
		mnt_drop_write(nd->path.mnt);
3169
		got_write = false;
M
Miklos Szeredi 已提交
3170 3171 3172
	}
	retried = true;
	goto retry_lookup;
3173 3174
}

3175 3176 3177 3178 3179 3180 3181 3182
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);
	struct dentry *dentry, *child;
	struct inode *dir;
3183
	int error = path_lookupat(dfd, pathname,
3184 3185 3186 3187 3188 3189 3190 3191 3192 3193 3194 3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3212
				  flags | LOOKUP_DIRECTORY, nd);
	if (unlikely(error))
		return error;
	error = mnt_want_write(nd->path.mnt);
	if (unlikely(error))
		goto out;
	/* we want directory to be writable */
	error = inode_permission(nd->inode, MAY_WRITE | MAY_EXEC);
	if (error)
		goto out2;
	dentry = nd->path.dentry;
	dir = dentry->d_inode;
	if (!dir->i_op->tmpfile) {
		error = -EOPNOTSUPP;
		goto out2;
	}
	child = d_alloc(dentry, &name);
	if (unlikely(!child)) {
		error = -ENOMEM;
		goto out2;
	}
	nd->flags &= ~LOOKUP_DIRECTORY;
	nd->flags |= op->intent;
	dput(nd->path.dentry);
	nd->path.dentry = child;
	error = dir->i_op->tmpfile(dir, nd->path.dentry, op->mode);
	if (error)
		goto out2;
	audit_inode(pathname, nd->path.dentry, 0);
3213 3214
	/* Don't check for other permissions, the inode was just created */
	error = may_open(&nd->path, MAY_OPEN, op->open_flag);
3215 3216 3217 3218 3219 3220 3221
	if (error)
		goto out2;
	file->f_path.mnt = nd->path.mnt;
	error = finish_open(file, nd->path.dentry, NULL, opened);
	if (error)
		goto out2;
	error = open_check_o_direct(file);
3222
	if (error) {
3223
		fput(file);
3224 3225 3226 3227 3228 3229
	} 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);
	}
3230 3231 3232 3233 3234 3235 3236
out2:
	mnt_drop_write(nd->path.mnt);
out:
	path_put(&nd->path);
	return error;
}

3237
static struct file *path_openat(int dfd, struct filename *pathname,
A
Al Viro 已提交
3238
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
3239
{
A
Al Viro 已提交
3240
	struct file *file;
3241
	int opened = 0;
3242
	int error;
N
Nick Piggin 已提交
3243

A
Al Viro 已提交
3244
	file = get_empty_filp();
3245 3246
	if (IS_ERR(file))
		return file;
N
Nick Piggin 已提交
3247

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

A
Al Viro 已提交
3250
	if (unlikely(file->f_flags & __O_TMPFILE)) {
3251
		error = do_tmpfile(dfd, pathname, nd, flags, op, file, &opened);
A
Al Viro 已提交
3252
		goto out2;
3253 3254
	}

A
Al Viro 已提交
3255
	error = path_init(dfd, pathname, flags, nd);
N
Nick Piggin 已提交
3256
	if (unlikely(error))
3257
		goto out;
L
Linus Torvalds 已提交
3258

3259
	error = do_last(nd, file, op, &opened, pathname);
3260
	while (unlikely(error > 0)) { /* trailing symlink */
A
Al Viro 已提交
3261
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
3262
		error = trailing_symlink(nd);
3263
		if (unlikely(error))
3264
			break;
3265
		error = do_last(nd, file, op, &opened, pathname);
3266
		put_link(nd);
3267
	}
A
Al Viro 已提交
3268
out:
A
Al Viro 已提交
3269
	path_cleanup(nd);
A
Al Viro 已提交
3270
out2:
3271 3272
	if (!(opened & FILE_OPENED)) {
		BUG_ON(!error);
A
Al Viro 已提交
3273
		put_filp(file);
3274
	}
3275 3276 3277 3278 3279 3280 3281 3282 3283 3284
	if (unlikely(error)) {
		if (error == -EOPENSTALE) {
			if (flags & LOOKUP_RCU)
				error = -ECHILD;
			else
				error = -ESTALE;
		}
		file = ERR_PTR(error);
	}
	return file;
L
Linus Torvalds 已提交
3285 3286
}

3287
struct file *do_filp_open(int dfd, struct filename *pathname,
3288
		const struct open_flags *op)
3289
{
A
Al Viro 已提交
3290
	struct nameidata nd;
3291
	int flags = op->lookup_flags;
3292 3293
	struct file *filp;

A
Al Viro 已提交
3294
	filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_RCU);
3295
	if (unlikely(filp == ERR_PTR(-ECHILD)))
A
Al Viro 已提交
3296
		filp = path_openat(dfd, pathname, &nd, op, flags);
3297
	if (unlikely(filp == ERR_PTR(-ESTALE)))
A
Al Viro 已提交
3298
		filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_REVAL);
3299 3300 3301
	return filp;
}

A
Al Viro 已提交
3302
struct file *do_file_open_root(struct dentry *dentry, struct vfsmount *mnt,
3303
		const char *name, const struct open_flags *op)
A
Al Viro 已提交
3304 3305 3306
{
	struct nameidata nd;
	struct file *file;
3307
	struct filename *filename;
3308
	int flags = op->lookup_flags | LOOKUP_ROOT;
A
Al Viro 已提交
3309 3310 3311 3312

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

3313
	if (d_is_symlink(dentry) && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3314 3315
		return ERR_PTR(-ELOOP);

3316 3317 3318 3319 3320
	filename = getname_kernel(name);
	if (unlikely(IS_ERR(filename)))
		return ERR_CAST(filename);

	file = path_openat(-1, filename, &nd, op, flags | LOOKUP_RCU);
A
Al Viro 已提交
3321
	if (unlikely(file == ERR_PTR(-ECHILD)))
3322
		file = path_openat(-1, filename, &nd, op, flags);
A
Al Viro 已提交
3323
	if (unlikely(file == ERR_PTR(-ESTALE)))
3324 3325
		file = path_openat(-1, filename, &nd, op, flags | LOOKUP_REVAL);
	putname(filename);
A
Al Viro 已提交
3326 3327 3328
	return file;
}

3329
static struct dentry *filename_create(int dfd, struct filename *name,
3330
				struct path *path, unsigned int lookup_flags)
L
Linus Torvalds 已提交
3331
{
3332
	struct dentry *dentry = ERR_PTR(-EEXIST);
A
Al Viro 已提交
3333
	struct nameidata nd;
3334
	int err2;
3335 3336 3337 3338 3339 3340 3341 3342 3343
	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;

3344
	error = filename_lookup(dfd, name, LOOKUP_PARENT|lookup_flags, &nd);
A
Al Viro 已提交
3345 3346
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
3347

3348 3349 3350 3351
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
A
Al Viro 已提交
3352 3353 3354 3355
	if (nd.last_type != LAST_NORM)
		goto out;
	nd.flags &= ~LOOKUP_PARENT;
	nd.flags |= LOOKUP_CREATE | LOOKUP_EXCL;
3356

3357 3358
	/* don't fail immediately if it's r/o, at least try to report other errors */
	err2 = mnt_want_write(nd.path.mnt);
3359 3360 3361
	/*
	 * Do the final lookup.
	 */
A
Al Viro 已提交
3362
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
A
Al Viro 已提交
3363
	dentry = __lookup_hash(&nd.last, nd.path.dentry, nd.flags);
L
Linus Torvalds 已提交
3364
	if (IS_ERR(dentry))
3365
		goto unlock;
3366

3367
	error = -EEXIST;
3368
	if (d_is_positive(dentry))
3369
		goto fail;
3370

3371 3372 3373 3374 3375 3376
	/*
	 * 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 已提交
3377
	if (unlikely(!is_dir && nd.last.name[nd.last.len])) {
3378
		error = -ENOENT;
A
Al Viro 已提交
3379
		goto fail;
3380
	}
3381 3382
	if (unlikely(err2)) {
		error = err2;
3383
		goto fail;
3384
	}
A
Al Viro 已提交
3385
	*path = nd.path;
L
Linus Torvalds 已提交
3386 3387
	return dentry;
fail:
3388 3389 3390
	dput(dentry);
	dentry = ERR_PTR(error);
unlock:
A
Al Viro 已提交
3391
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
3392 3393
	if (!err2)
		mnt_drop_write(nd.path.mnt);
A
Al Viro 已提交
3394 3395
out:
	path_put(&nd.path);
L
Linus Torvalds 已提交
3396 3397
	return dentry;
}
3398 3399 3400 3401

struct dentry *kern_path_create(int dfd, const char *pathname,
				struct path *path, unsigned int lookup_flags)
{
3402 3403 3404 3405 3406 3407 3408 3409
	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;
3410
}
3411 3412
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3413 3414 3415 3416
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3417
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3418 3419 3420 3421
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

3422 3423
struct dentry *user_path_create(int dfd, const char __user *pathname,
				struct path *path, unsigned int lookup_flags)
3424
{
3425
	struct filename *tmp = getname(pathname);
3426 3427 3428
	struct dentry *res;
	if (IS_ERR(tmp))
		return ERR_CAST(tmp);
3429
	res = filename_create(dfd, tmp, path, lookup_flags);
3430 3431 3432 3433 3434
	putname(tmp);
	return res;
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3435
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3436
{
3437
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3438 3439 3440 3441

	if (error)
		return error;

3442
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3443 3444
		return -EPERM;

A
Al Viro 已提交
3445
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3446 3447
		return -EPERM;

3448 3449 3450 3451
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3452 3453 3454 3455 3456
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3457
	if (!error)
3458
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3459 3460
	return error;
}
3461
EXPORT_SYMBOL(vfs_mknod);
L
Linus Torvalds 已提交
3462

A
Al Viro 已提交
3463
static int may_mknod(umode_t mode)
3464 3465 3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479
{
	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 已提交
3480
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
3481
		unsigned, dev)
L
Linus Torvalds 已提交
3482
{
3483
	struct dentry *dentry;
3484 3485
	struct path path;
	int error;
3486
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3487

3488 3489 3490
	error = may_mknod(mode);
	if (error)
		return error;
3491 3492
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3493 3494
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3495

3496
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3497
		mode &= ~current_umask();
3498
	error = security_path_mknod(&path, dentry, mode, dev);
3499
	if (error)
3500
		goto out;
3501
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3502
		case 0: case S_IFREG:
A
Al Viro 已提交
3503
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
L
Linus Torvalds 已提交
3504 3505
			break;
		case S_IFCHR: case S_IFBLK:
3506
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3507 3508 3509
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3510
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3511 3512
			break;
	}
3513
out:
A
Al Viro 已提交
3514
	done_path_create(&path, dentry);
3515 3516 3517 3518
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3519 3520 3521
	return error;
}

A
Al Viro 已提交
3522
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3523 3524 3525 3526
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

3527
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3528
{
3529
	int error = may_create(dir, dentry);
3530
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3531 3532 3533 3534

	if (error)
		return error;

A
Al Viro 已提交
3535
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3536 3537 3538 3539 3540 3541 3542
		return -EPERM;

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

3543 3544 3545
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3546
	error = dir->i_op->mkdir(dir, dentry, mode);
3547
	if (!error)
3548
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3549 3550
	return error;
}
3551
EXPORT_SYMBOL(vfs_mkdir);
L
Linus Torvalds 已提交
3552

3553
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
3554
{
3555
	struct dentry *dentry;
3556 3557
	struct path path;
	int error;
3558
	unsigned int lookup_flags = LOOKUP_DIRECTORY;
L
Linus Torvalds 已提交
3559

3560 3561
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3562
	if (IS_ERR(dentry))
3563
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3564

3565
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3566
		mode &= ~current_umask();
3567
	error = security_path_mkdir(&path, dentry, mode);
3568 3569
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3570
	done_path_create(&path, dentry);
3571 3572 3573 3574
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3575 3576 3577
	return error;
}

3578
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3579 3580 3581 3582
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
3583
/*
S
Sage Weil 已提交
3584
 * The dentry_unhash() helper will try to drop the dentry early: we
3585
 * should have a usage count of 1 if we're the only user of this
S
Sage Weil 已提交
3586 3587
 * dentry, and if that is true (possibly after pruning the dcache),
 * then we drop the dentry now.
L
Linus Torvalds 已提交
3588 3589 3590 3591 3592 3593 3594 3595 3596 3597 3598 3599
 *
 * 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)
{
3600
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
3601
	spin_lock(&dentry->d_lock);
3602
	if (dentry->d_lockref.count == 1)
L
Linus Torvalds 已提交
3603 3604 3605
		__d_drop(dentry);
	spin_unlock(&dentry->d_lock);
}
3606
EXPORT_SYMBOL(dentry_unhash);
L
Linus Torvalds 已提交
3607 3608 3609 3610 3611 3612 3613 3614

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

	if (error)
		return error;

A
Al Viro 已提交
3615
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3616 3617
		return -EPERM;

3618
	dget(dentry);
3619
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3620 3621

	error = -EBUSY;
3622
	if (is_local_mountpoint(dentry))
S
Sage Weil 已提交
3623 3624 3625 3626 3627 3628
		goto out;

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

3629
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3630 3631 3632 3633 3634 3635
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);
3636
	detach_mounts(dentry);
S
Sage Weil 已提交
3637 3638

out:
3639
	mutex_unlock(&dentry->d_inode->i_mutex);
3640
	dput(dentry);
S
Sage Weil 已提交
3641
	if (!error)
L
Linus Torvalds 已提交
3642 3643 3644
		d_delete(dentry);
	return error;
}
3645
EXPORT_SYMBOL(vfs_rmdir);
L
Linus Torvalds 已提交
3646

3647
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3648 3649
{
	int error = 0;
3650
	struct filename *name;
L
Linus Torvalds 已提交
3651
	struct dentry *dentry;
3652 3653 3654
	struct path path;
	struct qstr last;
	int type;
3655 3656
	unsigned int lookup_flags = 0;
retry:
3657 3658
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3659 3660
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3661

3662
	switch (type) {
3663 3664 3665 3666 3667 3668 3669 3670 3671
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3672
	}
3673

3674
	error = mnt_want_write(path.mnt);
3675 3676
	if (error)
		goto exit1;
3677

3678 3679
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3680
	error = PTR_ERR(dentry);
3681 3682
	if (IS_ERR(dentry))
		goto exit2;
3683 3684 3685 3686
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3687
	error = security_path_rmdir(&path, dentry);
3688
	if (error)
3689
		goto exit3;
3690
	error = vfs_rmdir(path.dentry->d_inode, dentry);
3691
exit3:
3692 3693
	dput(dentry);
exit2:
3694 3695
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3696
exit1:
3697
	path_put(&path);
L
Linus Torvalds 已提交
3698
	putname(name);
3699 3700 3701 3702
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3703 3704 3705
	return error;
}

3706
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3707 3708 3709 3710
{
	return do_rmdir(AT_FDCWD, pathname);
}

3711 3712 3713 3714 3715 3716 3717 3718 3719 3720 3721 3722 3723 3724 3725 3726 3727 3728 3729
/**
 * 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 已提交
3730
{
J
J. Bruce Fields 已提交
3731
	struct inode *target = dentry->d_inode;
L
Linus Torvalds 已提交
3732 3733 3734 3735 3736
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3737
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3738 3739
		return -EPERM;

J
J. Bruce Fields 已提交
3740
	mutex_lock(&target->i_mutex);
3741
	if (is_local_mountpoint(dentry))
L
Linus Torvalds 已提交
3742 3743 3744
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3745
		if (!error) {
3746 3747
			error = try_break_deleg(target, delegated_inode);
			if (error)
3748
				goto out;
L
Linus Torvalds 已提交
3749
			error = dir->i_op->unlink(dir, dentry);
3750
			if (!error) {
3751
				dont_mount(dentry);
3752 3753
				detach_mounts(dentry);
			}
3754
		}
L
Linus Torvalds 已提交
3755
	}
3756
out:
J
J. Bruce Fields 已提交
3757
	mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3758 3759 3760

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

L
Linus Torvalds 已提交
3765 3766
	return error;
}
3767
EXPORT_SYMBOL(vfs_unlink);
L
Linus Torvalds 已提交
3768 3769 3770

/*
 * Make sure that the actual truncation of the file will occur outside its
3771
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3772 3773 3774
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3775
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3776
{
3777
	int error;
3778
	struct filename *name;
L
Linus Torvalds 已提交
3779
	struct dentry *dentry;
3780 3781 3782
	struct path path;
	struct qstr last;
	int type;
L
Linus Torvalds 已提交
3783
	struct inode *inode = NULL;
3784
	struct inode *delegated_inode = NULL;
3785 3786
	unsigned int lookup_flags = 0;
retry:
3787 3788
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3789 3790
	if (IS_ERR(name))
		return PTR_ERR(name);
3791

L
Linus Torvalds 已提交
3792
	error = -EISDIR;
3793
	if (type != LAST_NORM)
L
Linus Torvalds 已提交
3794
		goto exit1;
3795

3796
	error = mnt_want_write(path.mnt);
3797 3798
	if (error)
		goto exit1;
3799
retry_deleg:
3800 3801
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3802 3803 3804
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
3805
		if (last.name[last.len])
3806
			goto slashes;
L
Linus Torvalds 已提交
3807
		inode = dentry->d_inode;
3808
		if (d_is_negative(dentry))
3809 3810
			goto slashes;
		ihold(inode);
3811
		error = security_path_unlink(&path, dentry);
3812
		if (error)
3813
			goto exit2;
3814
		error = vfs_unlink(path.dentry->d_inode, dentry, &delegated_inode);
3815
exit2:
L
Linus Torvalds 已提交
3816 3817
		dput(dentry);
	}
3818
	mutex_unlock(&path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3819 3820
	if (inode)
		iput(inode);	/* truncate the inode here */
3821 3822
	inode = NULL;
	if (delegated_inode) {
3823
		error = break_deleg_wait(&delegated_inode);
3824 3825 3826
		if (!error)
			goto retry_deleg;
	}
3827
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3828
exit1:
3829
	path_put(&path);
L
Linus Torvalds 已提交
3830
	putname(name);
3831 3832 3833 3834 3835
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		inode = NULL;
		goto retry;
	}
L
Linus Torvalds 已提交
3836 3837 3838
	return error;

slashes:
3839 3840
	if (d_is_negative(dentry))
		error = -ENOENT;
M
Miklos Szeredi 已提交
3841
	else if (d_is_dir(dentry))
3842 3843 3844
		error = -EISDIR;
	else
		error = -ENOTDIR;
L
Linus Torvalds 已提交
3845 3846 3847
	goto exit2;
}

3848
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3849 3850 3851 3852 3853 3854 3855 3856 3857 3858
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

3859
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3860 3861 3862 3863
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3864
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3865
{
3866
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3867 3868 3869 3870

	if (error)
		return error;

A
Al Viro 已提交
3871
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3872 3873 3874 3875 3876 3877 3878
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3879
	if (!error)
3880
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3881 3882
	return error;
}
3883
EXPORT_SYMBOL(vfs_symlink);
L
Linus Torvalds 已提交
3884

3885 3886
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3887
{
3888
	int error;
3889
	struct filename *from;
3890
	struct dentry *dentry;
3891
	struct path path;
3892
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3893 3894

	from = getname(oldname);
3895
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3896
		return PTR_ERR(from);
3897 3898
retry:
	dentry = user_path_create(newdfd, newname, &path, lookup_flags);
3899 3900
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3901
		goto out_putname;
3902

3903
	error = security_path_symlink(&path, dentry, from->name);
3904
	if (!error)
3905
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
3906
	done_path_create(&path, dentry);
3907 3908 3909 3910
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
3911
out_putname:
L
Linus Torvalds 已提交
3912 3913 3914 3915
	putname(from);
	return error;
}

3916
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3917 3918 3919 3920
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

J
J. Bruce Fields 已提交
3921 3922 3923 3924 3925 3926 3927 3928 3929 3930 3931 3932 3933 3934 3935 3936 3937 3938 3939 3940
/**
 * 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 已提交
3941 3942
{
	struct inode *inode = old_dentry->d_inode;
3943
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3944 3945 3946 3947 3948
	int error;

	if (!inode)
		return -ENOENT;

3949
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
3950 3951 3952 3953 3954 3955 3956 3957 3958 3959 3960
	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 已提交
3961
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
3962
		return -EPERM;
3963
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
3964 3965 3966 3967 3968 3969
		return -EPERM;

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

3970
	mutex_lock(&inode->i_mutex);
3971
	/* Make sure we don't allow creating hardlink to an unlinked file */
3972
	if (inode->i_nlink == 0 && !(inode->i_state & I_LINKABLE))
3973
		error =  -ENOENT;
3974 3975
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
J
J. Bruce Fields 已提交
3976 3977 3978 3979 3980
	else {
		error = try_break_deleg(inode, delegated_inode);
		if (!error)
			error = dir->i_op->link(old_dentry, dir, new_dentry);
	}
3981 3982 3983 3984 3985 3986

	if (!error && (inode->i_state & I_LINKABLE)) {
		spin_lock(&inode->i_lock);
		inode->i_state &= ~I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
3987
	mutex_unlock(&inode->i_mutex);
3988
	if (!error)
3989
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
3990 3991
	return error;
}
3992
EXPORT_SYMBOL(vfs_link);
L
Linus Torvalds 已提交
3993 3994 3995 3996 3997 3998 3999 4000 4001 4002

/*
 * 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
 */
4003 4004
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
4005 4006
{
	struct dentry *new_dentry;
4007
	struct path old_path, new_path;
J
J. Bruce Fields 已提交
4008
	struct inode *delegated_inode = NULL;
4009
	int how = 0;
L
Linus Torvalds 已提交
4010 4011
	int error;

4012
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
4013
		return -EINVAL;
4014
	/*
4015 4016 4017
	 * 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.
4018
	 */
4019 4020 4021
	if (flags & AT_EMPTY_PATH) {
		if (!capable(CAP_DAC_READ_SEARCH))
			return -ENOENT;
4022
		how = LOOKUP_EMPTY;
4023
	}
4024 4025 4026

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
4027
retry:
4028
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
4029
	if (error)
4030 4031
		return error;

4032 4033
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
4034
	error = PTR_ERR(new_dentry);
4035
	if (IS_ERR(new_dentry))
4036 4037 4038 4039 4040
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
4041 4042 4043
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
4044
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
4045
	if (error)
4046
		goto out_dput;
J
J. Bruce Fields 已提交
4047
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry, &delegated_inode);
4048
out_dput:
A
Al Viro 已提交
4049
	done_path_create(&new_path, new_dentry);
J
J. Bruce Fields 已提交
4050 4051
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
4052 4053
		if (!error) {
			path_put(&old_path);
J
J. Bruce Fields 已提交
4054
			goto retry;
4055
		}
J
J. Bruce Fields 已提交
4056
	}
4057
	if (retry_estale(error, how)) {
4058
		path_put(&old_path);
4059 4060 4061
		how |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
4062
out:
4063
	path_put(&old_path);
L
Linus Torvalds 已提交
4064 4065 4066 4067

	return error;
}

4068
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
4069
{
4070
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4071 4072
}

4073 4074 4075 4076 4077 4078 4079
/**
 * 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 已提交
4080
 * @flags:	rename flags
4081 4082 4083 4084 4085 4086 4087 4088 4089 4090 4091 4092 4093 4094
 *
 * 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 已提交
4095 4096 4097
 * 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:
4098
 *	a) we can get into loop creation.
L
Linus Torvalds 已提交
4099 4100
 *	b) race potential - two innocent renames can create a loop together.
 *	   That's where 4.4 screws up. Current fix: serialization on
4101
 *	   sb->s_vfs_rename_mutex. We might be more accurate, but that's another
L
Linus Torvalds 已提交
4102
 *	   story.
4103 4104
 *	c) we have to lock _four_ objects - parents and victim (if it exists),
 *	   and source (if it is not a directory).
4105
 *	   And that - after we got ->i_mutex on parents (until then we don't know
L
Linus Torvalds 已提交
4106 4107
 *	   whether the target exists).  Solution: try to be smart with locking
 *	   order for inodes.  We rely on the fact that tree topology may change
4108
 *	   only under ->s_vfs_rename_mutex _and_ that parent of the object we
L
Linus Torvalds 已提交
4109 4110 4111
 *	   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,
4112
 *	   lock child" and rename is under ->s_vfs_rename_mutex.
L
Linus Torvalds 已提交
4113 4114 4115
 *	   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.
4116
 *	d) conversion from fhandle to dentry may come in the wrong moment - when
4117
 *	   we are removing the target. Solution: we will have to grab ->i_mutex
L
Linus Torvalds 已提交
4118
 *	   in the fhandle_to_dentry code. [FIXME - current nfsfh.c relies on
4119
 *	   ->i_mutex on parents, which works but leads to some truly excessive
L
Linus Torvalds 已提交
4120 4121
 *	   locking].
 */
4122 4123
int vfs_rename(struct inode *old_dir, struct dentry *old_dentry,
	       struct inode *new_dir, struct dentry *new_dentry,
M
Miklos Szeredi 已提交
4124
	       struct inode **delegated_inode, unsigned int flags)
L
Linus Torvalds 已提交
4125
{
4126 4127 4128 4129
	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 已提交
4130
	struct inode *target = new_dentry->d_inode;
M
Miklos Szeredi 已提交
4131 4132
	bool new_is_dir = false;
	unsigned max_links = new_dir->i_sb->s_max_links;
4133 4134 4135 4136 4137 4138 4139 4140

	if (source == target)
		return 0;

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

M
Miklos Szeredi 已提交
4141
	if (!target) {
4142
		error = may_create(new_dir, new_dentry);
M
Miklos Szeredi 已提交
4143 4144 4145 4146 4147 4148 4149 4150
	} 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);
	}
4151 4152 4153
	if (error)
		return error;

M
Miklos Szeredi 已提交
4154
	if (!old_dir->i_op->rename && !old_dir->i_op->rename2)
4155
		return -EPERM;
L
Linus Torvalds 已提交
4156

M
Miklos Szeredi 已提交
4157 4158 4159
	if (flags && !old_dir->i_op->rename2)
		return -EINVAL;

L
Linus Torvalds 已提交
4160 4161 4162 4163
	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
M
Miklos Szeredi 已提交
4164 4165 4166 4167 4168 4169 4170 4171 4172 4173 4174
	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 已提交
4175 4176
	}

4177 4178
	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry,
				      flags);
L
Linus Torvalds 已提交
4179 4180 4181
	if (error)
		return error;

4182
	old_name = fsnotify_oldname_init(old_dentry->d_name.name);
4183
	dget(new_dentry);
M
Miklos Szeredi 已提交
4184
	if (!is_dir || (flags & RENAME_EXCHANGE))
4185 4186
		lock_two_nondirectories(source, target);
	else if (target)
4187
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
4188 4189

	error = -EBUSY;
4190
	if (is_local_mountpoint(old_dentry) || is_local_mountpoint(new_dentry))
S
Sage Weil 已提交
4191 4192
		goto out;

M
Miklos Szeredi 已提交
4193
	if (max_links && new_dir != old_dir) {
4194
		error = -EMLINK;
M
Miklos Szeredi 已提交
4195
		if (is_dir && !new_is_dir && new_dir->i_nlink >= max_links)
4196
			goto out;
M
Miklos Szeredi 已提交
4197 4198 4199 4200 4201 4202 4203
		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) {
4204
		error = try_break_deleg(source, delegated_inode);
4205 4206
		if (error)
			goto out;
M
Miklos Szeredi 已提交
4207 4208 4209 4210 4211
	}
	if (target && !new_is_dir) {
		error = try_break_deleg(target, delegated_inode);
		if (error)
			goto out;
4212
	}
M
Miklos Szeredi 已提交
4213
	if (!old_dir->i_op->rename2) {
M
Miklos Szeredi 已提交
4214 4215 4216
		error = old_dir->i_op->rename(old_dir, old_dentry,
					      new_dir, new_dentry);
	} else {
M
Miklos Szeredi 已提交
4217
		WARN_ON(old_dir->i_op->rename != NULL);
M
Miklos Szeredi 已提交
4218 4219 4220
		error = old_dir->i_op->rename2(old_dir, old_dentry,
					       new_dir, new_dentry, flags);
	}
S
Sage Weil 已提交
4221 4222 4223
	if (error)
		goto out;

M
Miklos Szeredi 已提交
4224
	if (!(flags & RENAME_EXCHANGE) && target) {
4225 4226
		if (is_dir)
			target->i_flags |= S_DEAD;
S
Sage Weil 已提交
4227
		dont_mount(new_dentry);
4228
		detach_mounts(new_dentry);
4229
	}
M
Miklos Szeredi 已提交
4230 4231 4232 4233 4234 4235
	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 已提交
4236
out:
M
Miklos Szeredi 已提交
4237
	if (!is_dir || (flags & RENAME_EXCHANGE))
4238 4239 4240
		unlock_two_nondirectories(source, target);
	else if (target)
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
4241
	dput(new_dentry);
M
Miklos Szeredi 已提交
4242
	if (!error) {
4243
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
M
Miklos Szeredi 已提交
4244 4245 4246 4247 4248 4249
			      !(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 已提交
4250 4251
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
4252 4253
	return error;
}
4254
EXPORT_SYMBOL(vfs_rename);
L
Linus Torvalds 已提交
4255

M
Miklos Szeredi 已提交
4256 4257
SYSCALL_DEFINE5(renameat2, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, unsigned int, flags)
L
Linus Torvalds 已提交
4258
{
4259 4260
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
4261 4262 4263
	struct path old_path, new_path;
	struct qstr old_last, new_last;
	int old_type, new_type;
4264
	struct inode *delegated_inode = NULL;
4265 4266
	struct filename *from;
	struct filename *to;
4267
	unsigned int lookup_flags = 0, target_flags = LOOKUP_RENAME_TARGET;
4268
	bool should_retry = false;
4269
	int error;
M
Miklos Szeredi 已提交
4270

M
Miklos Szeredi 已提交
4271
	if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
M
Miklos Szeredi 已提交
4272 4273
		return -EINVAL;

M
Miklos Szeredi 已提交
4274 4275
	if ((flags & (RENAME_NOREPLACE | RENAME_WHITEOUT)) &&
	    (flags & RENAME_EXCHANGE))
M
Miklos Szeredi 已提交
4276 4277
		return -EINVAL;

M
Miklos Szeredi 已提交
4278 4279 4280
	if ((flags & RENAME_WHITEOUT) && !capable(CAP_MKNOD))
		return -EPERM;

4281 4282 4283
	if (flags & RENAME_EXCHANGE)
		target_flags = 0;

4284
retry:
4285 4286
	from = user_path_parent(olddfd, oldname,
				&old_path, &old_last, &old_type, lookup_flags);
4287 4288
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
4289
		goto exit;
4290
	}
L
Linus Torvalds 已提交
4291

4292 4293
	to = user_path_parent(newdfd, newname,
				&new_path, &new_last, &new_type, lookup_flags);
4294 4295
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
4296
		goto exit1;
4297
	}
L
Linus Torvalds 已提交
4298 4299

	error = -EXDEV;
4300
	if (old_path.mnt != new_path.mnt)
L
Linus Torvalds 已提交
4301 4302 4303
		goto exit2;

	error = -EBUSY;
4304
	if (old_type != LAST_NORM)
L
Linus Torvalds 已提交
4305 4306
		goto exit2;

M
Miklos Szeredi 已提交
4307 4308
	if (flags & RENAME_NOREPLACE)
		error = -EEXIST;
4309
	if (new_type != LAST_NORM)
L
Linus Torvalds 已提交
4310 4311
		goto exit2;

4312
	error = mnt_want_write(old_path.mnt);
4313 4314 4315
	if (error)
		goto exit2;

4316
retry_deleg:
4317
	trap = lock_rename(new_path.dentry, old_path.dentry);
L
Linus Torvalds 已提交
4318

4319
	old_dentry = __lookup_hash(&old_last, old_path.dentry, lookup_flags);
L
Linus Torvalds 已提交
4320 4321 4322 4323 4324
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
4325
	if (d_is_negative(old_dentry))
L
Linus Torvalds 已提交
4326
		goto exit4;
4327
	new_dentry = __lookup_hash(&new_last, new_path.dentry, lookup_flags | target_flags);
M
Miklos Szeredi 已提交
4328 4329 4330 4331 4332 4333
	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 已提交
4334 4335 4336 4337 4338 4339 4340
	if (flags & RENAME_EXCHANGE) {
		error = -ENOENT;
		if (d_is_negative(new_dentry))
			goto exit5;

		if (!d_is_dir(new_dentry)) {
			error = -ENOTDIR;
4341
			if (new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4342 4343 4344
				goto exit5;
		}
	}
L
Linus Torvalds 已提交
4345
	/* unless the source is a directory trailing slashes give -ENOTDIR */
M
Miklos Szeredi 已提交
4346
	if (!d_is_dir(old_dentry)) {
L
Linus Torvalds 已提交
4347
		error = -ENOTDIR;
4348
		if (old_last.name[old_last.len])
M
Miklos Szeredi 已提交
4349
			goto exit5;
4350
		if (!(flags & RENAME_EXCHANGE) && new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4351
			goto exit5;
L
Linus Torvalds 已提交
4352 4353 4354 4355
	}
	/* source should not be ancestor of target */
	error = -EINVAL;
	if (old_dentry == trap)
M
Miklos Szeredi 已提交
4356
		goto exit5;
L
Linus Torvalds 已提交
4357
	/* target should not be an ancestor of source */
M
Miklos Szeredi 已提交
4358 4359
	if (!(flags & RENAME_EXCHANGE))
		error = -ENOTEMPTY;
L
Linus Torvalds 已提交
4360 4361 4362
	if (new_dentry == trap)
		goto exit5;

4363 4364
	error = security_path_rename(&old_path, old_dentry,
				     &new_path, new_dentry, flags);
4365
	if (error)
4366
		goto exit5;
4367 4368
	error = vfs_rename(old_path.dentry->d_inode, old_dentry,
			   new_path.dentry->d_inode, new_dentry,
M
Miklos Szeredi 已提交
4369
			   &delegated_inode, flags);
L
Linus Torvalds 已提交
4370 4371 4372 4373 4374
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
4375
	unlock_rename(new_path.dentry, old_path.dentry);
4376 4377 4378 4379 4380
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
		if (!error)
			goto retry_deleg;
	}
4381
	mnt_drop_write(old_path.mnt);
L
Linus Torvalds 已提交
4382
exit2:
4383 4384
	if (retry_estale(error, lookup_flags))
		should_retry = true;
4385
	path_put(&new_path);
4386
	putname(to);
L
Linus Torvalds 已提交
4387
exit1:
4388
	path_put(&old_path);
L
Linus Torvalds 已提交
4389
	putname(from);
4390 4391 4392 4393 4394
	if (should_retry) {
		should_retry = false;
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
4395
exit:
L
Linus Torvalds 已提交
4396 4397 4398
	return error;
}

M
Miklos Szeredi 已提交
4399 4400 4401 4402 4403 4404
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
	return sys_renameat2(olddfd, oldname, newdfd, newname, 0);
}

4405
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4406
{
M
Miklos Szeredi 已提交
4407
	return sys_renameat2(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4408 4409
}

M
Miklos Szeredi 已提交
4410 4411 4412 4413 4414 4415 4416 4417 4418 4419 4420 4421 4422 4423
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 已提交
4424
int readlink_copy(char __user *buffer, int buflen, const char *link)
L
Linus Torvalds 已提交
4425
{
A
Al Viro 已提交
4426
	int len = PTR_ERR(link);
L
Linus Torvalds 已提交
4427 4428 4429 4430 4431 4432 4433 4434 4435 4436 4437
	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 已提交
4438
EXPORT_SYMBOL(readlink_copy);
L
Linus Torvalds 已提交
4439 4440 4441 4442 4443 4444 4445 4446

/*
 * 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)
{
4447
	void *cookie;
4448
	const char *link = dentry->d_inode->i_link;
4449
	int res;
4450

4451 4452 4453 4454 4455
	if (!link) {
		link = dentry->d_inode->i_op->follow_link(dentry, &cookie, NULL);
		if (IS_ERR(link))
			return PTR_ERR(link);
	}
4456 4457 4458
	res = readlink_copy(buffer, buflen, link);
	if (cookie && dentry->d_inode->i_op->put_link)
		dentry->d_inode->i_op->put_link(dentry, cookie);
4459
	return res;
L
Linus Torvalds 已提交
4460
}
4461
EXPORT_SYMBOL(generic_readlink);
L
Linus Torvalds 已提交
4462 4463 4464 4465

/* get the link contents into pagecache */
static char *page_getlink(struct dentry * dentry, struct page **ppage)
{
4466 4467
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
4468
	struct address_space *mapping = dentry->d_inode->i_mapping;
4469
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
4470
	if (IS_ERR(page))
4471
		return (char*)page;
L
Linus Torvalds 已提交
4472
	*ppage = page;
4473 4474 4475
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
4476 4477 4478 4479 4480
}

int page_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
	struct page *page = NULL;
A
Al Viro 已提交
4481
	int res = readlink_copy(buffer, buflen, page_getlink(dentry, &page));
L
Linus Torvalds 已提交
4482 4483 4484 4485 4486 4487
	if (page) {
		kunmap(page);
		page_cache_release(page);
	}
	return res;
}
4488
EXPORT_SYMBOL(page_readlink);
L
Linus Torvalds 已提交
4489

4490
const char *page_follow_link_light(struct dentry *dentry, void **cookie, struct nameidata *nd)
L
Linus Torvalds 已提交
4491
{
4492
	struct page *page = NULL;
4493 4494 4495 4496
	char *res = page_getlink(dentry, &page);
	if (!IS_ERR(res))
		*cookie = page;
	return res;
L
Linus Torvalds 已提交
4497
}
4498
EXPORT_SYMBOL(page_follow_link_light);
L
Linus Torvalds 已提交
4499

4500
void page_put_link(struct dentry *dentry, void *cookie)
L
Linus Torvalds 已提交
4501
{
4502
	struct page *page = cookie;
4503 4504
	kunmap(page);
	page_cache_release(page);
L
Linus Torvalds 已提交
4505
}
4506
EXPORT_SYMBOL(page_put_link);
L
Linus Torvalds 已提交
4507

4508 4509 4510 4511
/*
 * 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 已提交
4512 4513
{
	struct address_space *mapping = inode->i_mapping;
4514
	struct page *page;
4515
	void *fsdata;
4516
	int err;
L
Linus Torvalds 已提交
4517
	char *kaddr;
4518 4519 4520
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
4521

4522
retry:
4523
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
4524
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
4525
	if (err)
4526 4527
		goto fail;

4528
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
4529
	memcpy(kaddr, symname, len-1);
4530
	kunmap_atomic(kaddr);
4531 4532 4533

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4534 4535
	if (err < 0)
		goto fail;
4536 4537 4538
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4539 4540 4541 4542 4543
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}
4544
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4545

4546 4547 4548
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4549
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
4550
}
4551
EXPORT_SYMBOL(page_symlink);
4552

4553
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
4554 4555 4556 4557 4558
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};
EXPORT_SYMBOL(page_symlink_inode_operations);