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

/*
 * Some corrections by tytso.
 */

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

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

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

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

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

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

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

/* In order to reduce some races, while at the same time doing additional
 * checking and hopefully speeding things up, we copy filenames to the
 * kernel data space before using them..
 *
 * POSIX.1 2.4: an empty pathname is invalid (ENOENT).
 * PATH_MAX includes the nul terminator --RR.
 */
120
static char *getname_flags(const char __user *filename, int flags, int *empty)
L
Linus Torvalds 已提交
121
{
122 123
	char *result = __getname(), *err;
	int len;
124

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

128 129 130 131 132 133 134 135
	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)
136
			*empty = 1;
137 138 139
		err = ERR_PTR(-ENOENT);
		if (!(flags & LOOKUP_EMPTY))
			goto error;
L
Linus Torvalds 已提交
140
	}
141 142 143 144 145 146 147 148 149 150

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

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

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

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

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

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

	acl = get_cached_acl(inode, ACL_TYPE_ACCESS);

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

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

	return -EAGAIN;
}

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

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

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

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

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

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

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

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

	return -EACCES;
}

297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316
/*
 * 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 已提交
317 318 319
/**
 * inode_permission  -  check for access rights to a given inode
 * @inode:	inode to check permission on
320
 * @mask:	right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC, ...)
C
Christoph Hellwig 已提交
321 322 323 324 325
 *
 * 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.
326 327
 *
 * When checking for MAY_APPEND, MAY_WRITE must also be set in @mask.
C
Christoph Hellwig 已提交
328
 */
329
int inode_permission(struct inode *inode, int mask)
L
Linus Torvalds 已提交
330
{
331
	int retval;
L
Linus Torvalds 已提交
332

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

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

350
	retval = do_inode_permission(inode, mask);
L
Linus Torvalds 已提交
351 352 353
	if (retval)
		return retval;

354 355 356 357
	retval = devcgroup_inode_permission(inode, mask);
	if (retval)
		return retval;

358
	return security_inode_permission(inode, mask);
L
Linus Torvalds 已提交
359 360
}

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

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

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

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

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

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

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

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

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

502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519
	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 已提交
520 521 522 523
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

	if (likely(!(dentry->d_flags & DCACHE_OP_REVALIDATE)))
524 525
		return 0;

A
Al Viro 已提交
526 527 528 529
	if (likely(!(dentry->d_sb->s_type->fs_flags & FS_REVAL_DOT)))
		return 0;

	/* Note: we do not d_invalidate() */
530
	status = d_revalidate(dentry, nd);
531 532 533
	if (status > 0)
		return 0;

A
Al Viro 已提交
534
	if (!status)
535
		status = -ESTALE;
A
Al Viro 已提交
536

537
	path_put(&nd->path);
538 539 540
	return status;
}

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

547 548
static int link_path_walk(const char *, struct nameidata *);

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

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

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

L
Linus Torvalds 已提交
567 568 569 570
	if (IS_ERR(link))
		goto fail;

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

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

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

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

605 606 607 608 609 610 611 612
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 已提交
613
static __always_inline int
614
follow_link(struct path *link, struct nameidata *nd, void **p)
L
Linus Torvalds 已提交
615 616
{
	int error;
617
	struct dentry *dentry = link->dentry;
L
Linus Torvalds 已提交
618

619 620
	BUG_ON(nd->flags & LOOKUP_RCU);

A
Al Viro 已提交
621 622 623
	if (link->mnt == nd->path.mnt)
		mntget(link->mnt);

624 625 626 627 628 629 630 631
	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 已提交
632
	touch_atime(link);
L
Linus Torvalds 已提交
633
	nd_set_link(nd, NULL);
A
Al Viro 已提交
634

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

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

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

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

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

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

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

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

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

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

750 751
	if (!mnt) /* mount collision */
		return 0;
N
Nick Piggin 已提交
752

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

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

A
Al Viro 已提交
773 774
}

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

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

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

		/* We didn't change the current path point */
		break;
L
Linus Torvalds 已提交
837
	}
838 839 840 841 842

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

846
int follow_down_one(struct path *path)
L
Linus Torvalds 已提交
847 848 849
{
	struct vfsmount *mounted;

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

861 862 863 864 865 866
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);
}

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

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

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

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

