namei.c 84.4 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>
L
Linus Torvalds 已提交
19 20 21 22
#include <linux/slab.h>
#include <linux/fs.h>
#include <linux/namei.h>
#include <linux/pagemap.h>
R
Robert Love 已提交
23
#include <linux/fsnotify.h>
L
Linus Torvalds 已提交
24 25
#include <linux/personality.h>
#include <linux/security.h>
M
Mimi Zohar 已提交
26
#include <linux/ima.h>
L
Linus Torvalds 已提交
27 28 29
#include <linux/syscalls.h>
#include <linux/mount.h>
#include <linux/audit.h>
30
#include <linux/capability.h>
31
#include <linux/file.h>
32
#include <linux/fcntl.h>
33
#include <linux/device_cgroup.h>
34
#include <linux/fs_struct.h>
35
#include <linux/posix_acl.h>
L
Linus Torvalds 已提交
36 37
#include <asm/uaccess.h>

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

L
Linus Torvalds 已提交
41 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
/* [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 已提交
75
 * the name is a symlink pointing to a non-existent name.
L
Linus Torvalds 已提交
76 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
 *
 * 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)
108
 * implemented.  Let's see if raised priority of ->s_vfs_rename_mutex gives
L
Linus Torvalds 已提交
109 110 111 112 113 114 115 116 117 118
 * 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.
 */
119
static char *getname_flags(const char __user *filename, int flags, int *empty)
L
Linus Torvalds 已提交
120
{
121 122
	char *result = __getname(), *err;
	int len;
123

124
	if (unlikely(!result))
125 126
		return ERR_PTR(-ENOMEM);

127 128 129 130 131 132 133 134
	len = strncpy_from_user(result, filename, PATH_MAX);
	err = ERR_PTR(len);
	if (unlikely(len < 0))
		goto error;

	/* The empty path is special. */
	if (unlikely(!len)) {
		if (empty)
135
			*empty = 1;
136 137 138
		err = ERR_PTR(-ENOENT);
		if (!(flags & LOOKUP_EMPTY))
			goto error;
L
Linus Torvalds 已提交
139
	}
140 141 142 143 144 145 146 147 148 149

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

error:
	__putname(result);
	return err;
L
Linus Torvalds 已提交
150 151
}

A
Al Viro 已提交
152 153
char *getname(const char __user * filename)
{
154
	return getname_flags(filename, 0, NULL);
A
Al Viro 已提交
155 156
}

L
Linus Torvalds 已提交
157 158 159
#ifdef CONFIG_AUDITSYSCALL
void putname(const char *name)
{
160
	if (unlikely(!audit_dummy_context()))
L
Linus Torvalds 已提交
161 162 163 164 165 166 167
		audit_putname(name);
	else
		__putname(name);
}
EXPORT_SYMBOL(putname);
#endif

168 169
static int check_acl(struct inode *inode, int mask)
{
170
#ifdef CONFIG_FS_POSIX_ACL
171 172 173
	struct posix_acl *acl;

	if (mask & MAY_NOT_BLOCK) {
174 175
		acl = get_cached_acl_rcu(inode, ACL_TYPE_ACCESS);
	        if (!acl)
176
	                return -EAGAIN;
177 178 179
		/* no ->get_acl() calls in RCU mode... */
		if (acl == ACL_NOT_CACHED)
			return -ECHILD;
A
Ari Savolainen 已提交
180
	        return posix_acl_permission(inode, acl, mask & ~MAY_NOT_BLOCK);
181 182 183 184 185
	}

	acl = get_cached_acl(inode, ACL_TYPE_ACCESS);

	/*
186 187 188
	 * 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.
189
	 *
190 191
	 * If the filesystem doesn't have a get_acl() function at all, we'll
	 * just create the negative cache entry.
192 193
	 */
	if (acl == ACL_NOT_CACHED) {
194 195 196 197 198 199 200 201
	        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;
		}
202 203 204 205 206 207 208
	}

	if (acl) {
	        int error = posix_acl_permission(inode, acl, mask);
	        posix_acl_release(acl);
	        return error;
	}
209
#endif
210 211 212 213

	return -EAGAIN;
}

214
/*
215
 * This does the basic permission checking
L
Linus Torvalds 已提交
216
 */
217
static int acl_permission_check(struct inode *inode, int mask)
L
Linus Torvalds 已提交
218
{
219
	unsigned int mode = inode->i_mode;
L
Linus Torvalds 已提交
220

221 222 223
	if (current_user_ns() != inode_userns(inode))
		goto other_perms;

224
	if (likely(current_fsuid() == inode->i_uid))
L
Linus Torvalds 已提交
225 226
		mode >>= 6;
	else {
227
		if (IS_POSIXACL(inode) && (mode & S_IRWXG)) {
228
			int error = check_acl(inode, mask);
229 230
			if (error != -EAGAIN)
				return error;
L
Linus Torvalds 已提交
231 232 233 234 235 236
		}

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

237
other_perms:
L
Linus Torvalds 已提交
238 239 240
	/*
	 * If the DACs are ok we don't need any capability check.
	 */
241
	if ((mask & ~mode & (MAY_READ | MAY_WRITE | MAY_EXEC)) == 0)
L
Linus Torvalds 已提交
242
		return 0;
243 244 245 246
	return -EACCES;
}

/**
247
 * generic_permission -  check for access rights on a Posix-like filesystem
248
 * @inode:	inode to check access rights for
249
 * @mask:	right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC, ...)
250 251 252 253
 *
 * 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
254 255 256 257 258
 * 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.
259
 */
260
int generic_permission(struct inode *inode, int mask)
261 262 263 264
{
	int ret;

	/*
265
	 * Do the basic permission checks.
266
	 */
267
	ret = acl_permission_check(inode, mask);
268 269
	if (ret != -EACCES)
		return ret;
L
Linus Torvalds 已提交
270

271 272 273 274 275 276 277 278 279
	if (S_ISDIR(inode->i_mode)) {
		/* DACs are overridable for directories */
		if (ns_capable(inode_userns(inode), CAP_DAC_OVERRIDE))
			return 0;
		if (!(mask & MAY_WRITE))
			if (ns_capable(inode_userns(inode), CAP_DAC_READ_SEARCH))
				return 0;
		return -EACCES;
	}
L
Linus Torvalds 已提交
280 281
	/*
	 * Read/write DACs are always overridable.
282 283
	 * Executable DACs are overridable when there is
	 * at least one exec bit set.
L
Linus Torvalds 已提交
284
	 */
285
	if (!(mask & MAY_EXEC) || (inode->i_mode & S_IXUGO))
286
		if (ns_capable(inode_userns(inode), CAP_DAC_OVERRIDE))
L
Linus Torvalds 已提交
287 288 289 290 291
			return 0;

	/*
	 * Searching includes executable on directories, else just read.
	 */
292
	mask &= MAY_READ | MAY_WRITE | MAY_EXEC;
293
	if (mask == MAY_READ)
294
		if (ns_capable(inode_userns(inode), CAP_DAC_READ_SEARCH))
L
Linus Torvalds 已提交
295 296 297 298 299
			return 0;

	return -EACCES;
}

300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319
/*
 * 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 已提交
320 321 322
/**
 * inode_permission  -  check for access rights to a given inode
 * @inode:	inode to check permission on
323
 * @mask:	right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC, ...)
C
Christoph Hellwig 已提交
324 325 326 327 328
 *
 * Used to check for read/write/execute permissions on an inode.
 * We use "fsuid" for this, letting us set arbitrary permissions
 * for filesystem access without changing the "normal" uids which
 * are used for other things.
329 330
 *
 * When checking for MAY_APPEND, MAY_WRITE must also be set in @mask.
C
Christoph Hellwig 已提交
331
 */
332
int inode_permission(struct inode *inode, int mask)
L
Linus Torvalds 已提交
333
{
334
	int retval;
L
Linus Torvalds 已提交
335

336
	if (unlikely(mask & MAY_WRITE)) {
337
		umode_t mode = inode->i_mode;
L
Linus Torvalds 已提交
338 339 340 341 342 343 344 345 346 347 348 349 350 351 352

		/*
		 * Nobody gets write access to a read-only fs.
		 */
		if (IS_RDONLY(inode) &&
		    (S_ISREG(mode) || S_ISDIR(mode) || S_ISLNK(mode)))
			return -EROFS;

		/*
		 * Nobody gets write access to an immutable file.
		 */
		if (IS_IMMUTABLE(inode))
			return -EACCES;
	}

353
	retval = do_inode_permission(inode, mask);
L
Linus Torvalds 已提交
354 355 356
	if (retval)
		return retval;

357 358 359 360
	retval = devcgroup_inode_permission(inode, mask);
	if (retval)
		return retval;

361
	return security_inode_permission(inode, mask);
L
Linus Torvalds 已提交
362 363
}

J
Jan Blunck 已提交
364 365 366 367 368 369 370 371 372 373 374 375 376
/**
 * 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 已提交
377 378 379 380 381 382 383
/**
 * 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 已提交
384
{
J
Jan Blunck 已提交
385 386
	dput(path->dentry);
	mntput(path->mnt);
L
Linus Torvalds 已提交
387
}
J
Jan Blunck 已提交
388
EXPORT_SYMBOL(path_put);
L
Linus Torvalds 已提交
389

A
Al Viro 已提交
390
/*
N
Nick Piggin 已提交
391
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
392 393 394 395 396 397 398
 * 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 已提交
399 400 401
 */

/**
A
Al Viro 已提交
402 403 404
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry or NULL
405
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
406
 *
A
Al Viro 已提交
407 408 409
 * 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 已提交
410
 */
A
Al Viro 已提交
411
static int unlazy_walk(struct nameidata *nd, struct dentry *dentry)
N
Nick Piggin 已提交
412 413 414
{
	struct fs_struct *fs = current->fs;
	struct dentry *parent = nd->path.dentry;
415
	int want_root = 0;
N
Nick Piggin 已提交
416 417

	BUG_ON(!(nd->flags & LOOKUP_RCU));
418 419
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT)) {
		want_root = 1;
N
Nick Piggin 已提交
420 421 422 423 424 425
		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 已提交
426 427 428 429 430
	if (!dentry) {
		if (!__d_rcu_to_refcount(parent, nd->seq))
			goto err_parent;
		BUG_ON(nd->inode != parent->d_inode);
	} else {
431 432
		if (dentry->d_parent != parent)
			goto err_parent;
A
Al Viro 已提交
433 434 435 436 437 438 439 440 441 442 443 444 445 446
		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 已提交
447
	spin_unlock(&parent->d_lock);
448
	if (want_root) {
N
Nick Piggin 已提交
449 450 451 452 453 454 455 456 457
		path_get(&nd->root);
		spin_unlock(&fs->lock);
	}
	mntget(nd->path.mnt);

	rcu_read_unlock();
	br_read_unlock(vfsmount_lock);
	nd->flags &= ~LOOKUP_RCU;
	return 0;
A
Al Viro 已提交
458 459

err_child:
N
Nick Piggin 已提交
460
	spin_unlock(&dentry->d_lock);
A
Al Viro 已提交
461
err_parent:
N
Nick Piggin 已提交
462 463
	spin_unlock(&parent->d_lock);
err_root:
464
	if (want_root)
N
Nick Piggin 已提交
465 466 467 468
		spin_unlock(&fs->lock);
	return -ECHILD;
}

469 470 471 472 473 474
/**
 * release_open_intent - free up open intent resources
 * @nd: pointer to nameidata
 */
void release_open_intent(struct nameidata *nd)
{
475 476 477 478 479 480 481 482
	struct file *file = nd->intent.open.file;

	if (file && !IS_ERR(file)) {
		if (file->f_path.dentry == NULL)
			put_filp(file);
		else
			fput(file);
	}
483 484
}

A
Al Viro 已提交
485
static inline int d_revalidate(struct dentry *dentry, struct nameidata *nd)
486
{
A
Al Viro 已提交
487
	return dentry->d_op->d_revalidate(dentry, nd);
488 489
}

490 491 492
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
493
 *
494 495 496 497 498
 * 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.
499
 */
500
static int complete_walk(struct nameidata *nd)
501
{
A
Al Viro 已提交
502
	struct dentry *dentry = nd->path.dentry;
503 504
	int status;

505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522
	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);
			rcu_read_unlock();
			br_read_unlock(vfsmount_lock);
			return -ECHILD;
		}
		BUG_ON(nd->inode != dentry->d_inode);
		spin_unlock(&dentry->d_lock);
		mntget(nd->path.mnt);
		rcu_read_unlock();
		br_read_unlock(vfsmount_lock);
	}

