namei.c 97.6 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

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

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

A
Al Viro 已提交
2005 2006
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2007
{
A
Al Viro 已提交
2008 2009 2010 2011 2012 2013 2014 2015 2016 2017
	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);
2018
	d = __lookup_hash(&nd.last, nd.path.dentry, 0);
A
Al Viro 已提交
2019 2020 2021 2022 2023 2024 2025
	if (IS_ERR(d)) {
		mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
		path_put(&nd.path);
		return d;
	}
	*path = nd.path;
	return d;
2026 2027
}

A
Al Viro 已提交
2028 2029 2030 2031 2032 2033 2034 2035 2036
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;
}

2037 2038 2039 2040 2041 2042
/**
 * 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
2043
 * @path: pointer to struct path to fill
2044 2045 2046
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2047
		    struct path *path)
2048
{
2049 2050 2051 2052 2053
	struct nameidata nd;
	int err;
	nd.root.dentry = dentry;
	nd.root.mnt = mnt;
	BUG_ON(flags & LOOKUP_PARENT);
2054
	/* the first argument of do_path_lookup() is ignored with LOOKUP_ROOT */
2055 2056 2057 2058
	err = do_path_lookup(AT_FDCWD, name, flags | LOOKUP_ROOT, &nd);
	if (!err)
		*path = nd.path;
	return err;
2059 2060
}

2061 2062 2063 2064 2065
/*
 * Restricted form of lookup. Doesn't follow links, single-component only,
 * needs parent already locked. Doesn't follow mounts.
 * SMP-safe.
 */
2066
static struct dentry *lookup_hash(struct nameidata *nd)
2067
{
2068
	return __lookup_hash(&nd->last, nd->path.dentry, nd->flags);
L
Linus Torvalds 已提交
2069 2070
}

2071
/**
2072
 * lookup_one_len - filesystem helper to lookup single pathname component
2073 2074 2075 2076
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
2077 2078
 * 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
2079 2080 2081
 * nameidata argument is passed to the filesystem methods and a filesystem
 * using this helper needs to be prepared for that.
 */
2082 2083 2084
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
2085
	unsigned int c;
2086
	int err;
2087

2088 2089
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2090 2091
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2092
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2093 2094 2095 2096 2097 2098 2099 2100
	if (!len)
		return ERR_PTR(-EACCES);

	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2101 2102 2103 2104 2105 2106 2107 2108 2109
	/*
	 * 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);
	}
2110

2111 2112 2113 2114
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

2115
	return __lookup_hash(&this, base, 0);
2116 2117
}

2118 2119
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2120
{
2121
	struct nameidata nd;
2122
	struct filename *tmp = getname_flags(name, flags, empty);
L
Linus Torvalds 已提交
2123 2124
	int err = PTR_ERR(tmp);
	if (!IS_ERR(tmp)) {
2125 2126 2127

		BUG_ON(flags & LOOKUP_PARENT);

2128
		err = do_path_lookup(dfd, tmp->name, flags, &nd);
L
Linus Torvalds 已提交
2129
		putname(tmp);
2130 2131
		if (!err)
			*path = nd.path;
L
Linus Torvalds 已提交
2132 2133 2134 2135
	}
	return err;
}

2136 2137 2138
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
{
2139
	return user_path_at_empty(dfd, name, flags, path, NULL);
2140 2141
}

2142 2143
static struct filename *
user_path_parent(int dfd, const char __user *path, struct nameidata *nd)
2144
{
2145
	struct filename *s = getname(path);
2146 2147 2148
	int error;

	if (IS_ERR(s))
2149
		return s;
2150

2151 2152
	error = do_path_lookup(dfd, s->name, LOOKUP_PARENT, nd);
	if (error) {
2153
		putname(s);
2154 2155
		return ERR_PTR(error);
	}
2156

2157
	return s;
2158 2159
}

L
Linus Torvalds 已提交
2160 2161 2162 2163 2164 2165
/*
 * 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)
{
2166
	kuid_t fsuid = current_fsuid();
2167

L
Linus Torvalds 已提交
2168 2169
	if (!(dir->i_mode & S_ISVTX))
		return 0;
2170
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2171
		return 0;
2172
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2173
		return 0;
2174
	return !inode_capable(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195
}

/*
 *	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().
 */
2196
static int may_delete(struct inode *dir,struct dentry *victim,int isdir)
L
Linus Torvalds 已提交
2197 2198 2199 2200 2201 2202 2203
{
	int error;

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

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

2206
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2207 2208 2209 2210 2211
	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 已提交
2212
	    IS_IMMUTABLE(victim->d_inode) || IS_SWAPFILE(victim->d_inode))
L
Linus Torvalds 已提交
2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235
		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())
 */
2236
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2237 2238 2239 2240 2241
{
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2242
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2243 2244 2245 2246 2247 2248 2249 2250 2251 2252
}

/*
 * 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 已提交
2253
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2254 2255 2256
		return NULL;
	}

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

2259 2260 2261 2262 2263
	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 已提交
2264 2265
	}

2266 2267 2268 2269 2270
	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 已提交
2271 2272
	}

I
Ingo Molnar 已提交
2273 2274
	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 已提交
2275 2276 2277 2278 2279
	return NULL;
}

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2280
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2281
	if (p1 != p2) {
2282
		mutex_unlock(&p2->d_inode->i_mutex);
2283
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2284 2285 2286
	}
}

A
Al Viro 已提交
2287
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2288
		bool want_excl)
L
Linus Torvalds 已提交
2289
{
2290
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2291 2292 2293
	if (error)
		return error;

A
Al Viro 已提交
2294
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2295 2296 2297 2298 2299 2300
		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 已提交
2301
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2302
	if (!error)
2303
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2304 2305 2306
	return error;
}

A
Al Viro 已提交
2307
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2308
{
2309
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2310 2311 2312
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2313 2314 2315 2316
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2317 2318 2319
	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2320 2321
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2322
		return -ELOOP;
C
Christoph Hellwig 已提交
2323 2324 2325 2326 2327 2328
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2329
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
2330
			return -EACCES;
C
Christoph Hellwig 已提交
2331 2332 2333
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2334
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2335
		break;
2336
	}
2337

2338
	error = inode_permission(inode, acc_mode);
2339 2340
	if (error)
		return error;
M
Mimi Zohar 已提交
2341

L
Linus Torvalds 已提交
2342 2343 2344 2345
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2346
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2347
			return -EPERM;
L
Linus Torvalds 已提交
2348
		if (flag & O_TRUNC)
2349
			return -EPERM;
L
Linus Torvalds 已提交
2350 2351 2352
	}

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

2356
	return 0;
2357
}
L
Linus Torvalds 已提交
2358

2359
static int handle_truncate(struct file *filp)
2360
{
2361
	struct path *path = &filp->f_path;
2362 2363 2364 2365 2366 2367 2368 2369 2370
	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)
2371
		error = security_path_truncate(path);
2372 2373 2374
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2375
				    filp);
2376 2377
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2378
	return error;
L
Linus Torvalds 已提交
2379 2380
}

2381 2382
static inline int open_to_namei_flags(int flag)
{
2383 2384
	if ((flag & O_ACCMODE) == 3)
		flag--;
2385 2386 2387
	return flag;
}

M
Miklos Szeredi 已提交
2388 2389 2390 2391 2392 2393 2394 2395 2396 2397 2398 2399 2400
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);
}

2401 2402 2403 2404 2405 2406 2407 2408 2409 2410 2411 2412 2413
/*
 * 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.
 */
