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

/*
 * Some corrections by tytso.
 */

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

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

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

L
Linus Torvalds 已提交
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 76
/* [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 已提交
77
 * the name is a symlink pointing to a non-existent name.
L
Linus Torvalds 已提交
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 109
 *
 * 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)
110
 * implemented.  Let's see if raised priority of ->s_vfs_rename_mutex gives
L
Linus Torvalds 已提交
111 112 113 114 115 116 117 118 119 120
 * 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.
 */
121

A
Al Viro 已提交
122
#define EMBEDDED_NAME_MAX	(PATH_MAX - offsetof(struct filename, iname))
123

124
struct filename *
125 126
getname_flags(const char __user *filename, int flags, int *empty)
{
A
Al Viro 已提交
127
	struct filename *result;
128
	char *kname;
A
Al Viro 已提交
129
	int len;
130

131 132 133 134
	result = audit_reusename(filename);
	if (result)
		return result;

135
	result = __getname();
136
	if (unlikely(!result))
137 138
		return ERR_PTR(-ENOMEM);

139 140 141 142
	/*
	 * First, try to embed the struct filename inside the names_cache
	 * allocation
	 */
A
Al Viro 已提交
143
	kname = (char *)result->iname;
144
	result->name = kname;
145

A
Al Viro 已提交
146
	len = strncpy_from_user(kname, filename, EMBEDDED_NAME_MAX);
147
	if (unlikely(len < 0)) {
A
Al Viro 已提交
148 149
		__putname(result);
		return ERR_PTR(len);
150
	}
151

152 153 154 155 156 157
	/*
	 * 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.
	 */
A
Al Viro 已提交
158
	if (unlikely(len == EMBEDDED_NAME_MAX)) {
A
Al Viro 已提交
159
		const size_t size = offsetof(struct filename, iname[1]);
160 161
		kname = (char *)result;

A
Al Viro 已提交
162 163 164 165 166 167
		/*
		 * size is chosen that way we to guarantee that
		 * result->iname[0] is within the same object and that
		 * kname can't be equal to result->iname, no matter what.
		 */
		result = kzalloc(size, GFP_KERNEL);
A
Al Viro 已提交
168 169 170
		if (unlikely(!result)) {
			__putname(kname);
			return ERR_PTR(-ENOMEM);
171 172
		}
		result->name = kname;
A
Al Viro 已提交
173 174 175 176 177 178 179 180 181 182 183
		len = strncpy_from_user(kname, filename, PATH_MAX);
		if (unlikely(len < 0)) {
			__putname(kname);
			kfree(result);
			return ERR_PTR(len);
		}
		if (unlikely(len == PATH_MAX)) {
			__putname(kname);
			kfree(result);
			return ERR_PTR(-ENAMETOOLONG);
		}
184 185
	}

A
Al Viro 已提交
186
	result->refcnt = 1;
187 188 189
	/* The empty path is special. */
	if (unlikely(!len)) {
		if (empty)
190
			*empty = 1;
A
Al Viro 已提交
191 192 193 194
		if (!(flags & LOOKUP_EMPTY)) {
			putname(result);
			return ERR_PTR(-ENOENT);
		}
L
Linus Torvalds 已提交
195
	}
196

197
	result->uptr = filename;
198
	result->aname = NULL;
199 200
	audit_getname(result);
	return result;
L
Linus Torvalds 已提交
201 202
}

203 204
struct filename *
getname(const char __user * filename)
A
Al Viro 已提交
205
{
206
	return getname_flags(filename, 0, NULL);
A
Al Viro 已提交
207 208
}

209 210 211 212
struct filename *
getname_kernel(const char * filename)
{
	struct filename *result;
213
	int len = strlen(filename) + 1;
214 215 216 217 218

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

219
	if (len <= EMBEDDED_NAME_MAX) {
A
Al Viro 已提交
220
		result->name = (char *)result->iname;
221 222 223 224 225 226 227 228 229 230 231 232 233 234 235
	} else if (len <= PATH_MAX) {
		struct filename *tmp;

		tmp = kmalloc(sizeof(*tmp), GFP_KERNEL);
		if (unlikely(!tmp)) {
			__putname(result);
			return ERR_PTR(-ENOMEM);
		}
		tmp->name = (char *)result;
		result = tmp;
	} else {
		__putname(result);
		return ERR_PTR(-ENAMETOOLONG);
	}
	memcpy((char *)result->name, filename, len);
236 237
	result->uptr = NULL;
	result->aname = NULL;
238
	result->refcnt = 1;
239
	audit_getname(result);
240 241 242 243

	return result;
}

244
void putname(struct filename *name)
L
Linus Torvalds 已提交
245
{
246 247 248 249 250
	BUG_ON(name->refcnt <= 0);

	if (--name->refcnt > 0)
		return;

A
Al Viro 已提交
251
	if (name->name != name->iname) {
252 253 254 255
		__putname(name->name);
		kfree(name);
	} else
		__putname(name);
L
Linus Torvalds 已提交
256 257
}

258 259
static int check_acl(struct inode *inode, int mask)
{
260
#ifdef CONFIG_FS_POSIX_ACL
261 262 263
	struct posix_acl *acl;

	if (mask & MAY_NOT_BLOCK) {
264 265
		acl = get_cached_acl_rcu(inode, ACL_TYPE_ACCESS);
	        if (!acl)
266
	                return -EAGAIN;
267 268 269
		/* no ->get_acl() calls in RCU mode... */
		if (acl == ACL_NOT_CACHED)
			return -ECHILD;
A
Ari Savolainen 已提交
270
	        return posix_acl_permission(inode, acl, mask & ~MAY_NOT_BLOCK);
271 272
	}

C
Christoph Hellwig 已提交
273 274 275
	acl = get_acl(inode, ACL_TYPE_ACCESS);
	if (IS_ERR(acl))
		return PTR_ERR(acl);
276 277 278 279 280
	if (acl) {
	        int error = posix_acl_permission(inode, acl, mask);
	        posix_acl_release(acl);
	        return error;
	}
281
#endif
282 283 284 285

	return -EAGAIN;
}

286
/*
287
 * This does the basic permission checking
L
Linus Torvalds 已提交
288
 */
289
static int acl_permission_check(struct inode *inode, int mask)
L
Linus Torvalds 已提交
290
{
291
	unsigned int mode = inode->i_mode;
L
Linus Torvalds 已提交
292

293
	if (likely(uid_eq(current_fsuid(), inode->i_uid)))
L
Linus Torvalds 已提交
294 295
		mode >>= 6;
	else {
296
		if (IS_POSIXACL(inode) && (mode & S_IRWXG)) {
297
			int error = check_acl(inode, mask);
298 299
			if (error != -EAGAIN)
				return error;
L
Linus Torvalds 已提交
300 301 302 303 304 305 306 307 308
		}

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

	/*
	 * If the DACs are ok we don't need any capability check.
	 */
309
	if ((mask & ~mode & (MAY_READ | MAY_WRITE | MAY_EXEC)) == 0)
L
Linus Torvalds 已提交
310
		return 0;
311 312 313 314
	return -EACCES;
}

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

	/*
333
	 * Do the basic permission checks.
334
	 */
335
	ret = acl_permission_check(inode, mask);
336 337
	if (ret != -EACCES)
		return ret;
L
Linus Torvalds 已提交
338

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

	/*
	 * Searching includes executable on directories, else just read.
	 */
361
	mask &= MAY_READ | MAY_WRITE | MAY_EXEC;
362
	if (mask == MAY_READ)
363
		if (capable_wrt_inode_uidgid(inode, CAP_DAC_READ_SEARCH))
L
Linus Torvalds 已提交
364 365 366 367
			return 0;

	return -EACCES;
}
368
EXPORT_SYMBOL(generic_permission);
L
Linus Torvalds 已提交
369

370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389
/*
 * 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 已提交
390
/**
D
David Howells 已提交
391 392 393
 * __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 已提交
394
 *
D
David Howells 已提交
395
 * Check for read/write/execute permissions on an inode.
396 397
 *
 * When checking for MAY_APPEND, MAY_WRITE must also be set in @mask.
D
David Howells 已提交
398 399 400
 *
 * This does not check for a read-only file system.  You probably want
 * inode_permission().
C
Christoph Hellwig 已提交
401
 */
D
David Howells 已提交
402
int __inode_permission(struct inode *inode, int mask)
L
Linus Torvalds 已提交
403
{
404
	int retval;
L
Linus Torvalds 已提交
405

406
	if (unlikely(mask & MAY_WRITE)) {
L
Linus Torvalds 已提交
407 408 409 410 411 412 413
		/*
		 * Nobody gets write access to an immutable file.
		 */
		if (IS_IMMUTABLE(inode))
			return -EACCES;
	}

414
	retval = do_inode_permission(inode, mask);
L
Linus Torvalds 已提交
415 416 417
	if (retval)
		return retval;

418 419 420 421
	retval = devcgroup_inode_permission(inode, mask);
	if (retval)
		return retval;

422
	return security_inode_permission(inode, mask);
L
Linus Torvalds 已提交
423
}
424
EXPORT_SYMBOL(__inode_permission);
L
Linus Torvalds 已提交
425

D
David Howells 已提交
426 427 428
/**
 * sb_permission - Check superblock-level permissions
 * @sb: Superblock of inode to check permission on
429
 * @inode: Inode to check permission on
D
David Howells 已提交
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 459 460 461 462 463 464 465 466
 * @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);
}
467
EXPORT_SYMBOL(inode_permission);
D
David Howells 已提交
468

J
Jan Blunck 已提交
469 470 471 472 473 474
/**
 * 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.
 */
475
void path_get(const struct path *path)
J
Jan Blunck 已提交
476 477 478 479 480 481
{
	mntget(path->mnt);
	dget(path->dentry);
}
EXPORT_SYMBOL(path_get);

J
Jan Blunck 已提交
482 483 484 485 486 487
/**
 * 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.
 */
488
void path_put(const struct path *path)
L
Linus Torvalds 已提交
489
{
J
Jan Blunck 已提交
490 491
	dput(path->dentry);
	mntput(path->mnt);
L
Linus Torvalds 已提交
492
}
J
Jan Blunck 已提交
493
EXPORT_SYMBOL(path_put);
L
Linus Torvalds 已提交
494

495
#define EMBEDDED_LEVELS 2
496 497
struct nameidata {
	struct path	path;
A
Al Viro 已提交
498 499 500 501
	union {
		struct qstr	last;
		struct path	link;
	};
502 503 504 505 506 507
	struct path	root;
	struct inode	*inode; /* path.dentry.d_inode */
	unsigned int	flags;
	unsigned	seq, m_seq;
	int		last_type;
	unsigned	depth;
508
	struct file	*base;
509 510 511 512
	struct saved {
		struct path link;
		void *cookie;
		const char *name;
513
	} *stack, internal[EMBEDDED_LEVELS];
514 515
};

516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541
static void set_nameidata(struct nameidata *nd)
{
	nd->stack = nd->internal;
}

static void restore_nameidata(struct nameidata *nd)
{
	if (nd->stack != nd->internal) {
		kfree(nd->stack);
		nd->stack = nd->internal;
	}
}

static int __nd_alloc_stack(struct nameidata *nd)
{
	struct saved *p = kmalloc((MAXSYMLINKS + 1) * sizeof(struct saved),
				  GFP_KERNEL);
	if (unlikely(!p))
		return -ENOMEM;
	memcpy(p, nd->internal, sizeof(nd->internal));
	nd->stack = p;
	return 0;
}

static inline int nd_alloc_stack(struct nameidata *nd)
{
542
	if (likely(nd->depth != EMBEDDED_LEVELS))
543 544 545 546 547 548
		return 0;
	if (likely(nd->stack != nd->internal))
		return 0;
	return __nd_alloc_stack(nd);
}

A
Al Viro 已提交
549
/*
N
Nick Piggin 已提交
550
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
551 552 553 554 555 556 557
 * 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 已提交
558 559 560
 */

/**
A
Al Viro 已提交
561 562 563
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry or NULL
564
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
565
 *
A
Al Viro 已提交
566 567 568
 * 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 已提交
569
 */
A
Al Viro 已提交
570
static int unlazy_walk(struct nameidata *nd, struct dentry *dentry)
N
Nick Piggin 已提交
571 572 573 574 575
{
	struct fs_struct *fs = current->fs;
	struct dentry *parent = nd->path.dentry;

	BUG_ON(!(nd->flags & LOOKUP_RCU));
576 577

	/*
A
Al Viro 已提交
578 579 580 581 582 583
	 * 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.
584
	 */
A
Al Viro 已提交
585
	if (!legitimize_mnt(nd->path.mnt, nd->m_seq))
586 587
		return -ECHILD;
	nd->flags &= ~LOOKUP_RCU;
588

A
Al Viro 已提交
589 590
	if (!lockref_get_not_dead(&parent->d_lockref)) {
		nd->path.dentry = NULL;	
591
		goto out;
A
Al Viro 已提交
592 593
	}

594 595 596 597 598 599 600 601 602 603 604
	/*
	 * 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 已提交
605
	if (!dentry) {
606 607
		if (read_seqcount_retry(&parent->d_seq, nd->seq))
			goto out;
A
Al Viro 已提交
608 609
		BUG_ON(nd->inode != parent->d_inode);
	} else {
610 611 612 613
		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 已提交
614
	}
615 616 617 618 619 620 621 622 623

	/*
	 * 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 已提交
624 625 626 627
		path_get(&nd->root);
		spin_unlock(&fs->lock);
	}

A
Al Viro 已提交
628
	rcu_read_unlock();
N
Nick Piggin 已提交
629
	return 0;
A
Al Viro 已提交
630

631 632 633
unlock_and_drop_dentry:
	spin_unlock(&fs->lock);
drop_dentry:
A
Al Viro 已提交
634
	rcu_read_unlock();
635
	dput(dentry);
636
	goto drop_root_mnt;
637
out:
A
Al Viro 已提交
638
	rcu_read_unlock();
639 640 641
drop_root_mnt:
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
N
Nick Piggin 已提交
642 643 644
	return -ECHILD;
}

645
static inline int d_revalidate(struct dentry *dentry, unsigned int flags)
646
{
647
	return dentry->d_op->d_revalidate(dentry, flags);
648 649
}

650 651 652
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
653
 *
654 655 656 657 658
 * 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.
659
 */
660
static int complete_walk(struct nameidata *nd)
661
{
A
Al Viro 已提交
662
	struct dentry *dentry = nd->path.dentry;
663 664
	int status;

665 666 667 668
	if (nd->flags & LOOKUP_RCU) {
		nd->flags &= ~LOOKUP_RCU;
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
669

A
Al Viro 已提交
670
		if (!legitimize_mnt(nd->path.mnt, nd->m_seq)) {
A
Al Viro 已提交
671
			rcu_read_unlock();
A
Al Viro 已提交
672 673
			return -ECHILD;
		}
674
		if (unlikely(!lockref_get_not_dead(&dentry->d_lockref))) {
A
Al Viro 已提交
675
			rcu_read_unlock();
A
Al Viro 已提交
676
			mntput(nd->path.mnt);
677 678 679
			return -ECHILD;
		}
		if (read_seqcount_retry(&dentry->d_seq, nd->seq)) {
A
Al Viro 已提交
680
			rcu_read_unlock();
681
			dput(dentry);
A
Al Viro 已提交
682
			mntput(nd->path.mnt);
683 684
			return -ECHILD;
		}
A
Al Viro 已提交
685
		rcu_read_unlock();
686 687
	}

A
Al Viro 已提交
688 689 690
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

691
	if (likely(!(dentry->d_flags & DCACHE_OP_WEAK_REVALIDATE)))
692 693
		return 0;

694
	status = dentry->d_op->d_weak_revalidate(dentry, nd->flags);
695 696 697
	if (status > 0)
		return 0;

A
Al Viro 已提交
698
	if (!status)
699
		status = -ESTALE;
A
Al Viro 已提交
700

701
	path_put(&nd->path);
702 703 704
	return status;
}

A
Al Viro 已提交
705 706
static __always_inline void set_root(struct nameidata *nd)
{
707
	get_fs_root(current->fs, &nd->root);
A
Al Viro 已提交
708 709
}

710
static __always_inline unsigned set_root_rcu(struct nameidata *nd)
N
Nick Piggin 已提交
711
{
712 713
	struct fs_struct *fs = current->fs;
	unsigned seq, res;
N
Nick Piggin 已提交
714

715 716 717 718 719 720
	do {
		seq = read_seqcount_begin(&fs->seq);
		nd->root = fs->root;
		res = __read_seqcount_begin(&nd->root.dentry->d_seq);
	} while (read_seqcount_retry(&fs->seq, seq));
	return res;
N
Nick Piggin 已提交
721 722
}

J
Jan Blunck 已提交
723
static void path_put_conditional(struct path *path, struct nameidata *nd)
724 725
{
	dput(path->dentry);
726
	if (path->mnt != nd->path.mnt)
727 728 729
		mntput(path->mnt);
}

730 731
static inline void path_to_nameidata(const struct path *path,
					struct nameidata *nd)
732
{
N
Nick Piggin 已提交
733 734 735 736
	if (!(nd->flags & LOOKUP_RCU)) {
		dput(nd->path.dentry);
		if (nd->path.mnt != path->mnt)
			mntput(nd->path.mnt);
737
	}
N
Nick Piggin 已提交
738
	nd->path.mnt = path->mnt;
739
	nd->path.dentry = path->dentry;
740 741
}

C
Christoph Hellwig 已提交
742 743 744 745 746 747 748 749 750 751 752 753 754
/*
 * 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;
}

755
static inline void put_link(struct nameidata *nd)
756
{
757 758 759 760 761
	struct saved *last = nd->stack + nd->depth;
	struct inode *inode = last->link.dentry->d_inode;
	if (last->cookie && inode->i_op->put_link)
		inode->i_op->put_link(last->link.dentry, last->cookie);
	path_put(&last->link);
762 763
}

764 765
int sysctl_protected_symlinks __read_mostly = 0;
int sysctl_protected_hardlinks __read_mostly = 0;
K
Kees Cook 已提交
766 767 768 769

/**
 * may_follow_link - Check symlink following for unsafe situations
 * @link: The path of the symlink
770
 * @nd: nameidata pathwalk data
K
Kees Cook 已提交
771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792
 *
 * 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;
793
	if (uid_eq(current_cred()->fsuid, inode->i_uid))
K
Kees Cook 已提交
794 795 796 797 798 799 800 801
		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. */
802
	if (uid_eq(parent->i_uid, inode->i_uid))
K
Kees Cook 已提交
803 804
		return 0;

805
	audit_log_link_denied("follow_link", link);
K
Kees Cook 已提交
806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871
	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.
	 */
872
	if (uid_eq(cred->fsuid, inode->i_uid) || safe_hardlink_source(inode) ||
K
Kees Cook 已提交
873 874 875
	    capable(CAP_FOWNER))
		return 0;

876
	audit_log_link_denied("linkat", link);
K
Kees Cook 已提交
877 878 879
	return -EPERM;
}