A
Al Viro 已提交
523 524 525 526
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

	if (likely(!(dentry->d_flags & DCACHE_OP_REVALIDATE)))
527 528
		return 0;

A
Al Viro 已提交
529 530 531 532
	if (likely(!(dentry->d_sb->s_type->fs_flags & FS_REVAL_DOT)))
		return 0;

	/* Note: we do not d_invalidate() */
533
	status = d_revalidate(dentry, nd);
534 535 536
	if (status > 0)
		return 0;

A
Al Viro 已提交
537
	if (!status)
538
		status = -ESTALE;
A
Al Viro 已提交
539

540
	path_put(&nd->path);
541 542 543
	return status;
}

A
Al Viro 已提交
544 545
static __always_inline void set_root(struct nameidata *nd)
{
546 547
	if (!nd->root.mnt)
		get_fs_root(current->fs, &nd->root);
A
Al Viro 已提交
548 549
}

550 551
static int link_path_walk(const char *, struct nameidata *);

N
Nick Piggin 已提交
552 553 554 555
static __always_inline void set_root_rcu(struct nameidata *nd)
{
	if (!nd->root.mnt) {
		struct fs_struct *fs = current->fs;
N
Nick Piggin 已提交
556 557 558 559 560
		unsigned seq;

		do {
			seq = read_seqcount_begin(&fs->seq);
			nd->root = fs->root;
561
			nd->seq = __read_seqcount_begin(&nd->root.dentry->d_seq);
N
Nick Piggin 已提交
562
		} while (read_seqcount_retry(&fs->seq, seq));
N
Nick Piggin 已提交
563 564 565
	}
}

566
static __always_inline int __vfs_follow_link(struct nameidata *nd, const char *link)
L
Linus Torvalds 已提交
567
{
N
Nick Piggin 已提交
568 569
	int ret;

L
Linus Torvalds 已提交
570 571 572 573
	if (IS_ERR(link))
		goto fail;

	if (*link == '/') {
A
Al Viro 已提交
574
		set_root(nd);
J
Jan Blunck 已提交
575
		path_put(&nd->path);
A
Al Viro 已提交
576 577
		nd->path = nd->root;
		path_get(&nd->root);
A
Al Viro 已提交
578
		nd->flags |= LOOKUP_JUMPED;
L
Linus Torvalds 已提交
579
	}
N
Nick Piggin 已提交
580
	nd->inode = nd->path.dentry->d_inode;
C
Christoph Hellwig 已提交
581

N
Nick Piggin 已提交
582 583
	ret = link_path_walk(link, nd);
	return ret;
L
Linus Torvalds 已提交
584
fail:
J
Jan Blunck 已提交
585
	path_put(&nd->path);
L
Linus Torvalds 已提交
586 587 588
	return PTR_ERR(link);
}

J
Jan Blunck 已提交
589
static void path_put_conditional(struct path *path, struct nameidata *nd)
590 591
{
	dput(path->dentry);
592
	if (path->mnt != nd->path.mnt)
593 594 595
		mntput(path->mnt);
}

596 597
static inline void path_to_nameidata(const struct path *path,
					struct nameidata *nd)
598
{
N
Nick Piggin 已提交
599 600 601 602
	if (!(nd->flags & LOOKUP_RCU)) {
		dput(nd->path.dentry);
		if (nd->path.mnt != path->mnt)
			mntput(nd->path.mnt);
603
	}
N
Nick Piggin 已提交
604
	nd->path.mnt = path->mnt;
605
	nd->path.dentry = path->dentry;
606 607
}

608 609 610 611 612 613 614 615
static inline void put_link(struct nameidata *nd, struct path *link, void *cookie)
{
	struct inode *inode = link->dentry->d_inode;
	if (!IS_ERR(cookie) && inode->i_op->put_link)
		inode->i_op->put_link(link->dentry, nd, cookie);
	path_put(link);
}

A
Al Viro 已提交
616
static __always_inline int
617
follow_link(struct path *link, struct nameidata *nd, void **p)
L
Linus Torvalds 已提交
618 619
{
	int error;
620
	struct dentry *dentry = link->dentry;
L
Linus Torvalds 已提交
621

622 623
	BUG_ON(nd->flags & LOOKUP_RCU);

A
Al Viro 已提交
624 625 626
	if (link->mnt == nd->path.mnt)
		mntget(link->mnt);

627 628 629 630 631 632 633 634
	if (unlikely(current->total_link_count >= 40)) {
		*p = ERR_PTR(-ELOOP); /* no ->put_link(), please */
		path_put(&nd->path);
		return -ELOOP;
	}
	cond_resched();
	current->total_link_count++;

A
Al Viro 已提交
635
	touch_atime(link);
L
Linus Torvalds 已提交
636
	nd_set_link(nd, NULL);
A
Al Viro 已提交
637

638 639 640 641 642 643 644
	error = security_inode_follow_link(link->dentry, nd);
	if (error) {
		*p = ERR_PTR(error); /* no ->put_link(), please */
		path_put(&nd->path);
		return error;
	}

645
	nd->last_type = LAST_BIND;
A
Al Viro 已提交
646 647 648
	*p = dentry->d_inode->i_op->follow_link(dentry, nd);
	error = PTR_ERR(*p);
	if (!IS_ERR(*p)) {
L
Linus Torvalds 已提交
649
		char *s = nd_get_link(nd);
650
		error = 0;
L
Linus Torvalds 已提交
651 652
		if (s)
			error = __vfs_follow_link(nd, s);
A
Al Viro 已提交
653
		else if (nd->last_type == LAST_BIND) {
A
Al Viro 已提交
654
			nd->flags |= LOOKUP_JUMPED;
655 656
			nd->inode = nd->path.dentry->d_inode;
			if (nd->inode->i_op->follow_link) {
A
Al Viro 已提交
657 658 659 660 661
				/* stepped on a _really_ weird one */
				path_put(&nd->path);
				error = -ELOOP;
			}
		}
L
Linus Torvalds 已提交
662 663 664 665
	}
	return error;
}

N
Nick Piggin 已提交
666 667
static int follow_up_rcu(struct path *path)
{
668 669
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
N
Nick Piggin 已提交
670 671
	struct dentry *mountpoint;

672 673
	parent = mnt->mnt_parent;
	if (&parent->mnt == path->mnt)
N
Nick Piggin 已提交
674
		return 0;
675
	mountpoint = mnt->mnt_mountpoint;
N
Nick Piggin 已提交
676
	path->dentry = mountpoint;
677
	path->mnt = &parent->mnt;
N
Nick Piggin 已提交
678 679 680
	return 1;
}

A
Al Viro 已提交
681
int follow_up(struct path *path)
L
Linus Torvalds 已提交
682
{
683 684
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
L
Linus Torvalds 已提交
685
	struct dentry *mountpoint;
N
Nick Piggin 已提交
686 687

	br_read_lock(vfsmount_lock);
688 689
	parent = mnt->mnt_parent;
	if (&parent->mnt == path->mnt) {
N
Nick Piggin 已提交
690
		br_read_unlock(vfsmount_lock);
L
Linus Torvalds 已提交
691 692
		return 0;
	}
693
	mntget(&parent->mnt);
694
	mountpoint = dget(mnt->mnt_mountpoint);
N
Nick Piggin 已提交
695
	br_read_unlock(vfsmount_lock);
A
Al Viro 已提交
696 697 698
	dput(path->dentry);
	path->dentry = mountpoint;
	mntput(path->mnt);
699
	path->mnt = &parent->mnt;
L
Linus Torvalds 已提交
700 701 702
	return 1;
}

N
Nick Piggin 已提交
703
/*
704 705 706
 * Perform an automount
 * - return -EISDIR to tell follow_managed() to stop and return the path we
 *   were called with.
L
Linus Torvalds 已提交
707
 */
708 709
static int follow_automount(struct path *path, unsigned flags,
			    bool *need_mntput)
N
Nick Piggin 已提交
710
{
711
	struct vfsmount *mnt;
712
	int err;
713 714 715 716

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

717 718 719 720 721 722 723 724 725 726
	/* 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.
727
	 */
728
	if (!(flags & (LOOKUP_PARENT | LOOKUP_DIRECTORY |
729
		     LOOKUP_OPEN | LOOKUP_CREATE | LOOKUP_AUTOMOUNT)) &&
730 731 732
	    path->dentry->d_inode)
		return -EISDIR;

733 734 735 736 737 738 739 740 741 742 743 744 745 746 747
	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 已提交
748
		if (PTR_ERR(mnt) == -EISDIR && (flags & LOOKUP_PARENT))
749 750
			return -EREMOTE;
		return PTR_ERR(mnt);
N
Nick Piggin 已提交
751
	}
752

753 754
	if (!mnt) /* mount collision */
		return 0;
N
Nick Piggin 已提交
755

756 757 758 759 760
	if (!*need_mntput) {
		/* lock_mount() may release path->mnt on error */
		mntget(path->mnt);
		*need_mntput = true;
	}
761
	err = finish_automount(mnt, path);
762

763 764 765
	switch (err) {
	case -EBUSY:
		/* Someone else made a mount here whilst we were busy */
766
		return 0;
767
	case 0:
768
		path_put(path);
769 770 771
		path->mnt = mnt;
		path->dentry = dget(mnt->mnt_root);
		return 0;
772 773
	default:
		return err;
774
	}
775

A
Al Viro 已提交
776 777
}

