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

/*
 * Some corrections by tytso.
 */

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

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

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

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

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

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

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

/* In order to reduce some races, while at the same time doing additional
 * checking and hopefully speeding things up, we copy filenames to the
 * kernel data space before using them..
 *
 * POSIX.1 2.4: an empty pathname is invalid (ENOENT).
 * PATH_MAX includes the nul terminator --RR.
 */
120
void final_putname(struct filename *name)
L
Linus Torvalds 已提交
121
{
122 123 124 125 126 127
	if (name->separate) {
		__putname(name->name);
		kfree(name);
	} else {
		__putname(name);
	}
128 129
}

130 131
#define EMBEDDED_NAME_MAX	(PATH_MAX - sizeof(struct filename))

132 133 134 135
static struct filename *
getname_flags(const char __user *filename, int flags, int *empty)
{
	struct filename *result, *err;
136
	int len;
137 138
	long max;
	char *kname;
139

140 141 142 143
	result = audit_reusename(filename);
	if (result)
		return result;

144
	result = __getname();
145
	if (unlikely(!result))
146 147
		return ERR_PTR(-ENOMEM);

148 149 150 151 152
	/*
	 * First, try to embed the struct filename inside the names_cache
	 * allocation
	 */
	kname = (char *)result + sizeof(*result);
153
	result->name = kname;
154 155 156 157 158
	result->separate = false;
	max = EMBEDDED_NAME_MAX;

recopy:
	len = strncpy_from_user(kname, filename, max);
159 160
	if (unlikely(len < 0)) {
		err = ERR_PTR(len);
161
		goto error;
162
	}
163

164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184
	/*
	 * Uh-oh. We have a name that's approaching PATH_MAX. Allocate a
	 * separate struct filename so we can dedicate the entire
	 * names_cache allocation for the pathname, and re-do the copy from
	 * userland.
	 */
	if (len == EMBEDDED_NAME_MAX && max == EMBEDDED_NAME_MAX) {
		kname = (char *)result;

		result = kzalloc(sizeof(*result), GFP_KERNEL);
		if (!result) {
			err = ERR_PTR(-ENOMEM);
			result = (struct filename *)kname;
			goto error;
		}
		result->name = kname;
		result->separate = true;
		max = PATH_MAX;
		goto recopy;
	}

185 186 187
	/* The empty path is special. */
	if (unlikely(!len)) {
		if (empty)
188
			*empty = 1;
189 190 191
		err = ERR_PTR(-ENOENT);
		if (!(flags & LOOKUP_EMPTY))
			goto error;
L
Linus Torvalds 已提交
192
	}
193 194

	err = ERR_PTR(-ENAMETOOLONG);
195 196 197 198
	if (unlikely(len >= PATH_MAX))
		goto error;

	result->uptr = filename;
199
	result->aname = NULL;
200 201
	audit_getname(result);
	return result;
202 203

error:
204
	final_putname(result);
205
	return err;
L
Linus Torvalds 已提交
206 207
}

208 209
struct filename *
getname(const char __user * filename)
A
Al Viro 已提交
210
{
211
	return getname_flags(filename, 0, NULL);
A
Al Viro 已提交
212 213
}

214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242
/*
 * The "getname_kernel()" interface doesn't do pathnames longer
 * than EMBEDDED_NAME_MAX. Deal with it - you're a kernel user.
 */
struct filename *
getname_kernel(const char * filename)
{
	struct filename *result;
	char *kname;
	int len;

	len = strlen(filename);
	if (len >= EMBEDDED_NAME_MAX)
		return ERR_PTR(-ENAMETOOLONG);

	result = __getname();
	if (unlikely(!result))
		return ERR_PTR(-ENOMEM);

	kname = (char *)result + sizeof(*result);
	result->name = kname;
	result->uptr = NULL;
	result->aname = NULL;
	result->separate = false;

	strlcpy(kname, filename, EMBEDDED_NAME_MAX);
	return result;
}

L
Linus Torvalds 已提交
243
#ifdef CONFIG_AUDITSYSCALL
244
void putname(struct filename *name)
L
Linus Torvalds 已提交
245
{
246
	if (unlikely(!audit_dummy_context()))
247 248
		return audit_putname(name);
	final_putname(name);
L
Linus Torvalds 已提交
249 250 251
}
#endif

252 253
static int check_acl(struct inode *inode, int mask)
{
254
#ifdef CONFIG_FS_POSIX_ACL
255 256 257
	struct posix_acl *acl;

	if (mask & MAY_NOT_BLOCK) {
258 259
		acl = get_cached_acl_rcu(inode, ACL_TYPE_ACCESS);
	        if (!acl)
260
	                return -EAGAIN;
261 262 263
		/* no ->get_acl() calls in RCU mode... */
		if (acl == ACL_NOT_CACHED)
			return -ECHILD;
A
Ari Savolainen 已提交
264
	        return posix_acl_permission(inode, acl, mask & ~MAY_NOT_BLOCK);
265 266
	}

C
Christoph Hellwig 已提交
267 268 269
	acl = get_acl(inode, ACL_TYPE_ACCESS);
	if (IS_ERR(acl))
		return PTR_ERR(acl);
270 271 272 273 274
	if (acl) {
	        int error = posix_acl_permission(inode, acl, mask);
	        posix_acl_release(acl);
	        return error;
	}
275
#endif
276 277 278 279

	return -EAGAIN;
}

280
/*
281
 * This does the basic permission checking
L
Linus Torvalds 已提交
282
 */
283
static int acl_permission_check(struct inode *inode, int mask)
L
Linus Torvalds 已提交
284
{
285
	unsigned int mode = inode->i_mode;
L
Linus Torvalds 已提交
286

287
	if (likely(uid_eq(current_fsuid(), inode->i_uid)))
L
Linus Torvalds 已提交
288 289
		mode >>= 6;
	else {
290
		if (IS_POSIXACL(inode) && (mode & S_IRWXG)) {
291
			int error = check_acl(inode, mask);
292 293
			if (error != -EAGAIN)
				return error;
L
Linus Torvalds 已提交
294 295 296 297 298 299 300 301 302
		}

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

	/*
	 * If the DACs are ok we don't need any capability check.
	 */
303
	if ((mask & ~mode & (MAY_READ | MAY_WRITE | MAY_EXEC)) == 0)
L
Linus Torvalds 已提交
304
		return 0;
305 306 307 308
	return -EACCES;
}

/**
309
 * generic_permission -  check for access rights on a Posix-like filesystem
310
 * @inode:	inode to check access rights for
311
 * @mask:	right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC, ...)
312 313 314 315
 *
 * 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
316 317 318 319 320
 * 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.
321
 */
322
int generic_permission(struct inode *inode, int mask)
323 324 325 326
{
	int ret;

	/*
327
	 * Do the basic permission checks.
328
	 */
329
	ret = acl_permission_check(inode, mask);
330 331
	if (ret != -EACCES)
		return ret;
L
Linus Torvalds 已提交
332

333 334
	if (S_ISDIR(inode->i_mode)) {
		/* DACs are overridable for directories */
335
		if (inode_capable(inode, CAP_DAC_OVERRIDE))
336 337
			return 0;
		if (!(mask & MAY_WRITE))
338
			if (inode_capable(inode, CAP_DAC_READ_SEARCH))
339 340 341
				return 0;
		return -EACCES;
	}
L
Linus Torvalds 已提交
342 343
	/*
	 * Read/write DACs are always overridable.
344 345
	 * Executable DACs are overridable when there is
	 * at least one exec bit set.
L
Linus Torvalds 已提交
346
	 */
347
	if (!(mask & MAY_EXEC) || (inode->i_mode & S_IXUGO))
348
		if (inode_capable(inode, CAP_DAC_OVERRIDE))
L
Linus Torvalds 已提交
349 350 351 352 353
			return 0;

	/*
	 * Searching includes executable on directories, else just read.
	 */
354
	mask &= MAY_READ | MAY_WRITE | MAY_EXEC;
355
	if (mask == MAY_READ)
356
		if (inode_capable(inode, CAP_DAC_READ_SEARCH))
L
Linus Torvalds 已提交
357 358 359 360 361
			return 0;

	return -EACCES;
}

362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381
/*
 * 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 已提交
382
/**
D
David Howells 已提交
383 384 385
 * __inode_permission - Check for access rights to a given inode
 * @inode: Inode to check permission on
 * @mask: Right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
C
Christoph Hellwig 已提交
386
 *
D
David Howells 已提交
387
 * Check for read/write/execute permissions on an inode.
388 389
 *
 * When checking for MAY_APPEND, MAY_WRITE must also be set in @mask.
D
David Howells 已提交
390 391 392
 *
 * This does not check for a read-only file system.  You probably want
 * inode_permission().
C
Christoph Hellwig 已提交
393
 */
D
David Howells 已提交
394
int __inode_permission(struct inode *inode, int mask)
L
Linus Torvalds 已提交
395
{
396
	int retval;
L
Linus Torvalds 已提交
397

398
	if (unlikely(mask & MAY_WRITE)) {
L
Linus Torvalds 已提交
399 400 401 402 403 404 405
		/*
		 * Nobody gets write access to an immutable file.
		 */
		if (IS_IMMUTABLE(inode))
			return -EACCES;
	}

406
	retval = do_inode_permission(inode, mask);
L
Linus Torvalds 已提交
407 408 409
	if (retval)
		return retval;

410 411 412 413
	retval = devcgroup_inode_permission(inode, mask);
	if (retval)
		return retval;

414
	return security_inode_permission(inode, mask);
L
Linus Torvalds 已提交
415 416
}

D
David Howells 已提交
417 418 419
/**
 * sb_permission - Check superblock-level permissions
 * @sb: Superblock of inode to check permission on
420
 * @inode: Inode to check permission on
D
David Howells 已提交
421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458
 * @mask: Right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
 *
 * Separate out file-system wide checks from inode-specific permission checks.
 */
static int sb_permission(struct super_block *sb, struct inode *inode, int mask)
{
	if (unlikely(mask & MAY_WRITE)) {
		umode_t mode = inode->i_mode;

		/* Nobody gets write access to a read-only fs. */
		if ((sb->s_flags & MS_RDONLY) &&
		    (S_ISREG(mode) || S_ISDIR(mode) || S_ISLNK(mode)))
			return -EROFS;
	}
	return 0;
}

/**
 * inode_permission - Check for access rights to a given inode
 * @inode: Inode to check permission on
 * @mask: Right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
 *
 * Check for read/write/execute permissions on an inode.  We use fs[ug]id for
 * this, letting us set arbitrary permissions for filesystem access without
 * changing the "normal" UIDs which are used for other things.
 *
 * When checking for MAY_APPEND, MAY_WRITE must also be set in @mask.
 */
int inode_permission(struct inode *inode, int mask)
{
	int retval;

	retval = sb_permission(inode->i_sb, inode, mask);
	if (retval)
		return retval;
	return __inode_permission(inode, mask);
}

J
Jan Blunck 已提交
459 460 461 462 463 464
/**
 * 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.
 */
465
void path_get(const struct path *path)
J
Jan Blunck 已提交
466 467 468 469 470 471
{
	mntget(path->mnt);
	dget(path->dentry);
}
EXPORT_SYMBOL(path_get);

J
Jan Blunck 已提交
472 473 474 475 476 477
/**
 * 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.
 */
478
void path_put(const struct path *path)
L
Linus Torvalds 已提交
479
{
J
Jan Blunck 已提交
480 481
	dput(path->dentry);
	mntput(path->mnt);
L
Linus Torvalds 已提交
482
}
J
Jan Blunck 已提交
483
EXPORT_SYMBOL(path_put);
L
Linus Torvalds 已提交
484

A
Al Viro 已提交
485
/*
N
Nick Piggin 已提交
486
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
487 488 489 490 491 492 493
 * 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 已提交
494 495 496
 */

/**
A
Al Viro 已提交
497 498 499
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry or NULL
500
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
501
 *
A
Al Viro 已提交
502 503 504
 * 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 已提交
505
 */
A
Al Viro 已提交
506
static int unlazy_walk(struct nameidata *nd, struct dentry *dentry)
N
Nick Piggin 已提交
507 508 509 510 511
{
	struct fs_struct *fs = current->fs;
	struct dentry *parent = nd->path.dentry;

	BUG_ON(!(nd->flags & LOOKUP_RCU));
512 513

	/*
A
Al Viro 已提交
514 515 516 517 518 519
	 * After legitimizing the bastards, terminate_walk()
	 * will do the right thing for non-RCU mode, and all our
	 * subsequent exit cases should rcu_read_unlock()
	 * before returning.  Do vfsmount first; if dentry
	 * can't be legitimized, just set nd->path.dentry to NULL
	 * and rely on dput(NULL) being a no-op.
520
	 */
A
Al Viro 已提交
521
	if (!legitimize_mnt(nd->path.mnt, nd->m_seq))
522 523
		return -ECHILD;
	nd->flags &= ~LOOKUP_RCU;
524

A
Al Viro 已提交
525 526
	if (!lockref_get_not_dead(&parent->d_lockref)) {
		nd->path.dentry = NULL;	
527
		goto out;
A
Al Viro 已提交
528 529
	}

530 531 532 533 534 535 536 537 538 539 540
	/*
	 * For a negative lookup, the lookup sequence point is the parents
	 * sequence point, and it only needs to revalidate the parent dentry.
	 *
	 * For a positive lookup, we need to move both the parent and the
	 * dentry from the RCU domain to be properly refcounted. And the
	 * sequence number in the dentry validates *both* dentry counters,
	 * since we checked the sequence number of the parent after we got
	 * the child sequence number. So we know the parent must still
	 * be valid if the child sequence number is still valid.
	 */
A
Al Viro 已提交
541
	if (!dentry) {
542 543
		if (read_seqcount_retry(&parent->d_seq, nd->seq))
			goto out;
A
Al Viro 已提交
544 545
		BUG_ON(nd->inode != parent->d_inode);
	} else {
546 547 548 549
		if (!lockref_get_not_dead(&dentry->d_lockref))
			goto out;
		if (read_seqcount_retry(&dentry->d_seq, nd->seq))
			goto drop_dentry;
A
Al Viro 已提交
550
	}
551 552 553 554 555 556 557 558 559

	/*
	 * Sequence counts matched. Now make sure that the root is
	 * still valid and get it if required.
	 */
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT)) {
		spin_lock(&fs->lock);
		if (nd->root.mnt != fs->root.mnt || nd->root.dentry != fs->root.dentry)
			goto unlock_and_drop_dentry;
N
Nick Piggin 已提交
560 561 562 563
		path_get(&nd->root);
		spin_unlock(&fs->lock);
	}

A
Al Viro 已提交
564
	rcu_read_unlock();
N
Nick Piggin 已提交
565
	return 0;
A
Al Viro 已提交
566

567 568 569
unlock_and_drop_dentry:
	spin_unlock(&fs->lock);
drop_dentry:
A
Al Viro 已提交
570
	rcu_read_unlock();
571
	dput(dentry);
572
	goto drop_root_mnt;
573
out:
A
Al Viro 已提交
574
	rcu_read_unlock();
575 576 577
drop_root_mnt:
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
N
Nick Piggin 已提交
578 579 580
	return -ECHILD;
}

581
static inline int d_revalidate(struct dentry *dentry, unsigned int flags)
582
{
583
	return dentry->d_op->d_revalidate(dentry, flags);
584 585
}

586 587 588
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
589
 *
590 591 592 593 594
 * 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.
595
 */