880 881
static __always_inline
const char *get_link(struct nameidata *nd)
L
Linus Torvalds 已提交
882
{
883 884
	struct saved *last = nd->stack + nd->depth;
	struct dentry *dentry = nd->link.dentry;
885
	struct inode *inode = dentry->d_inode;
886
	int error;
887
	const char *res;
L
Linus Torvalds 已提交
888

889 890
	BUG_ON(nd->flags & LOOKUP_RCU);

891 892
	if (nd->link.mnt == nd->path.mnt)
		mntget(nd->link.mnt);
A
Al Viro 已提交
893

894
	if (unlikely(current->total_link_count >= MAXSYMLINKS)) {
895 896 897 898 899 900 901
		path_put(&nd->path);
		path_put(&nd->link);
		return ERR_PTR(-ELOOP);
	}

	last->link = nd->link;
	last->cookie = NULL;
902

903 904 905
	cond_resched();
	current->total_link_count++;

906
	touch_atime(&last->link);
A
Al Viro 已提交
907

908
	error = security_inode_follow_link(dentry);
909
	res = ERR_PTR(error);
910
	if (error)
911
		goto out;
912

913
	nd->last_type = LAST_BIND;
914 915
	res = inode->i_link;
	if (!res) {
916
		res = inode->i_op->follow_link(dentry, &last->cookie, nd);
917
		if (IS_ERR(res)) {
918
out:
919
			path_put(&nd->path);
920
			path_put(&last->link);
A
Al Viro 已提交
921
			return res;
922
		}
L
Linus Torvalds 已提交
923
	}
A
Al Viro 已提交
924
	nd->depth++;
925 926
	return res;
}
927

N
Nick Piggin 已提交
928 929
static int follow_up_rcu(struct path *path)
{
930 931
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
N
Nick Piggin 已提交
932 933
	struct dentry *mountpoint;

934 935
	parent = mnt->mnt_parent;
	if (&parent->mnt == path->mnt)
N
Nick Piggin 已提交
936
		return 0;
937
	mountpoint = mnt->mnt_mountpoint;
N
Nick Piggin 已提交
938
	path->dentry = mountpoint;
939
	path->mnt = &parent->mnt;
N
Nick Piggin 已提交
940 941 942
	return 1;
}

943 944 945 946 947 948 949 950 951 952
/*
 * 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 已提交
953
int follow_up(struct path *path)
L
Linus Torvalds 已提交
954
{
955 956
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
L
Linus Torvalds 已提交
957
	struct dentry *mountpoint;
N
Nick Piggin 已提交
958

A
Al Viro 已提交
959
	read_seqlock_excl(&mount_lock);
960
	parent = mnt->mnt_parent;
A
Al Viro 已提交
961
	if (parent == mnt) {
A
Al Viro 已提交
962
		read_sequnlock_excl(&mount_lock);
L
Linus Torvalds 已提交
963 964
		return 0;
	}
965
	mntget(&parent->mnt);
966
	mountpoint = dget(mnt->mnt_mountpoint);
A
Al Viro 已提交
967
	read_sequnlock_excl(&mount_lock);
A
Al Viro 已提交
968 969 970
	dput(path->dentry);
	path->dentry = mountpoint;
	mntput(path->mnt);
971
	path->mnt = &parent->mnt;
L
Linus Torvalds 已提交
972 973
	return 1;
}
974
EXPORT_SYMBOL(follow_up);
L
Linus Torvalds 已提交
975

N
Nick Piggin 已提交
976
/*
977 978 979
 * Perform an automount
 * - return -EISDIR to tell follow_managed() to stop and return the path we
 *   were called with.
L
Linus Torvalds 已提交
980
 */
981 982
static int follow_automount(struct path *path, unsigned flags,
			    bool *need_mntput)
N
Nick Piggin 已提交
983
{
984
	struct vfsmount *mnt;
985
	int err;
986 987 988 989

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

990 991 992 993 994 995 996 997 998 999
	/* 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.
1000
	 */
1001
	if (!(flags & (LOOKUP_PARENT | LOOKUP_DIRECTORY |
1002
		     LOOKUP_OPEN | LOOKUP_CREATE | LOOKUP_AUTOMOUNT)) &&
1003 1004 1005
	    path->dentry->d_inode)
		return -EISDIR;

1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020
	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 已提交
1021
		if (PTR_ERR(mnt) == -EISDIR && (flags & LOOKUP_PARENT))
1022 1023
			return -EREMOTE;
		return PTR_ERR(mnt);
N
Nick Piggin 已提交
1024
	}
1025

1026 1027
	if (!mnt) /* mount collision */
		return 0;
N
Nick Piggin 已提交
1028

1029 1030 1031 1032 1033
	if (!*need_mntput) {
		/* lock_mount() may release path->mnt on error */
		mntget(path->mnt);
		*need_mntput = true;
	}
1034
	err = finish_automount(mnt, path);
1035

1036 1037 1038
	switch (err) {
	case -EBUSY:
		/* Someone else made a mount here whilst we were busy */
1039
		return 0;
1040
	case 0:
1041
		path_put(path);
1042 1043 1044
		path->mnt = mnt;
		path->dentry = dget(mnt->mnt_root);
		return 0;
1045 1046
	default:
		return err;
1047
	}
1048

A
Al Viro 已提交
1049 1050
}

1051 1052
/*
 * Handle a dentry that is managed in some way.
1053
 * - Flagged for transit management (autofs)
1054 1055 1056 1057 1058 1059 1060 1061
 * - 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 已提交
1062
{
1063
	struct vfsmount *mnt = path->mnt; /* held by caller, must be left alone */
1064 1065
	unsigned managed;
	bool need_mntput = false;
1066
	int ret = 0;
1067 1068 1069 1070 1071 1072 1073

	/* 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)) {
1074 1075 1076 1077 1078
		/* 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);
1079
			ret = path->dentry->d_op->d_manage(path->dentry, false);
1080
			if (ret < 0)
1081
				break;
1082 1083
		}

1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098
		/* 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 已提交
1099 1100
			 * namespace got unmounted before lookup_mnt() could
			 * get it */
1101 1102 1103 1104 1105 1106
		}

		/* Handle an automount point */
		if (managed & DCACHE_NEED_AUTOMOUNT) {
			ret = follow_automount(path, flags, &need_mntput);
			if (ret < 0)
1107
				break;
1108 1109 1110 1111 1112
			continue;
		}

		/* We didn't change the current path point */
		break;
L
Linus Torvalds 已提交
1113
	}
1114 1115 1116 1117 1118

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

1122
int follow_down_one(struct path *path)
L
Linus Torvalds 已提交
1123 1124 1125
{
	struct vfsmount *mounted;

A
Al Viro 已提交
1126
	mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
1127
	if (mounted) {
A
Al Viro 已提交
1128 1129 1130 1131
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
1132 1133 1134 1135
		return 1;
	}
	return 0;
}
1136
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
1137

1138
static inline int managed_dentry_rcu(struct dentry *dentry)
1139
{
1140 1141
	return (dentry->d_flags & DCACHE_MANAGE_TRANSIT) ?
		dentry->d_op->d_manage(dentry, true) : 0;
1142 1143
}

1144
/*
1145 1146
 * Try to skip to top of mountpoint pile in rcuwalk mode.  Fail if
 * we meet a managed dentry that would need blocking.
1147 1148
 */
static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
1149
			       struct inode **inode)
1150
{
1151
	for (;;) {
1152
		struct mount *mounted;
1153 1154 1155 1156
		/*
		 * Don't forget we might have a non-mountpoint managed dentry
		 * that wants to block transit.
		 */
1157 1158 1159
		switch (managed_dentry_rcu(path->dentry)) {
		case -ECHILD:
		default:
1160
			return false;
1161 1162 1163 1164 1165
		case -EISDIR:
			return true;
		case 0:
			break;
		}
1166 1167

		if (!d_mountpoint(path->dentry))
1168
			return !(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1169

A
Al Viro 已提交
1170
		mounted = __lookup_mnt(path->mnt, path->dentry);
1171 1172
		if (!mounted)
			break;
1173 1174
		path->mnt = &mounted->mnt;
		path->dentry = mounted->mnt.mnt_root;
1175
		nd->flags |= LOOKUP_JUMPED;
1176
		nd->seq = read_seqcount_begin(&path->dentry->d_seq);
1177 1178 1179 1180 1181 1182
		/*
		 * 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;
1183
	}
1184
	return !read_seqretry(&mount_lock, nd->m_seq) &&
1185
		!(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1186 1187
}

N
Nick Piggin 已提交
1188 1189
static int follow_dotdot_rcu(struct nameidata *nd)
{
1190
	struct inode *inode = nd->inode;
1191 1192
	if (!nd->root.mnt)
		set_root_rcu(nd);
N
Nick Piggin 已提交
1193

1194
	while (1) {
N
Nick Piggin 已提交
1195 1196 1197 1198 1199 1200 1201 1202 1203
		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;

1204
			inode = parent->d_inode;
N
Nick Piggin 已提交
1205 1206
			seq = read_seqcount_begin(&parent->d_seq);
			if (read_seqcount_retry(&old->d_seq, nd->seq))
1207
				goto failed;
N
Nick Piggin 已提交
1208 1209 1210 1211 1212 1213
			nd->path.dentry = parent;
			nd->seq = seq;
			break;
		}
		if (!follow_up_rcu(&nd->path))
			break;
1214
		inode = nd->path.dentry->d_inode;
N
Nick Piggin 已提交
1215 1216
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
	}
1217 1218 1219 1220 1221 1222 1223
	while (d_mountpoint(nd->path.dentry)) {
		struct mount *mounted;
		mounted = __lookup_mnt(nd->path.mnt, nd->path.dentry);
		if (!mounted)
			break;
		nd->path.mnt = &mounted->mnt;
		nd->path.dentry = mounted->mnt.mnt_root;
1224
		inode = nd->path.dentry->d_inode;
1225
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
1226
		if (read_seqretry(&mount_lock, nd->m_seq))
1227 1228
			goto failed;
	}
1229
	nd->inode = inode;
N
Nick Piggin 已提交
1230
	return 0;
1231 1232 1233

failed:
	nd->flags &= ~LOOKUP_RCU;
1234 1235
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
A
Al Viro 已提交
1236
	rcu_read_unlock();
1237
	return -ECHILD;
N
Nick Piggin 已提交
1238 1239
}

1240 1241 1242 1243 1244
/*
 * 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.
 */
1245
int follow_down(struct path *path)
1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264
{
	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);
1265
			ret = path->dentry->d_op->d_manage(
1266
				path->dentry, false);
1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287
			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;
}
1288
EXPORT_SYMBOL(follow_down);
1289

1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305
/*
 * 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 已提交
1306
static void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1307
{
1308 1309
	if (!nd->root.mnt)
		set_root(nd);
1310

L
Linus Torvalds 已提交
1311
	while(1) {
1312
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
1313

A
Al Viro 已提交
1314 1315
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
L
Linus Torvalds 已提交
1316 1317
			break;
		}
1318
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
A
Al Viro 已提交
1319 1320
			/* rare case of legitimate dget_parent()... */
			nd->path.dentry = dget_parent(nd->path.dentry);
L
Linus Torvalds 已提交
1321 1322 1323
			dput(old);
			break;
		}
A
Al Viro 已提交
1324
		if (!follow_up(&nd->path))
L
Linus Torvalds 已提交
1325 1326
			break;
	}
A
Al Viro 已提交
1327
	follow_mount(&nd->path);
N
Nick Piggin 已提交
1328
	nd->inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
1329 1330
}

1331
/*
M
Miklos Szeredi 已提交
1332 1333 1334 1335 1336
 * 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
1337
 */
M
Miklos Szeredi 已提交
1338
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
1339
				    unsigned int flags, bool *need_lookup)
1340 1341
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1342
	int error;
1343

M
Miklos Szeredi 已提交
1344 1345 1346
	*need_lookup = false;
	dentry = d_lookup(dir, name);
	if (dentry) {
J
Jeff Layton 已提交
1347
		if (dentry->d_flags & DCACHE_OP_REVALIDATE) {
1348
			error = d_revalidate(dentry, flags);
M
Miklos Szeredi 已提交
1349 1350 1351 1352
			if (unlikely(error <= 0)) {
				if (error < 0) {
					dput(dentry);
					return ERR_PTR(error);
1353 1354
				} else {
					d_invalidate(dentry);
M
Miklos Szeredi 已提交
1355 1356 1357 1358 1359 1360
					dput(dentry);
					dentry = NULL;
				}
			}
		}
	}
