namei.c 113.0 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
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)
{
531
	struct saved *p = kmalloc(MAXSYMLINKS * sizeof(struct saved),
532 533 534 535 536 537 538 539 540 541
				  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
{
A
Al Viro 已提交
757
	struct saved *last = nd->stack + --nd->depth;
758 759 760 761
	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
		path_put(&nd->link);
		return ERR_PTR(-ELOOP);
	}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A
Al Viro 已提交
1047 1048
}

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

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

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

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

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

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

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

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

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

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

		if (!d_mountpoint(path->dentry))
1166
			return !(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1167

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

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

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

1202
			inode = parent->d_inode;
N
Nick Piggin 已提交
1203 1204
			seq = read_seqcount_begin(&parent->d_seq);
			if (read_seqcount_retry(&old->d_seq, nd->seq))
1205
				goto failed;
N
Nick Piggin 已提交
1206 1207 1208 1209 1210 1211
			nd->path.dentry = parent;
			nd->seq = seq;
			break;
		}
		if (!follow_up_rcu(&nd->path))
			break;
1212
		inode = nd->path.dentry->d_inode;
N
Nick Piggin 已提交
1213 1214
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
	}
1215 1216 1217 1218 1219 1220 1221
	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;
1222
		inode = nd->path.dentry->d_inode;
1223
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
1224
		if (read_seqretry(&mount_lock, nd->m_seq))
1225 1226
			goto failed;
	}
1227
	nd->inode = inode;
N
Nick Piggin 已提交
1228
	return 0;
1229 1230 1231

failed:
	return -ECHILD;
N
Nick Piggin 已提交
1232 1233
}

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

1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299
/*
 * 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 已提交
1300
static void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1301
{
1302 1303
	if (!nd->root.mnt)
		set_root(nd);
1304

L
Linus Torvalds 已提交
1305
	while(1) {
1306
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
1307

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

1325
/*
M
Miklos Szeredi 已提交
1326 1327 1328 1329 1330
 * 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
1331
 */
M
Miklos Szeredi 已提交
1332
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
1333
				    unsigned int flags, bool *need_lookup)
1334 1335
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1336
	int error;
1337

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

M
Miklos Szeredi 已提交
1356 1357 1358 1359
	if (!dentry) {
		dentry = d_alloc(dir, name);
		if (unlikely(!dentry))
			return ERR_PTR(-ENOMEM);
1360

M
Miklos Szeredi 已提交
1361
		*need_lookup = true;
1362 1363 1364 1365
	}
	return dentry;
}

1366
/*
1367 1368
 * Call i_op->lookup on the dentry.  The dentry must be negative and
 * unhashed.
M
Miklos Szeredi 已提交
1369 1370
 *
 * dir->d_inode->i_mutex must be held
1371
 */
M
Miklos Szeredi 已提交
1372
static struct dentry *lookup_real(struct inode *dir, struct dentry *dentry,
1373
				  unsigned int flags)
1374 1375 1376 1377
{
	struct dentry *old;

	/* Don't create child dentry for a dead directory. */
M
Miklos Szeredi 已提交
1378
	if (unlikely(IS_DEADDIR(dir))) {
1379
		dput(dentry);
1380
		return ERR_PTR(-ENOENT);
1381
	}
1382

1383
	old = dir->i_op->lookup(dir, dentry, flags);
1384 1385 1386 1387 1388 1389 1390
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
}

1391
static struct dentry *__lookup_hash(struct qstr *name,
1392
		struct dentry *base, unsigned int flags)
1393
{
M
Miklos Szeredi 已提交
1394
	bool need_lookup;
1395 1396
	struct dentry *dentry;

1397
	dentry = lookup_dcache(name, base, flags, &need_lookup);
M
Miklos Szeredi 已提交
1398 1399
	if (!need_lookup)
		return dentry;
1400

1401
	return lookup_real(base->d_inode, dentry, flags);
1402 1403
}

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

1418 1419 1420 1421 1422
	/*
	 * 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 已提交
1423 1424
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1425
		bool negative;
1426
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1427 1428 1429
		if (!dentry)
			goto unlazy;

1430 1431 1432 1433 1434
		/*
		 * This sequence count validates that the inode matches
		 * the dentry name information from lookup.
		 */
		*inode = dentry->d_inode;
1435
		negative = d_is_negative(dentry);
1436 1437
		if (read_seqcount_retry(&dentry->d_seq, seq))
			return -ECHILD;
1438 1439
		if (negative)
			return -ENOENT;
1440 1441 1442 1443 1444 1445 1446 1447

		/*
		 * 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 已提交
1448 1449 1450
		if (__read_seqcount_retry(&parent->d_seq, nd->seq))
			return -ECHILD;
		nd->seq = seq;
A
Al Viro 已提交
1451

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

1471 1472 1473
	if (unlikely(!dentry))
		goto need_lookup;

A
Al Viro 已提交
1474
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE) && need_reval)
1475
		status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1476 1477 1478 1479 1480
	if (unlikely(status <= 0)) {
		if (status < 0) {
			dput(dentry);
			return status;
		}
1481 1482 1483
		d_invalidate(dentry);
		dput(dentry);
		goto need_lookup;
1484
	}
M
Miklos Szeredi 已提交
1485

1486 1487 1488 1489
	if (unlikely(d_is_negative(dentry))) {
		dput(dentry);
		return -ENOENT;
	}
1490 1491 1492
	path->mnt = mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
1493 1494
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
1495
		return err;
1496
	}
1497 1498
	if (err)
		nd->flags |= LOOKUP_JUMPED;
1499
	*inode = path->dentry->d_inode;
L
Linus Torvalds 已提交
1500
	return 0;
1501 1502

need_lookup:
M
Miklos Szeredi 已提交
1503 1504 1505 1506
	return 1;
}

/* Fast lookup failed, do it the slow way */
A
Al Viro 已提交
1507
static int lookup_slow(struct nameidata *nd, struct path *path)
M
Miklos Szeredi 已提交
1508 1509 1510 1511 1512
{
	struct dentry *dentry, *parent;
	int err;

	parent = nd->path.dentry;
1513 1514 1515
	BUG_ON(nd->inode != parent->d_inode);

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

1532 1533 1534
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1535
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1536 1537
		if (err != -ECHILD)
			return err;
A
Al Viro 已提交
1538
		if (unlazy_walk(nd, NULL))
1539 1540
			return -ECHILD;
	}
1541
	return inode_permission(nd->inode, MAY_EXEC);
1542 1543
}

1544 1545 1546 1547
static inline int handle_dots(struct nameidata *nd, int type)
{
	if (type == LAST_DOTDOT) {
		if (nd->flags & LOOKUP_RCU) {
1548
			return follow_dotdot_rcu(nd);
1549 1550 1551 1552 1553 1554
		} else
			follow_dotdot(nd);
	}
	return 0;
}

1555 1556 1557 1558 1559 1560
static void terminate_walk(struct nameidata *nd)
{
	if (!(nd->flags & LOOKUP_RCU)) {
		path_put(&nd->path);
	} else {
		nd->flags &= ~LOOKUP_RCU;
1561 1562
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
A
Al Viro 已提交
1563
		rcu_read_unlock();
1564 1565 1566
	}
}

1567 1568 1569 1570 1571 1572
/*
 * 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.
 */
1573
static inline int should_follow_link(struct dentry *dentry, int follow)
1574
{
1575
	return unlikely(d_is_symlink(dentry)) ? follow : 0;
1576 1577
}

A
Al Viro 已提交
1578
static int walk_component(struct nameidata *nd, int follow)
1579
{
A
Al Viro 已提交
1580
	struct path path;
1581 1582 1583 1584 1585 1586 1587
	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.
	 */
1588 1589
	if (unlikely(nd->last_type != LAST_NORM))
		return handle_dots(nd, nd->last_type);
A
Al Viro 已提交
1590
	err = lookup_fast(nd, &path, &inode);
1591
	if (unlikely(err)) {
M
Miklos Szeredi 已提交
1592
		if (err < 0)
1593
			return err;
M
Miklos Szeredi 已提交
1594

A
Al Viro 已提交
1595
		err = lookup_slow(nd, &path);
M
Miklos Szeredi 已提交
1596
		if (err < 0)
1597
			return err;
M
Miklos Szeredi 已提交
1598

A
Al Viro 已提交
1599
		inode = path.dentry->d_inode;
1600
		err = -ENOENT;
A
Al Viro 已提交
1601
		if (d_is_negative(path.dentry))
1602
			goto out_path_put;
1603
	}
M
Miklos Szeredi 已提交
1604

A
Al Viro 已提交
1605
	if (should_follow_link(path.dentry, follow)) {
A
Al Viro 已提交
1606
		if (nd->flags & LOOKUP_RCU) {
A
Al Viro 已提交
1607 1608
			if (unlikely(nd->path.mnt != path.mnt ||
				     unlazy_walk(nd, path.dentry))) {
1609
				return -ECHILD;
A
Al Viro 已提交
1610 1611
			}
		}
A
Al Viro 已提交
1612 1613
		BUG_ON(inode != path.dentry->d_inode);
		nd->link = path;
1614 1615
		return 1;
	}
A
Al Viro 已提交
1616
	path_to_nameidata(&path, nd);
1617 1618
	nd->inode = inode;
	return 0;
M
Miklos Szeredi 已提交
1619 1620

out_path_put:
A
Al Viro 已提交
1621
	path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
1622
	return err;
1623 1624
}

1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643
/*
 * 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

1644
#include <asm/word-at-a-time.h>
1645

1646
#ifdef CONFIG_64BIT
1647 1648 1649

static inline unsigned int fold_hash(unsigned long hash)
{
1650
	return hash_64(hash, 32);
1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664
}

#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 (;;) {
1665
		a = load_unaligned_zeropad(name);
1666 1667 1668
		if (len < sizeof(unsigned long))
			break;
		hash += a;
1669
		hash *= 9;
1670 1671 1672 1673 1674
		name += sizeof(unsigned long);
		len -= sizeof(unsigned long);
		if (!len)
			goto done;
	}
1675
	mask = bytemask_from_count(len);
1676 1677 1678 1679 1680 1681 1682 1683
	hash += mask & a;
done:
	return fold_hash(hash);
}
EXPORT_SYMBOL(full_name_hash);

/*
 * Calculate the length and hash of the path component, and
1684
 * return the "hash_len" as the result.
1685
 */
1686
static inline u64 hash_name(const char *name)
1687
{
1688 1689
	unsigned long a, b, adata, bdata, mask, hash, len;
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;
1690 1691 1692 1693 1694 1695

	hash = a = 0;
	len = -sizeof(unsigned long);
	do {
		hash = (hash + a) * 9;
		len += sizeof(unsigned long);
1696
		a = load_unaligned_zeropad(name+len);
1697 1698 1699 1700 1701 1702 1703 1704 1705
		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);
1706
	len += find_zero(mask);
1707
	return hashlen_create(fold_hash(hash), len);
1708 1709 1710 1711
}