596
static int complete_walk(struct nameidata *nd)
597
{
A
Al Viro 已提交
598
	struct dentry *dentry = nd->path.dentry;
599 600
	int status;

601 602 603 604
	if (nd->flags & LOOKUP_RCU) {
		nd->flags &= ~LOOKUP_RCU;
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
605

A
Al Viro 已提交
606
		if (!legitimize_mnt(nd->path.mnt, nd->m_seq)) {
A
Al Viro 已提交
607
			rcu_read_unlock();
A
Al Viro 已提交
608 609
			return -ECHILD;
		}
610
		if (unlikely(!lockref_get_not_dead(&dentry->d_lockref))) {
A
Al Viro 已提交
611
			rcu_read_unlock();
A
Al Viro 已提交
612
			mntput(nd->path.mnt);
613 614 615
			return -ECHILD;
		}
		if (read_seqcount_retry(&dentry->d_seq, nd->seq)) {
A
Al Viro 已提交
616
			rcu_read_unlock();
617
			dput(dentry);
A
Al Viro 已提交
618
			mntput(nd->path.mnt);
619 620
			return -ECHILD;
		}
A
Al Viro 已提交
621
		rcu_read_unlock();
622 623
	}

A
Al Viro 已提交
624 625 626
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

627
	if (likely(!(dentry->d_flags & DCACHE_OP_WEAK_REVALIDATE)))
628 629
		return 0;

630
	status = dentry->d_op->d_weak_revalidate(dentry, nd->flags);
631 632 633
	if (status > 0)
		return 0;

A
Al Viro 已提交
634
	if (!status)
635
		status = -ESTALE;
A
Al Viro 已提交
636

637
	path_put(&nd->path);
638 639 640
	return status;
}

A
Al Viro 已提交
641 642
static __always_inline void set_root(struct nameidata *nd)
{
643 644
	if (!nd->root.mnt)
		get_fs_root(current->fs, &nd->root);
A
Al Viro 已提交
645 646
}

647 648
static int link_path_walk(const char *, struct nameidata *);

N
Nick Piggin 已提交
649 650 651 652
static __always_inline void set_root_rcu(struct nameidata *nd)
{
	if (!nd->root.mnt) {
		struct fs_struct *fs = current->fs;
N
Nick Piggin 已提交
653 654 655 656 657
		unsigned seq;

		do {
			seq = read_seqcount_begin(&fs->seq);
			nd->root = fs->root;
658
			nd->seq = __read_seqcount_begin(&nd->root.dentry->d_seq);
N
Nick Piggin 已提交
659
		} while (read_seqcount_retry(&fs->seq, seq));
N
Nick Piggin 已提交
660 661 662
	}
}

J
Jan Blunck 已提交
663
static void path_put_conditional(struct path *path, struct nameidata *nd)
664 665
{
	dput(path->dentry);
666
	if (path->mnt != nd->path.mnt)
667 668 669
		mntput(path->mnt);
}

670 671
static inline void path_to_nameidata(const struct path *path,
					struct nameidata *nd)
672
{
N
Nick Piggin 已提交
673 674 675 676
	if (!(nd->flags & LOOKUP_RCU)) {
		dput(nd->path.dentry);
		if (nd->path.mnt != path->mnt)
			mntput(nd->path.mnt);
677
	}
N
Nick Piggin 已提交
678
	nd->path.mnt = path->mnt;
679
	nd->path.dentry = path->dentry;
680 681
}

C
Christoph Hellwig 已提交
682 683 684 685 686 687 688 689 690 691 692 693 694
/*
 * Helper to directly jump to a known parsed path from ->follow_link,
 * caller must have taken a reference to path beforehand.
 */
void nd_jump_link(struct nameidata *nd, struct path *path)
{
	path_put(&nd->path);

	nd->path = *path;
	nd->inode = nd->path.dentry->d_inode;
	nd->flags |= LOOKUP_JUMPED;
}

695 696 697
static inline void put_link(struct nameidata *nd, struct path *link, void *cookie)
{
	struct inode *inode = link->dentry->d_inode;
698
	if (inode->i_op->put_link)
699 700 701 702
		inode->i_op->put_link(link->dentry, nd, cookie);
	path_put(link);
}

703 704
int sysctl_protected_symlinks __read_mostly = 0;
int sysctl_protected_hardlinks __read_mostly = 0;
K
Kees Cook 已提交
705 706 707 708

/**
 * may_follow_link - Check symlink following for unsafe situations
 * @link: The path of the symlink
709
 * @nd: nameidata pathwalk data
K
Kees Cook 已提交
710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731
 *
 * In the case of the sysctl_protected_symlinks sysctl being enabled,
 * CAP_DAC_OVERRIDE needs to be specifically ignored if the symlink is
 * in a sticky world-writable directory. This is to protect privileged
 * processes from failing races against path names that may change out
 * from under them by way of other users creating malicious symlinks.
 * It will permit symlinks to be followed only when outside a sticky
 * world-writable directory, or when the uid of the symlink and follower
 * match, or when the directory owner matches the symlink's owner.
 *
 * Returns 0 if following the symlink is allowed, -ve on error.
 */
static inline int may_follow_link(struct path *link, struct nameidata *nd)
{
	const struct inode *inode;
	const struct inode *parent;

	if (!sysctl_protected_symlinks)
		return 0;

	/* Allowed if owner and follower match. */
	inode = link->dentry->d_inode;
732
	if (uid_eq(current_cred()->fsuid, inode->i_uid))
K
Kees Cook 已提交
733 734 735 736 737 738 739 740
		return 0;

	/* Allowed if parent directory not sticky and world-writable. */
	parent = nd->path.dentry->d_inode;
	if ((parent->i_mode & (S_ISVTX|S_IWOTH)) != (S_ISVTX|S_IWOTH))
		return 0;

	/* Allowed if parent directory and link owner match. */
741
	if (uid_eq(parent->i_uid, inode->i_uid))
K
Kees Cook 已提交
742 743
		return 0;

744
	audit_log_link_denied("follow_link", link);
K
Kees Cook 已提交
745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810
	path_put_conditional(link, nd);
	path_put(&nd->path);
	return -EACCES;
}

/**
 * safe_hardlink_source - Check for safe hardlink conditions
 * @inode: the source inode to hardlink from
 *
 * Return false if at least one of the following conditions:
 *    - inode is not a regular file
 *    - inode is setuid
 *    - inode is setgid and group-exec
 *    - access failure for read and write
 *
 * Otherwise returns true.
 */
static bool safe_hardlink_source(struct inode *inode)
{
	umode_t mode = inode->i_mode;

	/* Special files should not get pinned to the filesystem. */
	if (!S_ISREG(mode))
		return false;

	/* Setuid files should not get pinned to the filesystem. */
	if (mode & S_ISUID)
		return false;

	/* Executable setgid files should not get pinned to the filesystem. */
	if ((mode & (S_ISGID | S_IXGRP)) == (S_ISGID | S_IXGRP))
		return false;

	/* Hardlinking to unreadable or unwritable sources is dangerous. */
	if (inode_permission(inode, MAY_READ | MAY_WRITE))
		return false;

	return true;
}

/**
 * may_linkat - Check permissions for creating a hardlink
 * @link: the source to hardlink from
 *
 * Block hardlink when all of:
 *  - sysctl_protected_hardlinks enabled
 *  - fsuid does not match inode
 *  - hardlink source is unsafe (see safe_hardlink_source() above)
 *  - not CAP_FOWNER
 *
 * Returns 0 if successful, -ve on error.
 */
static int may_linkat(struct path *link)
{
	const struct cred *cred;
	struct inode *inode;

	if (!sysctl_protected_hardlinks)
		return 0;

	cred = current_cred();
	inode = link->dentry->d_inode;

	/* Source inode owner (or CAP_FOWNER) can hardlink all they like,
	 * otherwise, it must be a safe source.
	 */
811
	if (uid_eq(cred->fsuid, inode->i_uid) || safe_hardlink_source(inode) ||
K
Kees Cook 已提交
812 813 814
	    capable(CAP_FOWNER))
		return 0;

815
	audit_log_link_denied("linkat", link);
K
Kees Cook 已提交
816 817 818
	return -EPERM;
}

A
Al Viro 已提交
819
static __always_inline int
820
follow_link(struct path *link, struct nameidata *nd, void **p)
L
Linus Torvalds 已提交
821
{
822
	struct dentry *dentry = link->dentry;
823 824
	int error;
	char *s;
L
Linus Torvalds 已提交
825

826 827
	BUG_ON(nd->flags & LOOKUP_RCU);

A
Al Viro 已提交
828 829 830
	if (link->mnt == nd->path.mnt)
		mntget(link->mnt);

831 832 833 834
	error = -ELOOP;
	if (unlikely(current->total_link_count >= 40))
		goto out_put_nd_path;

835 836 837
	cond_resched();
	current->total_link_count++;

A
Al Viro 已提交
838
	touch_atime(link);
L
Linus Torvalds 已提交
839
	nd_set_link(nd, NULL);
A
Al Viro 已提交
840

841
	error = security_inode_follow_link(link->dentry, nd);
842 843
	if (error)
		goto out_put_nd_path;
844

845
	nd->last_type = LAST_BIND;
A
Al Viro 已提交
846 847
	*p = dentry->d_inode->i_op->follow_link(dentry, nd);
	error = PTR_ERR(*p);
848
	if (IS_ERR(*p))
849
		goto out_put_nd_path;
850 851 852 853

	error = 0;
	s = nd_get_link(nd);
	if (s) {
854 855 856 857 858 859 860 861 862 863 864 865 866 867
		if (unlikely(IS_ERR(s))) {
			path_put(&nd->path);
			put_link(nd, link, *p);
			return PTR_ERR(s);
		}
		if (*s == '/') {
			set_root(nd);
			path_put(&nd->path);
			nd->path = nd->root;
			path_get(&nd->root);
			nd->flags |= LOOKUP_JUMPED;
		}
		nd->inode = nd->path.dentry->d_inode;
		error = link_path_walk(s, nd);
C
Christoph Hellwig 已提交
868 869
		if (unlikely(error))
			put_link(nd, link, *p);
L
Linus Torvalds 已提交
870
	}
871 872 873 874

	return error;

out_put_nd_path:
A
Arnd Bergmann 已提交
875
	*p = NULL;
876 877
	path_put(&nd->path);
	path_put(link);
L
Linus Torvalds 已提交
878 879 880
	return error;
}

N
Nick Piggin 已提交
881 882
static int follow_up_rcu(struct path *path)
{
883 884
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
N
Nick Piggin 已提交
885 886
	struct dentry *mountpoint;

887 888
	parent = mnt->mnt_parent;
	if (&parent->mnt == path->mnt)
N
Nick Piggin 已提交
889
		return 0;
890
	mountpoint = mnt->mnt_mountpoint;
N
Nick Piggin 已提交
891
	path->dentry = mountpoint;
892
	path->mnt = &parent->mnt;
N
Nick Piggin 已提交
893 894 895
	return 1;
}

896 897 898 899 900 901 902 903 904 905
/*
 * follow_up - Find the mountpoint of path's vfsmount
 *
 * Given a path, find the mountpoint of its source file system.
 * Replace @path with the path of the mountpoint in the parent mount.
 * Up is towards /.
 *
 * Return 1 if we went up a level and 0 if we were already at the
 * root.
 */
A
Al Viro 已提交
906
int follow_up(struct path *path)
L
Linus Torvalds 已提交
907
{
908 909
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
L
Linus Torvalds 已提交
910
	struct dentry *mountpoint;
N
Nick Piggin 已提交
911

A
Al Viro 已提交
912
	read_seqlock_excl(&mount_lock);
913
	parent = mnt->mnt_parent;
A
Al Viro 已提交
914
	if (parent == mnt) {
A
Al Viro 已提交
915
		read_sequnlock_excl(&mount_lock);
L
Linus Torvalds 已提交
916 917
		return 0;
	}
918
	mntget(&parent->mnt);
919
	mountpoint = dget(mnt->mnt_mountpoint);
A
Al Viro 已提交
920
	read_sequnlock_excl(&mount_lock);
A
Al Viro 已提交
921 922 923
	dput(path->dentry);
	path->dentry = mountpoint;
	mntput(path->mnt);
924
	path->mnt = &parent->mnt;
L
Linus Torvalds 已提交
925 926 927
	return 1;
}

N
Nick Piggin 已提交
928
/*
929 930 931
 * Perform an automount
 * - return -EISDIR to tell follow_managed() to stop and return the path we
 *   were called with.
L
Linus Torvalds 已提交
932
 */
933 934
static int follow_automount(struct path *path, unsigned flags,
			    bool *need_mntput)
N
Nick Piggin 已提交
935
{
936
	struct vfsmount *mnt;
937
	int err;
938 939 940 941

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

942 943 944 945 946 947 948 949 950 951
	/* 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.
952
	 */
953
	if (!(flags & (LOOKUP_PARENT | LOOKUP_DIRECTORY |
954
		     LOOKUP_OPEN | LOOKUP_CREATE | LOOKUP_AUTOMOUNT)) &&
955 956 957
	    path->dentry->d_inode)
		return -EISDIR;

958 959 960 961 962 963 964 965 966 967 968 969 970 971 972
	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 已提交
973
		if (PTR_ERR(mnt) == -EISDIR && (flags & LOOKUP_PARENT))
974 975
			return -EREMOTE;
		return PTR_ERR(mnt);
N
Nick Piggin 已提交
976
	}
977

978 979
	if (!mnt) /* mount collision */
		return 0;
N
Nick Piggin 已提交
980

981 982 983 984 985
	if (!*need_mntput) {
		/* lock_mount() may release path->mnt on error */
		mntget(path->mnt);
		*need_mntput = true;
	}
986
	err = finish_automount(mnt, path);
987

988 989 990
	switch (err) {
	case -EBUSY:
		/* Someone else made a mount here whilst we were busy */
991
		return 0;
992
	case 0:
993
		path_put(path);
994 995 996
		path->mnt = mnt;
		path->dentry = dget(mnt->mnt_root);
		return 0;
997 998
	default:
		return err;
999
	}
1000

A
Al Viro 已提交
1001 1002
}

1003 1004
/*
 * Handle a dentry that is managed in some way.
1005
 * - Flagged for transit management (autofs)
1006 1007 1008 1009 1010 1011 1012 1013
 * - 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 已提交
1014
{
1015
	struct vfsmount *mnt = path->mnt; /* held by caller, must be left alone */
1016 1017
	unsigned managed;
	bool need_mntput = false;
1018
	int ret = 0;
1019 1020 1021 1022 1023 1024 1025

	/* 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)) {
1026 1027 1028 1029 1030
		/* 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);
1031
			ret = path->dentry->d_op->d_manage(path->dentry, false);
1032
			if (ret < 0)
1033
				break;
1034 1035
		}

1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050
		/* 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
A
Al Viro 已提交
1051 1052
			 * namespace got unmounted before lookup_mnt() could
			 * get it */
1053 1054 1055 1056 1057 1058
		}

		/* Handle an automount point */
		if (managed & DCACHE_NEED_AUTOMOUNT) {
			ret = follow_automount(path, flags, &need_mntput);
			if (ret < 0)
1059
				break;
1060 1061 1062 1063 1064
			continue;
		}

		/* We didn't change the current path point */
		break;
L
Linus Torvalds 已提交
1065
	}
1066 1067 1068 1069 1070

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

1074
int follow_down_one(struct path *path)
L
Linus Torvalds 已提交
1075 1076 1077
{
	struct vfsmount *mounted;

A
Al Viro 已提交
1078
	mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
1079
	if (mounted) {
A
Al Viro 已提交
1080 1081 1082 1083
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
1084 1085 1086 1087 1088
		return 1;
	}
	return 0;
}

1089 1090 1091 1092 1093 1094
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);
}

1095
/*
1096 1097
 * Try to skip to top of mountpoint pile in rcuwalk mode.  Fail if
 * we meet a managed dentry that would need blocking.
1098 1099
 */
static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
1100
			       struct inode **inode)