1361

M
Miklos Szeredi 已提交
1362 1363 1364 1365
	if (!dentry) {
		dentry = d_alloc(dir, name);
		if (unlikely(!dentry))
			return ERR_PTR(-ENOMEM);
1366

M
Miklos Szeredi 已提交
1367
		*need_lookup = true;
1368 1369 1370 1371
	}
	return dentry;
}

1372
/*
1373 1374
 * Call i_op->lookup on the dentry.  The dentry must be negative and
 * unhashed.
M
Miklos Szeredi 已提交
1375 1376
 *
 * dir->d_inode->i_mutex must be held
1377
 */
M
Miklos Szeredi 已提交
1378
static struct dentry *lookup_real(struct inode *dir, struct dentry *dentry,
1379
				  unsigned int flags)
1380 1381 1382 1383
{
	struct dentry *old;

	/* Don't create child dentry for a dead directory. */
M
Miklos Szeredi 已提交
1384
	if (unlikely(IS_DEADDIR(dir))) {
1385
		dput(dentry);
1386
		return ERR_PTR(-ENOENT);
1387
	}
1388

1389
	old = dir->i_op->lookup(dir, dentry, flags);
1390 1391 1392 1393 1394 1395 1396
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
}

1397
static struct dentry *__lookup_hash(struct qstr *name,
1398
		struct dentry *base, unsigned int flags)
1399
{
M
Miklos Szeredi 已提交
1400
	bool need_lookup;
1401 1402
	struct dentry *dentry;

1403
	dentry = lookup_dcache(name, base, flags, &need_lookup);
M
Miklos Szeredi 已提交
1404 1405
	if (!need_lookup)
		return dentry;
1406

1407
	return lookup_real(base->d_inode, dentry, flags);
1408 1409
}

L
Linus Torvalds 已提交
1410 1411 1412 1413 1414
/*
 *  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 已提交
1415
static int lookup_fast(struct nameidata *nd,
M
Miklos Szeredi 已提交
1416
		       struct path *path, struct inode **inode)
L
Linus Torvalds 已提交
1417
{
1418
	struct vfsmount *mnt = nd->path.mnt;
N
Nick Piggin 已提交
1419
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1420 1421
	int need_reval = 1;
	int status = 1;
1422 1423
	int err;

1424 1425 1426 1427 1428
	/*
	 * 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 已提交
1429 1430
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1431
		bool negative;
1432
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1433 1434 1435
		if (!dentry)
			goto unlazy;

1436 1437 1438 1439 1440
		/*
		 * This sequence count validates that the inode matches
		 * the dentry name information from lookup.
		 */
		*inode = dentry->d_inode;
1441
		negative = d_is_negative(dentry);
1442 1443
		if (read_seqcount_retry(&dentry->d_seq, seq))
			return -ECHILD;
1444 1445
		if (negative)
			return -ENOENT;
1446 1447 1448 1449 1450 1451 1452 1453

		/*
		 * 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 已提交
1454 1455 1456
		if (__read_seqcount_retry(&parent->d_seq, nd->seq))
			return -ECHILD;
		nd->seq = seq;
A
Al Viro 已提交
1457

1458
		if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE)) {
1459
			status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1460 1461 1462 1463 1464
			if (unlikely(status <= 0)) {
				if (status != -ECHILD)
					need_reval = 0;
				goto unlazy;
			}
1465
		}
N
Nick Piggin 已提交
1466 1467
		path->mnt = mnt;
		path->dentry = dentry;
1468 1469
		if (likely(__follow_mount_rcu(nd, path, inode)))
			return 0;
A
Al Viro 已提交
1470
unlazy:
A
Al Viro 已提交
1471 1472
		if (unlazy_walk(nd, dentry))
			return -ECHILD;
A
Al Viro 已提交
1473
	} else {
A
Al Viro 已提交
1474
		dentry = __d_lookup(parent, &nd->last);
1475
	}
A
Al Viro 已提交
1476

1477 1478 1479
	if (unlikely(!dentry))
		goto need_lookup;

A
Al Viro 已提交
1480
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE) && need_reval)
1481
		status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1482 1483 1484 1485 1486
	if (unlikely(status <= 0)) {
		if (status < 0) {
			dput(dentry);
			return status;
		}
1487 1488 1489
		d_invalidate(dentry);
		dput(dentry);
		goto need_lookup;
1490
	}
M
Miklos Szeredi 已提交
1491

1492 1493 1494 1495
	if (unlikely(d_is_negative(dentry))) {
		dput(dentry);
		return -ENOENT;
	}
1496 1497 1498
	path->mnt = mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
1499 1500
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
1501
		return err;
1502
	}
1503 1504
	if (err)
		nd->flags |= LOOKUP_JUMPED;
1505
	*inode = path->dentry->d_inode;
L
Linus Torvalds 已提交
1506
	return 0;
1507 1508

need_lookup:
M
Miklos Szeredi 已提交
1509 1510 1511 1512
	return 1;
}

/* Fast lookup failed, do it the slow way */
A
Al Viro 已提交
1513
static int lookup_slow(struct nameidata *nd, struct path *path)
M
Miklos Szeredi 已提交
1514 1515 1516 1517 1518
{
	struct dentry *dentry, *parent;
	int err;

	parent = nd->path.dentry;
1519 1520 1521
	BUG_ON(nd->inode != parent->d_inode);

	mutex_lock(&parent->d_inode->i_mutex);
A
Al Viro 已提交
1522
	dentry = __lookup_hash(&nd->last, parent, nd->flags);
1523 1524 1525
	mutex_unlock(&parent->d_inode->i_mutex);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
1526 1527 1528 1529 1530 1531 1532 1533 1534 1535
	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 已提交
1536 1537
}

1538 1539 1540
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1541
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1542 1543
		if (err != -ECHILD)
			return err;
A
Al Viro 已提交
1544
		if (unlazy_walk(nd, NULL))
1545 1546
			return -ECHILD;
	}
1547
	return inode_permission(nd->inode, MAY_EXEC);
1548 1549
}

1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561
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;
}

1562 1563 1564 1565 1566 1567
static void terminate_walk(struct nameidata *nd)
{
	if (!(nd->flags & LOOKUP_RCU)) {
		path_put(&nd->path);
	} else {
		nd->flags &= ~LOOKUP_RCU;
1568 1569
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
A
Al Viro 已提交
1570
		rcu_read_unlock();
1571 1572 1573
	}
}

1574 1575 1576 1577 1578 1579
/*
 * 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.
 */
1580
static inline int should_follow_link(struct dentry *dentry, int follow)
1581
{
1582
	return unlikely(d_is_symlink(dentry)) ? follow : 0;
1583 1584
}

A
Al Viro 已提交
1585
static int walk_component(struct nameidata *nd, int follow)
1586
{
A
Al Viro 已提交
1587
	struct path path;
1588 1589 1590 1591 1592 1593 1594
	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.
	 */
1595 1596
	if (unlikely(nd->last_type != LAST_NORM))
		return handle_dots(nd, nd->last_type);
A
Al Viro 已提交
1597
	err = lookup_fast(nd, &path, &inode);
1598
	if (unlikely(err)) {
M
Miklos Szeredi 已提交
1599 1600 1601
		if (err < 0)
			goto out_err;

A
Al Viro 已提交
1602
		err = lookup_slow(nd, &path);
M
Miklos Szeredi 已提交
1603 1604 1605
		if (err < 0)
			goto out_err;

A
Al Viro 已提交
1606
		inode = path.dentry->d_inode;
1607
		err = -ENOENT;
A
Al Viro 已提交
1608
		if (d_is_negative(path.dentry))
1609
			goto out_path_put;
1610
	}
M
Miklos Szeredi 已提交
1611

A
Al Viro 已提交
1612
	if (should_follow_link(path.dentry, follow)) {
A
Al Viro 已提交
1613
		if (nd->flags & LOOKUP_RCU) {
A
Al Viro 已提交
1614 1615
			if (unlikely(nd->path.mnt != path.mnt ||
				     unlazy_walk(nd, path.dentry))) {
M
Miklos Szeredi 已提交
1616 1617
				err = -ECHILD;
				goto out_err;
A
Al Viro 已提交
1618 1619
			}
		}
A
Al Viro 已提交
1620 1621
		BUG_ON(inode != path.dentry->d_inode);
		nd->link = path;
1622 1623
		return 1;
	}
A
Al Viro 已提交
1624
	path_to_nameidata(&path, nd);
1625 1626
	nd->inode = inode;
	return 0;
M
Miklos Szeredi 已提交
1627 1628

out_path_put:
A
Al Viro 已提交
1629
	path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
1630 1631 1632
out_err:
	terminate_walk(nd);
	return err;
1633 1634
}

1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653
/*
 * 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

1654
#include <asm/word-at-a-time.h>
1655

1656
#ifdef CONFIG_64BIT
1657 1658 1659

static inline unsigned int fold_hash(unsigned long hash)
{
1660
	return hash_64(hash, 32);
1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674
}

#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 (;;) {
1675
		a = load_unaligned_zeropad(name);
1676 1677 1678
		if (len < sizeof(unsigned long))
			break;
		hash += a;
1679
		hash *= 9;
1680 1681 1682 1683 1684
		name += sizeof(unsigned long);
		len -= sizeof(unsigned long);
		if (!len)
			goto done;
	}
1685
	mask = bytemask_from_count(len);
1686 1687 1688 1689 1690 1691 1692 1693
	hash += mask & a;
done:
	return fold_hash(hash);
}
EXPORT_SYMBOL(full_name_hash);

/*
 * Calculate the length and hash of the path component, and
1694
 * return the "hash_len" as the result.
1695
 */
1696
static inline u64 hash_name(const char *name)
1697
{
1698 1699
	unsigned long a, b, adata, bdata, mask, hash, len;
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;
1700 1701 1702 1703 1704 1705

	hash = a = 0;
	len = -sizeof(unsigned long);
	do {
		hash = (hash + a) * 9;
		len += sizeof(unsigned long);
1706
		a = load_unaligned_zeropad(name+len);
1707 1708 1709 1710 1711 1712 1713 1714 1715
		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);
1716
	len += find_zero(mask);
1717
	return hashlen_create(fold_hash(hash), len);
1718 1719 1720 1721
}

#else

L
Linus Torvalds 已提交
1722 1723 1724 1725 1726 1727 1728
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);
}
1729
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1730

1731 1732 1733 1734
/*
 * We know there's a real path component here of at least
 * one character.
 */
1735
static inline u64 hash_name(const char *name)
1736 1737 1738 1739 1740 1741 1742 1743 1744 1745
{
	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 != '/');
1746
	return hashlen_create(end_name_hash(hash), len);
1747 1748
}

1749 1750
#endif

L
Linus Torvalds 已提交
1751 1752
/*
 * Name resolution.
1753 1754
 * 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 已提交
1755
 *
1756 1757
 * 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 已提交
1758
 */
1759
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1760 1761
{
	int err;
A
Al Viro 已提交
1762

L
Linus Torvalds 已提交
1763 1764 1765
	while (*name=='/')
		name++;
	if (!*name)
1766
		return 0;
L
Linus Torvalds 已提交
1767 1768 1769

	/* At this point we know we have a real path component. */
	for(;;) {
1770
		u64 hash_len;
A
Al Viro 已提交
1771
		int type;
L
Linus Torvalds 已提交
1772

1773
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1774 1775 1776
 		if (err)
			break;

1777
		hash_len = hash_name(name);
L
Linus Torvalds 已提交
1778

A
Al Viro 已提交
1779
		type = LAST_NORM;
1780
		if (name[0] == '.') switch (hashlen_len(hash_len)) {
A
Al Viro 已提交
1781
			case 2:
1782
				if (name[1] == '.') {
A
Al Viro 已提交
1783
					type = LAST_DOTDOT;
A
Al Viro 已提交
1784 1785
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
1786 1787 1788 1789
				break;
			case 1:
				type = LAST_DOT;
		}
1790 1791
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
1792
			nd->flags &= ~LOOKUP_JUMPED;
1793
			if (unlikely(parent->d_flags & DCACHE_OP_HASH)) {
1794
				struct qstr this = { { .hash_len = hash_len }, .name = name };
1795
				err = parent->d_op->d_hash(parent, &this);
1796 1797
				if (err < 0)
					break;
1798 1799
				hash_len = this.hash_len;
				name = this.name;
1800 1801
			}
		}
A
Al Viro 已提交
1802

1803 1804
		nd->last.hash_len = hash_len;
		nd->last.name = name;
1805 1806
		nd->last_type = type;

1807 1808
		name += hashlen_len(hash_len);
		if (!*name)
1809
			goto OK;
1810 1811 1812 1813 1814
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
1815 1816 1817
			name++;
		} while (unlikely(*name == '/'));
		if (!*name)
1818
			goto OK;
1819

A
Al Viro 已提交
1820
		err = walk_component(nd, LOOKUP_FOLLOW);
A
Al Viro 已提交
1821
Walked:
1822
		if (err < 0)
1823
			goto Err;
L
Linus Torvalds 已提交
1824

1825
		if (err) {
1826 1827
			const char *s;

1828 1829 1830 1831
			err = nd_alloc_stack(nd);
			if (unlikely(err)) {
				path_to_nameidata(&nd->link, nd);
				break;
1832 1833
			}

1834
			s = get_link(nd);
1835

1836 1837
			if (unlikely(IS_ERR(s))) {
				err = PTR_ERR(s);
1838
				goto Err;
1839 1840 1841 1842
			}
			err = 0;
			if (unlikely(!s)) {
				/* jumped */
1843
				nd->depth--;
1844
				put_link(nd);
1845 1846 1847 1848 1849 1850 1851 1852
			} else {
				if (*s == '/') {
					if (!nd->root.mnt)
						set_root(nd);
					path_put(&nd->path);
					nd->path = nd->root;
					path_get(&nd->root);
					nd->flags |= LOOKUP_JUMPED;
1853 1854
					while (unlikely(*++s == '/'))
						;
1855
				}
1856
				nd->inode = nd->path.dentry->d_inode;
1857
				nd->stack[nd->depth - 1].name = name;
1858 1859
				if (!*s)
					goto OK;
A
Al Viro 已提交
1860
				name = s;
1861
				continue;
1862
			}
N
Nick Piggin 已提交
1863
		}
M
Miklos Szeredi 已提交
1864
		if (!d_can_lookup(nd->path.dentry)) {
A
Al Viro 已提交
1865
			err = -ENOTDIR;
1866 1867
			break;
		}
L
Linus Torvalds 已提交
1868
	}
1869
	terminate_walk(nd);
1870
Err:
1871 1872
	while (unlikely(nd->depth > 1)) {
		nd->depth--;
1873
		put_link(nd);
1874 1875
	}
	return err;
1876
OK:
1877 1878
	if (unlikely(nd->depth > 1)) {
		name = nd->stack[nd->depth - 1].name;
1879
		err = walk_component(nd, LOOKUP_FOLLOW);
1880
		nd->depth--;
1881
		put_link(nd);
1882 1883 1884
		goto Walked;
	}
	return 0;
L
Linus Torvalds 已提交
1885 1886
}

A
Al Viro 已提交
1887
static int path_init(int dfd, const struct filename *name, unsigned int flags,
1888
		     struct nameidata *nd)