#else

L
Linus Torvalds 已提交
1712 1713 1714 1715 1716 1717 1718
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);
}
1719
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1720

1721 1722 1723 1724
/*
 * We know there's a real path component here of at least
 * one character.
 */
1725
static inline u64 hash_name(const char *name)
1726 1727 1728 1729 1730 1731 1732 1733 1734 1735
{
	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 != '/');
1736
	return hashlen_create(end_name_hash(hash), len);
1737 1738
}

1739 1740
#endif

L
Linus Torvalds 已提交
1741 1742
/*
 * Name resolution.
1743 1744
 * 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 已提交
1745
 *
1746 1747
 * 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 已提交
1748
 */
1749
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1750 1751
{
	int err;
A
Al Viro 已提交
1752

L
Linus Torvalds 已提交
1753 1754 1755
	while (*name=='/')
		name++;
	if (!*name)
1756
		return 0;
L
Linus Torvalds 已提交
1757 1758 1759

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

1763
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1764 1765 1766
 		if (err)
			break;

1767
		hash_len = hash_name(name);
L
Linus Torvalds 已提交
1768

A
Al Viro 已提交
1769
		type = LAST_NORM;
1770
		if (name[0] == '.') switch (hashlen_len(hash_len)) {
A
Al Viro 已提交
1771
			case 2:
1772
				if (name[1] == '.') {
A
Al Viro 已提交
1773
					type = LAST_DOTDOT;
A
Al Viro 已提交
1774 1775
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
1776 1777 1778 1779
				break;
			case 1:
				type = LAST_DOT;
		}
1780 1781
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
1782
			nd->flags &= ~LOOKUP_JUMPED;
1783
			if (unlikely(parent->d_flags & DCACHE_OP_HASH)) {
1784
				struct qstr this = { { .hash_len = hash_len }, .name = name };
1785
				err = parent->d_op->d_hash(parent, &this);
1786 1787
				if (err < 0)
					break;
1788 1789
				hash_len = this.hash_len;
				name = this.name;
1790 1791
			}
		}
A
Al Viro 已提交
1792

1793 1794
		nd->last.hash_len = hash_len;
		nd->last.name = name;
1795 1796
		nd->last_type = type;

1797 1798
		name += hashlen_len(hash_len);
		if (!*name)
1799
			goto OK;
1800 1801 1802 1803 1804
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
1805 1806 1807
			name++;
		} while (unlikely(*name == '/'));
		if (!*name)
1808
			goto OK;
1809

A
Al Viro 已提交
1810
		err = walk_component(nd, LOOKUP_FOLLOW);
A
Al Viro 已提交
1811
Walked:
1812
		if (err < 0)
1813
			break;
L
Linus Torvalds 已提交
1814

1815
		if (err) {
1816 1817
			const char *s;

1818 1819 1820 1821
			err = nd_alloc_stack(nd);
			if (unlikely(err)) {
				path_to_nameidata(&nd->link, nd);
				break;
1822 1823
			}

1824
			s = get_link(nd);
1825

1826 1827
			if (unlikely(IS_ERR(s))) {
				err = PTR_ERR(s);
1828
				break;
1829 1830 1831 1832
			}
			err = 0;
			if (unlikely(!s)) {
				/* jumped */
1833
				put_link(nd);
1834 1835 1836 1837 1838 1839 1840 1841
			} 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;
1842 1843
					while (unlikely(*++s == '/'))
						;
1844
				}
1845
				nd->inode = nd->path.dentry->d_inode;
1846
				nd->stack[nd->depth - 1].name = name;
1847 1848
				if (!*s)
					goto OK;
A
Al Viro 已提交
1849
				name = s;
1850
				continue;
1851
			}
N
Nick Piggin 已提交
1852
		}
M
Miklos Szeredi 已提交
1853
		if (!d_can_lookup(nd->path.dentry)) {
A
Al Viro 已提交
1854
			err = -ENOTDIR;
1855 1856
			break;
		}
L
Linus Torvalds 已提交
1857
	}
1858
	terminate_walk(nd);
1859
	while (unlikely(nd->depth))
1860
		put_link(nd);
1861
	return err;
1862
OK:
1863 1864 1865 1866 1867 1868 1869 1870 1871
	if (!nd->depth)		/* called from path_init(), done */
		return 0;
	name = nd->stack[nd->depth - 1].name;
	if (!name)		/* called from trailing_symlink(), done */
		return 0;

	err = walk_component(nd, LOOKUP_FOLLOW);
	put_link(nd);
	goto Walked;
L
Linus Torvalds 已提交
1872 1873
}

A
Al Viro 已提交
1874
static int path_init(int dfd, const struct filename *name, unsigned int flags,
1875
		     struct nameidata *nd)
N
Nick Piggin 已提交
1876 1877
{
	int retval = 0;
A
Al Viro 已提交
1878
	const char *s = name->name;
N
Nick Piggin 已提交
1879 1880

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
1881
	nd->flags = flags | LOOKUP_JUMPED | LOOKUP_PARENT;
N
Nick Piggin 已提交
1882
	nd->depth = 0;
1883
	nd->base = NULL;
1884
	if (flags & LOOKUP_ROOT) {
1885 1886
		struct dentry *root = nd->root.dentry;
		struct inode *inode = root->d_inode;
A
Al Viro 已提交
1887
		if (*s) {
M
Miklos Szeredi 已提交
1888
			if (!d_can_lookup(root))
A
Al Viro 已提交
1889 1890 1891 1892 1893
				return -ENOTDIR;
			retval = inode_permission(inode, MAY_EXEC);
			if (retval)
				return retval;
		}
1894 1895 1896
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1897
			rcu_read_lock();
1898
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1899
			nd->m_seq = read_seqbegin(&mount_lock);
1900 1901 1902
		} else {
			path_get(&nd->path);
		}
1903
		goto done;
1904 1905
	}

N
Nick Piggin 已提交
1906 1907
	nd->root.mnt = NULL;

A
Al Viro 已提交
1908
	nd->m_seq = read_seqbegin(&mount_lock);
A
Al Viro 已提交
1909
	if (*s == '/') {
A
Al Viro 已提交
1910
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1911
			rcu_read_lock();
1912
			nd->seq = set_root_rcu(nd);
A
Al Viro 已提交
1913 1914 1915 1916 1917
		} else {
			set_root(nd);
			path_get(&nd->root);
		}
		nd->path = nd->root;
N
Nick Piggin 已提交
1918
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1919 1920 1921
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
1922

A
Al Viro 已提交
1923
			rcu_read_lock();
N
Nick Piggin 已提交
1924

A
Al Viro 已提交
1925 1926 1927 1928 1929 1930 1931 1932
			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 已提交
1933
	} else {
1934
		/* Caller must check execute permissions on the starting path component */
1935
		struct fd f = fdget_raw(dfd);
N
Nick Piggin 已提交
1936 1937
		struct dentry *dentry;

1938 1939
		if (!f.file)
			return -EBADF;
N
Nick Piggin 已提交
1940

1941
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
1942

A
Al Viro 已提交
1943
		if (*s) {
M
Miklos Szeredi 已提交
1944
			if (!d_can_lookup(dentry)) {
1945 1946 1947
				fdput(f);
				return -ENOTDIR;
			}
A
Al Viro 已提交
1948
		}
N
Nick Piggin 已提交
1949

1950
		nd->path = f.file->f_path;
A
Al Viro 已提交
1951
		if (flags & LOOKUP_RCU) {
1952
			if (f.flags & FDPUT_FPUT)
1953
				nd->base = f.file;
A
Al Viro 已提交
1954
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1955
			rcu_read_lock();
A
Al Viro 已提交
1956
		} else {
1957 1958
			path_get(&nd->path);
			fdput(f);
A
Al Viro 已提交
1959
		}
N
Nick Piggin 已提交
1960 1961 1962
	}

	nd->inode = nd->path.dentry->d_inode;
1963
	if (!(flags & LOOKUP_RCU))
1964
		goto done;
1965
	if (likely(!read_seqcount_retry(&nd->path.dentry->d_seq, nd->seq)))
1966
		goto done;
1967 1968 1969 1970
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
	rcu_read_unlock();
	return -ECHILD;
1971 1972
done:
	current->total_link_count = 0;
1973
	return link_path_walk(s, nd);
1974 1975
}

A
Al Viro 已提交
1976 1977 1978 1979 1980 1981 1982 1983
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);
1984 1985
}

1986
static int trailing_symlink(struct nameidata *nd)
1987 1988
{
	const char *s;
1989
	int error = may_follow_link(&nd->link, nd);
1990 1991 1992
	if (unlikely(error))
		return error;
	nd->flags |= LOOKUP_PARENT;
1993
	s = get_link(nd);
1994 1995
	if (unlikely(IS_ERR(s))) {
		terminate_walk(nd);
1996
		return PTR_ERR(s);
1997
	}
1998
	if (unlikely(!s))
1999 2000 2001 2002 2003 2004 2005 2006 2007 2008
		return 0;
	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;
2009
	nd->stack[0].name = NULL;
2010
	return link_path_walk(s, nd);
2011 2012
}

A
Al Viro 已提交
2013
static inline int lookup_last(struct nameidata *nd)
2014
{
2015
	int err;
2016 2017 2018 2019
	if (nd->last_type == LAST_NORM && nd->last.name[nd->last.len])
		nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;

	nd->flags &= ~LOOKUP_PARENT;
2020 2021 2022 2023
	err = walk_component(nd, nd->flags & LOOKUP_FOLLOW);
	if (err < 0)
		terminate_walk(nd);
	return err;
2024 2025
}