2414 2415 2416
static int atomic_open(struct nameidata *nd, struct dentry *dentry,
			struct path *path, struct file *file,
			const struct open_flags *op,
2417
			bool got_write, bool need_lookup,
2418
			int *opened)
M
Miklos Szeredi 已提交
2419 2420 2421 2422 2423 2424 2425 2426 2427 2428 2429 2430 2431
{
	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))) {
2432
		error = -ENOENT;
M
Miklos Szeredi 已提交
2433 2434 2435
		goto out;
	}

2436
	mode = op->mode;
M
Miklos Szeredi 已提交
2437 2438 2439
	if ((open_flag & O_CREAT) && !IS_POSIXACL(dir))
		mode &= ~current_umask();

A
Al Viro 已提交
2440
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT)) {
M
Miklos Szeredi 已提交
2441
		open_flag &= ~O_TRUNC;
2442
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453
	}

	/*
	 * 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).
	 */
2454 2455 2456
	if (((open_flag & (O_CREAT | O_TRUNC)) ||
	    (open_flag & O_ACCMODE) != O_RDONLY) && unlikely(!got_write)) {
		if (!(open_flag & O_CREAT)) {
M
Miklos Szeredi 已提交
2457 2458 2459 2460 2461 2462 2463
			/*
			 * 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 */
2464
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2465 2466 2467
			goto no_open;
		} else {
			/* No side effects, safe to clear O_CREAT */
2468
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2469 2470 2471 2472 2473
			open_flag &= ~O_CREAT;
		}
	}

	if (open_flag & O_CREAT) {
2474
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485
		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 已提交
2486 2487 2488
	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,
2489
				      opened);
A
Al Viro 已提交
2490 2491 2492
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2493 2494 2495 2496
		goto out;
	}

	acc_mode = op->acc_mode;
2497
	if (*opened & FILE_CREATED) {
M
Miklos Szeredi 已提交
2498 2499 2500 2501
		fsnotify_create(dir, dentry);
		acc_mode = MAY_OPEN;
	}

A
Al Viro 已提交
2502
	if (error) {	/* returned 1, that is */
A
Al Viro 已提交
2503
		if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2504
			error = -EIO;
M
Miklos Szeredi 已提交
2505 2506
			goto out;
		}
A
Al Viro 已提交
2507
		if (file->f_path.dentry) {
M
Miklos Szeredi 已提交
2508
			dput(dentry);
A
Al Viro 已提交
2509
			dentry = file->f_path.dentry;
M
Miklos Szeredi 已提交
2510
		}
2511 2512 2513 2514
		if (create_error && dentry->d_inode == NULL) {
			error = create_error;
			goto out;
		}
M
Miklos Szeredi 已提交
2515 2516 2517 2518 2519 2520 2521
		goto looked_up;
	}

	/*
	 * We didn't have the inode before the open, so check open permission
	 * here.
	 */
2522 2523 2524
	error = may_open(&file->f_path, acc_mode, open_flag);
	if (error)
		fput(file);
M
Miklos Szeredi 已提交
2525 2526 2527

out:
	dput(dentry);
2528
	return error;
M
Miklos Szeredi 已提交
2529 2530 2531

no_open:
	if (need_lookup) {
2532
		dentry = lookup_real(dir, dentry, nd->flags);
M
Miklos Szeredi 已提交
2533
		if (IS_ERR(dentry))
2534
			return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2535 2536 2537 2538

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

2539
			error = create_error;
M
Miklos Szeredi 已提交
2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554
			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;
2555
	return 1;
M
Miklos Szeredi 已提交
2556 2557
}

M
Miklos Szeredi 已提交
2558
/*
2559
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2560 2561 2562
 *
 * Must be called with i_mutex held on parent.
 *
2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574
 * 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 已提交
2575
 */
2576 2577 2578
static int lookup_open(struct nameidata *nd, struct path *path,
			struct file *file,
			const struct open_flags *op,
2579
			bool got_write, int *opened)
M
Miklos Szeredi 已提交
2580 2581
{
	struct dentry *dir = nd->path.dentry;
2582
	struct inode *dir_inode = dir->d_inode;
M
Miklos Szeredi 已提交
2583 2584
	struct dentry *dentry;
	int error;
2585
	bool need_lookup;
M
Miklos Szeredi 已提交
2586

2587
	*opened &= ~FILE_CREATED;
2588
	dentry = lookup_dcache(&nd->last, dir, nd->flags, &need_lookup);
M
Miklos Szeredi 已提交
2589
	if (IS_ERR(dentry))
2590
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2591

M
Miklos Szeredi 已提交
2592 2593 2594 2595 2596
	/* 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) {
2597
		return atomic_open(nd, dentry, path, file, op, got_write,
2598
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2599 2600
	}

2601 2602 2603
	if (need_lookup) {
		BUG_ON(dentry->d_inode);

2604
		dentry = lookup_real(dir_inode, dentry, nd->flags);
2605
		if (IS_ERR(dentry))
2606
			return PTR_ERR(dentry);
2607 2608
	}

M
Miklos Szeredi 已提交
2609 2610 2611 2612 2613 2614 2615 2616 2617 2618
	/* 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
2619
		 * the 'struct file' in finish_open().
M
Miklos Szeredi 已提交
2620
		 */
2621 2622
		if (!got_write) {
			error = -EROFS;
M
Miklos Szeredi 已提交
2623
			goto out_dput;
2624
		}
2625
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2626 2627 2628
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto out_dput;
A
Al Viro 已提交
2629 2630
		error = vfs_create(dir->d_inode, dentry, mode,
				   nd->flags & LOOKUP_EXCL);
M
Miklos Szeredi 已提交
2631 2632 2633
		if (error)
			goto out_dput;
	}