778 779
/*
 * Handle a dentry that is managed in some way.
780
 * - Flagged for transit management (autofs)
781 782 783 784 785 786 787 788
 * - 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 已提交
789
{
790
	struct vfsmount *mnt = path->mnt; /* held by caller, must be left alone */
791 792
	unsigned managed;
	bool need_mntput = false;
793
	int ret = 0;
794 795 796 797 798 799 800

	/* 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)) {
801 802 803 804 805
		/* 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);
806
			ret = path->dentry->d_op->d_manage(path->dentry, false);
807
			if (ret < 0)
808
				break;
809 810
		}

811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833
		/* 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)
834
				break;
835 836 837 838 839
			continue;
		}

		/* We didn't change the current path point */
		break;
L
Linus Torvalds 已提交
840
	}
841 842 843 844 845

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

849
int follow_down_one(struct path *path)
L
Linus Torvalds 已提交
850 851 852
{
	struct vfsmount *mounted;

A
Al Viro 已提交
853
	mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
854
	if (mounted) {
A
Al Viro 已提交
855 856 857 858
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
859 860 861 862 863
		return 1;
	}
	return 0;
}

864 865 866 867 868 869
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);
}

870
/*
871 872
 * Try to skip to top of mountpoint pile in rcuwalk mode.  Fail if
 * we meet a managed dentry that would need blocking.
873 874
 */
static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
875
			       struct inode **inode)
876
{
877
	for (;;) {
878
		struct mount *mounted;
879 880 881 882
		/*
		 * Don't forget we might have a non-mountpoint managed dentry
		 * that wants to block transit.
		 */
883
		if (unlikely(managed_dentry_might_block(path->dentry)))
884
			return false;
885 886 887 888

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

889 890 891
		mounted = __lookup_mnt(path->mnt, path->dentry, 1);
		if (!mounted)
			break;
892 893
		path->mnt = &mounted->mnt;
		path->dentry = mounted->mnt.mnt_root;
894
		nd->flags |= LOOKUP_JUMPED;
895
		nd->seq = read_seqcount_begin(&path->dentry->d_seq);
896 897 898 899 900 901
		/*
		 * 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;
902 903 904 905
	}
	return true;
}

906
static void follow_mount_rcu(struct nameidata *nd)
907
{
908
	while (d_mountpoint(nd->path.dentry)) {
909
		struct mount *mounted;
910
		mounted = __lookup_mnt(nd->path.mnt, nd->path.dentry, 1);
911 912
		if (!mounted)
			break;
913 914
		nd->path.mnt = &mounted->mnt;
		nd->path.dentry = mounted->mnt.mnt_root;
915
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
916 917 918
	}
}

N
Nick Piggin 已提交
919 920 921 922
static int follow_dotdot_rcu(struct nameidata *nd)
{
	set_root_rcu(nd);

923
	while (1) {
N
Nick Piggin 已提交
924 925 926 927 928 929 930 931 932 933 934
		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))
935
				goto failed;
N
Nick Piggin 已提交
936 937 938 939 940 941 942 943
			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);
	}
944 945
	follow_mount_rcu(nd);
	nd->inode = nd->path.dentry->d_inode;
N
Nick Piggin 已提交
946
	return 0;
947 948 949

failed:
	nd->flags &= ~LOOKUP_RCU;
950 951
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
952 953 954
	rcu_read_unlock();
	br_read_unlock(vfsmount_lock);
	return -ECHILD;
N
Nick Piggin 已提交
955 956
}

957 958 959 960 961
/*
 * 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.
 */
962
int follow_down(struct path *path)
963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981
{
	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);
982
			ret = path->dentry->d_op->d_manage(
983
				path->dentry, false);
984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005
			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;
}

1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021
/*
 * 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 已提交
1022
static void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1023
{
A
Al Viro 已提交
1024
	set_root(nd);
1025

L
Linus Torvalds 已提交
1026
	while(1) {
1027
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
1028

A
Al Viro 已提交
1029 1030
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
L
Linus Torvalds 已提交
1031 1032
			break;
		}
1033
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
A
Al Viro 已提交
1034 1035
			/* rare case of legitimate dget_parent()... */
			nd->path.dentry = dget_parent(nd->path.dentry);
L
Linus Torvalds 已提交
1036 1037 1038
			dput(old);
			break;
		}
A
Al Viro 已提交
1039
		if (!follow_up(&nd->path))
L
Linus Torvalds 已提交
1040 1041
			break;
	}
A
Al Viro 已提交
1042
	follow_mount(&nd->path);
N
Nick Piggin 已提交
1043
	nd->inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
1044 1045
}

1046
/*
M
Miklos Szeredi 已提交
1047 1048 1049 1050 1051
 * 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
1052
 */
M
Miklos Szeredi 已提交
1053 1054
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
				    struct nameidata *nd, bool *need_lookup)
1055 1056
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1057
	int error;
1058

M
Miklos Szeredi 已提交
1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076
	*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) {
			error = d_revalidate(dentry, nd);
			if (unlikely(error <= 0)) {
				if (error < 0) {
					dput(dentry);
					return ERR_PTR(error);
				} else if (!d_invalidate(dentry)) {
					dput(dentry);
					dentry = NULL;
				}
			}
		}
	}
1077

M
Miklos Szeredi 已提交
1078 1079 1080 1081
	if (!dentry) {
		dentry = d_alloc(dir, name);
		if (unlikely(!dentry))
			return ERR_PTR(-ENOMEM);
1082

M
Miklos Szeredi 已提交
1083
		*need_lookup = true;
1084 1085 1086 1087
	}
	return dentry;
}

1088
/*
M
Miklos Szeredi 已提交
1089 1090 1091 1092
 * 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
1093
 */
M
Miklos Szeredi 已提交
1094 1095
static struct dentry *lookup_real(struct inode *dir, struct dentry *dentry,
				  struct nameidata *nd)
1096 1097 1098 1099
{
	struct dentry *old;

	/* Don't create child dentry for a dead directory. */
M
Miklos Szeredi 已提交
1100
	if (unlikely(IS_DEADDIR(dir))) {
1101
		dput(dentry);
1102
		return ERR_PTR(-ENOENT);
1103
	}
1104

M
Miklos Szeredi 已提交
1105
	old = dir->i_op->lookup(dir, dentry, nd);
1106 1107 1108 1109 1110 1111 1112
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
}

1113 1114 1115
static struct dentry *__lookup_hash(struct qstr *name,
		struct dentry *base, struct nameidata *nd)
{
M
Miklos Szeredi 已提交
1116
	bool need_lookup;
1117 1118
	struct dentry *dentry;

M
Miklos Szeredi 已提交
1119 1120 1121
	dentry = lookup_dcache(name, base, nd, &need_lookup);
	if (!need_lookup)
		return dentry;
1122

M
Miklos Szeredi 已提交
1123
	return lookup_real(base->d_inode, dentry, nd);
1124 1125
}

L
Linus Torvalds 已提交
1126 1127 1128 1129 1130 1131
/*
 *  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.
 */
static int do_lookup(struct nameidata *nd, struct qstr *name,
N
Nick Piggin 已提交
1132
			struct path *path, struct inode **inode)
L
Linus Torvalds 已提交
1133
{
1134
	struct vfsmount *mnt = nd->path.mnt;
N
Nick Piggin 已提交
1135
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1136 1137
	int need_reval = 1;
	int status = 1;
1138 1139
	int err;

1140 1141 1142 1143 1144
	/*
	 * 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 已提交
1145 1146
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1147
		dentry = __d_lookup_rcu(parent, name, &seq, nd->inode);
A
Al Viro 已提交
1148 1149 1150
		if (!dentry)
			goto unlazy;

1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165
		/*
		 * 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 已提交
1166 1167 1168
		if (__read_seqcount_retry(&parent->d_seq, nd->seq))
			return -ECHILD;
		nd->seq = seq;
A
Al Viro 已提交
1169

1170 1171
		if (unlikely(d_need_lookup(dentry)))
			goto unlazy;
1172
		if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE)) {
A
Al Viro 已提交
1173 1174 1175 1176 1177 1178
			status = d_revalidate(dentry, nd);
			if (unlikely(status <= 0)) {
				if (status != -ECHILD)
					need_reval = 0;
				goto unlazy;
			}
1179
		}
N
Nick Piggin 已提交
1180 1181
		path->mnt = mnt;
		path->dentry = dentry;
1182 1183 1184 1185 1186
		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 已提交
1187
unlazy:
A
Al Viro 已提交
1188 1189
		if (unlazy_walk(nd, dentry))
			return -ECHILD;
A
Al Viro 已提交
1190 1191
	} else {
		dentry = __d_lookup(parent, name);
1192
	}
A
Al Viro 已提交
1193

1194 1195 1196 1197
	if (unlikely(!dentry))
		goto need_lookup;

	if (unlikely(d_need_lookup(dentry))) {
1198
		dput(dentry);
1199
		goto need_lookup;
A
Al Viro 已提交
1200
	}
1201

A
Al Viro 已提交
1202 1203 1204 1205 1206 1207 1208 1209 1210
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE) && need_reval)
		status = d_revalidate(dentry, nd);
	if (unlikely(status <= 0)) {
		if (status < 0) {
			dput(dentry);
			return status;
		}
		if (!d_invalidate(dentry)) {
			dput(dentry);
1211
			goto need_lookup;
A
Al Viro 已提交
1212
		}
1213
	}
1214
done:
1215 1216 1217
	path->mnt = mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
1218 1219
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
1220
		return err;
1221
	}
1222 1223
	if (err)
		nd->flags |= LOOKUP_JUMPED;
1224
	*inode = path->dentry->d_inode;
L
Linus Torvalds 已提交
1225
	return 0;
1226 1227 1228 1229 1230 1231 1232 1233 1234 1235

need_lookup:
	BUG_ON(nd->inode != parent->d_inode);

	mutex_lock(&parent->d_inode->i_mutex);
	dentry = __lookup_hash(name, parent, nd);
	mutex_unlock(&parent->d_inode->i_mutex);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
	goto done;
L
Linus Torvalds 已提交
1236 1237
}

1238 1239 1240
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1241
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1242 1243
		if (err != -ECHILD)
			return err;
A
Al Viro 已提交
1244
		if (unlazy_walk(nd, NULL))
1245 1246
			return -ECHILD;
	}
1247
	return inode_permission(nd->inode, MAY_EXEC);
1248 1249
}

1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261
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;
}

1262 1263 1264 1265 1266 1267
static void terminate_walk(struct nameidata *nd)
{
	if (!(nd->flags & LOOKUP_RCU)) {
		path_put(&nd->path);
	} else {
		nd->flags &= ~LOOKUP_RCU;
1268 1269
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
1270 1271 1272 1273 1274
		rcu_read_unlock();
		br_read_unlock(vfsmount_lock);
	}
}

1275 1276 1277 1278 1279 1280
/*
 * 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.
 */
1281
static inline int should_follow_link(struct inode *inode, int follow)
1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294
{
	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;
}

1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316
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);
	err = do_lookup(nd, name, path, &inode);
	if (unlikely(err)) {
		terminate_walk(nd);
		return err;
	}
	if (!inode) {
		path_to_nameidata(path, nd);
		terminate_walk(nd);
		return -ENOENT;
	}