2026
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2027
static int path_lookupat(int dfd, const struct filename *name,
2028 2029
				unsigned int flags, struct nameidata *nd)
{
2030
	int err;
N
Nick Piggin 已提交
2031 2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042 2043 2044 2045

	/*
	 * 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 已提交
2046
	err = path_init(dfd, name, flags, nd);
2047
	if (!err && !(flags & LOOKUP_PARENT)) {
A
Al Viro 已提交
2048
		err = lookup_last(nd);
2049
		while (err > 0) {
2050
			err = trailing_symlink(nd);
2051 2052
			if (err)
				break;
A
Al Viro 已提交
2053
			err = lookup_last(nd);
2054
			put_link(nd);
2055 2056
		}
	}
A
Al Viro 已提交
2057

2058 2059
	if (!err)
		err = complete_walk(nd);
2060 2061

	if (!err && nd->flags & LOOKUP_DIRECTORY) {
M
Miklos Szeredi 已提交
2062
		if (!d_can_lookup(nd->path.dentry)) {
2063
			path_put(&nd->path);
A
Al Viro 已提交
2064
			err = -ENOTDIR;
2065 2066
		}
	}
A
Al Viro 已提交
2067

A
Al Viro 已提交
2068
	path_cleanup(nd);
2069
	return err;
A
Al Viro 已提交
2070
}
N
Nick Piggin 已提交
2071

2072
static int filename_lookup(int dfd, struct filename *name,
A
Al Viro 已提交
2073 2074
				unsigned int flags, struct nameidata *nd)
{
2075 2076 2077 2078 2079
	int retval;

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

A
Al Viro 已提交
2080
	if (unlikely(retval == -ECHILD))
2081
		retval = path_lookupat(dfd, name, flags, nd);
A
Al Viro 已提交
2082
	if (unlikely(retval == -ESTALE))
2083
		retval = path_lookupat(dfd, name, flags | LOOKUP_REVAL, nd);
N
Nick Piggin 已提交
2084

2085
	if (likely(!retval))
2086
		audit_inode(name, nd->path.dentry, flags & LOOKUP_PARENT);
2087
	restore_nameidata(nd);
2088
	return retval;
L
Linus Torvalds 已提交
2089 2090
}

A
Al Viro 已提交
2091 2092
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2093
{
2094
	struct filename *filename = getname_kernel(name);
A
Al Viro 已提交
2095 2096
	struct nameidata nd;
	struct dentry *d;
2097 2098 2099 2100 2101 2102 2103 2104 2105 2106
	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 已提交
2107 2108
	if (nd.last_type != LAST_NORM) {
		path_put(&nd.path);
2109 2110
		d = ERR_PTR(-EINVAL);
		goto out;
A
Al Viro 已提交
2111 2112
	}
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2113
	d = __lookup_hash(&nd.last, nd.path.dentry, 0);
A
Al Viro 已提交
2114 2115 2116
	if (IS_ERR(d)) {
		mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
		path_put(&nd.path);
2117
		goto out;
A
Al Viro 已提交
2118 2119
	}
	*path = nd.path;
2120 2121
out:
	putname(filename);
A
Al Viro 已提交
2122
	return d;
2123 2124
}

A
Al Viro 已提交
2125 2126 2127
int kern_path(const char *name, unsigned int flags, struct path *path)
{
	struct nameidata nd;
2128 2129 2130 2131 2132 2133 2134 2135 2136
	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 已提交
2137 2138
	return res;
}
2139
EXPORT_SYMBOL(kern_path);
A
Al Viro 已提交
2140

2141 2142 2143 2144 2145 2146
/**
 * 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
2147
 * @path: pointer to struct path to fill
2148 2149 2150
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2151
		    struct path *path)
2152
{
2153 2154 2155
	struct filename *filename = getname_kernel(name);
	int err = PTR_ERR(filename);

2156
	BUG_ON(flags & LOOKUP_PARENT);
2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168

	/* 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);
	}
2169
	return err;
2170
}
2171
EXPORT_SYMBOL(vfs_path_lookup);
2172

2173
/**
2174
 * lookup_one_len - filesystem helper to lookup single pathname component
2175 2176 2177 2178
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
2179
 * Note that this routine is purely a helper for filesystem usage and should
2180
 * not be called by generic code.
2181
 */
2182 2183 2184
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
2185
	unsigned int c;
2186
	int err;
2187

2188 2189
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2190 2191
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2192
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2193 2194 2195
	if (!len)
		return ERR_PTR(-EACCES);

A
Al Viro 已提交
2196 2197 2198 2199 2200
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
			return ERR_PTR(-EACCES);
	}

A
Al Viro 已提交
2201 2202 2203 2204 2205
	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2206 2207 2208 2209 2210
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2211
		int err = base->d_op->d_hash(base, &this);
2212 2213 2214
		if (err < 0)
			return ERR_PTR(err);
	}
2215

2216 2217 2218 2219
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

2220
	return __lookup_hash(&this, base, 0);
2221
}
2222
EXPORT_SYMBOL(lookup_one_len);
2223

2224 2225
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2226
{
2227
	struct nameidata nd;
2228
	struct filename *tmp = getname_flags(name, flags, empty);
L
Linus Torvalds 已提交
2229 2230
	int err = PTR_ERR(tmp);
	if (!IS_ERR(tmp)) {
2231 2232 2233

		BUG_ON(flags & LOOKUP_PARENT);

2234
		err = filename_lookup(dfd, tmp, flags, &nd);
L
Linus Torvalds 已提交
2235
		putname(tmp);
2236 2237
		if (!err)
			*path = nd.path;
L
Linus Torvalds 已提交
2238 2239 2240 2241
	}
	return err;
}

2242 2243 2244
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
{
2245
	return user_path_at_empty(dfd, name, flags, path, NULL);
2246
}
2247
EXPORT_SYMBOL(user_path_at);
2248

2249 2250 2251 2252 2253 2254
/*
 * 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.
 */
2255
static struct filename *
2256 2257 2258 2259
user_path_parent(int dfd, const char __user *path,
		 struct path *parent,
		 struct qstr *last,
		 int *type,
2260
		 unsigned int flags)
2261
{
2262
	struct nameidata nd;
2263
	struct filename *s = getname(path);
2264 2265
	int error;

2266 2267 2268
	/* only LOOKUP_REVAL is allowed in extra flags */
	flags &= LOOKUP_REVAL;

2269
	if (IS_ERR(s))
2270
		return s;
2271

2272
	error = filename_lookup(dfd, s, flags | LOOKUP_PARENT, &nd);
2273
	if (error) {
2274
		putname(s);
2275 2276
		return ERR_PTR(error);
	}
2277 2278 2279
	*parent = nd.path;
	*last = nd.last;
	*type = nd.last_type;
2280

2281
	return s;
2282 2283
}

2284
/**
2285
 * mountpoint_last - look up last component for umount
2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301 2302 2303 2304 2305 2306 2307 2308 2309 2310 2311
 * @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
2312
mountpoint_last(struct nameidata *nd, struct path *path)
2313 2314 2315 2316 2317
{
	int error = 0;
	struct dentry *dentry;
	struct dentry *dir = nd->path.dentry;

2318 2319 2320 2321 2322 2323
	/* 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;
		}
2324 2325 2326 2327 2328 2329
	}

	nd->flags &= ~LOOKUP_PARENT;

	if (unlikely(nd->last_type != LAST_NORM)) {
		error = handle_dots(nd, nd->last_type);
2330 2331 2332 2333
		if (error)
			goto out;
		dentry = dget(nd->path.dentry);
		goto done;
2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346
	}

	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;
2347
			mutex_unlock(&dir->d_inode->i_mutex);
2348
			goto out;
2349
		}
2350 2351
		dentry = lookup_real(dir->d_inode, dentry, nd->flags);
		error = PTR_ERR(dentry);
2352 2353
		if (IS_ERR(dentry)) {
			mutex_unlock(&dir->d_inode->i_mutex);
2354
			goto out;
2355
		}
2356 2357 2358
	}
	mutex_unlock(&dir->d_inode->i_mutex);

2359
done:
2360
	if (d_is_negative(dentry)) {
2361 2362 2363
		error = -ENOENT;
		dput(dentry);
		goto out;
2364
	}
2365
	path->dentry = dentry;
2366
	path->mnt = nd->path.mnt;
A
Al Viro 已提交
2367 2368
	if (should_follow_link(dentry, nd->flags & LOOKUP_FOLLOW)) {
		nd->link = *path;
2369
		return 1;
A
Al Viro 已提交
2370
	}
2371
	mntget(path->mnt);
2372 2373 2374
	follow_mount(path);
	error = 0;
out:
2375 2376 2377 2378 2379
	terminate_walk(nd);
	return error;
}

/**
2380
 * path_mountpoint - look up a path to be umounted
2381 2382
 * @dfd:	directory file descriptor to start walk from
 * @name:	full pathname to walk
2383
 * @path:	pointer to container for result
2384 2385 2386
 * @flags:	lookup flags
 *
 * Look up the given name, but don't attempt to revalidate the last component.
2387
 * Returns 0 and "path" will be valid on success; Returns error otherwise.
2388 2389
 */
static int
2390
path_mountpoint(int dfd, const struct filename *name, struct path *path,
2391
		struct nameidata *nd, unsigned int flags)
2392
{
2393
	int err = path_init(dfd, name, flags, nd);
2394
	if (unlikely(err))
2395
		goto out;
2396

2397
	err = mountpoint_last(nd, path);
2398
	while (err > 0) {
2399
		err = trailing_symlink(nd);
2400 2401
		if (err)
			break;
2402
		err = mountpoint_last(nd, path);
2403
		put_link(nd);
2404 2405
	}
out:
2406
	path_cleanup(nd);
2407 2408 2409
	return err;
}

A
Al Viro 已提交
2410
static int
2411
filename_mountpoint(int dfd, struct filename *name, struct path *path,
A
Al Viro 已提交
2412 2413
			unsigned int flags)
{
2414
	struct nameidata nd;
2415
	int error;
2416 2417
	if (IS_ERR(name))
		return PTR_ERR(name);
2418
	set_nameidata(&nd);
2419
	error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_RCU);
A
Al Viro 已提交
2420
	if (unlikely(error == -ECHILD))
2421
		error = path_mountpoint(dfd, name, path, &nd, flags);
A
Al Viro 已提交
2422
	if (unlikely(error == -ESTALE))
2423
		error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_REVAL);
A
Al Viro 已提交
2424
	if (likely(!error))
2425
		audit_inode(name, path->dentry, 0);
2426
	restore_nameidata(&nd);
2427
	putname(name);
A
Al Viro 已提交
2428 2429 2430
	return error;
}

2431
/**
2432
 * user_path_mountpoint_at - lookup a path from userland in order to umount it
2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445
 * @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
2446
user_path_mountpoint_at(int dfd, const char __user *name, unsigned int flags,
2447 2448
			struct path *path)
{
2449
	return filename_mountpoint(dfd, getname(name), path, flags);
2450 2451
}

A
Al Viro 已提交
2452 2453 2454 2455
int
kern_path_mountpoint(int dfd, const char *name, struct path *path,
			unsigned int flags)
{
2456
	return filename_mountpoint(dfd, getname_kernel(name), path, flags);
A
Al Viro 已提交
2457 2458 2459
}
EXPORT_SYMBOL(kern_path_mountpoint);

M
Miklos Szeredi 已提交
2460
int __check_sticky(struct inode *dir, struct inode *inode)
L
Linus Torvalds 已提交
2461
{
2462
	kuid_t fsuid = current_fsuid();
2463

2464
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2465
		return 0;
2466
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2467
		return 0;
2468
	return !capable_wrt_inode_uidgid(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2469
}
M
Miklos Szeredi 已提交
2470
EXPORT_SYMBOL(__check_sticky);
L
Linus Torvalds 已提交
2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490

/*
 *	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().
 */
