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

/*
 * Some corrections by tytso.
 */

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

#include <linux/init.h>
18
#include <linux/export.h>
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 496
struct nameidata {
	struct path	path;
A
Al Viro 已提交
497 498 499 500
	union {
		struct qstr	last;
		struct path	link;
	};
501 502 503 504 505 506
	struct path	root;
	struct inode	*inode; /* path.dentry.d_inode */
	unsigned int	flags;
	unsigned	seq, m_seq;
	int		last_type;
	unsigned	depth;
507
	struct file	*base;
508 509
};

A
Al Viro 已提交
510
/*
N
Nick Piggin 已提交
511
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
512 513 514 515 516 517 518
 * 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 已提交
519 520 521
 */

/**
A
Al Viro 已提交
522 523 524
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry or NULL
525
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
526
 *
A
Al Viro 已提交
527 528 529
 * 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 已提交
530
 */
A
Al Viro 已提交
531
static int unlazy_walk(struct nameidata *nd, struct dentry *dentry)
N
Nick Piggin 已提交
532 533 534 535 536
{
	struct fs_struct *fs = current->fs;
	struct dentry *parent = nd->path.dentry;

	BUG_ON(!(nd->flags & LOOKUP_RCU));
537 538

	/*
A
Al Viro 已提交
539 540 541 542 543 544
	 * 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.
545
	 */
A
Al Viro 已提交
546
	if (!legitimize_mnt(nd->path.mnt, nd->m_seq))
547 548
		return -ECHILD;
	nd->flags &= ~LOOKUP_RCU;
549

A
Al Viro 已提交
550 551
	if (!lockref_get_not_dead(&parent->d_lockref)) {
		nd->path.dentry = NULL;	
552
		goto out;
A
Al Viro 已提交
553 554
	}

555 556 557 558 559 560 561 562 563 564 565
	/*
	 * 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 已提交
566
	if (!dentry) {
567 568
		if (read_seqcount_retry(&parent->d_seq, nd->seq))
			goto out;
A
Al Viro 已提交
569 570
		BUG_ON(nd->inode != parent->d_inode);
	} else {
571 572 573 574
		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 已提交
575
	}
576 577 578 579 580 581 582 583 584

	/*
	 * 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 已提交
585 586 587 588
		path_get(&nd->root);
		spin_unlock(&fs->lock);
	}

A
Al Viro 已提交
589
	rcu_read_unlock();
N
Nick Piggin 已提交
590
	return 0;
A
Al Viro 已提交
591

592 593 594
unlock_and_drop_dentry:
	spin_unlock(&fs->lock);
drop_dentry:
A
Al Viro 已提交
595
	rcu_read_unlock();
596
	dput(dentry);
597
	goto drop_root_mnt;
598
out:
A
Al Viro 已提交
599
	rcu_read_unlock();
600 601 602
drop_root_mnt:
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
N
Nick Piggin 已提交
603 604 605
	return -ECHILD;
}

606
static inline int d_revalidate(struct dentry *dentry, unsigned int flags)
607
{
608
	return dentry->d_op->d_revalidate(dentry, flags);
609 610
}

611 612 613
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
614
 *
615 616 617 618 619
 * 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.
620
 */
621
static int complete_walk(struct nameidata *nd)
622
{
A
Al Viro 已提交
623
	struct dentry *dentry = nd->path.dentry;
624 625
	int status;

626 627 628 629
	if (nd->flags & LOOKUP_RCU) {
		nd->flags &= ~LOOKUP_RCU;
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
630

A
Al Viro 已提交
631
		if (!legitimize_mnt(nd->path.mnt, nd->m_seq)) {
A
Al Viro 已提交
632
			rcu_read_unlock();
A
Al Viro 已提交
633 634
			return -ECHILD;
		}
635
		if (unlikely(!lockref_get_not_dead(&dentry->d_lockref))) {
A
Al Viro 已提交
636
			rcu_read_unlock();
A
Al Viro 已提交
637
			mntput(nd->path.mnt);
638 639 640
			return -ECHILD;
		}
		if (read_seqcount_retry(&dentry->d_seq, nd->seq)) {
A
Al Viro 已提交
641
			rcu_read_unlock();
642
			dput(dentry);
A
Al Viro 已提交
643
			mntput(nd->path.mnt);
644 645
			return -ECHILD;
		}
A
Al Viro 已提交
646
		rcu_read_unlock();
647 648
	}

A
Al Viro 已提交
649 650 651
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

652
	if (likely(!(dentry->d_flags & DCACHE_OP_WEAK_REVALIDATE)))
653 654
		return 0;

655
	status = dentry->d_op->d_weak_revalidate(dentry, nd->flags);
656 657 658
	if (status > 0)
		return 0;

A
Al Viro 已提交
659
	if (!status)
660
		status = -ESTALE;
A
Al Viro 已提交
661

662
	path_put(&nd->path);
663 664 665
	return status;
}

A
Al Viro 已提交
666 667
static __always_inline void set_root(struct nameidata *nd)
{
668
	get_fs_root(current->fs, &nd->root);
A
Al Viro 已提交
669 670
}

671
static __always_inline unsigned set_root_rcu(struct nameidata *nd)
N
Nick Piggin 已提交
672
{
673 674
	struct fs_struct *fs = current->fs;
	unsigned seq, res;
N
Nick Piggin 已提交
675

676 677 678 679 680 681
	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 已提交
682 683
}

J
Jan Blunck 已提交
684
static void path_put_conditional(struct path *path, struct nameidata *nd)
685 686
{
	dput(path->dentry);
687
	if (path->mnt != nd->path.mnt)
688 689 690
		mntput(path->mnt);
}

691 692
static inline void path_to_nameidata(const struct path *path,
					struct nameidata *nd)
693
{
N
Nick Piggin 已提交
694 695 696 697
	if (!(nd->flags & LOOKUP_RCU)) {
		dput(nd->path.dentry);
		if (nd->path.mnt != path->mnt)
			mntput(nd->path.mnt);
698
	}
N
Nick Piggin 已提交
699
	nd->path.mnt = path->mnt;
700
	nd->path.dentry = path->dentry;
701 702
}

C
Christoph Hellwig 已提交
703 704 705 706 707 708 709 710 711 712 713 714 715
/*
 * 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;
}

716 717 718
static inline void put_link(struct nameidata *nd, struct path *link, void *cookie)
{
	struct inode *inode = link->dentry->d_inode;
719 720
	if (cookie && inode->i_op->put_link)
		inode->i_op->put_link(link->dentry, cookie);
721 722 723
	path_put(link);
}

724 725
int sysctl_protected_symlinks __read_mostly = 0;
int sysctl_protected_hardlinks __read_mostly = 0;
K
Kees Cook 已提交
726 727 728 729

/**
 * may_follow_link - Check symlink following for unsafe situations
 * @link: The path of the symlink
730
 * @nd: nameidata pathwalk data
K
Kees Cook 已提交
731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752
 *
 * 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;
753
	if (uid_eq(current_cred()->fsuid, inode->i_uid))
K
Kees Cook 已提交
754 755 756 757 758 759 760 761
		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. */
762
	if (uid_eq(parent->i_uid, inode->i_uid))
K
Kees Cook 已提交
763 764
		return 0;

765
	audit_log_link_denied("follow_link", link);
K
Kees Cook 已提交
766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831
	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.
	 */
832
	if (uid_eq(cred->fsuid, inode->i_uid) || safe_hardlink_source(inode) ||
K
Kees Cook 已提交
833 834 835
	    capable(CAP_FOWNER))
		return 0;

836
	audit_log_link_denied("linkat", link);
K
Kees Cook 已提交
837 838 839
	return -EPERM;
}

840 841
static __always_inline const char *
get_link(struct path *link, struct nameidata *nd, void **p)
L
Linus Torvalds 已提交
842
{
843
	struct dentry *dentry = link->dentry;
844
	struct inode *inode = dentry->d_inode;
845
	int error;
846
	const char *res;
L
Linus Torvalds 已提交
847

848 849
	BUG_ON(nd->flags & LOOKUP_RCU);

A
Al Viro 已提交
850 851 852
	if (link->mnt == nd->path.mnt)
		mntget(link->mnt);

853
	res = ERR_PTR(-ELOOP);
854
	if (unlikely(current->total_link_count >= 40))
855
		goto out;
856

857 858 859
	cond_resched();
	current->total_link_count++;

A
Al Viro 已提交
860
	touch_atime(link);
A
Al Viro 已提交
861

862
	error = security_inode_follow_link(dentry);
863
	res = ERR_PTR(error);
864
	if (error)
865
		goto out;
866

867
	nd->last_type = LAST_BIND;
868
	*p = NULL;
869 870 871 872
	res = inode->i_link;
	if (!res) {
		res = inode->i_op->follow_link(dentry, p, nd);
		if (IS_ERR(res)) {
873
out:
874 875 876
			path_put(&nd->path);
			path_put(link);
		}
L
Linus Torvalds 已提交
877
	}
878 879
	return res;
}
880

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

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

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

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

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

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

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

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

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

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

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

A
Al Viro 已提交
1002 1003
}

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

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

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

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

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

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

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

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

1091
static inline int managed_dentry_rcu(struct dentry *dentry)
1092
{
1093 1094
	return (dentry->d_flags & DCACHE_MANAGE_TRANSIT) ?
		dentry->d_op->d_manage(dentry, true) : 0;
1095 1096
}

1097
/*
1098 1099
 * Try to skip to top of mountpoint pile in rcuwalk mode.  Fail if
 * we meet a managed dentry that would need blocking.
1100 1101
 */
static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
1102
			       struct inode **inode)
1103
{
1104
	for (;;) {
1105
		struct mount *mounted;
1106 1107 1108 1109
		/*
		 * Don't forget we might have a non-mountpoint managed dentry
		 * that wants to block transit.
		 */
1110 1111 1112
		switch (managed_dentry_rcu(path->dentry)) {
		case -ECHILD:
		default:
1113
			return false;
1114 1115 1116 1117 1118
		case -EISDIR:
			return true;
		case 0:
			break;
		}
1119 1120

		if (!d_mountpoint(path->dentry))
1121
			return !(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1122

A
Al Viro 已提交
1123
		mounted = __lookup_mnt(path->mnt, path->dentry);
1124 1125
		if (!mounted)
			break;
1126 1127
		path->mnt = &mounted->mnt;
		path->dentry = mounted->mnt.mnt_root;
1128
		nd->flags |= LOOKUP_JUMPED;
1129
		nd->seq = read_seqcount_begin(&path->dentry->d_seq);
1130 1131 1132 1133 1134 1135
		/*
		 * 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;
1136
	}
1137
	return !read_seqretry(&mount_lock, nd->m_seq) &&
1138
		!(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1139 1140
}

N
Nick Piggin 已提交
1141 1142
static int follow_dotdot_rcu(struct nameidata *nd)
{
1143
	struct inode *inode = nd->inode;
1144 1145
	if (!nd->root.mnt)
		set_root_rcu(nd);
N
Nick Piggin 已提交
1146

1147
	while (1) {
N
Nick Piggin 已提交
1148 1149 1150 1151 1152 1153 1154 1155 1156
		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;

1157
			inode = parent->d_inode;
N
Nick Piggin 已提交
1158 1159
			seq = read_seqcount_begin(&parent->d_seq);
			if (read_seqcount_retry(&old->d_seq, nd->seq))
1160
				goto failed;
N
Nick Piggin 已提交
1161 1162 1163 1164 1165 1166
			nd->path.dentry = parent;
			nd->seq = seq;
			break;
		}
		if (!follow_up_rcu(&nd->path))
			break;
1167
		inode = nd->path.dentry->d_inode;
N
Nick Piggin 已提交
1168 1169
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
	}
1170 1171 1172 1173 1174 1175 1176
	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;
1177
		inode = nd->path.dentry->d_inode;
1178
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
1179
		if (read_seqretry(&mount_lock, nd->m_seq))
1180 1181
			goto failed;
	}
1182
	nd->inode = inode;
N
Nick Piggin 已提交
1183
	return 0;
1184 1185 1186

failed:
	nd->flags &= ~LOOKUP_RCU;
1187 1188
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
A
Al Viro 已提交
1189
	rcu_read_unlock();
1190
	return -ECHILD;
N
Nick Piggin 已提交
1191 1192
}

1193 1194 1195 1196 1197
/*
 * 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.
 */
1198
int follow_down(struct path *path)
1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217
{
	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);
1218
			ret = path->dentry->d_op->d_manage(
1219
				path->dentry, false);
1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240
			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;
}
1241
EXPORT_SYMBOL(follow_down);
1242

1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258
/*
 * 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 已提交
1259
static void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1260
{
1261 1262
	if (!nd->root.mnt)
		set_root(nd);
1263

L
Linus Torvalds 已提交
1264
	while(1) {
1265
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
1266

A
Al Viro 已提交
1267 1268
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
L
Linus Torvalds 已提交
1269 1270
			break;
		}
1271
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
A
Al Viro 已提交
1272 1273
			/* rare case of legitimate dget_parent()... */
			nd->path.dentry = dget_parent(nd->path.dentry);
L
Linus Torvalds 已提交
1274 1275 1276
			dput(old);
			break;
		}
A
Al Viro 已提交
1277
		if (!follow_up(&nd->path))
L
Linus Torvalds 已提交
1278 1279
			break;
	}
