namei.c 98.3 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
static int do_last(struct nameidata *nd, struct path *path,
		   struct file *file, const struct open_flags *op,
2665
		   int *opened, struct filename *name)
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
	const char *pathname = name->name;
2678

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2823 2824 2825 2826 2827 2828 2829 2830
	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;

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

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

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

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

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

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

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

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

2927
	error = path_init(dfd, pathname->name, flags | LOOKUP_PARENT, nd, &base);
N
Nick Piggin 已提交
2928
	if (unlikely(error))
2929
		goto out;
N
Nick Piggin 已提交
2930

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

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

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

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

A
Al Viro 已提交
2992 2993 2994 2995 2996
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;
2997
	struct filename filename = { .name = name };
A
Al Viro 已提交
2998 2999 3000 3001 3002 3003

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

	flags |= LOOKUP_ROOT;

A
Al Viro 已提交
3004
	if (dentry->d_inode->i_op->follow_link && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3005 3006
		return ERR_PTR(-ELOOP);

3007
	file = path_openat(-1, &filename, &nd, op, flags | LOOKUP_RCU);
A
Al Viro 已提交
3008
	if (unlikely(file == ERR_PTR(-ECHILD)))
3009
		file = path_openat(-1, &filename, &nd, op, flags);
A
Al Viro 已提交
3010
	if (unlikely(file == ERR_PTR(-ESTALE)))
3011
		file = path_openat(-1, &filename, &nd, op, flags | LOOKUP_REVAL);
A
Al Viro 已提交
3012 3013 3014
	return file;
}

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

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

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

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

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

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

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

	if (error)
		return error;

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

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

3109 3110 3111 3112
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

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

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

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

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

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

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

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

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

	if (error)
		return error;

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

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

3198 3199 3200
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

	if (error)
		return error;

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

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

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

L
Linus Torvalds 已提交
3378 3379 3380 3381 3382
	return error;
}

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

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

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

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

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

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

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

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

	return do_unlinkat(dfd, pathname);
}

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

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

	if (error)
		return error;

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

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

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

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

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

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

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

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

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

	if (!inode)
		return -ENOENT;

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

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

3538
	mutex_lock(&inode->i_mutex);
3539 3540 3541
	/* Make sure we don't allow creating hardlink to an unlinked file */
	if (inode->i_nlink == 0)
		error =  -ENOENT;
3542 3543
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
3544 3545
	else
		error = dir->i_op->link(old_dentry, dir, new_dentry);
3546
	mutex_unlock(&inode->i_mutex);
3547
	if (!error)
3548
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
3549 3550 3551 3552 3553 3554 3555 3556 3557 3558 3559 3560
	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
 */
