namei.c 98.1 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>
L
Linus Torvalds 已提交
37 38
#include <asm/uaccess.h>

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

L
Linus Torvalds 已提交
42 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
/* [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 已提交
76
 * the name is a symlink pointing to a non-existent name.
L
Linus Torvalds 已提交
77 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
 *
 * 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)
109
 * implemented.  Let's see if raised priority of ->s_vfs_rename_mutex gives
L
Linus Torvalds 已提交
110 111 112 113 114 115 116 117 118 119
 * 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.
 */
120
void final_putname(struct filename *name)
L
Linus Torvalds 已提交
121
{
122 123 124 125 126 127 128 129 130
	__putname(name->name);
	kfree(name);
}

static struct filename *
getname_flags(const char __user *filename, int flags, int *empty)
{
	struct filename *result, *err;
	char *kname;
131
	int len;
132

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

137 138
	/* FIXME: create dedicated slabcache? */
	result = kzalloc(sizeof(*result), GFP_KERNEL);
139
	if (unlikely(!result))
140 141
		return ERR_PTR(-ENOMEM);

142 143 144 145 146 147 148 149 150 151 152
	kname = __getname();
	if (unlikely(!kname)) {
		err = ERR_PTR(-ENOMEM);
		goto error_free_name;
	}

	result->name = kname;
	result->uptr = filename;
	len = strncpy_from_user(kname, filename, PATH_MAX);
	if (unlikely(len < 0)) {
		err = ERR_PTR(len);
153
		goto error;
154
	}
155 156 157 158

	/* The empty path is special. */
	if (unlikely(!len)) {
		if (empty)
159
			*empty = 1;
160 161 162
		err = ERR_PTR(-ENOENT);
		if (!(flags & LOOKUP_EMPTY))
			goto error;
L
Linus Torvalds 已提交
163
	}
164 165 166 167 168 169 170 171

	err = ERR_PTR(-ENAMETOOLONG);
	if (likely(len < PATH_MAX)) {
		audit_getname(result);
		return result;
	}

error:
172 173 174
	__putname(kname);
error_free_name:
	kfree(result);
175
	return err;
L
Linus Torvalds 已提交
176 177
}

178 179
struct filename *
getname(const char __user * filename)
A
Al Viro 已提交
180
{
181
	return getname_flags(filename, 0, NULL);
A
Al Viro 已提交
182
}
183
EXPORT_SYMBOL(getname);
A
Al Viro 已提交
184

L
Linus Torvalds 已提交
185
#ifdef CONFIG_AUDITSYSCALL
186
void putname(struct filename *name)
L
Linus Torvalds 已提交
187
{
188
	if (unlikely(!audit_dummy_context()))
189 190
		return audit_putname(name);
	final_putname(name);
L
Linus Torvalds 已提交
191 192 193
}
#endif

194 195
static int check_acl(struct inode *inode, int mask)
{
196
#ifdef CONFIG_FS_POSIX_ACL
197 198 199
	struct posix_acl *acl;

	if (mask & MAY_NOT_BLOCK) {
200 201
		acl = get_cached_acl_rcu(inode, ACL_TYPE_ACCESS);
	        if (!acl)
202
	                return -EAGAIN;
203 204 205
		/* no ->get_acl() calls in RCU mode... */
		if (acl == ACL_NOT_CACHED)
			return -ECHILD;
A
Ari Savolainen 已提交
206
	        return posix_acl_permission(inode, acl, mask & ~MAY_NOT_BLOCK);
207 208 209 210 211
	}

	acl = get_cached_acl(inode, ACL_TYPE_ACCESS);

	/*
212 213 214
	 * A filesystem can force a ACL callback by just never filling the
	 * ACL cache. But normally you'd fill the cache either at inode
	 * instantiation time, or on the first ->get_acl call.
215
	 *
216 217
	 * If the filesystem doesn't have a get_acl() function at all, we'll
	 * just create the negative cache entry.
218 219
	 */
	if (acl == ACL_NOT_CACHED) {
220 221 222 223 224 225 226 227
	        if (inode->i_op->get_acl) {
			acl = inode->i_op->get_acl(inode, ACL_TYPE_ACCESS);
			if (IS_ERR(acl))
				return PTR_ERR(acl);
		} else {
		        set_cached_acl(inode, ACL_TYPE_ACCESS, NULL);
		        return -EAGAIN;
		}
228 229 230 231 232 233 234
	}

	if (acl) {
	        int error = posix_acl_permission(inode, acl, mask);
	        posix_acl_release(acl);
	        return error;
	}
235
#endif
236 237 238 239

	return -EAGAIN;
}

240
/*
241
 * This does the basic permission checking
L
Linus Torvalds 已提交
242
 */
243
static int acl_permission_check(struct inode *inode, int mask)
L
Linus Torvalds 已提交
244
{
245
	unsigned int mode = inode->i_mode;
L
Linus Torvalds 已提交
246

247
	if (likely(uid_eq(current_fsuid(), inode->i_uid)))
L
Linus Torvalds 已提交
248 249
		mode >>= 6;
	else {
250
		if (IS_POSIXACL(inode) && (mode & S_IRWXG)) {
251
			int error = check_acl(inode, mask);
252 253
			if (error != -EAGAIN)
				return error;
L
Linus Torvalds 已提交
254 255 256 257 258 259 260 261 262
		}

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

	/*
	 * If the DACs are ok we don't need any capability check.
	 */
263
	if ((mask & ~mode & (MAY_READ | MAY_WRITE | MAY_EXEC)) == 0)
L
Linus Torvalds 已提交
264
		return 0;
265 266 267 268
	return -EACCES;
}

/**
269
 * generic_permission -  check for access rights on a Posix-like filesystem
270
 * @inode:	inode to check access rights for
271
 * @mask:	right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC, ...)
272 273 274 275
 *
 * 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
276 277 278 279 280
 * 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.
281
 */
282
int generic_permission(struct inode *inode, int mask)
283 284 285 286
{
	int ret;

	/*
287
	 * Do the basic permission checks.
288
	 */
289
	ret = acl_permission_check(inode, mask);
290 291
	if (ret != -EACCES)
		return ret;
L
Linus Torvalds 已提交
292

293 294
	if (S_ISDIR(inode->i_mode)) {
		/* DACs are overridable for directories */
295
		if (inode_capable(inode, CAP_DAC_OVERRIDE))
296 297
			return 0;
		if (!(mask & MAY_WRITE))
298
			if (inode_capable(inode, CAP_DAC_READ_SEARCH))
299 300 301
				return 0;
		return -EACCES;
	}
L
Linus Torvalds 已提交
302 303
	/*
	 * Read/write DACs are always overridable.
304 305
	 * Executable DACs are overridable when there is
	 * at least one exec bit set.
L
Linus Torvalds 已提交
306
	 */
307
	if (!(mask & MAY_EXEC) || (inode->i_mode & S_IXUGO))
308
		if (inode_capable(inode, CAP_DAC_OVERRIDE))
L
Linus Torvalds 已提交
309 310 311 312 313
			return 0;

	/*
	 * Searching includes executable on directories, else just read.
	 */
314
	mask &= MAY_READ | MAY_WRITE | MAY_EXEC;
315
	if (mask == MAY_READ)
316
		if (inode_capable(inode, CAP_DAC_READ_SEARCH))
L
Linus Torvalds 已提交
317 318 319 320 321
			return 0;

	return -EACCES;
}

322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341
/*
 * 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 已提交
342
/**
D
David Howells 已提交
343 344 345
 * __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 已提交
346
 *
D
David Howells 已提交
347
 * Check for read/write/execute permissions on an inode.
348 349
 *
 * When checking for MAY_APPEND, MAY_WRITE must also be set in @mask.
D
David Howells 已提交
350 351 352
 *
 * This does not check for a read-only file system.  You probably want
 * inode_permission().
C
Christoph Hellwig 已提交
353
 */
D
David Howells 已提交
354
int __inode_permission(struct inode *inode, int mask)
L
Linus Torvalds 已提交
355
{
356
	int retval;
L
Linus Torvalds 已提交
357

358
	if (unlikely(mask & MAY_WRITE)) {
L
Linus Torvalds 已提交
359 360 361 362 363 364 365
		/*
		 * Nobody gets write access to an immutable file.
		 */
		if (IS_IMMUTABLE(inode))
			return -EACCES;
	}

366
	retval = do_inode_permission(inode, mask);
L
Linus Torvalds 已提交
367 368 369
	if (retval)
		return retval;

370 371 372 373
	retval = devcgroup_inode_permission(inode, mask);
	if (retval)
		return retval;

374
	return security_inode_permission(inode, mask);
L
Linus Torvalds 已提交
375 376
}

D
David Howells 已提交
377 378 379
/**
 * sb_permission - Check superblock-level permissions
 * @sb: Superblock of inode to check permission on
380
 * @inode: Inode to check permission on
D
David Howells 已提交
381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418
 * @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);
}

J
Jan Blunck 已提交
419 420 421 422 423 424 425 426 427 428 429 430 431
/**
 * 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.
 */
void path_get(struct path *path)
{
	mntget(path->mnt);
	dget(path->dentry);
}
EXPORT_SYMBOL(path_get);

J
Jan Blunck 已提交
432 433 434 435 436 437 438
/**
 * 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.
 */
void path_put(struct path *path)
L
Linus Torvalds 已提交
439
{
J
Jan Blunck 已提交
440 441
	dput(path->dentry);
	mntput(path->mnt);
L
Linus Torvalds 已提交
442
}
J
Jan Blunck 已提交
443
EXPORT_SYMBOL(path_put);
L
Linus Torvalds 已提交
444

A
Al Viro 已提交
445
/*
N
Nick Piggin 已提交
446
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
447 448 449 450 451 452 453
 * 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 已提交
454 455
 */

A
Al Viro 已提交
456 457 458 459 460 461 462 463 464 465 466 467
static inline void lock_rcu_walk(void)
{
	br_read_lock(&vfsmount_lock);
	rcu_read_lock();
}

static inline void unlock_rcu_walk(void)
{
	rcu_read_unlock();
	br_read_unlock(&vfsmount_lock);
}

N
Nick Piggin 已提交
468
/**
A
Al Viro 已提交
469 470 471
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry or NULL
472
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
473
 *
A
Al Viro 已提交
474 475 476
 * 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 已提交
477
 */
A
Al Viro 已提交
478
static int unlazy_walk(struct nameidata *nd, struct dentry *dentry)
N
Nick Piggin 已提交
479 480 481
{
	struct fs_struct *fs = current->fs;
	struct dentry *parent = nd->path.dentry;
482
	int want_root = 0;
N
Nick Piggin 已提交
483 484

	BUG_ON(!(nd->flags & LOOKUP_RCU));
485 486
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT)) {
		want_root = 1;
N
Nick Piggin 已提交
487 488 489 490 491 492
		spin_lock(&fs->lock);
		if (nd->root.mnt != fs->root.mnt ||
				nd->root.dentry != fs->root.dentry)
			goto err_root;
	}
	spin_lock(&parent->d_lock);
A
Al Viro 已提交
493 494 495 496 497
	if (!dentry) {
		if (!__d_rcu_to_refcount(parent, nd->seq))
			goto err_parent;
		BUG_ON(nd->inode != parent->d_inode);
	} else {
498 499
		if (dentry->d_parent != parent)
			goto err_parent;
A
Al Viro 已提交
500 501 502 503 504 505 506 507 508 509 510 511 512 513
		spin_lock_nested(&dentry->d_lock, DENTRY_D_LOCK_NESTED);
		if (!__d_rcu_to_refcount(dentry, nd->seq))
			goto err_child;
		/*
		 * If the sequence check on the child dentry passed, then
		 * the child has not been removed from its parent. This
		 * means the parent dentry must be valid and able to take
		 * a reference at this point.
		 */
		BUG_ON(!IS_ROOT(dentry) && dentry->d_parent != parent);
		BUG_ON(!parent->d_count);
		parent->d_count++;
		spin_unlock(&dentry->d_lock);
	}
N
Nick Piggin 已提交
514
	spin_unlock(&parent->d_lock);
515
	if (want_root) {
N
Nick Piggin 已提交
516 517 518 519 520
		path_get(&nd->root);
		spin_unlock(&fs->lock);
	}
	mntget(nd->path.mnt);

A
Al Viro 已提交
521
	unlock_rcu_walk();
N
Nick Piggin 已提交
522 523
	nd->flags &= ~LOOKUP_RCU;
	return 0;
A
Al Viro 已提交
524 525

err_child:
N
Nick Piggin 已提交
526
	spin_unlock(&dentry->d_lock);
A
Al Viro 已提交
527
err_parent:
N
Nick Piggin 已提交
528 529
	spin_unlock(&parent->d_lock);
err_root:
530
	if (want_root)
N
Nick Piggin 已提交
531 532 533 534
		spin_unlock(&fs->lock);
	return -ECHILD;
}

535
static inline int d_revalidate(struct dentry *dentry, unsigned int flags)
536
{
537
	return dentry->d_op->d_revalidate(dentry, flags);
538 539
}

540 541 542
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
543
 *
544 545 546 547 548
 * 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.
549
 */
550
static int complete_walk(struct nameidata *nd)
551
{
A
Al Viro 已提交
552
	struct dentry *dentry = nd->path.dentry;
553 554
	int status;

555 556 557 558 559 560 561
	if (nd->flags & LOOKUP_RCU) {
		nd->flags &= ~LOOKUP_RCU;
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
		spin_lock(&dentry->d_lock);
		if (unlikely(!__d_rcu_to_refcount(dentry, nd->seq))) {
			spin_unlock(&dentry->d_lock);
A
Al Viro 已提交
562
			unlock_rcu_walk();
563 564 565 566 567
			return -ECHILD;
		}
		BUG_ON(nd->inode != dentry->d_inode);
		spin_unlock(&dentry->d_lock);
		mntget(nd->path.mnt);
A
Al Viro 已提交
568
		unlock_rcu_walk();
569 570
	}

A
Al Viro 已提交
571 572 573 574
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

	if (likely(!(dentry->d_flags & DCACHE_OP_REVALIDATE)))
575 576
		return 0;

A
Al Viro 已提交
577 578 579 580
	if (likely(!(dentry->d_sb->s_type->fs_flags & FS_REVAL_DOT)))
		return 0;

	/* Note: we do not d_invalidate() */
581
	status = d_revalidate(dentry, nd->flags);
582 583 584
	if (status > 0)
		return 0;

A
Al Viro 已提交
585
	if (!status)
586
		status = -ESTALE;
A
Al Viro 已提交
587

588
	path_put(&nd->path);
589 590 591
	return status;
}