1317
	if (should_follow_link(inode, follow)) {
A
Al Viro 已提交
1318 1319 1320 1321 1322 1323
		if (nd->flags & LOOKUP_RCU) {
			if (unlikely(unlazy_walk(nd, path->dentry))) {
				terminate_walk(nd);
				return -ECHILD;
			}
		}
1324 1325 1326 1327 1328 1329 1330 1331
		BUG_ON(inode != path->dentry->d_inode);
		return 1;
	}
	path_to_nameidata(path, nd);
	nd->inode = inode;
	return 0;
}

1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347
/*
 * 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;
	}
1348
	BUG_ON(nd->depth >= MAX_NESTED_LINKS);
1349 1350 1351 1352 1353 1354 1355

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

	do {
		struct path link = *path;
		void *cookie;
1356 1357

		res = follow_link(&link, nd, &cookie);
1358 1359 1360
		if (!res)
			res = walk_component(nd, path, &nd->last,
					     nd->last_type, LOOKUP_FOLLOW);
1361
		put_link(nd, &link, cookie);
1362 1363 1364 1365 1366 1367 1368
	} while (res > 0);

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

1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388
/*
 * 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;
}

1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412
/*
 * 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

1413
#include <asm/word-at-a-time.h>
1414

1415
#ifdef CONFIG_64BIT
1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434

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 (;;) {
1435
		a = load_unaligned_zeropad(name);
1436 1437 1438
		if (len < sizeof(unsigned long))
			break;
		hash += a;
1439
		hash *= 9;
1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464
		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)
{
	unsigned long a, mask, hash, len;

	hash = a = 0;
	len = -sizeof(unsigned long);
	do {
		hash = (hash + a) * 9;
		len += sizeof(unsigned long);
1465
		a = load_unaligned_zeropad(name+len);
1466
		/* Do we have any NUL or '/' bytes in this word? */
1467
		mask = has_zero(a) | has_zero(a ^ REPEAT_BYTE('/'));
1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480
	} while (!mask);

	/* The mask *below* the first high bit set */
	mask = (mask - 1) & ~mask;
	mask >>= 7;
	hash += a & mask;
	*hashp = fold_hash(hash);

	return len + count_masked_bytes(mask);
}

#else

L
Linus Torvalds 已提交
1481 1482 1483 1484 1485 1486 1487
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);
}
1488
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1489

1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508
/*
 * 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;
}

1509 1510
#endif

L
Linus Torvalds 已提交
1511 1512
/*
 * Name resolution.
1513 1514
 * 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 已提交
1515
 *
1516 1517
 * 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 已提交
1518
 */
1519
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1520 1521 1522 1523 1524 1525 1526
{
	struct path next;
	int err;
	
	while (*name=='/')
		name++;
	if (!*name)
1527
		return 0;
L
Linus Torvalds 已提交
1528 1529 1530 1531

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

1535
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1536 1537 1538
 		if (err)
			break;

1539
		len = hash_name(name, &this.hash);
L
Linus Torvalds 已提交
1540
		this.name = name;
1541
		this.len = len;
L
Linus Torvalds 已提交
1542

A
Al Viro 已提交
1543
		type = LAST_NORM;
1544
		if (name[0] == '.') switch (len) {
A
Al Viro 已提交
1545
			case 2:
1546
				if (name[1] == '.') {
A
Al Viro 已提交
1547
					type = LAST_DOTDOT;
A
Al Viro 已提交
1548 1549
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
1550 1551 1552 1553
				break;
			case 1:
				type = LAST_DOT;
		}
1554 1555
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
1556
			nd->flags &= ~LOOKUP_JUMPED;
1557 1558 1559 1560 1561 1562 1563
			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 已提交
1564

1565
		if (!name[len])
L
Linus Torvalds 已提交
1566
			goto last_component;
1567 1568 1569 1570 1571 1572 1573 1574
		/*
		 * 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])
1575
			goto last_component;
1576
		name += len;
L
Linus Torvalds 已提交
1577

1578 1579 1580
		err = walk_component(nd, &next, &this, type, LOOKUP_FOLLOW);
		if (err < 0)
			return err;
L
Linus Torvalds 已提交
1581

1582
		if (err) {
1583
			err = nested_symlink(&next, nd);
L
Linus Torvalds 已提交
1584
			if (err)
1585
				return err;
N
Nick Piggin 已提交
1586
		}
1587 1588
		if (can_lookup(nd->inode))
			continue;
L
Linus Torvalds 已提交
1589
		err = -ENOTDIR; 
1590
		break;
L
Linus Torvalds 已提交
1591 1592 1593
		/* here ends the main loop */

last_component:
1594 1595
		nd->last = this;
		nd->last_type = type;
1596
		return 0;
L
Linus Torvalds 已提交
1597
	}
1598
	terminate_walk(nd);
L
Linus Torvalds 已提交
1599 1600 1601
	return err;
}

A
Al Viro 已提交
1602 1603
static int path_init(int dfd, const char *name, unsigned int flags,
		     struct nameidata *nd, struct file **fp)
N
Nick Piggin 已提交
1604 1605 1606 1607 1608 1609
{
	int retval = 0;
	int fput_needed;
	struct file *file;

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
A
Al Viro 已提交
1610
	nd->flags = flags | LOOKUP_JUMPED;
N
Nick Piggin 已提交
1611
	nd->depth = 0;
1612 1613
	if (flags & LOOKUP_ROOT) {
		struct inode *inode = nd->root.dentry->d_inode;
A
Al Viro 已提交
1614 1615 1616 1617 1618 1619 1620
		if (*name) {
			if (!inode->i_op->lookup)
				return -ENOTDIR;
			retval = inode_permission(inode, MAY_EXEC);
			if (retval)
				return retval;
		}
1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
			br_read_lock(vfsmount_lock);
			rcu_read_lock();
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
		} else {
			path_get(&nd->path);
		}
		return 0;
	}

N
Nick Piggin 已提交
1633 1634 1635
	nd->root.mnt = NULL;

	if (*name=='/') {
A
Al Viro 已提交
1636 1637 1638 1639 1640 1641 1642 1643 1644
		if (flags & LOOKUP_RCU) {
			br_read_lock(vfsmount_lock);
			rcu_read_lock();
			set_root_rcu(nd);
		} else {
			set_root(nd);
			path_get(&nd->root);
		}
		nd->path = nd->root;
N
Nick Piggin 已提交
1645
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1646 1647 1648
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
1649

A
Al Viro 已提交
1650 1651
			br_read_lock(vfsmount_lock);
			rcu_read_lock();
N
Nick Piggin 已提交
1652

A
Al Viro 已提交
1653 1654 1655 1656 1657 1658 1659 1660
			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 已提交
1661 1662 1663
	} else {
		struct dentry *dentry;

1664
		file = fget_raw_light(dfd, &fput_needed);
N
Nick Piggin 已提交
1665 1666 1667 1668 1669 1670
		retval = -EBADF;
		if (!file)
			goto out_fail;

		dentry = file->f_path.dentry;

A
Al Viro 已提交
1671 1672 1673 1674
		if (*name) {
			retval = -ENOTDIR;
			if (!S_ISDIR(dentry->d_inode->i_mode))
				goto fput_fail;
N
Nick Piggin 已提交
1675

1676
			retval = inode_permission(dentry->d_inode, MAY_EXEC);
A
Al Viro 已提交
1677 1678 1679
			if (retval)
				goto fput_fail;
		}
N
Nick Piggin 已提交
1680 1681

		nd->path = file->f_path;
A
Al Viro 已提交
1682 1683
		if (flags & LOOKUP_RCU) {
			if (fput_needed)
A
Al Viro 已提交
1684
				*fp = file;
A
Al Viro 已提交
1685 1686 1687 1688 1689 1690 1691
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
			br_read_lock(vfsmount_lock);
			rcu_read_lock();
		} else {
			path_get(&file->f_path);
			fput_light(file, fput_needed);
		}
N
Nick Piggin 已提交
1692 1693 1694
	}

	nd->inode = nd->path.dentry->d_inode;
1695
	return 0;
1696

1697 1698 1699 1700 1701 1702
fput_fail:
	fput_light(file, fput_needed);
out_fail:
	return retval;
}

1703 1704 1705 1706 1707 1708 1709 1710 1711 1712
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);
}

1713
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
A
Al Viro 已提交
1714
static int path_lookupat(int dfd, const char *name,
1715 1716
				unsigned int flags, struct nameidata *nd)
{
A
Al Viro 已提交
1717
	struct file *base = NULL;
1718 1719
	struct path path;
	int err;
N
Nick Piggin 已提交
1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734

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

1737 1738
	if (unlikely(err))
		return err;
A
Al Viro 已提交
1739 1740

	current->total_link_count = 0;
1741 1742 1743 1744 1745 1746 1747 1748
	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;
			nd->flags |= LOOKUP_PARENT;
1749
			err = follow_link(&link, nd, &cookie);
1750 1751
			if (!err)
				err = lookup_last(nd, &path);
1752
			put_link(nd, &link, cookie);
1753 1754
		}
	}
A
Al Viro 已提交
1755

1756 1757
	if (!err)
		err = complete_walk(nd);
1758 1759 1760 1761

	if (!err && nd->flags & LOOKUP_DIRECTORY) {
		if (!nd->inode->i_op->lookup) {
			path_put(&nd->path);
A
Al Viro 已提交
1762
			err = -ENOTDIR;
1763 1764
		}
	}
A
Al Viro 已提交
1765

A
Al Viro 已提交
1766 1767
	if (base)
		fput(base);
A
Al Viro 已提交
1768

1769
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT)) {
A
Al Viro 已提交
1770 1771 1772
		path_put(&nd->root);
		nd->root.mnt = NULL;
	}
1773
	return err;
A
Al Viro 已提交
1774
}
N
Nick Piggin 已提交
1775

A
Al Viro 已提交
1776 1777 1778 1779 1780 1781 1782 1783
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 已提交
1784 1785 1786 1787 1788 1789 1790

	if (likely(!retval)) {
		if (unlikely(!audit_dummy_context())) {
			if (nd->path.dentry && nd->inode)
				audit_inode(name, nd->path.dentry);
		}
	}
1791
	return retval;
L
Linus Torvalds 已提交
1792 1793
}

A
Al Viro 已提交
1794
int kern_path_parent(const char *name, struct nameidata *nd)
1795
{
A
Al Viro 已提交
1796
	return do_path_lookup(AT_FDCWD, name, LOOKUP_PARENT, nd);
1797 1798
}

A
Al Viro 已提交
1799 1800 1801 1802 1803 1804 1805 1806 1807
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;
}

1808 1809 1810 1811 1812 1813
/**
 * 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
1814
 * @path: pointer to struct path to fill
1815 1816 1817
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
1818
		    struct path *path)
1819
{
1820 1821 1822 1823 1824
	struct nameidata nd;
	int err;
	nd.root.dentry = dentry;
	nd.root.mnt = mnt;
	BUG_ON(flags & LOOKUP_PARENT);
1825
	/* the first argument of do_path_lookup() is ignored with LOOKUP_ROOT */