1101
{
1102
	for (;;) {
1103
		struct mount *mounted;
1104 1105 1106 1107
		/*
		 * Don't forget we might have a non-mountpoint managed dentry
		 * that wants to block transit.
		 */
1108
		if (unlikely(managed_dentry_might_block(path->dentry)))
1109
			return false;
1110 1111 1112 1113

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

A
Al Viro 已提交
1114
		mounted = __lookup_mnt(path->mnt, path->dentry);
1115 1116
		if (!mounted)
			break;
1117 1118
		path->mnt = &mounted->mnt;
		path->dentry = mounted->mnt.mnt_root;
1119
		nd->flags |= LOOKUP_JUMPED;
1120
		nd->seq = read_seqcount_begin(&path->dentry->d_seq);
1121 1122 1123 1124 1125 1126
		/*
		 * 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;
1127 1128 1129 1130
	}
	return true;
}

1131
static void follow_mount_rcu(struct nameidata *nd)
1132
{
1133
	while (d_mountpoint(nd->path.dentry)) {
1134
		struct mount *mounted;
A
Al Viro 已提交
1135
		mounted = __lookup_mnt(nd->path.mnt, nd->path.dentry);
1136 1137
		if (!mounted)
			break;
1138 1139
		nd->path.mnt = &mounted->mnt;
		nd->path.dentry = mounted->mnt.mnt_root;
1140
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
1141 1142 1143
	}
}

N
Nick Piggin 已提交
1144 1145 1146 1147
static int follow_dotdot_rcu(struct nameidata *nd)
{
	set_root_rcu(nd);

1148
	while (1) {
N
Nick Piggin 已提交
1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159
		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))
1160
				goto failed;
N
Nick Piggin 已提交
1161 1162 1163 1164 1165 1166 1167 1168
			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);
	}
1169 1170
	follow_mount_rcu(nd);
	nd->inode = nd->path.dentry->d_inode;
N
Nick Piggin 已提交
1171
	return 0;
1172 1173 1174

failed:
	nd->flags &= ~LOOKUP_RCU;
1175 1176
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
A
Al Viro 已提交
1177
	rcu_read_unlock();
1178
	return -ECHILD;
N
Nick Piggin 已提交
1179 1180
}

1181 1182 1183 1184 1185
/*
 * 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.
 */
1186
int follow_down(struct path *path)
1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205
{
	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);
1206
			ret = path->dentry->d_op->d_manage(
1207
				path->dentry, false);
1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229
			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;
}

1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245
/*
 * 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 已提交
1246
static void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1247
{
A
Al Viro 已提交
1248
	set_root(nd);
1249

L
Linus Torvalds 已提交
1250
	while(1) {
1251
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
1252

A
Al Viro 已提交
1253 1254
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
L
Linus Torvalds 已提交
1255 1256
			break;
		}
1257
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
A
Al Viro 已提交
1258 1259
			/* rare case of legitimate dget_parent()... */
			nd->path.dentry = dget_parent(nd->path.dentry);
L
Linus Torvalds 已提交
1260 1261 1262
			dput(old);
			break;
		}
A
Al Viro 已提交
1263
		if (!follow_up(&nd->path))
L
Linus Torvalds 已提交
1264 1265
			break;
	}
A
Al Viro 已提交
1266
	follow_mount(&nd->path);
N
Nick Piggin 已提交
1267
	nd->inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
1268 1269
}

1270
/*
M
Miklos Szeredi 已提交
1271 1272 1273 1274 1275
 * 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
1276
 */
M
Miklos Szeredi 已提交
1277
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
1278
				    unsigned int flags, bool *need_lookup)
1279 1280
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1281
	int error;
1282

M
Miklos Szeredi 已提交
1283 1284 1285
	*need_lookup = false;
	dentry = d_lookup(dir, name);
	if (dentry) {
J
Jeff Layton 已提交
1286
		if (dentry->d_flags & DCACHE_OP_REVALIDATE) {
1287
			error = d_revalidate(dentry, flags);
M
Miklos Szeredi 已提交
1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298
			if (unlikely(error <= 0)) {
				if (error < 0) {
					dput(dentry);
					return ERR_PTR(error);
				} else if (!d_invalidate(dentry)) {
					dput(dentry);
					dentry = NULL;
				}
			}
		}
	}
1299

M
Miklos Szeredi 已提交
1300 1301 1302 1303
	if (!dentry) {
		dentry = d_alloc(dir, name);
		if (unlikely(!dentry))
			return ERR_PTR(-ENOMEM);
1304

M
Miklos Szeredi 已提交
1305
		*need_lookup = true;
1306 1307 1308 1309
	}
	return dentry;
}

1310
/*
1311 1312
 * Call i_op->lookup on the dentry.  The dentry must be negative and
 * unhashed.
M
Miklos Szeredi 已提交
1313 1314
 *
 * dir->d_inode->i_mutex must be held
1315
 */
M
Miklos Szeredi 已提交
1316
static struct dentry *lookup_real(struct inode *dir, struct dentry *dentry,
1317
				  unsigned int flags)
1318 1319 1320 1321
{
	struct dentry *old;

	/* Don't create child dentry for a dead directory. */
M
Miklos Szeredi 已提交
1322
	if (unlikely(IS_DEADDIR(dir))) {
1323
		dput(dentry);
1324
		return ERR_PTR(-ENOENT);
1325
	}
1326

1327
	old = dir->i_op->lookup(dir, dentry, flags);
1328 1329 1330 1331 1332 1333 1334
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
}

1335
static struct dentry *__lookup_hash(struct qstr *name,
1336
		struct dentry *base, unsigned int flags)
1337
{
M
Miklos Szeredi 已提交
1338
	bool need_lookup;
1339 1340
	struct dentry *dentry;

1341
	dentry = lookup_dcache(name, base, flags, &need_lookup);
M
Miklos Szeredi 已提交
1342 1343
	if (!need_lookup)
		return dentry;
1344

1345
	return lookup_real(base->d_inode, dentry, flags);
1346 1347
}

L
Linus Torvalds 已提交
1348 1349 1350 1351 1352
/*
 *  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.
 */
A
Al Viro 已提交
1353
static int lookup_fast(struct nameidata *nd,
M
Miklos Szeredi 已提交
1354
		       struct path *path, struct inode **inode)
L
Linus Torvalds 已提交
1355
{
1356
	struct vfsmount *mnt = nd->path.mnt;
N
Nick Piggin 已提交
1357
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1358 1359
	int need_reval = 1;
	int status = 1;
1360 1361
	int err;

1362 1363 1364 1365 1366
	/*
	 * 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 已提交
1367 1368
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1369
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1370 1371 1372
		if (!dentry)
			goto unlazy;

1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387
		/*
		 * 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 已提交
1388 1389 1390
		if (__read_seqcount_retry(&parent->d_seq, nd->seq))
			return -ECHILD;
		nd->seq = seq;
A
Al Viro 已提交
1391

1392
		if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE)) {
1393
			status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1394 1395 1396 1397 1398
			if (unlikely(status <= 0)) {
				if (status != -ECHILD)
					need_reval = 0;
				goto unlazy;
			}
1399
		}
N
Nick Piggin 已提交
1400 1401
		path->mnt = mnt;
		path->dentry = dentry;
1402 1403 1404 1405 1406
		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 已提交
1407
unlazy:
A
Al Viro 已提交
1408 1409
		if (unlazy_walk(nd, dentry))
			return -ECHILD;
A
Al Viro 已提交
1410
	} else {
A
Al Viro 已提交
1411
		dentry = __d_lookup(parent, &nd->last);
1412
	}
A
Al Viro 已提交
1413

1414 1415 1416
	if (unlikely(!dentry))
		goto need_lookup;

A
Al Viro 已提交
1417
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE) && need_reval)
1418
		status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1419 1420 1421 1422 1423 1424 1425
	if (unlikely(status <= 0)) {
		if (status < 0) {
			dput(dentry);
			return status;
		}
		if (!d_invalidate(dentry)) {
			dput(dentry);
1426
			goto need_lookup;
A
Al Viro 已提交
1427
		}
1428
	}
M
Miklos Szeredi 已提交
1429

1430 1431 1432
	path->mnt = mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
1433 1434
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
1435
		return err;
1436
	}
1437 1438
	if (err)
		nd->flags |= LOOKUP_JUMPED;
1439
	*inode = path->dentry->d_inode;
L
Linus Torvalds 已提交
1440
	return 0;
1441 1442

need_lookup:
M
Miklos Szeredi 已提交
1443 1444 1445 1446
	return 1;
}

/* Fast lookup failed, do it the slow way */
A
Al Viro 已提交
1447
static int lookup_slow(struct nameidata *nd, struct path *path)
M
Miklos Szeredi 已提交
1448 1449 1450 1451 1452
{
	struct dentry *dentry, *parent;
	int err;

	parent = nd->path.dentry;
1453 1454 1455
	BUG_ON(nd->inode != parent->d_inode);

	mutex_lock(&parent->d_inode->i_mutex);
A
Al Viro 已提交
1456
	dentry = __lookup_hash(&nd->last, parent, nd->flags);
1457 1458 1459
	mutex_unlock(&parent->d_inode->i_mutex);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
1460 1461 1462 1463 1464 1465 1466 1467 1468 1469
	path->mnt = nd->path.mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
		return err;
	}
	if (err)
		nd->flags |= LOOKUP_JUMPED;
	return 0;
L
Linus Torvalds 已提交
1470 1471
}

1472 1473 1474
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1475
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1476 1477
		if (err != -ECHILD)
			return err;
A
Al Viro 已提交
1478
		if (unlazy_walk(nd, NULL))
1479 1480
			return -ECHILD;
	}
1481
	return inode_permission(nd->inode, MAY_EXEC);
1482 1483
}

1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495
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;
}

1496 1497 1498 1499 1500 1501
static void terminate_walk(struct nameidata *nd)
{
	if (!(nd->flags & LOOKUP_RCU)) {
		path_put(&nd->path);
	} else {
		nd->flags &= ~LOOKUP_RCU;
1502 1503
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
A
Al Viro 已提交
1504
		rcu_read_unlock();
1505 1506 1507
	}
}

1508 1509 1510 1511 1512 1513
/*
 * 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.
 */
1514
static inline int should_follow_link(struct dentry *dentry, int follow)
1515
{
1516
	return unlikely(d_is_symlink(dentry)) ? follow : 0;
1517 1518
}

1519
static inline int walk_component(struct nameidata *nd, struct path *path,
1520
		int follow)
1521 1522 1523 1524 1525 1526 1527 1528
{
	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.
	 */
1529 1530
	if (unlikely(nd->last_type != LAST_NORM))
		return handle_dots(nd, nd->last_type);
A
Al Viro 已提交
1531
	err = lookup_fast(nd, path, &inode);
1532
	if (unlikely(err)) {
M
Miklos Szeredi 已提交
1533 1534 1535
		if (err < 0)
			goto out_err;

A
Al Viro 已提交
1536
		err = lookup_slow(nd, path);
M
Miklos Szeredi 已提交
1537 1538 1539 1540
		if (err < 0)
			goto out_err;

		inode = path->dentry->d_inode;
1541
	}
M
Miklos Szeredi 已提交
1542 1543 1544 1545
	err = -ENOENT;
	if (!inode)
		goto out_path_put;

1546
	if (should_follow_link(path->dentry, follow)) {
A
Al Viro 已提交
1547 1548
		if (nd->flags & LOOKUP_RCU) {
			if (unlikely(unlazy_walk(nd, path->dentry))) {
M
Miklos Szeredi 已提交
1549 1550
				err = -ECHILD;
				goto out_err;
A
Al Viro 已提交
1551 1552
			}
		}
1553 1554 1555 1556 1557 1558
		BUG_ON(inode != path->dentry->d_inode);
		return 1;
	}
	path_to_nameidata(path, nd);
	nd->inode = inode;
	return 0;
M
Miklos Szeredi 已提交
1559 1560 1561 1562 1563 1564

out_path_put:
	path_to_nameidata(path, nd);
out_err:
	terminate_walk(nd);
	return err;
1565 1566
}

1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582
/*
 * 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;
	}
1583
	BUG_ON(nd->depth >= MAX_NESTED_LINKS);
1584 1585 1586 1587 1588 1589 1590

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

	do {
		struct path link = *path;
		void *cookie;
1591 1592

		res = follow_link(&link, nd, &cookie);
1593 1594
		if (res)
			break;
1595
		res = walk_component(nd, path, LOOKUP_FOLLOW);
1596
		put_link(nd, &link, cookie);
1597 1598 1599 1600 1601 1602 1603
	} while (res > 0);

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

1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622
/*
 * 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.
 *
 * - 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

1623
#include <asm/word-at-a-time.h>
1624

1625
#ifdef CONFIG_64BIT
1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644

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 (;;) {
1645
		a = load_unaligned_zeropad(name);
1646 1647 1648
		if (len < sizeof(unsigned long))
			break;
		hash += a;
1649
		hash *= 9;
1650 1651 1652 1653 1654
		name += sizeof(unsigned long);
		len -= sizeof(unsigned long);
		if (!len)
			goto done;
	}
1655
	mask = bytemask_from_count(len);
1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667
	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)
{
1668 1669
	unsigned long a, b, adata, bdata, mask, hash, len;
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;
1670 1671 1672 1673 1674 1675

	hash = a = 0;
	len = -sizeof(unsigned long);
	do {
		hash = (hash + a) * 9;
		len += sizeof(unsigned long);
1676
		a = load_unaligned_zeropad(name+len);
1677 1678 1679 1680 1681 1682 1683 1684 1685
		b = a ^ REPEAT_BYTE('/');
	} while (!(has_zero(a, &adata, &constants) | has_zero(b, &bdata, &constants)));

	adata = prep_zero_mask(a, adata, &constants);
	bdata = prep_zero_mask(b, bdata, &constants);

	mask = create_zero_mask(adata | bdata);

	hash += a & zero_bytemask(mask);
1686 1687
	*hashp = fold_hash(hash);

1688
	return len + find_zero(mask);
1689 1690 1691 1692
}

#else

L
Linus Torvalds 已提交
1693 1694 1695 1696 1697 1698 1699
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);
}
1700
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1701

1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720
/*
 * 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;
}

1721 1722
#endif

L
Linus Torvalds 已提交
1723 1724
/*
 * Name resolution.
1725 1726
 * 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 已提交
1727
 *
1728 1729
 * 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 已提交
1730
 */