2491
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2492
{
2493
	struct inode *inode = victim->d_inode;
L
Linus Torvalds 已提交
2494 2495
	int error;

2496
	if (d_is_negative(victim))
L
Linus Torvalds 已提交
2497
		return -ENOENT;
2498
	BUG_ON(!inode);
L
Linus Torvalds 已提交
2499 2500

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

2503
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2504 2505 2506 2507
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
2508 2509 2510

	if (check_sticky(dir, inode) || IS_APPEND(inode) ||
	    IS_IMMUTABLE(inode) || IS_SWAPFILE(inode))
L
Linus Torvalds 已提交
2511 2512
		return -EPERM;
	if (isdir) {
M
Miklos Szeredi 已提交
2513
		if (!d_is_dir(victim))
L
Linus Torvalds 已提交
2514 2515 2516
			return -ENOTDIR;
		if (IS_ROOT(victim))
			return -EBUSY;
M
Miklos Szeredi 已提交
2517
	} else if (d_is_dir(victim))
L
Linus Torvalds 已提交
2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528 2529 2530 2531 2532 2533
		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())
 */
2534
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2535
{
2536
	audit_inode_child(dir, child, AUDIT_TYPE_CHILD_CREATE);
L
Linus Torvalds 已提交
2537 2538 2539 2540
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2541
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2542 2543 2544 2545 2546 2547 2548 2549 2550 2551
}

/*
 * 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 已提交
2552
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2553 2554 2555
		return NULL;
	}

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

2558 2559 2560 2561 2562
	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 已提交
2563 2564
	}

2565 2566 2567 2568 2569
	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 已提交
2570 2571
	}

I
Ingo Molnar 已提交
2572
	mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
2573
	mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_PARENT2);
L
Linus Torvalds 已提交
2574 2575
	return NULL;
}
2576
EXPORT_SYMBOL(lock_rename);
L
Linus Torvalds 已提交
2577 2578 2579

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2580
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2581
	if (p1 != p2) {
2582
		mutex_unlock(&p2->d_inode->i_mutex);
2583
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2584 2585
	}
}
2586
EXPORT_SYMBOL(unlock_rename);
L
Linus Torvalds 已提交
2587

A
Al Viro 已提交
2588
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2589
		bool want_excl)
L
Linus Torvalds 已提交
2590
{
2591
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2592 2593 2594
	if (error)
		return error;

A
Al Viro 已提交
2595
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2596 2597 2598 2599 2600 2601
		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 已提交
2602
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2603
	if (!error)
2604
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2605 2606
	return error;
}
2607
EXPORT_SYMBOL(vfs_create);
L
Linus Torvalds 已提交
2608

A
Al Viro 已提交
2609
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2610
{
2611
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2612 2613 2614
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2615 2616 2617 2618
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2619 2620 2621
	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2622 2623
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2624
		return -ELOOP;
C
Christoph Hellwig 已提交
2625 2626 2627 2628 2629 2630
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2631
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
2632
			return -EACCES;
C
Christoph Hellwig 已提交
2633 2634 2635
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2636
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2637
		break;
2638
	}
2639

2640
	error = inode_permission(inode, acc_mode);
2641 2642
	if (error)
		return error;
M
Mimi Zohar 已提交
2643

L
Linus Torvalds 已提交
2644 2645 2646 2647
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2648
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2649
			return -EPERM;
L
Linus Torvalds 已提交
2650
		if (flag & O_TRUNC)
2651
			return -EPERM;
L
Linus Torvalds 已提交
2652 2653 2654
	}

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

2658
	return 0;
2659
}
L
Linus Torvalds 已提交
2660

2661
static int handle_truncate(struct file *filp)
2662
{
2663
	struct path *path = &filp->f_path;
2664 2665 2666 2667 2668 2669 2670
	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.
	 */
2671
	error = locks_verify_locked(filp);
2672
	if (!error)
2673
		error = security_path_truncate(path);
2674 2675 2676
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2677
				    filp);
2678 2679
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2680
	return error;
L
Linus Torvalds 已提交
2681 2682
}

2683 2684
static inline int open_to_namei_flags(int flag)
{
2685 2686
	if ((flag & O_ACCMODE) == 3)
		flag--;
2687 2688 2689
	return flag;
}

M
Miklos Szeredi 已提交
2690 2691 2692 2693 2694 2695 2696 2697 2698 2699 2700 2701 2702
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);
}

2703 2704 2705 2706 2707 2708 2709 2710 2711 2712 2713 2714 2715
/*
 * 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.
 */
2716 2717 2718
static int atomic_open(struct nameidata *nd, struct dentry *dentry,
			struct path *path, struct file *file,
			const struct open_flags *op,
2719
			bool got_write, bool need_lookup,
2720
			int *opened)
M
Miklos Szeredi 已提交
2721 2722 2723 2724 2725 2726 2727 2728
{
	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;
2729
	bool excl;
M
Miklos Szeredi 已提交
2730 2731 2732 2733 2734

	BUG_ON(dentry->d_inode);

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

2739
	mode = op->mode;
M
Miklos Szeredi 已提交
2740 2741 2742
	if ((open_flag & O_CREAT) && !IS_POSIXACL(dir))
		mode &= ~current_umask();

2743 2744
	excl = (open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT);
	if (excl)
M
Miklos Szeredi 已提交
2745 2746 2747 2748 2749 2750 2751 2752 2753 2754 2755
		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).
	 */
2756 2757 2758
	if (((open_flag & (O_CREAT | O_TRUNC)) ||
	    (open_flag & O_ACCMODE) != O_RDONLY) && unlikely(!got_write)) {
		if (!(open_flag & O_CREAT)) {
M
Miklos Szeredi 已提交
2759 2760 2761 2762 2763 2764 2765
			/*
			 * 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 */
2766
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2767 2768 2769
			goto no_open;
		} else {
			/* No side effects, safe to clear O_CREAT */
2770
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2771 2772 2773 2774 2775
			open_flag &= ~O_CREAT;
		}
	}

	if (open_flag & O_CREAT) {
2776
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2777 2778 2779 2780 2781 2782 2783 2784 2785 2786 2787
		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 已提交
2788 2789 2790
	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,
2791
				      opened);
A
Al Viro 已提交
2792 2793 2794
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2795 2796 2797
		goto out;
	}

A
Al Viro 已提交
2798
	if (error) {	/* returned 1, that is */
A
Al Viro 已提交
2799
		if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2800
			error = -EIO;
M
Miklos Szeredi 已提交
2801 2802
			goto out;
		}
A
Al Viro 已提交
2803
		if (file->f_path.dentry) {
M
Miklos Szeredi 已提交
2804
			dput(dentry);
A
Al Viro 已提交
2805
			dentry = file->f_path.dentry;
M
Miklos Szeredi 已提交
2806
		}
2807 2808 2809 2810 2811 2812 2813 2814 2815 2816 2817 2818 2819
		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;
			}
2820
		}
M
Miklos Szeredi 已提交
2821 2822 2823 2824 2825 2826 2827
		goto looked_up;
	}

	/*
	 * We didn't have the inode before the open, so check open permission
	 * here.
	 */
2828 2829 2830 2831 2832 2833
	acc_mode = op->acc_mode;
	if (*opened & FILE_CREATED) {
		WARN_ON(!(open_flag & O_CREAT));
		fsnotify_create(dir, dentry);
		acc_mode = MAY_OPEN;
	}
2834 2835 2836
	error = may_open(&file->f_path, acc_mode, open_flag);
	if (error)
		fput(file);
M
Miklos Szeredi 已提交
2837 2838 2839

out:
	dput(dentry);
2840
	return error;
M
Miklos Szeredi 已提交
2841 2842 2843

no_open:
	if (need_lookup) {
2844
		dentry = lookup_real(dir, dentry, nd->flags);
M
Miklos Szeredi 已提交
2845
		if (IS_ERR(dentry))
2846
			return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2847 2848 2849 2850

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

2851
			error = create_error;
M
Miklos Szeredi 已提交
2852 2853 2854 2855 2856 2857
			if ((open_flag & O_EXCL)) {
				if (!dentry->d_inode)
					goto out;
			} else if (!dentry->d_inode) {
				goto out;
			} else if ((open_flag & O_TRUNC) &&
2858
				   d_is_reg(dentry)) {
M
Miklos Szeredi 已提交
2859 2860 2861 2862 2863 2864 2865 2866
				goto out;
			}
			/* will fail later, go on to get the right error */
		}
	}
looked_up:
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2867
	return 1;
M
Miklos Szeredi 已提交
2868 2869
}

M
Miklos Szeredi 已提交
2870
/*
2871
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2872 2873 2874
 *
 * Must be called with i_mutex held on parent.
 *
2875 2876 2877 2878 2879 2880 2881 2882 2883 2884 2885 2886
 * 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 已提交
2887
 */
2888 2889 2890
static int lookup_open(struct nameidata *nd, struct path *path,
			struct file *file,
			const struct open_flags *op,
2891
			bool got_write, int *opened)
M
Miklos Szeredi 已提交
2892 2893
{
	struct dentry *dir = nd->path.dentry;
2894
	struct inode *dir_inode = dir->d_inode;
M
Miklos Szeredi 已提交
2895 2896
	struct dentry *dentry;
	int error;
2897
	bool need_lookup;
M
Miklos Szeredi 已提交
2898

2899
	*opened &= ~FILE_CREATED;
2900
	dentry = lookup_dcache(&nd->last, dir, nd->flags, &need_lookup);
M
Miklos Szeredi 已提交
2901
	if (IS_ERR(dentry))
2902
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2903

M
Miklos Szeredi 已提交
2904 2905 2906 2907 2908
	/* 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) {
2909
		return atomic_open(nd, dentry, path, file, op, got_write,
2910
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2911 2912
	}

2913 2914 2915
	if (need_lookup) {
		BUG_ON(dentry->d_inode);

2916
		dentry = lookup_real(dir_inode, dentry, nd->flags);
2917
		if (IS_ERR(dentry))
2918
			return PTR_ERR(dentry);
2919 2920
	}

M
Miklos Szeredi 已提交
2921 2922 2923 2924 2925 2926 2927 2928 2929 2930
	/* 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
2931
		 * the 'struct file' in finish_open().
M
Miklos Szeredi 已提交
2932
		 */
2933 2934
		if (!got_write) {
			error = -EROFS;
M
Miklos Szeredi 已提交
2935
			goto out_dput;
2936
		}
2937
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2938 2939 2940
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto out_dput;
A
Al Viro 已提交
2941 2942
		error = vfs_create(dir->d_inode, dentry, mode,
				   nd->flags & LOOKUP_EXCL);
M
Miklos Szeredi 已提交
2943 2944 2945
		if (error)
			goto out_dput;
	}
M
Miklos Szeredi 已提交
2946
out_no_open:
M
Miklos Szeredi 已提交
2947 2948
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2949
	return 1;
M
Miklos Szeredi 已提交
2950 2951 2952

out_dput:
	dput(dentry);
2953
	return error;
M
Miklos Szeredi 已提交
2954 2955
}

N
Nick Piggin 已提交
2956
/*
2957
 * Handle the last step of open()
N
Nick Piggin 已提交
2958
 */
2959
static int do_last(struct nameidata *nd,
2960
		   struct file *file, const struct open_flags *op,
2961
		   int *opened, struct filename *name)