A
Al Viro 已提交
1280
	follow_mount(&nd->path);
N
Nick Piggin 已提交
1281
	nd->inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
1282 1283
}

1284
/*
M
Miklos Szeredi 已提交
1285 1286 1287 1288 1289
 * 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
1290
 */
M
Miklos Szeredi 已提交
1291
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
1292
				    unsigned int flags, bool *need_lookup)
1293 1294
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1295
	int error;
1296

M
Miklos Szeredi 已提交
1297 1298 1299
	*need_lookup = false;
	dentry = d_lookup(dir, name);
	if (dentry) {
J
Jeff Layton 已提交
1300
		if (dentry->d_flags & DCACHE_OP_REVALIDATE) {
1301
			error = d_revalidate(dentry, flags);
M
Miklos Szeredi 已提交
1302 1303 1304 1305
			if (unlikely(error <= 0)) {
				if (error < 0) {
					dput(dentry);
					return ERR_PTR(error);
1306 1307
				} else {
					d_invalidate(dentry);
M
Miklos Szeredi 已提交
1308 1309 1310 1311 1312 1313
					dput(dentry);
					dentry = NULL;
				}
			}
		}
	}
1314

M
Miklos Szeredi 已提交
1315 1316 1317 1318
	if (!dentry) {
		dentry = d_alloc(dir, name);
		if (unlikely(!dentry))
			return ERR_PTR(-ENOMEM);
1319

M
Miklos Szeredi 已提交
1320
		*need_lookup = true;
1321 1322 1323 1324
	}
	return dentry;
}

1325
/*
1326 1327
 * Call i_op->lookup on the dentry.  The dentry must be negative and
 * unhashed.
M
Miklos Szeredi 已提交
1328 1329
 *
 * dir->d_inode->i_mutex must be held
1330
 */
M
Miklos Szeredi 已提交
1331
static struct dentry *lookup_real(struct inode *dir, struct dentry *dentry,
1332
				  unsigned int flags)
1333 1334 1335 1336
{
	struct dentry *old;

	/* Don't create child dentry for a dead directory. */
M
Miklos Szeredi 已提交
1337
	if (unlikely(IS_DEADDIR(dir))) {
1338
		dput(dentry);
1339
		return ERR_PTR(-ENOENT);
1340
	}
1341

1342
	old = dir->i_op->lookup(dir, dentry, flags);
1343 1344 1345 1346 1347 1348 1349
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
}

1350
static struct dentry *__lookup_hash(struct qstr *name,
1351
		struct dentry *base, unsigned int flags)
1352
{
M
Miklos Szeredi 已提交
1353
	bool need_lookup;
1354 1355
	struct dentry *dentry;

1356
	dentry = lookup_dcache(name, base, flags, &need_lookup);
M
Miklos Szeredi 已提交
1357 1358
	if (!need_lookup)
		return dentry;
1359

1360
	return lookup_real(base->d_inode, dentry, flags);
1361 1362
}

L
Linus Torvalds 已提交
1363 1364 1365 1366 1367
/*
 *  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 已提交
1368
static int lookup_fast(struct nameidata *nd,
M
Miklos Szeredi 已提交
1369
		       struct path *path, struct inode **inode)
L
Linus Torvalds 已提交
1370
{
1371
	struct vfsmount *mnt = nd->path.mnt;
N
Nick Piggin 已提交
1372
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1373 1374
	int need_reval = 1;
	int status = 1;
1375 1376
	int err;

1377 1378 1379 1380 1381
	/*
	 * 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 已提交
1382 1383
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1384
		bool negative;
1385
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1386 1387 1388
		if (!dentry)
			goto unlazy;

1389 1390 1391 1392 1393
		/*
		 * This sequence count validates that the inode matches
		 * the dentry name information from lookup.
		 */
		*inode = dentry->d_inode;
1394
		negative = d_is_negative(dentry);
1395 1396
		if (read_seqcount_retry(&dentry->d_seq, seq))
			return -ECHILD;
1397 1398
		if (negative)
			return -ENOENT;
1399 1400 1401 1402 1403 1404 1405 1406

		/*
		 * 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 已提交
1407 1408 1409
		if (__read_seqcount_retry(&parent->d_seq, nd->seq))
			return -ECHILD;
		nd->seq = seq;
A
Al Viro 已提交
1410

1411
		if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE)) {
1412
			status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1413 1414 1415 1416 1417
			if (unlikely(status <= 0)) {
				if (status != -ECHILD)
					need_reval = 0;
				goto unlazy;
			}
1418
		}
N
Nick Piggin 已提交
1419 1420
		path->mnt = mnt;
		path->dentry = dentry;
1421 1422
		if (likely(__follow_mount_rcu(nd, path, inode)))
			return 0;
A
Al Viro 已提交
1423
unlazy:
A
Al Viro 已提交
1424 1425
		if (unlazy_walk(nd, dentry))
			return -ECHILD;
A
Al Viro 已提交
1426
	} else {
A
Al Viro 已提交
1427
		dentry = __d_lookup(parent, &nd->last);
1428
	}
A
Al Viro 已提交
1429

1430 1431 1432
	if (unlikely(!dentry))
		goto need_lookup;

A
Al Viro 已提交
1433
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE) && need_reval)
1434
		status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1435 1436 1437 1438 1439
	if (unlikely(status <= 0)) {
		if (status < 0) {
			dput(dentry);
			return status;
		}
1440 1441 1442
		d_invalidate(dentry);
		dput(dentry);
		goto need_lookup;
1443
	}
M
Miklos Szeredi 已提交
1444

1445 1446 1447 1448
	if (unlikely(d_is_negative(dentry))) {
		dput(dentry);
		return -ENOENT;
	}
1449 1450 1451
	path->mnt = mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
1452 1453
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
1454
		return err;
1455
	}
1456 1457
	if (err)
		nd->flags |= LOOKUP_JUMPED;
1458
	*inode = path->dentry->d_inode;
L
Linus Torvalds 已提交
1459
	return 0;
1460 1461

need_lookup:
M
Miklos Szeredi 已提交
1462 1463 1464 1465
	return 1;
}

/* Fast lookup failed, do it the slow way */
A
Al Viro 已提交
1466
static int lookup_slow(struct nameidata *nd, struct path *path)
M
Miklos Szeredi 已提交
1467 1468 1469 1470 1471
{
	struct dentry *dentry, *parent;
	int err;

	parent = nd->path.dentry;
1472 1473 1474
	BUG_ON(nd->inode != parent->d_inode);

	mutex_lock(&parent->d_inode->i_mutex);
A
Al Viro 已提交
1475
	dentry = __lookup_hash(&nd->last, parent, nd->flags);
1476 1477 1478
	mutex_unlock(&parent->d_inode->i_mutex);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
1479 1480 1481 1482 1483 1484 1485 1486 1487 1488
	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 已提交
1489 1490
}

1491 1492 1493
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1494
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1495 1496
		if (err != -ECHILD)
			return err;
A
Al Viro 已提交
1497
		if (unlazy_walk(nd, NULL))
1498 1499
			return -ECHILD;
	}
1500
	return inode_permission(nd->inode, MAY_EXEC);
1501 1502
}

1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514
static inline int handle_dots(struct nameidata *nd, int type)
{
	if (type == LAST_DOTDOT) {
		if (nd->flags & LOOKUP_RCU) {
			if (follow_dotdot_rcu(nd))
				return -ECHILD;
		} else
			follow_dotdot(nd);
	}
	return 0;
}

1515 1516 1517 1518 1519 1520
static void terminate_walk(struct nameidata *nd)
{
	if (!(nd->flags & LOOKUP_RCU)) {
		path_put(&nd->path);
	} else {
		nd->flags &= ~LOOKUP_RCU;
1521 1522
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
A
Al Viro 已提交
1523
		rcu_read_unlock();
1524 1525 1526
	}
}

1527 1528 1529 1530 1531 1532
/*
 * 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.
 */
1533
static inline int should_follow_link(struct dentry *dentry, int follow)
1534
{
1535
	return unlikely(d_is_symlink(dentry)) ? follow : 0;
1536 1537
}

A
Al Viro 已提交
1538
static int walk_component(struct nameidata *nd, int follow)
1539
{
A
Al Viro 已提交
1540
	struct path path;
1541 1542 1543 1544 1545 1546 1547
	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.
	 */
1548 1549
	if (unlikely(nd->last_type != LAST_NORM))
		return handle_dots(nd, nd->last_type);
A
Al Viro 已提交
1550
	err = lookup_fast(nd, &path, &inode);
1551
	if (unlikely(err)) {
M
Miklos Szeredi 已提交
1552 1553 1554
		if (err < 0)
			goto out_err;

A
Al Viro 已提交
1555
		err = lookup_slow(nd, &path);
M
Miklos Szeredi 已提交
1556 1557 1558
		if (err < 0)
			goto out_err;

A
Al Viro 已提交
1559
		inode = path.dentry->d_inode;
1560
		err = -ENOENT;
A
Al Viro 已提交
1561
		if (d_is_negative(path.dentry))
1562
			goto out_path_put;
1563
	}
M
Miklos Szeredi 已提交
1564

A
Al Viro 已提交
1565
	if (should_follow_link(path.dentry, follow)) {
A
Al Viro 已提交
1566
		if (nd->flags & LOOKUP_RCU) {
A
Al Viro 已提交
1567 1568
			if (unlikely(nd->path.mnt != path.mnt ||
				     unlazy_walk(nd, path.dentry))) {
M
Miklos Szeredi 已提交
1569 1570
				err = -ECHILD;
				goto out_err;
A
Al Viro 已提交
1571 1572
			}
		}
A
Al Viro 已提交
1573 1574
		BUG_ON(inode != path.dentry->d_inode);
		nd->link = path;
1575 1576
		return 1;
	}
A
Al Viro 已提交
1577
	path_to_nameidata(&path, nd);
1578 1579
	nd->inode = inode;
	return 0;
M
Miklos Szeredi 已提交
1580 1581

out_path_put:
A
Al Viro 已提交
1582
	path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
1583 1584 1585
out_err:
	terminate_walk(nd);
	return err;
1586 1587
}

1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606
/*
 * 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

1607
#include <asm/word-at-a-time.h>
1608

1609
#ifdef CONFIG_64BIT
1610 1611 1612

static inline unsigned int fold_hash(unsigned long hash)
{
1613
	return hash_64(hash, 32);
1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627
}

#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 (;;) {
1628
		a = load_unaligned_zeropad(name);
1629 1630 1631
		if (len < sizeof(unsigned long))
			break;
		hash += a;
1632
		hash *= 9;
1633 1634 1635 1636 1637
		name += sizeof(unsigned long);
		len -= sizeof(unsigned long);
		if (!len)
			goto done;
	}
1638
	mask = bytemask_from_count(len);
1639 1640 1641 1642 1643 1644 1645 1646
	hash += mask & a;
done:
	return fold_hash(hash);
}
EXPORT_SYMBOL(full_name_hash);

/*
 * Calculate the length and hash of the path component, and
1647
 * return the "hash_len" as the result.
1648
 */
1649
static inline u64 hash_name(const char *name)
1650
{
1651 1652
	unsigned long a, b, adata, bdata, mask, hash, len;
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;
1653 1654 1655 1656 1657 1658

	hash = a = 0;
	len = -sizeof(unsigned long);
	do {
		hash = (hash + a) * 9;
		len += sizeof(unsigned long);
1659
		a = load_unaligned_zeropad(name+len);
1660 1661 1662 1663 1664 1665 1666 1667 1668
		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);
1669
	len += find_zero(mask);
1670
	return hashlen_create(fold_hash(hash), len);
1671 1672 1673 1674
}

#else

L
Linus Torvalds 已提交
1675 1676 1677 1678 1679 1680 1681
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);
}
1682
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1683

1684 1685 1686 1687
/*
 * We know there's a real path component here of at least
 * one character.
 */
1688
static inline u64 hash_name(const char *name)
1689 1690 1691 1692 1693 1694 1695 1696 1697 1698
{
	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 != '/');
1699
	return hashlen_create(end_name_hash(hash), len);
1700 1701
}

1702 1703
#endif

L
Linus Torvalds 已提交
1704 1705
/*
 * Name resolution.
1706 1707
 * 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 已提交
1708
 *
1709 1710
 * 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 已提交
1711
 */