N
Nick Piggin 已提交
916 917 918 919
static int follow_dotdot_rcu(struct nameidata *nd)
{
	set_root_rcu(nd);

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

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

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

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

L
Linus Torvalds 已提交
1023
	while(1) {
1024
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
1025

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

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

M
Miklos Szeredi 已提交
1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073
	*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;
				}
			}
		}
	}
1074

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

M
Miklos Szeredi 已提交
1080
		*need_lookup = true;
1081 1082 1083 1084
	}
	return dentry;
}

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

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

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

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

M
Miklos Szeredi 已提交
1116 1117 1118
	dentry = lookup_dcache(name, base, nd, &need_lookup);
	if (!need_lookup)
		return dentry;
1119

M
Miklos Szeredi 已提交
1120
	return lookup_real(base->d_inode, dentry, nd);
1121 1122
}

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

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

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

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

1191 1192 1193 1194
	if (unlikely(!dentry))
		goto need_lookup;

	if (unlikely(d_need_lookup(dentry))) {
1195
		dput(dentry);
1196
		goto need_lookup;
A
Al Viro 已提交
1197
	}
1198

A
Al Viro 已提交
1199 1200 1201 1202 1203 1204 1205 1206 1207
	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);
1208
			goto need_lookup;
A
Al Viro 已提交
1209
		}
1210
	}
1211
done:
1212 1213 1214
	path->mnt = mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
1215 1216
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
1217
		return err;
1218
	}
1219 1220
	if (err)
		nd->flags |= LOOKUP_JUMPED;
1221
	*inode = path->dentry->d_inode;
L
Linus Torvalds 已提交
1222
	return 0;
1223 1224 1225 1226 1227 1228 1229 1230 1231 1232

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 已提交
1233 1234
}

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

1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258
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;
}

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

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

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

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

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

	do {
		struct path link = *path;
		void *cookie;
1353 1354

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

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

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

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

1410
#include <asm/word-at-a-time.h>
1411

1412
#ifdef CONFIG_64BIT
1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431

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 (;;) {
1432
		a = load_unaligned_zeropad(name);
1433 1434 1435
		if (len < sizeof(unsigned long))
			break;
		hash += a;
1436
		hash *= 9;
1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461
		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);
1462
		a = load_unaligned_zeropad(name+len);
1463
		/* Do we have any NUL or '/' bytes in this word? */
1464
		mask = has_zero(a) | has_zero(a ^ REPEAT_BYTE('/'));
1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477
	} 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 已提交
1478 1479 1480 1481 1482 1483 1484
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);
}
1485
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1486

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

1506 1507
#endif

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

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

1532
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1533 1534 1535
 		if (err)
			break;

1536
		len = hash_name(name, &this.hash);
L
Linus Torvalds 已提交
1537
		this.name = name;
1538
		this.len = len;
L
Linus Torvalds 已提交
1539

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

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

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

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

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

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

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
A
Al Viro 已提交
1607
	nd->flags = flags | LOOKUP_JUMPED;
N
Nick Piggin 已提交
1608
	nd->depth = 0;
1609 1610
	if (flags & LOOKUP_ROOT) {
		struct inode *inode = nd->root.dentry->d_inode;
A
Al Viro 已提交
1611 1612 1613 1614 1615 1616 1617
		if (*name) {
			if (!inode->i_op->lookup)
				return -ENOTDIR;
			retval = inode_permission(inode, MAY_EXEC);
			if (retval)
				return retval;
		}
1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629
		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 已提交
1630 1631 1632
	nd->root.mnt = NULL;

	if (*name=='/') {
A
Al Viro 已提交
1633 1634 1635 1636 1637 1638 1639 1640 1641
		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 已提交
1642
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1643 1644 1645
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
1646

A
Al Viro 已提交
1647 1648
			br_read_lock(vfsmount_lock);
			rcu_read_lock();
N
Nick Piggin 已提交
1649

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

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

		dentry = file->f_path.dentry;

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

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

		nd->path = file->f_path;
A
Al Viro 已提交
1679 1680
		if (flags & LOOKUP_RCU) {
			if (fput_needed)
A
Al Viro 已提交
1681
				*fp = file;
A
Al Viro 已提交
1682 1683 1684 1685 1686 1687 1688
			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 已提交
1689 1690 1691
	}

	nd->inode = nd->path.dentry->d_inode;
1692
	return 0;
1693

1694 1695 1696 1697 1698 1699
fput_fail:
	fput_light(file, fput_needed);
out_fail:
	return retval;
}

1700 1701 1702 1703 1704 1705 1706 1707 1708 1709
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);
}

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

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