A
Al Viro 已提交
592 593
static __always_inline void set_root(struct nameidata *nd)
{
594 595
	if (!nd->root.mnt)
		get_fs_root(current->fs, &nd->root);
A
Al Viro 已提交
596 597
}

598 599
static int link_path_walk(const char *, struct nameidata *);

N
Nick Piggin 已提交
600 601 602 603
static __always_inline void set_root_rcu(struct nameidata *nd)
{
	if (!nd->root.mnt) {
		struct fs_struct *fs = current->fs;
N
Nick Piggin 已提交
604 605 606 607 608
		unsigned seq;

		do {
			seq = read_seqcount_begin(&fs->seq);
			nd->root = fs->root;
609
			nd->seq = __read_seqcount_begin(&nd->root.dentry->d_seq);
N
Nick Piggin 已提交
610
		} while (read_seqcount_retry(&fs->seq, seq));
N
Nick Piggin 已提交
611 612 613
	}
}

614
static __always_inline int __vfs_follow_link(struct nameidata *nd, const char *link)
L
Linus Torvalds 已提交
615
{
N
Nick Piggin 已提交
616 617
	int ret;

L
Linus Torvalds 已提交
618 619 620 621
	if (IS_ERR(link))
		goto fail;

	if (*link == '/') {
A
Al Viro 已提交
622
		set_root(nd);
J
Jan Blunck 已提交
623
		path_put(&nd->path);
A
Al Viro 已提交
624 625
		nd->path = nd->root;
		path_get(&nd->root);
A
Al Viro 已提交
626
		nd->flags |= LOOKUP_JUMPED;
L
Linus Torvalds 已提交
627
	}
N
Nick Piggin 已提交
628
	nd->inode = nd->path.dentry->d_inode;
C
Christoph Hellwig 已提交
629

N
Nick Piggin 已提交
630 631
	ret = link_path_walk(link, nd);
	return ret;
L
Linus Torvalds 已提交
632
fail:
J
Jan Blunck 已提交
633
	path_put(&nd->path);
L
Linus Torvalds 已提交
634 635 636
	return PTR_ERR(link);
}

J
Jan Blunck 已提交
637
static void path_put_conditional(struct path *path, struct nameidata *nd)
638 639
{
	dput(path->dentry);
640
	if (path->mnt != nd->path.mnt)
641 642 643
		mntput(path->mnt);
}

644 645
static inline void path_to_nameidata(const struct path *path,
					struct nameidata *nd)
646
{
N
Nick Piggin 已提交
647 648 649 650
	if (!(nd->flags & LOOKUP_RCU)) {
		dput(nd->path.dentry);
		if (nd->path.mnt != path->mnt)
			mntput(nd->path.mnt);
651
	}
N
Nick Piggin 已提交
652
	nd->path.mnt = path->mnt;
653
	nd->path.dentry = path->dentry;
654 655
}

C
Christoph Hellwig 已提交
656 657 658 659 660 661 662 663 664 665 666 667 668 669 670
/*
 * 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;

	BUG_ON(nd->inode->i_op->follow_link);
}

671 672 673
static inline void put_link(struct nameidata *nd, struct path *link, void *cookie)
{
	struct inode *inode = link->dentry->d_inode;
674
	if (inode->i_op->put_link)
675 676 677 678
		inode->i_op->put_link(link->dentry, nd, cookie);
	path_put(link);
}

K
Kees Cook 已提交
679 680 681 682 683 684
int sysctl_protected_symlinks __read_mostly = 1;
int sysctl_protected_hardlinks __read_mostly = 1;

/**
 * may_follow_link - Check symlink following for unsafe situations
 * @link: The path of the symlink
685
 * @nd: nameidata pathwalk data
K
Kees Cook 已提交
686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707
 *
 * 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;
708
	if (uid_eq(current_cred()->fsuid, inode->i_uid))
K
Kees Cook 已提交
709 710 711 712 713 714 715 716
		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. */
717
	if (uid_eq(parent->i_uid, inode->i_uid))
K
Kees Cook 已提交
718 719
		return 0;

720
	audit_log_link_denied("follow_link", link);
K
Kees Cook 已提交
721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786
	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.
	 */
787
	if (uid_eq(cred->fsuid, inode->i_uid) || safe_hardlink_source(inode) ||
K
Kees Cook 已提交
788 789 790
	    capable(CAP_FOWNER))
		return 0;

791
	audit_log_link_denied("linkat", link);
K
Kees Cook 已提交
792 793 794
	return -EPERM;
}

A
Al Viro 已提交
795
static __always_inline int
796
follow_link(struct path *link, struct nameidata *nd, void **p)
L
Linus Torvalds 已提交
797
{
798
	struct dentry *dentry = link->dentry;
799 800
	int error;
	char *s;
L
Linus Torvalds 已提交
801

802 803
	BUG_ON(nd->flags & LOOKUP_RCU);

A
Al Viro 已提交
804 805 806
	if (link->mnt == nd->path.mnt)
		mntget(link->mnt);

807 808 809 810
	error = -ELOOP;
	if (unlikely(current->total_link_count >= 40))
		goto out_put_nd_path;

811 812 813
	cond_resched();
	current->total_link_count++;

A
Al Viro 已提交
814
	touch_atime(link);
L
Linus Torvalds 已提交
815
	nd_set_link(nd, NULL);
A
Al Viro 已提交
816

817
	error = security_inode_follow_link(link->dentry, nd);
818 819
	if (error)
		goto out_put_nd_path;
820

821
	nd->last_type = LAST_BIND;
A
Al Viro 已提交
822 823
	*p = dentry->d_inode->i_op->follow_link(dentry, nd);
	error = PTR_ERR(*p);
824
	if (IS_ERR(*p))
825
		goto out_put_nd_path;
826 827 828 829 830

	error = 0;
	s = nd_get_link(nd);
	if (s) {
		error = __vfs_follow_link(nd, s);
C
Christoph Hellwig 已提交
831 832
		if (unlikely(error))
			put_link(nd, link, *p);
L
Linus Torvalds 已提交
833
	}
834 835 836 837

	return error;

out_put_nd_path:
A
Arnd Bergmann 已提交
838
	*p = NULL;
839 840
	path_put(&nd->path);
	path_put(link);
L
Linus Torvalds 已提交
841 842 843
	return error;
}

N
Nick Piggin 已提交
844 845
static int follow_up_rcu(struct path *path)
{
846 847
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
N
Nick Piggin 已提交
848 849
	struct dentry *mountpoint;

850 851
	parent = mnt->mnt_parent;
	if (&parent->mnt == path->mnt)
N
Nick Piggin 已提交
852
		return 0;
853
	mountpoint = mnt->mnt_mountpoint;
N
Nick Piggin 已提交
854
	path->dentry = mountpoint;
855
	path->mnt = &parent->mnt;
N
Nick Piggin 已提交
856 857 858
	return 1;
}

859 860 861 862 863 864 865 866 867 868
/*
 * 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 已提交
869
int follow_up(struct path *path)
L
Linus Torvalds 已提交
870
{
871 872
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
L
Linus Torvalds 已提交
873
	struct dentry *mountpoint;
N
Nick Piggin 已提交
874

A
Andi Kleen 已提交
875
	br_read_lock(&vfsmount_lock);
876
	parent = mnt->mnt_parent;
A
Al Viro 已提交
877
	if (parent == mnt) {
A
Andi Kleen 已提交
878
		br_read_unlock(&vfsmount_lock);
L
Linus Torvalds 已提交
879 880
		return 0;
	}
881
	mntget(&parent->mnt);
882
	mountpoint = dget(mnt->mnt_mountpoint);
A
Andi Kleen 已提交
883
	br_read_unlock(&vfsmount_lock);
A
Al Viro 已提交
884 885 886
	dput(path->dentry);
	path->dentry = mountpoint;
	mntput(path->mnt);
887
	path->mnt = &parent->mnt;
L
Linus Torvalds 已提交
888 889 890
	return 1;
}

N
Nick Piggin 已提交
891
/*
892 893 894
 * Perform an automount
 * - return -EISDIR to tell follow_managed() to stop and return the path we
 *   were called with.
L
Linus Torvalds 已提交
895
 */
896 897
static int follow_automount(struct path *path, unsigned flags,
			    bool *need_mntput)
N
Nick Piggin 已提交
898
{
899
	struct vfsmount *mnt;
900
	int err;
901 902 903 904

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

905 906 907 908 909 910 911 912 913 914
	/* 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.
915
	 */
916
	if (!(flags & (LOOKUP_PARENT | LOOKUP_DIRECTORY |
917
		     LOOKUP_OPEN | LOOKUP_CREATE | LOOKUP_AUTOMOUNT)) &&
918 919 920
	    path->dentry->d_inode)
		return -EISDIR;

921 922 923 924 925 926 927 928 929 930 931 932 933 934 935
	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 已提交
936
		if (PTR_ERR(mnt) == -EISDIR && (flags & LOOKUP_PARENT))
937 938
			return -EREMOTE;
		return PTR_ERR(mnt);
N
Nick Piggin 已提交
939
	}
940

941 942
	if (!mnt) /* mount collision */
		return 0;
N
Nick Piggin 已提交
943

944 945 946 947 948
	if (!*need_mntput) {
		/* lock_mount() may release path->mnt on error */
		mntget(path->mnt);
		*need_mntput = true;
	}
949
	err = finish_automount(mnt, path);
950

951 952 953
	switch (err) {
	case -EBUSY:
		/* Someone else made a mount here whilst we were busy */
954
		return 0;
955
	case 0:
956
		path_put(path);
957 958 959
		path->mnt = mnt;
		path->dentry = dget(mnt->mnt_root);
		return 0;
960 961
	default:
		return err;
962
	}
963

A
Al Viro 已提交
964 965
}

966 967
/*
 * Handle a dentry that is managed in some way.
968
 * - Flagged for transit management (autofs)
969 970 971 972 973 974 975 976
 * - 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 已提交
977
{
978
	struct vfsmount *mnt = path->mnt; /* held by caller, must be left alone */
979 980
	unsigned managed;
	bool need_mntput = false;
981
	int ret = 0;
982 983 984 985 986 987 988

	/* 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)) {
989 990 991 992 993
		/* 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);
994
			ret = path->dentry->d_op->d_manage(path->dentry, false);
995
			if (ret < 0)
996
				break;
997 998
		}

999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021
		/* 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
			 * namespace got unmounted before we managed to get the
			 * vfsmount_lock */
		}

		/* Handle an automount point */
		if (managed & DCACHE_NEED_AUTOMOUNT) {
			ret = follow_automount(path, flags, &need_mntput);
			if (ret < 0)
1022
				break;
1023 1024 1025 1026 1027
			continue;
		}

		/* We didn't change the current path point */
		break;
L
Linus Torvalds 已提交
1028
	}
1029 1030 1031 1032 1033

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

1037
int follow_down_one(struct path *path)
L
Linus Torvalds 已提交
1038 1039 1040
{
	struct vfsmount *mounted;

A
Al Viro 已提交
1041
	mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
1042
	if (mounted) {
A
Al Viro 已提交
1043 1044 1045 1046
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
1047 1048 1049 1050 1051
		return 1;
	}
	return 0;
}

1052 1053 1054 1055 1056 1057
static inline bool managed_dentry_might_block(struct dentry *dentry)
{
	return (dentry->d_flags & DCACHE_MANAGE_TRANSIT &&
		dentry->d_op->d_manage(dentry, true) < 0);
}

1058
/*
1059 1060
 * Try to skip to top of mountpoint pile in rcuwalk mode.  Fail if
 * we meet a managed dentry that would need blocking.
1061 1062
 */
static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
1063
			       struct inode **inode)