1712
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1713 1714 1715 1716 1717 1718
{
	int err;
	
	while (*name=='/')
		name++;
	if (!*name)
1719
		return 0;
L
Linus Torvalds 已提交
1720 1721 1722

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

1726
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1727 1728 1729
 		if (err)
			break;

1730
		hash_len = hash_name(name);
L
Linus Torvalds 已提交
1731

A
Al Viro 已提交
1732
		type = LAST_NORM;
1733
		if (name[0] == '.') switch (hashlen_len(hash_len)) {
A
Al Viro 已提交
1734
			case 2:
1735
				if (name[1] == '.') {
A
Al Viro 已提交
1736
					type = LAST_DOTDOT;
A
Al Viro 已提交
1737 1738
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
1739 1740 1741 1742
				break;
			case 1:
				type = LAST_DOT;
		}
1743 1744
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
1745
			nd->flags &= ~LOOKUP_JUMPED;
1746
			if (unlikely(parent->d_flags & DCACHE_OP_HASH)) {
1747
				struct qstr this = { { .hash_len = hash_len }, .name = name };
1748
				err = parent->d_op->d_hash(parent, &this);
1749 1750
				if (err < 0)
					break;
1751 1752
				hash_len = this.hash_len;
				name = this.name;
1753 1754
			}
		}
A
Al Viro 已提交
1755

1756 1757
		nd->last.hash_len = hash_len;
		nd->last.name = name;
1758 1759
		nd->last_type = type;

1760 1761
		name += hashlen_len(hash_len);
		if (!*name)
1762
			return 0;
1763 1764 1765 1766 1767
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
1768 1769 1770
			name++;
		} while (unlikely(*name == '/'));
		if (!*name)
1771 1772
			return 0;

A
Al Viro 已提交
1773
		err = walk_component(nd, LOOKUP_FOLLOW);
1774 1775
		if (err < 0)
			return err;
L
Linus Torvalds 已提交
1776

1777
		if (err) {
1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790
			if (unlikely(current->link_count >= MAX_NESTED_LINKS)) {
				path_put_conditional(&nd->link, nd);
				path_put(&nd->path);
				return -ELOOP;
			}
			BUG_ON(nd->depth >= MAX_NESTED_LINKS);

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

			do {
				struct path link = nd->link;
				void *cookie;
1791
				const char *s = get_link(&link, nd, &cookie);
1792

1793 1794
				if (unlikely(IS_ERR(s))) {
					err = PTR_ERR(s);
1795 1796 1797
					current->link_count--;
					nd->depth--;
					return err;
1798 1799
				}
				err = 0;
1800 1801 1802 1803 1804
				if (unlikely(!s)) {
					/* jumped */
					put_link(nd, &link, cookie);
					break;
				} else {
1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818
					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;
					err = link_path_walk(s, nd);
					if (unlikely(err)) {
						put_link(nd, &link, cookie);
						break;
					}
1819 1820
					err = walk_component(nd, LOOKUP_FOLLOW);
					put_link(nd, &link, cookie);
1821
				}
1822 1823 1824 1825
			} while (err > 0);

			current->link_count--;
			nd->depth--;
L
Linus Torvalds 已提交
1826
			if (err)
1827
				return err;
N
Nick Piggin 已提交
1828
		}
M
Miklos Szeredi 已提交
1829
		if (!d_can_lookup(nd->path.dentry)) {
A
Al Viro 已提交
1830
			err = -ENOTDIR;
1831 1832
			break;
		}
L
Linus Torvalds 已提交
1833
	}
1834
	terminate_walk(nd);
L
Linus Torvalds 已提交
1835 1836 1837
	return err;
}

A
Al Viro 已提交
1838
static int path_init(int dfd, const struct filename *name, unsigned int flags,
1839
		     struct nameidata *nd)
N
Nick Piggin 已提交
1840 1841
{
	int retval = 0;
A
Al Viro 已提交
1842
	const char *s = name->name;
N
Nick Piggin 已提交
1843 1844

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
1845
	nd->flags = flags | LOOKUP_JUMPED | LOOKUP_PARENT;
N
Nick Piggin 已提交
1846
	nd->depth = 0;
1847
	nd->base = NULL;
1848
	if (flags & LOOKUP_ROOT) {
1849 1850
		struct dentry *root = nd->root.dentry;
		struct inode *inode = root->d_inode;
A
Al Viro 已提交
1851
		if (*s) {
M
Miklos Szeredi 已提交
1852
			if (!d_can_lookup(root))
A
Al Viro 已提交
1853 1854 1855 1856 1857
				return -ENOTDIR;
			retval = inode_permission(inode, MAY_EXEC);
			if (retval)
				return retval;
		}
1858 1859 1860
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1861
			rcu_read_lock();
1862
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1863
			nd->m_seq = read_seqbegin(&mount_lock);
1864 1865 1866
		} else {
			path_get(&nd->path);
		}
1867
		goto done;
1868 1869
	}

N
Nick Piggin 已提交
1870 1871
	nd->root.mnt = NULL;

A
Al Viro 已提交
1872
	nd->m_seq = read_seqbegin(&mount_lock);
A
Al Viro 已提交
1873
	if (*s == '/') {
A
Al Viro 已提交
1874
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1875
			rcu_read_lock();
1876
			nd->seq = set_root_rcu(nd);
A
Al Viro 已提交
1877 1878 1879 1880 1881
		} else {
			set_root(nd);
			path_get(&nd->root);
		}
		nd->path = nd->root;
N
Nick Piggin 已提交
1882
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1883 1884 1885
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
1886

A
Al Viro 已提交
1887
			rcu_read_lock();
N
Nick Piggin 已提交
1888

A
Al Viro 已提交
1889 1890 1891 1892 1893 1894 1895 1896
			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 已提交
1897
	} else {
1898
		/* Caller must check execute permissions on the starting path component */
1899
		struct fd f = fdget_raw(dfd);
N
Nick Piggin 已提交
1900 1901
		struct dentry *dentry;

1902 1903
		if (!f.file)
			return -EBADF;
N
Nick Piggin 已提交
1904

1905
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
1906

A
Al Viro 已提交
1907
		if (*s) {
M
Miklos Szeredi 已提交
1908
			if (!d_can_lookup(dentry)) {
1909 1910 1911
				fdput(f);
				return -ENOTDIR;
			}
A
Al Viro 已提交
1912
		}
N
Nick Piggin 已提交
1913

1914
		nd->path = f.file->f_path;
A
Al Viro 已提交
1915
		if (flags & LOOKUP_RCU) {
1916
			if (f.flags & FDPUT_FPUT)
1917
				nd->base = f.file;
A
Al Viro 已提交
1918
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1919
			rcu_read_lock();
A
Al Viro 已提交
1920
		} else {
1921 1922
			path_get(&nd->path);
			fdput(f);
A
Al Viro 已提交
1923
		}
N
Nick Piggin 已提交
1924 1925 1926
	}

	nd->inode = nd->path.dentry->d_inode;
1927
	if (!(flags & LOOKUP_RCU))
1928
		goto done;
1929
	if (likely(!read_seqcount_retry(&nd->path.dentry->d_seq, nd->seq)))
1930
		goto done;
1931 1932 1933 1934
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
	rcu_read_unlock();
	return -ECHILD;
1935 1936
done:
	current->total_link_count = 0;
A
Al Viro 已提交
1937
	return link_path_walk(s, nd);
1938 1939
}

A
Al Viro 已提交
1940 1941 1942 1943 1944 1945 1946 1947
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);
1948 1949
}

1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976
static int trailing_symlink(struct path *link, struct nameidata *nd, void **p)
{
	const char *s;
	int error = may_follow_link(link, nd);
	if (unlikely(error))
		return error;
	nd->flags |= LOOKUP_PARENT;
	s = get_link(link, nd, p);
	if (unlikely(IS_ERR(s)))
		return PTR_ERR(s);
	if (unlikely(!s))
		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;
	error = link_path_walk(s, nd);
	if (unlikely(error))
		put_link(nd, link, *p);
	return error;
}

A
Al Viro 已提交
1977
static inline int lookup_last(struct nameidata *nd)
1978 1979 1980 1981 1982
{
	if (nd->last_type == LAST_NORM && nd->last.name[nd->last.len])
		nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;

	nd->flags &= ~LOOKUP_PARENT;
A
Al Viro 已提交
1983
	return walk_component(nd, nd->flags & LOOKUP_FOLLOW);
1984 1985
}

1986
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
1987
static int path_lookupat(int dfd, const struct filename *name,
1988 1989
				unsigned int flags, struct nameidata *nd)
{
1990
	int err;
N
Nick Piggin 已提交
1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005

	/*
	 * 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 已提交
2006
	err = path_init(dfd, name, flags, nd);
2007
	if (!err && !(flags & LOOKUP_PARENT)) {
A
Al Viro 已提交
2008
		err = lookup_last(nd);
2009 2010
		while (err > 0) {
			void *cookie;
A
Al Viro 已提交
2011
			struct path link = nd->link;
2012
			err = trailing_symlink(&link, nd, &cookie);
2013 2014
			if (err)
				break;
A
Al Viro 已提交
2015
			err = lookup_last(nd);
2016
			put_link(nd, &link, cookie);
2017 2018
		}
	}
A
Al Viro 已提交
2019

2020 2021
	if (!err)
		err = complete_walk(nd);
2022 2023

	if (!err && nd->flags & LOOKUP_DIRECTORY) {
M
Miklos Szeredi 已提交
2024
		if (!d_can_lookup(nd->path.dentry)) {
2025
			path_put(&nd->path);
A
Al Viro 已提交
2026
			err = -ENOTDIR;
2027 2028
		}
	}
A
Al Viro 已提交
2029

A
Al Viro 已提交
2030
	path_cleanup(nd);
2031
	return err;
A
Al Viro 已提交
2032
}
N
Nick Piggin 已提交
2033

2034
static int filename_lookup(int dfd, struct filename *name,
A
Al Viro 已提交
2035 2036
				unsigned int flags, struct nameidata *nd)
{
2037
	int retval = path_lookupat(dfd, name, flags | LOOKUP_RCU, nd);
A
Al Viro 已提交
2038
	if (unlikely(retval == -ECHILD))
2039
		retval = path_lookupat(dfd, name, flags, nd);
A
Al Viro 已提交
2040
	if (unlikely(retval == -ESTALE))
2041
		retval = path_lookupat(dfd, name, flags | LOOKUP_REVAL, nd);
N
Nick Piggin 已提交
2042

2043
	if (likely(!retval))
2044
		audit_inode(name, nd->path.dentry, flags & LOOKUP_PARENT);
2045
	return retval;
L
Linus Torvalds 已提交
2046 2047
}

A
Al Viro 已提交
2048 2049
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2050
{
2051
	struct filename *filename = getname_kernel(name);
A
Al Viro 已提交
2052 2053
	struct nameidata nd;
	struct dentry *d;
2054 2055 2056 2057 2058 2059 2060 2061 2062 2063
	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 已提交
2064 2065
	if (nd.last_type != LAST_NORM) {
		path_put(&nd.path);
2066 2067
		d = ERR_PTR(-EINVAL);
		goto out;
A
Al Viro 已提交
2068 2069
	}
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2070
	d = __lookup_hash(&nd.last, nd.path.dentry, 0);
A
Al Viro 已提交
2071 2072 2073
	if (IS_ERR(d)) {
		mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
		path_put(&nd.path);
2074
		goto out;
A
Al Viro 已提交
2075 2076
	}
	*path = nd.path;
2077 2078
out:
	putname(filename);
A
Al Viro 已提交
2079
	return d;
2080 2081
}

A
Al Viro 已提交
2082 2083 2084
int kern_path(const char *name, unsigned int flags, struct path *path)
{
	struct nameidata nd;
2085 2086 2087 2088 2089 2090 2091 2092 2093
	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 已提交
2094 2095
	return res;
}
2096
EXPORT_SYMBOL(kern_path);
A
Al Viro 已提交
2097

2098 2099 2100 2101 2102 2103
/**
 * 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
2104
 * @path: pointer to struct path to fill
2105 2106 2107
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2108
		    struct path *path)
2109
{
2110 2111 2112
	struct filename *filename = getname_kernel(name);
	int err = PTR_ERR(filename);

2113
	BUG_ON(flags & LOOKUP_PARENT);
2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125

	/* 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);
	}
2126
	return err;
2127
}
2128
EXPORT_SYMBOL(vfs_path_lookup);
2129

2130
/**
2131
 * lookup_one_len - filesystem helper to lookup single pathname component
2132 2133 2134 2135
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
2136
 * Note that this routine is purely a helper for filesystem usage and should
2137
 * not be called by generic code.
2138
 */
2139 2140 2141
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
2142
	unsigned int c;
2143
	int err;
2144

2145 2146
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2147 2148
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2149
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2150 2151 2152
	if (!len)
		return ERR_PTR(-EACCES);

A
Al Viro 已提交
2153 2154 2155 2156 2157
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
			return ERR_PTR(-EACCES);
	}