1734 1735
	if (unlikely(err))
		return err;
A
Al Viro 已提交
1736 1737

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

1753 1754
	if (!err)
		err = complete_walk(nd);
1755 1756 1757 1758

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

A
Al Viro 已提交
1763 1764
	if (base)
		fput(base);
A
Al Viro 已提交
1765

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

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

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

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

A
Al Viro 已提交
1796 1797 1798 1799 1800 1801 1802 1803 1804
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;
}

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

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

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

1856 1857
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

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

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

1879 1880 1881 1882
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

1883
	return __lookup_hash(&this, base, NULL);
1884 1885
}

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

		BUG_ON(flags & LOOKUP_PARENT);

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

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

1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927
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 已提交
1928 1929 1930 1931 1932 1933
/*
 * 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)
{
1934
	kuid_t fsuid = current_fsuid();
1935

L
Linus Torvalds 已提交
1936 1937
	if (!(dir->i_mode & S_ISVTX))
		return 0;
1938
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
1939
		return 0;
1940
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
1941
		return 0;
1942
	return !inode_capable(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963
}

/*
 *	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().
 */
1964
static int may_delete(struct inode *dir,struct dentry *victim,int isdir)
L
Linus Torvalds 已提交
1965 1966 1967 1968 1969 1970 1971
{
	int error;

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

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

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

/*
 * 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 已提交
2021
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2022 2023 2024
		return NULL;
	}

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

2027 2028 2029 2030 2031
	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 已提交
2032 2033
	}

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

I
Ingo Molnar 已提交
2041 2042
	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 已提交
2043 2044 2045 2046 2047
	return NULL;
}

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2048
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2049
	if (p1 != p2) {
2050
		mutex_unlock(&p2->d_inode->i_mutex);
2051
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2052 2053 2054
	}
}

A
Al Viro 已提交
2055
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
L
Linus Torvalds 已提交
2056 2057
		struct nameidata *nd)
{
2058
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2059 2060 2061 2062

	if (error)
		return error;

A
Al Viro 已提交
2063
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2064 2065 2066 2067 2068 2069 2070
		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);
2071
	if (!error)
2072
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2073 2074 2075
	return error;
}

A
Al Viro 已提交
2076
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2077
{
2078
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2079 2080 2081
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2082 2083 2084 2085
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2086 2087 2088
	if (!inode)
		return -ENOENT;

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

2107
	error = inode_permission(inode, acc_mode);
2108 2109
	if (error)
		return error;
M
Mimi Zohar 已提交
2110

L
Linus Torvalds 已提交
2111 2112 2113 2114
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2115
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2116
			return -EPERM;
L
Linus Torvalds 已提交
2117
		if (flag & O_TRUNC)
2118
			return -EPERM;
L
Linus Torvalds 已提交
2119 2120 2121
	}

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

2125
	return 0;
2126
}
L
Linus Torvalds 已提交
2127

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

2150 2151
static inline int open_to_namei_flags(int flag)
{
2152 2153
	if ((flag & O_ACCMODE) == 3)
		flag--;
2154 2155 2156
	return flag;
}

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

2172 2173 2174
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

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

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

		error = -ENOTDIR;
		if (nd->flags & LOOKUP_DIRECTORY) {
2220
			if (!nd->inode->i_op->lookup)
2221 2222 2223 2224 2225 2226 2227
				goto exit;
		}
		audit_inode(pathname, nd->path.dentry);
		goto ok;
	}

	/* create side of things */
2228 2229 2230 2231
	/*
	 * 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
	 */
2232 2233 2234
	error = complete_walk(nd);
	if (error)
		return ERR_PTR(error);
2235 2236

	audit_inode(pathname, dir);
A
Al Viro 已提交
2237
	error = -EISDIR;
2238
	/* trailing slashes? */
N
Nick Piggin 已提交
2239 2240
	if (nd->last.name[nd->last.len])
		goto exit;
A
Al Viro 已提交
2241

2242 2243
	mutex_lock(&dir->d_inode->i_mutex);

2244 2245 2246
	dentry = lookup_hash(nd);
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry)) {
2247 2248 2249 2250
		mutex_unlock(&dir->d_inode->i_mutex);
		goto exit;
	}