1064
{
1065
	for (;;) {
1066
		struct mount *mounted;
1067 1068 1069 1070
		/*
		 * Don't forget we might have a non-mountpoint managed dentry
		 * that wants to block transit.
		 */
1071
		if (unlikely(managed_dentry_might_block(path->dentry)))
1072
			return false;
1073 1074 1075 1076

		if (!d_mountpoint(path->dentry))
			break;

1077 1078 1079
		mounted = __lookup_mnt(path->mnt, path->dentry, 1);
		if (!mounted)
			break;
1080 1081
		path->mnt = &mounted->mnt;
		path->dentry = mounted->mnt.mnt_root;
1082
		nd->flags |= LOOKUP_JUMPED;
1083
		nd->seq = read_seqcount_begin(&path->dentry->d_seq);
1084 1085 1086 1087 1088 1089
		/*
		 * 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;
1090 1091 1092 1093
	}
	return true;
}

1094
static void follow_mount_rcu(struct nameidata *nd)
1095
{
1096
	while (d_mountpoint(nd->path.dentry)) {
1097
		struct mount *mounted;
1098
		mounted = __lookup_mnt(nd->path.mnt, nd->path.dentry, 1);
1099 1100
		if (!mounted)
			break;
1101 1102
		nd->path.mnt = &mounted->mnt;
		nd->path.dentry = mounted->mnt.mnt_root;
1103
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
1104 1105 1106
	}
}

N
Nick Piggin 已提交
1107 1108 1109 1110
static int follow_dotdot_rcu(struct nameidata *nd)
{
	set_root_rcu(nd);

1111
	while (1) {
N
Nick Piggin 已提交
1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122
		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;

			seq = read_seqcount_begin(&parent->d_seq);
			if (read_seqcount_retry(&old->d_seq, nd->seq))
1123
				goto failed;
N
Nick Piggin 已提交
1124 1125 1126 1127 1128 1129 1130 1131
			nd->path.dentry = parent;
			nd->seq = seq;
			break;
		}
		if (!follow_up_rcu(&nd->path))
			break;
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
	}
1132 1133
	follow_mount_rcu(nd);
	nd->inode = nd->path.dentry->d_inode;
N
Nick Piggin 已提交
1134
	return 0;
1135 1136 1137

failed:
	nd->flags &= ~LOOKUP_RCU;
1138 1139
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
A
Al Viro 已提交
1140
	unlock_rcu_walk();
1141
	return -ECHILD;
N
Nick Piggin 已提交
1142 1143
}

1144 1145 1146 1147 1148
/*
 * 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.
 */
1149
int follow_down(struct path *path)
1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168
{
	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);
1169
			ret = path->dentry->d_op->d_manage(
1170
				path->dentry, false);
1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192
			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;
}

1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208
/*
 * 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 已提交
1209
static void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1210
{
A
Al Viro 已提交
1211
	set_root(nd);
1212

L
Linus Torvalds 已提交
1213
	while(1) {
1214
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
1215

A
Al Viro 已提交
1216 1217
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
L
Linus Torvalds 已提交
1218 1219
			break;
		}
1220
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
A
Al Viro 已提交
1221 1222
			/* rare case of legitimate dget_parent()... */
			nd->path.dentry = dget_parent(nd->path.dentry);
L
Linus Torvalds 已提交
1223 1224 1225
			dput(old);
			break;
		}
A
Al Viro 已提交
1226
		if (!follow_up(&nd->path))
L
Linus Torvalds 已提交
1227 1228
			break;
	}
A
Al Viro 已提交
1229
	follow_mount(&nd->path);
N
Nick Piggin 已提交
1230
	nd->inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
1231 1232
}

1233
/*
M
Miklos Szeredi 已提交
1234 1235 1236 1237 1238
 * 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
1239
 */
M
Miklos Szeredi 已提交
1240
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
1241
				    unsigned int flags, bool *need_lookup)
1242 1243
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1244
	int error;
1245

M
Miklos Szeredi 已提交
1246 1247 1248 1249 1250 1251
	*need_lookup = false;
	dentry = d_lookup(dir, name);
	if (dentry) {
		if (d_need_lookup(dentry)) {
			*need_lookup = true;
		} else if (dentry->d_flags & DCACHE_OP_REVALIDATE) {
1252
			error = d_revalidate(dentry, flags);
M
Miklos Szeredi 已提交
1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263
			if (unlikely(error <= 0)) {
				if (error < 0) {
					dput(dentry);
					return ERR_PTR(error);
				} else if (!d_invalidate(dentry)) {
					dput(dentry);
					dentry = NULL;
				}
			}
		}
	}
1264

M
Miklos Szeredi 已提交
1265 1266 1267 1268
	if (!dentry) {
		dentry = d_alloc(dir, name);
		if (unlikely(!dentry))
			return ERR_PTR(-ENOMEM);
1269

M
Miklos Szeredi 已提交
1270
		*need_lookup = true;
1271 1272 1273 1274
	}
	return dentry;
}

1275
/*
M
Miklos Szeredi 已提交
1276 1277 1278 1279
 * Call i_op->lookup on the dentry.  The dentry must be negative but may be
 * hashed if it was pouplated with DCACHE_NEED_LOOKUP.
 *
 * dir->d_inode->i_mutex must be held
1280
 */
M
Miklos Szeredi 已提交
1281
static struct dentry *lookup_real(struct inode *dir, struct dentry *dentry,
1282
				  unsigned int flags)
1283 1284 1285 1286
{
	struct dentry *old;

	/* Don't create child dentry for a dead directory. */
M
Miklos Szeredi 已提交
1287
	if (unlikely(IS_DEADDIR(dir))) {
1288
		dput(dentry);
1289
		return ERR_PTR(-ENOENT);
1290
	}
1291

1292
	old = dir->i_op->lookup(dir, dentry, flags);
1293 1294 1295 1296 1297 1298 1299
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
}

1300
static struct dentry *__lookup_hash(struct qstr *name,
1301
		struct dentry *base, unsigned int flags)
1302
{
M
Miklos Szeredi 已提交
1303
	bool need_lookup;
1304 1305
	struct dentry *dentry;

1306
	dentry = lookup_dcache(name, base, flags, &need_lookup);
M
Miklos Szeredi 已提交
1307 1308
	if (!need_lookup)
		return dentry;
1309

1310
	return lookup_real(base->d_inode, dentry, flags);
1311 1312
}

L
Linus Torvalds 已提交
1313 1314 1315 1316 1317
/*
 *  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.
 */
M
Miklos Szeredi 已提交
1318 1319
static int lookup_fast(struct nameidata *nd, struct qstr *name,
		       struct path *path, struct inode **inode)
L
Linus Torvalds 已提交
1320
{
1321
	struct vfsmount *mnt = nd->path.mnt;
N
Nick Piggin 已提交
1322
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1323 1324
	int need_reval = 1;
	int status = 1;
1325 1326
	int err;

1327 1328 1329 1330 1331
	/*
	 * 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 已提交
1332 1333
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1334
		dentry = __d_lookup_rcu(parent, name, &seq, nd->inode);
A
Al Viro 已提交
1335 1336 1337
		if (!dentry)
			goto unlazy;

1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352
		/*
		 * This sequence count validates that the inode matches
		 * the dentry name information from lookup.
		 */
		*inode = dentry->d_inode;
		if (read_seqcount_retry(&dentry->d_seq, seq))
			return -ECHILD;

		/*
		 * This sequence count validates that the parent had no
		 * changes while we did the lookup of the dentry above.
		 *
		 * The memory barrier in read_seqcount_begin of child is
		 *  enough, we can use __read_seqcount_retry here.
		 */
N
Nick Piggin 已提交
1353 1354 1355
		if (__read_seqcount_retry(&parent->d_seq, nd->seq))
			return -ECHILD;
		nd->seq = seq;
A
Al Viro 已提交
1356

1357 1358
		if (unlikely(d_need_lookup(dentry)))
			goto unlazy;
1359
		if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE)) {
1360
			status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1361 1362 1363 1364 1365
			if (unlikely(status <= 0)) {
				if (status != -ECHILD)
					need_reval = 0;
				goto unlazy;
			}
1366
		}
N
Nick Piggin 已提交
1367 1368
		path->mnt = mnt;
		path->dentry = dentry;
1369 1370 1371 1372 1373
		if (unlikely(!__follow_mount_rcu(nd, path, inode)))
			goto unlazy;
		if (unlikely(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT))
			goto unlazy;
		return 0;
A
Al Viro 已提交
1374
unlazy:
A
Al Viro 已提交
1375 1376
		if (unlazy_walk(nd, dentry))
			return -ECHILD;
A
Al Viro 已提交
1377 1378
	} else {
		dentry = __d_lookup(parent, name);
1379
	}
A
Al Viro 已提交
1380

1381 1382 1383 1384
	if (unlikely(!dentry))
		goto need_lookup;

	if (unlikely(d_need_lookup(dentry))) {
1385
		dput(dentry);
1386
		goto need_lookup;
A
Al Viro 已提交
1387
	}
1388

A
Al Viro 已提交
1389
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE) && need_reval)
1390
		status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1391 1392 1393 1394 1395 1396 1397
	if (unlikely(status <= 0)) {
		if (status < 0) {
			dput(dentry);
			return status;
		}
		if (!d_invalidate(dentry)) {
			dput(dentry);
1398
			goto need_lookup;
A
Al Viro 已提交
1399
		}
1400
	}
M
Miklos Szeredi 已提交
1401

1402 1403 1404
	path->mnt = mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
1405 1406
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
1407
		return err;
1408
	}
1409 1410
	if (err)
		nd->flags |= LOOKUP_JUMPED;
1411
	*inode = path->dentry->d_inode;
L
Linus Torvalds 已提交
1412
	return 0;
1413 1414

need_lookup:
M
Miklos Szeredi 已提交
1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425
	return 1;
}

/* Fast lookup failed, do it the slow way */
static int lookup_slow(struct nameidata *nd, struct qstr *name,
		       struct path *path)
{
	struct dentry *dentry, *parent;
	int err;

	parent = nd->path.dentry;
1426 1427 1428
	BUG_ON(nd->inode != parent->d_inode);

	mutex_lock(&parent->d_inode->i_mutex);
1429
	dentry = __lookup_hash(name, parent, nd->flags);
1430 1431 1432
	mutex_unlock(&parent->d_inode->i_mutex);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
1433 1434 1435 1436 1437 1438 1439 1440 1441 1442
	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 已提交
1443 1444
}

1445 1446 1447
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1448
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1449 1450
		if (err != -ECHILD)
			return err;
A
Al Viro 已提交
1451
		if (unlazy_walk(nd, NULL))
1452 1453
			return -ECHILD;
	}
1454
	return inode_permission(nd->inode, MAY_EXEC);
1455 1456
}

1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468
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;
}

1469 1470 1471 1472 1473 1474
static void terminate_walk(struct nameidata *nd)
{
	if (!(nd->flags & LOOKUP_RCU)) {
		path_put(&nd->path);
	} else {
		nd->flags &= ~LOOKUP_RCU;
1475 1476
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
A
Al Viro 已提交
1477
		unlock_rcu_walk();
1478 1479 1480
	}
}

1481 1482 1483 1484 1485 1486
/*
 * 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.
 */
1487
static inline int should_follow_link(struct inode *inode, int follow)
1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500
{
	if (unlikely(!(inode->i_opflags & IOP_NOFOLLOW))) {
		if (likely(inode->i_op->follow_link))
			return follow;

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

1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512
static inline int walk_component(struct nameidata *nd, struct path *path,
		struct qstr *name, int type, int follow)
{
	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.
	 */
	if (unlikely(type != LAST_NORM))
		return handle_dots(nd, type);
M
Miklos Szeredi 已提交
1513
	err = lookup_fast(nd, name, path, &inode);
1514
	if (unlikely(err)) {
M
Miklos Szeredi 已提交
1515 1516 1517 1518 1519 1520 1521 1522
		if (err < 0)
			goto out_err;

		err = lookup_slow(nd, name, path);
		if (err < 0)
			goto out_err;

		inode = path->dentry->d_inode;
1523
	}
M
Miklos Szeredi 已提交
1524 1525 1526 1527
	err = -ENOENT;
	if (!inode)
		goto out_path_put;

1528
	if (should_follow_link(inode, follow)) {
A
Al Viro 已提交
1529 1530
		if (nd->flags & LOOKUP_RCU) {
			if (unlikely(unlazy_walk(nd, path->dentry))) {
M
Miklos Szeredi 已提交
1531 1532
				err = -ECHILD;
				goto out_err;
A
Al Viro 已提交
1533 1534
			}
		}
1535 1536 1537 1538 1539 1540
		BUG_ON(inode != path->dentry->d_inode);
		return 1;
	}
	path_to_nameidata(path, nd);
	nd->inode = inode;
	return 0;
M
Miklos Szeredi 已提交
1541 1542 1543 1544 1545 1546

out_path_put:
	path_to_nameidata(path, nd);
out_err:
	terminate_walk(nd);
	return err;
1547 1548
}

1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564
/*
 * This limits recursive symlink follows to 8, while
 * limiting consecutive symlinks to 40.
 *
 * Without that kind of total limit, nasty chains of consecutive
 * symlinks can cause almost arbitrarily long lookups.
 */
static inline int nested_symlink(struct path *path, struct nameidata *nd)
{
	int res;

	if (unlikely(current->link_count >= MAX_NESTED_LINKS)) {
		path_put_conditional(path, nd);
		path_put(&nd->path);
		return -ELOOP;
	}
1565
	BUG_ON(nd->depth >= MAX_NESTED_LINKS);
1566 1567 1568 1569 1570 1571 1572

	nd->depth++;
	current->link_count++;

	do {
		struct path link = *path;
		void *cookie;
1573 1574

		res = follow_link(&link, nd, &cookie);
1575 1576 1577 1578
		if (res)
			break;
		res = walk_component(nd, path, &nd->last,
				     nd->last_type, LOOKUP_FOLLOW);
1579
		put_link(nd, &link, cookie);
1580 1581 1582 1583 1584 1585 1586
	} while (res > 0);

	current->link_count--;
	nd->depth--;
	return res;
}

1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606
/*
 * We really don't want to look at inode->i_op->lookup
 * when we don't have to. So we keep a cache bit in
 * the inode ->i_opflags field that says "yes, we can
 * do lookup on this inode".
 */
static inline int can_lookup(struct inode *inode)
{
	if (likely(inode->i_opflags & IOP_LOOKUP))
		return 1;
	if (likely(!inode->i_op->lookup))
		return 0;

	/* We do this once for the lifetime of the inode */
	spin_lock(&inode->i_lock);
	inode->i_opflags |= IOP_LOOKUP;
	spin_unlock(&inode->i_lock);
	return 1;
}

1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630
/*
 * 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.
 *
 * - Little-endian machines (so that we can generate the mask
 *   of low bytes efficiently). Again, we *could* do a byte
 *   swapping load on big-endian architectures if that is not
 *   expensive enough to make the optimization worthless.
 *
 * - 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

1631
#include <asm/word-at-a-time.h>
1632

1633
#ifdef CONFIG_64BIT
1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652

static inline unsigned int fold_hash(unsigned long hash)
{
	hash += hash >> (8*sizeof(int));
	return hash;
}

#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 (;;) {
1653
		a = load_unaligned_zeropad(name);
1654 1655 1656
		if (len < sizeof(unsigned long))
			break;
		hash += a;
1657
		hash *= 9;
1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675
		name += sizeof(unsigned long);
		len -= sizeof(unsigned long);
		if (!len)
			goto done;
	}
	mask = ~(~0ul << len*8);
	hash += mask & a;
done:
	return fold_hash(hash);
}
EXPORT_SYMBOL(full_name_hash);

/*
 * Calculate the length and hash of the path component, and
 * return the length of the component;
 */
static inline unsigned long hash_name(const char *name, unsigned int *hashp)
{
1676 1677
	unsigned long a, b, adata, bdata, mask, hash, len;
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;
1678 1679 1680 1681 1682 1683

	hash = a = 0;
	len = -sizeof(unsigned long);
	do {
		hash = (hash + a) * 9;
		len += sizeof(unsigned long);
1684
		a = load_unaligned_zeropad(name+len);
1685 1686 1687 1688 1689 1690 1691 1692 1693
		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);
1694 1695
	*hashp = fold_hash(hash);

1696
	return len + find_zero(mask);
1697 1698 1699 1700
}

#else

L
Linus Torvalds 已提交
1701 1702 1703 1704 1705 1706 1707
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);
}
1708
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1709