A
Al Viro 已提交
2158 2159 2160 2161 2162
	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2163 2164 2165 2166 2167
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2168
		int err = base->d_op->d_hash(base, &this);
2169 2170 2171
		if (err < 0)
			return ERR_PTR(err);
	}
2172

2173 2174 2175 2176
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

2177
	return __lookup_hash(&this, base, 0);
2178
}
2179
EXPORT_SYMBOL(lookup_one_len);
2180

2181 2182
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2183
{
2184
	struct nameidata nd;
2185
	struct filename *tmp = getname_flags(name, flags, empty);
L
Linus Torvalds 已提交
2186 2187
	int err = PTR_ERR(tmp);
	if (!IS_ERR(tmp)) {
2188 2189 2190

		BUG_ON(flags & LOOKUP_PARENT);

2191
		err = filename_lookup(dfd, tmp, flags, &nd);
L
Linus Torvalds 已提交
2192
		putname(tmp);
2193 2194
		if (!err)
			*path = nd.path;
L
Linus Torvalds 已提交
2195 2196 2197 2198
	}
	return err;
}

2199 2200 2201
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
{
2202
	return user_path_at_empty(dfd, name, flags, path, NULL);
2203
}
2204
EXPORT_SYMBOL(user_path_at);
2205

2206 2207 2208 2209 2210 2211
/*
 * 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.
 */
2212
static struct filename *
2213 2214 2215 2216
user_path_parent(int dfd, const char __user *path,
		 struct path *parent,
		 struct qstr *last,
		 int *type,
2217
		 unsigned int flags)
2218
{
2219
	struct nameidata nd;
2220
	struct filename *s = getname(path);
2221 2222
	int error;

2223 2224 2225
	/* only LOOKUP_REVAL is allowed in extra flags */
	flags &= LOOKUP_REVAL;

2226
	if (IS_ERR(s))
2227
		return s;
2228

2229
	error = filename_lookup(dfd, s, flags | LOOKUP_PARENT, &nd);
2230
	if (error) {
2231
		putname(s);
2232 2233
		return ERR_PTR(error);
	}
2234 2235 2236
	*parent = nd.path;
	*last = nd.last;
	*type = nd.last_type;
2237

2238
	return s;
2239 2240
}

2241
/**
2242
 * mountpoint_last - look up last component for umount
2243 2244 2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268
 * @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
2269
mountpoint_last(struct nameidata *nd, struct path *path)
2270 2271 2272 2273 2274
{
	int error = 0;
	struct dentry *dentry;
	struct dentry *dir = nd->path.dentry;

2275 2276 2277 2278 2279 2280
	/* 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;
		}
2281 2282 2283 2284 2285 2286
	}

	nd->flags &= ~LOOKUP_PARENT;

	if (unlikely(nd->last_type != LAST_NORM)) {
		error = handle_dots(nd, nd->last_type);
2287 2288 2289 2290
		if (error)
			goto out;
		dentry = dget(nd->path.dentry);
		goto done;
2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301 2302 2303
	}

	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;
2304
			mutex_unlock(&dir->d_inode->i_mutex);
2305
			goto out;
2306
		}
2307 2308
		dentry = lookup_real(dir->d_inode, dentry, nd->flags);
		error = PTR_ERR(dentry);
2309 2310
		if (IS_ERR(dentry)) {
			mutex_unlock(&dir->d_inode->i_mutex);
2311
			goto out;
2312
		}
2313 2314 2315
	}
	mutex_unlock(&dir->d_inode->i_mutex);

2316
done:
2317
	if (d_is_negative(dentry)) {
2318 2319 2320
		error = -ENOENT;
		dput(dentry);
		goto out;
2321
	}
2322
	path->dentry = dentry;
2323
	path->mnt = nd->path.mnt;
A
Al Viro 已提交
2324 2325
	if (should_follow_link(dentry, nd->flags & LOOKUP_FOLLOW)) {
		nd->link = *path;
2326
		return 1;
A
Al Viro 已提交
2327
	}
2328
	mntget(path->mnt);
2329 2330 2331
	follow_mount(path);
	error = 0;
out:
2332 2333 2334 2335 2336
	terminate_walk(nd);
	return error;
}

/**
2337
 * path_mountpoint - look up a path to be umounted
2338 2339
 * @dfd:	directory file descriptor to start walk from
 * @name:	full pathname to walk
2340
 * @path:	pointer to container for result
2341 2342 2343
 * @flags:	lookup flags
 *
 * Look up the given name, but don't attempt to revalidate the last component.
2344
 * Returns 0 and "path" will be valid on success; Returns error otherwise.
2345 2346
 */
static int
2347
path_mountpoint(int dfd, const struct filename *name, struct path *path,
2348
		struct nameidata *nd, unsigned int flags)
2349
{
2350
	int err = path_init(dfd, name, flags, nd);
2351
	if (unlikely(err))
2352
		goto out;
2353

2354
	err = mountpoint_last(nd, path);
2355 2356 2357
	while (err > 0) {
		void *cookie;
		struct path link = *path;
2358
		err = trailing_symlink(&link, nd, &cookie);
2359 2360
		if (err)
			break;
2361 2362
		err = mountpoint_last(nd, path);
		put_link(nd, &link, cookie);
2363 2364
	}
out:
2365
	path_cleanup(nd);
2366 2367 2368
	return err;
}

A
Al Viro 已提交
2369
static int
2370
filename_mountpoint(int dfd, struct filename *name, struct path *path,
A
Al Viro 已提交
2371 2372
			unsigned int flags)
{
2373
	struct nameidata nd;
2374
	int error;
2375 2376
	if (IS_ERR(name))
		return PTR_ERR(name);
2377
	error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_RCU);
A
Al Viro 已提交
2378
	if (unlikely(error == -ECHILD))
2379
		error = path_mountpoint(dfd, name, path, &nd, flags);
A
Al Viro 已提交
2380
	if (unlikely(error == -ESTALE))
2381
		error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_REVAL);
A
Al Viro 已提交
2382
	if (likely(!error))
2383 2384
		audit_inode(name, path->dentry, 0);
	putname(name);
A
Al Viro 已提交
2385 2386 2387
	return error;
}

2388
/**
2389
 * user_path_mountpoint_at - lookup a path from userland in order to umount it
2390 2391 2392 2393 2394 2395 2396 2397 2398 2399 2400 2401 2402
 * @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
2403
user_path_mountpoint_at(int dfd, const char __user *name, unsigned int flags,
2404 2405
			struct path *path)
{
2406
	return filename_mountpoint(dfd, getname(name), path, flags);
2407 2408
}

A
Al Viro 已提交
2409 2410 2411 2412
int
kern_path_mountpoint(int dfd, const char *name, struct path *path,
			unsigned int flags)
{
2413
	return filename_mountpoint(dfd, getname_kernel(name), path, flags);
A
Al Viro 已提交
2414 2415 2416
}
EXPORT_SYMBOL(kern_path_mountpoint);

M
Miklos Szeredi 已提交
2417
int __check_sticky(struct inode *dir, struct inode *inode)
L
Linus Torvalds 已提交
2418
{
2419
	kuid_t fsuid = current_fsuid();
2420

2421
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2422
		return 0;
2423
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2424
		return 0;
2425
	return !capable_wrt_inode_uidgid(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2426
}
M
Miklos Szeredi 已提交
2427
EXPORT_SYMBOL(__check_sticky);
L
Linus Torvalds 已提交
2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447

/*
 *	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().
 */
2448
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2449
{
2450
	struct inode *inode = victim->d_inode;
L
Linus Torvalds 已提交
2451 2452
	int error;

2453
	if (d_is_negative(victim))
L
Linus Torvalds 已提交
2454
		return -ENOENT;
2455
	BUG_ON(!inode);
L
Linus Torvalds 已提交
2456 2457

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

2460
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2461 2462 2463 2464
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
2465 2466 2467

	if (check_sticky(dir, inode) || IS_APPEND(inode) ||
	    IS_IMMUTABLE(inode) || IS_SWAPFILE(inode))
L
Linus Torvalds 已提交
2468 2469
		return -EPERM;
	if (isdir) {
M
Miklos Szeredi 已提交
2470
		if (!d_is_dir(victim))
L
Linus Torvalds 已提交
2471 2472 2473
			return -ENOTDIR;
		if (IS_ROOT(victim))
			return -EBUSY;
M
Miklos Szeredi 已提交
2474
	} else if (d_is_dir(victim))
L
Linus Torvalds 已提交
2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490
		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())
 */
2491
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2492
{
2493
	audit_inode_child(dir, child, AUDIT_TYPE_CHILD_CREATE);
L
Linus Torvalds 已提交
2494 2495 2496 2497
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2498
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2499 2500 2501 2502 2503 2504 2505 2506 2507 2508
}

/*
 * 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 已提交
2509
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2510 2511 2512
		return NULL;
	}

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

2515 2516 2517 2518 2519
	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 已提交
2520 2521
	}

2522 2523 2524 2525 2526
	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 已提交
2527 2528
	}

I
Ingo Molnar 已提交
2529
	mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
2530
	mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_PARENT2);
L
Linus Torvalds 已提交
2531 2532
	return NULL;
}
2533
EXPORT_SYMBOL(lock_rename);
L
Linus Torvalds 已提交
2534 2535 2536

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2537
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2538
	if (p1 != p2) {
2539
		mutex_unlock(&p2->d_inode->i_mutex);
2540
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2541 2542
	}
}
2543
EXPORT_SYMBOL(unlock_rename);
L
Linus Torvalds 已提交
2544

A
Al Viro 已提交
2545
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2546
		bool want_excl)
L
Linus Torvalds 已提交
2547
{
2548
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2549 2550 2551
	if (error)
		return error;

A
Al Viro 已提交
2552
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2553 2554 2555 2556 2557 2558
		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 已提交
2559
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2560
	if (!error)
2561
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2562 2563
	return error;
}
2564
EXPORT_SYMBOL(vfs_create);
L
Linus Torvalds 已提交
2565

A
Al Viro 已提交
2566
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2567
{
2568
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2569 2570 2571
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2572 2573 2574 2575
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2576 2577 2578
	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2579 2580
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2581
		return -ELOOP;
C
Christoph Hellwig 已提交
2582 2583 2584 2585 2586 2587
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2588
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
2589
			return -EACCES;
C
Christoph Hellwig 已提交
2590 2591 2592
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2593
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2594
		break;
2595
	}
2596

2597
	error = inode_permission(inode, acc_mode);
2598 2599
	if (error)
		return error;
M
Mimi Zohar 已提交
2600

L
Linus Torvalds 已提交
2601 2602 2603 2604
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2605
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2606
			return -EPERM;
L
Linus Torvalds 已提交
2607
		if (flag & O_TRUNC)
2608
			return -EPERM;
L
Linus Torvalds 已提交
2609 2610 2611
	}

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

2615
	return 0;
2616
}
L
Linus Torvalds 已提交
2617

2618
static int handle_truncate(struct file *filp)
2619
{
2620
	struct path *path = &filp->f_path;
2621 2622 2623 2624 2625 2626 2627
	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.
	 */
2628
	error = locks_verify_locked(filp);
2629
	if (!error)
2630
		error = security_path_truncate(path);
2631 2632 2633
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2634
				    filp);
2635 2636
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2637
	return error;
L
Linus Torvalds 已提交
2638 2639
}

2640 2641
static inline int open_to_namei_flags(int flag)
{
2642 2643
	if ((flag & O_ACCMODE) == 3)
		flag--;
2644 2645 2646
	return flag;
}

M
Miklos Szeredi 已提交
2647 2648 2649 2650 2651 2652 2653 2654 2655 2656 2657 2658 2659
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);
}

2660 2661 2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2672
/*
 * 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.
 */
2673 2674 2675
static int atomic_open(struct nameidata *nd, struct dentry *dentry,
			struct path *path, struct file *file,
			const struct open_flags *op,
2676
			bool got_write, bool need_lookup,
2677
			int *opened)
M
Miklos Szeredi 已提交
2678 2679 2680 2681 2682 2683 2684 2685
{
	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;
2686
	bool excl;
M
Miklos Szeredi 已提交
2687 2688 2689 2690 2691

	BUG_ON(dentry->d_inode);

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

2696
	mode = op->mode;
M
Miklos Szeredi 已提交
2697 2698 2699
	if ((open_flag & O_CREAT) && !IS_POSIXACL(dir))
		mode &= ~current_umask();

2700 2701
	excl = (open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT);
	if (excl)
M
Miklos Szeredi 已提交
2702 2703 2704 2705 2706 2707 2708 2709 2710 2711 2712
		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).
	 */