M
Miklos Szeredi 已提交
2634
out_no_open:
M
Miklos Szeredi 已提交
2635 2636
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2637
	return 1;
M
Miklos Szeredi 已提交
2638 2639 2640

out_dput:
	dput(dentry);
2641
	return error;
M
Miklos Szeredi 已提交
2642 2643
}

N
Nick Piggin 已提交
2644
/*
2645
 * Handle the last step of open()
N
Nick Piggin 已提交
2646
 */
2647 2648 2649
static int do_last(struct nameidata *nd, struct path *path,
		   struct file *file, const struct open_flags *op,
		   int *opened, const char *pathname)
2650
{
2651
	struct dentry *dir = nd->path.dentry;
2652
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
2653
	bool will_truncate = (open_flag & O_TRUNC) != 0;
2654
	bool got_write = false;
A
Al Viro 已提交
2655
	int acc_mode = op->acc_mode;
2656
	struct inode *inode;
M
Miklos Szeredi 已提交
2657
	bool symlink_ok = false;
2658 2659
	struct path save_parent = { .dentry = NULL, .mnt = NULL };
	bool retried = false;
A
Al Viro 已提交
2660
	int error;
2661

2662 2663 2664
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

2665 2666
	switch (nd->last_type) {
	case LAST_DOTDOT:
2667
	case LAST_DOT:
2668 2669
		error = handle_dots(nd, nd->last_type);
		if (error)
2670
			return error;
2671 2672
		/* fallthrough */
	case LAST_ROOT:
2673
		error = complete_walk(nd);
A
Al Viro 已提交
2674
		if (error)
2675
			return error;
2676
		audit_inode(pathname, nd->path.dentry, 0);
2677
		if (open_flag & O_CREAT) {
2678
			error = -EISDIR;
2679
			goto out;
2680
		}
M
Miklos Szeredi 已提交
2681
		goto finish_open;
2682
	case LAST_BIND:
2683
		error = complete_walk(nd);
A
Al Viro 已提交
2684
		if (error)
2685
			return error;
2686
		audit_inode(pathname, dir, 0);
M
Miklos Szeredi 已提交
2687
		goto finish_open;
2688
	}
2689

2690
	if (!(open_flag & O_CREAT)) {
2691 2692
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
A
Al Viro 已提交
2693
		if (open_flag & O_PATH && !(nd->flags & LOOKUP_FOLLOW))
M
Miklos Szeredi 已提交
2694
			symlink_ok = true;
2695
		/* we _can_ be in RCU mode here */
2696
		error = lookup_fast(nd, &nd->last, path, &inode);
2697 2698 2699 2700
		if (likely(!error))
			goto finish_lookup;

		if (error < 0)
2701
			goto out;
2702 2703

		BUG_ON(nd->inode != dir->d_inode);
2704 2705 2706 2707 2708 2709 2710 2711 2712
	} 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)
2713
			return error;
2714

2715
		audit_inode(pathname, dir, 0);
2716 2717 2718
		error = -EISDIR;
		/* trailing slashes? */
		if (nd->last.name[nd->last.len])
2719
			goto out;
2720
	}
A
Al Viro 已提交
2721

2722
retry_lookup:
2723 2724 2725 2726 2727 2728 2729 2730 2731 2732
	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.
		 */
	}
2733
	mutex_lock(&dir->d_inode->i_mutex);
2734
	error = lookup_open(nd, path, file, op, got_write, opened);
M
Miklos Szeredi 已提交
2735
	mutex_unlock(&dir->d_inode->i_mutex);
2736

2737 2738
	if (error <= 0) {
		if (error)
M
Miklos Szeredi 已提交
2739 2740
			goto out;

2741
		if ((*opened & FILE_CREATED) ||
2742
		    !S_ISREG(file->f_path.dentry->d_inode->i_mode))
M
Miklos Szeredi 已提交
2743
			will_truncate = false;
M
Miklos Szeredi 已提交
2744

2745
		audit_inode(pathname, file->f_path.dentry, 0);
M
Miklos Szeredi 已提交
2746 2747
		goto opened;
	}
2748

2749
	if (*opened & FILE_CREATED) {
2750
		/* Don't check for write permission, don't truncate */
2751
		open_flag &= ~O_TRUNC;
M
Miklos Szeredi 已提交
2752
		will_truncate = false;
A
Al Viro 已提交
2753
		acc_mode = MAY_OPEN;
M
Miklos Szeredi 已提交
2754
		path_to_nameidata(path, nd);
M
Miklos Szeredi 已提交
2755
		goto finish_open_created;
2756 2757 2758
	}

	/*
2759
	 * create/update audit record if it already exists.
2760
	 */
2761
	if (path->dentry->d_inode)
2762
		audit_inode(pathname, path->dentry, 0);
2763

M
Miklos Szeredi 已提交
2764 2765 2766 2767 2768
	/*
	 * If atomic_open() acquired write access it is dropped now due to
	 * possible mount and symlink following (this might be optimized away if
	 * necessary...)
	 */
2769
	if (got_write) {
M
Miklos Szeredi 已提交
2770
		mnt_drop_write(nd->path.mnt);
2771
		got_write = false;
M
Miklos Szeredi 已提交
2772 2773
	}

2774
	error = -EEXIST;
A
Al Viro 已提交
2775
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))
2776 2777
		goto exit_dput;

2778 2779 2780
	error = follow_managed(path, nd->flags);
	if (error < 0)
		goto exit_dput;
2781