1826 1827 1828 1829
	err = do_path_lookup(AT_FDCWD, name, flags | LOOKUP_ROOT, &nd);
	if (!err)
		*path = nd.path;
	return err;
1830 1831
}

1832 1833 1834 1835 1836
/*
 * Restricted form of lookup. Doesn't follow links, single-component only,
 * needs parent already locked. Doesn't follow mounts.
 * SMP-safe.
 */
1837
static struct dentry *lookup_hash(struct nameidata *nd)
1838
{
1839
	return __lookup_hash(&nd->last, nd->path.dentry, nd);
L
Linus Torvalds 已提交
1840 1841
}

1842
/**
1843
 * lookup_one_len - filesystem helper to lookup single pathname component
1844 1845 1846 1847
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
1848 1849
 * 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
1850 1851 1852
 * nameidata argument is passed to the filesystem methods and a filesystem
 * using this helper needs to be prepared for that.
 */
1853 1854 1855
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
1856
	unsigned int c;
1857
	int err;
1858

1859 1860
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
1861 1862
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
1863
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
1864 1865 1866 1867 1868 1869 1870 1871
	if (!len)
		return ERR_PTR(-EACCES);

	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
1872 1873 1874 1875 1876 1877 1878 1879 1880
	/*
	 * 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);
	}
1881

1882 1883 1884 1885
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

1886
	return __lookup_hash(&this, base, NULL);
1887 1888
}

1889 1890
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
1891
{
1892
	struct nameidata nd;
1893
	char *tmp = getname_flags(name, flags, empty);
L
Linus Torvalds 已提交
1894 1895
	int err = PTR_ERR(tmp);
	if (!IS_ERR(tmp)) {
1896 1897 1898 1899

		BUG_ON(flags & LOOKUP_PARENT);

		err = do_path_lookup(dfd, tmp, flags, &nd);
L
Linus Torvalds 已提交
1900
		putname(tmp);
1901 1902
		if (!err)
			*path = nd.path;
L
Linus Torvalds 已提交
1903 1904 1905 1906
	}
	return err;
}

1907 1908 1909
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
{
1910
	return user_path_at_empty(dfd, name, flags, path, NULL);
1911 1912
}

1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930
static int user_path_parent(int dfd, const char __user *path,
			struct nameidata *nd, char **name)
{
	char *s = getname(path);
	int error;

	if (IS_ERR(s))
		return PTR_ERR(s);

	error = do_path_lookup(dfd, s, LOOKUP_PARENT, nd);
	if (error)
		putname(s);
	else
		*name = s;

	return error;
}

L
Linus Torvalds 已提交
1931 1932 1933 1934 1935 1936
/*
 * 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)
{
1937 1938
	uid_t fsuid = current_fsuid();

L
Linus Torvalds 已提交
1939 1940
	if (!(dir->i_mode & S_ISVTX))
		return 0;
1941 1942
	if (current_user_ns() != inode_userns(inode))
		goto other_userns;
1943
	if (inode->i_uid == fsuid)
L
Linus Torvalds 已提交
1944
		return 0;
1945
	if (dir->i_uid == fsuid)
L
Linus Torvalds 已提交
1946
		return 0;
1947 1948 1949

other_userns:
	return !ns_capable(inode_userns(inode), CAP_FOWNER);
L
Linus Torvalds 已提交
1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970
}

/*
 *	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().
 */
1971
static int may_delete(struct inode *dir,struct dentry *victim,int isdir)
L
Linus Torvalds 已提交
1972 1973 1974 1975 1976 1977 1978
{
	int error;

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

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

1981
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
1982 1983 1984 1985 1986
	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 已提交
1987
	    IS_IMMUTABLE(victim->d_inode) || IS_SWAPFILE(victim->d_inode))
L
Linus Torvalds 已提交
1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010
		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())
 */
2011
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2012 2013 2014 2015 2016
{
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2017
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2018 2019 2020 2021 2022 2023 2024 2025 2026 2027
}

/*
 * 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 已提交
2028
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2029 2030 2031
		return NULL;
	}

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

2034 2035 2036 2037 2038
	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 已提交
2039 2040
	}

2041 2042 2043 2044 2045
	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 已提交
2046 2047
	}

I
Ingo Molnar 已提交
2048 2049
	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 已提交
2050 2051 2052 2053 2054
	return NULL;
}

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2055
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2056
	if (p1 != p2) {
2057
		mutex_unlock(&p2->d_inode->i_mutex);
2058
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2059 2060 2061
	}
}

A
Al Viro 已提交
2062
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
L
Linus Torvalds 已提交
2063 2064
		struct nameidata *nd)
{
2065
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2066 2067 2068 2069

	if (error)
		return error;

A
Al Viro 已提交
2070
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2071 2072 2073 2074 2075 2076 2077
		return -EACCES;	/* shouldn't it be ENOSYS? */
	mode &= S_IALLUGO;
	mode |= S_IFREG;
	error = security_inode_create(dir, dentry, mode);
	if (error)
		return error;
	error = dir->i_op->create(dir, dentry, mode, nd);
2078
	if (!error)
2079
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2080 2081 2082
	return error;
}

A
Al Viro 已提交
2083
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2084
{
2085
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2086 2087 2088
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2089 2090 2091 2092
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2093 2094 2095
	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2096 2097
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2098
		return -ELOOP;
C
Christoph Hellwig 已提交
2099 2100 2101 2102 2103 2104
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2105
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
2106
			return -EACCES;
C
Christoph Hellwig 已提交
2107 2108 2109
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2110
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2111
		break;
2112
	}
2113

2114
	error = inode_permission(inode, acc_mode);
2115 2116
	if (error)
		return error;
M
Mimi Zohar 已提交
2117

L
Linus Torvalds 已提交
2118 2119 2120 2121
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2122
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2123
			return -EPERM;
L
Linus Torvalds 已提交
2124
		if (flag & O_TRUNC)
2125
			return -EPERM;
L
Linus Torvalds 已提交
2126 2127 2128
	}

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

2132
	return 0;
2133
}
L
Linus Torvalds 已提交
2134

2135
static int handle_truncate(struct file *filp)
2136
{
2137
	struct path *path = &filp->f_path;
2138 2139 2140 2141 2142 2143 2144 2145 2146
	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)
2147
		error = security_path_truncate(path);
2148 2149 2150
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2151
				    filp);
2152 2153
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2154
	return error;
L
Linus Torvalds 已提交
2155 2156
}

2157 2158
static inline int open_to_namei_flags(int flag)
{
2159 2160
	if ((flag & O_ACCMODE) == 3)
		flag--;
2161 2162 2163
	return flag;
}

N
Nick Piggin 已提交
2164
/*
2165
 * Handle the last step of open()
N
Nick Piggin 已提交
2166
 */
2167
static struct file *do_last(struct nameidata *nd, struct path *path,
2168
			    const struct open_flags *op, const char *pathname)
2169
{
2170
	struct dentry *dir = nd->path.dentry;
2171
	struct dentry *dentry;
2172
	int open_flag = op->open_flag;
2173
	int will_truncate = open_flag & O_TRUNC;
2174
	int want_write = 0;
A
Al Viro 已提交
2175
	int acc_mode = op->acc_mode;
2176
	struct file *filp;
A
Al Viro 已提交
2177
	int error;
2178

2179 2180 2181
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

2182 2183
	switch (nd->last_type) {
	case LAST_DOTDOT:
2184
	case LAST_DOT:
2185 2186 2187
		error = handle_dots(nd, nd->last_type);
		if (error)
			return ERR_PTR(error);
2188 2189
		/* fallthrough */
	case LAST_ROOT:
2190
		error = complete_walk(nd);
A
Al Viro 已提交
2191
		if (error)
2192
			return ERR_PTR(error);
2193
		audit_inode(pathname, nd->path.dentry);
2194
		if (open_flag & O_CREAT) {
2195 2196 2197 2198
			error = -EISDIR;
			goto exit;
		}
		goto ok;
2199
	case LAST_BIND:
2200
		error = complete_walk(nd);
A
Al Viro 已提交
2201
		if (error)
2202
			return ERR_PTR(error);
2203
		audit_inode(pathname, dir);
2204
		goto ok;
2205
	}
2206

2207
	if (!(open_flag & O_CREAT)) {
A
Al Viro 已提交
2208
		int symlink_ok = 0;
2209 2210
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
A
Al Viro 已提交
2211 2212
		if (open_flag & O_PATH && !(nd->flags & LOOKUP_FOLLOW))
			symlink_ok = 1;
2213
		/* we _can_ be in RCU mode here */
2214 2215 2216
		error = walk_component(nd, path, &nd->last, LAST_NORM,
					!symlink_ok);
		if (error < 0)
2217
			return ERR_PTR(error);
2218
		if (error) /* symlink */
2219 2220
			return NULL;
		/* sayonara */
2221 2222
		error = complete_walk(nd);
		if (error)
2223
			return ERR_PTR(error);
2224 2225 2226

		error = -ENOTDIR;
		if (nd->flags & LOOKUP_DIRECTORY) {
2227
			if (!nd->inode->i_op->lookup)
2228 2229 2230 2231 2232 2233 2234
				goto exit;
		}
		audit_inode(pathname, nd->path.dentry);
		goto ok;
	}

	/* create side of things */
2235 2236 2237 2238
	/*
	 * 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
	 */
2239 2240 2241
	error = complete_walk(nd);
	if (error)
		return ERR_PTR(error);
2242 2243

	audit_inode(pathname, dir);
A
Al Viro 已提交
2244
	error = -EISDIR;
2245
	/* trailing slashes? */
N
Nick Piggin 已提交
2246 2247
	if (nd->last.name[nd->last.len])
		goto exit;
A
Al Viro 已提交
2248

2249 2250
	mutex_lock(&dir->d_inode->i_mutex);

2251 2252 2253
	dentry = lookup_hash(nd);
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry)) {
2254 2255 2256 2257
		mutex_unlock(&dir->d_inode->i_mutex);
		goto exit;
	}

2258 2259 2260
	path->dentry = dentry;
	path->mnt = nd->path.mnt;

2261
	/* Negative dentry, just create the file */
2262
	if (!dentry->d_inode) {
2263
		umode_t mode = op->mode;
2264 2265
		if (!IS_POSIXACL(dir->d_inode))
			mode &= ~current_umask();
2266 2267
		/*
		 * This write is needed to ensure that a
2268
		 * rw->ro transition does not occur between
2269 2270 2271 2272 2273 2274 2275
		 * the time when the file is created and when
		 * a permanent write count is taken through
		 * the 'struct file' in nameidata_to_filp().
		 */
		error = mnt_want_write(nd->path.mnt);
		if (error)
			goto exit_mutex_unlock;
2276
		want_write = 1;
2277
		/* Don't check for write permission, don't truncate */
2278
		open_flag &= ~O_TRUNC;
2279
		will_truncate = 0;
A
Al Viro 已提交
2280
		acc_mode = MAY_OPEN;
2281 2282 2283 2284 2285 2286 2287 2288 2289
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto exit_mutex_unlock;
		error = vfs_create(dir->d_inode, dentry, mode, nd);
		if (error)
			goto exit_mutex_unlock;
		mutex_unlock(&dir->d_inode->i_mutex);
		dput(nd->path.dentry);
		nd->path.dentry = dentry;
2290
		goto common;
2291 2292 2293 2294 2295 2296 2297 2298 2299
	}

	/*
	 * It already exists.
	 */
	mutex_unlock(&dir->d_inode->i_mutex);
	audit_inode(pathname, path->dentry);

	error = -EEXIST;