2713 2714 2715
	if (((open_flag & (O_CREAT | O_TRUNC)) ||
	    (open_flag & O_ACCMODE) != O_RDONLY) && unlikely(!got_write)) {
		if (!(open_flag & O_CREAT)) {
M
Miklos Szeredi 已提交
2716 2717 2718 2719 2720 2721 2722
			/*
			 * 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 */
2723
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2724 2725 2726
			goto no_open;
		} else {
			/* No side effects, safe to clear O_CREAT */
2727
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2728 2729 2730 2731 2732
			open_flag &= ~O_CREAT;
		}
	}

	if (open_flag & O_CREAT) {
2733
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2734 2735 2736 2737 2738 2739 2740 2741 2742 2743 2744
		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 已提交
2745 2746 2747
	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,
2748
				      opened);
A
Al Viro 已提交
2749 2750 2751
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2752 2753 2754
		goto out;
	}

A
Al Viro 已提交
2755
	if (error) {	/* returned 1, that is */
A
Al Viro 已提交
2756
		if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2757
			error = -EIO;
M
Miklos Szeredi 已提交
2758 2759
			goto out;
		}
A
Al Viro 已提交
2760
		if (file->f_path.dentry) {
M
Miklos Szeredi 已提交
2761
			dput(dentry);
A
Al Viro 已提交
2762
			dentry = file->f_path.dentry;
M
Miklos Szeredi 已提交
2763
		}
2764 2765 2766 2767 2768 2769 2770 2771 2772 2773 2774 2775 2776
		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;
			}
2777
		}
M
Miklos Szeredi 已提交
2778 2779 2780 2781 2782 2783 2784
		goto looked_up;
	}

	/*
	 * We didn't have the inode before the open, so check open permission
	 * here.
	 */
2785 2786 2787 2788 2789 2790
	acc_mode = op->acc_mode;
	if (*opened & FILE_CREATED) {
		WARN_ON(!(open_flag & O_CREAT));
		fsnotify_create(dir, dentry);
		acc_mode = MAY_OPEN;
	}
2791 2792 2793
	error = may_open(&file->f_path, acc_mode, open_flag);
	if (error)
		fput(file);
M
Miklos Szeredi 已提交
2794 2795 2796

out:
	dput(dentry);
2797
	return error;
M
Miklos Szeredi 已提交
2798 2799 2800

no_open:
	if (need_lookup) {
2801
		dentry = lookup_real(dir, dentry, nd->flags);
M
Miklos Szeredi 已提交
2802
		if (IS_ERR(dentry))
2803
			return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2804 2805 2806 2807

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

2808
			error = create_error;
M
Miklos Szeredi 已提交
2809 2810 2811 2812 2813 2814
			if ((open_flag & O_EXCL)) {
				if (!dentry->d_inode)
					goto out;
			} else if (!dentry->d_inode) {
				goto out;
			} else if ((open_flag & O_TRUNC) &&
2815
				   d_is_reg(dentry)) {
M
Miklos Szeredi 已提交
2816 2817 2818 2819 2820 2821 2822 2823
				goto out;
			}
			/* will fail later, go on to get the right error */
		}
	}
looked_up:
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2824
	return 1;
M
Miklos Szeredi 已提交
2825 2826
}

M
Miklos Szeredi 已提交
2827
/*
2828
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2829 2830 2831
 *
 * Must be called with i_mutex held on parent.
 *
2832 2833 2834 2835 2836 2837 2838 2839 2840 2841 2842 2843
 * 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 已提交
2844
 */
2845 2846 2847
static int lookup_open(struct nameidata *nd, struct path *path,
			struct file *file,
			const struct open_flags *op,
2848
			bool got_write, int *opened)
M
Miklos Szeredi 已提交
2849 2850
{
	struct dentry *dir = nd->path.dentry;
2851
	struct inode *dir_inode = dir->d_inode;
M
Miklos Szeredi 已提交
2852 2853
	struct dentry *dentry;
	int error;
2854
	bool need_lookup;
M
Miklos Szeredi 已提交
2855

2856
	*opened &= ~FILE_CREATED;
2857
	dentry = lookup_dcache(&nd->last, dir, nd->flags, &need_lookup);
M
Miklos Szeredi 已提交
2858
	if (IS_ERR(dentry))
2859
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2860

M
Miklos Szeredi 已提交
2861 2862 2863 2864 2865
	/* 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) {
2866
		return atomic_open(nd, dentry, path, file, op, got_write,
2867
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2868 2869
	}

2870 2871 2872
	if (need_lookup) {
		BUG_ON(dentry->d_inode);

2873
		dentry = lookup_real(dir_inode, dentry, nd->flags);
2874
		if (IS_ERR(dentry))
2875
			return PTR_ERR(dentry);
2876 2877
	}

M
Miklos Szeredi 已提交
2878 2879 2880 2881 2882 2883 2884 2885 2886 2887
	/* 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
2888
		 * the 'struct file' in finish_open().
M
Miklos Szeredi 已提交
2889
		 */
2890 2891
		if (!got_write) {
			error = -EROFS;
M
Miklos Szeredi 已提交
2892
			goto out_dput;
2893
		}
2894
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2895 2896 2897
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto out_dput;
A
Al Viro 已提交
2898 2899
		error = vfs_create(dir->d_inode, dentry, mode,
				   nd->flags & LOOKUP_EXCL);
M
Miklos Szeredi 已提交
2900 2901 2902
		if (error)
			goto out_dput;
	}
M
Miklos Szeredi 已提交
2903
out_no_open:
M
Miklos Szeredi 已提交
2904 2905
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2906
	return 1;
M
Miklos Szeredi 已提交
2907 2908 2909

out_dput:
	dput(dentry);
2910
	return error;
M
Miklos Szeredi 已提交
2911 2912
}

N
Nick Piggin 已提交
2913
/*
2914
 * Handle the last step of open()
N
Nick Piggin 已提交
2915
 */
2916
static int do_last(struct nameidata *nd,
2917
		   struct file *file, const struct open_flags *op,
2918
		   int *opened, struct filename *name)
2919
{
2920
	struct dentry *dir = nd->path.dentry;
2921
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
2922
	bool will_truncate = (open_flag & O_TRUNC) != 0;
2923
	bool got_write = false;
A
Al Viro 已提交
2924
	int acc_mode = op->acc_mode;
2925
	struct inode *inode;
2926
	struct path save_parent = { .dentry = NULL, .mnt = NULL };
2927
	struct path path;
2928
	bool retried = false;
A
Al Viro 已提交
2929
	int error;
2930

2931 2932 2933
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

2934
	if (nd->last_type != LAST_NORM) {
2935 2936
		error = handle_dots(nd, nd->last_type);
		if (error)
2937
			return error;
M
Miklos Szeredi 已提交
2938
		goto finish_open;
2939
	}
2940

2941
	if (!(open_flag & O_CREAT)) {
2942 2943 2944
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
		/* we _can_ be in RCU mode here */
2945
		error = lookup_fast(nd, &path, &inode);
2946 2947 2948 2949
		if (likely(!error))
			goto finish_lookup;

		if (error < 0)
2950
			goto out;
2951 2952

		BUG_ON(nd->inode != dir->d_inode);
2953 2954 2955 2956 2957 2958 2959 2960 2961
	} 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)
2962
			return error;
2963

2964
		audit_inode(name, dir, LOOKUP_PARENT);
2965 2966 2967
		error = -EISDIR;
		/* trailing slashes? */
		if (nd->last.name[nd->last.len])
2968
			goto out;
2969
	}
A
Al Viro 已提交
2970

2971
retry_lookup:
2972 2973 2974 2975 2976 2977 2978 2979 2980 2981
	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.
		 */
	}
2982
	mutex_lock(&dir->d_inode->i_mutex);
2983
	error = lookup_open(nd, &path, file, op, got_write, opened);
M
Miklos Szeredi 已提交
2984
	mutex_unlock(&dir->d_inode->i_mutex);
2985

2986 2987
	if (error <= 0) {
		if (error)
M
Miklos Szeredi 已提交
2988 2989
			goto out;

2990
		if ((*opened & FILE_CREATED) ||
A
Al Viro 已提交
2991
		    !S_ISREG(file_inode(file)->i_mode))
M
Miklos Szeredi 已提交
2992
			will_truncate = false;
M
Miklos Szeredi 已提交
2993

2994
		audit_inode(name, file->f_path.dentry, 0);
M
Miklos Szeredi 已提交
2995 2996
		goto opened;
	}
2997

2998
	if (*opened & FILE_CREATED) {
2999
		/* Don't check for write permission, don't truncate */
3000
		open_flag &= ~O_TRUNC;
M
Miklos Szeredi 已提交
3001
		will_truncate = false;
A
Al Viro 已提交
3002
		acc_mode = MAY_OPEN;
3003
		path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
3004
		goto finish_open_created;
3005 3006 3007
	}

	/*
3008
	 * create/update audit record if it already exists.
3009
	 */
3010 3011
	if (d_is_positive(path.dentry))
		audit_inode(name, path.dentry, 0);
3012

M
Miklos Szeredi 已提交
3013 3014 3015 3016 3017
	/*
	 * If atomic_open() acquired write access it is dropped now due to
	 * possible mount and symlink following (this might be optimized away if
	 * necessary...)
	 */
3018
	if (got_write) {
M
Miklos Szeredi 已提交
3019
		mnt_drop_write(nd->path.mnt);
3020
		got_write = false;
M
Miklos Szeredi 已提交
3021 3022
	}

3023
	error = -EEXIST;
A
Al Viro 已提交
3024
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))
3025 3026
		goto exit_dput;

3027
	error = follow_managed(&path, nd->flags);
3028 3029
	if (error < 0)
		goto exit_dput;
3030

3031 3032 3033
	if (error)
		nd->flags |= LOOKUP_JUMPED;

3034
	BUG_ON(nd->flags & LOOKUP_RCU);
3035
	inode = path.dentry->d_inode;
3036
	error = -ENOENT;
3037 3038
	if (d_is_negative(path.dentry)) {
		path_to_nameidata(&path, nd);
3039
		goto out;
3040
	}
3041
finish_lookup:
3042
	if (should_follow_link(path.dentry, nd->flags & LOOKUP_FOLLOW)) {
3043
		if (nd->flags & LOOKUP_RCU) {
3044 3045
			if (unlikely(nd->path.mnt != path.mnt ||
				     unlazy_walk(nd, path.dentry))) {
3046
				error = -ECHILD;
3047
				goto out;
3048 3049
			}
		}
3050 3051
		BUG_ON(inode != path.dentry->d_inode);
		nd->link = path;
3052
		return 1;
3053
	}
3054

3055 3056
	if (unlikely(d_is_symlink(path.dentry)) && !(open_flag & O_PATH)) {
		path_to_nameidata(&path, nd);
3057 3058 3059 3060
		error = -ELOOP;
		goto out;
	}

3061 3062
	if ((nd->flags & LOOKUP_RCU) || nd->path.mnt != path.mnt) {
		path_to_nameidata(&path, nd);
3063 3064
	} else {
		save_parent.dentry = nd->path.dentry;
3065 3066
		save_parent.mnt = mntget(path.mnt);
		nd->path.dentry = path.dentry;
3067 3068

	}
3069
	nd->inode = inode;
3070
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
3071
finish_open:
3072
	error = complete_walk(nd);
3073 3074
	if (error) {
		path_put(&save_parent);
3075
		return error;
3076
	}
3077
	audit_inode(name, nd->path.dentry, 0);
3078
	error = -EISDIR;
M
Miklos Szeredi 已提交
3079
	if ((open_flag & O_CREAT) && d_is_dir(nd->path.dentry))
3080
		goto out;
3081
	error = -ENOTDIR;
M
Miklos Szeredi 已提交
3082
	if ((nd->flags & LOOKUP_DIRECTORY) && !d_can_lookup(nd->path.dentry))
3083
		goto out;
3084
	if (!d_is_reg(nd->path.dentry))
M
Miklos Szeredi 已提交
3085
		will_truncate = false;
3086

3087 3088 3089
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
3090
			goto out;
3091
		got_write = true;
3092
	}
M
Miklos Szeredi 已提交
3093
finish_open_created:
A
Al Viro 已提交
3094
	error = may_open(&nd->path, acc_mode, open_flag);
3095
	if (error)
3096
		goto out;
M
Miklos Szeredi 已提交
3097 3098 3099 3100 3101 3102

	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 已提交
3103
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
3104
			goto stale_open;
3105
		goto out;
M
Miklos Szeredi 已提交
3106
	}
3107
opened:
3108
	error = open_check_o_direct(file);
3109 3110
	if (error)
		goto exit_fput;
3111
	error = ima_file_check(file, op->acc_mode, *opened);
3112 3113 3114 3115
	if (error)
		goto exit_fput;

	if (will_truncate) {
3116
		error = handle_truncate(file);
3117 3118
		if (error)
			goto exit_fput;
3119
	}
3120
out:
3121
	if (got_write)
3122
		mnt_drop_write(nd->path.mnt);
3123
	path_put(&save_parent);
3124
	terminate_walk(nd);
3125
	return error;
3126 3127

exit_dput:
3128
	path_put_conditional(&path, nd);
3129
	goto out;
3130
exit_fput:
3131 3132
	fput(file);
	goto out;