N
Nick Piggin 已提交
1889 1890
{
	int retval = 0;
A
Al Viro 已提交
1891
	const char *s = name->name;
N
Nick Piggin 已提交
1892 1893

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
1894
	nd->flags = flags | LOOKUP_JUMPED | LOOKUP_PARENT;
N
Nick Piggin 已提交
1895
	nd->depth = 0;
1896
	nd->base = NULL;
1897
	if (flags & LOOKUP_ROOT) {
1898 1899
		struct dentry *root = nd->root.dentry;
		struct inode *inode = root->d_inode;
A
Al Viro 已提交
1900
		if (*s) {
M
Miklos Szeredi 已提交
1901
			if (!d_can_lookup(root))
A
Al Viro 已提交
1902 1903 1904 1905 1906
				return -ENOTDIR;
			retval = inode_permission(inode, MAY_EXEC);
			if (retval)
				return retval;
		}
1907 1908 1909
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1910
			rcu_read_lock();
1911
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1912
			nd->m_seq = read_seqbegin(&mount_lock);
1913 1914 1915
		} else {
			path_get(&nd->path);
		}
1916
		goto done;
1917 1918
	}

N
Nick Piggin 已提交
1919 1920
	nd->root.mnt = NULL;

A
Al Viro 已提交
1921
	nd->m_seq = read_seqbegin(&mount_lock);
A
Al Viro 已提交
1922
	if (*s == '/') {
A
Al Viro 已提交
1923
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1924
			rcu_read_lock();
1925
			nd->seq = set_root_rcu(nd);
A
Al Viro 已提交
1926 1927 1928 1929 1930
		} else {
			set_root(nd);
			path_get(&nd->root);
		}
		nd->path = nd->root;
N
Nick Piggin 已提交
1931
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1932 1933 1934
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
1935

A
Al Viro 已提交
1936
			rcu_read_lock();
N
Nick Piggin 已提交
1937

A
Al Viro 已提交
1938 1939 1940 1941 1942 1943 1944 1945
			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 已提交
1946
	} else {
1947
		/* Caller must check execute permissions on the starting path component */
1948
		struct fd f = fdget_raw(dfd);
N
Nick Piggin 已提交
1949 1950
		struct dentry *dentry;

1951 1952
		if (!f.file)
			return -EBADF;
N
Nick Piggin 已提交
1953

1954
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
1955

A
Al Viro 已提交
1956
		if (*s) {
M
Miklos Szeredi 已提交
1957
			if (!d_can_lookup(dentry)) {
1958 1959 1960
				fdput(f);
				return -ENOTDIR;
			}
A
Al Viro 已提交
1961
		}
N
Nick Piggin 已提交
1962

1963
		nd->path = f.file->f_path;
A
Al Viro 已提交
1964
		if (flags & LOOKUP_RCU) {
1965
			if (f.flags & FDPUT_FPUT)
1966
				nd->base = f.file;
A
Al Viro 已提交
1967
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1968
			rcu_read_lock();
A
Al Viro 已提交
1969
		} else {
1970 1971
			path_get(&nd->path);
			fdput(f);
A
Al Viro 已提交
1972
		}
N
Nick Piggin 已提交
1973 1974 1975
	}

	nd->inode = nd->path.dentry->d_inode;
1976
	if (!(flags & LOOKUP_RCU))
1977
		goto done;
1978
	if (likely(!read_seqcount_retry(&nd->path.dentry->d_seq, nd->seq)))
1979
		goto done;
1980 1981 1982 1983
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
	rcu_read_unlock();
	return -ECHILD;
1984 1985
done:
	current->total_link_count = 0;
1986 1987 1988 1989
	nd->depth++;
	retval = link_path_walk(s, nd);
	nd->depth--;
	return retval;
1990 1991
}

A
Al Viro 已提交
1992 1993 1994 1995 1996 1997 1998 1999
static void path_cleanup(struct nameidata *nd)
{
	if (nd->root.mnt && !(nd->flags & LOOKUP_ROOT)) {
		path_put(&nd->root);
		nd->root.mnt = NULL;
	}
	if (unlikely(nd->base))
		fput(nd->base);
2000 2001
}

2002
static int trailing_symlink(struct nameidata *nd)
2003 2004
{
	const char *s;
2005
	int error = may_follow_link(&nd->link, nd);
2006 2007 2008
	if (unlikely(error))
		return error;
	nd->flags |= LOOKUP_PARENT;
2009
	s = get_link(nd);
2010 2011
	if (unlikely(IS_ERR(s)))
		return PTR_ERR(s);
2012 2013
	if (unlikely(!s)) {
		nd->depth--;
2014
		return 0;
2015
	}
2016 2017 2018 2019 2020 2021 2022 2023 2024 2025
	if (*s == '/') {
		if (!nd->root.mnt)
			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);
2026 2027
	if (unlikely(error)) {
		nd->depth--;
2028
		put_link(nd);
2029 2030 2031 2032
		return error;
	}
	nd->depth--;
	return 0;
2033 2034
}

A
Al Viro 已提交
2035
static inline int lookup_last(struct nameidata *nd)
2036 2037 2038 2039 2040
{
	if (nd->last_type == LAST_NORM && nd->last.name[nd->last.len])
		nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;

	nd->flags &= ~LOOKUP_PARENT;
A
Al Viro 已提交
2041
	return walk_component(nd, nd->flags & LOOKUP_FOLLOW);
2042 2043
}

2044
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2045
static int path_lookupat(int dfd, const struct filename *name,
2046 2047
				unsigned int flags, struct nameidata *nd)
{
2048
	int err;
N
Nick Piggin 已提交
2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062 2063

	/*
	 * 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).
	 */
A
Al Viro 已提交
2064
	err = path_init(dfd, name, flags, nd);
2065
	if (!err && !(flags & LOOKUP_PARENT)) {
A
Al Viro 已提交
2066
		err = lookup_last(nd);
2067
		while (err > 0) {
2068
			err = trailing_symlink(nd);
2069 2070
			if (err)
				break;
A
Al Viro 已提交
2071
			err = lookup_last(nd);
2072
			put_link(nd);
2073 2074
		}
	}
A
Al Viro 已提交
2075

2076 2077
	if (!err)
		err = complete_walk(nd);
2078 2079

	if (!err && nd->flags & LOOKUP_DIRECTORY) {
M
Miklos Szeredi 已提交
2080
		if (!d_can_lookup(nd->path.dentry)) {
2081
			path_put(&nd->path);
A
Al Viro 已提交
2082
			err = -ENOTDIR;
2083 2084
		}
	}
A
Al Viro 已提交
2085

A
Al Viro 已提交
2086
	path_cleanup(nd);
2087
	return err;
A
Al Viro 已提交
2088
}
N
Nick Piggin 已提交
2089

2090
static int filename_lookup(int dfd, struct filename *name,
A
Al Viro 已提交
2091 2092
				unsigned int flags, struct nameidata *nd)
{
2093 2094 2095 2096 2097
	int retval;

	set_nameidata(nd);
	retval = path_lookupat(dfd, name, flags | LOOKUP_RCU, nd);

A
Al Viro 已提交
2098
	if (unlikely(retval == -ECHILD))
2099
		retval = path_lookupat(dfd, name, flags, nd);
A
Al Viro 已提交
2100
	if (unlikely(retval == -ESTALE))
2101
		retval = path_lookupat(dfd, name, flags | LOOKUP_REVAL, nd);
N
Nick Piggin 已提交
2102

2103
	if (likely(!retval))
2104
		audit_inode(name, nd->path.dentry, flags & LOOKUP_PARENT);
2105
	restore_nameidata(nd);
2106
	return retval;
L
Linus Torvalds 已提交
2107 2108
}

A
Al Viro 已提交
2109 2110
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2111
{
2112
	struct filename *filename = getname_kernel(name);
A
Al Viro 已提交
2113 2114
	struct nameidata nd;
	struct dentry *d;
2115 2116 2117 2118 2119 2120 2121 2122 2123 2124
	int err;

	if (IS_ERR(filename))
		return ERR_CAST(filename);

	err = filename_lookup(AT_FDCWD, filename, LOOKUP_PARENT, &nd);
	if (err) {
		d = ERR_PTR(err);
		goto out;
	}
A
Al Viro 已提交
2125 2126
	if (nd.last_type != LAST_NORM) {
		path_put(&nd.path);
2127 2128
		d = ERR_PTR(-EINVAL);
		goto out;
A
Al Viro 已提交
2129 2130
	}
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2131
	d = __lookup_hash(&nd.last, nd.path.dentry, 0);
A
Al Viro 已提交
2132 2133 2134
	if (IS_ERR(d)) {
		mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
		path_put(&nd.path);
2135
		goto out;
A
Al Viro 已提交
2136 2137
	}
	*path = nd.path;
2138 2139
out:
	putname(filename);
A
Al Viro 已提交
2140
	return d;
2141 2142
}

A
Al Viro 已提交
2143 2144 2145
int kern_path(const char *name, unsigned int flags, struct path *path)
{
	struct nameidata nd;
2146 2147 2148 2149 2150 2151 2152 2153 2154
	struct filename *filename = getname_kernel(name);
	int res = PTR_ERR(filename);

	if (!IS_ERR(filename)) {
		res = filename_lookup(AT_FDCWD, filename, flags, &nd);
		putname(filename);
		if (!res)
			*path = nd.path;
	}
A
Al Viro 已提交
2155 2156
	return res;
}
2157
EXPORT_SYMBOL(kern_path);
A
Al Viro 已提交
2158

2159 2160 2161 2162 2163 2164
/**
 * 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
2165
 * @path: pointer to struct path to fill
2166 2167 2168
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2169
		    struct path *path)
2170
{
2171 2172 2173
	struct filename *filename = getname_kernel(name);
	int err = PTR_ERR(filename);

2174
	BUG_ON(flags & LOOKUP_PARENT);
2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186

	/* the first argument of filename_lookup() is ignored with LOOKUP_ROOT */
	if (!IS_ERR(filename)) {
		struct nameidata nd;
		nd.root.dentry = dentry;
		nd.root.mnt = mnt;
		err = filename_lookup(AT_FDCWD, filename,
				      flags | LOOKUP_ROOT, &nd);
		if (!err)
			*path = nd.path;
		putname(filename);
	}
2187
	return err;
2188
}
2189
EXPORT_SYMBOL(vfs_path_lookup);
2190

2191
/**
2192
 * lookup_one_len - filesystem helper to lookup single pathname component
2193 2194 2195 2196
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
2197
 * Note that this routine is purely a helper for filesystem usage and should
2198
 * not be called by generic code.
2199
 */
2200 2201 2202
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
2203
	unsigned int c;
2204
	int err;
2205

2206 2207
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2208 2209
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2210
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2211 2212 2213
	if (!len)
		return ERR_PTR(-EACCES);

A
Al Viro 已提交
2214 2215 2216 2217 2218
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
			return ERR_PTR(-EACCES);
	}

A
Al Viro 已提交
2219 2220 2221 2222 2223
	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2224 2225 2226 2227 2228
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2229
		int err = base->d_op->d_hash(base, &this);
2230 2231 2232
		if (err < 0)
			return ERR_PTR(err);
	}
2233

2234 2235 2236 2237
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

2238
	return __lookup_hash(&this, base, 0);
2239
}
2240
EXPORT_SYMBOL(lookup_one_len);
2241

2242 2243
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2244
{
2245
	struct nameidata nd;
2246
	struct filename *tmp = getname_flags(name, flags, empty);
L
Linus Torvalds 已提交
2247 2248
	int err = PTR_ERR(tmp);
	if (!IS_ERR(tmp)) {
2249 2250 2251

		BUG_ON(flags & LOOKUP_PARENT);

2252
		err = filename_lookup(dfd, tmp, flags, &nd);
L
Linus Torvalds 已提交
2253
		putname(tmp);
2254 2255
		if (!err)
			*path = nd.path;
L
Linus Torvalds 已提交
2256 2257 2258 2259
	}
	return err;
}

2260 2261 2262
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
{
2263
	return user_path_at_empty(dfd, name, flags, path, NULL);
2264
}
2265
EXPORT_SYMBOL(user_path_at);
2266

2267 2268 2269 2270 2271 2272
/*
 * 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.
 */
2273
static struct filename *
2274 2275 2276 2277
user_path_parent(int dfd, const char __user *path,
		 struct path *parent,
		 struct qstr *last,
		 int *type,
2278
		 unsigned int flags)
2279
{
2280
	struct nameidata nd;
2281
	struct filename *s = getname(path);
2282 2283
	int error;

2284 2285 2286
	/* only LOOKUP_REVAL is allowed in extra flags */
	flags &= LOOKUP_REVAL;

2287
	if (IS_ERR(s))
2288
		return s;
2289

2290
	error = filename_lookup(dfd, s, flags | LOOKUP_PARENT, &nd);
2291
	if (error) {
2292
		putname(s);
2293 2294
		return ERR_PTR(error);
	}
2295 2296 2297
	*parent = nd.path;
	*last = nd.last;
	*type = nd.last_type;
2298

2299
	return s;
2300 2301
}

2302
/**
2303
 * mountpoint_last - look up last component for umount
2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 2325 2326 2327 2328 2329
 * @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
2330
mountpoint_last(struct nameidata *nd, struct path *path)
2331 2332 2333 2334 2335
{
	int error = 0;
	struct dentry *dentry;
	struct dentry *dir = nd->path.dentry;

2336 2337 2338 2339 2340 2341
	/* 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;
		}
2342 2343 2344 2345 2346 2347
	}

	nd->flags &= ~LOOKUP_PARENT;

	if (unlikely(nd->last_type != LAST_NORM)) {
		error = handle_dots(nd, nd->last_type);
2348 2349 2350 2351
		if (error)
			goto out;
		dentry = dget(nd->path.dentry);
		goto done;
2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364
	}

	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;
2365
			mutex_unlock(&dir->d_inode->i_mutex);
2366
			goto out;
2367
		}
2368 2369
		dentry = lookup_real(dir->d_inode, dentry, nd->flags);
		error = PTR_ERR(dentry);
2370 2371
		if (IS_ERR(dentry)) {
			mutex_unlock(&dir->d_inode->i_mutex);
2372
			goto out;
2373
		}
2374 2375 2376
	}
	mutex_unlock(&dir->d_inode->i_mutex);

2377
done:
2378
	if (d_is_negative(dentry)) {
2379 2380 2381
		error = -ENOENT;
		dput(dentry);
		goto out;
2382
	}
2383
	path->dentry = dentry;
2384
	path->mnt = nd->path.mnt;
A
Al Viro 已提交
2385 2386
	if (should_follow_link(dentry, nd->flags & LOOKUP_FOLLOW)) {
		nd->link = *path;
2387
		return 1;
A
Al Viro 已提交
2388
	}
2389
	mntget(path->mnt);
2390 2391 2392
	follow_mount(path);
	error = 0;
out:
2393 2394 2395 2396 2397
	terminate_walk(nd);
	return error;
}

/**
2398
 * path_mountpoint - look up a path to be umounted
2399 2400
 * @dfd:	directory file descriptor to start walk from
 * @name:	full pathname to walk
2401
 * @path:	pointer to container for result
2402 2403 2404
 * @flags:	lookup flags
 *
 * Look up the given name, but don't attempt to revalidate the last component.
2405
 * Returns 0 and "path" will be valid on success; Returns error otherwise.
2406 2407
 */
static int
2408
path_mountpoint(int dfd, const struct filename *name, struct path *path,
2409
		struct nameidata *nd, unsigned int flags)