1731
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1732 1733 1734 1735 1736 1737 1738
{
	struct path next;
	int err;
	
	while (*name=='/')
		name++;
	if (!*name)
1739
		return 0;
L
Linus Torvalds 已提交
1740 1741 1742 1743

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

1747
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1748 1749 1750
 		if (err)
			break;

1751
		len = hash_name(name, &this.hash);
L
Linus Torvalds 已提交
1752
		this.name = name;
1753
		this.len = len;
L
Linus Torvalds 已提交
1754

A
Al Viro 已提交
1755
		type = LAST_NORM;
1756
		if (name[0] == '.') switch (len) {
A
Al Viro 已提交
1757
			case 2:
1758
				if (name[1] == '.') {
A
Al Viro 已提交
1759
					type = LAST_DOTDOT;
A
Al Viro 已提交
1760 1761
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
1762 1763 1764 1765
				break;
			case 1:
				type = LAST_DOT;
		}
1766 1767
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
1768
			nd->flags &= ~LOOKUP_JUMPED;
1769
			if (unlikely(parent->d_flags & DCACHE_OP_HASH)) {
1770
				err = parent->d_op->d_hash(parent, &this);
1771 1772 1773 1774
				if (err < 0)
					break;
			}
		}
A
Al Viro 已提交
1775

1776 1777 1778
		nd->last = this;
		nd->last_type = type;

1779
		if (!name[len])
1780
			return 0;
1781 1782 1783 1784 1785 1786 1787 1788
		/*
		 * 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])
1789 1790
			return 0;

1791
		name += len;
L
Linus Torvalds 已提交
1792

1793
		err = walk_component(nd, &next, LOOKUP_FOLLOW);
1794 1795
		if (err < 0)
			return err;
L
Linus Torvalds 已提交
1796

1797
		if (err) {
1798
			err = nested_symlink(&next, nd);
L
Linus Torvalds 已提交
1799
			if (err)
1800
				return err;
N
Nick Piggin 已提交
1801
		}
1802
		if (!d_is_directory(nd->path.dentry)) {
1803 1804 1805
			err = -ENOTDIR; 
			break;
		}
L
Linus Torvalds 已提交
1806
	}
1807
	terminate_walk(nd);
L
Linus Torvalds 已提交
1808 1809 1810
	return err;
}

A
Al Viro 已提交
1811 1812
static int path_init(int dfd, const char *name, unsigned int flags,
		     struct nameidata *nd, struct file **fp)
N
Nick Piggin 已提交
1813 1814 1815 1816
{
	int retval = 0;

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
A
Al Viro 已提交
1817
	nd->flags = flags | LOOKUP_JUMPED;
N
Nick Piggin 已提交
1818
	nd->depth = 0;
1819
	if (flags & LOOKUP_ROOT) {
1820 1821
		struct dentry *root = nd->root.dentry;
		struct inode *inode = root->d_inode;
A
Al Viro 已提交
1822
		if (*name) {
1823
			if (!d_is_directory(root))
A
Al Viro 已提交
1824 1825 1826 1827 1828
				return -ENOTDIR;
			retval = inode_permission(inode, MAY_EXEC);
			if (retval)
				return retval;
		}
1829 1830 1831
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1832
			rcu_read_lock();
1833
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1834
			nd->m_seq = read_seqbegin(&mount_lock);
1835 1836 1837 1838 1839 1840
		} else {
			path_get(&nd->path);
		}
		return 0;
	}

N
Nick Piggin 已提交
1841 1842
	nd->root.mnt = NULL;

A
Al Viro 已提交
1843
	nd->m_seq = read_seqbegin(&mount_lock);
N
Nick Piggin 已提交
1844
	if (*name=='/') {
A
Al Viro 已提交
1845
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1846
			rcu_read_lock();
A
Al Viro 已提交
1847 1848 1849 1850 1851 1852
			set_root_rcu(nd);
		} else {
			set_root(nd);
			path_get(&nd->root);
		}
		nd->path = nd->root;
N
Nick Piggin 已提交
1853
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1854 1855 1856
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
1857

A
Al Viro 已提交
1858
			rcu_read_lock();
N
Nick Piggin 已提交
1859

A
Al Viro 已提交
1860 1861 1862 1863 1864 1865 1866 1867
			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 已提交
1868
	} else {
1869
		/* Caller must check execute permissions on the starting path component */
1870
		struct fd f = fdget_raw(dfd);
N
Nick Piggin 已提交
1871 1872
		struct dentry *dentry;

1873 1874
		if (!f.file)
			return -EBADF;
N
Nick Piggin 已提交
1875

1876
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
1877

A
Al Viro 已提交
1878
		if (*name) {
1879
			if (!d_is_directory(dentry)) {
1880 1881 1882
				fdput(f);
				return -ENOTDIR;
			}
A
Al Viro 已提交
1883
		}
N
Nick Piggin 已提交
1884

1885
		nd->path = f.file->f_path;
A
Al Viro 已提交
1886
		if (flags & LOOKUP_RCU) {
1887 1888
			if (f.need_put)
				*fp = f.file;
A
Al Viro 已提交
1889
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1890
			rcu_read_lock();
A
Al Viro 已提交
1891
		} else {
1892 1893
			path_get(&nd->path);
			fdput(f);
A
Al Viro 已提交
1894
		}
N
Nick Piggin 已提交
1895 1896 1897
	}

	nd->inode = nd->path.dentry->d_inode;
1898 1899 1900
	return 0;
}

1901 1902 1903 1904 1905 1906
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;
1907
	return walk_component(nd, path, nd->flags & LOOKUP_FOLLOW);
1908 1909
}

1910
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
A
Al Viro 已提交
1911
static int path_lookupat(int dfd, const char *name,
1912 1913
				unsigned int flags, struct nameidata *nd)
{
A
Al Viro 已提交
1914
	struct file *base = NULL;
1915 1916
	struct path path;
	int err;
N
Nick Piggin 已提交
1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931

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

1934 1935
	if (unlikely(err))
		return err;
A
Al Viro 已提交
1936 1937

	current->total_link_count = 0;
1938 1939 1940 1941 1942 1943 1944
	err = link_path_walk(name, nd);

	if (!err && !(flags & LOOKUP_PARENT)) {
		err = lookup_last(nd, &path);
		while (err > 0) {
			void *cookie;
			struct path link = path;
K
Kees Cook 已提交
1945 1946 1947
			err = may_follow_link(&link, nd);
			if (unlikely(err))
				break;
1948
			nd->flags |= LOOKUP_PARENT;
1949
			err = follow_link(&link, nd, &cookie);
1950 1951 1952
			if (err)
				break;
			err = lookup_last(nd, &path);
1953
			put_link(nd, &link, cookie);
1954 1955
		}
	}
A
Al Viro 已提交
1956

1957 1958
	if (!err)
		err = complete_walk(nd);
1959 1960

	if (!err && nd->flags & LOOKUP_DIRECTORY) {
1961
		if (!d_is_directory(nd->path.dentry)) {
1962
			path_put(&nd->path);
A
Al Viro 已提交
1963
			err = -ENOTDIR;
1964 1965
		}
	}
A
Al Viro 已提交
1966

A
Al Viro 已提交
1967 1968
	if (base)
		fput(base);
A
Al Viro 已提交
1969

1970
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT)) {
A
Al Viro 已提交
1971 1972 1973
		path_put(&nd->root);
		nd->root.mnt = NULL;
	}
1974
	return err;
A
Al Viro 已提交
1975
}
N
Nick Piggin 已提交
1976

1977
static int filename_lookup(int dfd, struct filename *name,
A
Al Viro 已提交
1978 1979
				unsigned int flags, struct nameidata *nd)
{
1980
	int retval = path_lookupat(dfd, name->name, flags | LOOKUP_RCU, nd);
A
Al Viro 已提交
1981
	if (unlikely(retval == -ECHILD))
1982
		retval = path_lookupat(dfd, name->name, flags, nd);
A
Al Viro 已提交
1983
	if (unlikely(retval == -ESTALE))
1984 1985
		retval = path_lookupat(dfd, name->name,
						flags | LOOKUP_REVAL, nd);
N
Nick Piggin 已提交
1986

1987
	if (likely(!retval))
1988
		audit_inode(name, nd->path.dentry, flags & LOOKUP_PARENT);
1989
	return retval;
L
Linus Torvalds 已提交
1990 1991
}

1992 1993 1994 1995 1996 1997 1998 1999
static int do_path_lookup(int dfd, const char *name,
				unsigned int flags, struct nameidata *nd)
{
	struct filename filename = { .name = name };

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

A
Al Viro 已提交
2000 2001
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2002
{
A
Al Viro 已提交
2003 2004 2005 2006 2007 2008 2009 2010 2011 2012
	struct nameidata nd;
	struct dentry *d;
	int err = do_path_lookup(AT_FDCWD, name, LOOKUP_PARENT, &nd);
	if (err)
		return ERR_PTR(err);
	if (nd.last_type != LAST_NORM) {
		path_put(&nd.path);
		return ERR_PTR(-EINVAL);
	}
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2013
	d = __lookup_hash(&nd.last, nd.path.dentry, 0);
A
Al Viro 已提交
2014 2015 2016 2017 2018 2019 2020
	if (IS_ERR(d)) {
		mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
		path_put(&nd.path);
		return d;
	}
	*path = nd.path;
	return d;
2021 2022
}

A
Al Viro 已提交
2023 2024 2025 2026 2027 2028 2029 2030 2031
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;
}

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

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

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

2083 2084
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2085 2086
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2087
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2088 2089 2090
	if (!len)
		return ERR_PTR(-EACCES);

A
Al Viro 已提交
2091 2092 2093 2094 2095
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
			return ERR_PTR(-EACCES);
	}

A
Al Viro 已提交
2096 2097 2098 2099 2100
	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2101 2102 2103 2104 2105
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2106
		int err = base->d_op->d_hash(base, &this);
2107 2108 2109
		if (err < 0)
			return ERR_PTR(err);
	}
2110

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

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

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

		BUG_ON(flags & LOOKUP_PARENT);

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

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

2142 2143 2144 2145 2146 2147
/*
 * NB: most callers don't do anything directly with the reference to the
 *     to struct filename, but the nd->last pointer points into the name string
 *     allocated by getname. So we must hold the reference to it until all
 *     path-walking is complete.
 */
2148
static struct filename *
2149 2150
user_path_parent(int dfd, const char __user *path, struct nameidata *nd,
		 unsigned int flags)
2151
{
2152
	struct filename *s = getname(path);
2153 2154
	int error;

2155 2156 2157
	/* only LOOKUP_REVAL is allowed in extra flags */
	flags &= LOOKUP_REVAL;

2158
	if (IS_ERR(s))
2159
		return s;
2160

2161
	error = filename_lookup(dfd, s, flags | LOOKUP_PARENT, nd);
2162
	if (error) {
2163
		putname(s);
2164 2165
		return ERR_PTR(error);
	}
2166

2167
	return s;
2168 2169
}

2170
/**
2171
 * mountpoint_last - look up last component for umount
2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195 2196 2197
 * @nd:   pathwalk nameidata - currently pointing at parent directory of "last"
 * @path: pointer to container for result
 *
 * This is a special lookup_last function just for umount. In this case, we
 * need to resolve the path without doing any revalidation.
 *
 * The nameidata should be the result of doing a LOOKUP_PARENT pathwalk. Since
 * mountpoints are always pinned in the dcache, their ancestors are too. Thus,
 * in almost all cases, this lookup will be served out of the dcache. The only
 * cases where it won't are if nd->last refers to a symlink or the path is
 * bogus and it doesn't exist.
 *
 * Returns:
 * -error: if there was an error during lookup. This includes -ENOENT if the
 *         lookup found a negative dentry. The nd->path reference will also be
 *         put in this case.
 *
 * 0:      if we successfully resolved nd->path and found it to not to be a
 *         symlink that needs to be followed. "path" will also be populated.
 *         The nd->path reference will also be put.
 *
 * 1:      if we successfully resolved nd->last and found it to be a symlink
 *         that needs to be followed. "path" will be populated with the path
 *         to the link, and nd->path will *not* be put.
 */
static int
2198
mountpoint_last(struct nameidata *nd, struct path *path)
2199 2200 2201 2202 2203
{
	int error = 0;
	struct dentry *dentry;
	struct dentry *dir = nd->path.dentry;

2204 2205 2206 2207 2208 2209
	/* If we're in rcuwalk, drop out of it to handle last component */
	if (nd->flags & LOOKUP_RCU) {
		if (unlazy_walk(nd, NULL)) {
			error = -ECHILD;
			goto out;
		}
2210 2211 2212 2213 2214 2215
	}

	nd->flags &= ~LOOKUP_PARENT;

	if (unlikely(nd->last_type != LAST_NORM)) {
		error = handle_dots(nd, nd->last_type);
2216 2217 2218 2219
		if (error)
			goto out;
		dentry = dget(nd->path.dentry);
		goto done;
2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232
	}

	mutex_lock(&dir->d_inode->i_mutex);
	dentry = d_lookup(dir, &nd->last);
	if (!dentry) {
		/*
		 * No cached dentry. Mounted dentries are pinned in the cache,
		 * so that means that this dentry is probably a symlink or the
		 * path doesn't actually point to a mounted dentry.
		 */
		dentry = d_alloc(dir, &nd->last);
		if (!dentry) {
			error = -ENOMEM;
2233
			mutex_unlock(&dir->d_inode->i_mutex);
2234
			goto out;
2235
		}
2236 2237
		dentry = lookup_real(dir->d_inode, dentry, nd->flags);
		error = PTR_ERR(dentry);
2238 2239
		if (IS_ERR(dentry)) {
			mutex_unlock(&dir->d_inode->i_mutex);
2240
			goto out;
2241
		}
2242 2243 2244
	}
	mutex_unlock(&dir->d_inode->i_mutex);

2245 2246 2247 2248 2249
done:
	if (!dentry->d_inode) {
		error = -ENOENT;
		dput(dentry);
		goto out;
2250
	}
2251 2252
	path->dentry = dentry;
	path->mnt = mntget(nd->path.mnt);
2253
	if (should_follow_link(dentry, nd->flags & LOOKUP_FOLLOW))
2254 2255 2256 2257
		return 1;
	follow_mount(path);
	error = 0;
out:
2258 2259 2260 2261 2262
	terminate_walk(nd);
	return error;
}

/**
2263
 * path_mountpoint - look up a path to be umounted
2264 2265
 * @dfd:	directory file descriptor to start walk from
 * @name:	full pathname to walk
2266
 * @path:	pointer to container for result
2267 2268 2269
 * @flags:	lookup flags
 *
 * Look up the given name, but don't attempt to revalidate the last component.
2270
 * Returns 0 and "path" will be valid on success; Returns error otherwise.
2271 2272
 */
static int
2273
path_mountpoint(int dfd, const char *name, struct path *path, unsigned int flags)
2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285 2286 2287
{
	struct file *base = NULL;
	struct nameidata nd;
	int err;

	err = path_init(dfd, name, flags | LOOKUP_PARENT, &nd, &base);
	if (unlikely(err))
		return err;

	current->total_link_count = 0;
	err = link_path_walk(name, &nd);
	if (err)
		goto out;

2288
	err = mountpoint_last(&nd, path);
2289 2290 2291 2292 2293 2294 2295 2296 2297 2298
	while (err > 0) {
		void *cookie;
		struct path link = *path;
		err = may_follow_link(&link, &nd);
		if (unlikely(err))
			break;
		nd.flags |= LOOKUP_PARENT;
		err = follow_link(&link, &nd, &cookie);
		if (err)
			break;
2299
		err = mountpoint_last(&nd, path);
2300 2301 2302 2303 2304 2305 2306 2307 2308 2309 2310 2311
		put_link(&nd, &link, cookie);
	}
out:
	if (base)
		fput(base);

	if (nd.root.mnt && !(nd.flags & LOOKUP_ROOT))
		path_put(&nd.root);

	return err;
}

A
Al Viro 已提交
2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 2325
static int
filename_mountpoint(int dfd, struct filename *s, struct path *path,
			unsigned int flags)
{
	int error = path_mountpoint(dfd, s->name, path, flags | LOOKUP_RCU);
	if (unlikely(error == -ECHILD))
		error = path_mountpoint(dfd, s->name, path, flags);
	if (unlikely(error == -ESTALE))
		error = path_mountpoint(dfd, s->name, path, flags | LOOKUP_REVAL);
	if (likely(!error))
		audit_inode(s, path->dentry, 0);
	return error;
}

2326
/**
2327
 * user_path_mountpoint_at - lookup a path from userland in order to umount it
2328 2329 2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340
 * @dfd:	directory file descriptor
 * @name:	pathname from userland
 * @flags:	lookup flags
 * @path:	pointer to container to hold result
 *
 * A umount is a special case for path walking. We're not actually interested
 * in the inode in this situation, and ESTALE errors can be a problem. We
 * simply want track down the dentry and vfsmount attached at the mountpoint
 * and avoid revalidating the last component.
 *
 * Returns 0 and populates "path" on success.
 */
int
2341
user_path_mountpoint_at(int dfd, const char __user *name, unsigned int flags,
2342 2343 2344 2345 2346 2347
			struct path *path)
{
	struct filename *s = getname(name);
	int error;
	if (IS_ERR(s))
		return PTR_ERR(s);
A
Al Viro 已提交
2348
	error = filename_mountpoint(dfd, s, path, flags);
2349 2350 2351 2352
	putname(s);
	return error;
}

A
Al Viro 已提交
2353 2354 2355 2356 2357 2358 2359 2360 2361
int
kern_path_mountpoint(int dfd, const char *name, struct path *path,
			unsigned int flags)
{
	struct filename s = {.name = name};
	return filename_mountpoint(dfd, &s, path, flags);
}
EXPORT_SYMBOL(kern_path_mountpoint);