2962
{
2963
	struct dentry *dir = nd->path.dentry;
2964
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
2965
	bool will_truncate = (open_flag & O_TRUNC) != 0;
2966
	bool got_write = false;
A
Al Viro 已提交
2967
	int acc_mode = op->acc_mode;
2968
	struct inode *inode;
2969
	struct path save_parent = { .dentry = NULL, .mnt = NULL };
2970
	struct path path;
2971
	bool retried = false;
A
Al Viro 已提交
2972
	int error;
2973

2974 2975 2976
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

2977
	if (nd->last_type != LAST_NORM) {
2978
		error = handle_dots(nd, nd->last_type);
2979 2980
		if (unlikely(error)) {
			terminate_walk(nd);
2981
			return error;
2982
		}
M
Miklos Szeredi 已提交
2983
		goto finish_open;
2984
	}
2985

2986
	if (!(open_flag & O_CREAT)) {
2987 2988 2989
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
		/* we _can_ be in RCU mode here */
2990
		error = lookup_fast(nd, &path, &inode);
2991 2992 2993 2994
		if (likely(!error))
			goto finish_lookup;

		if (error < 0)
2995
			goto out;
2996 2997

		BUG_ON(nd->inode != dir->d_inode);
2998 2999 3000 3001 3002 3003 3004 3005 3006
	} 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)
3007
			return error;
3008

3009
		audit_inode(name, dir, LOOKUP_PARENT);
3010 3011 3012
		error = -EISDIR;
		/* trailing slashes? */
		if (nd->last.name[nd->last.len])
3013
			goto out;
3014
	}
A
Al Viro 已提交
3015

3016
retry_lookup:
3017 3018 3019 3020 3021 3022 3023 3024 3025 3026
	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.
		 */
	}
3027
	mutex_lock(&dir->d_inode->i_mutex);
3028
	error = lookup_open(nd, &path, file, op, got_write, opened);
M
Miklos Szeredi 已提交
3029
	mutex_unlock(&dir->d_inode->i_mutex);
3030

3031 3032
	if (error <= 0) {
		if (error)
M
Miklos Szeredi 已提交
3033 3034
			goto out;

3035
		if ((*opened & FILE_CREATED) ||
A
Al Viro 已提交
3036
		    !S_ISREG(file_inode(file)->i_mode))
M
Miklos Szeredi 已提交
3037
			will_truncate = false;
M
Miklos Szeredi 已提交
3038

3039
		audit_inode(name, file->f_path.dentry, 0);
M
Miklos Szeredi 已提交
3040 3041
		goto opened;
	}
3042

3043
	if (*opened & FILE_CREATED) {
3044
		/* Don't check for write permission, don't truncate */
3045
		open_flag &= ~O_TRUNC;
M
Miklos Szeredi 已提交
3046
		will_truncate = false;
A
Al Viro 已提交
3047
		acc_mode = MAY_OPEN;
3048
		path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
3049
		goto finish_open_created;
3050 3051 3052
	}

	/*
3053
	 * create/update audit record if it already exists.
3054
	 */
3055 3056
	if (d_is_positive(path.dentry))
		audit_inode(name, path.dentry, 0);
3057

M
Miklos Szeredi 已提交
3058 3059 3060 3061 3062
	/*
	 * If atomic_open() acquired write access it is dropped now due to
	 * possible mount and symlink following (this might be optimized away if
	 * necessary...)
	 */
3063
	if (got_write) {
M
Miklos Szeredi 已提交
3064
		mnt_drop_write(nd->path.mnt);
3065
		got_write = false;
M
Miklos Szeredi 已提交
3066 3067
	}

3068
	error = -EEXIST;
A
Al Viro 已提交
3069
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))
3070 3071
		goto exit_dput;

3072
	error = follow_managed(&path, nd->flags);
3073 3074
	if (error < 0)
		goto exit_dput;
3075

3076 3077 3078
	if (error)
		nd->flags |= LOOKUP_JUMPED;

3079
	BUG_ON(nd->flags & LOOKUP_RCU);
3080
	inode = path.dentry->d_inode;
3081
	error = -ENOENT;
3082 3083
	if (d_is_negative(path.dentry)) {
		path_to_nameidata(&path, nd);
3084
		goto out;
3085
	}
3086
finish_lookup:
3087
	if (should_follow_link(path.dentry, nd->flags & LOOKUP_FOLLOW)) {
3088
		if (nd->flags & LOOKUP_RCU) {
3089 3090
			if (unlikely(nd->path.mnt != path.mnt ||
				     unlazy_walk(nd, path.dentry))) {
3091
				error = -ECHILD;
3092
				goto out;
3093 3094
			}
		}
3095 3096
		BUG_ON(inode != path.dentry->d_inode);
		nd->link = path;
3097
		return 1;
3098
	}
3099

3100 3101
	if (unlikely(d_is_symlink(path.dentry)) && !(open_flag & O_PATH)) {
		path_to_nameidata(&path, nd);
3102 3103 3104 3105
		error = -ELOOP;
		goto out;
	}

3106 3107
	if ((nd->flags & LOOKUP_RCU) || nd->path.mnt != path.mnt) {
		path_to_nameidata(&path, nd);
3108 3109
	} else {
		save_parent.dentry = nd->path.dentry;
3110 3111
		save_parent.mnt = mntget(path.mnt);
		nd->path.dentry = path.dentry;
3112 3113

	}
3114
	nd->inode = inode;
3115
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
3116
finish_open:
3117
	error = complete_walk(nd);
3118 3119
	if (error) {
		path_put(&save_parent);
3120
		return error;
3121
	}
3122
	audit_inode(name, nd->path.dentry, 0);
3123
	error = -EISDIR;
M
Miklos Szeredi 已提交
3124
	if ((open_flag & O_CREAT) && d_is_dir(nd->path.dentry))
3125
		goto out;
3126
	error = -ENOTDIR;
M
Miklos Szeredi 已提交
3127
	if ((nd->flags & LOOKUP_DIRECTORY) && !d_can_lookup(nd->path.dentry))
3128
		goto out;
3129
	if (!d_is_reg(nd->path.dentry))
M
Miklos Szeredi 已提交
3130
		will_truncate = false;
3131

3132 3133 3134
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
3135
			goto out;
3136
		got_write = true;
3137
	}
M
Miklos Szeredi 已提交
3138
finish_open_created:
A
Al Viro 已提交
3139
	error = may_open(&nd->path, acc_mode, open_flag);
3140
	if (error)
3141
		goto out;
M
Miklos Szeredi 已提交
3142 3143 3144 3145 3146 3147

	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 已提交
3148
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
3149
			goto stale_open;
3150
		goto out;
M
Miklos Szeredi 已提交
3151
	}
3152
opened:
3153
	error = open_check_o_direct(file);
3154 3155
	if (error)
		goto exit_fput;
3156
	error = ima_file_check(file, op->acc_mode, *opened);
3157 3158 3159 3160
	if (error)
		goto exit_fput;

	if (will_truncate) {
3161
		error = handle_truncate(file);
3162 3163
		if (error)
			goto exit_fput;
3164
	}
3165
out:
3166
	if (got_write)
3167
		mnt_drop_write(nd->path.mnt);
3168
	path_put(&save_parent);
3169
	terminate_walk(nd);
3170
	return error;
3171 3172

exit_dput:
3173
	path_put_conditional(&path, nd);
3174
	goto out;
3175
exit_fput:
3176 3177
	fput(file);
	goto out;
3178

M
Miklos Szeredi 已提交
3179 3180 3181 3182 3183 3184 3185 3186 3187 3188 3189
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;
3190
	if (got_write) {
M
Miklos Szeredi 已提交
3191
		mnt_drop_write(nd->path.mnt);
3192
		got_write = false;
M
Miklos Szeredi 已提交
3193 3194 3195
	}
	retried = true;
	goto retry_lookup;
3196 3197
}

3198 3199 3200 3201 3202 3203 3204 3205
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;
3206
	int error = path_lookupat(dfd, pathname,
3207 3208 3209 3210 3211 3212 3213 3214 3215 3216 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235
				  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);
3236 3237
	/* Don't check for other permissions, the inode was just created */
	error = may_open(&nd->path, MAY_OPEN, op->open_flag);
3238 3239 3240 3241 3242 3243 3244
	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);
3245
	if (error) {
3246
		fput(file);
3247 3248 3249 3250 3251 3252
	} 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);
	}
3253 3254 3255 3256 3257 3258 3259
out2:
	mnt_drop_write(nd->path.mnt);
out:
	path_put(&nd->path);
	return error;
}

3260
static struct file *path_openat(int dfd, struct filename *pathname,
A
Al Viro 已提交
3261
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
3262
{
A
Al Viro 已提交
3263
	struct file *file;
3264
	int opened = 0;
3265
	int error;
N
Nick Piggin 已提交
3266

A
Al Viro 已提交
3267
	file = get_empty_filp();
3268 3269
	if (IS_ERR(file))
		return file;
N
Nick Piggin 已提交
3270

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

A
Al Viro 已提交
3273
	if (unlikely(file->f_flags & __O_TMPFILE)) {
3274
		error = do_tmpfile(dfd, pathname, nd, flags, op, file, &opened);
A
Al Viro 已提交
3275
		goto out2;
3276 3277
	}

A
Al Viro 已提交
3278
	error = path_init(dfd, pathname, flags, nd);
N
Nick Piggin 已提交
3279
	if (unlikely(error))
3280
		goto out;
L
Linus Torvalds 已提交
3281

3282
	error = do_last(nd, file, op, &opened, pathname);
3283
	while (unlikely(error > 0)) { /* trailing symlink */
A
Al Viro 已提交
3284
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
3285
		error = trailing_symlink(nd);
3286
		if (unlikely(error))
3287
			break;
3288
		error = do_last(nd, file, op, &opened, pathname);
3289
		put_link(nd);
3290
	}
A
Al Viro 已提交
3291
out:
A
Al Viro 已提交
3292
	path_cleanup(nd);
A
Al Viro 已提交
3293
out2:
3294 3295
	if (!(opened & FILE_OPENED)) {
		BUG_ON(!error);
A
Al Viro 已提交
3296
		put_filp(file);
3297
	}
3298 3299 3300 3301 3302 3303 3304 3305 3306 3307
	if (unlikely(error)) {
		if (error == -EOPENSTALE) {
			if (flags & LOOKUP_RCU)
				error = -ECHILD;
			else
				error = -ESTALE;
		}
		file = ERR_PTR(error);
	}
	return file;
L
Linus Torvalds 已提交
3308 3309
}

3310
struct file *do_filp_open(int dfd, struct filename *pathname,
3311
		const struct open_flags *op)
3312
{
A
Al Viro 已提交
3313
	struct nameidata nd;
3314
	int flags = op->lookup_flags;
3315 3316
	struct file *filp;

3317
	set_nameidata(&nd);
A
Al Viro 已提交
3318
	filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_RCU);
3319
	if (unlikely(filp == ERR_PTR(-ECHILD)))
A
Al Viro 已提交
3320
		filp = path_openat(dfd, pathname, &nd, op, flags);
3321
	if (unlikely(filp == ERR_PTR(-ESTALE)))
A
Al Viro 已提交
3322
		filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_REVAL);