2251 2252 2253
	path->dentry = dentry;
	path->mnt = nd->path.mnt;

2254
	/* Negative dentry, just create the file */
2255
	if (!dentry->d_inode) {
2256
		umode_t mode = op->mode;
2257 2258
		if (!IS_POSIXACL(dir->d_inode))
			mode &= ~current_umask();
2259 2260
		/*
		 * This write is needed to ensure that a
2261
		 * rw->ro transition does not occur between
2262 2263 2264 2265 2266 2267 2268
		 * 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;
2269
		want_write = 1;
2270
		/* Don't check for write permission, don't truncate */
2271
		open_flag &= ~O_TRUNC;
2272
		will_truncate = 0;
A
Al Viro 已提交
2273
		acc_mode = MAY_OPEN;
2274 2275 2276 2277 2278 2279 2280 2281 2282
		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;
2283
		goto common;
2284 2285 2286 2287 2288 2289 2290 2291 2292
	}

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

	error = -EEXIST;
2293
	if (open_flag & O_EXCL)
2294 2295
		goto exit_dput;

2296 2297 2298
	error = follow_managed(path, nd->flags);
	if (error < 0)
		goto exit_dput;
2299

2300 2301 2302
	if (error)
		nd->flags |= LOOKUP_JUMPED;

2303 2304 2305
	error = -ENOENT;
	if (!path->dentry->d_inode)
		goto exit_dput;
A
Al Viro 已提交
2306 2307

	if (path->dentry->d_inode->i_op->follow_link)
2308 2309 2310
		return NULL;

	path_to_nameidata(path, nd);
N
Nick Piggin 已提交
2311
	nd->inode = path->dentry->d_inode;
2312 2313 2314
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
	error = complete_walk(nd);
	if (error)
2315
		return ERR_PTR(error);
2316
	error = -EISDIR;
N
Nick Piggin 已提交
2317
	if (S_ISDIR(nd->inode->i_mode))
2318
		goto exit;
2319
ok:
2320 2321 2322
	if (!S_ISREG(nd->inode->i_mode))
		will_truncate = 0;

2323 2324 2325 2326
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
			goto exit;
2327
		want_write = 1;
2328
	}
2329
common:
A
Al Viro 已提交
2330
	error = may_open(&nd->path, acc_mode, open_flag);
2331
	if (error)
2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349
		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);
			}
		}
	}
2350 2351
out:
	if (want_write)
2352 2353
		mnt_drop_write(nd->path.mnt);
	path_put(&nd->path);
2354 2355 2356 2357 2358 2359 2360
	return filp;

exit_mutex_unlock:
	mutex_unlock(&dir->d_inode->i_mutex);
exit_dput:
	path_put_conditional(path, nd);
exit:
2361 2362
	filp = ERR_PTR(error);
	goto out;
2363 2364
}

2365
static struct file *path_openat(int dfd, const char *pathname,
A
Al Viro 已提交
2366
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
2367
{
2368
	struct file *base = NULL;
2369
	struct file *filp;
2370
	struct path path;
2371
	int error;
N
Nick Piggin 已提交
2372 2373 2374 2375 2376

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

2377
	filp->f_flags = op->open_flag;
A
Al Viro 已提交
2378 2379 2380
	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 已提交
2381

A
Al Viro 已提交
2382
	error = path_init(dfd, pathname, flags | LOOKUP_PARENT, nd, &base);
N
Nick Piggin 已提交
2383
	if (unlikely(error))
2384
		goto out_filp;
N
Nick Piggin 已提交
2385

2386
	current->total_link_count = 0;
A
Al Viro 已提交
2387
	error = link_path_walk(pathname, nd);
N
Nick Piggin 已提交
2388 2389
	if (unlikely(error))
		goto out_filp;
L
Linus Torvalds 已提交
2390

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

N
Nick Piggin 已提交
2418
out_filp:
2419
	filp = ERR_PTR(error);
A
Al Viro 已提交
2420
	goto out;
L
Linus Torvalds 已提交
2421 2422
}

2423 2424 2425
struct file *do_filp_open(int dfd, const char *pathname,
		const struct open_flags *op, int flags)
{
A
Al Viro 已提交
2426
	struct nameidata nd;
2427 2428
	struct file *filp;

A
Al Viro 已提交
2429
	filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_RCU);
2430
	if (unlikely(filp == ERR_PTR(-ECHILD)))
A
Al Viro 已提交
2431
		filp = path_openat(dfd, pathname, &nd, op, flags);
2432
	if (unlikely(filp == ERR_PTR(-ESTALE)))
A
Al Viro 已提交
2433
		filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_REVAL);