L
Linus Torvalds 已提交
2362 2363 2364 2365 2366 2367
/*
 * 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)
{
2368
	kuid_t fsuid = current_fsuid();
2369

L
Linus Torvalds 已提交
2370 2371
	if (!(dir->i_mode & S_ISVTX))
		return 0;
2372
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2373
		return 0;
2374
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2375
		return 0;
2376
	return !inode_capable(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2397
}

/*
 *	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().
 */
2398
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2399
{
2400
	struct inode *inode = victim->d_inode;
L
Linus Torvalds 已提交
2401 2402
	int error;

2403
	if (d_is_negative(victim))
L
Linus Torvalds 已提交
2404
		return -ENOENT;
2405
	BUG_ON(!inode);
L
Linus Torvalds 已提交
2406 2407

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

2410
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2411 2412 2413 2414
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
2415 2416 2417

	if (check_sticky(dir, inode) || IS_APPEND(inode) ||
	    IS_IMMUTABLE(inode) || IS_SWAPFILE(inode))
L
Linus Torvalds 已提交
2418 2419
		return -EPERM;
	if (isdir) {
2420
		if (!d_is_directory(victim) && !d_is_autodir(victim))
L
Linus Torvalds 已提交
2421 2422 2423
			return -ENOTDIR;
		if (IS_ROOT(victim))
			return -EBUSY;
2424
	} else if (d_is_directory(victim) || d_is_autodir(victim))
L
Linus Torvalds 已提交
2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440
		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())
 */
2441
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2442
{
2443
	audit_inode_child(dir, child, AUDIT_TYPE_CHILD_CREATE);
L
Linus Torvalds 已提交
2444 2445 2446 2447
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2448
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2449 2450 2451 2452 2453 2454 2455 2456 2457 2458
}

/*
 * 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 已提交
2459
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2460 2461 2462
		return NULL;
	}

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

2465 2466 2467 2468 2469
	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 已提交
2470 2471
	}

2472 2473 2474 2475 2476
	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 已提交
2477 2478
	}

I
Ingo Molnar 已提交
2479 2480
	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 已提交
2481 2482 2483 2484 2485
	return NULL;
}

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2486
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2487
	if (p1 != p2) {
2488
		mutex_unlock(&p2->d_inode->i_mutex);
2489
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2490 2491 2492
	}
}

A
Al Viro 已提交
2493
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2494
		bool want_excl)
L
Linus Torvalds 已提交
2495
{
2496
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2497 2498 2499
	if (error)
		return error;

A
Al Viro 已提交
2500
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2501 2502 2503 2504 2505 2506
		return -EACCES;	/* shouldn't it be ENOSYS? */
	mode &= S_IALLUGO;
	mode |= S_IFREG;
	error = security_inode_create(dir, dentry, mode);
	if (error)
		return error;
A
Al Viro 已提交
2507
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2508
	if (!error)
2509
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2510 2511 2512
	return error;
}

A
Al Viro 已提交
2513
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2514
{
2515
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2516 2517 2518
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2519 2520 2521 2522
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2523 2524 2525
	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2526 2527
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2528
		return -ELOOP;
C
Christoph Hellwig 已提交
2529 2530 2531 2532 2533 2534
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2535
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
2536
			return -EACCES;
C
Christoph Hellwig 已提交
2537 2538 2539
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2540
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2541
		break;
2542
	}
2543

2544
	error = inode_permission(inode, acc_mode);
2545 2546
	if (error)
		return error;
M
Mimi Zohar 已提交
2547

L
Linus Torvalds 已提交
2548 2549 2550 2551
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2552
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2553
			return -EPERM;
L
Linus Torvalds 已提交
2554
		if (flag & O_TRUNC)
2555
			return -EPERM;
L
Linus Torvalds 已提交
2556 2557 2558
	}

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

2562
	return 0;
2563
}
L
Linus Torvalds 已提交
2564

2565
static int handle_truncate(struct file *filp)
2566
{
2567
	struct path *path = &filp->f_path;
2568 2569 2570 2571 2572 2573 2574 2575 2576
	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)
2577
		error = security_path_truncate(path);
2578 2579 2580
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2581
				    filp);
2582 2583
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2584
	return error;
L
Linus Torvalds 已提交
2585 2586
}

2587 2588
static inline int open_to_namei_flags(int flag)
{
2589 2590
	if ((flag & O_ACCMODE) == 3)
		flag--;
2591 2592 2593
	return flag;
}

M
Miklos Szeredi 已提交
2594 2595 2596 2597 2598 2599 2600 2601 2602 2603 2604 2605 2606
static int may_o_create(struct path *dir, struct dentry *dentry, umode_t mode)
{
	int error = security_path_mknod(dir, dentry, mode, 0);
	if (error)
		return error;

	error = inode_permission(dir->dentry->d_inode, MAY_WRITE | MAY_EXEC);
	if (error)
		return error;

	return security_inode_create(dir->dentry->d_inode, dentry, mode);
}

2607 2608 2609 2610 2611 2612 2613 2614 2615 2616 2617 2618 2619
/*
 * Attempt to atomically look up, create and open a file from a negative
 * dentry.
 *
 * Returns 0 if successful.  The file will have been created and attached to
 * @file by the filesystem calling finish_open().
 *
 * Returns 1 if the file was looked up only or didn't need creating.  The
 * caller will need to perform the open themselves.  @path will have been
 * updated to point to the new dentry.  This may be negative.
 *
 * Returns an error code otherwise.
 */
2620 2621 2622
static int atomic_open(struct nameidata *nd, struct dentry *dentry,
			struct path *path, struct file *file,
			const struct open_flags *op,
2623
			bool got_write, bool need_lookup,
2624
			int *opened)
M
Miklos Szeredi 已提交
2625 2626 2627 2628 2629 2630 2631 2632
{
	struct inode *dir =  nd->path.dentry->d_inode;
	unsigned open_flag = open_to_namei_flags(op->open_flag);
	umode_t mode;
	int error;
	int acc_mode;
	int create_error = 0;
	struct dentry *const DENTRY_NOT_SET = (void *) -1UL;
2633
	bool excl;
M
Miklos Szeredi 已提交
2634 2635 2636 2637 2638

	BUG_ON(dentry->d_inode);

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

2643
	mode = op->mode;
M
Miklos Szeredi 已提交
2644 2645 2646
	if ((open_flag & O_CREAT) && !IS_POSIXACL(dir))
		mode &= ~current_umask();

2647 2648
	excl = (open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT);
	if (excl)
M
Miklos Szeredi 已提交
2649 2650 2651 2652 2653 2654 2655 2656 2657 2658 2659
		open_flag &= ~O_TRUNC;

	/*
	 * Checking write permission is tricky, bacuse we don't know if we are
	 * going to actually need it: O_CREAT opens should work as long as the
	 * file exists.  But checking existence breaks atomicity.  The trick is
	 * to check access and if not granted clear O_CREAT from the flags.
	 *
	 * Another problem is returing the "right" error value (e.g. for an
	 * O_EXCL open we want to return EEXIST not EROFS).
	 */
2660 2661 2662
	if (((open_flag & (O_CREAT | O_TRUNC)) ||
	    (open_flag & O_ACCMODE) != O_RDONLY) && unlikely(!got_write)) {
		if (!(open_flag & O_CREAT)) {
M
Miklos Szeredi 已提交
2663 2664 2665 2666 2667 2668 2669
			/*
			 * No O_CREATE -> atomicity not a requirement -> fall
			 * back to lookup + open
			 */
			goto no_open;
		} else if (open_flag & (O_EXCL | O_TRUNC)) {
			/* Fall back and fail with the right error */
2670
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2671 2672 2673
			goto no_open;
		} else {
			/* No side effects, safe to clear O_CREAT */
2674
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2675 2676 2677 2678 2679
			open_flag &= ~O_CREAT;
		}
	}

	if (open_flag & O_CREAT) {
2680
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2681 2682 2683 2684 2685 2686 2687 2688 2689 2690 2691
		if (error) {
			create_error = error;
			if (open_flag & O_EXCL)
				goto no_open;
			open_flag &= ~O_CREAT;
		}
	}

	if (nd->flags & LOOKUP_DIRECTORY)
		open_flag |= O_DIRECTORY;

A
Al Viro 已提交
2692 2693 2694
	file->f_path.dentry = DENTRY_NOT_SET;
	file->f_path.mnt = nd->path.mnt;
	error = dir->i_op->atomic_open(dir, dentry, file, open_flag, mode,
2695
				      opened);
A
Al Viro 已提交
2696 2697 2698
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2699 2700 2701
		goto out;
	}

A
Al Viro 已提交
2702
	if (error) {	/* returned 1, that is */
A
Al Viro 已提交
2703
		if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2704
			error = -EIO;
M
Miklos Szeredi 已提交
2705 2706
			goto out;
		}
A
Al Viro 已提交
2707
		if (file->f_path.dentry) {
M
Miklos Szeredi 已提交
2708
			dput(dentry);
A
Al Viro 已提交
2709
			dentry = file->f_path.dentry;
M
Miklos Szeredi 已提交
2710
		}
2711 2712 2713 2714 2715 2716 2717 2718 2719 2720 2721 2722 2723
		if (*opened & FILE_CREATED)
			fsnotify_create(dir, dentry);
		if (!dentry->d_inode) {
			WARN_ON(*opened & FILE_CREATED);
			if (create_error) {
				error = create_error;
				goto out;
			}
		} else {
			if (excl && !(*opened & FILE_CREATED)) {
				error = -EEXIST;
				goto out;
			}
2724
		}
M
Miklos Szeredi 已提交
2725 2726 2727 2728 2729 2730 2731
		goto looked_up;
	}

	/*
	 * We didn't have the inode before the open, so check open permission
	 * here.
	 */
2732 2733 2734 2735 2736 2737
	acc_mode = op->acc_mode;
	if (*opened & FILE_CREATED) {
		WARN_ON(!(open_flag & O_CREAT));
		fsnotify_create(dir, dentry);
		acc_mode = MAY_OPEN;
	}
2738 2739 2740
	error = may_open(&file->f_path, acc_mode, open_flag);
	if (error)
		fput(file);
M
Miklos Szeredi 已提交
2741 2742 2743

out:
	dput(dentry);
2744
	return error;
M
Miklos Szeredi 已提交
2745 2746 2747

no_open:
	if (need_lookup) {
2748
		dentry = lookup_real(dir, dentry, nd->flags);
M
Miklos Szeredi 已提交
2749
		if (IS_ERR(dentry))
2750
			return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2751 2752 2753 2754

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

2755
			error = create_error;
M
Miklos Szeredi 已提交
2756 2757 2758 2759 2760 2761 2762 2763 2764 2765 2766 2767 2768 2769 2770
			if ((open_flag & O_EXCL)) {
				if (!dentry->d_inode)
					goto out;
			} else if (!dentry->d_inode) {
				goto out;
			} else if ((open_flag & O_TRUNC) &&
				   S_ISREG(dentry->d_inode->i_mode)) {
				goto out;
			}
			/* will fail later, go on to get the right error */
		}
	}
looked_up:
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2771
	return 1;
M
Miklos Szeredi 已提交
2772 2773
}

M
Miklos Szeredi 已提交
2774
/*
2775
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2776 2777 2778
 *
 * Must be called with i_mutex held on parent.
 *
2779 2780 2781 2782 2783 2784 2785 2786 2787 2788 2789 2790
 * Returns 0 if the file was successfully atomically created (if necessary) and
 * opened.  In this case the file will be returned attached to @file.
 *
 * Returns 1 if the file was not completely opened at this time, though lookups
 * and creations will have been performed and the dentry returned in @path will
 * be positive upon return if O_CREAT was specified.  If O_CREAT wasn't
 * specified then a negative dentry may be returned.
 *
 * An error code is returned otherwise.
 *
 * FILE_CREATE will be set in @*opened if the dentry was created and will be
 * cleared otherwise prior to returning.
M
Miklos Szeredi 已提交
2791
 */
2792 2793 2794
static int lookup_open(struct nameidata *nd, struct path *path,
			struct file *file,
			const struct open_flags *op,
2795
			bool got_write, int *opened)
M
Miklos Szeredi 已提交
2796 2797
{
	struct dentry *dir = nd->path.dentry;
2798
	struct inode *dir_inode = dir->d_inode;
M
Miklos Szeredi 已提交
2799 2800
	struct dentry *dentry;
	int error;
2801
	bool need_lookup;
M
Miklos Szeredi 已提交
2802

2803
	*opened &= ~FILE_CREATED;
2804
	dentry = lookup_dcache(&nd->last, dir, nd->flags, &need_lookup);
M
Miklos Szeredi 已提交
2805
	if (IS_ERR(dentry))
2806
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2807

M
Miklos Szeredi 已提交
2808 2809 2810 2811 2812
	/* Cached positive dentry: will open in f_op->open */
	if (!need_lookup && dentry->d_inode)
		goto out_no_open;

	if ((nd->flags & LOOKUP_OPEN) && dir_inode->i_op->atomic_open) {
2813
		return atomic_open(nd, dentry, path, file, op, got_write,
2814
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2815 2816
	}

2817 2818 2819
	if (need_lookup) {
		BUG_ON(dentry->d_inode);

2820
		dentry = lookup_real(dir_inode, dentry, nd->flags);
2821
		if (IS_ERR(dentry))
2822
			return PTR_ERR(dentry);
2823 2824
	}

M
Miklos Szeredi 已提交
2825 2826 2827 2828 2829 2830 2831 2832 2833 2834
	/* Negative dentry, just create the file */
	if (!dentry->d_inode && (op->open_flag & O_CREAT)) {
		umode_t mode = op->mode;
		if (!IS_POSIXACL(dir->d_inode))
			mode &= ~current_umask();
		/*
		 * This write is needed to ensure that a
		 * rw->ro transition does not occur between
		 * the time when the file is created and when
		 * a permanent write count is taken through
2835
		 * the 'struct file' in finish_open().
M
Miklos Szeredi 已提交
2836
		 */
2837 2838
		if (!got_write) {
			error = -EROFS;
M
Miklos Szeredi 已提交
2839
			goto out_dput;
2840
		}
2841
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2842 2843 2844
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto out_dput;
A
Al Viro 已提交
2845 2846
		error = vfs_create(dir->d_inode, dentry, mode,
				   nd->flags & LOOKUP_EXCL);
M
Miklos Szeredi 已提交
2847 2848 2849
		if (error)
			goto out_dput;
	}
M
Miklos Szeredi 已提交
2850
out_no_open:
M
Miklos Szeredi 已提交
2851 2852
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2853
	return 1;
M
Miklos Szeredi 已提交
2854 2855 2856

out_dput:
	dput(dentry);
2857
	return error;
M
Miklos Szeredi 已提交
2858 2859
}

N
Nick Piggin 已提交
2860
/*
2861
 * Handle the last step of open()
N
Nick Piggin 已提交
2862
 */
2863 2864
static int do_last(struct nameidata *nd, struct path *path,
		   struct file *file, const struct open_flags *op,
2865
		   int *opened, struct filename *name)
2866
{
2867
	struct dentry *dir = nd->path.dentry;
2868
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
2869
	bool will_truncate = (open_flag & O_TRUNC) != 0;
2870
	bool got_write = false;
A
Al Viro 已提交
2871
	int acc_mode = op->acc_mode;
2872
	struct inode *inode;
M
Miklos Szeredi 已提交
2873
	bool symlink_ok = false;
2874 2875
	struct path save_parent = { .dentry = NULL, .mnt = NULL };
	bool retried = false;
A
Al Viro 已提交
2876
	int error;
2877

2878 2879 2880
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

2881
	if (nd->last_type != LAST_NORM) {
2882 2883
		error = handle_dots(nd, nd->last_type);
		if (error)
2884
			return error;
M
Miklos Szeredi 已提交
2885
		goto finish_open;
2886
	}
2887

2888
	if (!(open_flag & O_CREAT)) {
2889 2890
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
A
Al Viro 已提交
2891
		if (open_flag & O_PATH && !(nd->flags & LOOKUP_FOLLOW))
M
Miklos Szeredi 已提交
2892
			symlink_ok = true;
2893
		/* we _can_ be in RCU mode here */
A
Al Viro 已提交
2894
		error = lookup_fast(nd, path, &inode);
2895 2896 2897 2898
		if (likely(!error))
			goto finish_lookup;

		if (error < 0)
2899
			goto out;
2900 2901

		BUG_ON(nd->inode != dir->d_inode);
2902 2903 2904 2905 2906 2907 2908 2909 2910
	} else {
		/* create side of things */
		/*
		 * This will *only* deal with leaving RCU mode - LOOKUP_JUMPED
		 * has been cleared when we got to the last component we are
		 * about to look up
		 */
		error = complete_walk(nd);
		if (error)
2911
			return error;
2912

2913
		audit_inode(name, dir, LOOKUP_PARENT);
2914 2915 2916
		error = -EISDIR;
		/* trailing slashes? */
		if (nd->last.name[nd->last.len])
2917
			goto out;
2918
	}
A
Al Viro 已提交
2919

2920
retry_lookup:
2921 2922 2923 2924 2925 2926 2927 2928 2929 2930
	if (op->open_flag & (O_CREAT | O_TRUNC | O_WRONLY | O_RDWR)) {
		error = mnt_want_write(nd->path.mnt);
		if (!error)
			got_write = true;
		/*
		 * do _not_ fail yet - we might not need that or fail with
		 * a different error; let lookup_open() decide; we'll be
		 * dropping this one anyway.
		 */
	}
2931
	mutex_lock(&dir->d_inode->i_mutex);
2932
	error = lookup_open(nd, path, file, op, got_write, opened);
M
Miklos Szeredi 已提交
2933
	mutex_unlock(&dir->d_inode->i_mutex);
2934

2935 2936
	if (error <= 0) {
		if (error)
M
Miklos Szeredi 已提交
2937 2938
			goto out;

2939
		if ((*opened & FILE_CREATED) ||
A
Al Viro 已提交
2940
		    !S_ISREG(file_inode(file)->i_mode))
M
Miklos Szeredi 已提交
2941
			will_truncate = false;
M
Miklos Szeredi 已提交
2942

2943
		audit_inode(name, file->f_path.dentry, 0);
M
Miklos Szeredi 已提交
2944 2945
		goto opened;
	}
2946

2947
	if (*opened & FILE_CREATED) {
2948
		/* Don't check for write permission, don't truncate */
2949
		open_flag &= ~O_TRUNC;
M
Miklos Szeredi 已提交
2950
		will_truncate = false;
A
Al Viro 已提交
2951
		acc_mode = MAY_OPEN;
M
Miklos Szeredi 已提交
2952
		path_to_nameidata(path, nd);
M
Miklos Szeredi 已提交
2953
		goto finish_open_created;
2954 2955 2956
	}

	/*
2957
	 * create/update audit record if it already exists.
2958
	 */
2959
	if (d_is_positive(path->dentry))
2960
		audit_inode(name, path->dentry, 0);
2961

M
Miklos Szeredi 已提交
2962 2963 2964 2965 2966
	/*
	 * If atomic_open() acquired write access it is dropped now due to
	 * possible mount and symlink following (this might be optimized away if
	 * necessary...)
	 */
2967
	if (got_write) {
M
Miklos Szeredi 已提交
2968
		mnt_drop_write(nd->path.mnt);
2969
		got_write = false;
M
Miklos Szeredi 已提交
2970 2971
	}

2972
	error = -EEXIST;
A
Al Viro 已提交
2973
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))
2974 2975
		goto exit_dput;