3323
	restore_nameidata(&nd);
3324 3325 3326
	return filp;
}

A
Al Viro 已提交
3327
struct file *do_file_open_root(struct dentry *dentry, struct vfsmount *mnt,
3328
		const char *name, const struct open_flags *op)
A
Al Viro 已提交
3329 3330 3331
{
	struct nameidata nd;
	struct file *file;
3332
	struct filename *filename;
3333
	int flags = op->lookup_flags | LOOKUP_ROOT;
A
Al Viro 已提交
3334 3335 3336

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

3339
	if (d_is_symlink(dentry) && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3340 3341
		return ERR_PTR(-ELOOP);

3342 3343 3344 3345 3346
	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 已提交
3347
	if (unlikely(file == ERR_PTR(-ECHILD)))
3348
		file = path_openat(-1, filename, &nd, op, flags);
A
Al Viro 已提交
3349
	if (unlikely(file == ERR_PTR(-ESTALE)))
3350
		file = path_openat(-1, filename, &nd, op, flags | LOOKUP_REVAL);
3351
	restore_nameidata(&nd);
3352
	putname(filename);
A
Al Viro 已提交
3353 3354 3355
	return file;
}

3356
static struct dentry *filename_create(int dfd, struct filename *name,
3357
				struct path *path, unsigned int lookup_flags)
L
Linus Torvalds 已提交
3358
{
3359
	struct dentry *dentry = ERR_PTR(-EEXIST);
A
Al Viro 已提交
3360
	struct nameidata nd;
3361
	int err2;
3362 3363 3364 3365 3366 3367 3368 3369 3370
	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;

3371
	error = filename_lookup(dfd, name, LOOKUP_PARENT|lookup_flags, &nd);
A
Al Viro 已提交
3372 3373
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
3374

3375 3376 3377 3378
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
A
Al Viro 已提交
3379 3380 3381 3382
	if (nd.last_type != LAST_NORM)
		goto out;
	nd.flags &= ~LOOKUP_PARENT;
	nd.flags |= LOOKUP_CREATE | LOOKUP_EXCL;
3383

3384 3385
	/* don't fail immediately if it's r/o, at least try to report other errors */
	err2 = mnt_want_write(nd.path.mnt);
3386 3387 3388
	/*
	 * Do the final lookup.
	 */
A
Al Viro 已提交
3389
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
A
Al Viro 已提交
3390
	dentry = __lookup_hash(&nd.last, nd.path.dentry, nd.flags);
L
Linus Torvalds 已提交
3391
	if (IS_ERR(dentry))
3392
		goto unlock;
3393

3394
	error = -EEXIST;
3395
	if (d_is_positive(dentry))
3396
		goto fail;
3397

3398 3399 3400 3401 3402 3403
	/*
	 * 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 已提交
3404
	if (unlikely(!is_dir && nd.last.name[nd.last.len])) {
3405
		error = -ENOENT;
A
Al Viro 已提交
3406
		goto fail;
3407
	}
3408 3409
	if (unlikely(err2)) {
		error = err2;
3410
		goto fail;
3411
	}
A
Al Viro 已提交
3412
	*path = nd.path;
L
Linus Torvalds 已提交
3413 3414
	return dentry;
fail:
3415 3416 3417
	dput(dentry);
	dentry = ERR_PTR(error);
unlock:
A
Al Viro 已提交
3418
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
3419 3420
	if (!err2)
		mnt_drop_write(nd.path.mnt);
A
Al Viro 已提交
3421 3422
out:
	path_put(&nd.path);
L
Linus Torvalds 已提交
3423 3424
	return dentry;
}
3425 3426 3427 3428

struct dentry *kern_path_create(int dfd, const char *pathname,
				struct path *path, unsigned int lookup_flags)
{
3429 3430 3431 3432 3433 3434 3435 3436
	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;
3437
}
3438 3439
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3440 3441 3442 3443
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3444
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3445 3446 3447 3448
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

3449 3450
struct dentry *user_path_create(int dfd, const char __user *pathname,
				struct path *path, unsigned int lookup_flags)
3451
{
3452
	struct filename *tmp = getname(pathname);
3453 3454 3455
	struct dentry *res;
	if (IS_ERR(tmp))
		return ERR_CAST(tmp);
3456
	res = filename_create(dfd, tmp, path, lookup_flags);
3457 3458 3459 3460 3461
	putname(tmp);
	return res;
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3462
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3463
{
3464
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3465 3466 3467 3468

	if (error)
		return error;

3469
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3470 3471
		return -EPERM;

A
Al Viro 已提交
3472
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3473 3474
		return -EPERM;

3475 3476 3477 3478
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3479 3480 3481 3482 3483
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3484
	if (!error)
3485
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3486 3487
	return error;
}
3488
EXPORT_SYMBOL(vfs_mknod);
L
Linus Torvalds 已提交
3489

A
Al Viro 已提交
3490
static int may_mknod(umode_t mode)
3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3502 3503 3504 3505 3506
{
	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 已提交
3507
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
3508
		unsigned, dev)
L
Linus Torvalds 已提交
3509
{
3510
	struct dentry *dentry;
3511 3512
	struct path path;
	int error;
3513
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3514

3515 3516 3517
	error = may_mknod(mode);
	if (error)
		return error;
3518 3519
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3520 3521
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3522

3523
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3524
		mode &= ~current_umask();
3525
	error = security_path_mknod(&path, dentry, mode, dev);
3526
	if (error)
3527
		goto out;
3528
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3529
		case 0: case S_IFREG:
A
Al Viro 已提交
3530
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
L
Linus Torvalds 已提交
3531 3532
			break;
		case S_IFCHR: case S_IFBLK:
3533
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3534 3535 3536
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3537
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3538 3539
			break;
	}
3540
out:
A
Al Viro 已提交
3541
	done_path_create(&path, dentry);
3542 3543 3544 3545
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3546 3547 3548
	return error;
}

A
Al Viro 已提交
3549
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3550 3551 3552 3553
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

3554
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3555
{
3556
	int error = may_create(dir, dentry);
3557
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3558 3559 3560 3561

	if (error)
		return error;

A
Al Viro 已提交
3562
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3563 3564 3565 3566 3567 3568 3569
		return -EPERM;

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

3570 3571 3572
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3573
	error = dir->i_op->mkdir(dir, dentry, mode);
3574
	if (!error)
3575
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3576 3577
	return error;
}
3578
EXPORT_SYMBOL(vfs_mkdir);
L
Linus Torvalds 已提交
3579

3580
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
3581
{
3582
	struct dentry *dentry;
3583 3584
	struct path path;
	int error;
3585
	unsigned int lookup_flags = LOOKUP_DIRECTORY;
L
Linus Torvalds 已提交
3586

3587 3588
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3589
	if (IS_ERR(dentry))
3590
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3591

3592
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3593
		mode &= ~current_umask();
3594
	error = security_path_mkdir(&path, dentry, mode);
3595 3596
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3597
	done_path_create(&path, dentry);
3598 3599 3600 3601
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3602 3603 3604
	return error;
}

3605
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3606 3607 3608 3609
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
3610
/*
S
Sage Weil 已提交
3611
 * The dentry_unhash() helper will try to drop the dentry early: we
3612
 * should have a usage count of 1 if we're the only user of this
S
Sage Weil 已提交
3613 3614
 * dentry, and if that is true (possibly after pruning the dcache),
 * then we drop the dentry now.
L
Linus Torvalds 已提交
3615 3616 3617 3618 3619 3620 3621 3622 3623 3624 3625 3626
 *
 * 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)
{
3627
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
3628
	spin_lock(&dentry->d_lock);
3629
	if (dentry->d_lockref.count == 1)
L
Linus Torvalds 已提交
3630 3631 3632
		__d_drop(dentry);
	spin_unlock(&dentry->d_lock);
}
3633
EXPORT_SYMBOL(dentry_unhash);
L
Linus Torvalds 已提交
3634 3635 3636 3637 3638 3639 3640 3641

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

	if (error)
		return error;

A
Al Viro 已提交
3642
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3643 3644
		return -EPERM;

3645
	dget(dentry);
3646
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3647 3648

	error = -EBUSY;
3649
	if (is_local_mountpoint(dentry))
S
Sage Weil 已提交
3650 3651 3652 3653 3654 3655
		goto out;

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

3656
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3657 3658 3659 3660 3661 3662
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);
3663
	detach_mounts(dentry);
S
Sage Weil 已提交
3664 3665

out:
3666
	mutex_unlock(&dentry->d_inode->i_mutex);
3667
	dput(dentry);
S
Sage Weil 已提交
3668
	if (!error)
L
Linus Torvalds 已提交
3669 3670 3671
		d_delete(dentry);
	return error;
}
3672
EXPORT_SYMBOL(vfs_rmdir);
L
Linus Torvalds 已提交
3673

3674
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3675 3676
{
	int error = 0;
3677
	struct filename *name;
L
Linus Torvalds 已提交
3678
	struct dentry *dentry;
3679 3680 3681
	struct path path;
	struct qstr last;
	int type;
3682 3683
	unsigned int lookup_flags = 0;
retry:
3684 3685
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3686 3687
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3688

3689
	switch (type) {
3690 3691 3692 3693 3694 3695 3696 3697 3698
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3699
	}
3700

3701
	error = mnt_want_write(path.mnt);
3702 3703
	if (error)
		goto exit1;
3704

3705 3706
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3707
	error = PTR_ERR(dentry);
3708 3709
	if (IS_ERR(dentry))
		goto exit2;
3710 3711 3712 3713
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3714
	error = security_path_rmdir(&path, dentry);
3715
	if (error)
3716
		goto exit3;
3717
	error = vfs_rmdir(path.dentry->d_inode, dentry);
3718
exit3:
3719 3720
	dput(dentry);
exit2:
3721 3722
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3723
exit1:
3724
	path_put(&path);
L
Linus Torvalds 已提交
3725
	putname(name);
3726 3727 3728 3729
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3730 3731 3732
	return error;
}

3733
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3734 3735 3736 3737
{
	return do_rmdir(AT_FDCWD, pathname);
}

3738 3739 3740 3741 3742 3743 3744 3745 3746 3747 3748 3749 3750 3751 3752 3753 3754 3755 3756
/**
 * 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 已提交
3757
{
J
J. Bruce Fields 已提交
3758
	struct inode *target = dentry->d_inode;
L
Linus Torvalds 已提交
3759 3760 3761 3762 3763
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3764
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3765 3766
		return -EPERM;

J
J. Bruce Fields 已提交
3767
	mutex_lock(&target->i_mutex);
3768
	if (is_local_mountpoint(dentry))
L
Linus Torvalds 已提交
3769 3770 3771
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3772
		if (!error) {
3773 3774
			error = try_break_deleg(target, delegated_inode);
			if (error)
3775
				goto out;
L
Linus Torvalds 已提交
3776
			error = dir->i_op->unlink(dir, dentry);
3777
			if (!error) {
3778
				dont_mount(dentry);
3779 3780
				detach_mounts(dentry);
			}
3781
		}
L
Linus Torvalds 已提交
3782
	}
3783
out:
J
J. Bruce Fields 已提交
3784
	mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3785 3786 3787

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

L
Linus Torvalds 已提交
3792 3793
	return error;
}
3794
EXPORT_SYMBOL(vfs_unlink);
L
Linus Torvalds 已提交
3795 3796 3797

/*
 * Make sure that the actual truncation of the file will occur outside its
3798
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3799 3800 3801
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3802
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3803
{
3804
	int error;
3805
	struct filename *name;
L
Linus Torvalds 已提交
3806
	struct dentry *dentry;
3807 3808 3809
	struct path path;
	struct qstr last;
	int type;
L
Linus Torvalds 已提交
3810
	struct inode *inode = NULL;
3811
	struct inode *delegated_inode = NULL;
3812 3813
	unsigned int lookup_flags = 0;
retry:
3814 3815
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3816 3817
	if (IS_ERR(name))
		return PTR_ERR(name);
3818

L
Linus Torvalds 已提交
3819
	error = -EISDIR;
3820
	if (type != LAST_NORM)
L
Linus Torvalds 已提交
3821
		goto exit1;
3822

3823
	error = mnt_want_write(path.mnt);
3824 3825
	if (error)
		goto exit1;
3826
retry_deleg:
3827 3828
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3829 3830 3831
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
3832
		if (last.name[last.len])
3833
			goto slashes;
L
Linus Torvalds 已提交
3834
		inode = dentry->d_inode;
3835
		if (d_is_negative(dentry))
3836 3837
			goto slashes;
		ihold(inode);
3838
		error = security_path_unlink(&path, dentry);
3839
		if (error)
3840
			goto exit2;
3841
		error = vfs_unlink(path.dentry->d_inode, dentry, &delegated_inode);
3842
exit2:
L
Linus Torvalds 已提交
3843 3844
		dput(dentry);
	}
3845
	mutex_unlock(&path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3846 3847
	if (inode)
		iput(inode);	/* truncate the inode here */
3848 3849
	inode = NULL;
	if (delegated_inode) {
3850
		error = break_deleg_wait(&delegated_inode);
3851 3852 3853
		if (!error)
			goto retry_deleg;
	}
3854
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3855
exit1:
3856
	path_put(&path);
L
Linus Torvalds 已提交
3857
	putname(name);
3858 3859 3860 3861 3862
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		inode = NULL;
		goto retry;
	}
L
Linus Torvalds 已提交
3863 3864 3865
	return error;

slashes:
3866 3867
	if (d_is_negative(dentry))
		error = -ENOENT;
M
Miklos Szeredi 已提交
3868
	else if (d_is_dir(dentry))
3869 3870 3871
		error = -EISDIR;
	else
		error = -ENOTDIR;
L
Linus Torvalds 已提交
3872 3873 3874
	goto exit2;
}