3133

M
Miklos Szeredi 已提交
3134 3135 3136 3137 3138 3139 3140 3141 3142 3143 3144
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;
3145
	if (got_write) {
M
Miklos Szeredi 已提交
3146
		mnt_drop_write(nd->path.mnt);
3147
		got_write = false;
M
Miklos Szeredi 已提交
3148 3149 3150
	}
	retried = true;
	goto retry_lookup;
3151 3152
}

3153 3154 3155 3156 3157 3158 3159 3160
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;
3161
	int error = path_lookupat(dfd, pathname,
3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 3179 3180 3181 3182 3183 3184 3185 3186 3187 3188 3189 3190
				  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);
3191 3192
	/* Don't check for other permissions, the inode was just created */
	error = may_open(&nd->path, MAY_OPEN, op->open_flag);
3193 3194 3195 3196 3197 3198 3199
	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);
3200
	if (error) {
3201
		fput(file);
3202 3203 3204 3205 3206 3207
	} 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);
	}
3208 3209 3210 3211 3212 3213 3214
out2:
	mnt_drop_write(nd->path.mnt);
out:
	path_put(&nd->path);
	return error;
}

3215
static struct file *path_openat(int dfd, struct filename *pathname,
A
Al Viro 已提交
3216
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
3217
{
A
Al Viro 已提交
3218
	struct file *file;
3219
	int opened = 0;
3220
	int error;
N
Nick Piggin 已提交
3221

A
Al Viro 已提交
3222
	file = get_empty_filp();
3223 3224
	if (IS_ERR(file))
		return file;
N
Nick Piggin 已提交
3225

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

A
Al Viro 已提交
3228
	if (unlikely(file->f_flags & __O_TMPFILE)) {
3229
		error = do_tmpfile(dfd, pathname, nd, flags, op, file, &opened);
A
Al Viro 已提交
3230
		goto out2;
3231 3232
	}

A
Al Viro 已提交
3233
	error = path_init(dfd, pathname, flags, nd);
N
Nick Piggin 已提交
3234
	if (unlikely(error))
3235
		goto out;
L
Linus Torvalds 已提交
3236

3237
	error = do_last(nd, file, op, &opened, pathname);
3238
	while (unlikely(error > 0)) { /* trailing symlink */
A
Al Viro 已提交
3239
		struct path link = nd->link;
A
Al Viro 已提交
3240
		void *cookie;
A
Al Viro 已提交
3241
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
3242
		error = trailing_symlink(&link, nd, &cookie);
3243
		if (unlikely(error))
3244
			break;
3245
		error = do_last(nd, file, op, &opened, pathname);
3246
		put_link(nd, &link, cookie);
3247
	}
A
Al Viro 已提交
3248
out:
A
Al Viro 已提交
3249
	path_cleanup(nd);
A
Al Viro 已提交
3250
out2:
3251 3252
	if (!(opened & FILE_OPENED)) {
		BUG_ON(!error);
A
Al Viro 已提交
3253
		put_filp(file);
3254
	}
3255 3256 3257 3258 3259 3260 3261 3262 3263 3264
	if (unlikely(error)) {
		if (error == -EOPENSTALE) {
			if (flags & LOOKUP_RCU)
				error = -ECHILD;
			else
				error = -ESTALE;
		}
		file = ERR_PTR(error);
	}
	return file;
L
Linus Torvalds 已提交
3265 3266
}

3267
struct file *do_filp_open(int dfd, struct filename *pathname,
3268
		const struct open_flags *op)
3269
{
A
Al Viro 已提交
3270
	struct nameidata nd;
3271
	int flags = op->lookup_flags;
3272 3273
	struct file *filp;

A
Al Viro 已提交
3274
	filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_RCU);
3275
	if (unlikely(filp == ERR_PTR(-ECHILD)))
A
Al Viro 已提交
3276
		filp = path_openat(dfd, pathname, &nd, op, flags);
3277
	if (unlikely(filp == ERR_PTR(-ESTALE)))
A
Al Viro 已提交
3278
		filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_REVAL);
3279 3280 3281
	return filp;
}

A
Al Viro 已提交
3282
struct file *do_file_open_root(struct dentry *dentry, struct vfsmount *mnt,
3283
		const char *name, const struct open_flags *op)
A
Al Viro 已提交
3284 3285 3286
{
	struct nameidata nd;
	struct file *file;
3287
	struct filename *filename;
3288
	int flags = op->lookup_flags | LOOKUP_ROOT;
A
Al Viro 已提交
3289 3290 3291 3292

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

3293
	if (d_is_symlink(dentry) && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3294 3295
		return ERR_PTR(-ELOOP);

3296 3297 3298 3299 3300
	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 已提交
3301
	if (unlikely(file == ERR_PTR(-ECHILD)))
3302
		file = path_openat(-1, filename, &nd, op, flags);
A
Al Viro 已提交
3303
	if (unlikely(file == ERR_PTR(-ESTALE)))
3304 3305
		file = path_openat(-1, filename, &nd, op, flags | LOOKUP_REVAL);
	putname(filename);
A
Al Viro 已提交
3306 3307 3308
	return file;
}

3309
static struct dentry *filename_create(int dfd, struct filename *name,
3310
				struct path *path, unsigned int lookup_flags)
L
Linus Torvalds 已提交
3311
{
3312
	struct dentry *dentry = ERR_PTR(-EEXIST);
A
Al Viro 已提交
3313
	struct nameidata nd;
3314
	int err2;
3315 3316 3317 3318 3319 3320 3321 3322 3323
	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;

3324
	error = filename_lookup(dfd, name, LOOKUP_PARENT|lookup_flags, &nd);
A
Al Viro 已提交
3325 3326
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
3327

3328 3329 3330 3331
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
A
Al Viro 已提交
3332 3333 3334 3335
	if (nd.last_type != LAST_NORM)
		goto out;
	nd.flags &= ~LOOKUP_PARENT;
	nd.flags |= LOOKUP_CREATE | LOOKUP_EXCL;
3336

3337 3338
	/* don't fail immediately if it's r/o, at least try to report other errors */
	err2 = mnt_want_write(nd.path.mnt);
3339 3340 3341
	/*
	 * Do the final lookup.
	 */
A
Al Viro 已提交
3342
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
A
Al Viro 已提交
3343
	dentry = __lookup_hash(&nd.last, nd.path.dentry, nd.flags);
L
Linus Torvalds 已提交
3344
	if (IS_ERR(dentry))
3345
		goto unlock;
3346

3347
	error = -EEXIST;
3348
	if (d_is_positive(dentry))
3349
		goto fail;
3350

3351 3352 3353 3354 3355 3356
	/*
	 * 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 已提交
3357
	if (unlikely(!is_dir && nd.last.name[nd.last.len])) {
3358
		error = -ENOENT;
A
Al Viro 已提交
3359
		goto fail;
3360
	}
3361 3362
	if (unlikely(err2)) {
		error = err2;
3363
		goto fail;
3364
	}
A
Al Viro 已提交
3365
	*path = nd.path;
L
Linus Torvalds 已提交
3366 3367
	return dentry;
fail:
3368 3369 3370
	dput(dentry);
	dentry = ERR_PTR(error);
unlock:
A
Al Viro 已提交
3371
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
3372 3373
	if (!err2)
		mnt_drop_write(nd.path.mnt);
A
Al Viro 已提交
3374 3375
out:
	path_put(&nd.path);
L
Linus Torvalds 已提交
3376 3377
	return dentry;
}
3378 3379 3380 3381

struct dentry *kern_path_create(int dfd, const char *pathname,
				struct path *path, unsigned int lookup_flags)
{
3382 3383 3384 3385 3386 3387 3388 3389
	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;
3390
}
3391 3392
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3393 3394 3395 3396
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3397
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3398 3399 3400 3401
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

3402 3403
struct dentry *user_path_create(int dfd, const char __user *pathname,
				struct path *path, unsigned int lookup_flags)
3404
{
3405
	struct filename *tmp = getname(pathname);
3406 3407 3408
	struct dentry *res;
	if (IS_ERR(tmp))
		return ERR_CAST(tmp);
3409
	res = filename_create(dfd, tmp, path, lookup_flags);
3410 3411 3412 3413 3414
	putname(tmp);
	return res;
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3415
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3416
{
3417
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3418 3419 3420 3421

	if (error)
		return error;

3422
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3423 3424
		return -EPERM;

A
Al Viro 已提交
3425
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3426 3427
		return -EPERM;

3428 3429 3430 3431
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3432 3433 3434 3435 3436
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3437
	if (!error)
3438
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3439 3440
	return error;
}
3441
EXPORT_SYMBOL(vfs_mknod);
L
Linus Torvalds 已提交
3442

A
Al Viro 已提交
3443
static int may_mknod(umode_t mode)
3444 3445 3446 3447 3448 3449 3450 3451 3452 3453 3454 3455 3456 3457 3458 3459
{
	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 已提交
3460
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
3461
		unsigned, dev)
L
Linus Torvalds 已提交
3462
{
3463
	struct dentry *dentry;
3464 3465
	struct path path;
	int error;
3466
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3467

3468 3469 3470
	error = may_mknod(mode);
	if (error)
		return error;
3471 3472
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3473 3474
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3475

3476
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3477
		mode &= ~current_umask();
3478
	error = security_path_mknod(&path, dentry, mode, dev);
3479
	if (error)
3480
		goto out;
3481
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3482
		case 0: case S_IFREG:
A
Al Viro 已提交
3483
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
L
Linus Torvalds 已提交
3484 3485
			break;
		case S_IFCHR: case S_IFBLK:
3486
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3487 3488 3489
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3490
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3491 3492
			break;
	}
3493
out:
A
Al Viro 已提交
3494
	done_path_create(&path, dentry);
3495 3496 3497 3498
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3499 3500 3501
	return error;
}

A
Al Viro 已提交
3502
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3503 3504 3505 3506
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

3507
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3508
{
3509
	int error = may_create(dir, dentry);
3510
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3511 3512 3513 3514

	if (error)
		return error;

A
Al Viro 已提交
3515
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3516 3517 3518 3519 3520 3521 3522
		return -EPERM;

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

3523 3524 3525
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3526
	error = dir->i_op->mkdir(dir, dentry, mode);
3527
	if (!error)
3528
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3529 3530
	return error;
}
3531
EXPORT_SYMBOL(vfs_mkdir);
L
Linus Torvalds 已提交
3532

3533
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
3534
{
3535
	struct dentry *dentry;
3536 3537
	struct path path;
	int error;
3538
	unsigned int lookup_flags = LOOKUP_DIRECTORY;
L
Linus Torvalds 已提交
3539

3540 3541
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3542
	if (IS_ERR(dentry))
3543
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3544

3545
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3546
		mode &= ~current_umask();
3547
	error = security_path_mkdir(&path, dentry, mode);
3548 3549
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3550
	done_path_create(&path, dentry);
3551 3552 3553 3554
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3555 3556 3557
	return error;
}

3558
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3559 3560 3561 3562
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
3563
/*
S
Sage Weil 已提交
3564
 * The dentry_unhash() helper will try to drop the dentry early: we
3565
 * should have a usage count of 1 if we're the only user of this
S
Sage Weil 已提交
3566 3567
 * dentry, and if that is true (possibly after pruning the dcache),
 * then we drop the dentry now.
L
Linus Torvalds 已提交
3568 3569 3570 3571 3572 3573 3574 3575 3576 3577 3578 3579
 *
 * 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)
{
3580
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
3581
	spin_lock(&dentry->d_lock);
3582
	if (dentry->d_lockref.count == 1)
L
Linus Torvalds 已提交
3583 3584 3585
		__d_drop(dentry);
	spin_unlock(&dentry->d_lock);
}
3586
EXPORT_SYMBOL(dentry_unhash);
L
Linus Torvalds 已提交
3587 3588 3589 3590 3591 3592 3593 3594

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

	if (error)
		return error;

A
Al Viro 已提交
3595
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3596 3597
		return -EPERM;

3598
	dget(dentry);
3599
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3600 3601

	error = -EBUSY;
3602
	if (is_local_mountpoint(dentry))
S
Sage Weil 已提交
3603 3604 3605 3606 3607 3608
		goto out;

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

3609
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3610 3611 3612 3613 3614 3615
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);
3616
	detach_mounts(dentry);
S
Sage Weil 已提交
3617 3618

out:
3619
	mutex_unlock(&dentry->d_inode->i_mutex);
3620
	dput(dentry);
S
Sage Weil 已提交
3621
	if (!error)
L
Linus Torvalds 已提交
3622 3623 3624
		d_delete(dentry);
	return error;
}
3625
EXPORT_SYMBOL(vfs_rmdir);
L
Linus Torvalds 已提交
3626

3627
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3628 3629
{
	int error = 0;
3630
	struct filename *name;
L
Linus Torvalds 已提交
3631
	struct dentry *dentry;
3632 3633 3634
	struct path path;
	struct qstr last;
	int type;
3635 3636
	unsigned int lookup_flags = 0;
retry:
3637 3638
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3639 3640
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3641

3642
	switch (type) {
3643 3644 3645 3646 3647 3648 3649 3650 3651
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3652
	}
3653

3654
	error = mnt_want_write(path.mnt);
3655 3656
	if (error)
		goto exit1;
3657

3658 3659
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3660
	error = PTR_ERR(dentry);
3661 3662
	if (IS_ERR(dentry))
		goto exit2;
3663 3664 3665 3666
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3667
	error = security_path_rmdir(&path, dentry);
3668
	if (error)
3669
		goto exit3;
3670
	error = vfs_rmdir(path.dentry->d_inode, dentry);
3671
exit3:
3672 3673
	dput(dentry);
exit2:
3674 3675
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3676
exit1:
3677
	path_put(&path);
L
Linus Torvalds 已提交
3678
	putname(name);
3679 3680 3681 3682
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3683 3684 3685
	return error;
}

3686
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3687 3688 3689 3690
{
	return do_rmdir(AT_FDCWD, pathname);
}

3691 3692 3693 3694 3695 3696 3697 3698 3699 3700 3701 3702 3703 3704 3705 3706 3707 3708 3709
/**
 * 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 已提交
3710
{
J
J. Bruce Fields 已提交
3711
	struct inode *target = dentry->d_inode;
L
Linus Torvalds 已提交
3712 3713 3714 3715 3716
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3717
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3718 3719
		return -EPERM;

J
J. Bruce Fields 已提交
3720
	mutex_lock(&target->i_mutex);
3721
	if (is_local_mountpoint(dentry))
L
Linus Torvalds 已提交
3722 3723 3724
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3725
		if (!error) {
3726 3727
			error = try_break_deleg(target, delegated_inode);
			if (error)
3728
				goto out;
L
Linus Torvalds 已提交
3729
			error = dir->i_op->unlink(dir, dentry);
3730
			if (!error) {
3731
				dont_mount(dentry);
3732 3733
				detach_mounts(dentry);
			}
3734
		}
L
Linus Torvalds 已提交
3735
	}
3736
out:
J
J. Bruce Fields 已提交
3737
	mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3738 3739 3740

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

L
Linus Torvalds 已提交
3745 3746
	return error;
}
3747
EXPORT_SYMBOL(vfs_unlink);
L
Linus Torvalds 已提交
3748 3749 3750

/*
 * Make sure that the actual truncation of the file will occur outside its
3751
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3752 3753 3754
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3755
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3756
{
3757
	int error;
3758
	struct filename *name;
L
Linus Torvalds 已提交
3759
	struct dentry *dentry;
3760 3761 3762
	struct path path;
	struct qstr last;
	int type;
L
Linus Torvalds 已提交
3763
	struct inode *inode = NULL;
3764
	struct inode *delegated_inode = NULL;
3765 3766
	unsigned int lookup_flags = 0;
retry:
3767 3768
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3769 3770
	if (IS_ERR(name))
		return PTR_ERR(name);
3771

L
Linus Torvalds 已提交
3772
	error = -EISDIR;
3773
	if (type != LAST_NORM)
L
Linus Torvalds 已提交
3774
		goto exit1;
3775

3776
	error = mnt_want_write(path.mnt);
3777 3778
	if (error)
		goto exit1;
3779
retry_deleg:
3780 3781
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3782 3783 3784
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
3785
		if (last.name[last.len])
3786
			goto slashes;
L
Linus Torvalds 已提交
3787
		inode = dentry->d_inode;
3788
		if (d_is_negative(dentry))
3789 3790
			goto slashes;
		ihold(inode);
3791
		error = security_path_unlink(&path, dentry);
3792
		if (error)
3793
			goto exit2;
3794
		error = vfs_unlink(path.dentry->d_inode, dentry, &delegated_inode);
3795
exit2:
L
Linus Torvalds 已提交
3796 3797
		dput(dentry);
	}
3798
	mutex_unlock(&path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3799 3800
	if (inode)
		iput(inode);	/* truncate the inode here */
3801 3802
	inode = NULL;
	if (delegated_inode) {
3803
		error = break_deleg_wait(&delegated_inode);
3804 3805 3806
		if (!error)
			goto retry_deleg;
	}
3807
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3808
exit1:
3809
	path_put(&path);
L
Linus Torvalds 已提交
3810
	putname(name);
3811 3812 3813 3814 3815
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		inode = NULL;
		goto retry;
	}
L
Linus Torvalds 已提交
3816 3817 3818
	return error;

slashes:
3819 3820
	if (d_is_negative(dentry))
		error = -ENOENT;
M
Miklos Szeredi 已提交
3821
	else if (d_is_dir(dentry))
3822 3823 3824
		error = -EISDIR;
	else
		error = -ENOTDIR;
L
Linus Torvalds 已提交
3825 3826 3827
	goto exit2;
}