2434 2435 2436
	return filp;
}

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

2467 2468 2469 2470
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
A
Al Viro 已提交
2471 2472 2473 2474 2475
	if (nd.last_type != LAST_NORM)
		goto out;
	nd.flags &= ~LOOKUP_PARENT;
	nd.flags |= LOOKUP_CREATE | LOOKUP_EXCL;
	nd.intent.open.flags = O_EXCL;
2476 2477 2478 2479

	/*
	 * Do the final lookup.
	 */
A
Al Viro 已提交
2480 2481
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
2482 2483
	if (IS_ERR(dentry))
		goto fail;
2484

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

	if (error)
		return error;

2530
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
2531 2532
		return -EPERM;

A
Al Viro 已提交
2533
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
2534 2535
		return -EPERM;

2536 2537 2538 2539
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
2540 2541 2542 2543 2544
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
2545
	if (!error)
2546
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2547 2548 2549
	return error;
}

A
Al Viro 已提交
2550
static int may_mknod(umode_t mode)
2551 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566
{
	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 已提交
2567
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
2568
		unsigned, dev)
L
Linus Torvalds 已提交
2569
{
2570
	struct dentry *dentry;
2571 2572
	struct path path;
	int error;
L
Linus Torvalds 已提交
2573 2574 2575 2576

	if (S_ISDIR(mode))
		return -EPERM;

2577 2578 2579
	dentry = user_path_create(dfd, filename, &path, 0);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
2580

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

	return error;
}

A
Al Viro 已提交
2614
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
2615 2616 2617 2618
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

2619
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
2620
{
2621
	int error = may_create(dir, dentry);
2622
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
2623 2624 2625 2626

	if (error)
		return error;

A
Al Viro 已提交
2627
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
2628 2629 2630 2631 2632 2633 2634
		return -EPERM;

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

2635 2636 2637
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
2638
	error = dir->i_op->mkdir(dir, dentry, mode);
2639
	if (!error)
2640
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
2641 2642 2643
	return error;
}

2644
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
2645
{
2646
	struct dentry *dentry;
2647 2648
	struct path path;
	int error;
L
Linus Torvalds 已提交
2649

2650
	dentry = user_path_create(dfd, pathname, &path, 1);
2651
	if (IS_ERR(dentry))
2652
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
2653

2654
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
2655
		mode &= ~current_umask();
2656
	error = mnt_want_write(path.mnt);
2657 2658
	if (error)
		goto out_dput;
2659
	error = security_path_mkdir(&path, dentry, mode);
2660 2661
	if (error)
		goto out_drop_write;
2662
	error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
2663
out_drop_write:
2664
	mnt_drop_write(path.mnt);
2665
out_dput:
2666
	dput(dentry);
2667 2668
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	path_put(&path);
L
Linus Torvalds 已提交
2669 2670 2671
	return error;
}

2672
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
2673 2674 2675 2676
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

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

2711
	dget(dentry);
2712
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
2713 2714

	error = -EBUSY;
L
Linus Torvalds 已提交
2715
	if (d_mountpoint(dentry))
S
Sage Weil 已提交
2716 2717 2718 2719 2720 2721
		goto out;

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

2722
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
2723 2724 2725 2726 2727 2728 2729 2730
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

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

out:
2731
	mutex_unlock(&dentry->d_inode->i_mutex);
2732
	dput(dentry);
S
Sage Weil 已提交
2733
	if (!error)
L
Linus Torvalds 已提交
2734 2735 2736 2737
		d_delete(dentry);
	return error;
}