2782 2783 2784
	if (error)
		nd->flags |= LOOKUP_JUMPED;

2785 2786
	BUG_ON(nd->flags & LOOKUP_RCU);
	inode = path->dentry->d_inode;
2787 2788
finish_lookup:
	/* we _can_ be in RCU mode here */
2789
	error = -ENOENT;
2790 2791
	if (!inode) {
		path_to_nameidata(path, nd);
2792
		goto out;
2793
	}
A
Al Viro 已提交
2794

2795 2796 2797 2798
	if (should_follow_link(inode, !symlink_ok)) {
		if (nd->flags & LOOKUP_RCU) {
			if (unlikely(unlazy_walk(nd, path->dentry))) {
				error = -ECHILD;
2799
				goto out;
2800 2801 2802
			}
		}
		BUG_ON(inode != path->dentry->d_inode);
2803
		return 1;
2804
	}
2805

2806 2807 2808 2809 2810 2811 2812 2813
	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;

	}
2814
	nd->inode = inode;
2815 2816
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
	error = complete_walk(nd);
2817 2818
	if (error) {
		path_put(&save_parent);
2819
		return error;
2820
	}
2821
	error = -EISDIR;
2822
	if ((open_flag & O_CREAT) && S_ISDIR(nd->inode->i_mode))
2823
		goto out;
2824 2825
	error = -ENOTDIR;
	if ((nd->flags & LOOKUP_DIRECTORY) && !nd->inode->i_op->lookup)
2826
		goto out;
2827
	audit_inode(pathname, nd->path.dentry, 0);
M
Miklos Szeredi 已提交
2828
finish_open:
2829
	if (!S_ISREG(nd->inode->i_mode))
M
Miklos Szeredi 已提交
2830
		will_truncate = false;
2831

2832 2833 2834
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
2835
			goto out;
2836
		got_write = true;
2837
	}
M
Miklos Szeredi 已提交
2838
finish_open_created:
A
Al Viro 已提交
2839
	error = may_open(&nd->path, acc_mode, open_flag);
2840
	if (error)
2841
		goto out;
A
Al Viro 已提交
2842 2843 2844 2845
	file->f_path.mnt = nd->path.mnt;
	error = finish_open(file, nd->path.dentry, NULL, opened);
	if (error) {
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
2846
			goto stale_open;
2847
		goto out;
M
Miklos Szeredi 已提交
2848
	}
2849
opened:
2850
	error = open_check_o_direct(file);
2851 2852
	if (error)
		goto exit_fput;
2853
	error = ima_file_check(file, op->acc_mode);
2854 2855 2856 2857
	if (error)
		goto exit_fput;

	if (will_truncate) {
2858
		error = handle_truncate(file);
2859 2860
		if (error)
			goto exit_fput;
2861
	}
2862
out:
2863
	if (got_write)
2864
		mnt_drop_write(nd->path.mnt);
2865
	path_put(&save_parent);
2866
	terminate_walk(nd);
2867
	return error;
2868 2869 2870

exit_dput:
	path_put_conditional(path, nd);
2871
	goto out;
2872
exit_fput:
2873 2874
	fput(file);
	goto out;
2875

M
Miklos Szeredi 已提交
2876 2877 2878 2879 2880 2881 2882 2883 2884 2885 2886
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;
2887
	if (got_write) {
M
Miklos Szeredi 已提交
2888
		mnt_drop_write(nd->path.mnt);
2889
		got_write = false;
M
Miklos Szeredi 已提交
2890 2891 2892
	}
	retried = true;
	goto retry_lookup;
2893 2894
}

2895
static struct file *path_openat(int dfd, const char *pathname,
A
Al Viro 已提交
2896
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
2897
{
2898
	struct file *base = NULL;
A
Al Viro 已提交
2899
	struct file *file;
2900
	struct path path;
2901
	int opened = 0;
2902
	int error;
N
Nick Piggin 已提交
2903

A
Al Viro 已提交
2904 2905
	file = get_empty_filp();
	if (!file)
N
Nick Piggin 已提交
2906 2907
		return ERR_PTR(-ENFILE);

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

A
Al Viro 已提交
2910
	error = path_init(dfd, pathname, flags | LOOKUP_PARENT, nd, &base);
N
Nick Piggin 已提交
2911
	if (unlikely(error))
2912
		goto out;
N
Nick Piggin 已提交
2913

2914
	current->total_link_count = 0;
A
Al Viro 已提交
2915
	error = link_path_walk(pathname, nd);
N
Nick Piggin 已提交
2916
	if (unlikely(error))
2917
		goto out;
L
Linus Torvalds 已提交
2918

2919 2920
	error = do_last(nd, &path, file, op, &opened, pathname);
	while (unlikely(error > 0)) { /* trailing symlink */
2921
		struct path link = path;
A
Al Viro 已提交
2922
		void *cookie;
2923
		if (!(nd->flags & LOOKUP_FOLLOW)) {
A
Al Viro 已提交
2924 2925
			path_put_conditional(&path, nd);
			path_put(&nd->path);
2926
			error = -ELOOP;
2927 2928
			break;
		}
K
Kees Cook 已提交
2929 2930 2931
		error = may_follow_link(&link, nd);
		if (unlikely(error))
			break;
A
Al Viro 已提交
2932 2933
		nd->flags |= LOOKUP_PARENT;
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
2934
		error = follow_link(&link, nd, &cookie);
2935
		if (unlikely(error))
2936 2937
			break;
		error = do_last(nd, &path, file, op, &opened, pathname);
2938
		put_link(nd, &link, cookie);
2939
	}
A
Al Viro 已提交
2940
out:
A
Al Viro 已提交
2941 2942
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT))
		path_put(&nd->root);
2943 2944
	if (base)
		fput(base);
2945 2946
	if (!(opened & FILE_OPENED)) {
		BUG_ON(!error);
A
Al Viro 已提交
2947
		put_filp(file);
2948
	}
2949 2950 2951 2952 2953 2954 2955 2956 2957 2958
	if (unlikely(error)) {
		if (error == -EOPENSTALE) {
			if (flags & LOOKUP_RCU)
				error = -ECHILD;
			else
				error = -ESTALE;
		}
		file = ERR_PTR(error);
	}
	return file;
L
Linus Torvalds 已提交
2959 2960
}