3828
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3829 3830 3831 3832 3833 3834 3835 3836 3837 3838
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

3839
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3840 3841 3842 3843
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3844
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3845
{
3846
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3847 3848 3849 3850

	if (error)
		return error;

A
Al Viro 已提交
3851
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3852 3853 3854 3855 3856 3857 3858
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3859
	if (!error)
3860
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3861 3862
	return error;
}
3863
EXPORT_SYMBOL(vfs_symlink);
L
Linus Torvalds 已提交
3864

3865 3866
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3867
{
3868
	int error;
3869
	struct filename *from;
3870
	struct dentry *dentry;
3871
	struct path path;
3872
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3873 3874

	from = getname(oldname);
3875
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3876
		return PTR_ERR(from);
3877 3878
retry:
	dentry = user_path_create(newdfd, newname, &path, lookup_flags);
3879 3880
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3881
		goto out_putname;
3882

3883
	error = security_path_symlink(&path, dentry, from->name);
3884
	if (!error)
3885
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
3886
	done_path_create(&path, dentry);
3887 3888 3889 3890
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
3891
out_putname:
L
Linus Torvalds 已提交
3892 3893 3894 3895
	putname(from);
	return error;
}

3896
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3897 3898 3899 3900
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

J
J. Bruce Fields 已提交
3901 3902 3903 3904 3905 3906 3907 3908 3909 3910 3911 3912 3913 3914 3915 3916 3917 3918 3919 3920
/**
 * 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 已提交
3921 3922
{
	struct inode *inode = old_dentry->d_inode;
3923
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3924 3925 3926 3927 3928
	int error;

	if (!inode)
		return -ENOENT;

3929
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
3930 3931 3932 3933 3934 3935 3936 3937 3938 3939 3940
	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 已提交
3941
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
3942
		return -EPERM;
3943
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
3944 3945 3946 3947 3948 3949
		return -EPERM;

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

3950
	mutex_lock(&inode->i_mutex);
3951
	/* Make sure we don't allow creating hardlink to an unlinked file */
3952
	if (inode->i_nlink == 0 && !(inode->i_state & I_LINKABLE))
3953
		error =  -ENOENT;
3954 3955
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
J
J. Bruce Fields 已提交
3956 3957 3958 3959 3960
	else {
		error = try_break_deleg(inode, delegated_inode);
		if (!error)
			error = dir->i_op->link(old_dentry, dir, new_dentry);
	}
3961 3962 3963 3964 3965 3966

	if (!error && (inode->i_state & I_LINKABLE)) {
		spin_lock(&inode->i_lock);
		inode->i_state &= ~I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
3967
	mutex_unlock(&inode->i_mutex);
3968
	if (!error)
3969
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
3970 3971
	return error;
}
3972
EXPORT_SYMBOL(vfs_link);
L
Linus Torvalds 已提交
3973 3974 3975 3976 3977 3978 3979 3980 3981 3982

/*
 * 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
 */
3983 3984
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
3985 3986
{
	struct dentry *new_dentry;
3987
	struct path old_path, new_path;
J
J. Bruce Fields 已提交
3988
	struct inode *delegated_inode = NULL;
3989
	int how = 0;
L
Linus Torvalds 已提交
3990 3991
	int error;

3992
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
3993
		return -EINVAL;
3994
	/*
3995 3996 3997
	 * 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.
3998
	 */
3999 4000 4001
	if (flags & AT_EMPTY_PATH) {
		if (!capable(CAP_DAC_READ_SEARCH))
			return -ENOENT;
4002
		how = LOOKUP_EMPTY;
4003
	}
4004 4005 4006

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
4007
retry:
4008
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
4009
	if (error)
4010 4011
		return error;

4012 4013
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
4014
	error = PTR_ERR(new_dentry);
4015
	if (IS_ERR(new_dentry))
4016 4017 4018 4019 4020
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
4021 4022 4023
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
4024
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
4025
	if (error)
4026
		goto out_dput;
J
J. Bruce Fields 已提交
4027
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry, &delegated_inode);
4028
out_dput:
A
Al Viro 已提交
4029
	done_path_create(&new_path, new_dentry);
J
J. Bruce Fields 已提交
4030 4031
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
4032 4033
		if (!error) {
			path_put(&old_path);
J
J. Bruce Fields 已提交
4034
			goto retry;
4035
		}
J
J. Bruce Fields 已提交
4036
	}
4037
	if (retry_estale(error, how)) {
4038
		path_put(&old_path);
4039 4040 4041
		how |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
4042
out:
4043
	path_put(&old_path);
L
Linus Torvalds 已提交
4044 4045 4046 4047

	return error;
}

4048
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
4049
{
4050
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4051 4052
}

4053 4054 4055 4056 4057 4058 4059
/**
 * 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 已提交
4060
 * @flags:	rename flags
4061 4062 4063 4064 4065 4066 4067 4068 4069 4070 4071 4072 4073 4074
 *
 * 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 已提交
4075 4076 4077
 * 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:
4078
 *	a) we can get into loop creation.
L
Linus Torvalds 已提交
4079 4080
 *	b) race potential - two innocent renames can create a loop together.
 *	   That's where 4.4 screws up. Current fix: serialization on
4081
 *	   sb->s_vfs_rename_mutex. We might be more accurate, but that's another
L
Linus Torvalds 已提交
4082
 *	   story.
4083 4084
 *	c) we have to lock _four_ objects - parents and victim (if it exists),
 *	   and source (if it is not a directory).
4085
 *	   And that - after we got ->i_mutex on parents (until then we don't know
L
Linus Torvalds 已提交
4086 4087
 *	   whether the target exists).  Solution: try to be smart with locking
 *	   order for inodes.  We rely on the fact that tree topology may change
4088
 *	   only under ->s_vfs_rename_mutex _and_ that parent of the object we
L
Linus Torvalds 已提交
4089 4090 4091
 *	   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,
4092
 *	   lock child" and rename is under ->s_vfs_rename_mutex.
L
Linus Torvalds 已提交
4093 4094 4095
 *	   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.
4096
 *	d) conversion from fhandle to dentry may come in the wrong moment - when
4097
 *	   we are removing the target. Solution: we will have to grab ->i_mutex
L
Linus Torvalds 已提交
4098
 *	   in the fhandle_to_dentry code. [FIXME - current nfsfh.c relies on
4099
 *	   ->i_mutex on parents, which works but leads to some truly excessive
L
Linus Torvalds 已提交
4100 4101
 *	   locking].
 */
4102 4103
int vfs_rename(struct inode *old_dir, struct dentry *old_dentry,
	       struct inode *new_dir, struct dentry *new_dentry,
M
Miklos Szeredi 已提交
4104
	       struct inode **delegated_inode, unsigned int flags)
L
Linus Torvalds 已提交
4105
{
4106 4107 4108 4109
	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 已提交
4110
	struct inode *target = new_dentry->d_inode;
M
Miklos Szeredi 已提交
4111 4112
	bool new_is_dir = false;
	unsigned max_links = new_dir->i_sb->s_max_links;
4113 4114 4115 4116 4117 4118 4119 4120

	if (source == target)
		return 0;

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

M
Miklos Szeredi 已提交
4121
	if (!target) {
4122
		error = may_create(new_dir, new_dentry);
M
Miklos Szeredi 已提交
4123 4124 4125 4126 4127 4128 4129 4130
	} 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);
	}
4131 4132 4133
	if (error)
		return error;

M
Miklos Szeredi 已提交
4134
	if (!old_dir->i_op->rename && !old_dir->i_op->rename2)
4135
		return -EPERM;
L
Linus Torvalds 已提交
4136

M
Miklos Szeredi 已提交
4137 4138 4139
	if (flags && !old_dir->i_op->rename2)
		return -EINVAL;

L
Linus Torvalds 已提交
4140 4141 4142 4143
	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
M
Miklos Szeredi 已提交
4144 4145 4146 4147 4148 4149 4150 4151 4152 4153 4154
	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 已提交
4155 4156
	}

4157 4158
	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry,
				      flags);
L
Linus Torvalds 已提交
4159 4160 4161
	if (error)
		return error;