2410
{
2411
	int err = path_init(dfd, name, flags, nd);
2412
	if (unlikely(err))
2413
		goto out;
2414

2415
	err = mountpoint_last(nd, path);
2416
	while (err > 0) {
2417
		err = trailing_symlink(nd);
2418 2419
		if (err)
			break;
2420
		err = mountpoint_last(nd, path);
2421
		put_link(nd);
2422 2423
	}
out:
2424
	path_cleanup(nd);
2425 2426 2427
	return err;
}

A
Al Viro 已提交
2428
static int
2429
filename_mountpoint(int dfd, struct filename *name, struct path *path,
A
Al Viro 已提交
2430 2431
			unsigned int flags)
{
2432
	struct nameidata nd;
2433
	int error;
2434 2435
	if (IS_ERR(name))
		return PTR_ERR(name);
2436
	set_nameidata(&nd);
2437
	error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_RCU);
A
Al Viro 已提交
2438
	if (unlikely(error == -ECHILD))
2439
		error = path_mountpoint(dfd, name, path, &nd, flags);
A
Al Viro 已提交
2440
	if (unlikely(error == -ESTALE))
2441
		error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_REVAL);
A
Al Viro 已提交
2442
	if (likely(!error))
2443
		audit_inode(name, path->dentry, 0);
2444
	restore_nameidata(&nd);
2445
	putname(name);
A
Al Viro 已提交
2446 2447 2448
	return error;
}

2449
/**
2450
 * user_path_mountpoint_at - lookup a path from userland in order to umount it
2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463
 * @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
2464
user_path_mountpoint_at(int dfd, const char __user *name, unsigned int flags,
2465 2466
			struct path *path)
{
2467
	return filename_mountpoint(dfd, getname(name), path, flags);
2468 2469
}

A
Al Viro 已提交
2470 2471 2472 2473
int
kern_path_mountpoint(int dfd, const char *name, struct path *path,
			unsigned int flags)
{
2474
	return filename_mountpoint(dfd, getname_kernel(name), path, flags);
A
Al Viro 已提交
2475 2476 2477
}
EXPORT_SYMBOL(kern_path_mountpoint);

M
Miklos Szeredi 已提交
2478
int __check_sticky(struct inode *dir, struct inode *inode)
L
Linus Torvalds 已提交
2479
{
2480
	kuid_t fsuid = current_fsuid();
2481

2482
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2483
		return 0;
2484
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2485
		return 0;
2486
	return !capable_wrt_inode_uidgid(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2487
}
M
Miklos Szeredi 已提交
2488
EXPORT_SYMBOL(__check_sticky);
L
Linus Torvalds 已提交
2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508

/*
 *	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().
 */
2509
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2510
{
2511
	struct inode *inode = victim->d_inode;
L
Linus Torvalds 已提交
2512 2513
	int error;

2514
	if (d_is_negative(victim))
L
Linus Torvalds 已提交
2515
		return -ENOENT;
2516
	BUG_ON(!inode);
L
Linus Torvalds 已提交
2517 2518

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

2521
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2522 2523 2524 2525
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
2526 2527 2528

	if (check_sticky(dir, inode) || IS_APPEND(inode) ||
	    IS_IMMUTABLE(inode) || IS_SWAPFILE(inode))
L
Linus Torvalds 已提交
2529 2530
		return -EPERM;
	if (isdir) {
M
Miklos Szeredi 已提交
2531
		if (!d_is_dir(victim))
L
Linus Torvalds 已提交
2532 2533 2534
			return -ENOTDIR;
		if (IS_ROOT(victim))
			return -EBUSY;
M
Miklos Szeredi 已提交
2535
	} else if (d_is_dir(victim))
L
Linus Torvalds 已提交
2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551
		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())
 */
2552
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2553
{
2554
	audit_inode_child(dir, child, AUDIT_TYPE_CHILD_CREATE);
L
Linus Torvalds 已提交
2555 2556 2557 2558
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2559
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2560 2561 2562 2563 2564 2565 2566 2567 2568 2569
}

/*
 * 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 已提交
2570
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2571 2572 2573
		return NULL;
	}

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

2576 2577 2578 2579 2580
	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 已提交
2581 2582
	}

2583 2584 2585 2586 2587
	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 已提交
2588 2589
	}

I
Ingo Molnar 已提交
2590
	mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
2591
	mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_PARENT2);
L
Linus Torvalds 已提交
2592 2593
	return NULL;
}
2594
EXPORT_SYMBOL(lock_rename);
L
Linus Torvalds 已提交
2595 2596 2597

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2598
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2599
	if (p1 != p2) {
2600
		mutex_unlock(&p2->d_inode->i_mutex);
2601
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2602 2603
	}
}
2604
EXPORT_SYMBOL(unlock_rename);
L
Linus Torvalds 已提交
2605

A
Al Viro 已提交
2606
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2607
		bool want_excl)
L
Linus Torvalds 已提交
2608
{
2609
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2610 2611 2612
	if (error)
		return error;

A
Al Viro 已提交
2613
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2614 2615 2616 2617 2618 2619
		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 已提交
2620
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2621
	if (!error)
2622
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2623 2624
	return error;
}
2625
EXPORT_SYMBOL(vfs_create);
L
Linus Torvalds 已提交
2626

A
Al Viro 已提交
2627
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2628
{
2629
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2630 2631 2632
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2633 2634 2635 2636
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2637 2638 2639
	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2640 2641
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2642
		return -ELOOP;
C
Christoph Hellwig 已提交
2643 2644 2645 2646 2647 2648
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2649
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
2650
			return -EACCES;
C
Christoph Hellwig 已提交
2651 2652 2653
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2654
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2655
		break;
2656
	}
2657

2658
	error = inode_permission(inode, acc_mode);
2659 2660
	if (error)
		return error;
M
Mimi Zohar 已提交
2661

L
Linus Torvalds 已提交
2662 2663 2664 2665
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2666
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2667
			return -EPERM;
L
Linus Torvalds 已提交
2668
		if (flag & O_TRUNC)
2669
			return -EPERM;
L
Linus Torvalds 已提交
2670 2671 2672
	}

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

2676
	return 0;
2677
}
L
Linus Torvalds 已提交
2678

2679
static int handle_truncate(struct file *filp)
2680
{
2681
	struct path *path = &filp->f_path;
2682 2683 2684 2685 2686 2687 2688
	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.
	 */
2689
	error = locks_verify_locked(filp);
2690
	if (!error)
2691
		error = security_path_truncate(path);
2692 2693 2694
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2695
				    filp);
2696 2697
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2698
	return error;
L
Linus Torvalds 已提交
2699 2700
}

2701 2702
static inline int open_to_namei_flags(int flag)
{
2703 2704
	if ((flag & O_ACCMODE) == 3)
		flag--;
2705 2706 2707
	return flag;
}

M
Miklos Szeredi 已提交
2708 2709 2710 2711 2712 2713 2714 2715 2716 2717 2718 2719 2720
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);
}

2721 2722 2723 2724 2725 2726 2727 2728 2729 2730 2731 2732 2733
/*
 * 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.
 */
2734 2735 2736
static int atomic_open(struct nameidata *nd, struct dentry *dentry,
			struct path *path, struct file *file,
			const struct open_flags *op,
2737
			bool got_write, bool need_lookup,
2738
			int *opened)
M
Miklos Szeredi 已提交
2739 2740 2741 2742 2743 2744 2745 2746
{
	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;
2747
	bool excl;
M
Miklos Szeredi 已提交
2748 2749 2750 2751 2752

	BUG_ON(dentry->d_inode);

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

2757
	mode = op->mode;
M
Miklos Szeredi 已提交
2758 2759 2760
	if ((open_flag & O_CREAT) && !IS_POSIXACL(dir))
		mode &= ~current_umask();

2761 2762
	excl = (open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT);
	if (excl)
M
Miklos Szeredi 已提交
2763 2764 2765 2766 2767 2768 2769 2770 2771 2772 2773
		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).
	 */
2774 2775 2776
	if (((open_flag & (O_CREAT | O_TRUNC)) ||
	    (open_flag & O_ACCMODE) != O_RDONLY) && unlikely(!got_write)) {
		if (!(open_flag & O_CREAT)) {
M
Miklos Szeredi 已提交
2777 2778 2779 2780 2781 2782 2783
			/*
			 * 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 */
2784
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2785 2786 2787
			goto no_open;
		} else {
			/* No side effects, safe to clear O_CREAT */
2788
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2789 2790 2791 2792 2793
			open_flag &= ~O_CREAT;
		}
	}

	if (open_flag & O_CREAT) {
2794
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2795 2796 2797 2798 2799 2800 2801 2802 2803 2804 2805
		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 已提交
2806 2807 2808
	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,
2809
				      opened);
A
Al Viro 已提交
2810 2811 2812
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2813 2814 2815
		goto out;
	}

A
Al Viro 已提交
2816
	if (error) {	/* returned 1, that is */
A
Al Viro 已提交
2817
		if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2818
			error = -EIO;
M
Miklos Szeredi 已提交
2819 2820
			goto out;
		}
A
Al Viro 已提交
2821
		if (file->f_path.dentry) {
M
Miklos Szeredi 已提交
2822
			dput(dentry);
A
Al Viro 已提交
2823
			dentry = file->f_path.dentry;
M
Miklos Szeredi 已提交
2824
		}
2825 2826 2827 2828 2829 2830 2831 2832 2833 2834 2835 2836 2837
		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;
			}
2838
		}
M
Miklos Szeredi 已提交
2839 2840 2841 2842 2843 2844 2845
		goto looked_up;
	}

	/*
	 * We didn't have the inode before the open, so check open permission
	 * here.
	 */
2846 2847 2848 2849 2850 2851
	acc_mode = op->acc_mode;
	if (*opened & FILE_CREATED) {
		WARN_ON(!(open_flag & O_CREAT));
		fsnotify_create(dir, dentry);
		acc_mode = MAY_OPEN;
	}
2852 2853 2854
	error = may_open(&file->f_path, acc_mode, open_flag);
	if (error)
		fput(file);
M
Miklos Szeredi 已提交
2855 2856 2857

out:
	dput(dentry);
2858
	return error;
M
Miklos Szeredi 已提交
2859 2860 2861

no_open:
	if (need_lookup) {
2862
		dentry = lookup_real(dir, dentry, nd->flags);
M
Miklos Szeredi 已提交
2863
		if (IS_ERR(dentry))
2864
			return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2865 2866 2867 2868

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

2869
			error = create_error;
M
Miklos Szeredi 已提交
2870 2871 2872 2873 2874 2875
			if ((open_flag & O_EXCL)) {
				if (!dentry->d_inode)
					goto out;
			} else if (!dentry->d_inode) {
				goto out;
			} else if ((open_flag & O_TRUNC) &&
2876
				   d_is_reg(dentry)) {
M
Miklos Szeredi 已提交
2877 2878 2879 2880 2881 2882 2883 2884
				goto out;
			}
			/* will fail later, go on to get the right error */
		}
	}
looked_up:
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2885
	return 1;
M
Miklos Szeredi 已提交
2886 2887
}

M
Miklos Szeredi 已提交
2888
/*
2889
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2890 2891 2892
 *
 * Must be called with i_mutex held on parent.
 *
2893 2894 2895 2896 2897 2898 2899 2900 2901 2902 2903 2904
 * 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 已提交
2905
 */
2906 2907 2908
static int lookup_open(struct nameidata *nd, struct path *path,
			struct file *file,
			const struct open_flags *op,
2909
			bool got_write, int *opened)
M
Miklos Szeredi 已提交
2910 2911
{
	struct dentry *dir = nd->path.dentry;
2912
	struct inode *dir_inode = dir->d_inode;
M
Miklos Szeredi 已提交
2913 2914
	struct dentry *dentry;
	int error;
2915
	bool need_lookup;
M
Miklos Szeredi 已提交
2916

2917
	*opened &= ~FILE_CREATED;
2918
	dentry = lookup_dcache(&nd->last, dir, nd->flags, &need_lookup);
M
Miklos Szeredi 已提交
2919
	if (IS_ERR(dentry))
2920
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2921

M
Miklos Szeredi 已提交
2922 2923 2924 2925 2926
	/* 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) {
2927
		return atomic_open(nd, dentry, path, file, op, got_write,
2928
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2929 2930
	}

2931 2932 2933
	if (need_lookup) {
		BUG_ON(dentry->d_inode);

2934
		dentry = lookup_real(dir_inode, dentry, nd->flags);
2935
		if (IS_ERR(dentry))
2936
			return PTR_ERR(dentry);
2937 2938
	}

M
Miklos Szeredi 已提交
2939 2940 2941 2942 2943 2944 2945 2946 2947 2948
	/* 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
2949
		 * the 'struct file' in finish_open().
M
Miklos Szeredi 已提交
2950
		 */
2951 2952
		if (!got_write) {
			error = -EROFS;
M
Miklos Szeredi 已提交
2953
			goto out_dput;
2954
		}
2955
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2956 2957 2958
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto out_dput;
A
Al Viro 已提交
2959 2960
		error = vfs_create(dir->d_inode, dentry, mode,
				   nd->flags & LOOKUP_EXCL);
M
Miklos Szeredi 已提交
2961 2962 2963
		if (error)
			goto out_dput;
	}
M
Miklos Szeredi 已提交
2964
out_no_open:
M
Miklos Szeredi 已提交
2965 2966
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2967
	return 1;
M
Miklos Szeredi 已提交
2968 2969 2970

out_dput:
	dput(dentry);
2971
	return error;
M
Miklos Szeredi 已提交
2972 2973
}

N
Nick Piggin 已提交
2974
/*
2975
 * Handle the last step of open()
N
Nick Piggin 已提交
2976
 */
2977
static int do_last(struct nameidata *nd,
2978
		   struct file *file, const struct open_flags *op,
2979
		   int *opened, struct filename *name)
2980
{
2981
	struct dentry *dir = nd->path.dentry;
2982
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
2983
	bool will_truncate = (open_flag & O_TRUNC) != 0;
2984
	bool got_write = false;
A
Al Viro 已提交
2985
	int acc_mode = op->acc_mode;
2986
	struct inode *inode;
2987
	struct path save_parent = { .dentry = NULL, .mnt = NULL };
2988
	struct path path;
2989
	bool retried = false;
A
Al Viro 已提交
2990
	int error;
2991

2992 2993 2994
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

2995
	if (nd->last_type != LAST_NORM) {
2996 2997
		error = handle_dots(nd, nd->last_type);
		if (error)
2998
			return error;
M
Miklos Szeredi 已提交
2999
		goto finish_open;
3000
	}
3001

3002
	if (!(open_flag & O_CREAT)) {
3003 3004 3005
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
		/* we _can_ be in RCU mode here */
3006
		error = lookup_fast(nd, &path, &inode);
3007 3008 3009 3010
		if (likely(!error))
			goto finish_lookup;

		if (error < 0)
3011
			goto out;
3012 3013

		BUG_ON(nd->inode != dir->d_inode);
3014 3015 3016 3017 3018 3019 3020 3021 3022
	} 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)
3023
			return error;
3024

3025
		audit_inode(name, dir, LOOKUP_PARENT);
3026 3027 3028
		error = -EISDIR;
		/* trailing slashes? */
		if (nd->last.name[nd->last.len])
3029
			goto out;
3030
	}
A
Al Viro 已提交
3031

3032
retry_lookup:
3033 3034 3035 3036 3037 3038 3039 3040 3041 3042
	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.
		 */
	}
3043
	mutex_lock(&dir->d_inode->i_mutex);
3044
	error = lookup_open(nd, &path, file, op, got_write, opened);
M
Miklos Szeredi 已提交
3045
	mutex_unlock(&dir->d_inode->i_mutex);
3046