1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728
/*
 * We know there's a real path component here of at least
 * one character.
 */
static inline unsigned long hash_name(const char *name, unsigned int *hashp)
{
	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 != '/');
	*hashp = end_name_hash(hash);
	return len;
}

1729 1730
#endif

L
Linus Torvalds 已提交
1731 1732
/*
 * Name resolution.
1733 1734
 * 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 已提交
1735
 *
1736 1737
 * 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 已提交
1738
 */
1739
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1740 1741 1742 1743 1744 1745 1746
{
	struct path next;
	int err;
	
	while (*name=='/')
		name++;
	if (!*name)
1747
		return 0;
L
Linus Torvalds 已提交
1748 1749 1750 1751

	/* At this point we know we have a real path component. */
	for(;;) {
		struct qstr this;
1752
		long len;
A
Al Viro 已提交
1753
		int type;
L
Linus Torvalds 已提交
1754

1755
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1756 1757 1758
 		if (err)
			break;

1759
		len = hash_name(name, &this.hash);
L
Linus Torvalds 已提交
1760
		this.name = name;
1761
		this.len = len;
L
Linus Torvalds 已提交
1762

A
Al Viro 已提交
1763
		type = LAST_NORM;
1764
		if (name[0] == '.') switch (len) {
A
Al Viro 已提交
1765
			case 2:
1766
				if (name[1] == '.') {
A
Al Viro 已提交
1767
					type = LAST_DOTDOT;
A
Al Viro 已提交
1768 1769
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
1770 1771 1772 1773
				break;
			case 1:
				type = LAST_DOT;
		}
1774 1775
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
1776
			nd->flags &= ~LOOKUP_JUMPED;
1777 1778 1779 1780 1781 1782 1783
			if (unlikely(parent->d_flags & DCACHE_OP_HASH)) {
				err = parent->d_op->d_hash(parent, nd->inode,
							   &this);
				if (err < 0)
					break;
			}
		}
A
Al Viro 已提交
1784

1785
		if (!name[len])
L
Linus Torvalds 已提交
1786
			goto last_component;
1787 1788 1789 1790 1791 1792 1793 1794
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
			len++;
		} while (unlikely(name[len] == '/'));
		if (!name[len])
1795
			goto last_component;
1796
		name += len;
L
Linus Torvalds 已提交
1797

1798 1799 1800
		err = walk_component(nd, &next, &this, type, LOOKUP_FOLLOW);
		if (err < 0)
			return err;
L
Linus Torvalds 已提交
1801

1802
		if (err) {
1803
			err = nested_symlink(&next, nd);
L
Linus Torvalds 已提交
1804
			if (err)
1805
				return err;
N
Nick Piggin 已提交
1806
		}
1807 1808
		if (can_lookup(nd->inode))
			continue;
L
Linus Torvalds 已提交
1809
		err = -ENOTDIR; 
1810
		break;
L
Linus Torvalds 已提交
1811 1812 1813
		/* here ends the main loop */

last_component:
1814 1815
		nd->last = this;
		nd->last_type = type;
1816
		return 0;
L
Linus Torvalds 已提交
1817
	}
1818
	terminate_walk(nd);
L
Linus Torvalds 已提交
1819 1820 1821
	return err;
}

A
Al Viro 已提交
1822 1823
static int path_init(int dfd, const char *name, unsigned int flags,
		     struct nameidata *nd, struct file **fp)
N
Nick Piggin 已提交
1824 1825 1826 1827
{
	int retval = 0;

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
A
Al Viro 已提交
1828
	nd->flags = flags | LOOKUP_JUMPED;
N
Nick Piggin 已提交
1829
	nd->depth = 0;
1830 1831
	if (flags & LOOKUP_ROOT) {
		struct inode *inode = nd->root.dentry->d_inode;
A
Al Viro 已提交
1832 1833 1834 1835 1836 1837 1838
		if (*name) {
			if (!inode->i_op->lookup)
				return -ENOTDIR;
			retval = inode_permission(inode, MAY_EXEC);
			if (retval)
				return retval;
		}
1839 1840 1841
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1842
			lock_rcu_walk();
1843 1844 1845 1846 1847 1848 1849
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
		} else {
			path_get(&nd->path);
		}
		return 0;
	}

N
Nick Piggin 已提交
1850 1851 1852
	nd->root.mnt = NULL;

	if (*name=='/') {
A
Al Viro 已提交
1853
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1854
			lock_rcu_walk();
A
Al Viro 已提交
1855 1856 1857 1858 1859 1860
			set_root_rcu(nd);
		} else {
			set_root(nd);
			path_get(&nd->root);
		}
		nd->path = nd->root;
N
Nick Piggin 已提交
1861
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1862 1863 1864
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
1865

A
Al Viro 已提交
1866
			lock_rcu_walk();
N
Nick Piggin 已提交
1867

A
Al Viro 已提交
1868 1869 1870 1871 1872 1873 1874 1875
			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 已提交
1876
	} else {
1877
		struct fd f = fdget_raw(dfd);
N
Nick Piggin 已提交
1878 1879
		struct dentry *dentry;

1880 1881
		if (!f.file)
			return -EBADF;
N
Nick Piggin 已提交
1882

1883
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
1884

A
Al Viro 已提交
1885
		if (*name) {
1886 1887 1888 1889
			if (!S_ISDIR(dentry->d_inode->i_mode)) {
				fdput(f);
				return -ENOTDIR;
			}
N
Nick Piggin 已提交
1890

1891
			retval = inode_permission(dentry->d_inode, MAY_EXEC);
1892 1893 1894 1895
			if (retval) {
				fdput(f);
				return retval;
			}
A
Al Viro 已提交
1896
		}
N
Nick Piggin 已提交
1897

1898
		nd->path = f.file->f_path;
A
Al Viro 已提交
1899
		if (flags & LOOKUP_RCU) {
1900 1901
			if (f.need_put)
				*fp = f.file;
A
Al Viro 已提交
1902
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1903
			lock_rcu_walk();
A
Al Viro 已提交
1904
		} else {
1905 1906
			path_get(&nd->path);
			fdput(f);
A
Al Viro 已提交
1907
		}
N
Nick Piggin 已提交
1908 1909 1910
	}

	nd->inode = nd->path.dentry->d_inode;
1911 1912 1913
	return 0;
}

1914 1915 1916 1917 1918 1919 1920 1921 1922 1923
static inline int lookup_last(struct nameidata *nd, struct path *path)
{
	if (nd->last_type == LAST_NORM && nd->last.name[nd->last.len])
		nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;

	nd->flags &= ~LOOKUP_PARENT;
	return walk_component(nd, path, &nd->last, nd->last_type,
					nd->flags & LOOKUP_FOLLOW);
}

1924
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
A
Al Viro 已提交
1925
static int path_lookupat(int dfd, const char *name,
1926 1927
				unsigned int flags, struct nameidata *nd)
{
A
Al Viro 已提交
1928
	struct file *base = NULL;
1929 1930
	struct path path;
	int err;
N
Nick Piggin 已提交
1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945

	/*
	 * 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).
	 */
1946
	err = path_init(dfd, name, flags | LOOKUP_PARENT, nd, &base);
A
Al Viro 已提交
1947

1948 1949
	if (unlikely(err))
		return err;
A
Al Viro 已提交
1950 1951

	current->total_link_count = 0;
1952 1953 1954 1955 1956 1957 1958
	err = link_path_walk(name, nd);

	if (!err && !(flags & LOOKUP_PARENT)) {
		err = lookup_last(nd, &path);
		while (err > 0) {
			void *cookie;
			struct path link = path;
K
Kees Cook 已提交
1959 1960 1961
			err = may_follow_link(&link, nd);
			if (unlikely(err))
				break;
1962
			nd->flags |= LOOKUP_PARENT;
1963
			err = follow_link(&link, nd, &cookie);
1964 1965 1966
			if (err)
				break;
			err = lookup_last(nd, &path);
1967
			put_link(nd, &link, cookie);
1968 1969
		}
	}
A
Al Viro 已提交
1970

1971 1972
	if (!err)
		err = complete_walk(nd);
1973 1974 1975 1976

	if (!err && nd->flags & LOOKUP_DIRECTORY) {
		if (!nd->inode->i_op->lookup) {
			path_put(&nd->path);
A
Al Viro 已提交
1977
			err = -ENOTDIR;
1978 1979
		}
	}
A
Al Viro 已提交
1980

A
Al Viro 已提交
1981 1982
	if (base)
		fput(base);
A
Al Viro 已提交
1983

1984
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT)) {
A
Al Viro 已提交
1985 1986 1987
		path_put(&nd->root);
		nd->root.mnt = NULL;
	}
1988
	return err;
A
Al Viro 已提交
1989
}
N
Nick Piggin 已提交
1990

1991
static int filename_lookup(int dfd, struct filename *name,
A
Al Viro 已提交
1992 1993
				unsigned int flags, struct nameidata *nd)
{
1994
	int retval = path_lookupat(dfd, name->name, flags | LOOKUP_RCU, nd);
A
Al Viro 已提交
1995
	if (unlikely(retval == -ECHILD))
1996
		retval = path_lookupat(dfd, name->name, flags, nd);
A
Al Viro 已提交
1997
	if (unlikely(retval == -ESTALE))
1998 1999
		retval = path_lookupat(dfd, name->name,
						flags | LOOKUP_REVAL, nd);
N
Nick Piggin 已提交
2000

2001
	if (likely(!retval))
2002 2003
		audit_inode(name->name, nd->path.dentry,
						flags & LOOKUP_PARENT);
2004
	return retval;
L
Linus Torvalds 已提交
2005 2006
}

2007 2008 2009 2010 2011 2012 2013 2014
static int do_path_lookup(int dfd, const char *name,
				unsigned int flags, struct nameidata *nd)
{
	struct filename filename = { .name = name };

	return filename_lookup(dfd, &filename, flags, nd);
}

A
Al Viro 已提交
2015 2016
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2017
{
A
Al Viro 已提交
2018 2019 2020 2021 2022 2023 2024 2025 2026 2027
	struct nameidata nd;
	struct dentry *d;
	int err = do_path_lookup(AT_FDCWD, name, LOOKUP_PARENT, &nd);
	if (err)
		return ERR_PTR(err);
	if (nd.last_type != LAST_NORM) {
		path_put(&nd.path);
		return ERR_PTR(-EINVAL);
	}
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2028
	d = __lookup_hash(&nd.last, nd.path.dentry, 0);
A
Al Viro 已提交
2029 2030 2031 2032 2033 2034 2035
	if (IS_ERR(d)) {
		mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
		path_put(&nd.path);
		return d;
	}
	*path = nd.path;
	return d;
2036 2037
}

A
Al Viro 已提交
2038 2039 2040 2041 2042 2043 2044 2045 2046
int kern_path(const char *name, unsigned int flags, struct path *path)
{
	struct nameidata nd;
	int res = do_path_lookup(AT_FDCWD, name, flags, &nd);
	if (!res)
		*path = nd.path;
	return res;
}

2047 2048 2049 2050 2051 2052
/**
 * 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
2053
 * @path: pointer to struct path to fill
2054 2055 2056
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2057
		    struct path *path)
2058
{
2059 2060 2061 2062 2063
	struct nameidata nd;
	int err;
	nd.root.dentry = dentry;
	nd.root.mnt = mnt;
	BUG_ON(flags & LOOKUP_PARENT);
2064
	/* the first argument of do_path_lookup() is ignored with LOOKUP_ROOT */
2065 2066 2067 2068
	err = do_path_lookup(AT_FDCWD, name, flags | LOOKUP_ROOT, &nd);
	if (!err)
		*path = nd.path;
	return err;
2069 2070
}

2071 2072 2073 2074 2075
/*
 * Restricted form of lookup. Doesn't follow links, single-component only,
 * needs parent already locked. Doesn't follow mounts.
 * SMP-safe.
 */
2076
static struct dentry *lookup_hash(struct nameidata *nd)
2077
{
2078
	return __lookup_hash(&nd->last, nd->path.dentry, nd->flags);
L
Linus Torvalds 已提交
2079 2080
}

2081
/**
2082
 * lookup_one_len - filesystem helper to lookup single pathname component
2083 2084 2085 2086
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
2087 2088
 * Note that this routine is purely a helper for filesystem usage and should
 * not be called by generic code.  Also note that by using this function the
2089 2090 2091
 * nameidata argument is passed to the filesystem methods and a filesystem
 * using this helper needs to be prepared for that.
 */
2092 2093 2094
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
2095
	unsigned int c;
2096
	int err;
2097

2098 2099
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2100 2101
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2102
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2103 2104 2105 2106 2107 2108 2109 2110
	if (!len)
		return ERR_PTR(-EACCES);

	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2111 2112 2113 2114 2115 2116 2117 2118 2119
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
		int err = base->d_op->d_hash(base, base->d_inode, &this);
		if (err < 0)
			return ERR_PTR(err);
	}