2300
	if (open_flag & O_EXCL)
2301 2302
		goto exit_dput;

2303 2304 2305
	error = follow_managed(path, nd->flags);
	if (error < 0)
		goto exit_dput;
2306

2307 2308 2309
	if (error)
		nd->flags |= LOOKUP_JUMPED;

2310 2311 2312
	error = -ENOENT;
	if (!path->dentry->d_inode)
		goto exit_dput;
A
Al Viro 已提交
2313 2314

	if (path->dentry->d_inode->i_op->follow_link)
2315 2316 2317
		return NULL;

	path_to_nameidata(path, nd);
N
Nick Piggin 已提交
2318
	nd->inode = path->dentry->d_inode;
2319 2320 2321
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
	error = complete_walk(nd);
	if (error)
2322
		return ERR_PTR(error);
2323
	error = -EISDIR;
N
Nick Piggin 已提交
2324
	if (S_ISDIR(nd->inode->i_mode))
2325
		goto exit;
2326
ok:
2327 2328 2329
	if (!S_ISREG(nd->inode->i_mode))
		will_truncate = 0;

2330 2331 2332 2333
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
			goto exit;
2334
		want_write = 1;
2335
	}
2336
common:
A
Al Viro 已提交
2337
	error = may_open(&nd->path, acc_mode, open_flag);
2338
	if (error)
2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356
		goto exit;
	filp = nameidata_to_filp(nd);
	if (!IS_ERR(filp)) {
		error = ima_file_check(filp, op->acc_mode);
		if (error) {
			fput(filp);
			filp = ERR_PTR(error);
		}
	}
	if (!IS_ERR(filp)) {
		if (will_truncate) {
			error = handle_truncate(filp);
			if (error) {
				fput(filp);
				filp = ERR_PTR(error);
			}
		}
	}
2357 2358
out:
	if (want_write)
2359 2360
		mnt_drop_write(nd->path.mnt);
	path_put(&nd->path);
2361 2362 2363 2364 2365 2366 2367
	return filp;

exit_mutex_unlock:
	mutex_unlock(&dir->d_inode->i_mutex);
exit_dput:
	path_put_conditional(path, nd);
exit:
2368 2369
	filp = ERR_PTR(error);
	goto out;
2370 2371
}

2372
static struct file *path_openat(int dfd, const char *pathname,
A
Al Viro 已提交
2373
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
2374
{
2375
	struct file *base = NULL;
2376
	struct file *filp;
2377
	struct path path;
2378
	int error;
N
Nick Piggin 已提交
2379 2380 2381 2382 2383

	filp = get_empty_filp();
	if (!filp)
		return ERR_PTR(-ENFILE);

2384
	filp->f_flags = op->open_flag;
A
Al Viro 已提交
2385 2386 2387
	nd->intent.open.file = filp;
	nd->intent.open.flags = open_to_namei_flags(op->open_flag);
	nd->intent.open.create_mode = op->mode;
N
Nick Piggin 已提交
2388

A
Al Viro 已提交
2389
	error = path_init(dfd, pathname, flags | LOOKUP_PARENT, nd, &base);
N
Nick Piggin 已提交
2390
	if (unlikely(error))
2391
		goto out_filp;
N
Nick Piggin 已提交
2392

2393
	current->total_link_count = 0;
A
Al Viro 已提交
2394
	error = link_path_walk(pathname, nd);
N
Nick Piggin 已提交
2395 2396
	if (unlikely(error))
		goto out_filp;
L
Linus Torvalds 已提交
2397

A
Al Viro 已提交
2398
	filp = do_last(nd, &path, op, pathname);
2399
	while (unlikely(!filp)) { /* trailing symlink */
2400
		struct path link = path;
A
Al Viro 已提交
2401
		void *cookie;
2402
		if (!(nd->flags & LOOKUP_FOLLOW)) {
A
Al Viro 已提交
2403 2404
			path_put_conditional(&path, nd);
			path_put(&nd->path);
2405 2406 2407
			filp = ERR_PTR(-ELOOP);
			break;
		}
A
Al Viro 已提交
2408 2409
		nd->flags |= LOOKUP_PARENT;
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
2410
		error = follow_link(&link, nd, &cookie);
2411
		if (unlikely(error))
2412
			filp = ERR_PTR(error);
2413
		else
A
Al Viro 已提交
2414
			filp = do_last(nd, &path, op, pathname);
2415
		put_link(nd, &link, cookie);
2416
	}
A
Al Viro 已提交
2417
out:
A
Al Viro 已提交
2418 2419
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT))
		path_put(&nd->root);
2420 2421
	if (base)
		fput(base);
A
Al Viro 已提交
2422
	release_open_intent(nd);
A
Al Viro 已提交
2423
	return filp;
L
Linus Torvalds 已提交
2424

N
Nick Piggin 已提交
2425
out_filp:
2426
	filp = ERR_PTR(error);
A
Al Viro 已提交
2427
	goto out;
L
Linus Torvalds 已提交
2428 2429
}

2430 2431 2432
struct file *do_filp_open(int dfd, const char *pathname,
		const struct open_flags *op, int flags)
{
A
Al Viro 已提交
2433
	struct nameidata nd;
2434 2435
	struct file *filp;

A
Al Viro 已提交
2436
	filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_RCU);
2437
	if (unlikely(filp == ERR_PTR(-ECHILD)))
A
Al Viro 已提交
2438
		filp = path_openat(dfd, pathname, &nd, op, flags);
2439
	if (unlikely(filp == ERR_PTR(-ESTALE)))
A
Al Viro 已提交
2440
		filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_REVAL);
2441 2442 2443
	return filp;
}