3047 3048
	if (error <= 0) {
		if (error)
M
Miklos Szeredi 已提交
3049 3050
			goto out;

3051
		if ((*opened & FILE_CREATED) ||
A
Al Viro 已提交
3052
		    !S_ISREG(file_inode(file)->i_mode))
M
Miklos Szeredi 已提交
3053
			will_truncate = false;
M
Miklos Szeredi 已提交
3054

3055
		audit_inode(name, file->f_path.dentry, 0);
M
Miklos Szeredi 已提交
3056 3057
		goto opened;
	}
3058

3059
	if (*opened & FILE_CREATED) {
3060
		/* Don't check for write permission, don't truncate */
3061
		open_flag &= ~O_TRUNC;
M
Miklos Szeredi 已提交
3062
		will_truncate = false;
A
Al Viro 已提交
3063
		acc_mode = MAY_OPEN;
3064
		path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
3065
		goto finish_open_created;
3066 3067 3068
	}

	/*
3069
	 * create/update audit record if it already exists.
3070
	 */
3071 3072
	if (d_is_positive(path.dentry))
		audit_inode(name, path.dentry, 0);
3073

M
Miklos Szeredi 已提交
3074 3075 3076 3077 3078
	/*
	 * If atomic_open() acquired write access it is dropped now due to
	 * possible mount and symlink following (this might be optimized away if
	 * necessary...)
	 */
3079
	if (got_write) {
M
Miklos Szeredi 已提交
3080
		mnt_drop_write(nd->path.mnt);
3081
		got_write = false;
M
Miklos Szeredi 已提交
3082 3083
	}

3084
	error = -EEXIST;
A
Al Viro 已提交
3085
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))
3086 3087
		goto exit_dput;

3088
	error = follow_managed(&path, nd->flags);
3089 3090
	if (error < 0)
		goto exit_dput;
3091

3092 3093 3094
	if (error)
		nd->flags |= LOOKUP_JUMPED;

3095
	BUG_ON(nd->flags & LOOKUP_RCU);
3096
	inode = path.dentry->d_inode;
3097
	error = -ENOENT;
3098 3099
	if (d_is_negative(path.dentry)) {
		path_to_nameidata(&path, nd);
3100
		goto out;
3101
	}
3102
finish_lookup:
3103
	if (should_follow_link(path.dentry, nd->flags & LOOKUP_FOLLOW)) {
3104
		if (nd->flags & LOOKUP_RCU) {
3105 3106
			if (unlikely(nd->path.mnt != path.mnt ||
				     unlazy_walk(nd, path.dentry))) {
3107
				error = -ECHILD;
3108
				goto out;
3109 3110
			}
		}
3111 3112
		BUG_ON(inode != path.dentry->d_inode);
		nd->link = path;
3113
		return 1;
3114
	}
3115

3116 3117
	if (unlikely(d_is_symlink(path.dentry)) && !(open_flag & O_PATH)) {
		path_to_nameidata(&path, nd);
3118 3119 3120 3121
		error = -ELOOP;
		goto out;
	}

3122 3123
	if ((nd->flags & LOOKUP_RCU) || nd->path.mnt != path.mnt) {
		path_to_nameidata(&path, nd);
3124 3125
	} else {
		save_parent.dentry = nd->path.dentry;
3126 3127
		save_parent.mnt = mntget(path.mnt);
		nd->path.dentry = path.dentry;
3128 3129

	}
3130
	nd->inode = inode;
3131
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
3132
finish_open:
3133
	error = complete_walk(nd);
3134 3135
	if (error) {
		path_put(&save_parent);
3136
		return error;
3137
	}
3138
	audit_inode(name, nd->path.dentry, 0);
3139
	error = -EISDIR;
M
Miklos Szeredi 已提交
3140
	if ((open_flag & O_CREAT) && d_is_dir(nd->path.dentry))
3141
		goto out;
3142
	error = -ENOTDIR;
M
Miklos Szeredi 已提交
3143
	if ((nd->flags & LOOKUP_DIRECTORY) && !d_can_lookup(nd->path.dentry))
3144
		goto out;
3145
	if (!d_is_reg(nd->path.dentry))
M
Miklos Szeredi 已提交
3146
		will_truncate = false;
3147

3148 3149 3150
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
3151
			goto out;
3152
		got_write = true;
3153
	}
M
Miklos Szeredi 已提交
3154
finish_open_created:
A
Al Viro 已提交
3155
	error = may_open(&nd->path, acc_mode, open_flag);
3156
	if (error)
3157
		goto out;
M
Miklos Szeredi 已提交
3158 3159 3160 3161 3162 3163

	BUG_ON(*opened & FILE_OPENED); /* once it's opened, it's opened */
	error = vfs_open(&nd->path, file, current_cred());
	if (!error) {
		*opened |= FILE_OPENED;
	} else {
A
Al Viro 已提交
3164
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
3165
			goto stale_open;
3166
		goto out;
M
Miklos Szeredi 已提交
3167
	}
3168
opened:
3169
	error = open_check_o_direct(file);
3170 3171
	if (error)
		goto exit_fput;
3172
	error = ima_file_check(file, op->acc_mode, *opened);
3173 3174 3175 3176
	if (error)
		goto exit_fput;

	if (will_truncate) {
3177
		error = handle_truncate(file);
3178 3179
		if (error)
			goto exit_fput;
3180
	}
3181
out:
3182
	if (got_write)
3183
		mnt_drop_write(nd->path.mnt);
3184
	path_put(&save_parent);
3185
	terminate_walk(nd);
3186
	return error;
3187 3188

exit_dput:
3189
	path_put_conditional(&path, nd);
3190
	goto out;
3191
exit_fput:
3192 3193
	fput(file);
	goto out;
3194

M
Miklos Szeredi 已提交
3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205
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;
3206
	if (got_write) {
M
Miklos Szeredi 已提交
3207
		mnt_drop_write(nd->path.mnt);
3208
		got_write = false;
M
Miklos Szeredi 已提交
3209 3210 3211
	}
	retried = true;
	goto retry_lookup;
3212 3213
}

3214 3215 3216 3217 3218 3219 3220 3221
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;
3222
	int error = path_lookupat(dfd, pathname,
3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3246 3247 3248 3249 3250 3251
				  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);
3252 3253
	/* Don't check for other permissions, the inode was just created */
	error = may_open(&nd->path, MAY_OPEN, op->open_flag);
3254 3255 3256 3257 3258 3259 3260
	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);
3261
	if (error) {
3262
		fput(file);
3263 3264 3265 3266 3267 3268
	} 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);
	}
3269 3270 3271 3272 3273 3274 3275
out2:
	mnt_drop_write(nd->path.mnt);
out:
	path_put(&nd->path);
	return error;
}

3276
static struct file *path_openat(int dfd, struct filename *pathname,
A
Al Viro 已提交
3277
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
3278
{
A
Al Viro 已提交
3279
	struct file *file;
3280
	int opened = 0;
3281
	int error;
N
Nick Piggin 已提交
3282

A
Al Viro 已提交
3283
	file = get_empty_filp();
3284 3285
	if (IS_ERR(file))
		return file;
N
Nick Piggin 已提交
3286

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

A
Al Viro 已提交
3289
	if (unlikely(file->f_flags & __O_TMPFILE)) {
3290
		error = do_tmpfile(dfd, pathname, nd, flags, op, file, &opened);
A
Al Viro 已提交
3291
		goto out2;
3292 3293
	}

A
Al Viro 已提交
3294
	error = path_init(dfd, pathname, flags, nd);
N
Nick Piggin 已提交
3295
	if (unlikely(error))
3296
		goto out;
L
Linus Torvalds 已提交
3297

3298
	error = do_last(nd, file, op, &opened, pathname);
3299
	while (unlikely(error > 0)) { /* trailing symlink */
A
Al Viro 已提交
3300
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
3301
		error = trailing_symlink(nd);
3302
		if (unlikely(error))
3303
			break;
3304
		error = do_last(nd, file, op, &opened, pathname);
3305
		put_link(nd);
3306
	}
A
Al Viro 已提交
3307
out:
A
Al Viro 已提交
3308
	path_cleanup(nd);
A
Al Viro 已提交
3309
out2:
3310 3311
	if (!(opened & FILE_OPENED)) {
		BUG_ON(!error);
A
Al Viro 已提交
3312
		put_filp(file);
3313
	}
3314 3315 3316 3317 3318 3319 3320 3321 3322 3323
	if (unlikely(error)) {
		if (error == -EOPENSTALE) {
			if (flags & LOOKUP_RCU)
				error = -ECHILD;
			else
				error = -ESTALE;
		}
		file = ERR_PTR(error);
	}
	return file;
L
Linus Torvalds 已提交
3324 3325
}

3326
struct file *do_filp_open(int dfd, struct filename *pathname,
3327
		const struct open_flags *op)
3328
{
A
Al Viro 已提交
3329
	struct nameidata nd;
3330
	int flags = op->lookup_flags;
3331 3332
	struct file *filp;

3333
	set_nameidata(&nd);
A
Al Viro 已提交
3334
	filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_RCU);
3335
	if (unlikely(filp == ERR_PTR(-ECHILD)))
A
Al Viro 已提交
3336
		filp = path_openat(dfd, pathname, &nd, op, flags);
3337
	if (unlikely(filp == ERR_PTR(-ESTALE)))
A
Al Viro 已提交
3338
		filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_REVAL);
3339
	restore_nameidata(&nd);
3340 3341 3342
	return filp;
}

A
Al Viro 已提交
3343
struct file *do_file_open_root(struct dentry *dentry, struct vfsmount *mnt,
3344
		const char *name, const struct open_flags *op)