2120

2121 2122 2123 2124
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

2125
	return __lookup_hash(&this, base, 0);
2126 2127
}

2128 2129
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2130
{
2131
	struct nameidata nd;
2132
	struct filename *tmp = getname_flags(name, flags, empty);
L
Linus Torvalds 已提交
2133 2134
	int err = PTR_ERR(tmp);
	if (!IS_ERR(tmp)) {
2135 2136 2137

		BUG_ON(flags & LOOKUP_PARENT);

2138
		err = filename_lookup(dfd, tmp, flags, &nd);
L
Linus Torvalds 已提交
2139
		putname(tmp);
2140 2141
		if (!err)
			*path = nd.path;
L
Linus Torvalds 已提交
2142 2143 2144 2145
	}
	return err;
}

2146 2147 2148
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
{
2149
	return user_path_at_empty(dfd, name, flags, path, NULL);
2150 2151
}

2152 2153 2154 2155 2156 2157
/*
 * 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.
 */
2158 2159
static struct filename *
user_path_parent(int dfd, const char __user *path, struct nameidata *nd)
2160
{
2161
	struct filename *s = getname(path);
2162 2163 2164
	int error;

	if (IS_ERR(s))
2165
		return s;
2166

2167
	error = filename_lookup(dfd, s, LOOKUP_PARENT, nd);
2168
	if (error) {
2169
		putname(s);
2170 2171
		return ERR_PTR(error);
	}
2172

2173
	return s;
2174 2175
}

L
Linus Torvalds 已提交
2176 2177 2178 2179 2180 2181
/*
 * It's inline, so penalty for filesystems that don't use sticky bit is
 * minimal.
 */
static inline int check_sticky(struct inode *dir, struct inode *inode)
{
2182
	kuid_t fsuid = current_fsuid();
2183

L
Linus Torvalds 已提交
2184 2185
	if (!(dir->i_mode & S_ISVTX))
		return 0;
2186
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2187
		return 0;
2188
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2189
		return 0;
2190
	return !inode_capable(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211
}

/*
 *	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().
 */
2212
static int may_delete(struct inode *dir,struct dentry *victim,int isdir)
L
Linus Torvalds 已提交
2213 2214 2215 2216 2217 2218 2219
{
	int error;

	if (!victim->d_inode)
		return -ENOENT;

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

2222
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2223 2224 2225 2226 2227
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
	if (check_sticky(dir, victim->d_inode)||IS_APPEND(victim->d_inode)||
H
Hugh Dickins 已提交
2228
	    IS_IMMUTABLE(victim->d_inode) || IS_SWAPFILE(victim->d_inode))
L
Linus Torvalds 已提交
2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248 2249 2250 2251
		return -EPERM;
	if (isdir) {
		if (!S_ISDIR(victim->d_inode->i_mode))
			return -ENOTDIR;
		if (IS_ROOT(victim))
			return -EBUSY;
	} else if (S_ISDIR(victim->d_inode->i_mode))
		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())
 */
2252
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2253 2254 2255 2256 2257
{
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2258
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2259 2260 2261 2262 2263 2264 2265 2266 2267 2268
}

/*
 * 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 已提交
2269
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2270 2271 2272
		return NULL;
	}

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

2275 2276 2277 2278 2279
	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 已提交
2280 2281
	}

2282 2283 2284 2285 2286
	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 已提交
2287 2288
	}

I
Ingo Molnar 已提交
2289 2290
	mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
	mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_CHILD);
L
Linus Torvalds 已提交
2291 2292 2293 2294 2295
	return NULL;
}

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2296
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2297
	if (p1 != p2) {
2298
		mutex_unlock(&p2->d_inode->i_mutex);
2299
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2300 2301 2302
	}
}

A
Al Viro 已提交
2303
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2304
		bool want_excl)
L
Linus Torvalds 已提交
2305
{
2306
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2307 2308 2309
	if (error)
		return error;

A
Al Viro 已提交
2310
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2311 2312 2313 2314 2315 2316
		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 已提交
2317
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2318
	if (!error)
2319
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2320 2321 2322
	return error;
}

A
Al Viro 已提交
2323
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2324
{
2325
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2326 2327 2328
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2329 2330 2331 2332
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2333 2334 2335
	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2336 2337
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2338
		return -ELOOP;
C
Christoph Hellwig 已提交
2339 2340 2341 2342 2343 2344
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2345
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
2346
			return -EACCES;
C
Christoph Hellwig 已提交
2347 2348 2349
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2350
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2351
		break;
2352
	}
2353

2354
	error = inode_permission(inode, acc_mode);
2355 2356
	if (error)
		return error;
M
Mimi Zohar 已提交
2357

L
Linus Torvalds 已提交
2358 2359 2360 2361
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2362
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2363
			return -EPERM;
L
Linus Torvalds 已提交
2364
		if (flag & O_TRUNC)
2365
			return -EPERM;
L
Linus Torvalds 已提交
2366 2367 2368
	}

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

2372
	return 0;
2373
}
L
Linus Torvalds 已提交
2374

2375
static int handle_truncate(struct file *filp)
2376
{
2377
	struct path *path = &filp->f_path;
2378 2379 2380 2381 2382 2383 2384 2385 2386
	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.
	 */
	error = locks_verify_locked(inode);
	if (!error)
2387
		error = security_path_truncate(path);
2388 2389 2390
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2391
				    filp);
2392 2393
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2394
	return error;
L
Linus Torvalds 已提交
2395 2396
}

2397 2398
static inline int open_to_namei_flags(int flag)
{
2399 2400
	if ((flag & O_ACCMODE) == 3)
		flag--;
2401 2402 2403
	return flag;
}

M
Miklos Szeredi 已提交
2404 2405 2406 2407 2408 2409 2410 2411 2412 2413 2414 2415 2416
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);
}

2417 2418 2419 2420 2421 2422 2423 2424 2425 2426 2427 2428 2429
/*
 * 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.
 */
2430 2431 2432
static int atomic_open(struct nameidata *nd, struct dentry *dentry,
			struct path *path, struct file *file,
			const struct open_flags *op,
2433
			bool got_write, bool need_lookup,
2434
			int *opened)
M
Miklos Szeredi 已提交
2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447
{
	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;

	BUG_ON(dentry->d_inode);

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

2452
	mode = op->mode;
M
Miklos Szeredi 已提交
2453 2454 2455
	if ((open_flag & O_CREAT) && !IS_POSIXACL(dir))
		mode &= ~current_umask();

A
Al Viro 已提交
2456
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT)) {
M
Miklos Szeredi 已提交
2457
		open_flag &= ~O_TRUNC;
2458
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469
	}

	/*
	 * 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).
	 */
2470 2471 2472
	if (((open_flag & (O_CREAT | O_TRUNC)) ||
	    (open_flag & O_ACCMODE) != O_RDONLY) && unlikely(!got_write)) {
		if (!(open_flag & O_CREAT)) {
M
Miklos Szeredi 已提交
2473 2474 2475 2476 2477 2478 2479
			/*
			 * 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 */
2480
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2481 2482 2483
			goto no_open;
		} else {
			/* No side effects, safe to clear O_CREAT */
2484
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2485 2486 2487 2488 2489
			open_flag &= ~O_CREAT;
		}
	}

	if (open_flag & O_CREAT) {
2490
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501
		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 已提交
2502 2503 2504
	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,
2505
				      opened);
A
Al Viro 已提交
2506 2507 2508
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2509 2510 2511 2512
		goto out;
	}

	acc_mode = op->acc_mode;
2513
	if (*opened & FILE_CREATED) {
M
Miklos Szeredi 已提交
2514 2515 2516 2517
		fsnotify_create(dir, dentry);
		acc_mode = MAY_OPEN;
	}

A
Al Viro 已提交
2518
	if (error) {	/* returned 1, that is */
A
Al Viro 已提交
2519
		if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2520
			error = -EIO;
M
Miklos Szeredi 已提交
2521 2522
			goto out;
		}
A
Al Viro 已提交
2523
		if (file->f_path.dentry) {
M
Miklos Szeredi 已提交
2524
			dput(dentry);
A
Al Viro 已提交
2525
			dentry = file->f_path.dentry;
M
Miklos Szeredi 已提交
2526
		}
2527 2528 2529 2530
		if (create_error && dentry->d_inode == NULL) {
			error = create_error;
			goto out;
		}
M
Miklos Szeredi 已提交
2531 2532 2533 2534 2535 2536 2537
		goto looked_up;
	}

	/*
	 * We didn't have the inode before the open, so check open permission
	 * here.
	 */
2538 2539 2540
	error = may_open(&file->f_path, acc_mode, open_flag);
	if (error)
		fput(file);
M
Miklos Szeredi 已提交
2541 2542 2543

out:
	dput(dentry);
2544
	return error;
M
Miklos Szeredi 已提交
2545 2546 2547

no_open:
	if (need_lookup) {
2548
		dentry = lookup_real(dir, dentry, nd->flags);
M
Miklos Szeredi 已提交
2549
		if (IS_ERR(dentry))
2550
			return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2551 2552 2553 2554

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

2555
			error = create_error;
M
Miklos Szeredi 已提交
2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570
			if ((open_flag & O_EXCL)) {
				if (!dentry->d_inode)
					goto out;
			} else if (!dentry->d_inode) {
				goto out;
			} else if ((open_flag & O_TRUNC) &&
				   S_ISREG(dentry->d_inode->i_mode)) {
				goto out;
			}
			/* will fail later, go on to get the right error */
		}
	}
looked_up:
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2571
	return 1;
M
Miklos Szeredi 已提交
2572 2573
}

M
Miklos Szeredi 已提交
2574
/*
2575
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2576 2577 2578
 *
 * Must be called with i_mutex held on parent.
 *
2579 2580 2581 2582 2583 2584 2585 2586 2587 2588 2589 2590
 * 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 已提交
2591
 */
2592 2593 2594
static int lookup_open(struct nameidata *nd, struct path *path,
			struct file *file,
			const struct open_flags *op,
2595
			bool got_write, int *opened)
M
Miklos Szeredi 已提交
2596 2597
{
	struct dentry *dir = nd->path.dentry;
2598
	struct inode *dir_inode = dir->d_inode;
M
Miklos Szeredi 已提交
2599 2600
	struct dentry *dentry;
	int error;
2601
	bool need_lookup;
M
Miklos Szeredi 已提交
2602

2603
	*opened &= ~FILE_CREATED;
2604
	dentry = lookup_dcache(&nd->last, dir, nd->flags, &need_lookup);
M
Miklos Szeredi 已提交
2605
	if (IS_ERR(dentry))
2606
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2607

M
Miklos Szeredi 已提交
2608 2609 2610 2611 2612
	/* 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) {
2613
		return atomic_open(nd, dentry, path, file, op, got_write,
2614
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2615 2616
	}

2617 2618 2619
	if (need_lookup) {
		BUG_ON(dentry->d_inode);

2620
		dentry = lookup_real(dir_inode, dentry, nd->flags);
2621
		if (IS_ERR(dentry))
2622
			return PTR_ERR(dentry);
2623 2624
	}

M
Miklos Szeredi 已提交
2625 2626 2627 2628 2629 2630 2631 2632 2633 2634
	/* 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
2635
		 * the 'struct file' in finish_open().
M
Miklos Szeredi 已提交
2636
		 */
2637 2638
		if (!got_write) {
			error = -EROFS;
M
Miklos Szeredi 已提交
2639
			goto out_dput;
2640
		}
2641
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2642 2643 2644
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto out_dput;
A
Al Viro 已提交
2645 2646
		error = vfs_create(dir->d_inode, dentry, mode,
				   nd->flags & LOOKUP_EXCL);
M
Miklos Szeredi 已提交
2647 2648 2649
		if (error)
			goto out_dput;
	}
M
Miklos Szeredi 已提交
2650
out_no_open:
M
Miklos Szeredi 已提交
2651 2652
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2653
	return 1;
M
Miklos Szeredi 已提交
2654 2655 2656

out_dput:
	dput(dentry);
2657
	return error;
M
Miklos Szeredi 已提交
2658 2659
}

N
Nick Piggin 已提交
2660
/*
2661
 * Handle the last step of open()
N
Nick Piggin 已提交
2662
 */
2663 2664 2665
static int do_last(struct nameidata *nd, struct path *path,
		   struct file *file, const struct open_flags *op,
		   int *opened, const char *pathname)
2666
{
2667
	struct dentry *dir = nd->path.dentry;
2668
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
2669
	bool will_truncate = (open_flag & O_TRUNC) != 0;
2670
	bool got_write = false;
A
Al Viro 已提交
2671
	int acc_mode = op->acc_mode;
2672
	struct inode *inode;
M
Miklos Szeredi 已提交
2673
	bool symlink_ok = false;
2674 2675
	struct path save_parent = { .dentry = NULL, .mnt = NULL };
	bool retried = false;
A
Al Viro 已提交
2676
	int error;
2677

2678 2679 2680
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

2681 2682
	switch (nd->last_type) {
	case LAST_DOTDOT:
2683
	case LAST_DOT:
2684 2685
		error = handle_dots(nd, nd->last_type);
		if (error)
2686
			return error;
2687 2688
		/* fallthrough */
	case LAST_ROOT:
2689
		error = complete_walk(nd);
A
Al Viro 已提交
2690
		if (error)
2691
			return error;
2692
		audit_inode(pathname, nd->path.dentry, 0);
2693
		if (open_flag & O_CREAT) {
2694
			error = -EISDIR;
2695
			goto out;
2696
		}
M
Miklos Szeredi 已提交
2697
		goto finish_open;
2698
	case LAST_BIND:
2699
		error = complete_walk(nd);
A
Al Viro 已提交
2700
		if (error)
2701
			return error;
2702
		audit_inode(pathname, dir, 0);
M
Miklos Szeredi 已提交
2703
		goto finish_open;
2704
	}
2705

2706
	if (!(open_flag & O_CREAT)) {
2707 2708
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
A
Al Viro 已提交
2709
		if (open_flag & O_PATH && !(nd->flags & LOOKUP_FOLLOW))
M
Miklos Szeredi 已提交
2710
			symlink_ok = true;
2711
		/* we _can_ be in RCU mode here */
2712
		error = lookup_fast(nd, &nd->last, path, &inode);
2713 2714 2715 2716
		if (likely(!error))
			goto finish_lookup;

		if (error < 0)
2717
			goto out;
2718 2719

		BUG_ON(nd->inode != dir->d_inode);
2720 2721 2722 2723 2724 2725 2726 2727 2728
	} 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)