2738
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
2739 2740 2741 2742 2743 2744
{
	int error = 0;
	char * name;
	struct dentry *dentry;
	struct nameidata nd;

2745
	error = user_path_parent(dfd, pathname, &nd, &name);
L
Linus Torvalds 已提交
2746
	if (error)
2747
		return error;
L
Linus Torvalds 已提交
2748 2749

	switch(nd.last_type) {
2750 2751 2752 2753 2754 2755 2756 2757 2758
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
2759
	}
2760 2761 2762

	nd.flags &= ~LOOKUP_PARENT;

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

2791
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
2792 2793 2794 2795
{
	return do_rmdir(AT_FDCWD, pathname);
}

L
Linus Torvalds 已提交
2796 2797 2798 2799 2800 2801 2802
int vfs_unlink(struct inode *dir, struct dentry *dentry)
{
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
2803
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
2804 2805
		return -EPERM;

2806
	mutex_lock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2807 2808 2809 2810
	if (d_mountpoint(dentry))
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
2811
		if (!error) {
L
Linus Torvalds 已提交
2812
			error = dir->i_op->unlink(dir, dentry);
2813
			if (!error)
2814
				dont_mount(dentry);
2815
		}
L
Linus Torvalds 已提交
2816
	}
2817
	mutex_unlock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2818 2819 2820

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

L
Linus Torvalds 已提交
2825 2826 2827 2828 2829
	return error;
}

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

2842
	error = user_path_parent(dfd, pathname, &nd, &name);
L
Linus Torvalds 已提交
2843
	if (error)
2844 2845
		return error;

L
Linus Torvalds 已提交
2846 2847 2848
	error = -EISDIR;
	if (nd.last_type != LAST_NORM)
		goto exit1;
2849 2850 2851

	nd.flags &= ~LOOKUP_PARENT;

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

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

2889
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
2890 2891 2892 2893 2894 2895 2896 2897 2898 2899
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

2900
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
2901 2902 2903 2904
{
	return do_unlinkat(AT_FDCWD, pathname);
}

2905
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
2906
{
2907
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2908 2909 2910 2911

	if (error)
		return error;

A
Al Viro 已提交
2912
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
2913 2914 2915 2916 2917 2918 2919
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
2920
	if (!error)
2921
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2922 2923 2924
	return error;
}

2925 2926
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
2927
{
2928 2929
	int error;
	char *from;
2930
	struct dentry *dentry;
2931
	struct path path;
L
Linus Torvalds 已提交
2932 2933

	from = getname(oldname);
2934
	if (IS_ERR(from))
L
Linus Torvalds 已提交
2935 2936
		return PTR_ERR(from);

2937
	dentry = user_path_create(newdfd, newname, &path, 0);
2938 2939
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
2940
		goto out_putname;
2941

2942
	error = mnt_want_write(path.mnt);
2943 2944
	if (error)
		goto out_dput;
2945
	error = security_path_symlink(&path, dentry, from);
2946 2947
	if (error)
		goto out_drop_write;
2948
	error = vfs_symlink(path.dentry->d_inode, dentry, from);
2949
out_drop_write:
2950
	mnt_drop_write(path.mnt);
2951
out_dput:
2952
	dput(dentry);
2953 2954
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	path_put(&path);
2955
out_putname:
L
Linus Torvalds 已提交
2956 2957 2958 2959
	putname(from);
	return error;
}

2960
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
2961 2962 2963 2964
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