3875
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3876 3877 3878 3879 3880 3881 3882 3883 3884 3885
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

3886
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3887 3888 3889 3890
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3891
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3892
{
3893
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3894 3895 3896 3897

	if (error)
		return error;

A
Al Viro 已提交
3898
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3899 3900 3901 3902 3903 3904 3905
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3906
	if (!error)
3907
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3908 3909
	return error;
}
3910
EXPORT_SYMBOL(vfs_symlink);
L
Linus Torvalds 已提交
3911

3912 3913
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3914
{
3915
	int error;
3916
	struct filename *from;
3917
	struct dentry *dentry;
3918
	struct path path;
3919
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3920 3921

	from = getname(oldname);
3922
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3923
		return PTR_ERR(from);
3924 3925
retry:
	dentry = user_path_create(newdfd, newname, &path, lookup_flags);
3926 3927
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3928
		goto out_putname;
3929

3930
	error = security_path_symlink(&path, dentry, from->name);
3931
	if (!error)
3932
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
3933
	done_path_create(&path, dentry);
3934 3935 3936 3937
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
3938
out_putname:
L
Linus Torvalds 已提交
3939 3940 3941 3942
	putname(from);
	return error;
}

3943
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3944 3945 3946 3947
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

J
J. Bruce Fields 已提交
3948 3949 3950 3951 3952 3953 3954 3955 3956 3957 3958 3959 3960 3961 3962 3963 3964 3965 3966 3967
/**
 * 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 已提交
3968 3969
{
	struct inode *inode = old_dentry->d_inode;
3970
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3971 3972 3973 3974 3975
	int error;

	if (!inode)
		return -ENOENT;

3976
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
3977 3978 3979 3980 3981 3982 3983 3984 3985 3986 3987
	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 已提交
3988
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
3989
		return -EPERM;
3990
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
3991 3992 3993 3994 3995 3996
		return -EPERM;

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

3997
	mutex_lock(&inode->i_mutex);
3998
	/* Make sure we don't allow creating hardlink to an unlinked file */
3999
	if (inode->i_nlink == 0 && !(inode->i_state & I_LINKABLE))
4000
		error =  -ENOENT;
4001 4002
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
J
J. Bruce Fields 已提交
4003 4004 4005 4006 4007
	else {
		error = try_break_deleg(inode, delegated_inode);
		if (!error)
			error = dir->i_op->link(old_dentry, dir, new_dentry);
	}
4008 4009 4010 4011 4012 4013

	if (!error && (inode->i_state & I_LINKABLE)) {
		spin_lock(&inode->i_lock);
		inode->i_state &= ~I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
4014
	mutex_unlock(&inode->i_mutex);
4015
	if (!error)
4016
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
4017 4018
	return error;
}
4019
EXPORT_SYMBOL(vfs_link);
L
Linus Torvalds 已提交
4020 4021 4022 4023 4024 4025 4026 4027 4028 4029

/*
 * 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
 */
4030 4031
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
4032 4033
{
	struct dentry *new_dentry;
4034
	struct path old_path, new_path;
J
J. Bruce Fields 已提交
4035
	struct inode *delegated_inode = NULL;
4036
	int how = 0;
L
Linus Torvalds 已提交
4037 4038
	int error;

4039
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
4040
		return -EINVAL;
4041
	/*
4042 4043 4044
	 * 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.
4045
	 */
4046 4047 4048
	if (flags & AT_EMPTY_PATH) {
		if (!capable(CAP_DAC_READ_SEARCH))
			return -ENOENT;
4049
		how = LOOKUP_EMPTY;
4050
	}
4051 4052 4053

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
4054
retry:
4055
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
4056
	if (error)
4057 4058
		return error;

4059 4060
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
4061
	error = PTR_ERR(new_dentry);
4062
	if (IS_ERR(new_dentry))
4063 4064 4065 4066 4067
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
4068 4069 4070
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
4071
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
4072
	if (error)
4073
		goto out_dput;
J
J. Bruce Fields 已提交
4074
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry, &delegated_inode);
4075
out_dput:
A
Al Viro 已提交
4076
	done_path_create(&new_path, new_dentry);
J
J. Bruce Fields 已提交
4077 4078
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
4079 4080
		if (!error) {
			path_put(&old_path);
J
J. Bruce Fields 已提交
4081
			goto retry;
4082
		}
J
J. Bruce Fields 已提交
4083
	}
4084
	if (retry_estale(error, how)) {
4085
		path_put(&old_path);
4086 4087 4088
		how |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
4089
out:
4090
	path_put(&old_path);
L
Linus Torvalds 已提交
4091 4092 4093 4094

	return error;
}

4095
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
4096
{
4097
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4098 4099
}

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

	if (source == target)
		return 0;

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

M
Miklos Szeredi 已提交
4168
	if (!target) {
4169
		error = may_create(new_dir, new_dentry);
M
Miklos Szeredi 已提交
4170 4171 4172 4173 4174 4175 4176 4177
	} 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);
	}
4178 4179 4180
	if (error)
		return error;

M
Miklos Szeredi 已提交
4181
	if (!old_dir->i_op->rename && !old_dir->i_op->rename2)
4182
		return -EPERM;
L
Linus Torvalds 已提交
4183

M
Miklos Szeredi 已提交
4184 4185 4186
	if (flags && !old_dir->i_op->rename2)
		return -EINVAL;

L
Linus Torvalds 已提交
4187 4188 4189 4190
	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
M
Miklos Szeredi 已提交
4191 4192 4193 4194 4195 4196 4197 4198 4199 4200 4201
	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 已提交
4202 4203
	}

4204 4205
	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry,
				      flags);
L
Linus Torvalds 已提交
4206 4207 4208
	if (error)
		return error;

4209
	old_name = fsnotify_oldname_init(old_dentry->d_name.name);
4210
	dget(new_dentry);
M
Miklos Szeredi 已提交
4211
	if (!is_dir || (flags & RENAME_EXCHANGE))
4212 4213
		lock_two_nondirectories(source, target);
	else if (target)
4214
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
4215 4216

	error = -EBUSY;
4217
	if (is_local_mountpoint(old_dentry) || is_local_mountpoint(new_dentry))
S
Sage Weil 已提交
4218 4219
		goto out;

M
Miklos Szeredi 已提交
4220
	if (max_links && new_dir != old_dir) {
4221
		error = -EMLINK;
M
Miklos Szeredi 已提交
4222
		if (is_dir && !new_is_dir && new_dir->i_nlink >= max_links)
4223
			goto out;
M
Miklos Szeredi 已提交
4224 4225 4226 4227 4228 4229 4230
		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) {
4231
		error = try_break_deleg(source, delegated_inode);
4232 4233
		if (error)
			goto out;
M
Miklos Szeredi 已提交
4234 4235 4236 4237 4238
	}
	if (target && !new_is_dir) {
		error = try_break_deleg(target, delegated_inode);
		if (error)
			goto out;
4239
	}
M
Miklos Szeredi 已提交
4240
	if (!old_dir->i_op->rename2) {
M
Miklos Szeredi 已提交
4241 4242 4243
		error = old_dir->i_op->rename(old_dir, old_dentry,
					      new_dir, new_dentry);
	} else {
M
Miklos Szeredi 已提交
4244
		WARN_ON(old_dir->i_op->rename != NULL);
M
Miklos Szeredi 已提交
4245 4246 4247
		error = old_dir->i_op->rename2(old_dir, old_dentry,
					       new_dir, new_dentry, flags);
	}
S
Sage Weil 已提交
4248 4249 4250
	if (error)
		goto out;