A
Al Viro 已提交
3345 3346 3347
{
	struct nameidata nd;
	struct file *file;
3348
	struct filename *filename;
3349
	int flags = op->lookup_flags | LOOKUP_ROOT;
A
Al Viro 已提交
3350 3351 3352

	nd.root.mnt = mnt;
	nd.root.dentry = dentry;
3353
	set_nameidata(&nd);
A
Al Viro 已提交
3354

3355
	if (d_is_symlink(dentry) && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3356 3357
		return ERR_PTR(-ELOOP);

3358 3359 3360 3361 3362
	filename = getname_kernel(name);
	if (unlikely(IS_ERR(filename)))
		return ERR_CAST(filename);

	file = path_openat(-1, filename, &nd, op, flags | LOOKUP_RCU);
A
Al Viro 已提交
3363
	if (unlikely(file == ERR_PTR(-ECHILD)))
3364
		file = path_openat(-1, filename, &nd, op, flags);
A
Al Viro 已提交
3365
	if (unlikely(file == ERR_PTR(-ESTALE)))
3366
		file = path_openat(-1, filename, &nd, op, flags | LOOKUP_REVAL);
3367
	restore_nameidata(&nd);
3368
	putname(filename);
A
Al Viro 已提交
3369 3370 3371
	return file;
}

3372
static struct dentry *filename_create(int dfd, struct filename *name,
3373
				struct path *path, unsigned int lookup_flags)
L
Linus Torvalds 已提交
3374
{
3375
	struct dentry *dentry = ERR_PTR(-EEXIST);
A
Al Viro 已提交
3376
	struct nameidata nd;
3377
	int err2;
3378 3379 3380 3381 3382 3383 3384 3385 3386
	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;

3387
	error = filename_lookup(dfd, name, LOOKUP_PARENT|lookup_flags, &nd);
A
Al Viro 已提交
3388 3389
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
3390

3391 3392 3393 3394
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
A
Al Viro 已提交
3395 3396 3397 3398
	if (nd.last_type != LAST_NORM)
		goto out;
	nd.flags &= ~LOOKUP_PARENT;
	nd.flags |= LOOKUP_CREATE | LOOKUP_EXCL;
3399

3400 3401
	/* don't fail immediately if it's r/o, at least try to report other errors */
	err2 = mnt_want_write(nd.path.mnt);
3402 3403 3404
	/*
	 * Do the final lookup.
	 */
A
Al Viro 已提交
3405
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
A
Al Viro 已提交
3406
	dentry = __lookup_hash(&nd.last, nd.path.dentry, nd.flags);
L
Linus Torvalds 已提交
3407
	if (IS_ERR(dentry))
3408
		goto unlock;
3409

3410
	error = -EEXIST;
3411
	if (d_is_positive(dentry))
3412
		goto fail;
3413

3414 3415 3416 3417 3418 3419
	/*
	 * 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 已提交
3420
	if (unlikely(!is_dir && nd.last.name[nd.last.len])) {
3421
		error = -ENOENT;
A
Al Viro 已提交
3422
		goto fail;
3423
	}
3424 3425
	if (unlikely(err2)) {
		error = err2;
3426
		goto fail;
3427
	}
A
Al Viro 已提交
3428
	*path = nd.path;
L
Linus Torvalds 已提交
3429 3430
	return dentry;
fail:
3431 3432 3433
	dput(dentry);
	dentry = ERR_PTR(error);
unlock:
A
Al Viro 已提交
3434
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
3435 3436
	if (!err2)
		mnt_drop_write(nd.path.mnt);
A
Al Viro 已提交
3437 3438
out:
	path_put(&nd.path);
L
Linus Torvalds 已提交
3439 3440
	return dentry;
}
3441 3442 3443 3444

struct dentry *kern_path_create(int dfd, const char *pathname,
				struct path *path, unsigned int lookup_flags)
{
3445 3446 3447 3448 3449 3450 3451 3452
	struct filename *filename = getname_kernel(pathname);
	struct dentry *res;

	if (IS_ERR(filename))
		return ERR_CAST(filename);
	res = filename_create(dfd, filename, path, lookup_flags);
	putname(filename);
	return res;
3453
}
3454 3455
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3456 3457 3458 3459
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3460
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3461 3462 3463 3464
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

3465 3466
struct dentry *user_path_create(int dfd, const char __user *pathname,
				struct path *path, unsigned int lookup_flags)
3467
{
3468
	struct filename *tmp = getname(pathname);
3469 3470 3471
	struct dentry *res;
	if (IS_ERR(tmp))
		return ERR_CAST(tmp);
3472
	res = filename_create(dfd, tmp, path, lookup_flags);
3473 3474 3475 3476 3477
	putname(tmp);
	return res;
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3478
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3479
{
3480
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3481 3482 3483 3484

	if (error)
		return error;

3485
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3486 3487
		return -EPERM;

A
Al Viro 已提交
3488
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3489 3490
		return -EPERM;

3491 3492 3493 3494
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3495 3496 3497 3498 3499
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3500
	if (!error)
3501
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3502 3503
	return error;
}
3504
EXPORT_SYMBOL(vfs_mknod);
L
Linus Torvalds 已提交
3505

A
Al Viro 已提交
3506
static int may_mknod(umode_t mode)
3507 3508 3509 3510 3511 3512 3513 3514 3515 3516 3517 3518 3519 3520 3521 3522
{
	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 已提交
3523
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
3524
		unsigned, dev)
L
Linus Torvalds 已提交
3525
{
3526
	struct dentry *dentry;
3527 3528
	struct path path;
	int error;
3529
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3530

3531 3532 3533
	error = may_mknod(mode);
	if (error)
		return error;
3534 3535
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3536 3537
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3538

3539
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3540
		mode &= ~current_umask();
3541
	error = security_path_mknod(&path, dentry, mode, dev);
3542
	if (error)
3543
		goto out;
3544
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3545
		case 0: case S_IFREG:
A
Al Viro 已提交
3546
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
L
Linus Torvalds 已提交
3547 3548
			break;
		case S_IFCHR: case S_IFBLK:
3549
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3550 3551 3552
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3553
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3554 3555
			break;
	}
3556
out:
A
Al Viro 已提交
3557
	done_path_create(&path, dentry);
3558 3559 3560 3561
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3562 3563 3564
	return error;
}

A
Al Viro 已提交
3565
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3566 3567 3568 3569
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

3570
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3571
{
3572
	int error = may_create(dir, dentry);
3573
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3574 3575 3576 3577

	if (error)
		return error;

A
Al Viro 已提交
3578
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3579 3580 3581 3582 3583 3584 3585
		return -EPERM;

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

3586 3587 3588
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3589
	error = dir->i_op->mkdir(dir, dentry, mode);
3590
	if (!error)
3591
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3592 3593
	return error;
}
3594
EXPORT_SYMBOL(vfs_mkdir);
L
Linus Torvalds 已提交
3595

3596
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
3597
{
3598
	struct dentry *dentry;
3599 3600
	struct path path;
	int error;
3601
	unsigned int lookup_flags = LOOKUP_DIRECTORY;
L
Linus Torvalds 已提交
3602

3603 3604
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3605
	if (IS_ERR(dentry))
3606
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3607

3608
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3609
		mode &= ~current_umask();
3610
	error = security_path_mkdir(&path, dentry, mode);
3611 3612
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3613
	done_path_create(&path, dentry);
3614 3615 3616 3617
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3618 3619 3620
	return error;
}

3621
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3622 3623 3624 3625
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
3626
/*
S
Sage Weil 已提交
3627
 * The dentry_unhash() helper will try to drop the dentry early: we
3628
 * should have a usage count of 1 if we're the only user of this
S
Sage Weil 已提交
3629 3630
 * dentry, and if that is true (possibly after pruning the dcache),
 * then we drop the dentry now.
L
Linus Torvalds 已提交
3631 3632 3633 3634 3635 3636 3637 3638 3639 3640 3641 3642
 *
 * 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)
{
3643
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
3644
	spin_lock(&dentry->d_lock);
3645
	if (dentry->d_lockref.count == 1)
L
Linus Torvalds 已提交
3646 3647 3648
		__d_drop(dentry);
	spin_unlock(&dentry->d_lock);
}
3649
EXPORT_SYMBOL(dentry_unhash);
L
Linus Torvalds 已提交
3650 3651 3652 3653 3654 3655 3656 3657

int vfs_rmdir(struct inode *dir, struct dentry *dentry)
{
	int error = may_delete(dir, dentry, 1);

	if (error)
		return error;

A
Al Viro 已提交
3658
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3659 3660
		return -EPERM;

3661
	dget(dentry);
3662
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3663 3664

	error = -EBUSY;
3665
	if (is_local_mountpoint(dentry))
S
Sage Weil 已提交
3666 3667 3668 3669 3670 3671
		goto out;

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

3672
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3673 3674 3675 3676 3677 3678
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);
3679
	detach_mounts(dentry);
S
Sage Weil 已提交
3680 3681

out:
3682
	mutex_unlock(&dentry->d_inode->i_mutex);
3683
	dput(dentry);
S
Sage Weil 已提交
3684
	if (!error)
L
Linus Torvalds 已提交
3685 3686 3687
		d_delete(dentry);
	return error;
}
3688
EXPORT_SYMBOL(vfs_rmdir);
L
Linus Torvalds 已提交
3689

3690
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3691 3692
{
	int error = 0;
3693
	struct filename *name;
L
Linus Torvalds 已提交
3694
	struct dentry *dentry;
3695 3696 3697
	struct path path;
	struct qstr last;
	int type;
3698 3699
	unsigned int lookup_flags = 0;
retry:
3700 3701
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3702 3703
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3704

3705
	switch (type) {
3706 3707 3708 3709 3710 3711 3712 3713 3714
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3715
	}
3716

3717
	error = mnt_want_write(path.mnt);
3718 3719
	if (error)
		goto exit1;
3720

3721 3722
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3723
	error = PTR_ERR(dentry);
3724 3725
	if (IS_ERR(dentry))
		goto exit2;
3726 3727 3728 3729
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3730
	error = security_path_rmdir(&path, dentry);
3731
	if (error)
3732
		goto exit3;
3733
	error = vfs_rmdir(path.dentry->d_inode, dentry);
3734
exit3:
3735 3736
	dput(dentry);
exit2:
3737 3738
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3739
exit1:
3740
	path_put(&path);
L
Linus Torvalds 已提交
3741
	putname(name);
3742 3743 3744 3745
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3746 3747 3748
	return error;
}

3749
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3750 3751 3752 3753
{
	return do_rmdir(AT_FDCWD, pathname);
}

3754 3755 3756 3757 3758 3759 3760 3761 3762 3763 3764 3765 3766 3767 3768 3769 3770 3771 3772
/**
 * 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 已提交
3773
{
J
J. Bruce Fields 已提交
3774
	struct inode *target = dentry->d_inode;
L
Linus Torvalds 已提交
3775 3776 3777 3778 3779
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3780
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3781 3782
		return -EPERM;

J
J. Bruce Fields 已提交
3783
	mutex_lock(&target->i_mutex);
3784
	if (is_local_mountpoint(dentry))
L
Linus Torvalds 已提交
3785 3786 3787
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3788
		if (!error) {
3789 3790
			error = try_break_deleg(target, delegated_inode);
			if (error)
3791
				goto out;
L
Linus Torvalds 已提交
3792
			error = dir->i_op->unlink(dir, dentry);
3793
			if (!error) {
3794
				dont_mount(dentry);
3795 3796
				detach_mounts(dentry);
			}
3797
		}
L
Linus Torvalds 已提交
3798
	}
3799
out:
J
J. Bruce Fields 已提交
3800
	mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3801 3802 3803

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

L
Linus Torvalds 已提交
3808 3809
	return error;
}
3810
EXPORT_SYMBOL(vfs_unlink);
L
Linus Torvalds 已提交
3811 3812 3813

/*
 * Make sure that the actual truncation of the file will occur outside its
3814
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3815 3816 3817
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3818
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3819
{
3820
	int error;
3821
	struct filename *name;
L
Linus Torvalds 已提交
3822
	struct dentry *dentry;
3823 3824 3825
	struct path path;
	struct qstr last;
	int type;
L
Linus Torvalds 已提交
3826
	struct inode *inode = NULL;
3827
	struct inode *delegated_inode = NULL;
3828 3829
	unsigned int lookup_flags = 0;
retry:
3830 3831
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3832 3833
	if (IS_ERR(name))
		return PTR_ERR(name);
3834

L
Linus Torvalds 已提交
3835
	error = -EISDIR;
3836
	if (type != LAST_NORM)
L
Linus Torvalds 已提交
3837
		goto exit1;
3838

3839
	error = mnt_want_write(path.mnt);
3840 3841
	if (error)
		goto exit1;
3842
retry_deleg:
3843 3844
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3845 3846 3847
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
3848
		if (last.name[last.len])
3849
			goto slashes;
L
Linus Torvalds 已提交
3850
		inode = dentry->d_inode;
3851
		if (d_is_negative(dentry))
3852 3853
			goto slashes;
		ihold(inode);
3854
		error = security_path_unlink(&path, dentry);
3855
		if (error)
3856
			goto exit2;
3857
		error = vfs_unlink(path.dentry->d_inode, dentry, &delegated_inode);
3858
exit2:
L
Linus Torvalds 已提交
3859 3860
		dput(dentry);
	}
3861
	mutex_unlock(&path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3862 3863
	if (inode)
		iput(inode);	/* truncate the inode here */
3864 3865
	inode = NULL;
	if (delegated_inode) {
3866
		error = break_deleg_wait(&delegated_inode);
3867 3868 3869
		if (!error)
			goto retry_deleg;
	}
3870
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3871
exit1:
3872
	path_put(&path);
L
Linus Torvalds 已提交
3873
	putname(name);
3874 3875 3876 3877 3878
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		inode = NULL;
		goto retry;
	}
L
Linus Torvalds 已提交
3879 3880 3881
	return error;

slashes:
3882 3883
	if (d_is_negative(dentry))
		error = -ENOENT;
M
Miklos Szeredi 已提交
3884
	else if (d_is_dir(dentry))
3885 3886 3887
		error = -EISDIR;
	else
		error = -ENOTDIR;
L
Linus Torvalds 已提交
3888 3889 3890
	goto exit2;
}

3891
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3892 3893 3894 3895 3896 3897 3898 3899 3900 3901
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

3902
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3903 3904 3905 3906
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3907
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3908
{
3909
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3910 3911 3912 3913

	if (error)
		return error;

A
Al Viro 已提交
3914
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3915 3916 3917 3918 3919 3920 3921
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3922
	if (!error)
3923
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3924 3925
	return error;
}
3926
EXPORT_SYMBOL(vfs_symlink);
L
Linus Torvalds 已提交
3927

3928 3929
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3930
{
3931
	int error;
3932
	struct filename *from;
3933
	struct dentry *dentry;
3934
	struct path path;
3935
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3936 3937

	from = getname(oldname);
3938
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3939
		return PTR_ERR(from);
3940 3941
retry:
	dentry = user_path_create(newdfd, newname, &path, lookup_flags);
3942 3943
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3944
		goto out_putname;
3945

3946
	error = security_path_symlink(&path, dentry, from->name);
3947
	if (!error)
3948
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
3949
	done_path_create(&path, dentry);
3950 3951 3952 3953
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
3954
out_putname:
L
Linus Torvalds 已提交
3955 3956 3957 3958
	putname(from);
	return error;
}

3959
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3960 3961 3962 3963
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

J
J. Bruce Fields 已提交
3964 3965 3966 3967 3968 3969 3970 3971 3972 3973 3974 3975 3976 3977 3978 3979 3980 3981 3982 3983
/**
 * 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 已提交
3984 3985
{
	struct inode *inode = old_dentry->d_inode;
3986
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3987 3988 3989 3990 3991
	int error;

	if (!inode)
		return -ENOENT;

3992
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
3993 3994 3995 3996 3997 3998 3999 4000 4001 4002 4003
	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 已提交
4004
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
4005
		return -EPERM;
4006
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
4007 4008 4009 4010 4011 4012
		return -EPERM;

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

4013
	mutex_lock(&inode->i_mutex);
4014
	/* Make sure we don't allow creating hardlink to an unlinked file */
4015
	if (inode->i_nlink == 0 && !(inode->i_state & I_LINKABLE))
4016
		error =  -ENOENT;
4017 4018
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
J
J. Bruce Fields 已提交
4019 4020 4021 4022 4023
	else {
		error = try_break_deleg(inode, delegated_inode);
		if (!error)
			error = dir->i_op->link(old_dentry, dir, new_dentry);
	}
4024 4025 4026 4027 4028 4029

	if (!error && (inode->i_state & I_LINKABLE)) {
		spin_lock(&inode->i_lock);
		inode->i_state &= ~I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
4030
	mutex_unlock(&inode->i_mutex);
4031
	if (!error)
4032
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
4033 4034
	return error;
}
4035
EXPORT_SYMBOL(vfs_link);
L
Linus Torvalds 已提交
4036 4037 4038 4039 4040 4041 4042 4043 4044 4045

/*
 * 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
 */
4046 4047
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
4048 4049
{
	struct dentry *new_dentry;
4050
	struct path old_path, new_path;
J
J. Bruce Fields 已提交
4051
	struct inode *delegated_inode = NULL;
4052
	int how = 0;
L
Linus Torvalds 已提交
4053 4054
	int error;

4055
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
4056
		return -EINVAL;
4057
	/*
4058 4059 4060
	 * 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.
4061
	 */
4062 4063 4064
	if (flags & AT_EMPTY_PATH) {
		if (!capable(CAP_DAC_READ_SEARCH))
			return -ENOENT;
4065
		how = LOOKUP_EMPTY;
4066
	}
4067 4068 4069

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
4070
retry:
4071
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
4072
	if (error)
4073 4074
		return error;

4075 4076
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
4077
	error = PTR_ERR(new_dentry);
4078
	if (IS_ERR(new_dentry))
4079 4080 4081 4082 4083
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
4084 4085 4086
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
4087
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
4088
	if (error)
4089
		goto out_dput;
J
J. Bruce Fields 已提交
4090
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry, &delegated_inode);
4091
out_dput:
A
Al Viro 已提交
4092
	done_path_create(&new_path, new_dentry);
J
J. Bruce Fields 已提交
4093 4094
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
4095 4096
		if (!error) {
			path_put(&old_path);
J
J. Bruce Fields 已提交
4097
			goto retry;
4098
		}
J
J. Bruce Fields 已提交
4099
	}
4100
	if (retry_estale(error, how)) {
4101
		path_put(&old_path);
4102 4103 4104
		how |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
4105
out:
4106
	path_put(&old_path);
L
Linus Torvalds 已提交
4107 4108 4109 4110

	return error;
}

4111
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
4112
{
4113
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4114 4115
}

4116 4117 4118 4119 4120 4121 4122
/**
 * 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
M
Miklos Szeredi 已提交
4123
 * @flags:	rename flags
4124 4125 4126 4127 4128 4129 4130 4131 4132 4133 4134 4135 4136 4137
 *
 * 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 已提交
4138 4139 4140
 * 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:
4141
 *	a) we can get into loop creation.
L
Linus Torvalds 已提交
4142 4143
 *	b) race potential - two innocent renames can create a loop together.
 *	   That's where 4.4 screws up. Current fix: serialization on
4144
 *	   sb->s_vfs_rename_mutex. We might be more accurate, but that's another
L
Linus Torvalds 已提交
4145
 *	   story.
4146 4147
 *	c) we have to lock _four_ objects - parents and victim (if it exists),
 *	   and source (if it is not a directory).
4148
 *	   And that - after we got ->i_mutex on parents (until then we don't know
L
Linus Torvalds 已提交
4149 4150
 *	   whether the target exists).  Solution: try to be smart with locking
 *	   order for inodes.  We rely on the fact that tree topology may change
4151
 *	   only under ->s_vfs_rename_mutex _and_ that parent of the object we
L
Linus Torvalds 已提交
4152 4153 4154
 *	   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,
4155
 *	   lock child" and rename is under ->s_vfs_rename_mutex.
L
Linus Torvalds 已提交
4156 4157 4158
 *	   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.
4159
 *	d) conversion from fhandle to dentry may come in the wrong moment - when
4160
 *	   we are removing the target. Solution: we will have to grab ->i_mutex
L
Linus Torvalds 已提交
4161
 *	   in the fhandle_to_dentry code. [FIXME - current nfsfh.c relies on
4162
 *	   ->i_mutex on parents, which works but leads to some truly excessive
L
Linus Torvalds 已提交
4163 4164
 *	   locking].
 */
4165 4166
int vfs_rename(struct inode *old_dir, struct dentry *old_dentry,
	       struct inode *new_dir, struct dentry *new_dentry,
M
Miklos Szeredi 已提交
4167
	       struct inode **delegated_inode, unsigned int flags)