L
Linus Torvalds 已提交
2965 2966 2967
int vfs_link(struct dentry *old_dentry, struct inode *dir, struct dentry *new_dentry)
{
	struct inode *inode = old_dentry->d_inode;
2968
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
2969 2970 2971 2972 2973
	int error;

	if (!inode)
		return -ENOENT;

2974
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
2975 2976 2977 2978 2979 2980 2981 2982 2983 2984 2985
	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 已提交
2986
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
2987
		return -EPERM;
2988
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
2989 2990 2991 2992 2993 2994
		return -EPERM;

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

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

3026
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
3027
		return -EINVAL;
3028 3029 3030 3031 3032 3033 3034 3035 3036 3037 3038 3039 3040
	/*
	 * 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;
3041

3042
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
3043
	if (error)
3044 3045
		return error;

3046
	new_dentry = user_path_create(newdfd, newname, &new_path, 0);
L
Linus Torvalds 已提交
3047
	error = PTR_ERR(new_dentry);
3048
	if (IS_ERR(new_dentry))
3049 3050 3051 3052 3053 3054
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
	error = mnt_want_write(new_path.mnt);
3055 3056
	if (error)
		goto out_dput;
3057
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
3058 3059
	if (error)
		goto out_drop_write;
3060
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry);
3061
out_drop_write:
3062
	mnt_drop_write(new_path.mnt);
3063
out_dput:
3064
	dput(new_dentry);
3065 3066
	mutex_unlock(&new_path.dentry->d_inode->i_mutex);
	path_put(&new_path);
L
Linus Torvalds 已提交
3067
out:
3068
	path_put(&old_path);
L
Linus Torvalds 已提交
3069 3070 3071 3072

	return error;
}

3073
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
3074
{
3075
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
3076 3077
}

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

	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
	if (new_dir != old_dir) {
3117
		error = inode_permission(old_dentry->d_inode, MAY_WRITE);
L
Linus Torvalds 已提交
3118 3119 3120 3121 3122 3123 3124 3125
		if (error)
			return error;
	}

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

3126
	dget(new_dentry);
3127
	if (target)
3128
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
3129 3130 3131 3132 3133

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

3134 3135 3136 3137 3138
	error = -EMLINK;
	if (max_links && !target && new_dir != old_dir &&
	    new_dir->i_nlink >= max_links)
		goto out;

3139 3140
	if (target)
		shrink_dcache_parent(new_dentry);
S
Sage Weil 已提交
3141 3142 3143 3144
	error = old_dir->i_op->rename(old_dir, old_dentry, new_dir, new_dentry);
	if (error)
		goto out;

L
Linus Torvalds 已提交
3145
	if (target) {
S
Sage Weil 已提交
3146 3147
		target->i_flags |= S_DEAD;
		dont_mount(new_dentry);
L
Linus Torvalds 已提交
3148
	}
S
Sage Weil 已提交
3149 3150 3151
out:
	if (target)
		mutex_unlock(&target->i_mutex);
3152
	dput(new_dentry);
3153
	if (!error)
3154 3155
		if (!(old_dir->i_sb->s_type->fs_flags & FS_RENAME_DOES_D_MOVE))
			d_move(old_dentry,new_dentry);
L
Linus Torvalds 已提交
3156 3157 3158
	return error;
}

A
Adrian Bunk 已提交
3159 3160
static int vfs_rename_other(struct inode *old_dir, struct dentry *old_dentry,
			    struct inode *new_dir, struct dentry *new_dentry)
L
Linus Torvalds 已提交
3161
{
S
Sage Weil 已提交
3162
	struct inode *target = new_dentry->d_inode;
L
Linus Torvalds 已提交
3163 3164 3165 3166 3167 3168 3169 3170
	int error;

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

	dget(new_dentry);
	if (target)
3171
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
3172 3173

	error = -EBUSY;
L
Linus Torvalds 已提交
3174
	if (d_mountpoint(old_dentry)||d_mountpoint(new_dentry))
S
Sage Weil 已提交
3175 3176 3177 3178 3179 3180 3181 3182 3183 3184 3185
		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 已提交
3186
	if (target)
3187
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3188 3189 3190 3191 3192 3193 3194 3195 3196
	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);
3197
	const unsigned char *old_name;
L
Linus Torvalds 已提交
3198 3199 3200 3201 3202 3203 3204 3205 3206

	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)
3207
		error = may_create(new_dir, new_dentry);
L
Linus Torvalds 已提交
3208 3209 3210 3211 3212
	else
		error = may_delete(new_dir, new_dentry, is_dir);
	if (error)
		return error;

A
Al Viro 已提交
3213
	if (!old_dir->i_op->rename)
L
Linus Torvalds 已提交
3214 3215
		return -EPERM;

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

L
Linus Torvalds 已提交
3218 3219 3220 3221
	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);
3222 3223
	if (!error)
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
3224
			      new_dentry->d_inode, old_dentry);
R
Robert Love 已提交
3225 3226
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
3227 3228 3229
	return error;
}

3230 3231
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3232
{
3233 3234 3235
	struct dentry *old_dir, *new_dir;
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
L
Linus Torvalds 已提交
3236
	struct nameidata oldnd, newnd;
3237 3238 3239
	char *from;
	char *to;
	int error;
L
Linus Torvalds 已提交
3240

3241
	error = user_path_parent(olddfd, oldname, &oldnd, &from);
L
Linus Torvalds 已提交
3242 3243 3244
	if (error)
		goto exit;

3245
	error = user_path_parent(newdfd, newname, &newnd, &to);
L
Linus Torvalds 已提交
3246 3247 3248 3249
	if (error)
		goto exit1;

	error = -EXDEV;
3250
	if (oldnd.path.mnt != newnd.path.mnt)
L
Linus Torvalds 已提交
3251 3252
		goto exit2;

3253
	old_dir = oldnd.path.dentry;
L
Linus Torvalds 已提交
3254 3255 3256 3257
	error = -EBUSY;
	if (oldnd.last_type != LAST_NORM)
		goto exit2;

3258
	new_dir = newnd.path.dentry;
L
Linus Torvalds 已提交
3259 3260 3261
	if (newnd.last_type != LAST_NORM)
		goto exit2;

3262 3263
	oldnd.flags &= ~LOOKUP_PARENT;
	newnd.flags &= ~LOOKUP_PARENT;
3264
	newnd.flags |= LOOKUP_RENAME_TARGET;
3265

L
Linus Torvalds 已提交
3266 3267
	trap = lock_rename(new_dir, old_dir);

3268
	old_dentry = lookup_hash(&oldnd);
L
Linus Torvalds 已提交
3269 3270 3271 3272 3273 3274 3275 3276 3277 3278 3279 3280 3281 3282 3283 3284 3285 3286 3287
	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;
3288
	new_dentry = lookup_hash(&newnd);
L
Linus Torvalds 已提交
3289 3290 3291 3292 3293 3294 3295 3296
	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;

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

3324
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
3325 3326 3327 3328
{
	return sys_renameat(AT_FDCWD, oldname, AT_FDCWD, newname);
}

L
Linus Torvalds 已提交
3329 3330 3331 3332 3333 3334 3335 3336 3337 3338 3339 3340 3341 3342 3343 3344 3345 3346 3347 3348 3349 3350 3351 3352 3353
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;
3354
	void *cookie;
3355
	int res;
3356

L
Linus Torvalds 已提交
3357
	nd.depth = 0;
3358
	cookie = dentry->d_inode->i_op->follow_link(dentry, &nd);
3359 3360 3361 3362 3363 3364 3365
	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 已提交
3366 3367 3368 3369 3370 3371 3372 3373 3374 3375
}

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)
{
3376 3377
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
3378
	struct address_space *mapping = dentry->d_inode->i_mapping;
3379
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
3380
	if (IS_ERR(page))
3381
		return (char*)page;
L
Linus Torvalds 已提交
3382
	*ppage = page;
3383 3384 3385
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
3386 3387 3388 3389 3390 3391 3392 3393 3394 3395 3396 3397 3398 3399
}

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

3400
void *page_follow_link_light(struct dentry *dentry, struct nameidata *nd)
L
Linus Torvalds 已提交
3401
{
3402
	struct page *page = NULL;
L
Linus Torvalds 已提交
3403
	nd_set_link(nd, page_getlink(dentry, &page));
3404
	return page;
L
Linus Torvalds 已提交
3405 3406
}

3407
void page_put_link(struct dentry *dentry, struct nameidata *nd, void *cookie)
L
Linus Torvalds 已提交
3408
{
3409 3410 3411
	struct page *page = cookie;

	if (page) {
L
Linus Torvalds 已提交
3412 3413 3414 3415 3416
		kunmap(page);
		page_cache_release(page);
	}
}

3417 3418 3419 3420
/*
 * 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 已提交
3421 3422
{
	struct address_space *mapping = inode->i_mapping;
3423
	struct page *page;
3424
	void *fsdata;
3425
	int err;
L
Linus Torvalds 已提交
3426
	char *kaddr;
3427 3428 3429
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
3430

3431
retry:
3432
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
3433
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
3434
	if (err)
3435 3436
		goto fail;

3437
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
3438
	memcpy(kaddr, symname, len-1);
3439
	kunmap_atomic(kaddr);
3440 3441 3442

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
3443 3444
	if (err < 0)
		goto fail;
3445 3446 3447
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
3448 3449 3450 3451 3452 3453
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}

3454 3455 3456
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
3457
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
3458 3459
}

3460
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
3461 3462 3463 3464 3465
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};

3466
EXPORT_SYMBOL(user_path_at);
3467
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
3468 3469 3470 3471 3472 3473 3474 3475 3476
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);
3477
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
3478 3479
EXPORT_SYMBOL(page_symlink);
EXPORT_SYMBOL(page_symlink_inode_operations);
A
Al Viro 已提交
3480
EXPORT_SYMBOL(kern_path);
3481
EXPORT_SYMBOL(vfs_path_lookup);
3482
EXPORT_SYMBOL(inode_permission);
L
Linus Torvalds 已提交
3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3493 3494 3495 3496
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);