4162
	old_name = fsnotify_oldname_init(old_dentry->d_name.name);
4163
	dget(new_dentry);
M
Miklos Szeredi 已提交
4164
	if (!is_dir || (flags & RENAME_EXCHANGE))
4165 4166
		lock_two_nondirectories(source, target);
	else if (target)
4167
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
4168 4169

	error = -EBUSY;
4170
	if (is_local_mountpoint(old_dentry) || is_local_mountpoint(new_dentry))
S
Sage Weil 已提交
4171 4172
		goto out;

M
Miklos Szeredi 已提交
4173
	if (max_links && new_dir != old_dir) {
4174
		error = -EMLINK;
M
Miklos Szeredi 已提交
4175
		if (is_dir && !new_is_dir && new_dir->i_nlink >= max_links)
4176
			goto out;
M
Miklos Szeredi 已提交
4177 4178 4179 4180 4181 4182 4183
		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) {
4184
		error = try_break_deleg(source, delegated_inode);
4185 4186
		if (error)
			goto out;
M
Miklos Szeredi 已提交
4187 4188 4189 4190 4191
	}
	if (target && !new_is_dir) {
		error = try_break_deleg(target, delegated_inode);
		if (error)
			goto out;
4192
	}
M
Miklos Szeredi 已提交
4193
	if (!old_dir->i_op->rename2) {
M
Miklos Szeredi 已提交
4194 4195 4196
		error = old_dir->i_op->rename(old_dir, old_dentry,
					      new_dir, new_dentry);
	} else {
M
Miklos Szeredi 已提交
4197
		WARN_ON(old_dir->i_op->rename != NULL);
M
Miklos Szeredi 已提交
4198 4199 4200
		error = old_dir->i_op->rename2(old_dir, old_dentry,
					       new_dir, new_dentry, flags);
	}
S
Sage Weil 已提交
4201 4202 4203
	if (error)
		goto out;

M
Miklos Szeredi 已提交
4204
	if (!(flags & RENAME_EXCHANGE) && target) {
4205 4206
		if (is_dir)
			target->i_flags |= S_DEAD;
S
Sage Weil 已提交
4207
		dont_mount(new_dentry);
4208
		detach_mounts(new_dentry);
4209
	}
M
Miklos Szeredi 已提交
4210 4211 4212 4213 4214 4215
	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 已提交
4216
out:
M
Miklos Szeredi 已提交
4217
	if (!is_dir || (flags & RENAME_EXCHANGE))
4218 4219 4220
		unlock_two_nondirectories(source, target);
	else if (target)
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
4221
	dput(new_dentry);
M
Miklos Szeredi 已提交
4222
	if (!error) {
4223
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
M
Miklos Szeredi 已提交
4224 4225 4226 4227 4228 4229
			      !(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 已提交
4230 4231
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
4232 4233
	return error;
}
4234
EXPORT_SYMBOL(vfs_rename);
L
Linus Torvalds 已提交
4235

M
Miklos Szeredi 已提交
4236 4237
SYSCALL_DEFINE5(renameat2, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, unsigned int, flags)
L
Linus Torvalds 已提交
4238
{
4239 4240
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
4241 4242 4243
	struct path old_path, new_path;
	struct qstr old_last, new_last;
	int old_type, new_type;
4244
	struct inode *delegated_inode = NULL;
4245 4246
	struct filename *from;
	struct filename *to;
4247
	unsigned int lookup_flags = 0, target_flags = LOOKUP_RENAME_TARGET;
4248
	bool should_retry = false;
4249
	int error;
M
Miklos Szeredi 已提交
4250

M
Miklos Szeredi 已提交
4251
	if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
M
Miklos Szeredi 已提交
4252 4253
		return -EINVAL;

M
Miklos Szeredi 已提交
4254 4255
	if ((flags & (RENAME_NOREPLACE | RENAME_WHITEOUT)) &&
	    (flags & RENAME_EXCHANGE))
M
Miklos Szeredi 已提交
4256 4257
		return -EINVAL;

M
Miklos Szeredi 已提交
4258 4259 4260
	if ((flags & RENAME_WHITEOUT) && !capable(CAP_MKNOD))
		return -EPERM;

4261 4262 4263
	if (flags & RENAME_EXCHANGE)
		target_flags = 0;

4264
retry:
4265 4266
	from = user_path_parent(olddfd, oldname,
				&old_path, &old_last, &old_type, lookup_flags);
4267 4268
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
4269
		goto exit;
4270
	}
L
Linus Torvalds 已提交
4271

4272 4273
	to = user_path_parent(newdfd, newname,
				&new_path, &new_last, &new_type, lookup_flags);
4274 4275
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
4276
		goto exit1;
4277
	}
L
Linus Torvalds 已提交
4278 4279

	error = -EXDEV;
4280
	if (old_path.mnt != new_path.mnt)
L
Linus Torvalds 已提交
4281 4282 4283
		goto exit2;

	error = -EBUSY;
4284
	if (old_type != LAST_NORM)
L
Linus Torvalds 已提交
4285 4286
		goto exit2;

M
Miklos Szeredi 已提交
4287 4288
	if (flags & RENAME_NOREPLACE)
		error = -EEXIST;
4289
	if (new_type != LAST_NORM)
L
Linus Torvalds 已提交
4290 4291
		goto exit2;

4292
	error = mnt_want_write(old_path.mnt);
4293 4294 4295
	if (error)
		goto exit2;

4296
retry_deleg:
4297
	trap = lock_rename(new_path.dentry, old_path.dentry);
L
Linus Torvalds 已提交
4298

4299
	old_dentry = __lookup_hash(&old_last, old_path.dentry, lookup_flags);
L
Linus Torvalds 已提交
4300 4301 4302 4303 4304
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
4305
	if (d_is_negative(old_dentry))
L
Linus Torvalds 已提交
4306
		goto exit4;
4307
	new_dentry = __lookup_hash(&new_last, new_path.dentry, lookup_flags | target_flags);
M
Miklos Szeredi 已提交
4308 4309 4310 4311 4312 4313
	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 已提交
4314 4315 4316 4317 4318 4319 4320
	if (flags & RENAME_EXCHANGE) {
		error = -ENOENT;
		if (d_is_negative(new_dentry))
			goto exit5;

		if (!d_is_dir(new_dentry)) {
			error = -ENOTDIR;
4321
			if (new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4322 4323 4324
				goto exit5;
		}
	}
L
Linus Torvalds 已提交
4325
	/* unless the source is a directory trailing slashes give -ENOTDIR */
M
Miklos Szeredi 已提交
4326
	if (!d_is_dir(old_dentry)) {
L
Linus Torvalds 已提交
4327
		error = -ENOTDIR;
4328
		if (old_last.name[old_last.len])
M
Miklos Szeredi 已提交
4329
			goto exit5;
4330
		if (!(flags & RENAME_EXCHANGE) && new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4331
			goto exit5;
L
Linus Torvalds 已提交
4332 4333 4334 4335
	}
	/* source should not be ancestor of target */
	error = -EINVAL;
	if (old_dentry == trap)
M
Miklos Szeredi 已提交
4336
		goto exit5;
L
Linus Torvalds 已提交
4337
	/* target should not be an ancestor of source */
M
Miklos Szeredi 已提交
4338 4339
	if (!(flags & RENAME_EXCHANGE))
		error = -ENOTEMPTY;
L
Linus Torvalds 已提交
4340 4341 4342
	if (new_dentry == trap)
		goto exit5;

4343 4344
	error = security_path_rename(&old_path, old_dentry,
				     &new_path, new_dentry, flags);
4345
	if (error)
4346
		goto exit5;
4347 4348
	error = vfs_rename(old_path.dentry->d_inode, old_dentry,
			   new_path.dentry->d_inode, new_dentry,
M
Miklos Szeredi 已提交
4349
			   &delegated_inode, flags);
L
Linus Torvalds 已提交
4350 4351 4352 4353 4354
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
4355
	unlock_rename(new_path.dentry, old_path.dentry);
4356 4357 4358 4359 4360
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
		if (!error)
			goto retry_deleg;
	}
4361
	mnt_drop_write(old_path.mnt);
L
Linus Torvalds 已提交
4362
exit2:
4363 4364
	if (retry_estale(error, lookup_flags))
		should_retry = true;
4365
	path_put(&new_path);
4366
	putname(to);
L
Linus Torvalds 已提交
4367
exit1:
4368
	path_put(&old_path);
L
Linus Torvalds 已提交
4369
	putname(from);
4370 4371 4372 4373 4374
	if (should_retry) {
		should_retry = false;
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
4375
exit:
L
Linus Torvalds 已提交
4376 4377 4378
	return error;
}

M
Miklos Szeredi 已提交
4379 4380 4381 4382 4383 4384
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
	return sys_renameat2(olddfd, oldname, newdfd, newname, 0);
}

4385
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4386
{
M
Miklos Szeredi 已提交
4387
	return sys_renameat2(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4388 4389
}

M
Miklos Szeredi 已提交
4390 4391 4392 4393 4394 4395 4396 4397 4398 4399 4400 4401 4402 4403
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 已提交
4404
int readlink_copy(char __user *buffer, int buflen, const char *link)
L
Linus Torvalds 已提交
4405
{
A
Al Viro 已提交
4406
	int len = PTR_ERR(link);
L
Linus Torvalds 已提交
4407 4408 4409 4410 4411 4412 4413 4414 4415 4416 4417
	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 已提交
4418
EXPORT_SYMBOL(readlink_copy);
L
Linus Torvalds 已提交
4419 4420 4421 4422 4423 4424 4425 4426

/*
 * 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)
{
4427
	void *cookie;
4428
	const char *link = dentry->d_inode->i_link;
4429
	int res;
4430

4431 4432 4433 4434 4435
	if (!link) {
		link = dentry->d_inode->i_op->follow_link(dentry, &cookie, NULL);
		if (IS_ERR(link))
			return PTR_ERR(link);
	}
4436 4437 4438
	res = readlink_copy(buffer, buflen, link);
	if (cookie && dentry->d_inode->i_op->put_link)
		dentry->d_inode->i_op->put_link(dentry, cookie);
4439
	return res;
L
Linus Torvalds 已提交
4440
}
4441
EXPORT_SYMBOL(generic_readlink);
L
Linus Torvalds 已提交
4442 4443 4444 4445

/* get the link contents into pagecache */
static char *page_getlink(struct dentry * dentry, struct page **ppage)
{
4446 4447
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
4448
	struct address_space *mapping = dentry->d_inode->i_mapping;
4449
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
4450
	if (IS_ERR(page))
4451
		return (char*)page;
L
Linus Torvalds 已提交
4452
	*ppage = page;
4453 4454 4455
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
4456 4457 4458 4459 4460
}

int page_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
	struct page *page = NULL;
A
Al Viro 已提交
4461
	int res = readlink_copy(buffer, buflen, page_getlink(dentry, &page));
L
Linus Torvalds 已提交
4462 4463 4464 4465 4466 4467
	if (page) {
		kunmap(page);
		page_cache_release(page);
	}
	return res;
}
4468
EXPORT_SYMBOL(page_readlink);
L
Linus Torvalds 已提交
4469

4470
const char *page_follow_link_light(struct dentry *dentry, void **cookie, struct nameidata *nd)
L
Linus Torvalds 已提交
4471
{
4472
	struct page *page = NULL;
4473 4474 4475 4476
	char *res = page_getlink(dentry, &page);
	if (!IS_ERR(res))
		*cookie = page;
	return res;
L
Linus Torvalds 已提交
4477
}
4478
EXPORT_SYMBOL(page_follow_link_light);
L
Linus Torvalds 已提交
4479

4480
void page_put_link(struct dentry *dentry, void *cookie)
L
Linus Torvalds 已提交
4481
{
4482
	struct page *page = cookie;
4483 4484
	kunmap(page);
	page_cache_release(page);
L
Linus Torvalds 已提交
4485
}
4486
EXPORT_SYMBOL(page_put_link);
L
Linus Torvalds 已提交
4487

4488 4489 4490 4491
/*
 * 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 已提交
4492 4493
{
	struct address_space *mapping = inode->i_mapping;
4494
	struct page *page;
4495
	void *fsdata;
4496
	int err;
L
Linus Torvalds 已提交
4497
	char *kaddr;
4498 4499 4500
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
4501

4502
retry:
4503
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
4504
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
4505
	if (err)
4506 4507
		goto fail;

4508
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
4509
	memcpy(kaddr, symname, len-1);
4510
	kunmap_atomic(kaddr);
4511 4512 4513

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4514 4515
	if (err < 0)
		goto fail;
4516 4517 4518
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4519 4520 4521 4522 4523
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}
4524
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4525

4526 4527 4528
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4529
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
4530
}
4531
EXPORT_SYMBOL(page_symlink);
4532

4533
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
4534 4535 4536 4537 4538
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};
EXPORT_SYMBOL(page_symlink_inode_operations);