2976 2977 2978
	error = follow_managed(path, nd->flags);
	if (error < 0)
		goto exit_dput;
2979

2980 2981 2982
	if (error)
		nd->flags |= LOOKUP_JUMPED;

2983 2984
	BUG_ON(nd->flags & LOOKUP_RCU);
	inode = path->dentry->d_inode;
2985 2986
finish_lookup:
	/* we _can_ be in RCU mode here */
2987
	error = -ENOENT;
2988
	if (d_is_negative(path->dentry)) {
2989
		path_to_nameidata(path, nd);
2990
		goto out;
2991
	}
A
Al Viro 已提交
2992

2993
	if (should_follow_link(path->dentry, !symlink_ok)) {
2994 2995 2996
		if (nd->flags & LOOKUP_RCU) {
			if (unlikely(unlazy_walk(nd, path->dentry))) {
				error = -ECHILD;
2997
				goto out;
2998 2999 3000
			}
		}
		BUG_ON(inode != path->dentry->d_inode);
3001
		return 1;
3002
	}
3003

3004 3005 3006 3007 3008 3009 3010 3011
	if ((nd->flags & LOOKUP_RCU) || nd->path.mnt != path->mnt) {
		path_to_nameidata(path, nd);
	} else {
		save_parent.dentry = nd->path.dentry;
		save_parent.mnt = mntget(path->mnt);
		nd->path.dentry = path->dentry;

	}
3012
	nd->inode = inode;
3013
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
3014
finish_open:
3015
	error = complete_walk(nd);
3016 3017
	if (error) {
		path_put(&save_parent);
3018
		return error;
3019
	}
3020
	audit_inode(name, nd->path.dentry, 0);
3021
	error = -EISDIR;
3022 3023
	if ((open_flag & O_CREAT) &&
	    (d_is_directory(nd->path.dentry) || d_is_autodir(nd->path.dentry)))
3024
		goto out;
3025
	error = -ENOTDIR;
3026
	if ((nd->flags & LOOKUP_DIRECTORY) && !d_is_directory(nd->path.dentry))
3027
		goto out;
3028
	if (!S_ISREG(nd->inode->i_mode))
M
Miklos Szeredi 已提交
3029
		will_truncate = false;
3030

3031 3032 3033
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
3034
			goto out;
3035
		got_write = true;
3036
	}
M
Miklos Szeredi 已提交
3037
finish_open_created:
A
Al Viro 已提交
3038
	error = may_open(&nd->path, acc_mode, open_flag);
3039
	if (error)
3040
		goto out;
A
Al Viro 已提交
3041 3042 3043 3044
	file->f_path.mnt = nd->path.mnt;
	error = finish_open(file, nd->path.dentry, NULL, opened);
	if (error) {
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
3045
			goto stale_open;
3046
		goto out;
M
Miklos Szeredi 已提交
3047
	}
3048
opened:
3049
	error = open_check_o_direct(file);
3050 3051
	if (error)
		goto exit_fput;
3052
	error = ima_file_check(file, op->acc_mode);
3053 3054 3055 3056
	if (error)
		goto exit_fput;

	if (will_truncate) {
3057
		error = handle_truncate(file);
3058 3059
		if (error)
			goto exit_fput;
3060
	}
3061
out:
3062
	if (got_write)
3063
		mnt_drop_write(nd->path.mnt);
3064
	path_put(&save_parent);
3065
	terminate_walk(nd);
3066
	return error;
3067 3068 3069

exit_dput:
	path_put_conditional(path, nd);
3070
	goto out;
3071
exit_fput:
3072 3073
	fput(file);
	goto out;
3074

M
Miklos Szeredi 已提交
3075 3076 3077 3078 3079 3080 3081 3082 3083 3084 3085
stale_open:
	/* If no saved parent or already retried then can't retry */
	if (!save_parent.dentry || retried)
		goto out;

	BUG_ON(save_parent.dentry != dir);
	path_put(&nd->path);
	nd->path = save_parent;
	nd->inode = dir->d_inode;
	save_parent.mnt = NULL;
	save_parent.dentry = NULL;
3086
	if (got_write) {
M
Miklos Szeredi 已提交
3087
		mnt_drop_write(nd->path.mnt);
3088
		got_write = false;
M
Miklos Szeredi 已提交
3089 3090 3091
	}
	retried = true;
	goto retry_lookup;
3092 3093
}

3094 3095 3096 3097 3098 3099 3100 3101 3102 3103 3104 3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3118 3119 3120 3121 3122 3123 3124 3125 3126 3127 3128 3129 3130 3131 3132 3133 3134 3135 3136 3137 3138 3139
static int do_tmpfile(int dfd, struct filename *pathname,
		struct nameidata *nd, int flags,
		const struct open_flags *op,
		struct file *file, int *opened)
{
	static const struct qstr name = QSTR_INIT("/", 1);
	struct dentry *dentry, *child;
	struct inode *dir;
	int error = path_lookupat(dfd, pathname->name,
				  flags | LOOKUP_DIRECTORY, nd);
	if (unlikely(error))
		return error;
	error = mnt_want_write(nd->path.mnt);
	if (unlikely(error))
		goto out;
	/* we want directory to be writable */
	error = inode_permission(nd->inode, MAY_WRITE | MAY_EXEC);
	if (error)
		goto out2;
	dentry = nd->path.dentry;
	dir = dentry->d_inode;
	if (!dir->i_op->tmpfile) {
		error = -EOPNOTSUPP;
		goto out2;
	}
	child = d_alloc(dentry, &name);
	if (unlikely(!child)) {
		error = -ENOMEM;
		goto out2;
	}
	nd->flags &= ~LOOKUP_DIRECTORY;
	nd->flags |= op->intent;
	dput(nd->path.dentry);
	nd->path.dentry = child;
	error = dir->i_op->tmpfile(dir, nd->path.dentry, op->mode);
	if (error)
		goto out2;
	audit_inode(pathname, nd->path.dentry, 0);
	error = may_open(&nd->path, op->acc_mode, op->open_flag);
	if (error)
		goto out2;
	file->f_path.mnt = nd->path.mnt;
	error = finish_open(file, nd->path.dentry, NULL, opened);
	if (error)
		goto out2;
	error = open_check_o_direct(file);
3140
	if (error) {
3141
		fput(file);
3142 3143 3144 3145 3146 3147
	} else if (!(op->open_flag & O_EXCL)) {
		struct inode *inode = file_inode(file);
		spin_lock(&inode->i_lock);
		inode->i_state |= I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
3148 3149 3150 3151 3152 3153 3154
out2:
	mnt_drop_write(nd->path.mnt);
out:
	path_put(&nd->path);
	return error;
}

3155
static struct file *path_openat(int dfd, struct filename *pathname,
A
Al Viro 已提交
3156
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
3157
{
3158
	struct file *base = NULL;
A
Al Viro 已提交
3159
	struct file *file;
3160
	struct path path;
3161
	int opened = 0;
3162
	int error;
N
Nick Piggin 已提交
3163

A
Al Viro 已提交
3164
	file = get_empty_filp();
3165 3166
	if (IS_ERR(file))
		return file;
N
Nick Piggin 已提交
3167

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

A
Al Viro 已提交
3170
	if (unlikely(file->f_flags & __O_TMPFILE)) {
3171 3172 3173 3174
		error = do_tmpfile(dfd, pathname, nd, flags, op, file, &opened);
		goto out;
	}

3175
	error = path_init(dfd, pathname->name, flags | LOOKUP_PARENT, nd, &base);
N
Nick Piggin 已提交
3176
	if (unlikely(error))
3177
		goto out;
N
Nick Piggin 已提交
3178

3179
	current->total_link_count = 0;
3180
	error = link_path_walk(pathname->name, nd);
N
Nick Piggin 已提交
3181
	if (unlikely(error))
3182
		goto out;
L
Linus Torvalds 已提交
3183

3184 3185
	error = do_last(nd, &path, file, op, &opened, pathname);
	while (unlikely(error > 0)) { /* trailing symlink */
3186
		struct path link = path;
A
Al Viro 已提交
3187
		void *cookie;
3188
		if (!(nd->flags & LOOKUP_FOLLOW)) {
A
Al Viro 已提交
3189 3190
			path_put_conditional(&path, nd);
			path_put(&nd->path);
3191
			error = -ELOOP;
3192 3193
			break;
		}
K
Kees Cook 已提交
3194 3195 3196
		error = may_follow_link(&link, nd);
		if (unlikely(error))
			break;
A
Al Viro 已提交
3197 3198
		nd->flags |= LOOKUP_PARENT;
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
3199
		error = follow_link(&link, nd, &cookie);
3200
		if (unlikely(error))
3201 3202
			break;
		error = do_last(nd, &path, file, op, &opened, pathname);
3203
		put_link(nd, &link, cookie);
3204
	}
A
Al Viro 已提交
3205
out:
A
Al Viro 已提交
3206 3207
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT))
		path_put(&nd->root);
3208 3209
	if (base)
		fput(base);
3210 3211
	if (!(opened & FILE_OPENED)) {
		BUG_ON(!error);
A
Al Viro 已提交
3212
		put_filp(file);
3213
	}
3214 3215 3216 3217 3218 3219 3220 3221 3222 3223
	if (unlikely(error)) {
		if (error == -EOPENSTALE) {
			if (flags & LOOKUP_RCU)
				error = -ECHILD;
			else
				error = -ESTALE;
		}
		file = ERR_PTR(error);
	}
	return file;
L
Linus Torvalds 已提交
3224 3225
}

3226
struct file *do_filp_open(int dfd, struct filename *pathname,
3227
		const struct open_flags *op)
3228
{
A
Al Viro 已提交
3229
	struct nameidata nd;
3230
	int flags = op->lookup_flags;
3231 3232
	struct file *filp;

A
Al Viro 已提交
3233
	filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_RCU);
3234
	if (unlikely(filp == ERR_PTR(-ECHILD)))
A
Al Viro 已提交
3235
		filp = path_openat(dfd, pathname, &nd, op, flags);
3236
	if (unlikely(filp == ERR_PTR(-ESTALE)))
A
Al Viro 已提交
3237
		filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_REVAL);
3238 3239 3240
	return filp;
}

A
Al Viro 已提交
3241
struct file *do_file_open_root(struct dentry *dentry, struct vfsmount *mnt,
3242
		const char *name, const struct open_flags *op)