2729
			return error;
2730

2731
		audit_inode(pathname, dir, 0);
2732 2733 2734
		error = -EISDIR;
		/* trailing slashes? */
		if (nd->last.name[nd->last.len])
2735
			goto out;
2736
	}
A
Al Viro 已提交
2737

2738
retry_lookup:
2739 2740 2741 2742 2743 2744 2745 2746 2747 2748
	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.
		 */
	}
2749
	mutex_lock(&dir->d_inode->i_mutex);
2750
	error = lookup_open(nd, path, file, op, got_write, opened);
M
Miklos Szeredi 已提交
2751
	mutex_unlock(&dir->d_inode->i_mutex);
2752

2753 2754
	if (error <= 0) {
		if (error)
M
Miklos Szeredi 已提交
2755 2756
			goto out;

2757
		if ((*opened & FILE_CREATED) ||
2758
		    !S_ISREG(file->f_path.dentry->d_inode->i_mode))
M
Miklos Szeredi 已提交
2759
			will_truncate = false;
M
Miklos Szeredi 已提交
2760

2761
		audit_inode(pathname, file->f_path.dentry, 0);
M
Miklos Szeredi 已提交
2762 2763
		goto opened;
	}
2764

2765
	if (*opened & FILE_CREATED) {
2766
		/* Don't check for write permission, don't truncate */
2767
		open_flag &= ~O_TRUNC;
M
Miklos Szeredi 已提交
2768
		will_truncate = false;
A
Al Viro 已提交
2769
		acc_mode = MAY_OPEN;
M
Miklos Szeredi 已提交
2770
		path_to_nameidata(path, nd);
M
Miklos Szeredi 已提交
2771
		goto finish_open_created;
2772 2773 2774
	}

	/*
2775
	 * create/update audit record if it already exists.
2776
	 */
2777
	if (path->dentry->d_inode)
2778
		audit_inode(pathname, path->dentry, 0);
2779

M
Miklos Szeredi 已提交
2780 2781 2782 2783 2784
	/*
	 * If atomic_open() acquired write access it is dropped now due to
	 * possible mount and symlink following (this might be optimized away if
	 * necessary...)
	 */
2785
	if (got_write) {
M
Miklos Szeredi 已提交
2786
		mnt_drop_write(nd->path.mnt);
2787
		got_write = false;
M
Miklos Szeredi 已提交
2788 2789
	}

2790
	error = -EEXIST;
A
Al Viro 已提交
2791
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))
2792 2793
		goto exit_dput;

2794 2795 2796
	error = follow_managed(path, nd->flags);
	if (error < 0)
		goto exit_dput;
2797

2798 2799 2800
	if (error)
		nd->flags |= LOOKUP_JUMPED;

2801 2802
	BUG_ON(nd->flags & LOOKUP_RCU);
	inode = path->dentry->d_inode;
2803 2804
finish_lookup:
	/* we _can_ be in RCU mode here */
2805
	error = -ENOENT;
2806 2807
	if (!inode) {
		path_to_nameidata(path, nd);
2808
		goto out;
2809
	}
A
Al Viro 已提交
2810

2811 2812 2813 2814
	if (should_follow_link(inode, !symlink_ok)) {
		if (nd->flags & LOOKUP_RCU) {
			if (unlikely(unlazy_walk(nd, path->dentry))) {
				error = -ECHILD;
2815
				goto out;
2816 2817 2818
			}
		}
		BUG_ON(inode != path->dentry->d_inode);
2819
		return 1;
2820
	}
2821

2822 2823 2824 2825 2826 2827 2828 2829
	if ((nd->flags & LOOKUP_RCU) || nd->path.mnt != path->mnt) {
		path_to_nameidata(path, nd);
	} else {
		save_parent.dentry = nd->path.dentry;
		save_parent.mnt = mntget(path->mnt);
		nd->path.dentry = path->dentry;

	}
2830
	nd->inode = inode;
2831 2832
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
	error = complete_walk(nd);
2833 2834
	if (error) {
		path_put(&save_parent);
2835
		return error;
2836
	}
2837
	error = -EISDIR;
2838
	if ((open_flag & O_CREAT) && S_ISDIR(nd->inode->i_mode))
2839
		goto out;
2840 2841
	error = -ENOTDIR;
	if ((nd->flags & LOOKUP_DIRECTORY) && !nd->inode->i_op->lookup)
2842
		goto out;
2843
	audit_inode(pathname, nd->path.dentry, 0);
M
Miklos Szeredi 已提交
2844
finish_open:
2845
	if (!S_ISREG(nd->inode->i_mode))
M
Miklos Szeredi 已提交
2846
		will_truncate = false;
2847

2848 2849 2850
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
2851
			goto out;
2852
		got_write = true;
2853
	}
M
Miklos Szeredi 已提交
2854
finish_open_created:
A
Al Viro 已提交
2855
	error = may_open(&nd->path, acc_mode, open_flag);
2856
	if (error)
2857
		goto out;
A
Al Viro 已提交
2858 2859 2860 2861
	file->f_path.mnt = nd->path.mnt;
	error = finish_open(file, nd->path.dentry, NULL, opened);
	if (error) {
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
2862
			goto stale_open;
2863
		goto out;
M
Miklos Szeredi 已提交
2864
	}
2865
opened:
2866
	error = open_check_o_direct(file);
2867 2868
	if (error)
		goto exit_fput;
2869
	error = ima_file_check(file, op->acc_mode);
2870 2871 2872 2873
	if (error)
		goto exit_fput;

	if (will_truncate) {
2874
		error = handle_truncate(file);
2875 2876
		if (error)
			goto exit_fput;
2877
	}
2878
out:
2879
	if (got_write)
2880
		mnt_drop_write(nd->path.mnt);
2881
	path_put(&save_parent);
2882
	terminate_walk(nd);
2883
	return error;
2884 2885 2886

exit_dput:
	path_put_conditional(path, nd);
2887
	goto out;
2888
exit_fput:
2889 2890
	fput(file);
	goto out;
2891

M
Miklos Szeredi 已提交
2892 2893 2894 2895 2896 2897 2898 2899 2900 2901 2902
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;
2903
	if (got_write) {
M
Miklos Szeredi 已提交
2904
		mnt_drop_write(nd->path.mnt);
2905
		got_write = false;
M
Miklos Szeredi 已提交
2906 2907 2908
	}
	retried = true;
	goto retry_lookup;
2909 2910
}

2911
static struct file *path_openat(int dfd, const char *pathname,
A
Al Viro 已提交
2912
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
2913
{
2914
	struct file *base = NULL;
A
Al Viro 已提交
2915
	struct file *file;
2916
	struct path path;
2917
	int opened = 0;
2918
	int error;
N
Nick Piggin 已提交
2919

A
Al Viro 已提交
2920 2921
	file = get_empty_filp();
	if (!file)
N
Nick Piggin 已提交
2922 2923
		return ERR_PTR(-ENFILE);

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

A
Al Viro 已提交
2926
	error = path_init(dfd, pathname, flags | LOOKUP_PARENT, nd, &base);
N
Nick Piggin 已提交
2927
	if (unlikely(error))
2928
		goto out;
N
Nick Piggin 已提交
2929

2930
	current->total_link_count = 0;
A
Al Viro 已提交
2931
	error = link_path_walk(pathname, nd);
N
Nick Piggin 已提交
2932
	if (unlikely(error))
2933
		goto out;
L
Linus Torvalds 已提交
2934

2935 2936
	error = do_last(nd, &path, file, op, &opened, pathname);
	while (unlikely(error > 0)) { /* trailing symlink */
2937
		struct path link = path;
A
Al Viro 已提交
2938
		void *cookie;
2939
		if (!(nd->flags & LOOKUP_FOLLOW)) {
A
Al Viro 已提交
2940 2941
			path_put_conditional(&path, nd);
			path_put(&nd->path);
2942
			error = -ELOOP;
2943 2944
			break;
		}
K
Kees Cook 已提交
2945 2946 2947
		error = may_follow_link(&link, nd);
		if (unlikely(error))
			break;
A
Al Viro 已提交
2948 2949
		nd->flags |= LOOKUP_PARENT;
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
2950
		error = follow_link(&link, nd, &cookie);
2951
		if (unlikely(error))
2952 2953
			break;
		error = do_last(nd, &path, file, op, &opened, pathname);
2954
		put_link(nd, &link, cookie);
2955
	}
A
Al Viro 已提交
2956
out:
A
Al Viro 已提交
2957 2958
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT))
		path_put(&nd->root);
2959 2960
	if (base)
		fput(base);
2961 2962
	if (!(opened & FILE_OPENED)) {
		BUG_ON(!error);
A
Al Viro 已提交
2963
		put_filp(file);
2964
	}
2965 2966 2967 2968 2969 2970 2971 2972 2973 2974
	if (unlikely(error)) {
		if (error == -EOPENSTALE) {
			if (flags & LOOKUP_RCU)
				error = -ECHILD;
			else
				error = -ESTALE;
		}
		file = ERR_PTR(error);
	}
	return file;
L
Linus Torvalds 已提交
2975 2976
}

2977 2978 2979
struct file *do_filp_open(int dfd, const char *pathname,
		const struct open_flags *op, int flags)
{
A
Al Viro 已提交
2980
	struct nameidata nd;
2981 2982
	struct file *filp;

A
Al Viro 已提交
2983
	filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_RCU);
2984
	if (unlikely(filp == ERR_PTR(-ECHILD)))
A
Al Viro 已提交
2985
		filp = path_openat(dfd, pathname, &nd, op, flags);
2986
	if (unlikely(filp == ERR_PTR(-ESTALE)))
A
Al Viro 已提交
2987
		filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_REVAL);
2988 2989 2990
	return filp;
}