A
Al Viro 已提交
2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454
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 已提交
2455
	if (dentry->d_inode->i_op->follow_link && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
2456 2457 2458 2459 2460 2461 2462 2463 2464 2465
		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 已提交
2466
struct dentry *kern_path_create(int dfd, const char *pathname, struct path *path, int is_dir)
L
Linus Torvalds 已提交
2467
{
2468
	struct dentry *dentry = ERR_PTR(-EEXIST);
A
Al Viro 已提交
2469 2470 2471 2472
	struct nameidata nd;
	int error = do_path_lookup(dfd, pathname, LOOKUP_PARENT, &nd);
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
2473

2474 2475 2476 2477
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
A
Al Viro 已提交
2478 2479 2480 2481 2482
	if (nd.last_type != LAST_NORM)
		goto out;
	nd.flags &= ~LOOKUP_PARENT;
	nd.flags |= LOOKUP_CREATE | LOOKUP_EXCL;
	nd.intent.open.flags = O_EXCL;
2483 2484 2485 2486

	/*
	 * Do the final lookup.
	 */
A
Al Viro 已提交
2487 2488
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
2489 2490
	if (IS_ERR(dentry))
		goto fail;
2491

2492 2493
	if (dentry->d_inode)
		goto eexist;
2494 2495 2496 2497 2498 2499
	/*
	 * 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 已提交
2500
	if (unlikely(!is_dir && nd.last.name[nd.last.len])) {
2501 2502
		dput(dentry);
		dentry = ERR_PTR(-ENOENT);
A
Al Viro 已提交
2503
		goto fail;
2504
	}
A
Al Viro 已提交
2505
	*path = nd.path;
L
Linus Torvalds 已提交
2506
	return dentry;
2507
eexist:
L
Linus Torvalds 已提交
2508
	dput(dentry);
2509
	dentry = ERR_PTR(-EEXIST);
L
Linus Torvalds 已提交
2510
fail:
A
Al Viro 已提交
2511 2512 2513
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
out:
	path_put(&nd.path);
L
Linus Torvalds 已提交
2514 2515
	return dentry;
}
2516 2517 2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528 2529
EXPORT_SYMBOL(kern_path_create);

struct dentry *user_path_create(int dfd, const char __user *pathname, struct path *path, int is_dir)
{
	char *tmp = getname(pathname);
	struct dentry *res;
	if (IS_ERR(tmp))
		return ERR_CAST(tmp);
	res = kern_path_create(dfd, tmp, path, is_dir);
	putname(tmp);
	return res;
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
2530
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
2531
{
2532
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2533 2534 2535 2536

	if (error)
		return error;

2537 2538
	if ((S_ISCHR(mode) || S_ISBLK(mode)) &&
	    !ns_capable(inode_userns(dir), CAP_MKNOD))
L
Linus Torvalds 已提交
2539 2540
		return -EPERM;

A
Al Viro 已提交
2541
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
2542 2543
		return -EPERM;

2544 2545 2546 2547
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
2548 2549 2550 2551 2552
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
2553
	if (!error)
2554
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2555 2556 2557
	return error;
}

A
Al Viro 已提交
2558
static int may_mknod(umode_t mode)
2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574
{
	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 已提交
2575
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
2576
		unsigned, dev)
L
Linus Torvalds 已提交
2577
{
2578
	struct dentry *dentry;
2579 2580
	struct path path;
	int error;
L
Linus Torvalds 已提交
2581 2582 2583 2584

	if (S_ISDIR(mode))
		return -EPERM;

2585 2586 2587
	dentry = user_path_create(dfd, filename, &path, 0);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
2588

2589
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
2590
		mode &= ~current_umask();
2591 2592 2593
	error = may_mknod(mode);
	if (error)
		goto out_dput;
2594
	error = mnt_want_write(path.mnt);
2595 2596
	if (error)
		goto out_dput;
2597
	error = security_path_mknod(&path, dentry, mode, dev);
2598 2599
	if (error)
		goto out_drop_write;
2600
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
2601
		case 0: case S_IFREG:
2602
			error = vfs_create(path.dentry->d_inode,dentry,mode,NULL);
L
Linus Torvalds 已提交
2603 2604
			break;
		case S_IFCHR: case S_IFBLK:
2605
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
2606 2607 2608
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
2609
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
2610 2611
			break;
	}
2612
out_drop_write:
2613
	mnt_drop_write(path.mnt);
2614 2615
out_dput:
	dput(dentry);
2616 2617
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	path_put(&path);
L
Linus Torvalds 已提交
2618 2619 2620 2621

	return error;
}

A
Al Viro 已提交
2622
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
2623 2624 2625 2626
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

2627
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
2628
{
2629
	int error = may_create(dir, dentry);
2630
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
2631 2632 2633 2634

	if (error)
		return error;

A
Al Viro 已提交
2635
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
2636 2637 2638 2639 2640 2641 2642
		return -EPERM;

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

2643 2644 2645
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
2646
	error = dir->i_op->mkdir(dir, dentry, mode);
2647
	if (!error)
2648
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
2649 2650 2651
	return error;
}

2652
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
2653
{
2654
	struct dentry *dentry;
2655 2656
	struct path path;
	int error;
L
Linus Torvalds 已提交
2657

2658
	dentry = user_path_create(dfd, pathname, &path, 1);
2659
	if (IS_ERR(dentry))
2660
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
2661

2662
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
2663
		mode &= ~current_umask();
2664
	error = mnt_want_write(path.mnt);
2665 2666
	if (error)
		goto out_dput;
2667
	error = security_path_mkdir(&path, dentry, mode);
2668 2669
	if (error)
		goto out_drop_write;
2670
	error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
2671
out_drop_write:
2672
	mnt_drop_write(path.mnt);
2673
out_dput:
2674
	dput(dentry);
2675 2676
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	path_put(&path);
L
Linus Torvalds 已提交
2677 2678 2679
	return error;
}

2680
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
2681 2682 2683 2684
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
2685
/*
S
Sage Weil 已提交
2686
 * The dentry_unhash() helper will try to drop the dentry early: we
2687
 * should have a usage count of 1 if we're the only user of this
S
Sage Weil 已提交
2688 2689
 * dentry, and if that is true (possibly after pruning the dcache),
 * then we drop the dentry now.
L
Linus Torvalds 已提交
2690 2691 2692 2693 2694 2695 2696 2697 2698 2699 2700 2701
 *
 * 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)
{
2702
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
2703
	spin_lock(&dentry->d_lock);
2704
	if (dentry->d_count == 1)
L
Linus Torvalds 已提交
2705 2706 2707 2708 2709 2710 2711 2712 2713 2714 2715
		__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 已提交
2716
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
2717 2718
		return -EPERM;

2719
	dget(dentry);
2720
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
2721 2722

	error = -EBUSY;
L
Linus Torvalds 已提交
2723
	if (d_mountpoint(dentry))
S
Sage Weil 已提交
2724 2725 2726 2727 2728 2729
		goto out;

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

2730
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
2731 2732 2733 2734 2735 2736 2737 2738
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

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

out:
2739
	mutex_unlock(&dentry->d_inode->i_mutex);
2740
	dput(dentry);
S
Sage Weil 已提交
2741
	if (!error)
L
Linus Torvalds 已提交
2742 2743 2744 2745
		d_delete(dentry);
	return error;
}

2746
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
2747 2748 2749 2750 2751 2752
{
	int error = 0;
	char * name;
	struct dentry *dentry;
	struct nameidata nd;

2753
	error = user_path_parent(dfd, pathname, &nd, &name);
L
Linus Torvalds 已提交
2754
	if (error)
2755
		return error;
L
Linus Torvalds 已提交
2756 2757

	switch(nd.last_type) {
2758 2759 2760 2761 2762 2763 2764 2765 2766
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
2767
	}
2768 2769 2770

	nd.flags &= ~LOOKUP_PARENT;

2771
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2772
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
2773
	error = PTR_ERR(dentry);
2774 2775
	if (IS_ERR(dentry))
		goto exit2;
2776 2777 2778 2779
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
2780 2781 2782
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto exit3;
2783 2784 2785
	error = security_path_rmdir(&nd.path, dentry);
	if (error)
		goto exit4;
2786
	error = vfs_rmdir(nd.path.dentry->d_inode, dentry);
2787
exit4:
2788 2789
	mnt_drop_write(nd.path.mnt);
exit3:
2790 2791
	dput(dentry);
exit2:
2792
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2793
exit1:
J
Jan Blunck 已提交
2794
	path_put(&nd.path);
L
Linus Torvalds 已提交
2795 2796 2797 2798
	putname(name);
	return error;
}

2799
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
2800 2801 2802 2803
{
	return do_rmdir(AT_FDCWD, pathname);
}

L
Linus Torvalds 已提交
2804 2805 2806 2807 2808 2809 2810
int vfs_unlink(struct inode *dir, struct dentry *dentry)
{
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
2811
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
2812 2813
		return -EPERM;

2814
	mutex_lock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2815 2816 2817 2818
	if (d_mountpoint(dentry))
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
2819
		if (!error) {
L
Linus Torvalds 已提交
2820
			error = dir->i_op->unlink(dir, dentry);
2821
			if (!error)
2822
				dont_mount(dentry);
2823
		}
L
Linus Torvalds 已提交
2824
	}
2825
	mutex_unlock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2826 2827 2828

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

L
Linus Torvalds 已提交
2833 2834 2835 2836 2837
	return error;
}

/*
 * Make sure that the actual truncation of the file will occur outside its
2838
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
2839 2840 2841
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
2842
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
2843
{
2844 2845
	int error;
	char *name;
L
Linus Torvalds 已提交
2846 2847 2848 2849
	struct dentry *dentry;
	struct nameidata nd;
	struct inode *inode = NULL;

2850
	error = user_path_parent(dfd, pathname, &nd, &name);
L
Linus Torvalds 已提交
2851
	if (error)
2852 2853
		return error;

L
Linus Torvalds 已提交
2854 2855 2856
	error = -EISDIR;
	if (nd.last_type != LAST_NORM)
		goto exit1;
2857 2858 2859

	nd.flags &= ~LOOKUP_PARENT;

2860
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2861
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
2862 2863 2864
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
2865 2866
		if (nd.last.name[nd.last.len])
			goto slashes;
L
Linus Torvalds 已提交
2867
		inode = dentry->d_inode;
2868
		if (!inode)
2869 2870
			goto slashes;
		ihold(inode);
2871 2872 2873
		error = mnt_want_write(nd.path.mnt);
		if (error)
			goto exit2;
2874 2875 2876
		error = security_path_unlink(&nd.path, dentry);
		if (error)
			goto exit3;
2877
		error = vfs_unlink(nd.path.dentry->d_inode, dentry);
2878
exit3:
2879
		mnt_drop_write(nd.path.mnt);
L
Linus Torvalds 已提交
2880 2881 2882
	exit2:
		dput(dentry);
	}
2883
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2884 2885 2886
	if (inode)
		iput(inode);	/* truncate the inode here */
exit1:
J
Jan Blunck 已提交
2887
	path_put(&nd.path);
L
Linus Torvalds 已提交
2888 2889 2890 2891 2892 2893 2894 2895 2896
	putname(name);
	return error;

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

2897
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
2898 2899 2900 2901 2902 2903 2904 2905 2906 2907
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

2908
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
2909 2910 2911 2912
{
	return do_unlinkat(AT_FDCWD, pathname);
}

2913
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
2914
{
2915
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2916 2917 2918 2919

	if (error)
		return error;

A
Al Viro 已提交
2920
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
2921 2922 2923 2924 2925 2926 2927
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
2928
	if (!error)
2929
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2930 2931 2932
	return error;
}

2933 2934
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
2935
{
2936 2937
	int error;
	char *from;
2938
	struct dentry *dentry;
2939
	struct path path;
L
Linus Torvalds 已提交
2940 2941

	from = getname(oldname);
2942
	if (IS_ERR(from))
L
Linus Torvalds 已提交
2943 2944
		return PTR_ERR(from);

2945
	dentry = user_path_create(newdfd, newname, &path, 0);
2946 2947
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
2948
		goto out_putname;
2949

2950
	error = mnt_want_write(path.mnt);
2951 2952
	if (error)
		goto out_dput;
2953
	error = security_path_symlink(&path, dentry, from);
2954 2955
	if (error)
		goto out_drop_write;
2956
	error = vfs_symlink(path.dentry->d_inode, dentry, from);
2957
out_drop_write:
2958
	mnt_drop_write(path.mnt);
2959
out_dput:
2960
	dput(dentry);
2961 2962
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	path_put(&path);
2963
out_putname:
L
Linus Torvalds 已提交
2964 2965 2966 2967
	putname(from);
	return error;
}

2968
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
2969 2970 2971 2972
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

L
Linus Torvalds 已提交
2973 2974 2975
int vfs_link(struct dentry *old_dentry, struct inode *dir, struct dentry *new_dentry)
{
	struct inode *inode = old_dentry->d_inode;
2976
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
2977 2978 2979 2980 2981
	int error;

	if (!inode)
		return -ENOENT;

2982
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
2983 2984 2985 2986 2987 2988 2989 2990 2991 2992 2993
	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 已提交
2994
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
2995
		return -EPERM;
2996
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
2997 2998 2999 3000 3001 3002
		return -EPERM;

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

3003
	mutex_lock(&inode->i_mutex);
3004 3005 3006
	/* Make sure we don't allow creating hardlink to an unlinked file */
	if (inode->i_nlink == 0)
		error =  -ENOENT;
3007 3008
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
3009 3010
	else
		error = dir->i_op->link(old_dentry, dir, new_dentry);
3011
	mutex_unlock(&inode->i_mutex);
3012
	if (!error)
3013
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
3014 3015 3016 3017 3018 3019 3020 3021 3022 3023 3024 3025
	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
 */
3026 3027
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
3028 3029
{
	struct dentry *new_dentry;
3030
	struct path old_path, new_path;
3031
	int how = 0;
L
Linus Torvalds 已提交
3032 3033
	int error;

3034
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
3035
		return -EINVAL;
3036 3037 3038 3039 3040 3041 3042 3043 3044 3045 3046 3047 3048
	/*
	 * 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;
3049

3050
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
3051
	if (error)
3052 3053
		return error;

3054
	new_dentry = user_path_create(newdfd, newname, &new_path, 0);
L
Linus Torvalds 已提交
3055
	error = PTR_ERR(new_dentry);
3056
	if (IS_ERR(new_dentry))
3057 3058 3059 3060 3061 3062
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
	error = mnt_want_write(new_path.mnt);
3063 3064
	if (error)
		goto out_dput;
3065
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
3066 3067
	if (error)
		goto out_drop_write;
3068
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry);
3069
out_drop_write:
3070
	mnt_drop_write(new_path.mnt);
3071
out_dput:
3072
	dput(new_dentry);
3073 3074
	mutex_unlock(&new_path.dentry->d_inode->i_mutex);
	path_put(&new_path);
L
Linus Torvalds 已提交
3075
out:
3076
	path_put(&old_path);
L
Linus Torvalds 已提交
3077 3078 3079 3080

	return error;
}

3081
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
3082
{
3083
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
3084 3085
}

L
Linus Torvalds 已提交
3086 3087 3088 3089 3090 3091 3092
/*
 * 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
3093
 *	   sb->s_vfs_rename_mutex. We might be more accurate, but that's another
L
Linus Torvalds 已提交
3094 3095
 *	   story.
 *	c) we have to lock _three_ objects - parents and victim (if it exists).
3096
 *	   And that - after we got ->i_mutex on parents (until then we don't know
L
Linus Torvalds 已提交
3097 3098
 *	   whether the target exists).  Solution: try to be smart with locking
 *	   order for inodes.  We rely on the fact that tree topology may change
3099
 *	   only under ->s_vfs_rename_mutex _and_ that parent of the object we
L
Linus Torvalds 已提交
3100 3101 3102
 *	   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,
3103
 *	   lock child" and rename is under ->s_vfs_rename_mutex.
L
Linus Torvalds 已提交
3104 3105 3106
 *	   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.
3107
 *	d) conversion from fhandle to dentry may come in the wrong moment - when
3108
 *	   we are removing the target. Solution: we will have to grab ->i_mutex
L
Linus Torvalds 已提交
3109
 *	   in the fhandle_to_dentry code. [FIXME - current nfsfh.c relies on
3110
 *	   ->i_mutex on parents, which works but leads to some truly excessive
L
Linus Torvalds 已提交
3111 3112
 *	   locking].
 */
A
Adrian Bunk 已提交
3113 3114
static int vfs_rename_dir(struct inode *old_dir, struct dentry *old_dentry,
			  struct inode *new_dir, struct dentry *new_dentry)
L
Linus Torvalds 已提交
3115 3116
{
	int error = 0;
S
Sage Weil 已提交
3117
	struct inode *target = new_dentry->d_inode;
3118
	unsigned max_links = new_dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3119 3120 3121 3122 3123 3124

	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
	if (new_dir != old_dir) {
3125
		error = inode_permission(old_dentry->d_inode, MAY_WRITE);
L
Linus Torvalds 已提交
3126 3127 3128 3129 3130 3131 3132 3133
		if (error)
			return error;
	}

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

3134
	dget(new_dentry);
3135
	if (target)
3136
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
3137 3138 3139 3140 3141

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

3142 3143 3144 3145 3146
	error = -EMLINK;
	if (max_links && !target && new_dir != old_dir &&
	    new_dir->i_nlink >= max_links)
		goto out;

3147 3148
	if (target)
		shrink_dcache_parent(new_dentry);
S
Sage Weil 已提交
3149 3150 3151 3152
	error = old_dir->i_op->rename(old_dir, old_dentry, new_dir, new_dentry);
	if (error)
		goto out;

L
Linus Torvalds 已提交
3153
	if (target) {
S
Sage Weil 已提交
3154 3155
		target->i_flags |= S_DEAD;
		dont_mount(new_dentry);
L
Linus Torvalds 已提交
3156
	}
S
Sage Weil 已提交
3157 3158 3159
out:
	if (target)
		mutex_unlock(&target->i_mutex);
3160
	dput(new_dentry);
3161
	if (!error)
3162 3163
		if (!(old_dir->i_sb->s_type->fs_flags & FS_RENAME_DOES_D_MOVE))
			d_move(old_dentry,new_dentry);
L
Linus Torvalds 已提交
3164 3165 3166
	return error;
}

A
Adrian Bunk 已提交
3167 3168
static int vfs_rename_other(struct inode *old_dir, struct dentry *old_dentry,
			    struct inode *new_dir, struct dentry *new_dentry)
L
Linus Torvalds 已提交
3169
{
S
Sage Weil 已提交
3170
	struct inode *target = new_dentry->d_inode;
L
Linus Torvalds 已提交
3171 3172 3173 3174 3175 3176 3177 3178
	int error;

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

	dget(new_dentry);
	if (target)
3179
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
3180 3181

	error = -EBUSY;
L
Linus Torvalds 已提交
3182
	if (d_mountpoint(old_dentry)||d_mountpoint(new_dentry))
S
Sage Weil 已提交
3183 3184 3185 3186 3187 3188 3189 3190 3191 3192 3193
		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 已提交
3194
	if (target)
3195
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3196 3197 3198 3199 3200 3201 3202 3203 3204
	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);
3205
	const unsigned char *old_name;
L
Linus Torvalds 已提交
3206 3207 3208 3209 3210 3211 3212 3213 3214

	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)
3215
		error = may_create(new_dir, new_dentry);
L
Linus Torvalds 已提交
3216 3217 3218 3219 3220
	else
		error = may_delete(new_dir, new_dentry, is_dir);
	if (error)
		return error;

A
Al Viro 已提交
3221
	if (!old_dir->i_op->rename)
L
Linus Torvalds 已提交
3222 3223
		return -EPERM;

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

L
Linus Torvalds 已提交
3226 3227 3228 3229
	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);
3230 3231
	if (!error)
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
3232
			      new_dentry->d_inode, old_dentry);
R
Robert Love 已提交
3233 3234
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
3235 3236 3237
	return error;
}