A
Al Viro 已提交
3243 3244 3245
{
	struct nameidata nd;
	struct file *file;
3246
	struct filename filename = { .name = name };
3247
	int flags = op->lookup_flags | LOOKUP_ROOT;
A
Al Viro 已提交
3248 3249 3250 3251

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

3252
	if (d_is_symlink(dentry) && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3253 3254
		return ERR_PTR(-ELOOP);

3255
	file = path_openat(-1, &filename, &nd, op, flags | LOOKUP_RCU);
A
Al Viro 已提交
3256
	if (unlikely(file == ERR_PTR(-ECHILD)))
3257
		file = path_openat(-1, &filename, &nd, op, flags);
A
Al Viro 已提交
3258
	if (unlikely(file == ERR_PTR(-ESTALE)))
3259
		file = path_openat(-1, &filename, &nd, op, flags | LOOKUP_REVAL);
A
Al Viro 已提交
3260 3261 3262
	return file;
}

3263 3264
struct dentry *kern_path_create(int dfd, const char *pathname,
				struct path *path, unsigned int lookup_flags)
L
Linus Torvalds 已提交
3265
{
3266
	struct dentry *dentry = ERR_PTR(-EEXIST);
A
Al Viro 已提交
3267
	struct nameidata nd;
3268
	int err2;
3269 3270 3271 3272 3273 3274 3275 3276 3277 3278
	int error;
	bool is_dir = (lookup_flags & LOOKUP_DIRECTORY);

	/*
	 * Note that only LOOKUP_REVAL and LOOKUP_DIRECTORY matter here. Any
	 * other flags passed in are ignored!
	 */
	lookup_flags &= LOOKUP_REVAL;

	error = do_path_lookup(dfd, pathname, LOOKUP_PARENT|lookup_flags, &nd);
A
Al Viro 已提交
3279 3280
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
3281

3282 3283 3284 3285
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
A
Al Viro 已提交
3286 3287 3288 3289
	if (nd.last_type != LAST_NORM)
		goto out;
	nd.flags &= ~LOOKUP_PARENT;
	nd.flags |= LOOKUP_CREATE | LOOKUP_EXCL;
3290

3291 3292
	/* don't fail immediately if it's r/o, at least try to report other errors */
	err2 = mnt_want_write(nd.path.mnt);
3293 3294 3295
	/*
	 * Do the final lookup.
	 */
A
Al Viro 已提交
3296 3297
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
3298
	if (IS_ERR(dentry))
3299
		goto unlock;
3300

3301
	error = -EEXIST;
3302
	if (d_is_positive(dentry))
3303
		goto fail;
3304

3305 3306 3307 3308 3309 3310
	/*
	 * 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 已提交
3311
	if (unlikely(!is_dir && nd.last.name[nd.last.len])) {
3312
		error = -ENOENT;
A
Al Viro 已提交
3313
		goto fail;
3314
	}
3315 3316
	if (unlikely(err2)) {
		error = err2;
3317
		goto fail;
3318
	}
A
Al Viro 已提交
3319
	*path = nd.path;
L
Linus Torvalds 已提交
3320 3321
	return dentry;
fail:
3322 3323 3324
	dput(dentry);
	dentry = ERR_PTR(error);
unlock:
A
Al Viro 已提交
3325
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
3326 3327
	if (!err2)
		mnt_drop_write(nd.path.mnt);
A
Al Viro 已提交
3328 3329
out:
	path_put(&nd.path);
L
Linus Torvalds 已提交
3330 3331
	return dentry;
}
3332 3333
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3334 3335 3336 3337
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3338
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3339 3340 3341 3342
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

3343 3344
struct dentry *user_path_create(int dfd, const char __user *pathname,
				struct path *path, unsigned int lookup_flags)
3345
{
3346
	struct filename *tmp = getname(pathname);
3347 3348 3349
	struct dentry *res;
	if (IS_ERR(tmp))
		return ERR_CAST(tmp);
3350
	res = kern_path_create(dfd, tmp->name, path, lookup_flags);
3351 3352 3353 3354 3355
	putname(tmp);
	return res;
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3356
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3357
{
3358
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3359 3360 3361 3362

	if (error)
		return error;

3363
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3364 3365
		return -EPERM;

A
Al Viro 已提交
3366
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3367 3368
		return -EPERM;

3369 3370 3371 3372
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3373 3374 3375 3376 3377
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3378
	if (!error)
3379
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3380 3381 3382
	return error;
}

A
Al Viro 已提交
3383
static int may_mknod(umode_t mode)
3384 3385 3386 3387 3388 3389 3390 3391 3392 3393 3394 3395 3396 3397 3398 3399
{
	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 已提交
3400
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
3401
		unsigned, dev)
L
Linus Torvalds 已提交
3402
{
3403
	struct dentry *dentry;
3404 3405
	struct path path;
	int error;
3406
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3407

3408 3409 3410
	error = may_mknod(mode);
	if (error)
		return error;
3411 3412
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3413 3414
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3415

3416
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3417
		mode &= ~current_umask();
3418
	error = security_path_mknod(&path, dentry, mode, dev);
3419
	if (error)
3420
		goto out;
3421
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3422
		case 0: case S_IFREG:
A
Al Viro 已提交
3423
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
L
Linus Torvalds 已提交
3424 3425
			break;
		case S_IFCHR: case S_IFBLK:
3426
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3427 3428 3429
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3430
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3431 3432
			break;
	}
3433
out:
A
Al Viro 已提交
3434
	done_path_create(&path, dentry);
3435 3436 3437 3438
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3439 3440 3441
	return error;
}

A
Al Viro 已提交
3442
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3443 3444 3445 3446
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

3447
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3448
{
3449
	int error = may_create(dir, dentry);
3450
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3451 3452 3453 3454

	if (error)
		return error;

A
Al Viro 已提交
3455
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3456 3457 3458 3459 3460 3461 3462
		return -EPERM;

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

3463 3464 3465
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3466
	error = dir->i_op->mkdir(dir, dentry, mode);
3467
	if (!error)
3468
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3469 3470 3471
	return error;
}

3472
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
3473
{
3474
	struct dentry *dentry;
3475 3476
	struct path path;
	int error;
3477
	unsigned int lookup_flags = LOOKUP_DIRECTORY;
L
Linus Torvalds 已提交
3478

3479 3480
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3481
	if (IS_ERR(dentry))
3482
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3483

3484
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3485
		mode &= ~current_umask();
3486
	error = security_path_mkdir(&path, dentry, mode);
3487 3488
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3489
	done_path_create(&path, dentry);
3490 3491 3492 3493
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3494 3495 3496
	return error;
}

3497
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3498 3499 3500 3501
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
3502
/*
S
Sage Weil 已提交
3503
 * The dentry_unhash() helper will try to drop the dentry early: we
3504
 * should have a usage count of 1 if we're the only user of this
S
Sage Weil 已提交
3505 3506
 * dentry, and if that is true (possibly after pruning the dcache),
 * then we drop the dentry now.
L
Linus Torvalds 已提交
3507 3508 3509 3510 3511 3512 3513 3514 3515 3516 3517 3518
 *
 * 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)
{
3519
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
3520
	spin_lock(&dentry->d_lock);
3521
	if (dentry->d_lockref.count == 1)
L
Linus Torvalds 已提交
3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532
		__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 已提交
3533
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3534 3535
		return -EPERM;

3536
	dget(dentry);
3537
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3538 3539

	error = -EBUSY;
L
Linus Torvalds 已提交
3540
	if (d_mountpoint(dentry))
S
Sage Weil 已提交
3541 3542 3543 3544 3545 3546
		goto out;

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

3547
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3548 3549 3550 3551 3552 3553 3554 3555
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

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

out:
3556
	mutex_unlock(&dentry->d_inode->i_mutex);
3557
	dput(dentry);
S
Sage Weil 已提交
3558
	if (!error)
L
Linus Torvalds 已提交
3559 3560 3561 3562
		d_delete(dentry);
	return error;
}

3563
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3564 3565
{
	int error = 0;
3566
	struct filename *name;
L
Linus Torvalds 已提交
3567 3568
	struct dentry *dentry;
	struct nameidata nd;
3569 3570 3571
	unsigned int lookup_flags = 0;
retry:
	name = user_path_parent(dfd, pathname, &nd, lookup_flags);
3572 3573
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3574 3575

	switch(nd.last_type) {
3576 3577 3578 3579 3580 3581 3582 3583 3584
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3585
	}
3586 3587

	nd.flags &= ~LOOKUP_PARENT;
3588 3589 3590
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto exit1;
3591

3592
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
3593
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
3594
	error = PTR_ERR(dentry);
3595 3596
	if (IS_ERR(dentry))
		goto exit2;
3597 3598 3599 3600
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3601 3602
	error = security_path_rmdir(&nd.path, dentry);
	if (error)
3603
		goto exit3;
3604
	error = vfs_rmdir(nd.path.dentry->d_inode, dentry);
3605
exit3:
3606 3607
	dput(dentry);
exit2:
3608
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
3609
	mnt_drop_write(nd.path.mnt);
L
Linus Torvalds 已提交
3610
exit1:
J
Jan Blunck 已提交
3611
	path_put(&nd.path);
L
Linus Torvalds 已提交
3612
	putname(name);
3613 3614 3615 3616
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3617 3618 3619
	return error;
}

3620
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3621 3622 3623 3624
{
	return do_rmdir(AT_FDCWD, pathname);
}

3625 3626 3627 3628 3629 3630 3631 3632 3633 3634 3635 3636 3637 3638 3639 3640 3641 3642 3643
/**
 * vfs_unlink - unlink a filesystem object
 * @dir:	parent directory
 * @dentry:	victim
 * @delegated_inode: returns victim inode, if the inode is delegated.
 *
 * The caller must hold dir->i_mutex.
 *
 * If vfs_unlink discovers a delegation, it will return -EWOULDBLOCK and
 * return a reference to the inode in delegated_inode.  The caller
 * should then break the delegation on that inode and retry.  Because
 * breaking a delegation may take a long time, the caller should drop
 * dir->i_mutex before doing so.
 *
 * Alternatively, a caller may pass NULL for delegated_inode.  This may
 * be appropriate for callers that expect the underlying filesystem not
 * to be NFS exported.
 */
int vfs_unlink(struct inode *dir, struct dentry *dentry, struct inode **delegated_inode)
L
Linus Torvalds 已提交
3644
{
J
J. Bruce Fields 已提交
3645
	struct inode *target = dentry->d_inode;
L
Linus Torvalds 已提交
3646 3647 3648 3649 3650
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3651
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3652 3653
		return -EPERM;

J
J. Bruce Fields 已提交
3654
	mutex_lock(&target->i_mutex);
L
Linus Torvalds 已提交
3655 3656 3657 3658
	if (d_mountpoint(dentry))
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3659
		if (!error) {
3660 3661
			error = try_break_deleg(target, delegated_inode);
			if (error)
3662
				goto out;
L
Linus Torvalds 已提交
3663
			error = dir->i_op->unlink(dir, dentry);
3664
			if (!error)
3665
				dont_mount(dentry);
3666
		}
L
Linus Torvalds 已提交
3667
	}
3668
out:
J
J. Bruce Fields 已提交
3669
	mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3670 3671 3672

	/* We don't d_delete() NFS sillyrenamed files--they still exist. */
	if (!error && !(dentry->d_flags & DCACHE_NFSFS_RENAMED)) {
J
J. Bruce Fields 已提交
3673
		fsnotify_link_count(target);
J
John McCutchan 已提交
3674
		d_delete(dentry);
L
Linus Torvalds 已提交
3675
	}
R
Robert Love 已提交
3676

L
Linus Torvalds 已提交
3677 3678 3679 3680 3681
	return error;
}

/*
 * Make sure that the actual truncation of the file will occur outside its
3682
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3683 3684 3685
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3686
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3687
{
3688
	int error;
3689
	struct filename *name;
L
Linus Torvalds 已提交
3690 3691 3692
	struct dentry *dentry;
	struct nameidata nd;
	struct inode *inode = NULL;
3693
	struct inode *delegated_inode = NULL;
3694 3695 3696
	unsigned int lookup_flags = 0;
retry:
	name = user_path_parent(dfd, pathname, &nd, lookup_flags);
3697 3698
	if (IS_ERR(name))
		return PTR_ERR(name);
3699

L
Linus Torvalds 已提交
3700 3701 3702
	error = -EISDIR;
	if (nd.last_type != LAST_NORM)
		goto exit1;
3703 3704

	nd.flags &= ~LOOKUP_PARENT;
3705 3706 3707
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto exit1;
3708
retry_deleg:
3709
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
3710
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
3711 3712 3713
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
3714 3715
		if (nd.last.name[nd.last.len])
			goto slashes;
L
Linus Torvalds 已提交
3716
		inode = dentry->d_inode;
3717
		if (d_is_negative(dentry))
3718 3719
			goto slashes;
		ihold(inode);
3720 3721
		error = security_path_unlink(&nd.path, dentry);
		if (error)
3722
			goto exit2;
3723
		error = vfs_unlink(nd.path.dentry->d_inode, dentry, &delegated_inode);
3724
exit2:
L
Linus Torvalds 已提交
3725 3726
		dput(dentry);
	}
3727
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3728 3729
	if (inode)
		iput(inode);	/* truncate the inode here */
3730 3731
	inode = NULL;
	if (delegated_inode) {
3732
		error = break_deleg_wait(&delegated_inode);
3733 3734 3735
		if (!error)
			goto retry_deleg;
	}
3736
	mnt_drop_write(nd.path.mnt);
L
Linus Torvalds 已提交
3737
exit1:
J
Jan Blunck 已提交
3738
	path_put(&nd.path);
L
Linus Torvalds 已提交
3739
	putname(name);
3740 3741 3742 3743 3744
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		inode = NULL;
		goto retry;
	}
L
Linus Torvalds 已提交
3745 3746 3747
	return error;

slashes:
3748 3749 3750 3751 3752 3753
	if (d_is_negative(dentry))
		error = -ENOENT;
	else if (d_is_directory(dentry) || d_is_autodir(dentry))
		error = -EISDIR;
	else
		error = -ENOTDIR;
L
Linus Torvalds 已提交
3754 3755 3756
	goto exit2;
}

3757
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3758 3759 3760 3761 3762 3763 3764 3765 3766 3767
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

3768
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3769 3770 3771 3772
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3773
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3774
{
3775
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3776 3777 3778 3779

	if (error)
		return error;

A
Al Viro 已提交
3780
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3781 3782 3783 3784 3785 3786 3787
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3788
	if (!error)
3789
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3790 3791 3792
	return error;
}

3793 3794
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3795
{
3796
	int error;
3797
	struct filename *from;
3798
	struct dentry *dentry;
3799
	struct path path;
3800
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3801 3802

	from = getname(oldname);
3803
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3804
		return PTR_ERR(from);
3805 3806
retry:
	dentry = user_path_create(newdfd, newname, &path, lookup_flags);
3807 3808
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3809
		goto out_putname;
3810

3811
	error = security_path_symlink(&path, dentry, from->name);
3812
	if (!error)
3813
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
3814
	done_path_create(&path, dentry);
3815 3816 3817 3818
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
3819
out_putname:
L
Linus Torvalds 已提交
3820 3821 3822 3823
	putname(from);
	return error;
}

3824
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3825 3826 3827 3828
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

J
J. Bruce Fields 已提交
3829 3830 3831 3832 3833 3834 3835 3836 3837 3838 3839 3840 3841 3842 3843 3844 3845 3846 3847 3848
/**
 * vfs_link - create a new link
 * @old_dentry:	object to be linked
 * @dir:	new parent
 * @new_dentry:	where to create the new link
 * @delegated_inode: returns inode needing a delegation break
 *
 * The caller must hold dir->i_mutex
 *
 * If vfs_link discovers a delegation on the to-be-linked file in need
 * of breaking, it will return -EWOULDBLOCK and return a reference to the
 * inode in delegated_inode.  The caller should then break the delegation
 * and retry.  Because breaking a delegation may take a long time, the
 * caller should drop the i_mutex before doing so.
 *
 * Alternatively, a caller may pass NULL for delegated_inode.  This may
 * be appropriate for callers that expect the underlying filesystem not
 * to be NFS exported.
 */