M
Miklos Szeredi 已提交
4251
	if (!(flags & RENAME_EXCHANGE) && target) {
4252 4253
		if (is_dir)
			target->i_flags |= S_DEAD;
S
Sage Weil 已提交
4254
		dont_mount(new_dentry);
4255
		detach_mounts(new_dentry);
4256
	}
M
Miklos Szeredi 已提交
4257 4258 4259 4260 4261 4262
	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 已提交
4263
out:
M
Miklos Szeredi 已提交
4264
	if (!is_dir || (flags & RENAME_EXCHANGE))
4265 4266 4267
		unlock_two_nondirectories(source, target);
	else if (target)
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
4268
	dput(new_dentry);
M
Miklos Szeredi 已提交
4269
	if (!error) {
4270
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
M
Miklos Szeredi 已提交
4271 4272 4273 4274 4275 4276
			      !(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 已提交
4277 4278
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
4279 4280
	return error;
}
4281
EXPORT_SYMBOL(vfs_rename);
L
Linus Torvalds 已提交
4282

M
Miklos Szeredi 已提交
4283 4284
SYSCALL_DEFINE5(renameat2, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, unsigned int, flags)
L
Linus Torvalds 已提交
4285
{
4286 4287
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
4288 4289 4290
	struct path old_path, new_path;
	struct qstr old_last, new_last;
	int old_type, new_type;
4291
	struct inode *delegated_inode = NULL;
4292 4293
	struct filename *from;
	struct filename *to;
4294
	unsigned int lookup_flags = 0, target_flags = LOOKUP_RENAME_TARGET;
4295
	bool should_retry = false;
4296
	int error;
M
Miklos Szeredi 已提交
4297

M
Miklos Szeredi 已提交
4298
	if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
M
Miklos Szeredi 已提交
4299 4300
		return -EINVAL;

M
Miklos Szeredi 已提交
4301 4302
	if ((flags & (RENAME_NOREPLACE | RENAME_WHITEOUT)) &&
	    (flags & RENAME_EXCHANGE))
M
Miklos Szeredi 已提交
4303 4304
		return -EINVAL;

M
Miklos Szeredi 已提交
4305 4306 4307
	if ((flags & RENAME_WHITEOUT) && !capable(CAP_MKNOD))
		return -EPERM;

4308 4309 4310
	if (flags & RENAME_EXCHANGE)
		target_flags = 0;

4311
retry:
4312 4313
	from = user_path_parent(olddfd, oldname,
				&old_path, &old_last, &old_type, lookup_flags);
4314 4315
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
4316
		goto exit;
4317
	}
L
Linus Torvalds 已提交
4318

4319 4320
	to = user_path_parent(newdfd, newname,
				&new_path, &new_last, &new_type, lookup_flags);
4321 4322
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
4323
		goto exit1;
4324
	}
L
Linus Torvalds 已提交
4325 4326

	error = -EXDEV;
4327
	if (old_path.mnt != new_path.mnt)
L
Linus Torvalds 已提交
4328 4329 4330
		goto exit2;

	error = -EBUSY;
4331
	if (old_type != LAST_NORM)
L
Linus Torvalds 已提交
4332 4333
		goto exit2;

M
Miklos Szeredi 已提交
4334 4335
	if (flags & RENAME_NOREPLACE)
		error = -EEXIST;
4336
	if (new_type != LAST_NORM)
L
Linus Torvalds 已提交
4337 4338
		goto exit2;

4339
	error = mnt_want_write(old_path.mnt);
4340 4341 4342
	if (error)
		goto exit2;

4343
retry_deleg:
4344
	trap = lock_rename(new_path.dentry, old_path.dentry);
L
Linus Torvalds 已提交
4345

4346
	old_dentry = __lookup_hash(&old_last, old_path.dentry, lookup_flags);
L
Linus Torvalds 已提交
4347 4348 4349 4350 4351
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
4352
	if (d_is_negative(old_dentry))
L
Linus Torvalds 已提交
4353
		goto exit4;
4354
	new_dentry = __lookup_hash(&new_last, new_path.dentry, lookup_flags | target_flags);
M
Miklos Szeredi 已提交
4355 4356 4357 4358 4359 4360
	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 已提交
4361 4362 4363 4364 4365 4366 4367
	if (flags & RENAME_EXCHANGE) {
		error = -ENOENT;
		if (d_is_negative(new_dentry))
			goto exit5;

		if (!d_is_dir(new_dentry)) {
			error = -ENOTDIR;
4368
			if (new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4369 4370 4371
				goto exit5;
		}
	}
L
Linus Torvalds 已提交
4372
	/* unless the source is a directory trailing slashes give -ENOTDIR */
M
Miklos Szeredi 已提交
4373
	if (!d_is_dir(old_dentry)) {
L
Linus Torvalds 已提交
4374
		error = -ENOTDIR;
4375
		if (old_last.name[old_last.len])
M
Miklos Szeredi 已提交
4376
			goto exit5;
4377
		if (!(flags & RENAME_EXCHANGE) && new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4378
			goto exit5;
L
Linus Torvalds 已提交
4379 4380 4381 4382
	}
	/* source should not be ancestor of target */
	error = -EINVAL;
	if (old_dentry == trap)
M
Miklos Szeredi 已提交
4383
		goto exit5;
L
Linus Torvalds 已提交
4384
	/* target should not be an ancestor of source */
M
Miklos Szeredi 已提交
4385 4386
	if (!(flags & RENAME_EXCHANGE))
		error = -ENOTEMPTY;
L
Linus Torvalds 已提交
4387 4388 4389
	if (new_dentry == trap)
		goto exit5;

4390 4391
	error = security_path_rename(&old_path, old_dentry,
				     &new_path, new_dentry, flags);
4392
	if (error)
4393
		goto exit5;
4394 4395
	error = vfs_rename(old_path.dentry->d_inode, old_dentry,
			   new_path.dentry->d_inode, new_dentry,
M
Miklos Szeredi 已提交
4396
			   &delegated_inode, flags);
L
Linus Torvalds 已提交
4397 4398 4399 4400 4401
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
4402
	unlock_rename(new_path.dentry, old_path.dentry);
4403 4404 4405 4406 4407
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
		if (!error)
			goto retry_deleg;
	}
4408
	mnt_drop_write(old_path.mnt);
L
Linus Torvalds 已提交
4409
exit2:
4410 4411
	if (retry_estale(error, lookup_flags))
		should_retry = true;
4412
	path_put(&new_path);
4413
	putname(to);
L
Linus Torvalds 已提交
4414
exit1:
4415
	path_put(&old_path);
L
Linus Torvalds 已提交
4416
	putname(from);
4417 4418 4419 4420 4421
	if (should_retry) {
		should_retry = false;
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
4422
exit:
L
Linus Torvalds 已提交
4423 4424 4425
	return error;
}

M
Miklos Szeredi 已提交
4426 4427 4428 4429 4430 4431
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
	return sys_renameat2(olddfd, oldname, newdfd, newname, 0);
}

4432
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4433
{
M
Miklos Szeredi 已提交
4434
	return sys_renameat2(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4435 4436
}

M
Miklos Szeredi 已提交
4437 4438 4439 4440 4441 4442 4443 4444 4445 4446 4447 4448 4449 4450
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 已提交
4451
int readlink_copy(char __user *buffer, int buflen, const char *link)
L
Linus Torvalds 已提交
4452
{
A
Al Viro 已提交
4453
	int len = PTR_ERR(link);
L
Linus Torvalds 已提交
4454 4455 4456 4457 4458 4459 4460 4461 4462 4463 4464
	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 已提交
4465
EXPORT_SYMBOL(readlink_copy);
L
Linus Torvalds 已提交
4466 4467 4468 4469 4470 4471 4472 4473

/*
 * 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)
{
4474
	void *cookie;
4475
	const char *link = dentry->d_inode->i_link;
4476
	int res;
4477

4478 4479 4480 4481 4482
	if (!link) {
		link = dentry->d_inode->i_op->follow_link(dentry, &cookie, NULL);
		if (IS_ERR(link))
			return PTR_ERR(link);
	}
4483 4484 4485
	res = readlink_copy(buffer, buflen, link);
	if (cookie && dentry->d_inode->i_op->put_link)
		dentry->d_inode->i_op->put_link(dentry, cookie);
4486
	return res;
L
Linus Torvalds 已提交
4487
}
4488
EXPORT_SYMBOL(generic_readlink);
L
Linus Torvalds 已提交
4489 4490 4491 4492

/* get the link contents into pagecache */
static char *page_getlink(struct dentry * dentry, struct page **ppage)
{
4493 4494
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
4495
	struct address_space *mapping = dentry->d_inode->i_mapping;
4496
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
4497
	if (IS_ERR(page))
4498
		return (char*)page;
L
Linus Torvalds 已提交
4499
	*ppage = page;
4500 4501 4502
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
4503 4504 4505 4506 4507
}

int page_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
	struct page *page = NULL;
A
Al Viro 已提交
4508
	int res = readlink_copy(buffer, buflen, page_getlink(dentry, &page));
L
Linus Torvalds 已提交
4509 4510 4511 4512 4513 4514
	if (page) {
		kunmap(page);
		page_cache_release(page);
	}
	return res;
}
4515
EXPORT_SYMBOL(page_readlink);
L
Linus Torvalds 已提交
4516

4517
const char *page_follow_link_light(struct dentry *dentry, void **cookie, struct nameidata *nd)
L
Linus Torvalds 已提交
4518
{
4519
	struct page *page = NULL;
4520 4521 4522 4523
	char *res = page_getlink(dentry, &page);
	if (!IS_ERR(res))
		*cookie = page;
	return res;
L
Linus Torvalds 已提交
4524
}
4525
EXPORT_SYMBOL(page_follow_link_light);
L
Linus Torvalds 已提交
4526

4527
void page_put_link(struct dentry *dentry, void *cookie)
L
Linus Torvalds 已提交
4528
{
4529
	struct page *page = cookie;
4530 4531
	kunmap(page);
	page_cache_release(page);
L
Linus Torvalds 已提交
4532
}
4533
EXPORT_SYMBOL(page_put_link);
L
Linus Torvalds 已提交
4534

4535 4536 4537 4538
/*
 * 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 已提交
4539 4540
{
	struct address_space *mapping = inode->i_mapping;
4541
	struct page *page;
4542
	void *fsdata;
4543
	int err;
L
Linus Torvalds 已提交
4544
	char *kaddr;
4545 4546 4547
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
4548

4549
retry:
4550
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
4551
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
4552
	if (err)
4553 4554
		goto fail;

4555
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
4556
	memcpy(kaddr, symname, len-1);
4557
	kunmap_atomic(kaddr);
4558 4559 4560

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4561 4562
	if (err < 0)
		goto fail;
4563 4564 4565
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4566 4567 4568 4569 4570
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}
4571
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4572

4573 4574 4575
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4576
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
4577
}
4578
EXPORT_SYMBOL(page_symlink);
4579

4580
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
4581 4582 4583 4584 4585
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};
EXPORT_SYMBOL(page_symlink_inode_operations);