A
Al Viro 已提交
2991 2992 2993 2994 2995 2996 2997 2998 2999 3000 3001
struct file *do_file_open_root(struct dentry *dentry, struct vfsmount *mnt,
		const char *name, const struct open_flags *op, int flags)
{
	struct nameidata nd;
	struct file *file;

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

	flags |= LOOKUP_ROOT;

A
Al Viro 已提交
3002
	if (dentry->d_inode->i_op->follow_link && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3003 3004 3005 3006 3007 3008 3009 3010 3011 3012
		return ERR_PTR(-ELOOP);

	file = path_openat(-1, name, &nd, op, flags | LOOKUP_RCU);
	if (unlikely(file == ERR_PTR(-ECHILD)))
		file = path_openat(-1, name, &nd, op, flags);
	if (unlikely(file == ERR_PTR(-ESTALE)))
		file = path_openat(-1, name, &nd, op, flags | LOOKUP_REVAL);
	return file;
}

A
Al Viro 已提交
3013
struct dentry *kern_path_create(int dfd, const char *pathname, struct path *path, int is_dir)
L
Linus Torvalds 已提交
3014
{
3015
	struct dentry *dentry = ERR_PTR(-EEXIST);
A
Al Viro 已提交
3016
	struct nameidata nd;
3017
	int err2;
A
Al Viro 已提交
3018 3019 3020
	int error = do_path_lookup(dfd, pathname, LOOKUP_PARENT, &nd);
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
3021

3022 3023 3024 3025
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
A
Al Viro 已提交
3026 3027 3028 3029
	if (nd.last_type != LAST_NORM)
		goto out;
	nd.flags &= ~LOOKUP_PARENT;
	nd.flags |= LOOKUP_CREATE | LOOKUP_EXCL;
3030

3031 3032
	/* don't fail immediately if it's r/o, at least try to report other errors */
	err2 = mnt_want_write(nd.path.mnt);
3033 3034 3035
	/*
	 * Do the final lookup.
	 */
A
Al Viro 已提交
3036 3037
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
3038
	if (IS_ERR(dentry))
3039
		goto unlock;
3040

3041
	error = -EEXIST;
3042
	if (dentry->d_inode)
3043
		goto fail;
3044 3045 3046 3047 3048 3049
	/*
	 * 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 已提交
3050
	if (unlikely(!is_dir && nd.last.name[nd.last.len])) {
3051
		error = -ENOENT;
A
Al Viro 已提交
3052
		goto fail;
3053
	}
3054 3055
	if (unlikely(err2)) {
		error = err2;
3056
		goto fail;
3057
	}
A
Al Viro 已提交
3058
	*path = nd.path;
L
Linus Torvalds 已提交
3059 3060
	return dentry;
fail:
3061 3062 3063
	dput(dentry);
	dentry = ERR_PTR(error);
unlock:
A
Al Viro 已提交
3064
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
3065 3066
	if (!err2)
		mnt_drop_write(nd.path.mnt);
A
Al Viro 已提交
3067 3068
out:
	path_put(&nd.path);
L
Linus Torvalds 已提交
3069 3070
	return dentry;
}
3071 3072
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3073 3074 3075 3076
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3077
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3078 3079 3080 3081
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

3082 3083
struct dentry *user_path_create(int dfd, const char __user *pathname, struct path *path, int is_dir)
{
3084
	struct filename *tmp = getname(pathname);
3085 3086 3087
	struct dentry *res;
	if (IS_ERR(tmp))
		return ERR_CAST(tmp);
3088
	res = kern_path_create(dfd, tmp->name, path, is_dir);
3089 3090 3091 3092 3093
	putname(tmp);
	return res;
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3094
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3095
{
3096
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3097 3098 3099 3100

	if (error)
		return error;

3101
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3102 3103
		return -EPERM;

A
Al Viro 已提交
3104
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3105 3106
		return -EPERM;

3107 3108 3109 3110
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3111 3112 3113 3114 3115
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3116
	if (!error)
3117
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3118 3119 3120
	return error;
}

A
Al Viro 已提交
3121
static int may_mknod(umode_t mode)
3122 3123 3124 3125 3126 3127 3128 3129 3130 3131 3132 3133 3134 3135 3136 3137
{
	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 已提交
3138
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
3139
		unsigned, dev)
L
Linus Torvalds 已提交
3140
{
3141
	struct dentry *dentry;
3142 3143
	struct path path;
	int error;
L
Linus Torvalds 已提交
3144

3145 3146 3147
	error = may_mknod(mode);
	if (error)
		return error;
L
Linus Torvalds 已提交
3148

3149 3150 3151
	dentry = user_path_create(dfd, filename, &path, 0);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3152

3153
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3154
		mode &= ~current_umask();
3155
	error = security_path_mknod(&path, dentry, mode, dev);
3156
	if (error)
3157
		goto out;
3158
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3159
		case 0: case S_IFREG:
A
Al Viro 已提交
3160
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
L
Linus Torvalds 已提交
3161 3162
			break;
		case S_IFCHR: case S_IFBLK:
3163
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3164 3165 3166
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3167
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3168 3169
			break;
	}
3170
out:
A
Al Viro 已提交
3171
	done_path_create(&path, dentry);
L
Linus Torvalds 已提交
3172 3173 3174
	return error;
}

A
Al Viro 已提交
3175
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3176 3177 3178 3179
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

3180
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3181
{
3182
	int error = may_create(dir, dentry);
3183
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3184 3185 3186 3187

	if (error)
		return error;

A
Al Viro 已提交
3188
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3189 3190 3191 3192 3193 3194 3195
		return -EPERM;

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

3196 3197 3198
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3199
	error = dir->i_op->mkdir(dir, dentry, mode);
3200
	if (!error)
3201
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3202 3203 3204
	return error;
}

3205
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
3206
{
3207
	struct dentry *dentry;
3208 3209
	struct path path;
	int error;
L
Linus Torvalds 已提交
3210

3211
	dentry = user_path_create(dfd, pathname, &path, 1);
3212
	if (IS_ERR(dentry))
3213
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3214

3215
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3216
		mode &= ~current_umask();
3217
	error = security_path_mkdir(&path, dentry, mode);
3218 3219
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3220
	done_path_create(&path, dentry);
L
Linus Torvalds 已提交
3221 3222 3223
	return error;
}

3224
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3225 3226 3227 3228
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
3229
/*
S
Sage Weil 已提交
3230
 * The dentry_unhash() helper will try to drop the dentry early: we
3231
 * should have a usage count of 1 if we're the only user of this
S
Sage Weil 已提交
3232 3233
 * dentry, and if that is true (possibly after pruning the dcache),
 * then we drop the dentry now.
L
Linus Torvalds 已提交
3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245
 *
 * 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)
{
3246
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
3247
	spin_lock(&dentry->d_lock);
3248
	if (dentry->d_count == 1)
L
Linus Torvalds 已提交
3249 3250 3251 3252 3253 3254 3255 3256 3257 3258 3259
		__d_drop(dentry);
	spin_unlock(&dentry->d_lock);
}

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

	if (error)
		return error;

A
Al Viro 已提交
3260
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3261 3262
		return -EPERM;

3263
	dget(dentry);
3264
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3265 3266

	error = -EBUSY;
L
Linus Torvalds 已提交
3267
	if (d_mountpoint(dentry))
S
Sage Weil 已提交
3268 3269 3270 3271 3272 3273
		goto out;

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

3274
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3275 3276 3277 3278 3279 3280 3281 3282
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);

out:
3283
	mutex_unlock(&dentry->d_inode->i_mutex);
3284
	dput(dentry);
S
Sage Weil 已提交
3285
	if (!error)
L
Linus Torvalds 已提交
3286 3287 3288 3289
		d_delete(dentry);
	return error;
}

3290
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3291 3292
{
	int error = 0;
3293
	struct filename *name;
L
Linus Torvalds 已提交
3294 3295 3296
	struct dentry *dentry;
	struct nameidata nd;

3297 3298 3299
	name = user_path_parent(dfd, pathname, &nd);
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3300 3301

	switch(nd.last_type) {
3302 3303 3304 3305 3306 3307 3308 3309 3310
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3311
	}
3312 3313

	nd.flags &= ~LOOKUP_PARENT;
3314 3315 3316
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto exit1;
3317

3318
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
3319
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
3320
	error = PTR_ERR(dentry);
3321 3322
	if (IS_ERR(dentry))
		goto exit2;
3323 3324 3325 3326
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3327 3328
	error = security_path_rmdir(&nd.path, dentry);
	if (error)
3329
		goto exit3;
3330
	error = vfs_rmdir(nd.path.dentry->d_inode, dentry);
3331
exit3:
3332 3333
	dput(dentry);
exit2:
3334
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
3335
	mnt_drop_write(nd.path.mnt);
L
Linus Torvalds 已提交
3336
exit1:
J
Jan Blunck 已提交
3337
	path_put(&nd.path);
L
Linus Torvalds 已提交
3338 3339 3340 3341
	putname(name);
	return error;
}

3342
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3343 3344 3345 3346
{
	return do_rmdir(AT_FDCWD, pathname);
}

L
Linus Torvalds 已提交
3347 3348 3349 3350 3351 3352 3353
int vfs_unlink(struct inode *dir, struct dentry *dentry)
{
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3354
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3355 3356
		return -EPERM;

3357
	mutex_lock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3358 3359 3360 3361
	if (d_mountpoint(dentry))
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3362
		if (!error) {
L
Linus Torvalds 已提交
3363
			error = dir->i_op->unlink(dir, dentry);
3364
			if (!error)
3365
				dont_mount(dentry);
3366
		}
L
Linus Torvalds 已提交
3367
	}
3368
	mutex_unlock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3369 3370 3371

	/* We don't d_delete() NFS sillyrenamed files--they still exist. */
	if (!error && !(dentry->d_flags & DCACHE_NFSFS_RENAMED)) {
3372
		fsnotify_link_count(dentry->d_inode);
J
John McCutchan 已提交
3373
		d_delete(dentry);
L
Linus Torvalds 已提交
3374
	}
R
Robert Love 已提交
3375

L
Linus Torvalds 已提交
3376 3377 3378 3379 3380
	return error;
}

/*
 * Make sure that the actual truncation of the file will occur outside its
3381
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3382 3383 3384
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3385
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3386
{
3387
	int error;
3388
	struct filename *name;
L
Linus Torvalds 已提交
3389 3390 3391 3392
	struct dentry *dentry;
	struct nameidata nd;
	struct inode *inode = NULL;

3393 3394 3395
	name = user_path_parent(dfd, pathname, &nd);
	if (IS_ERR(name))
		return PTR_ERR(name);
3396

L
Linus Torvalds 已提交
3397 3398 3399
	error = -EISDIR;
	if (nd.last_type != LAST_NORM)
		goto exit1;
3400 3401

	nd.flags &= ~LOOKUP_PARENT;
3402 3403 3404
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto exit1;
3405

3406
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
3407
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
3408 3409 3410
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
3411 3412
		if (nd.last.name[nd.last.len])
			goto slashes;
L
Linus Torvalds 已提交
3413
		inode = dentry->d_inode;
3414
		if (!inode)
3415 3416
			goto slashes;
		ihold(inode);
3417 3418
		error = security_path_unlink(&nd.path, dentry);
		if (error)
3419
			goto exit2;
3420
		error = vfs_unlink(nd.path.dentry->d_inode, dentry);
3421
exit2:
L
Linus Torvalds 已提交
3422 3423
		dput(dentry);
	}
3424
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3425 3426
	if (inode)
		iput(inode);	/* truncate the inode here */
3427
	mnt_drop_write(nd.path.mnt);
L
Linus Torvalds 已提交
3428
exit1:
J
Jan Blunck 已提交
3429
	path_put(&nd.path);
L
Linus Torvalds 已提交
3430 3431 3432 3433 3434 3435 3436 3437 3438
	putname(name);
	return error;

slashes:
	error = !dentry->d_inode ? -ENOENT :
		S_ISDIR(dentry->d_inode->i_mode) ? -EISDIR : -ENOTDIR;
	goto exit2;
}

3439
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3440 3441 3442 3443 3444 3445 3446 3447 3448 3449
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

3450
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3451 3452 3453 3454
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3455
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3456
{
3457
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3458 3459 3460 3461

	if (error)
		return error;

A
Al Viro 已提交
3462
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3463 3464 3465 3466 3467 3468 3469
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3470
	if (!error)
3471
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3472 3473 3474
	return error;
}

3475 3476
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3477
{
3478
	int error;
3479
	struct filename *from;
3480
	struct dentry *dentry;
3481
	struct path path;
L
Linus Torvalds 已提交
3482 3483

	from = getname(oldname);
3484
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3485 3486
		return PTR_ERR(from);

3487
	dentry = user_path_create(newdfd, newname, &path, 0);
3488 3489
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3490
		goto out_putname;
3491

3492
	error = security_path_symlink(&path, dentry, from->name);
3493
	if (!error)
3494
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
3495
	done_path_create(&path, dentry);
3496
out_putname:
L
Linus Torvalds 已提交
3497 3498 3499 3500
	putname(from);
	return error;
}

3501
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3502 3503 3504 3505
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

L
Linus Torvalds 已提交
3506 3507 3508
int vfs_link(struct dentry *old_dentry, struct inode *dir, struct dentry *new_dentry)
{
	struct inode *inode = old_dentry->d_inode;
3509
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3510 3511 3512 3513 3514
	int error;

	if (!inode)
		return -ENOENT;

3515
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
3516 3517 3518 3519 3520 3521 3522 3523 3524 3525 3526
	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 已提交
3527
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
3528
		return -EPERM;
3529
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
3530 3531 3532 3533 3534 3535
		return -EPERM;

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

3536
	mutex_lock(&inode->i_mutex);
3537 3538 3539
	/* Make sure we don't allow creating hardlink to an unlinked file */
	if (inode->i_nlink == 0)
		error =  -ENOENT;
3540 3541
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
3542 3543
	else
		error = dir->i_op->link(old_dentry, dir, new_dentry);
3544
	mutex_unlock(&inode->i_mutex);
3545
	if (!error)
3546
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
3547 3548 3549 3550 3551 3552 3553 3554 3555 3556 3557 3558
	return error;
}

/*
 * 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
 */
3559 3560
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
3561 3562
{
	struct dentry *new_dentry;
3563
	struct path old_path, new_path;
3564
	int how = 0;
L
Linus Torvalds 已提交
3565 3566
	int error;

3567
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
3568
		return -EINVAL;
3569 3570 3571 3572 3573 3574 3575 3576 3577 3578 3579 3580 3581
	/*
	 * 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.
	 */
	if (flags & AT_EMPTY_PATH) {
		if (!capable(CAP_DAC_READ_SEARCH))
			return -ENOENT;
		how = LOOKUP_EMPTY;
	}

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
3582

3583
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
3584
	if (error)
3585 3586
		return error;

3587
	new_dentry = user_path_create(newdfd, newname, &new_path, 0);
L
Linus Torvalds 已提交
3588
	error = PTR_ERR(new_dentry);
3589
	if (IS_ERR(new_dentry))
3590 3591 3592 3593 3594
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
3595 3596 3597
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
3598
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
3599
	if (error)
3600
		goto out_dput;
3601
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry);
3602
out_dput:
A
Al Viro 已提交
3603
	done_path_create(&new_path, new_dentry);
L
Linus Torvalds 已提交
3604
out:
3605
	path_put(&old_path);
L
Linus Torvalds 已提交
3606 3607 3608 3609

	return error;
}

3610
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
3611
{
3612
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
3613 3614
}

L
Linus Torvalds 已提交
3615 3616 3617 3618 3619 3620 3621
/*
 * 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:
 *	a) we can get into loop creation. Check is done in is_subdir().
 *	b) race potential - two innocent renames can create a loop together.
 *	   That's where 4.4 screws up. Current fix: serialization on
3622
 *	   sb->s_vfs_rename_mutex. We might be more accurate, but that's another
L
Linus Torvalds 已提交
3623 3624
 *	   story.
 *	c) we have to lock _three_ objects - parents and victim (if it exists).
3625
 *	   And that - after we got ->i_mutex on parents (until then we don't know
L
Linus Torvalds 已提交
3626 3627
 *	   whether the target exists).  Solution: try to be smart with locking
 *	   order for inodes.  We rely on the fact that tree topology may change
3628
 *	   only under ->s_vfs_rename_mutex _and_ that parent of the object we
L
Linus Torvalds 已提交
3629 3630 3631
 *	   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,
3632
 *	   lock child" and rename is under ->s_vfs_rename_mutex.
L
Linus Torvalds 已提交
3633 3634 3635
 *	   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.
3636
 *	d) conversion from fhandle to dentry may come in the wrong moment - when
3637
 *	   we are removing the target. Solution: we will have to grab ->i_mutex
L
Linus Torvalds 已提交
3638
 *	   in the fhandle_to_dentry code. [FIXME - current nfsfh.c relies on
3639
 *	   ->i_mutex on parents, which works but leads to some truly excessive
L
Linus Torvalds 已提交
3640 3641
 *	   locking].
 */
A
Adrian Bunk 已提交
3642 3643
static int vfs_rename_dir(struct inode *old_dir, struct dentry *old_dentry,
			  struct inode *new_dir, struct dentry *new_dentry)