3561 3562
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
3563 3564
{
	struct dentry *new_dentry;
3565
	struct path old_path, new_path;
3566
	int how = 0;
L
Linus Torvalds 已提交
3567 3568
	int error;

3569
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
3570
		return -EINVAL;
3571 3572 3573 3574 3575 3576 3577 3578 3579 3580 3581 3582 3583
	/*
	 * 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;
3584

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

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

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

	return error;
}

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

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

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

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

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

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

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

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

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

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

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

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

	error = -EBUSY;
L
Linus Torvalds 已提交
3713
	if (d_mountpoint(old_dentry)||d_mountpoint(new_dentry))
S
Sage Weil 已提交
3714 3715 3716 3717 3718 3719 3720 3721 3722 3723 3724
		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 已提交
3725
	if (target)
3726
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3727 3728 3729 3730 3731 3732 3733 3734 3735
	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);
3736
	const unsigned char *old_name;
L
Linus Torvalds 已提交
3737 3738 3739 3740 3741 3742 3743 3744 3745

	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)
3746
		error = may_create(new_dir, new_dentry);
L
Linus Torvalds 已提交
3747 3748 3749 3750 3751
	else
		error = may_delete(new_dir, new_dentry, is_dir);
	if (error)
		return error;

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

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

L
Linus Torvalds 已提交
3757 3758 3759 3760
	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);
3761 3762
	if (!error)
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
3763
			      new_dentry->d_inode, old_dentry);
R
Robert Love 已提交
3764 3765
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
3766 3767 3768
	return error;
}

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

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

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

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

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

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

3805 3806 3807 3808
	error = mnt_want_write(oldnd.path.mnt);
	if (error)
		goto exit2;

3809 3810
	oldnd.flags &= ~LOOKUP_PARENT;
	newnd.flags &= ~LOOKUP_PARENT;
3811
	newnd.flags |= LOOKUP_RENAME_TARGET;
3812

L
Linus Torvalds 已提交
3813 3814
	trap = lock_rename(new_dir, old_dir);

3815
	old_dentry = lookup_hash(&oldnd);
L
Linus Torvalds 已提交
3816 3817 3818 3819 3820 3821 3822 3823 3824 3825 3826 3827 3828 3829 3830 3831 3832 3833 3834
	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;
3835
	new_dentry = lookup_hash(&newnd);
L
Linus Torvalds 已提交
3836 3837 3838 3839 3840 3841 3842 3843
	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;

3844 3845 3846
	error = security_path_rename(&oldnd.path, old_dentry,
				     &newnd.path, new_dentry);
	if (error)
3847
		goto exit5;
L
Linus Torvalds 已提交
3848 3849 3850 3851 3852 3853 3854 3855
	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);
3856
	mnt_drop_write(oldnd.path.mnt);
L
Linus Torvalds 已提交
3857
exit2:
J
Jan Blunck 已提交
3858
	path_put(&newnd.path);
3859
	putname(to);
L
Linus Torvalds 已提交
3860
exit1:
J
Jan Blunck 已提交
3861
	path_put(&oldnd.path);
L
Linus Torvalds 已提交
3862
	putname(from);
3863
exit:
L
Linus Torvalds 已提交
3864 3865 3866
	return error;
}

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

L
Linus Torvalds 已提交
3872 3873 3874 3875 3876 3877 3878 3879 3880 3881 3882 3883 3884 3885 3886 3887 3888 3889 3890 3891 3892 3893 3894 3895 3896
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;
3897
	void *cookie;
3898
	int res;
3899

L
Linus Torvalds 已提交
3900
	nd.depth = 0;
3901
	cookie = dentry->d_inode->i_op->follow_link(dentry, &nd);
3902 3903 3904 3905 3906 3907 3908
	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 已提交
3909 3910 3911 3912 3913 3914 3915 3916 3917 3918
}

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)
{
3919 3920
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
3921
	struct address_space *mapping = dentry->d_inode->i_mapping;
3922
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
3923
	if (IS_ERR(page))
3924
		return (char*)page;
L
Linus Torvalds 已提交
3925
	*ppage = page;
3926 3927 3928
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
3929 3930 3931 3932 3933 3934 3935 3936 3937 3938 3939 3940 3941 3942
}

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

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

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

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

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

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

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

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

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

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

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

4009
EXPORT_SYMBOL(user_path_at);
4010
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
4011 4012
EXPORT_SYMBOL(follow_down);
EXPORT_SYMBOL(follow_up);
A
Al Viro 已提交
4013
EXPORT_SYMBOL(get_write_access); /* nfsd */
L
Linus Torvalds 已提交
4014 4015 4016 4017 4018
EXPORT_SYMBOL(lock_rename);
EXPORT_SYMBOL(lookup_one_len);
EXPORT_SYMBOL(page_follow_link_light);
EXPORT_SYMBOL(page_put_link);
EXPORT_SYMBOL(page_readlink);
4019
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4020 4021
EXPORT_SYMBOL(page_symlink);
EXPORT_SYMBOL(page_symlink_inode_operations);
A
Al Viro 已提交
4022
EXPORT_SYMBOL(kern_path);
4023
EXPORT_SYMBOL(vfs_path_lookup);
4024
EXPORT_SYMBOL(inode_permission);
L
Linus Torvalds 已提交
4025 4026 4027 4028 4029 4030 4031 4032 4033 4034 4035 4036 4037 4038
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);