2961 2962 2963
struct file *do_filp_open(int dfd, const char *pathname,
		const struct open_flags *op, int flags)
{
A
Al Viro 已提交
2964
	struct nameidata nd;
2965 2966
	struct file *filp;

A
Al Viro 已提交
2967
	filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_RCU);
2968
	if (unlikely(filp == ERR_PTR(-ECHILD)))
A
Al Viro 已提交
2969
		filp = path_openat(dfd, pathname, &nd, op, flags);
2970
	if (unlikely(filp == ERR_PTR(-ESTALE)))
A
Al Viro 已提交
2971
		filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_REVAL);
2972 2973 2974
	return filp;
}

A
Al Viro 已提交
2975 2976 2977 2978 2979 2980 2981 2982 2983 2984 2985
struct file *do_file_open_root(struct dentry *dentry, struct vfsmount *mnt,
		const char *name, const struct open_flags *op, int flags)
{
	struct nameidata nd;
	struct file *file;

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

	flags |= LOOKUP_ROOT;

A
Al Viro 已提交
2986
	if (dentry->d_inode->i_op->follow_link && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
2987 2988 2989 2990 2991 2992 2993 2994 2995 2996
		return ERR_PTR(-ELOOP);

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

A
Al Viro 已提交
2997
struct dentry *kern_path_create(int dfd, const char *pathname, struct path *path, int is_dir)
L
Linus Torvalds 已提交
2998
{
2999
	struct dentry *dentry = ERR_PTR(-EEXIST);
A
Al Viro 已提交
3000
	struct nameidata nd;
3001
	int err2;
A
Al Viro 已提交
3002 3003 3004
	int error = do_path_lookup(dfd, pathname, LOOKUP_PARENT, &nd);
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
3005

3006 3007 3008 3009
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
A
Al Viro 已提交
3010 3011 3012 3013
	if (nd.last_type != LAST_NORM)
		goto out;
	nd.flags &= ~LOOKUP_PARENT;
	nd.flags |= LOOKUP_CREATE | LOOKUP_EXCL;
3014

3015 3016
	/* don't fail immediately if it's r/o, at least try to report other errors */
	err2 = mnt_want_write(nd.path.mnt);
3017 3018 3019
	/*
	 * Do the final lookup.
	 */
A
Al Viro 已提交
3020 3021
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
3022
	if (IS_ERR(dentry))
3023
		goto unlock;
3024

3025
	error = -EEXIST;
3026
	if (dentry->d_inode)
3027
		goto fail;
3028 3029 3030 3031 3032 3033
	/*
	 * 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 已提交
3034
	if (unlikely(!is_dir && nd.last.name[nd.last.len])) {
3035
		error = -ENOENT;
A
Al Viro 已提交
3036
		goto fail;
3037
	}
3038 3039
	if (unlikely(err2)) {
		error = err2;
3040
		goto fail;
3041
	}
A
Al Viro 已提交
3042
	*path = nd.path;
L
Linus Torvalds 已提交
3043 3044
	return dentry;
fail:
3045 3046 3047
	dput(dentry);
	dentry = ERR_PTR(error);
unlock:
A
Al Viro 已提交
3048
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
3049 3050
	if (!err2)
		mnt_drop_write(nd.path.mnt);
A
Al Viro 已提交
3051 3052
out:
	path_put(&nd.path);
L
Linus Torvalds 已提交
3053 3054
	return dentry;
}
3055 3056
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3057 3058 3059 3060
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3061
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3062 3063 3064 3065
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

3066 3067
struct dentry *user_path_create(int dfd, const char __user *pathname, struct path *path, int is_dir)
{
3068
	struct filename *tmp = getname(pathname);
3069 3070 3071
	struct dentry *res;
	if (IS_ERR(tmp))
		return ERR_CAST(tmp);
3072
	res = kern_path_create(dfd, tmp->name, path, is_dir);
3073 3074 3075 3076 3077
	putname(tmp);
	return res;
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3078
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3079
{
3080
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3081 3082 3083 3084

	if (error)
		return error;

3085
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3086 3087
		return -EPERM;

A
Al Viro 已提交
3088
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3089 3090
		return -EPERM;

3091 3092 3093 3094
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3095 3096 3097 3098 3099
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3100
	if (!error)
3101
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3102 3103 3104
	return error;
}

A
Al Viro 已提交
3105
static int may_mknod(umode_t mode)
3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3118 3119 3120 3121
{
	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 已提交
3122
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
3123
		unsigned, dev)
L
Linus Torvalds 已提交
3124
{
3125
	struct dentry *dentry;
3126 3127
	struct path path;
	int error;
L
Linus Torvalds 已提交
3128

3129 3130 3131
	error = may_mknod(mode);
	if (error)
		return error;
L
Linus Torvalds 已提交
3132

3133 3134 3135
	dentry = user_path_create(dfd, filename, &path, 0);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3136

3137
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3138
		mode &= ~current_umask();
3139
	error = security_path_mknod(&path, dentry, mode, dev);
3140
	if (error)
3141
		goto out;
3142
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3143
		case 0: case S_IFREG:
A
Al Viro 已提交
3144
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
L
Linus Torvalds 已提交
3145 3146
			break;
		case S_IFCHR: case S_IFBLK:
3147
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3148 3149 3150
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3151
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3152 3153
			break;
	}
3154
out:
A
Al Viro 已提交
3155
	done_path_create(&path, dentry);
L
Linus Torvalds 已提交
3156 3157 3158
	return error;
}

A
Al Viro 已提交
3159
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3160 3161 3162 3163
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

3164
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3165
{
3166
	int error = may_create(dir, dentry);
3167
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3168 3169 3170 3171

	if (error)
		return error;

A
Al Viro 已提交
3172
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3173 3174 3175 3176 3177 3178 3179
		return -EPERM;

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

3180 3181 3182
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3183
	error = dir->i_op->mkdir(dir, dentry, mode);
3184
	if (!error)
3185
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3186 3187 3188
	return error;
}

3189
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
3190
{
3191
	struct dentry *dentry;
3192 3193
	struct path path;
	int error;
L
Linus Torvalds 已提交
3194

3195
	dentry = user_path_create(dfd, pathname, &path, 1);
3196
	if (IS_ERR(dentry))
3197
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3198

3199
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3200
		mode &= ~current_umask();
3201
	error = security_path_mkdir(&path, dentry, mode);
3202 3203
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3204
	done_path_create(&path, dentry);
L
Linus Torvalds 已提交
3205 3206 3207
	return error;
}

3208
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3209 3210 3211 3212
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
3213
/*
S
Sage Weil 已提交
3214
 * The dentry_unhash() helper will try to drop the dentry early: we
3215
 * should have a usage count of 1 if we're the only user of this
S
Sage Weil 已提交
3216 3217
 * dentry, and if that is true (possibly after pruning the dcache),
 * then we drop the dentry now.
L
Linus Torvalds 已提交
3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229
 *
 * 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)
{
3230
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
3231
	spin_lock(&dentry->d_lock);
3232
	if (dentry->d_count == 1)
L
Linus Torvalds 已提交
3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243
		__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 已提交
3244
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3245 3246
		return -EPERM;

3247
	dget(dentry);
3248
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3249 3250

	error = -EBUSY;
L
Linus Torvalds 已提交
3251
	if (d_mountpoint(dentry))
S
Sage Weil 已提交
3252 3253 3254 3255 3256 3257
		goto out;

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

3258
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3259 3260 3261 3262 3263 3264 3265 3266
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

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

out:
3267
	mutex_unlock(&dentry->d_inode->i_mutex);
3268
	dput(dentry);
S
Sage Weil 已提交
3269
	if (!error)
L
Linus Torvalds 已提交
3270 3271 3272 3273
		d_delete(dentry);
	return error;
}

3274
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3275 3276
{
	int error = 0;
3277
	struct filename *name;
L
Linus Torvalds 已提交
3278 3279 3280
	struct dentry *dentry;
	struct nameidata nd;

3281 3282 3283
	name = user_path_parent(dfd, pathname, &nd);
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3284 3285

	switch(nd.last_type) {
3286 3287 3288 3289 3290 3291 3292 3293 3294
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3295
	}
3296 3297

	nd.flags &= ~LOOKUP_PARENT;
3298 3299 3300
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto exit1;
3301

3302
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
3303
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
3304
	error = PTR_ERR(dentry);
3305 3306
	if (IS_ERR(dentry))
		goto exit2;
3307 3308 3309 3310
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3311 3312
	error = security_path_rmdir(&nd.path, dentry);
	if (error)
3313
		goto exit3;
3314
	error = vfs_rmdir(nd.path.dentry->d_inode, dentry);
3315
exit3:
3316 3317
	dput(dentry);
exit2:
3318
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
3319
	mnt_drop_write(nd.path.mnt);
L
Linus Torvalds 已提交
3320
exit1:
J
Jan Blunck 已提交
3321
	path_put(&nd.path);
L
Linus Torvalds 已提交
3322 3323 3324 3325
	putname(name);
	return error;
}

3326
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3327 3328 3329 3330
{
	return do_rmdir(AT_FDCWD, pathname);
}

L
Linus Torvalds 已提交
3331 3332 3333 3334 3335 3336 3337
int vfs_unlink(struct inode *dir, struct dentry *dentry)
{
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3338
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3339 3340
		return -EPERM;

3341
	mutex_lock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3342 3343 3344 3345
	if (d_mountpoint(dentry))
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3346
		if (!error) {
L
Linus Torvalds 已提交
3347
			error = dir->i_op->unlink(dir, dentry);
3348
			if (!error)
3349
				dont_mount(dentry);
3350
		}
L
Linus Torvalds 已提交
3351
	}
3352
	mutex_unlock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3353 3354 3355

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

L
Linus Torvalds 已提交
3360 3361 3362 3363 3364
	return error;
}

/*
 * Make sure that the actual truncation of the file will occur outside its
3365
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3366 3367 3368
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3369
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3370
{
3371
	int error;
3372
	struct filename *name;
L
Linus Torvalds 已提交
3373 3374 3375 3376
	struct dentry *dentry;
	struct nameidata nd;
	struct inode *inode = NULL;

3377 3378 3379
	name = user_path_parent(dfd, pathname, &nd);
	if (IS_ERR(name))
		return PTR_ERR(name);
3380

L
Linus Torvalds 已提交
3381 3382 3383
	error = -EISDIR;
	if (nd.last_type != LAST_NORM)
		goto exit1;
3384 3385

	nd.flags &= ~LOOKUP_PARENT;
3386 3387 3388
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto exit1;
3389

3390
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
3391
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
3392 3393 3394
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
3395 3396
		if (nd.last.name[nd.last.len])
			goto slashes;
L
Linus Torvalds 已提交
3397
		inode = dentry->d_inode;
3398
		if (!inode)
3399 3400
			goto slashes;
		ihold(inode);
3401 3402
		error = security_path_unlink(&nd.path, dentry);
		if (error)
3403
			goto exit2;
3404
		error = vfs_unlink(nd.path.dentry->d_inode, dentry);
3405
exit2:
L
Linus Torvalds 已提交
3406 3407
		dput(dentry);
	}
3408
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3409 3410
	if (inode)
		iput(inode);	/* truncate the inode here */
3411
	mnt_drop_write(nd.path.mnt);
L
Linus Torvalds 已提交
3412
exit1:
J
Jan Blunck 已提交
3413
	path_put(&nd.path);
L
Linus Torvalds 已提交
3414 3415 3416 3417 3418 3419 3420 3421 3422
	putname(name);
	return error;

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

3423
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3424 3425 3426 3427 3428 3429 3430 3431 3432 3433
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

3434
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3435 3436 3437 3438
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3439
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3440
{
3441
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3442 3443 3444 3445

	if (error)
		return error;

A
Al Viro 已提交
3446
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3447 3448 3449 3450 3451 3452 3453
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3454
	if (!error)
3455
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3456 3457 3458
	return error;
}

3459 3460
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3461
{
3462
	int error;
3463
	struct filename *from;
3464
	struct dentry *dentry;
3465
	struct path path;
L
Linus Torvalds 已提交
3466 3467

	from = getname(oldname);
3468
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3469 3470
		return PTR_ERR(from);

3471
	dentry = user_path_create(newdfd, newname, &path, 0);
3472 3473
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3474
		goto out_putname;
3475

3476
	error = security_path_symlink(&path, dentry, from->name);
3477
	if (!error)
3478
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
3479
	done_path_create(&path, dentry);
3480
out_putname:
L
Linus Torvalds 已提交
3481 3482 3483 3484
	putname(from);
	return error;
}

3485
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3486 3487 3488 3489
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

L
Linus Torvalds 已提交
3490 3491 3492
int vfs_link(struct dentry *old_dentry, struct inode *dir, struct dentry *new_dentry)
{
	struct inode *inode = old_dentry->d_inode;
3493
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3494 3495 3496 3497 3498
	int error;

	if (!inode)
		return -ENOENT;

3499
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
3500 3501 3502 3503 3504 3505 3506 3507 3508 3509 3510
	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 已提交
3511
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
3512
		return -EPERM;
3513
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
3514 3515 3516 3517 3518 3519
		return -EPERM;

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

3520
	mutex_lock(&inode->i_mutex);
3521 3522 3523
	/* Make sure we don't allow creating hardlink to an unlinked file */
	if (inode->i_nlink == 0)
		error =  -ENOENT;
3524 3525
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
3526 3527
	else
		error = dir->i_op->link(old_dentry, dir, new_dentry);
3528
	mutex_unlock(&inode->i_mutex);
3529
	if (!error)
3530
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
3531 3532 3533 3534 3535 3536 3537 3538 3539 3540 3541 3542
	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
 */
3543 3544
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
3545 3546
{
	struct dentry *new_dentry;
3547
	struct path old_path, new_path;
3548
	int how = 0;
L
Linus Torvalds 已提交
3549 3550
	int error;

3551
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
3552
		return -EINVAL;
3553 3554 3555 3556 3557 3558 3559 3560 3561 3562 3563 3564 3565
	/*
	 * 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;
3566

3567
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
3568
	if (error)
3569 3570
		return error;

3571
	new_dentry = user_path_create(newdfd, newname, &new_path, 0);
L
Linus Torvalds 已提交
3572
	error = PTR_ERR(new_dentry);
3573
	if (IS_ERR(new_dentry))
3574 3575 3576 3577 3578
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
3579 3580 3581
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
3582
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
3583
	if (error)
3584
		goto out_dput;
3585
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry);
3586
out_dput:
A
Al Viro 已提交
3587
	done_path_create(&new_path, new_dentry);
L
Linus Torvalds 已提交
3588
out:
3589
	path_put(&old_path);
L
Linus Torvalds 已提交
3590 3591 3592 3593

	return error;
}

3594
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
3595
{
3596
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
3597 3598
}

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

	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
	if (new_dir != old_dir) {
3638
		error = inode_permission(old_dentry->d_inode, MAY_WRITE);
L
Linus Torvalds 已提交
3639 3640 3641 3642 3643 3644 3645 3646
		if (error)
			return error;
	}

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

3647
	dget(new_dentry);
3648
	if (target)
3649
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
3650 3651 3652 3653 3654

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

3655 3656 3657 3658 3659
	error = -EMLINK;
	if (max_links && !target && new_dir != old_dir &&
	    new_dir->i_nlink >= max_links)
		goto out;

3660 3661
	if (target)
		shrink_dcache_parent(new_dentry);
S
Sage Weil 已提交
3662 3663 3664 3665
	error = old_dir->i_op->rename(old_dir, old_dentry, new_dir, new_dentry);
	if (error)
		goto out;

L
Linus Torvalds 已提交
3666
	if (target) {
S
Sage Weil 已提交
3667 3668
		target->i_flags |= S_DEAD;
		dont_mount(new_dentry);
L
Linus Torvalds 已提交
3669
	}
S
Sage Weil 已提交
3670 3671 3672
out:
	if (target)
		mutex_unlock(&target->i_mutex);
3673
	dput(new_dentry);
3674
	if (!error)
3675 3676
		if (!(old_dir->i_sb->s_type->fs_flags & FS_RENAME_DOES_D_MOVE))
			d_move(old_dentry,new_dentry);
L
Linus Torvalds 已提交
3677 3678 3679
	return error;
}

A
Adrian Bunk 已提交
3680 3681
static int vfs_rename_other(struct inode *old_dir, struct dentry *old_dentry,
			    struct inode *new_dir, struct dentry *new_dentry)
L
Linus Torvalds 已提交
3682
{
S
Sage Weil 已提交
3683
	struct inode *target = new_dentry->d_inode;
L
Linus Torvalds 已提交
3684 3685 3686 3687 3688 3689 3690 3691
	int error;

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

	dget(new_dentry);
	if (target)
3692
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
3693 3694

	error = -EBUSY;
L
Linus Torvalds 已提交
3695
	if (d_mountpoint(old_dentry)||d_mountpoint(new_dentry))
S
Sage Weil 已提交
3696 3697 3698 3699 3700 3701 3702 3703 3704 3705 3706
		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 已提交
3707
	if (target)
3708
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3709 3710 3711 3712 3713 3714 3715 3716 3717
	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);
3718
	const unsigned char *old_name;
L
Linus Torvalds 已提交
3719 3720 3721 3722 3723 3724 3725 3726 3727

	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)
3728
		error = may_create(new_dir, new_dentry);
L
Linus Torvalds 已提交
3729 3730 3731 3732 3733
	else
		error = may_delete(new_dir, new_dentry, is_dir);
	if (error)
		return error;

A
Al Viro 已提交
3734
	if (!old_dir->i_op->rename)
L
Linus Torvalds 已提交
3735 3736
		return -EPERM;

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

L
Linus Torvalds 已提交
3739 3740 3741 3742
	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);
3743 3744
	if (!error)
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
3745
			      new_dentry->d_inode, old_dentry);
R
Robert Love 已提交
3746 3747
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
3748 3749 3750
	return error;
}

3751 3752
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3753
{
3754 3755 3756
	struct dentry *old_dir, *new_dir;
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
L
Linus Torvalds 已提交
3757
	struct nameidata oldnd, newnd;
3758 3759
	struct filename *from;
	struct filename *to;
3760
	int error;
L
Linus Torvalds 已提交
3761

3762 3763 3764
	from = user_path_parent(olddfd, oldname, &oldnd);
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
3765
		goto exit;
3766
	}
L
Linus Torvalds 已提交
3767

3768 3769 3770
	to = user_path_parent(newdfd, newname, &newnd);
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
3771
		goto exit1;
3772
	}
L
Linus Torvalds 已提交
3773 3774

	error = -EXDEV;
3775
	if (oldnd.path.mnt != newnd.path.mnt)
L
Linus Torvalds 已提交
3776 3777
		goto exit2;

3778
	old_dir = oldnd.path.dentry;
L
Linus Torvalds 已提交
3779 3780 3781 3782
	error = -EBUSY;
	if (oldnd.last_type != LAST_NORM)
		goto exit2;

3783
	new_dir = newnd.path.dentry;
L
Linus Torvalds 已提交
3784 3785 3786
	if (newnd.last_type != LAST_NORM)
		goto exit2;

3787 3788 3789 3790
	error = mnt_want_write(oldnd.path.mnt);
	if (error)
		goto exit2;

3791 3792
	oldnd.flags &= ~LOOKUP_PARENT;
	newnd.flags &= ~LOOKUP_PARENT;
3793
	newnd.flags |= LOOKUP_RENAME_TARGET;
3794

L
Linus Torvalds 已提交
3795 3796
	trap = lock_rename(new_dir, old_dir);

3797
	old_dentry = lookup_hash(&oldnd);
L
Linus Torvalds 已提交
3798 3799 3800 3801 3802 3803 3804 3805 3806 3807 3808 3809 3810 3811 3812 3813 3814 3815 3816
	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;
3817
	new_dentry = lookup_hash(&newnd);
L
Linus Torvalds 已提交
3818 3819 3820 3821 3822 3823 3824 3825
	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;

3826 3827 3828
	error = security_path_rename(&oldnd.path, old_dentry,
				     &newnd.path, new_dentry);
	if (error)
3829
		goto exit5;
L
Linus Torvalds 已提交
3830 3831 3832 3833 3834 3835 3836 3837
	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);
3838
	mnt_drop_write(oldnd.path.mnt);
L
Linus Torvalds 已提交
3839
exit2:
J
Jan Blunck 已提交
3840
	path_put(&newnd.path);
3841
	putname(to);
L
Linus Torvalds 已提交
3842
exit1:
J
Jan Blunck 已提交
3843
	path_put(&oldnd.path);
L
Linus Torvalds 已提交
3844
	putname(from);
3845
exit:
L
Linus Torvalds 已提交
3846 3847 3848
	return error;
}

3849
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
3850 3851 3852 3853
{
	return sys_renameat(AT_FDCWD, oldname, AT_FDCWD, newname);
}

L
Linus Torvalds 已提交
3854 3855 3856 3857 3858 3859 3860 3861 3862 3863 3864 3865 3866 3867 3868 3869 3870 3871 3872 3873 3874 3875 3876 3877 3878
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;
3879
	void *cookie;
3880
	int res;
3881

L
Linus Torvalds 已提交
3882
	nd.depth = 0;
3883
	cookie = dentry->d_inode->i_op->follow_link(dentry, &nd);
3884 3885 3886 3887 3888 3889 3890
	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 已提交
3891 3892 3893 3894 3895 3896 3897 3898 3899 3900
}

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)
{
3901 3902
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
3903
	struct address_space *mapping = dentry->d_inode->i_mapping;
3904
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
3905
	if (IS_ERR(page))
3906
		return (char*)page;
L
Linus Torvalds 已提交
3907
	*ppage = page;
3908 3909 3910
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
3911 3912 3913 3914 3915 3916 3917 3918 3919 3920 3921 3922 3923 3924
}

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

3925
void *page_follow_link_light(struct dentry *dentry, struct nameidata *nd)
L
Linus Torvalds 已提交
3926
{
3927
	struct page *page = NULL;
L
Linus Torvalds 已提交
3928
	nd_set_link(nd, page_getlink(dentry, &page));
3929
	return page;
L
Linus Torvalds 已提交
3930 3931
}

3932
void page_put_link(struct dentry *dentry, struct nameidata *nd, void *cookie)
L
Linus Torvalds 已提交
3933
{
3934 3935 3936
	struct page *page = cookie;

	if (page) {
L
Linus Torvalds 已提交
3937 3938 3939 3940 3941
		kunmap(page);
		page_cache_release(page);
	}
}

3942 3943 3944 3945
/*
 * 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 已提交
3946 3947
{
	struct address_space *mapping = inode->i_mapping;
3948
	struct page *page;
3949
	void *fsdata;
3950
	int err;
L
Linus Torvalds 已提交
3951
	char *kaddr;
3952 3953 3954
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
3955

3956
retry:
3957
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
3958
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
3959
	if (err)
3960 3961
		goto fail;

3962
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
3963
	memcpy(kaddr, symname, len-1);
3964
	kunmap_atomic(kaddr);
3965 3966 3967

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
3968 3969
	if (err < 0)
		goto fail;
3970 3971 3972
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
3973 3974 3975 3976 3977 3978
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}

3979 3980 3981
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
3982
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
3983 3984
}

3985
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
3986 3987 3988 3989 3990
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};

3991
EXPORT_SYMBOL(user_path_at);
3992
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
3993 3994
EXPORT_SYMBOL(follow_down);
EXPORT_SYMBOL(follow_up);
A
Al Viro 已提交
3995
EXPORT_SYMBOL(get_write_access); /* nfsd */
L
Linus Torvalds 已提交
3996 3997 3998 3999 4000
EXPORT_SYMBOL(lock_rename);
EXPORT_SYMBOL(lookup_one_len);
EXPORT_SYMBOL(page_follow_link_light);
EXPORT_SYMBOL(page_put_link);
EXPORT_SYMBOL(page_readlink);
4001
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4002 4003
EXPORT_SYMBOL(page_symlink);
EXPORT_SYMBOL(page_symlink_inode_operations);
A
Al Viro 已提交
4004
EXPORT_SYMBOL(kern_path);
4005
EXPORT_SYMBOL(vfs_path_lookup);
4006
EXPORT_SYMBOL(inode_permission);
L
Linus Torvalds 已提交
4007 4008 4009 4010 4011 4012 4013 4014 4015 4016 4017 4018 4019 4020
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);