3238 3239
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3240
{
3241 3242 3243
	struct dentry *old_dir, *new_dir;
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
L
Linus Torvalds 已提交
3244
	struct nameidata oldnd, newnd;
3245 3246 3247
	char *from;
	char *to;
	int error;
L
Linus Torvalds 已提交
3248

3249
	error = user_path_parent(olddfd, oldname, &oldnd, &from);
L
Linus Torvalds 已提交
3250 3251 3252
	if (error)
		goto exit;

3253
	error = user_path_parent(newdfd, newname, &newnd, &to);
L
Linus Torvalds 已提交
3254 3255 3256 3257
	if (error)
		goto exit1;

	error = -EXDEV;
3258
	if (oldnd.path.mnt != newnd.path.mnt)
L
Linus Torvalds 已提交
3259 3260
		goto exit2;

3261
	old_dir = oldnd.path.dentry;
L
Linus Torvalds 已提交
3262 3263 3264 3265
	error = -EBUSY;
	if (oldnd.last_type != LAST_NORM)
		goto exit2;

3266
	new_dir = newnd.path.dentry;
L
Linus Torvalds 已提交
3267 3268 3269
	if (newnd.last_type != LAST_NORM)
		goto exit2;

3270 3271
	oldnd.flags &= ~LOOKUP_PARENT;
	newnd.flags &= ~LOOKUP_PARENT;
3272
	newnd.flags |= LOOKUP_RENAME_TARGET;
3273

L
Linus Torvalds 已提交
3274 3275
	trap = lock_rename(new_dir, old_dir);

3276
	old_dentry = lookup_hash(&oldnd);
L
Linus Torvalds 已提交
3277 3278 3279 3280 3281 3282 3283 3284 3285 3286 3287 3288 3289 3290 3291 3292 3293 3294 3295
	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;
3296
	new_dentry = lookup_hash(&newnd);
L
Linus Torvalds 已提交
3297 3298 3299 3300 3301 3302 3303 3304
	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;

3305 3306 3307
	error = mnt_want_write(oldnd.path.mnt);
	if (error)
		goto exit5;
3308 3309 3310 3311
	error = security_path_rename(&oldnd.path, old_dentry,
				     &newnd.path, new_dentry);
	if (error)
		goto exit6;
L
Linus Torvalds 已提交
3312 3313
	error = vfs_rename(old_dir->d_inode, old_dentry,
				   new_dir->d_inode, new_dentry);
3314
exit6:
3315
	mnt_drop_write(oldnd.path.mnt);
L
Linus Torvalds 已提交
3316 3317 3318 3319 3320 3321 3322
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
	unlock_rename(new_dir, old_dir);
exit2:
J
Jan Blunck 已提交
3323
	path_put(&newnd.path);
3324
	putname(to);
L
Linus Torvalds 已提交
3325
exit1:
J
Jan Blunck 已提交
3326
	path_put(&oldnd.path);
L
Linus Torvalds 已提交
3327
	putname(from);
3328
exit:
L
Linus Torvalds 已提交
3329 3330 3331
	return error;
}

3332
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
3333 3334 3335 3336
{
	return sys_renameat(AT_FDCWD, oldname, AT_FDCWD, newname);
}

L
Linus Torvalds 已提交
3337 3338 3339 3340 3341 3342 3343 3344 3345 3346 3347 3348 3349 3350 3351 3352 3353 3354 3355 3356 3357 3358 3359 3360 3361
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;
3362
	void *cookie;
3363
	int res;
3364

L
Linus Torvalds 已提交
3365
	nd.depth = 0;
3366
	cookie = dentry->d_inode->i_op->follow_link(dentry, &nd);
3367 3368 3369 3370 3371 3372 3373
	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 已提交
3374 3375 3376 3377 3378 3379 3380 3381 3382 3383
}

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)
{
3384 3385
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
3386
	struct address_space *mapping = dentry->d_inode->i_mapping;
3387
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
3388
	if (IS_ERR(page))
3389
		return (char*)page;
L
Linus Torvalds 已提交
3390
	*ppage = page;
3391 3392 3393
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
3394 3395 3396 3397 3398 3399 3400 3401 3402 3403 3404 3405 3406 3407
}

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

3408
void *page_follow_link_light(struct dentry *dentry, struct nameidata *nd)
L
Linus Torvalds 已提交
3409
{
3410
	struct page *page = NULL;
L
Linus Torvalds 已提交
3411
	nd_set_link(nd, page_getlink(dentry, &page));
3412
	return page;
L
Linus Torvalds 已提交
3413 3414
}

3415
void page_put_link(struct dentry *dentry, struct nameidata *nd, void *cookie)
L
Linus Torvalds 已提交
3416
{
3417 3418 3419
	struct page *page = cookie;

	if (page) {
L
Linus Torvalds 已提交
3420 3421 3422 3423 3424
		kunmap(page);
		page_cache_release(page);
	}
}

3425 3426 3427 3428
/*
 * 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 已提交
3429 3430
{
	struct address_space *mapping = inode->i_mapping;
3431
	struct page *page;
3432
	void *fsdata;
3433
	int err;
L
Linus Torvalds 已提交
3434
	char *kaddr;
3435 3436 3437
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
3438

3439
retry:
3440
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
3441
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
3442
	if (err)
3443 3444
		goto fail;

3445
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
3446
	memcpy(kaddr, symname, len-1);
3447
	kunmap_atomic(kaddr);
3448 3449 3450

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
3451 3452
	if (err < 0)
		goto fail;
3453 3454 3455
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
3456 3457 3458 3459 3460 3461
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}

3462 3463 3464
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
3465
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
3466 3467
}

3468
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
3469 3470 3471 3472 3473
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};

3474
EXPORT_SYMBOL(user_path_at);
3475
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
3476 3477 3478 3479 3480 3481 3482 3483 3484
EXPORT_SYMBOL(follow_down);
EXPORT_SYMBOL(follow_up);
EXPORT_SYMBOL(get_write_access); /* binfmt_aout */
EXPORT_SYMBOL(getname);
EXPORT_SYMBOL(lock_rename);
EXPORT_SYMBOL(lookup_one_len);
EXPORT_SYMBOL(page_follow_link_light);
EXPORT_SYMBOL(page_put_link);
EXPORT_SYMBOL(page_readlink);
3485
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
3486 3487
EXPORT_SYMBOL(page_symlink);
EXPORT_SYMBOL(page_symlink_inode_operations);
A
Al Viro 已提交
3488
EXPORT_SYMBOL(kern_path);
3489
EXPORT_SYMBOL(vfs_path_lookup);
3490
EXPORT_SYMBOL(inode_permission);
L
Linus Torvalds 已提交
3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3502 3503 3504
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);