int vfs_link(struct dentry *old_dentry, struct inode *dir, struct dentry *new_dentry, struct inode **delegated_inode)
L
Linus Torvalds 已提交
3849 3850
{
	struct inode *inode = old_dentry->d_inode;
3851
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3852 3853 3854 3855 3856
	int error;

	if (!inode)
		return -ENOENT;

3857
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
3858 3859 3860 3861 3862 3863 3864 3865 3866 3867 3868
	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 已提交
3869
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
3870
		return -EPERM;
3871
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
3872 3873 3874 3875 3876 3877
		return -EPERM;

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

3878
	mutex_lock(&inode->i_mutex);
3879
	/* Make sure we don't allow creating hardlink to an unlinked file */
3880
	if (inode->i_nlink == 0 && !(inode->i_state & I_LINKABLE))
3881
		error =  -ENOENT;
3882 3883
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
J
J. Bruce Fields 已提交
3884 3885 3886 3887 3888
	else {
		error = try_break_deleg(inode, delegated_inode);
		if (!error)
			error = dir->i_op->link(old_dentry, dir, new_dentry);
	}
3889 3890 3891 3892 3893 3894

	if (!error && (inode->i_state & I_LINKABLE)) {
		spin_lock(&inode->i_lock);
		inode->i_state &= ~I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
3895
	mutex_unlock(&inode->i_mutex);
3896
	if (!error)
3897
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
3898 3899 3900 3901 3902 3903 3904 3905 3906 3907 3908 3909
	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
 */
3910 3911
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
3912 3913
{
	struct dentry *new_dentry;
3914
	struct path old_path, new_path;
J
J. Bruce Fields 已提交
3915
	struct inode *delegated_inode = NULL;
3916
	int how = 0;
L
Linus Torvalds 已提交
3917 3918
	int error;

3919
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
3920
		return -EINVAL;
3921
	/*
3922 3923 3924
	 * 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.
3925
	 */
3926 3927 3928
	if (flags & AT_EMPTY_PATH) {
		if (!capable(CAP_DAC_READ_SEARCH))
			return -ENOENT;
3929
		how = LOOKUP_EMPTY;
3930
	}
3931 3932 3933

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
3934
retry:
3935
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
3936
	if (error)
3937 3938
		return error;

3939 3940
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
3941
	error = PTR_ERR(new_dentry);
3942
	if (IS_ERR(new_dentry))
3943 3944 3945 3946 3947
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
3948 3949 3950
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
3951
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
3952
	if (error)
3953
		goto out_dput;
J
J. Bruce Fields 已提交
3954
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry, &delegated_inode);
3955
out_dput:
A
Al Viro 已提交
3956
	done_path_create(&new_path, new_dentry);
J
J. Bruce Fields 已提交
3957 3958
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
3959 3960
		if (!error) {
			path_put(&old_path);
J
J. Bruce Fields 已提交
3961
			goto retry;
3962
		}
J
J. Bruce Fields 已提交
3963
	}
3964
	if (retry_estale(error, how)) {
3965
		path_put(&old_path);
3966 3967 3968
		how |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3969
out:
3970
	path_put(&old_path);
L
Linus Torvalds 已提交
3971 3972 3973 3974

	return error;
}

3975
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
3976
{
3977
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
3978 3979
}

L
Linus Torvalds 已提交
3980 3981 3982 3983 3984 3985 3986
/*
 * 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
3987
 *	   sb->s_vfs_rename_mutex. We might be more accurate, but that's another
L
Linus Torvalds 已提交
3988
 *	   story.
3989 3990
 *	c) we have to lock _four_ objects - parents and victim (if it exists),
 *	   and source (if it is not a directory).
3991
 *	   And that - after we got ->i_mutex on parents (until then we don't know
L
Linus Torvalds 已提交
3992 3993
 *	   whether the target exists).  Solution: try to be smart with locking
 *	   order for inodes.  We rely on the fact that tree topology may change
3994
 *	   only under ->s_vfs_rename_mutex _and_ that parent of the object we
L
Linus Torvalds 已提交
3995 3996 3997
 *	   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,
3998
 *	   lock child" and rename is under ->s_vfs_rename_mutex.
L
Linus Torvalds 已提交
3999 4000 4001
 *	   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.
4002
 *	d) conversion from fhandle to dentry may come in the wrong moment - when
4003
 *	   we are removing the target. Solution: we will have to grab ->i_mutex
L
Linus Torvalds 已提交
4004
 *	   in the fhandle_to_dentry code. [FIXME - current nfsfh.c relies on
4005
 *	   ->i_mutex on parents, which works but leads to some truly excessive
L
Linus Torvalds 已提交
4006 4007
 *	   locking].
 */
A
Adrian Bunk 已提交
4008 4009
static int vfs_rename_dir(struct inode *old_dir, struct dentry *old_dentry,
			  struct inode *new_dir, struct dentry *new_dentry)
L
Linus Torvalds 已提交
4010 4011
{
	int error = 0;
S
Sage Weil 已提交
4012
	struct inode *target = new_dentry->d_inode;
4013
	unsigned max_links = new_dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
4014 4015 4016 4017 4018 4019

	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
	if (new_dir != old_dir) {
4020
		error = inode_permission(old_dentry->d_inode, MAY_WRITE);
L
Linus Torvalds 已提交
4021 4022 4023 4024 4025 4026 4027 4028
		if (error)
			return error;
	}

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

4029
	dget(new_dentry);
4030
	if (target)
4031
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
4032 4033 4034 4035 4036

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

4037 4038 4039 4040 4041
	error = -EMLINK;
	if (max_links && !target && new_dir != old_dir &&
	    new_dir->i_nlink >= max_links)
		goto out;

4042 4043
	if (target)
		shrink_dcache_parent(new_dentry);
S
Sage Weil 已提交
4044 4045 4046 4047
	error = old_dir->i_op->rename(old_dir, old_dentry, new_dir, new_dentry);
	if (error)
		goto out;

L
Linus Torvalds 已提交
4048
	if (target) {
S
Sage Weil 已提交
4049 4050
		target->i_flags |= S_DEAD;
		dont_mount(new_dentry);
L
Linus Torvalds 已提交
4051
	}
S
Sage Weil 已提交
4052 4053 4054
out:
	if (target)
		mutex_unlock(&target->i_mutex);
4055
	dput(new_dentry);
4056
	if (!error)
4057 4058
		if (!(old_dir->i_sb->s_type->fs_flags & FS_RENAME_DOES_D_MOVE))
			d_move(old_dentry,new_dentry);
L
Linus Torvalds 已提交
4059 4060 4061
	return error;
}

A
Adrian Bunk 已提交
4062
static int vfs_rename_other(struct inode *old_dir, struct dentry *old_dentry,
4063 4064
			    struct inode *new_dir, struct dentry *new_dentry,
			    struct inode **delegated_inode)
L
Linus Torvalds 已提交
4065
{
S
Sage Weil 已提交
4066
	struct inode *target = new_dentry->d_inode;
4067
	struct inode *source = old_dentry->d_inode;
L
Linus Torvalds 已提交
4068 4069 4070 4071 4072 4073 4074
	int error;

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

	dget(new_dentry);
4075
	lock_two_nondirectories(source, target);
S
Sage Weil 已提交
4076 4077

	error = -EBUSY;
L
Linus Torvalds 已提交
4078
	if (d_mountpoint(old_dentry)||d_mountpoint(new_dentry))
S
Sage Weil 已提交
4079 4080
		goto out;

4081 4082 4083 4084 4085 4086 4087 4088
	error = try_break_deleg(source, delegated_inode);
	if (error)
		goto out;
	if (target) {
		error = try_break_deleg(target, delegated_inode);
		if (error)
			goto out;
	}
S
Sage Weil 已提交
4089 4090 4091 4092 4093 4094 4095 4096 4097
	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:
4098
	unlock_two_nondirectories(source, target);
L
Linus Torvalds 已提交
4099 4100 4101 4102
	dput(new_dentry);
	return error;
}

4103 4104 4105 4106 4107 4108 4109 4110 4111 4112 4113 4114 4115 4116 4117 4118 4119 4120 4121 4122 4123
/**
 * vfs_rename - rename a filesystem object
 * @old_dir:	parent of source
 * @old_dentry:	source
 * @new_dir:	parent of destination
 * @new_dentry:	destination
 * @delegated_inode: returns an inode needing a delegation break
 *
 * The caller must hold multiple mutexes--see lock_rename()).
 *
 * If vfs_rename discovers a delegation in need of breaking at either
 * the source or destination, it will return -EWOULDBLOCK and return a
 * reference to the inode in delegated_inode.  The caller should then
 * break the delegation and retry.  Because breaking a delegation may
 * take a long time, the caller should drop all locks before doing
 * so.
 *
 * Alternatively, a caller may pass NULL for delegated_inode.  This may
 * be appropriate for callers that expect the underlying filesystem not
 * to be NFS exported.
 */
L
Linus Torvalds 已提交
4124
int vfs_rename(struct inode *old_dir, struct dentry *old_dentry,
4125 4126
	       struct inode *new_dir, struct dentry *new_dentry,
	       struct inode **delegated_inode)
L
Linus Torvalds 已提交
4127 4128
{
	int error;
4129
	int is_dir = d_is_directory(old_dentry) || d_is_autodir(old_dentry);
4130
	const unsigned char *old_name;
L
Linus Torvalds 已提交
4131 4132 4133 4134 4135 4136 4137 4138 4139

	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)
4140
		error = may_create(new_dir, new_dentry);
L
Linus Torvalds 已提交
4141 4142 4143 4144 4145
	else
		error = may_delete(new_dir, new_dentry, is_dir);
	if (error)
		return error;

A
Al Viro 已提交
4146
	if (!old_dir->i_op->rename)
L
Linus Torvalds 已提交
4147 4148
		return -EPERM;

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

L
Linus Torvalds 已提交
4151 4152 4153
	if (is_dir)
		error = vfs_rename_dir(old_dir,old_dentry,new_dir,new_dentry);
	else
4154
		error = vfs_rename_other(old_dir,old_dentry,new_dir,new_dentry,delegated_inode);
4155 4156
	if (!error)
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
4157
			      new_dentry->d_inode, old_dentry);
R
Robert Love 已提交
4158 4159
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
4160 4161 4162
	return error;
}

4163 4164
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
4165
{
4166 4167 4168
	struct dentry *old_dir, *new_dir;
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
L
Linus Torvalds 已提交
4169
	struct nameidata oldnd, newnd;
4170
	struct inode *delegated_inode = NULL;
4171 4172
	struct filename *from;
	struct filename *to;
4173 4174
	unsigned int lookup_flags = 0;
	bool should_retry = false;
4175
	int error;
4176 4177
retry:
	from = user_path_parent(olddfd, oldname, &oldnd, lookup_flags);
4178 4179
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
4180
		goto exit;
4181
	}
L
Linus Torvalds 已提交
4182

4183
	to = user_path_parent(newdfd, newname, &newnd, lookup_flags);
4184 4185
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
4186
		goto exit1;
4187
	}
L
Linus Torvalds 已提交
4188 4189

	error = -EXDEV;
4190
	if (oldnd.path.mnt != newnd.path.mnt)
L
Linus Torvalds 已提交
4191 4192
		goto exit2;

4193
	old_dir = oldnd.path.dentry;
L
Linus Torvalds 已提交
4194 4195 4196 4197
	error = -EBUSY;
	if (oldnd.last_type != LAST_NORM)
		goto exit2;

4198
	new_dir = newnd.path.dentry;
L
Linus Torvalds 已提交
4199 4200 4201
	if (newnd.last_type != LAST_NORM)
		goto exit2;

4202 4203 4204 4205
	error = mnt_want_write(oldnd.path.mnt);
	if (error)
		goto exit2;

4206 4207
	oldnd.flags &= ~LOOKUP_PARENT;
	newnd.flags &= ~LOOKUP_PARENT;
4208
	newnd.flags |= LOOKUP_RENAME_TARGET;
4209

4210
retry_deleg:
L
Linus Torvalds 已提交
4211 4212
	trap = lock_rename(new_dir, old_dir);

4213
	old_dentry = lookup_hash(&oldnd);
L
Linus Torvalds 已提交
4214 4215 4216 4217 4218
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
4219
	if (d_is_negative(old_dentry))
L
Linus Torvalds 已提交
4220 4221
		goto exit4;
	/* unless the source is a directory trailing slashes give -ENOTDIR */
4222
	if (!d_is_directory(old_dentry) && !d_is_autodir(old_dentry)) {
L
Linus Torvalds 已提交
4223 4224 4225 4226 4227 4228 4229 4230 4231 4232
		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;
4233
	new_dentry = lookup_hash(&newnd);
L
Linus Torvalds 已提交
4234 4235 4236 4237 4238 4239 4240 4241
	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;

4242 4243 4244
	error = security_path_rename(&oldnd.path, old_dentry,
				     &newnd.path, new_dentry);
	if (error)
4245
		goto exit5;
L
Linus Torvalds 已提交
4246
	error = vfs_rename(old_dir->d_inode, old_dentry,
4247 4248
				   new_dir->d_inode, new_dentry,
				   &delegated_inode);
L
Linus Torvalds 已提交
4249 4250 4251 4252 4253 4254
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
	unlock_rename(new_dir, old_dir);
4255 4256 4257 4258 4259
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
		if (!error)
			goto retry_deleg;
	}
4260
	mnt_drop_write(oldnd.path.mnt);
L
Linus Torvalds 已提交
4261
exit2:
4262 4263
	if (retry_estale(error, lookup_flags))
		should_retry = true;
J
Jan Blunck 已提交
4264
	path_put(&newnd.path);
4265
	putname(to);
L
Linus Torvalds 已提交
4266
exit1:
J
Jan Blunck 已提交
4267
	path_put(&oldnd.path);
L
Linus Torvalds 已提交
4268
	putname(from);
4269 4270 4271 4272 4273
	if (should_retry) {
		should_retry = false;
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
4274
exit:
L
Linus Torvalds 已提交
4275 4276 4277
	return error;
}

4278
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4279 4280 4281 4282
{
	return sys_renameat(AT_FDCWD, oldname, AT_FDCWD, newname);
}

L
Linus Torvalds 已提交
4283 4284 4285 4286 4287 4288 4289 4290 4291 4292 4293 4294 4295 4296 4297 4298 4299 4300 4301 4302 4303 4304 4305 4306 4307
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;
4308
	void *cookie;
4309
	int res;
4310

L
Linus Torvalds 已提交
4311
	nd.depth = 0;
4312
	cookie = dentry->d_inode->i_op->follow_link(dentry, &nd);
4313 4314 4315 4316 4317 4318 4319
	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 已提交
4320 4321 4322 4323 4324
}

/* get the link contents into pagecache */
static char *page_getlink(struct dentry * dentry, struct page **ppage)
{
4325 4326
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
4327
	struct address_space *mapping = dentry->d_inode->i_mapping;
4328
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
4329
	if (IS_ERR(page))
4330
		return (char*)page;
L
Linus Torvalds 已提交
4331
	*ppage = page;
4332 4333 4334
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
4335 4336 4337 4338 4339 4340 4341 4342 4343 4344 4345 4346 4347 4348
}

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

4349
void *page_follow_link_light(struct dentry *dentry, struct nameidata *nd)
L
Linus Torvalds 已提交
4350
{
4351
	struct page *page = NULL;
L
Linus Torvalds 已提交
4352
	nd_set_link(nd, page_getlink(dentry, &page));
4353
	return page;
L
Linus Torvalds 已提交
4354 4355
}

4356
void page_put_link(struct dentry *dentry, struct nameidata *nd, void *cookie)
L
Linus Torvalds 已提交
4357
{
4358 4359 4360
	struct page *page = cookie;

	if (page) {
L
Linus Torvalds 已提交
4361 4362 4363 4364 4365
		kunmap(page);
		page_cache_release(page);
	}
}

4366 4367 4368 4369
/*
 * 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 已提交
4370 4371
{
	struct address_space *mapping = inode->i_mapping;
4372
	struct page *page;
4373
	void *fsdata;
4374
	int err;
L
Linus Torvalds 已提交
4375
	char *kaddr;
4376 4377 4378
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
4379

4380
retry:
4381
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
4382
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
4383
	if (err)
4384 4385
		goto fail;

4386
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
4387
	memcpy(kaddr, symname, len-1);
4388
	kunmap_atomic(kaddr);
4389 4390 4391

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4392 4393
	if (err < 0)
		goto fail;
4394 4395 4396
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4397 4398 4399 4400 4401 4402
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}

4403 4404 4405
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4406
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
4407 4408
}

4409
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
4410 4411 4412 4413 4414
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};

4415
EXPORT_SYMBOL(user_path_at);
4416
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
4417 4418
EXPORT_SYMBOL(follow_down);
EXPORT_SYMBOL(follow_up);
A
Al Viro 已提交
4419
EXPORT_SYMBOL(get_write_access); /* nfsd */
L
Linus Torvalds 已提交
4420 4421 4422 4423 4424
EXPORT_SYMBOL(lock_rename);
EXPORT_SYMBOL(lookup_one_len);
EXPORT_SYMBOL(page_follow_link_light);
EXPORT_SYMBOL(page_put_link);
EXPORT_SYMBOL(page_readlink);
4425
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4426 4427
EXPORT_SYMBOL(page_symlink);
EXPORT_SYMBOL(page_symlink_inode_operations);
A
Al Viro 已提交
4428
EXPORT_SYMBOL(kern_path);
4429
EXPORT_SYMBOL(vfs_path_lookup);
4430
EXPORT_SYMBOL(inode_permission);
L
Linus Torvalds 已提交
4431 4432 4433 4434 4435 4436 4437 4438 4439 4440 4441 4442 4443
EXPORT_SYMBOL(unlock_rename);
EXPORT_SYMBOL(vfs_create);
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);