L
Linus Torvalds 已提交
4168
{
4169 4170 4171 4172
	int error;
	bool is_dir = d_is_dir(old_dentry);
	const unsigned char *old_name;
	struct inode *source = old_dentry->d_inode;
S
Sage Weil 已提交
4173
	struct inode *target = new_dentry->d_inode;
M
Miklos Szeredi 已提交
4174 4175
	bool new_is_dir = false;
	unsigned max_links = new_dir->i_sb->s_max_links;
4176 4177 4178 4179 4180 4181 4182 4183

	if (source == target)
		return 0;

	error = may_delete(old_dir, old_dentry, is_dir);
	if (error)
		return error;

M
Miklos Szeredi 已提交
4184
	if (!target) {
4185
		error = may_create(new_dir, new_dentry);
M
Miklos Szeredi 已提交
4186 4187 4188 4189 4190 4191 4192 4193
	} else {
		new_is_dir = d_is_dir(new_dentry);

		if (!(flags & RENAME_EXCHANGE))
			error = may_delete(new_dir, new_dentry, is_dir);
		else
			error = may_delete(new_dir, new_dentry, new_is_dir);
	}
4194 4195 4196
	if (error)
		return error;

M
Miklos Szeredi 已提交
4197
	if (!old_dir->i_op->rename && !old_dir->i_op->rename2)
4198
		return -EPERM;
L
Linus Torvalds 已提交
4199

M
Miklos Szeredi 已提交
4200 4201 4202
	if (flags && !old_dir->i_op->rename2)
		return -EINVAL;

L
Linus Torvalds 已提交
4203 4204 4205 4206
	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
M
Miklos Szeredi 已提交
4207 4208 4209 4210 4211 4212 4213 4214 4215 4216 4217
	if (new_dir != old_dir) {
		if (is_dir) {
			error = inode_permission(source, MAY_WRITE);
			if (error)
				return error;
		}
		if ((flags & RENAME_EXCHANGE) && new_is_dir) {
			error = inode_permission(target, MAY_WRITE);
			if (error)
				return error;
		}
L
Linus Torvalds 已提交
4218 4219
	}

4220 4221
	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry,
				      flags);
L
Linus Torvalds 已提交
4222 4223 4224
	if (error)
		return error;

4225
	old_name = fsnotify_oldname_init(old_dentry->d_name.name);
4226
	dget(new_dentry);
M
Miklos Szeredi 已提交
4227
	if (!is_dir || (flags & RENAME_EXCHANGE))
4228 4229
		lock_two_nondirectories(source, target);
	else if (target)
4230
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
4231 4232

	error = -EBUSY;
4233
	if (is_local_mountpoint(old_dentry) || is_local_mountpoint(new_dentry))
S
Sage Weil 已提交
4234 4235
		goto out;

M
Miklos Szeredi 已提交
4236
	if (max_links && new_dir != old_dir) {
4237
		error = -EMLINK;
M
Miklos Szeredi 已提交
4238
		if (is_dir && !new_is_dir && new_dir->i_nlink >= max_links)
4239
			goto out;
M
Miklos Szeredi 已提交
4240 4241 4242 4243 4244 4245 4246
		if ((flags & RENAME_EXCHANGE) && !is_dir && new_is_dir &&
		    old_dir->i_nlink >= max_links)
			goto out;
	}
	if (is_dir && !(flags & RENAME_EXCHANGE) && target)
		shrink_dcache_parent(new_dentry);
	if (!is_dir) {
4247
		error = try_break_deleg(source, delegated_inode);
4248 4249
		if (error)
			goto out;
M
Miklos Szeredi 已提交
4250 4251 4252 4253 4254
	}
	if (target && !new_is_dir) {
		error = try_break_deleg(target, delegated_inode);
		if (error)
			goto out;
4255
	}
M
Miklos Szeredi 已提交
4256
	if (!old_dir->i_op->rename2) {
M
Miklos Szeredi 已提交
4257 4258 4259
		error = old_dir->i_op->rename(old_dir, old_dentry,
					      new_dir, new_dentry);
	} else {
M
Miklos Szeredi 已提交
4260
		WARN_ON(old_dir->i_op->rename != NULL);
M
Miklos Szeredi 已提交
4261 4262 4263
		error = old_dir->i_op->rename2(old_dir, old_dentry,
					       new_dir, new_dentry, flags);
	}
S
Sage Weil 已提交
4264 4265 4266
	if (error)
		goto out;

M
Miklos Szeredi 已提交
4267
	if (!(flags & RENAME_EXCHANGE) && target) {
4268 4269
		if (is_dir)
			target->i_flags |= S_DEAD;
S
Sage Weil 已提交
4270
		dont_mount(new_dentry);
4271
		detach_mounts(new_dentry);
4272
	}
M
Miklos Szeredi 已提交
4273 4274 4275 4276 4277 4278
	if (!(old_dir->i_sb->s_type->fs_flags & FS_RENAME_DOES_D_MOVE)) {
		if (!(flags & RENAME_EXCHANGE))
			d_move(old_dentry, new_dentry);
		else
			d_exchange(old_dentry, new_dentry);
	}
S
Sage Weil 已提交
4279
out:
M
Miklos Szeredi 已提交
4280
	if (!is_dir || (flags & RENAME_EXCHANGE))
4281 4282 4283
		unlock_two_nondirectories(source, target);
	else if (target)
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
4284
	dput(new_dentry);
M
Miklos Szeredi 已提交
4285
	if (!error) {
4286
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
M
Miklos Szeredi 已提交
4287 4288 4289 4290 4291 4292
			      !(flags & RENAME_EXCHANGE) ? target : NULL, old_dentry);
		if (flags & RENAME_EXCHANGE) {
			fsnotify_move(new_dir, old_dir, old_dentry->d_name.name,
				      new_is_dir, NULL, new_dentry);
		}
	}
R
Robert Love 已提交
4293 4294
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
4295 4296
	return error;
}
4297
EXPORT_SYMBOL(vfs_rename);
L
Linus Torvalds 已提交
4298

M
Miklos Szeredi 已提交
4299 4300
SYSCALL_DEFINE5(renameat2, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, unsigned int, flags)
L
Linus Torvalds 已提交
4301
{
4302 4303
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
4304 4305 4306
	struct path old_path, new_path;
	struct qstr old_last, new_last;
	int old_type, new_type;
4307
	struct inode *delegated_inode = NULL;
4308 4309
	struct filename *from;
	struct filename *to;
4310
	unsigned int lookup_flags = 0, target_flags = LOOKUP_RENAME_TARGET;
4311
	bool should_retry = false;
4312
	int error;
M
Miklos Szeredi 已提交
4313

M
Miklos Szeredi 已提交
4314
	if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
M
Miklos Szeredi 已提交
4315 4316
		return -EINVAL;

M
Miklos Szeredi 已提交
4317 4318
	if ((flags & (RENAME_NOREPLACE | RENAME_WHITEOUT)) &&
	    (flags & RENAME_EXCHANGE))
M
Miklos Szeredi 已提交
4319 4320
		return -EINVAL;

M
Miklos Szeredi 已提交
4321 4322 4323
	if ((flags & RENAME_WHITEOUT) && !capable(CAP_MKNOD))
		return -EPERM;

4324 4325 4326
	if (flags & RENAME_EXCHANGE)
		target_flags = 0;

4327
retry:
4328 4329
	from = user_path_parent(olddfd, oldname,
				&old_path, &old_last, &old_type, lookup_flags);
4330 4331
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
4332
		goto exit;
4333
	}
L
Linus Torvalds 已提交
4334

4335 4336
	to = user_path_parent(newdfd, newname,
				&new_path, &new_last, &new_type, lookup_flags);
4337 4338
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
4339
		goto exit1;
4340
	}
L
Linus Torvalds 已提交
4341 4342

	error = -EXDEV;
4343
	if (old_path.mnt != new_path.mnt)
L
Linus Torvalds 已提交
4344 4345 4346
		goto exit2;

	error = -EBUSY;
4347
	if (old_type != LAST_NORM)
L
Linus Torvalds 已提交
4348 4349
		goto exit2;

M
Miklos Szeredi 已提交
4350 4351
	if (flags & RENAME_NOREPLACE)
		error = -EEXIST;
4352
	if (new_type != LAST_NORM)
L
Linus Torvalds 已提交
4353 4354
		goto exit2;

4355
	error = mnt_want_write(old_path.mnt);
4356 4357 4358
	if (error)
		goto exit2;

4359
retry_deleg:
4360
	trap = lock_rename(new_path.dentry, old_path.dentry);
L
Linus Torvalds 已提交
4361

4362
	old_dentry = __lookup_hash(&old_last, old_path.dentry, lookup_flags);
L
Linus Torvalds 已提交
4363 4364 4365 4366 4367
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
4368
	if (d_is_negative(old_dentry))
L
Linus Torvalds 已提交
4369
		goto exit4;
4370
	new_dentry = __lookup_hash(&new_last, new_path.dentry, lookup_flags | target_flags);
M
Miklos Szeredi 已提交
4371 4372 4373 4374 4375 4376
	error = PTR_ERR(new_dentry);
	if (IS_ERR(new_dentry))
		goto exit4;
	error = -EEXIST;
	if ((flags & RENAME_NOREPLACE) && d_is_positive(new_dentry))
		goto exit5;
M
Miklos Szeredi 已提交
4377 4378 4379 4380 4381 4382 4383
	if (flags & RENAME_EXCHANGE) {
		error = -ENOENT;
		if (d_is_negative(new_dentry))
			goto exit5;

		if (!d_is_dir(new_dentry)) {
			error = -ENOTDIR;
4384
			if (new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4385 4386 4387
				goto exit5;
		}
	}
L
Linus Torvalds 已提交
4388
	/* unless the source is a directory trailing slashes give -ENOTDIR */
M
Miklos Szeredi 已提交
4389
	if (!d_is_dir(old_dentry)) {
L
Linus Torvalds 已提交
4390
		error = -ENOTDIR;
4391
		if (old_last.name[old_last.len])
M
Miklos Szeredi 已提交
4392
			goto exit5;
4393
		if (!(flags & RENAME_EXCHANGE) && new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4394
			goto exit5;
L
Linus Torvalds 已提交
4395 4396 4397 4398
	}
	/* source should not be ancestor of target */
	error = -EINVAL;
	if (old_dentry == trap)
M
Miklos Szeredi 已提交
4399
		goto exit5;
L
Linus Torvalds 已提交
4400
	/* target should not be an ancestor of source */
M
Miklos Szeredi 已提交
4401 4402
	if (!(flags & RENAME_EXCHANGE))
		error = -ENOTEMPTY;
L
Linus Torvalds 已提交
4403 4404 4405
	if (new_dentry == trap)
		goto exit5;

4406 4407
	error = security_path_rename(&old_path, old_dentry,
				     &new_path, new_dentry, flags);
4408
	if (error)
4409
		goto exit5;
4410 4411
	error = vfs_rename(old_path.dentry->d_inode, old_dentry,
			   new_path.dentry->d_inode, new_dentry,
M
Miklos Szeredi 已提交
4412
			   &delegated_inode, flags);
L
Linus Torvalds 已提交
4413 4414 4415 4416 4417
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
4418
	unlock_rename(new_path.dentry, old_path.dentry);
4419 4420 4421 4422 4423
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
		if (!error)
			goto retry_deleg;
	}
4424
	mnt_drop_write(old_path.mnt);
L
Linus Torvalds 已提交
4425
exit2:
4426 4427
	if (retry_estale(error, lookup_flags))
		should_retry = true;
4428
	path_put(&new_path);
4429
	putname(to);
L
Linus Torvalds 已提交
4430
exit1:
4431
	path_put(&old_path);
L
Linus Torvalds 已提交
4432
	putname(from);
4433 4434 4435 4436 4437
	if (should_retry) {
		should_retry = false;
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
4438
exit:
L
Linus Torvalds 已提交
4439 4440 4441
	return error;
}

M
Miklos Szeredi 已提交
4442 4443 4444 4445 4446 4447
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
	return sys_renameat2(olddfd, oldname, newdfd, newname, 0);
}

4448
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4449
{
M
Miklos Szeredi 已提交
4450
	return sys_renameat2(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4451 4452
}

M
Miklos Szeredi 已提交
4453 4454 4455 4456 4457 4458 4459 4460 4461 4462 4463 4464 4465 4466
int vfs_whiteout(struct inode *dir, struct dentry *dentry)
{
	int error = may_create(dir, dentry);
	if (error)
		return error;

	if (!dir->i_op->mknod)
		return -EPERM;

	return dir->i_op->mknod(dir, dentry,
				S_IFCHR | WHITEOUT_MODE, WHITEOUT_DEV);
}
EXPORT_SYMBOL(vfs_whiteout);

A
Al Viro 已提交
4467
int readlink_copy(char __user *buffer, int buflen, const char *link)
L
Linus Torvalds 已提交
4468
{
A
Al Viro 已提交
4469
	int len = PTR_ERR(link);
L
Linus Torvalds 已提交
4470 4471 4472 4473 4474 4475 4476 4477 4478 4479 4480
	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
Al Viro 已提交
4481
EXPORT_SYMBOL(readlink_copy);
L
Linus Torvalds 已提交
4482 4483 4484 4485 4486 4487 4488 4489

/*
 * 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)
{
4490
	void *cookie;
4491
	const char *link = dentry->d_inode->i_link;
4492
	int res;
4493

4494 4495 4496 4497 4498
	if (!link) {
		link = dentry->d_inode->i_op->follow_link(dentry, &cookie, NULL);
		if (IS_ERR(link))
			return PTR_ERR(link);
	}
4499 4500 4501
	res = readlink_copy(buffer, buflen, link);
	if (cookie && dentry->d_inode->i_op->put_link)
		dentry->d_inode->i_op->put_link(dentry, cookie);
4502
	return res;
L
Linus Torvalds 已提交
4503
}
4504
EXPORT_SYMBOL(generic_readlink);
L
Linus Torvalds 已提交
4505 4506 4507 4508

/* get the link contents into pagecache */
static char *page_getlink(struct dentry * dentry, struct page **ppage)
{
4509 4510
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
4511
	struct address_space *mapping = dentry->d_inode->i_mapping;
4512
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
4513
	if (IS_ERR(page))
4514
		return (char*)page;
L
Linus Torvalds 已提交
4515
	*ppage = page;
4516 4517 4518
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
4519 4520 4521 4522 4523
}

int page_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
	struct page *page = NULL;
A
Al Viro 已提交
4524
	int res = readlink_copy(buffer, buflen, page_getlink(dentry, &page));
L
Linus Torvalds 已提交
4525 4526 4527 4528 4529 4530
	if (page) {
		kunmap(page);
		page_cache_release(page);
	}
	return res;
}
4531
EXPORT_SYMBOL(page_readlink);
L
Linus Torvalds 已提交
4532

4533
const char *page_follow_link_light(struct dentry *dentry, void **cookie, struct nameidata *nd)
L
Linus Torvalds 已提交
4534
{
4535
	struct page *page = NULL;
4536 4537 4538 4539
	char *res = page_getlink(dentry, &page);
	if (!IS_ERR(res))
		*cookie = page;
	return res;
L
Linus Torvalds 已提交
4540
}
4541
EXPORT_SYMBOL(page_follow_link_light);
L
Linus Torvalds 已提交
4542

4543
void page_put_link(struct dentry *dentry, void *cookie)
L
Linus Torvalds 已提交
4544
{
4545
	struct page *page = cookie;
4546 4547
	kunmap(page);
	page_cache_release(page);
L
Linus Torvalds 已提交
4548
}
4549
EXPORT_SYMBOL(page_put_link);
L
Linus Torvalds 已提交
4550

4551 4552 4553 4554
/*
 * 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 已提交
4555 4556
{
	struct address_space *mapping = inode->i_mapping;
4557
	struct page *page;
4558
	void *fsdata;
4559
	int err;
L
Linus Torvalds 已提交
4560
	char *kaddr;
4561 4562 4563
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
4564

4565
retry:
4566
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
4567
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
4568
	if (err)
4569 4570
		goto fail;

4571
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
4572
	memcpy(kaddr, symname, len-1);
4573
	kunmap_atomic(kaddr);
4574 4575 4576

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4577 4578
	if (err < 0)
		goto fail;
4579 4580 4581
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4582 4583 4584 4585 4586
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}
4587
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4588

4589 4590 4591
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4592
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
4593
}
4594
EXPORT_SYMBOL(page_symlink);
4595

4596
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
4597 4598 4599 4600 4601
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};
EXPORT_SYMBOL(page_symlink_inode_operations);