L
Linus Torvalds 已提交
3644 3645
{
	int error = 0;
S
Sage Weil 已提交
3646
	struct inode *target = new_dentry->d_inode;
3647
	unsigned max_links = new_dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3648 3649 3650 3651 3652 3653

	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
	if (new_dir != old_dir) {
3654
		error = inode_permission(old_dentry->d_inode, MAY_WRITE);
L
Linus Torvalds 已提交
3655 3656 3657 3658 3659 3660 3661 3662
		if (error)
			return error;
	}

	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry);
	if (error)
		return error;

3663
	dget(new_dentry);
3664
	if (target)
3665
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
3666 3667 3668 3669 3670

	error = -EBUSY;
	if (d_mountpoint(old_dentry) || d_mountpoint(new_dentry))
		goto out;

3671 3672 3673 3674 3675
	error = -EMLINK;
	if (max_links && !target && new_dir != old_dir &&
	    new_dir->i_nlink >= max_links)
		goto out;

3676 3677
	if (target)
		shrink_dcache_parent(new_dentry);
S
Sage Weil 已提交
3678 3679 3680 3681
	error = old_dir->i_op->rename(old_dir, old_dentry, new_dir, new_dentry);
	if (error)
		goto out;

L
Linus Torvalds 已提交
3682
	if (target) {
S
Sage Weil 已提交
3683 3684
		target->i_flags |= S_DEAD;
		dont_mount(new_dentry);
L
Linus Torvalds 已提交
3685
	}
S
Sage Weil 已提交
3686 3687 3688
out:
	if (target)
		mutex_unlock(&target->i_mutex);
3689
	dput(new_dentry);
3690
	if (!error)
3691 3692
		if (!(old_dir->i_sb->s_type->fs_flags & FS_RENAME_DOES_D_MOVE))
			d_move(old_dentry,new_dentry);
L
Linus Torvalds 已提交
3693 3694 3695
	return error;
}

A
Adrian Bunk 已提交
3696 3697
static int vfs_rename_other(struct inode *old_dir, struct dentry *old_dentry,
			    struct inode *new_dir, struct dentry *new_dentry)
L
Linus Torvalds 已提交
3698
{
S
Sage Weil 已提交
3699
	struct inode *target = new_dentry->d_inode;
L
Linus Torvalds 已提交
3700 3701 3702 3703 3704 3705 3706 3707
	int error;

	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry);
	if (error)
		return error;

	dget(new_dentry);
	if (target)
3708
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
3709 3710

	error = -EBUSY;
L
Linus Torvalds 已提交
3711
	if (d_mountpoint(old_dentry)||d_mountpoint(new_dentry))
S
Sage Weil 已提交
3712 3713 3714 3715 3716 3717 3718 3719 3720 3721 3722
		goto out;

	error = old_dir->i_op->rename(old_dir, old_dentry, new_dir, new_dentry);
	if (error)
		goto out;

	if (target)
		dont_mount(new_dentry);
	if (!(old_dir->i_sb->s_type->fs_flags & FS_RENAME_DOES_D_MOVE))
		d_move(old_dentry, new_dentry);
out:
L
Linus Torvalds 已提交
3723
	if (target)
3724
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3725 3726 3727 3728 3729 3730 3731 3732 3733
	dput(new_dentry);
	return error;
}

int vfs_rename(struct inode *old_dir, struct dentry *old_dentry,
	       struct inode *new_dir, struct dentry *new_dentry)
{
	int error;
	int is_dir = S_ISDIR(old_dentry->d_inode->i_mode);
3734
	const unsigned char *old_name;
L
Linus Torvalds 已提交
3735 3736 3737 3738 3739 3740 3741 3742 3743

	if (old_dentry->d_inode == new_dentry->d_inode)
 		return 0;
 
	error = may_delete(old_dir, old_dentry, is_dir);
	if (error)
		return error;

	if (!new_dentry->d_inode)
3744
		error = may_create(new_dir, new_dentry);
L
Linus Torvalds 已提交
3745 3746 3747 3748 3749
	else
		error = may_delete(new_dir, new_dentry, is_dir);
	if (error)
		return error;

A
Al Viro 已提交
3750
	if (!old_dir->i_op->rename)
L
Linus Torvalds 已提交
3751 3752
		return -EPERM;

R
Robert Love 已提交
3753 3754
	old_name = fsnotify_oldname_init(old_dentry->d_name.name);

L
Linus Torvalds 已提交
3755 3756 3757 3758
	if (is_dir)
		error = vfs_rename_dir(old_dir,old_dentry,new_dir,new_dentry);
	else
		error = vfs_rename_other(old_dir,old_dentry,new_dir,new_dentry);
3759 3760
	if (!error)
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
3761
			      new_dentry->d_inode, old_dentry);
R
Robert Love 已提交
3762 3763
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
3764 3765 3766
	return error;
}

3767 3768
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3769
{
3770 3771 3772
	struct dentry *old_dir, *new_dir;
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
L
Linus Torvalds 已提交
3773
	struct nameidata oldnd, newnd;
3774 3775
	struct filename *from;
	struct filename *to;
3776
	int error;
L
Linus Torvalds 已提交
3777

3778 3779 3780
	from = user_path_parent(olddfd, oldname, &oldnd);
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
3781
		goto exit;
3782
	}
L
Linus Torvalds 已提交
3783

3784 3785 3786
	to = user_path_parent(newdfd, newname, &newnd);
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
3787
		goto exit1;
3788
	}
L
Linus Torvalds 已提交
3789 3790

	error = -EXDEV;
3791
	if (oldnd.path.mnt != newnd.path.mnt)
L
Linus Torvalds 已提交
3792 3793
		goto exit2;

3794
	old_dir = oldnd.path.dentry;
L
Linus Torvalds 已提交
3795 3796 3797 3798
	error = -EBUSY;
	if (oldnd.last_type != LAST_NORM)
		goto exit2;

3799
	new_dir = newnd.path.dentry;
L
Linus Torvalds 已提交
3800 3801 3802
	if (newnd.last_type != LAST_NORM)
		goto exit2;

3803 3804 3805 3806
	error = mnt_want_write(oldnd.path.mnt);
	if (error)
		goto exit2;

3807 3808
	oldnd.flags &= ~LOOKUP_PARENT;
	newnd.flags &= ~LOOKUP_PARENT;
3809
	newnd.flags |= LOOKUP_RENAME_TARGET;
3810

L
Linus Torvalds 已提交
3811 3812
	trap = lock_rename(new_dir, old_dir);

3813
	old_dentry = lookup_hash(&oldnd);
L
Linus Torvalds 已提交
3814 3815 3816 3817 3818 3819 3820 3821 3822 3823 3824 3825 3826 3827 3828 3829 3830 3831 3832
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
	if (!old_dentry->d_inode)
		goto exit4;
	/* unless the source is a directory trailing slashes give -ENOTDIR */
	if (!S_ISDIR(old_dentry->d_inode->i_mode)) {
		error = -ENOTDIR;
		if (oldnd.last.name[oldnd.last.len])
			goto exit4;
		if (newnd.last.name[newnd.last.len])
			goto exit4;
	}
	/* source should not be ancestor of target */
	error = -EINVAL;
	if (old_dentry == trap)
		goto exit4;
3833
	new_dentry = lookup_hash(&newnd);
L
Linus Torvalds 已提交
3834 3835 3836 3837 3838 3839 3840 3841
	error = PTR_ERR(new_dentry);
	if (IS_ERR(new_dentry))
		goto exit4;
	/* target should not be an ancestor of source */
	error = -ENOTEMPTY;
	if (new_dentry == trap)
		goto exit5;

3842 3843 3844
	error = security_path_rename(&oldnd.path, old_dentry,
				     &newnd.path, new_dentry);
	if (error)
3845
		goto exit5;
L
Linus Torvalds 已提交
3846 3847 3848 3849 3850 3851 3852 3853
	error = vfs_rename(old_dir->d_inode, old_dentry,
				   new_dir->d_inode, new_dentry);
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
	unlock_rename(new_dir, old_dir);
3854
	mnt_drop_write(oldnd.path.mnt);
L
Linus Torvalds 已提交
3855
exit2:
J
Jan Blunck 已提交
3856
	path_put(&newnd.path);
3857
	putname(to);
L
Linus Torvalds 已提交
3858
exit1:
J
Jan Blunck 已提交
3859
	path_put(&oldnd.path);
L
Linus Torvalds 已提交
3860
	putname(from);
3861
exit:
L
Linus Torvalds 已提交
3862 3863 3864
	return error;
}

3865
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
3866 3867 3868 3869
{
	return sys_renameat(AT_FDCWD, oldname, AT_FDCWD, newname);
}

L
Linus Torvalds 已提交
3870 3871 3872 3873 3874 3875 3876 3877 3878 3879 3880 3881 3882 3883 3884 3885 3886 3887 3888 3889 3890 3891 3892 3893 3894
int vfs_readlink(struct dentry *dentry, char __user *buffer, int buflen, const char *link)
{
	int len;

	len = PTR_ERR(link);
	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 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)
{
	struct nameidata nd;
3895
	void *cookie;
3896
	int res;
3897

L
Linus Torvalds 已提交
3898
	nd.depth = 0;
3899
	cookie = dentry->d_inode->i_op->follow_link(dentry, &nd);
3900 3901 3902 3903 3904 3905 3906
	if (IS_ERR(cookie))
		return PTR_ERR(cookie);

	res = vfs_readlink(dentry, buffer, buflen, nd_get_link(&nd));
	if (dentry->d_inode->i_op->put_link)
		dentry->d_inode->i_op->put_link(dentry, &nd, cookie);
	return res;
L
Linus Torvalds 已提交
3907 3908 3909 3910 3911 3912 3913 3914 3915 3916
}

int vfs_follow_link(struct nameidata *nd, const char *link)
{
	return __vfs_follow_link(nd, link);
}

/* get the link contents into pagecache */
static char *page_getlink(struct dentry * dentry, struct page **ppage)
{
3917 3918
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
3919
	struct address_space *mapping = dentry->d_inode->i_mapping;
3920
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
3921
	if (IS_ERR(page))
3922
		return (char*)page;
L
Linus Torvalds 已提交
3923
	*ppage = page;
3924 3925 3926
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
3927 3928 3929 3930 3931 3932 3933 3934 3935 3936 3937 3938 3939 3940
}

int page_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
	struct page *page = NULL;
	char *s = page_getlink(dentry, &page);
	int res = vfs_readlink(dentry,buffer,buflen,s);
	if (page) {
		kunmap(page);
		page_cache_release(page);
	}
	return res;
}

3941
void *page_follow_link_light(struct dentry *dentry, struct nameidata *nd)
L
Linus Torvalds 已提交
3942
{
3943
	struct page *page = NULL;
L
Linus Torvalds 已提交
3944
	nd_set_link(nd, page_getlink(dentry, &page));
3945
	return page;
L
Linus Torvalds 已提交
3946 3947
}

3948
void page_put_link(struct dentry *dentry, struct nameidata *nd, void *cookie)
L
Linus Torvalds 已提交
3949
{
3950 3951 3952
	struct page *page = cookie;

	if (page) {
L
Linus Torvalds 已提交
3953 3954 3955 3956 3957
		kunmap(page);
		page_cache_release(page);
	}
}

3958 3959 3960 3961
/*
 * 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 已提交
3962 3963
{
	struct address_space *mapping = inode->i_mapping;
3964
	struct page *page;
3965
	void *fsdata;
3966
	int err;
L
Linus Torvalds 已提交
3967
	char *kaddr;
3968 3969 3970
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
3971

3972
retry:
3973
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
3974
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
3975
	if (err)
3976 3977
		goto fail;

3978
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
3979
	memcpy(kaddr, symname, len-1);
3980
	kunmap_atomic(kaddr);
3981 3982 3983

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
3984 3985
	if (err < 0)
		goto fail;
3986 3987 3988
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
3989 3990 3991 3992 3993 3994
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}

3995 3996 3997
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
3998
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
3999 4000
}

4001
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
4002 4003 4004 4005 4006
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};

4007
EXPORT_SYMBOL(user_path_at);
4008
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
4009 4010
EXPORT_SYMBOL(follow_down);
EXPORT_SYMBOL(follow_up);
A
Al Viro 已提交
4011
EXPORT_SYMBOL(get_write_access); /* nfsd */
L
Linus Torvalds 已提交
4012 4013 4014 4015 4016
EXPORT_SYMBOL(lock_rename);
EXPORT_SYMBOL(lookup_one_len);
EXPORT_SYMBOL(page_follow_link_light);
EXPORT_SYMBOL(page_put_link);
EXPORT_SYMBOL(page_readlink);
4017
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4018 4019
EXPORT_SYMBOL(page_symlink);
EXPORT_SYMBOL(page_symlink_inode_operations);
A
Al Viro 已提交
4020
EXPORT_SYMBOL(kern_path);
4021
EXPORT_SYMBOL(vfs_path_lookup);
4022
EXPORT_SYMBOL(inode_permission);
L
Linus Torvalds 已提交
4023 4024 4025 4026 4027 4028 4029 4030 4031 4032 4033 4034 4035 4036
EXPORT_SYMBOL(unlock_rename);
EXPORT_SYMBOL(vfs_create);
EXPORT_SYMBOL(vfs_follow_link);
EXPORT_SYMBOL(vfs_link);
EXPORT_SYMBOL(vfs_mkdir);
EXPORT_SYMBOL(vfs_mknod);
EXPORT_SYMBOL(generic_permission);
EXPORT_SYMBOL(vfs_readlink);
EXPORT_SYMBOL(vfs_rename);
EXPORT_SYMBOL(vfs_rmdir);
EXPORT_SYMBOL(vfs_symlink);
EXPORT_SYMBOL(vfs_unlink);
EXPORT_SYMBOL(dentry_unhash);
EXPORT_SYMBOL(generic_readlink);