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 497 498 499 500 501 502 503
struct nameidata {
	struct path	path;
	struct qstr	last;
	struct path	root;
	struct inode	*inode; /* path.dentry.d_inode */
	unsigned int	flags;
	unsigned	seq, m_seq;
	int		last_type;
	unsigned	depth;
504
	struct file	*base;
505 506
};

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

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

	BUG_ON(!(nd->flags & LOOKUP_RCU));
534 535

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

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

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

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

A
Al Viro 已提交
586
	rcu_read_unlock();
N
Nick Piggin 已提交
587
	return 0;
A
Al Viro 已提交
588

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

603
static inline int d_revalidate(struct dentry *dentry, unsigned int flags)
604
{
605
	return dentry->d_op->d_revalidate(dentry, flags);
606 607
}

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

623 624 625 626
	if (nd->flags & LOOKUP_RCU) {
		nd->flags &= ~LOOKUP_RCU;
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
627

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

A
Al Viro 已提交
646 647 648
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

649
	if (likely(!(dentry->d_flags & DCACHE_OP_WEAK_REVALIDATE)))
650 651
		return 0;

652
	status = dentry->d_op->d_weak_revalidate(dentry, nd->flags);
653 654 655
	if (status > 0)
		return 0;

A
Al Viro 已提交
656
	if (!status)
657
		status = -ESTALE;
A
Al Viro 已提交
658

659
	path_put(&nd->path);
660 661 662
	return status;
}

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

668 669
static int link_path_walk(const char *, struct nameidata *);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

880 881 882 883 884
static __always_inline int
follow_link(struct path *link, struct nameidata *nd, void **p)
{
	const char *s = get_link(link, nd, p);
	int error;
885

886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901
	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);
L
Linus Torvalds 已提交
902 903 904
	return error;
}

N
Nick Piggin 已提交
905 906
static int follow_up_rcu(struct path *path)
{
907 908
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
N
Nick Piggin 已提交
909 910
	struct dentry *mountpoint;

911 912
	parent = mnt->mnt_parent;
	if (&parent->mnt == path->mnt)
N
Nick Piggin 已提交
913
		return 0;
914
	mountpoint = mnt->mnt_mountpoint;
N
Nick Piggin 已提交
915
	path->dentry = mountpoint;
916
	path->mnt = &parent->mnt;
N
Nick Piggin 已提交
917 918 919
	return 1;
}

920 921 922 923 924 925 926 927 928 929
/*
 * 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 已提交
930
int follow_up(struct path *path)
L
Linus Torvalds 已提交
931
{
932 933
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
L
Linus Torvalds 已提交
934
	struct dentry *mountpoint;
N
Nick Piggin 已提交
935

A
Al Viro 已提交
936
	read_seqlock_excl(&mount_lock);
937
	parent = mnt->mnt_parent;
A
Al Viro 已提交
938
	if (parent == mnt) {
A
Al Viro 已提交
939
		read_sequnlock_excl(&mount_lock);
L
Linus Torvalds 已提交
940 941
		return 0;
	}
942
	mntget(&parent->mnt);
943
	mountpoint = dget(mnt->mnt_mountpoint);
A
Al Viro 已提交
944
	read_sequnlock_excl(&mount_lock);
A
Al Viro 已提交
945 946 947
	dput(path->dentry);
	path->dentry = mountpoint;
	mntput(path->mnt);
948
	path->mnt = &parent->mnt;
L
Linus Torvalds 已提交
949 950
	return 1;
}
951
EXPORT_SYMBOL(follow_up);
L
Linus Torvalds 已提交
952

N
Nick Piggin 已提交
953
/*
954 955 956
 * Perform an automount
 * - return -EISDIR to tell follow_managed() to stop and return the path we
 *   were called with.
L
Linus Torvalds 已提交
957
 */
958 959
static int follow_automount(struct path *path, unsigned flags,
			    bool *need_mntput)
N
Nick Piggin 已提交
960
{
961
	struct vfsmount *mnt;
962
	int err;
963 964 965 966

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

967 968 969 970 971 972 973 974 975 976
	/* 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.
977
	 */
978
	if (!(flags & (LOOKUP_PARENT | LOOKUP_DIRECTORY |
979
		     LOOKUP_OPEN | LOOKUP_CREATE | LOOKUP_AUTOMOUNT)) &&
980 981 982
	    path->dentry->d_inode)
		return -EISDIR;

983 984 985 986 987 988 989 990 991 992 993 994 995 996 997
	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 已提交
998
		if (PTR_ERR(mnt) == -EISDIR && (flags & LOOKUP_PARENT))
999 1000
			return -EREMOTE;
		return PTR_ERR(mnt);
N
Nick Piggin 已提交
1001
	}
1002

1003 1004
	if (!mnt) /* mount collision */
		return 0;
N
Nick Piggin 已提交
1005

1006 1007 1008 1009 1010
	if (!*need_mntput) {
		/* lock_mount() may release path->mnt on error */
		mntget(path->mnt);
		*need_mntput = true;
	}
1011
	err = finish_automount(mnt, path);
1012

1013 1014 1015
	switch (err) {
	case -EBUSY:
		/* Someone else made a mount here whilst we were busy */
1016
		return 0;
1017
	case 0:
1018
		path_put(path);
1019 1020 1021
		path->mnt = mnt;
		path->dentry = dget(mnt->mnt_root);
		return 0;
1022 1023
	default:
		return err;
1024
	}
1025

A
Al Viro 已提交
1026 1027
}

1028 1029
/*
 * Handle a dentry that is managed in some way.
1030
 * - Flagged for transit management (autofs)
1031 1032 1033 1034 1035 1036 1037 1038
 * - 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 已提交
1039
{
1040
	struct vfsmount *mnt = path->mnt; /* held by caller, must be left alone */
1041 1042
	unsigned managed;
	bool need_mntput = false;
1043
	int ret = 0;
1044 1045 1046 1047 1048 1049 1050

	/* 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)) {
1051 1052 1053 1054 1055
		/* 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);
1056
			ret = path->dentry->d_op->d_manage(path->dentry, false);
1057
			if (ret < 0)
1058
				break;
1059 1060
		}

1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075
		/* 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 已提交
1076 1077
			 * namespace got unmounted before lookup_mnt() could
			 * get it */
1078 1079 1080 1081 1082 1083
		}

		/* Handle an automount point */
		if (managed & DCACHE_NEED_AUTOMOUNT) {
			ret = follow_automount(path, flags, &need_mntput);
			if (ret < 0)
1084
				break;
1085 1086 1087 1088 1089
			continue;
		}

		/* We didn't change the current path point */
		break;
L
Linus Torvalds 已提交
1090
	}
1091 1092 1093 1094 1095

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

1099
int follow_down_one(struct path *path)
L
Linus Torvalds 已提交
1100 1101 1102
{
	struct vfsmount *mounted;

A
Al Viro 已提交
1103
	mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
1104
	if (mounted) {
A
Al Viro 已提交
1105 1106 1107 1108
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
1109 1110 1111 1112
		return 1;
	}
	return 0;
}
1113
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
1114

1115
static inline int managed_dentry_rcu(struct dentry *dentry)
1116
{
1117 1118
	return (dentry->d_flags & DCACHE_MANAGE_TRANSIT) ?
		dentry->d_op->d_manage(dentry, true) : 0;
1119 1120
}

1121
/*
1122 1123
 * Try to skip to top of mountpoint pile in rcuwalk mode.  Fail if
 * we meet a managed dentry that would need blocking.
1124 1125
 */
static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
1126
			       struct inode **inode)
1127
{
1128
	for (;;) {
1129
		struct mount *mounted;
1130 1131 1132 1133
		/*
		 * Don't forget we might have a non-mountpoint managed dentry
		 * that wants to block transit.
		 */
1134 1135 1136
		switch (managed_dentry_rcu(path->dentry)) {
		case -ECHILD:
		default:
1137
			return false;
1138 1139 1140 1141 1142
		case -EISDIR:
			return true;
		case 0:
			break;
		}
1143 1144

		if (!d_mountpoint(path->dentry))
1145
			return !(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1146

A
Al Viro 已提交
1147
		mounted = __lookup_mnt(path->mnt, path->dentry);
1148 1149
		if (!mounted)
			break;
1150 1151
		path->mnt = &mounted->mnt;
		path->dentry = mounted->mnt.mnt_root;
1152
		nd->flags |= LOOKUP_JUMPED;
1153
		nd->seq = read_seqcount_begin(&path->dentry->d_seq);
1154 1155 1156 1157 1158 1159
		/*
		 * 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;
1160
	}
1161
	return !read_seqretry(&mount_lock, nd->m_seq) &&
1162
		!(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1163 1164
}

N
Nick Piggin 已提交
1165 1166
static int follow_dotdot_rcu(struct nameidata *nd)
{
1167
	struct inode *inode = nd->inode;
1168 1169
	if (!nd->root.mnt)
		set_root_rcu(nd);
N
Nick Piggin 已提交
1170

1171
	while (1) {
N
Nick Piggin 已提交
1172 1173 1174 1175 1176 1177 1178 1179 1180
		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;

1181
			inode = parent->d_inode;
N
Nick Piggin 已提交
1182 1183
			seq = read_seqcount_begin(&parent->d_seq);
			if (read_seqcount_retry(&old->d_seq, nd->seq))
1184
				goto failed;
N
Nick Piggin 已提交
1185 1186 1187 1188 1189 1190
			nd->path.dentry = parent;
			nd->seq = seq;
			break;
		}
		if (!follow_up_rcu(&nd->path))
			break;
1191
		inode = nd->path.dentry->d_inode;
N
Nick Piggin 已提交
1192 1193
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
	}
1194 1195 1196 1197 1198 1199 1200
	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;
1201
		inode = nd->path.dentry->d_inode;
1202
		nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
1203
		if (read_seqretry(&mount_lock, nd->m_seq))
1204 1205
			goto failed;
	}
1206
	nd->inode = inode;
N
Nick Piggin 已提交
1207
	return 0;
1208 1209 1210

failed:
	nd->flags &= ~LOOKUP_RCU;
1211 1212
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
A
Al Viro 已提交
1213
	rcu_read_unlock();
1214
	return -ECHILD;
N
Nick Piggin 已提交
1215 1216
}

1217 1218 1219 1220 1221
/*
 * 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.
 */
1222
int follow_down(struct path *path)
1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241
{
	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);
1242
			ret = path->dentry->d_op->d_manage(
1243
				path->dentry, false);
1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264
			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;
}
1265
EXPORT_SYMBOL(follow_down);
1266

1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282
/*
 * 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 已提交
1283
static void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1284
{
1285 1286
	if (!nd->root.mnt)
		set_root(nd);
1287

L
Linus Torvalds 已提交
1288
	while(1) {
1289
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
1290

A
Al Viro 已提交
1291 1292
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
L
Linus Torvalds 已提交
1293 1294
			break;
		}
1295
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
A
Al Viro 已提交
1296 1297
			/* rare case of legitimate dget_parent()... */
			nd->path.dentry = dget_parent(nd->path.dentry);
L
Linus Torvalds 已提交
1298 1299 1300
			dput(old);
			break;
		}
A
Al Viro 已提交
1301
		if (!follow_up(&nd->path))
L
Linus Torvalds 已提交
1302 1303
			break;
	}
A
Al Viro 已提交
1304
	follow_mount(&nd->path);
N
Nick Piggin 已提交
1305
	nd->inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
1306 1307
}

1308
/*
M
Miklos Szeredi 已提交
1309 1310 1311 1312 1313
 * 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
1314
 */
M
Miklos Szeredi 已提交
1315
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
1316
				    unsigned int flags, bool *need_lookup)
1317 1318
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1319
	int error;
1320

M
Miklos Szeredi 已提交
1321 1322 1323
	*need_lookup = false;
	dentry = d_lookup(dir, name);
	if (dentry) {
J
Jeff Layton 已提交
1324
		if (dentry->d_flags & DCACHE_OP_REVALIDATE) {
1325
			error = d_revalidate(dentry, flags);
M
Miklos Szeredi 已提交
1326 1327 1328 1329
			if (unlikely(error <= 0)) {
				if (error < 0) {
					dput(dentry);
					return ERR_PTR(error);
1330 1331
				} else {
					d_invalidate(dentry);
M
Miklos Szeredi 已提交
1332 1333 1334 1335 1336 1337
					dput(dentry);
					dentry = NULL;
				}
			}
		}
	}
1338

M
Miklos Szeredi 已提交
1339 1340 1341 1342
	if (!dentry) {
		dentry = d_alloc(dir, name);
		if (unlikely(!dentry))
			return ERR_PTR(-ENOMEM);
1343

M
Miklos Szeredi 已提交
1344
		*need_lookup = true;
1345 1346 1347 1348
	}
	return dentry;
}

1349
/*
1350 1351
 * Call i_op->lookup on the dentry.  The dentry must be negative and
 * unhashed.
M
Miklos Szeredi 已提交
1352 1353
 *
 * dir->d_inode->i_mutex must be held
1354
 */
M
Miklos Szeredi 已提交
1355
static struct dentry *lookup_real(struct inode *dir, struct dentry *dentry,
1356
				  unsigned int flags)
1357 1358 1359 1360
{
	struct dentry *old;

	/* Don't create child dentry for a dead directory. */
M
Miklos Szeredi 已提交
1361
	if (unlikely(IS_DEADDIR(dir))) {
1362
		dput(dentry);
1363
		return ERR_PTR(-ENOENT);
1364
	}
1365

1366
	old = dir->i_op->lookup(dir, dentry, flags);
1367 1368 1369 1370 1371 1372 1373
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
}

1374
static struct dentry *__lookup_hash(struct qstr *name,
1375
		struct dentry *base, unsigned int flags)
1376
{
M
Miklos Szeredi 已提交
1377
	bool need_lookup;
1378 1379
	struct dentry *dentry;

1380
	dentry = lookup_dcache(name, base, flags, &need_lookup);
M
Miklos Szeredi 已提交
1381 1382
	if (!need_lookup)
		return dentry;
1383

1384
	return lookup_real(base->d_inode, dentry, flags);
1385 1386
}

L
Linus Torvalds 已提交
1387 1388 1389 1390 1391
/*
 *  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 已提交
1392
static int lookup_fast(struct nameidata *nd,
M
Miklos Szeredi 已提交
1393
		       struct path *path, struct inode **inode)
L
Linus Torvalds 已提交
1394
{
1395
	struct vfsmount *mnt = nd->path.mnt;
N
Nick Piggin 已提交
1396
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1397 1398
	int need_reval = 1;
	int status = 1;
1399 1400
	int err;

1401 1402 1403 1404 1405
	/*
	 * 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 已提交
1406 1407
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1408
		bool negative;
1409
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1410 1411 1412
		if (!dentry)
			goto unlazy;

1413 1414 1415 1416 1417
		/*
		 * This sequence count validates that the inode matches
		 * the dentry name information from lookup.
		 */
		*inode = dentry->d_inode;
1418
		negative = d_is_negative(dentry);
1419 1420
		if (read_seqcount_retry(&dentry->d_seq, seq))
			return -ECHILD;
1421 1422
		if (negative)
			return -ENOENT;
1423 1424 1425 1426 1427 1428 1429 1430

		/*
		 * 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 已提交
1431 1432 1433
		if (__read_seqcount_retry(&parent->d_seq, nd->seq))
			return -ECHILD;
		nd->seq = seq;
A
Al Viro 已提交
1434

1435
		if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE)) {
1436
			status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1437 1438 1439 1440 1441
			if (unlikely(status <= 0)) {
				if (status != -ECHILD)
					need_reval = 0;
				goto unlazy;
			}
1442
		}
N
Nick Piggin 已提交
1443 1444
		path->mnt = mnt;
		path->dentry = dentry;
1445 1446
		if (likely(__follow_mount_rcu(nd, path, inode)))
			return 0;
A
Al Viro 已提交
1447
unlazy:
A
Al Viro 已提交
1448 1449
		if (unlazy_walk(nd, dentry))
			return -ECHILD;
A
Al Viro 已提交
1450
	} else {
A
Al Viro 已提交
1451
		dentry = __d_lookup(parent, &nd->last);
1452
	}
A
Al Viro 已提交
1453

1454 1455 1456
	if (unlikely(!dentry))
		goto need_lookup;

A
Al Viro 已提交
1457
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE) && need_reval)
1458
		status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1459 1460 1461 1462 1463
	if (unlikely(status <= 0)) {
		if (status < 0) {
			dput(dentry);
			return status;
		}
1464 1465 1466
		d_invalidate(dentry);
		dput(dentry);
		goto need_lookup;
1467
	}
M
Miklos Szeredi 已提交
1468

1469 1470 1471 1472
	if (unlikely(d_is_negative(dentry))) {
		dput(dentry);
		return -ENOENT;
	}
1473 1474 1475
	path->mnt = mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
1476 1477
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
1478
		return err;
1479
	}
1480 1481
	if (err)
		nd->flags |= LOOKUP_JUMPED;
1482
	*inode = path->dentry->d_inode;
L
Linus Torvalds 已提交
1483
	return 0;
1484 1485

need_lookup:
M
Miklos Szeredi 已提交
1486 1487 1488 1489
	return 1;
}

/* Fast lookup failed, do it the slow way */
A
Al Viro 已提交
1490
static int lookup_slow(struct nameidata *nd, struct path *path)
M
Miklos Szeredi 已提交
1491 1492 1493 1494 1495
{
	struct dentry *dentry, *parent;
	int err;

	parent = nd->path.dentry;
1496 1497 1498
	BUG_ON(nd->inode != parent->d_inode);

	mutex_lock(&parent->d_inode->i_mutex);
A
Al Viro 已提交
1499
	dentry = __lookup_hash(&nd->last, parent, nd->flags);
1500 1501 1502
	mutex_unlock(&parent->d_inode->i_mutex);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
1503 1504 1505 1506 1507 1508 1509 1510 1511 1512
	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 已提交
1513 1514
}

1515 1516 1517
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1518
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1519 1520
		if (err != -ECHILD)
			return err;
A
Al Viro 已提交
1521
		if (unlazy_walk(nd, NULL))
1522 1523
			return -ECHILD;
	}
1524
	return inode_permission(nd->inode, MAY_EXEC);
1525 1526
}

1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538
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;
}

1539 1540 1541 1542 1543 1544
static void terminate_walk(struct nameidata *nd)
{
	if (!(nd->flags & LOOKUP_RCU)) {
		path_put(&nd->path);
	} else {
		nd->flags &= ~LOOKUP_RCU;
1545 1546
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
A
Al Viro 已提交
1547
		rcu_read_unlock();
1548 1549 1550
	}
}

1551 1552 1553 1554 1555 1556
/*
 * 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.
 */
1557
static inline int should_follow_link(struct dentry *dentry, int follow)
1558
{
1559
	return unlikely(d_is_symlink(dentry)) ? follow : 0;
1560 1561
}

A
Al Viro 已提交
1562
static int walk_component(struct nameidata *nd, struct path *path, int follow)
1563 1564 1565 1566 1567 1568 1569 1570
{
	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.
	 */
1571 1572
	if (unlikely(nd->last_type != LAST_NORM))
		return handle_dots(nd, nd->last_type);
A
Al Viro 已提交
1573
	err = lookup_fast(nd, path, &inode);
1574
	if (unlikely(err)) {
M
Miklos Szeredi 已提交
1575 1576 1577
		if (err < 0)
			goto out_err;

A
Al Viro 已提交
1578
		err = lookup_slow(nd, path);
M
Miklos Szeredi 已提交
1579 1580 1581 1582
		if (err < 0)
			goto out_err;

		inode = path->dentry->d_inode;
1583 1584 1585
		err = -ENOENT;
		if (d_is_negative(path->dentry))
			goto out_path_put;
1586
	}
M
Miklos Szeredi 已提交
1587

1588
	if (should_follow_link(path->dentry, follow)) {
A
Al Viro 已提交
1589
		if (nd->flags & LOOKUP_RCU) {
1590 1591
			if (unlikely(nd->path.mnt != path->mnt ||
				     unlazy_walk(nd, path->dentry))) {
M
Miklos Szeredi 已提交
1592 1593
				err = -ECHILD;
				goto out_err;
A
Al Viro 已提交
1594 1595
			}
		}
1596 1597 1598 1599 1600 1601
		BUG_ON(inode != path->dentry->d_inode);
		return 1;
	}
	path_to_nameidata(path, nd);
	nd->inode = inode;
	return 0;
M
Miklos Szeredi 已提交
1602 1603 1604 1605 1606 1607

out_path_put:
	path_to_nameidata(path, nd);
out_err:
	terminate_walk(nd);
	return err;
1608 1609
}

1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625
/*
 * This limits recursive symlink follows to 8, while
 * limiting consecutive symlinks to 40.
 *
 * Without that kind of total limit, nasty chains of consecutive
 * symlinks can cause almost arbitrarily long lookups.
 */
static inline int nested_symlink(struct path *path, struct nameidata *nd)
{
	int res;

	if (unlikely(current->link_count >= MAX_NESTED_LINKS)) {
		path_put_conditional(path, nd);
		path_put(&nd->path);
		return -ELOOP;
	}
1626
	BUG_ON(nd->depth >= MAX_NESTED_LINKS);
1627 1628 1629 1630 1631 1632 1633

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

	do {
		struct path link = *path;
		void *cookie;
1634 1635

		res = follow_link(&link, nd, &cookie);
1636 1637
		if (res)
			break;
1638
		res = walk_component(nd, path, LOOKUP_FOLLOW);
1639
		put_link(nd, &link, cookie);
1640 1641 1642 1643 1644 1645 1646
	} while (res > 0);

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

1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665
/*
 * 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

1666
#include <asm/word-at-a-time.h>
1667

1668
#ifdef CONFIG_64BIT
1669 1670 1671

static inline unsigned int fold_hash(unsigned long hash)
{
1672
	return hash_64(hash, 32);
1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686
}

#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 (;;) {
1687
		a = load_unaligned_zeropad(name);
1688 1689 1690
		if (len < sizeof(unsigned long))
			break;
		hash += a;
1691
		hash *= 9;
1692 1693 1694 1695 1696
		name += sizeof(unsigned long);
		len -= sizeof(unsigned long);
		if (!len)
			goto done;
	}
1697
	mask = bytemask_from_count(len);
1698 1699 1700 1701 1702 1703 1704 1705
	hash += mask & a;
done:
	return fold_hash(hash);
}
EXPORT_SYMBOL(full_name_hash);

/*
 * Calculate the length and hash of the path component, and
1706
 * return the "hash_len" as the result.
1707
 */
1708
static inline u64 hash_name(const char *name)
1709
{
1710 1711
	unsigned long a, b, adata, bdata, mask, hash, len;
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;
1712 1713 1714 1715 1716 1717

	hash = a = 0;
	len = -sizeof(unsigned long);
	do {
		hash = (hash + a) * 9;
		len += sizeof(unsigned long);
1718
		a = load_unaligned_zeropad(name+len);
1719 1720 1721 1722 1723 1724 1725 1726 1727
		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);
1728
	len += find_zero(mask);
1729
	return hashlen_create(fold_hash(hash), len);
1730 1731 1732 1733
}

#else

L
Linus Torvalds 已提交
1734 1735 1736 1737 1738 1739 1740
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);
}
1741
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1742

1743 1744 1745 1746
/*
 * We know there's a real path component here of at least
 * one character.
 */
1747
static inline u64 hash_name(const char *name)
1748 1749 1750 1751 1752 1753 1754 1755 1756 1757
{
	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 != '/');
1758
	return hashlen_create(end_name_hash(hash), len);
1759 1760
}

1761 1762
#endif

L
Linus Torvalds 已提交
1763 1764
/*
 * Name resolution.
1765 1766
 * 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 已提交
1767
 *
1768 1769
 * 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 已提交
1770
 */
1771
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1772 1773 1774 1775 1776 1777 1778
{
	struct path next;
	int err;
	
	while (*name=='/')
		name++;
	if (!*name)
1779
		return 0;
L
Linus Torvalds 已提交
1780 1781 1782

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

1786
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1787 1788 1789
 		if (err)
			break;

1790
		hash_len = hash_name(name);
L
Linus Torvalds 已提交
1791

A
Al Viro 已提交
1792
		type = LAST_NORM;
1793
		if (name[0] == '.') switch (hashlen_len(hash_len)) {
A
Al Viro 已提交
1794
			case 2:
1795
				if (name[1] == '.') {
A
Al Viro 已提交
1796
					type = LAST_DOTDOT;
A
Al Viro 已提交
1797 1798
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
1799 1800 1801 1802
				break;
			case 1:
				type = LAST_DOT;
		}
1803 1804
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
1805
			nd->flags &= ~LOOKUP_JUMPED;
1806
			if (unlikely(parent->d_flags & DCACHE_OP_HASH)) {
1807
				struct qstr this = { { .hash_len = hash_len }, .name = name };
1808
				err = parent->d_op->d_hash(parent, &this);
1809 1810
				if (err < 0)
					break;
1811 1812
				hash_len = this.hash_len;
				name = this.name;
1813 1814
			}
		}
A
Al Viro 已提交
1815

1816 1817
		nd->last.hash_len = hash_len;
		nd->last.name = name;
1818 1819
		nd->last_type = type;

1820 1821
		name += hashlen_len(hash_len);
		if (!*name)
1822
			return 0;
1823 1824 1825 1826 1827
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
1828 1829 1830
			name++;
		} while (unlikely(*name == '/'));
		if (!*name)
1831 1832
			return 0;

1833
		err = walk_component(nd, &next, LOOKUP_FOLLOW);
1834 1835
		if (err < 0)
			return err;
L
Linus Torvalds 已提交
1836

1837
		if (err) {
1838
			err = nested_symlink(&next, nd);
L
Linus Torvalds 已提交
1839
			if (err)
1840
				return err;
N
Nick Piggin 已提交
1841
		}
M
Miklos Szeredi 已提交
1842
		if (!d_can_lookup(nd->path.dentry)) {
1843 1844 1845
			err = -ENOTDIR; 
			break;
		}
L
Linus Torvalds 已提交
1846
	}
1847
	terminate_walk(nd);
L
Linus Torvalds 已提交
1848 1849 1850
	return err;
}

A
Al Viro 已提交
1851
static int path_init(int dfd, const struct filename *name, unsigned int flags,
1852
		     struct nameidata *nd)
N
Nick Piggin 已提交
1853 1854
{
	int retval = 0;
A
Al Viro 已提交
1855
	const char *s = name->name;
N
Nick Piggin 已提交
1856 1857

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
1858
	nd->flags = flags | LOOKUP_JUMPED | LOOKUP_PARENT;
N
Nick Piggin 已提交
1859
	nd->depth = 0;
1860
	nd->base = NULL;
1861
	if (flags & LOOKUP_ROOT) {
1862 1863
		struct dentry *root = nd->root.dentry;
		struct inode *inode = root->d_inode;
A
Al Viro 已提交
1864
		if (*s) {
M
Miklos Szeredi 已提交
1865
			if (!d_can_lookup(root))
A
Al Viro 已提交
1866 1867 1868 1869 1870
				return -ENOTDIR;
			retval = inode_permission(inode, MAY_EXEC);
			if (retval)
				return retval;
		}
1871 1872 1873
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1874
			rcu_read_lock();
1875
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1876
			nd->m_seq = read_seqbegin(&mount_lock);
1877 1878 1879
		} else {
			path_get(&nd->path);
		}
1880
		goto done;
1881 1882
	}

N
Nick Piggin 已提交
1883 1884
	nd->root.mnt = NULL;

A
Al Viro 已提交
1885
	nd->m_seq = read_seqbegin(&mount_lock);
A
Al Viro 已提交
1886
	if (*s == '/') {
A
Al Viro 已提交
1887
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1888
			rcu_read_lock();
1889
			nd->seq = set_root_rcu(nd);
A
Al Viro 已提交
1890 1891 1892 1893 1894
		} else {
			set_root(nd);
			path_get(&nd->root);
		}
		nd->path = nd->root;
N
Nick Piggin 已提交
1895
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1896 1897 1898
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
1899

A
Al Viro 已提交
1900
			rcu_read_lock();
N
Nick Piggin 已提交
1901

A
Al Viro 已提交
1902 1903 1904 1905 1906 1907 1908 1909
			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 已提交
1910
	} else {
1911
		/* Caller must check execute permissions on the starting path component */
1912
		struct fd f = fdget_raw(dfd);
N
Nick Piggin 已提交
1913 1914
		struct dentry *dentry;

1915 1916
		if (!f.file)
			return -EBADF;
N
Nick Piggin 已提交
1917

1918
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
1919

A
Al Viro 已提交
1920
		if (*s) {
M
Miklos Szeredi 已提交
1921
			if (!d_can_lookup(dentry)) {
1922 1923 1924
				fdput(f);
				return -ENOTDIR;
			}
A
Al Viro 已提交
1925
		}
N
Nick Piggin 已提交
1926

1927
		nd->path = f.file->f_path;
A
Al Viro 已提交
1928
		if (flags & LOOKUP_RCU) {
1929
			if (f.flags & FDPUT_FPUT)
1930
				nd->base = f.file;
A
Al Viro 已提交
1931
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1932
			rcu_read_lock();
A
Al Viro 已提交
1933
		} else {
1934 1935
			path_get(&nd->path);
			fdput(f);
A
Al Viro 已提交
1936
		}
N
Nick Piggin 已提交
1937 1938 1939
	}

	nd->inode = nd->path.dentry->d_inode;
1940
	if (!(flags & LOOKUP_RCU))
1941
		goto done;
1942
	if (likely(!read_seqcount_retry(&nd->path.dentry->d_seq, nd->seq)))
1943
		goto done;
1944 1945 1946 1947
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
	rcu_read_unlock();
	return -ECHILD;
1948 1949
done:
	current->total_link_count = 0;
A
Al Viro 已提交
1950
	return link_path_walk(s, nd);
1951 1952
}

A
Al Viro 已提交
1953 1954 1955 1956 1957 1958 1959 1960
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);
1961 1962
}

1963 1964 1965 1966 1967 1968
static inline int lookup_last(struct nameidata *nd, struct path *path)
{
	if (nd->last_type == LAST_NORM && nd->last.name[nd->last.len])
		nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;

	nd->flags &= ~LOOKUP_PARENT;
1969
	return walk_component(nd, path, nd->flags & LOOKUP_FOLLOW);
1970 1971
}

1972
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
1973
static int path_lookupat(int dfd, const struct filename *name,
1974 1975
				unsigned int flags, struct nameidata *nd)
{
1976 1977
	struct path path;
	int err;
N
Nick Piggin 已提交
1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992

	/*
	 * 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 已提交
1993
	err = path_init(dfd, name, flags, nd);
1994 1995 1996 1997 1998
	if (!err && !(flags & LOOKUP_PARENT)) {
		err = lookup_last(nd, &path);
		while (err > 0) {
			void *cookie;
			struct path link = path;
K
Kees Cook 已提交
1999 2000 2001
			err = may_follow_link(&link, nd);
			if (unlikely(err))
				break;
2002
			nd->flags |= LOOKUP_PARENT;
2003
			err = follow_link(&link, nd, &cookie);
2004 2005 2006
			if (err)
				break;
			err = lookup_last(nd, &path);
2007
			put_link(nd, &link, cookie);
2008 2009
		}
	}
A
Al Viro 已提交
2010

2011 2012
	if (!err)
		err = complete_walk(nd);
2013 2014

	if (!err && nd->flags & LOOKUP_DIRECTORY) {
M
Miklos Szeredi 已提交
2015
		if (!d_can_lookup(nd->path.dentry)) {
2016
			path_put(&nd->path);
A
Al Viro 已提交
2017
			err = -ENOTDIR;
2018 2019
		}
	}
A
Al Viro 已提交
2020

A
Al Viro 已提交
2021
	path_cleanup(nd);
2022
	return err;
A
Al Viro 已提交
2023
}
N
Nick Piggin 已提交
2024

2025
static int filename_lookup(int dfd, struct filename *name,
A
Al Viro 已提交
2026 2027
				unsigned int flags, struct nameidata *nd)
{
2028
	int retval = path_lookupat(dfd, name, flags | LOOKUP_RCU, nd);
A
Al Viro 已提交
2029
	if (unlikely(retval == -ECHILD))
2030
		retval = path_lookupat(dfd, name, flags, nd);
A
Al Viro 已提交
2031
	if (unlikely(retval == -ESTALE))
2032
		retval = path_lookupat(dfd, name, flags | LOOKUP_REVAL, nd);
N
Nick Piggin 已提交
2033

2034
	if (likely(!retval))
2035
		audit_inode(name, nd->path.dentry, flags & LOOKUP_PARENT);
2036
	return retval;
L
Linus Torvalds 已提交
2037 2038
}

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

A
Al Viro 已提交
2073 2074 2075
int kern_path(const char *name, unsigned int flags, struct path *path)
{
	struct nameidata nd;
2076 2077 2078 2079 2080 2081 2082 2083 2084
	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 已提交
2085 2086
	return res;
}
2087
EXPORT_SYMBOL(kern_path);
A
Al Viro 已提交
2088

2089 2090 2091 2092 2093 2094
/**
 * 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
2095
 * @path: pointer to struct path to fill
2096 2097 2098
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2099
		    struct path *path)
2100
{
2101 2102 2103
	struct filename *filename = getname_kernel(name);
	int err = PTR_ERR(filename);

2104
	BUG_ON(flags & LOOKUP_PARENT);
2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116

	/* 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);
	}
2117
	return err;
2118
}
2119
EXPORT_SYMBOL(vfs_path_lookup);
2120

2121
/**
2122
 * lookup_one_len - filesystem helper to lookup single pathname component
2123 2124 2125 2126
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
2127
 * Note that this routine is purely a helper for filesystem usage and should
2128
 * not be called by generic code.
2129
 */
2130 2131 2132
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
2133
	unsigned int c;
2134
	int err;
2135

2136 2137
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2138 2139
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2140
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2141 2142 2143
	if (!len)
		return ERR_PTR(-EACCES);

A
Al Viro 已提交
2144 2145 2146 2147 2148
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
			return ERR_PTR(-EACCES);
	}

A
Al Viro 已提交
2149 2150 2151 2152 2153
	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2154 2155 2156 2157 2158
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2159
		int err = base->d_op->d_hash(base, &this);
2160 2161 2162
		if (err < 0)
			return ERR_PTR(err);
	}
2163

2164 2165 2166 2167
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

2168
	return __lookup_hash(&this, base, 0);
2169
}
2170
EXPORT_SYMBOL(lookup_one_len);
2171

2172 2173
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2174
{
2175
	struct nameidata nd;
2176
	struct filename *tmp = getname_flags(name, flags, empty);
L
Linus Torvalds 已提交
2177 2178
	int err = PTR_ERR(tmp);
	if (!IS_ERR(tmp)) {
2179 2180 2181

		BUG_ON(flags & LOOKUP_PARENT);

2182
		err = filename_lookup(dfd, tmp, flags, &nd);
L
Linus Torvalds 已提交
2183
		putname(tmp);
2184 2185
		if (!err)
			*path = nd.path;
L
Linus Torvalds 已提交
2186 2187 2188 2189
	}
	return err;
}

2190 2191 2192
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
{
2193
	return user_path_at_empty(dfd, name, flags, path, NULL);
2194
}
2195
EXPORT_SYMBOL(user_path_at);
2196

2197 2198 2199 2200 2201 2202
/*
 * 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.
 */
2203
static struct filename *
2204 2205 2206 2207
user_path_parent(int dfd, const char __user *path,
		 struct path *parent,
		 struct qstr *last,
		 int *type,
2208
		 unsigned int flags)
2209
{
2210
	struct nameidata nd;
2211
	struct filename *s = getname(path);
2212 2213
	int error;

2214 2215 2216
	/* only LOOKUP_REVAL is allowed in extra flags */
	flags &= LOOKUP_REVAL;

2217
	if (IS_ERR(s))
2218
		return s;
2219

2220
	error = filename_lookup(dfd, s, flags | LOOKUP_PARENT, &nd);
2221
	if (error) {
2222
		putname(s);
2223 2224
		return ERR_PTR(error);
	}
2225 2226 2227
	*parent = nd.path;
	*last = nd.last;
	*type = nd.last_type;
2228

2229
	return s;
2230 2231
}

2232
/**
2233
 * mountpoint_last - look up last component for umount
2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259
 * @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
2260
mountpoint_last(struct nameidata *nd, struct path *path)
2261 2262 2263 2264 2265
{
	int error = 0;
	struct dentry *dentry;
	struct dentry *dir = nd->path.dentry;

2266 2267 2268 2269 2270 2271
	/* 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;
		}
2272 2273 2274 2275 2276 2277
	}

	nd->flags &= ~LOOKUP_PARENT;

	if (unlikely(nd->last_type != LAST_NORM)) {
		error = handle_dots(nd, nd->last_type);
2278 2279 2280 2281
		if (error)
			goto out;
		dentry = dget(nd->path.dentry);
		goto done;
2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294
	}

	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;
2295
			mutex_unlock(&dir->d_inode->i_mutex);
2296
			goto out;
2297
		}
2298 2299
		dentry = lookup_real(dir->d_inode, dentry, nd->flags);
		error = PTR_ERR(dentry);
2300 2301
		if (IS_ERR(dentry)) {
			mutex_unlock(&dir->d_inode->i_mutex);
2302
			goto out;
2303
		}
2304 2305 2306
	}
	mutex_unlock(&dir->d_inode->i_mutex);

2307
done:
2308
	if (d_is_negative(dentry)) {
2309 2310 2311
		error = -ENOENT;
		dput(dentry);
		goto out;
2312
	}
2313
	path->dentry = dentry;
2314
	path->mnt = nd->path.mnt;
2315
	if (should_follow_link(dentry, nd->flags & LOOKUP_FOLLOW))
2316
		return 1;
2317
	mntget(path->mnt);
2318 2319 2320
	follow_mount(path);
	error = 0;
out:
2321 2322 2323 2324 2325
	terminate_walk(nd);
	return error;
}

/**
2326
 * path_mountpoint - look up a path to be umounted
2327 2328
 * @dfd:	directory file descriptor to start walk from
 * @name:	full pathname to walk
2329
 * @path:	pointer to container for result
2330 2331 2332
 * @flags:	lookup flags
 *
 * Look up the given name, but don't attempt to revalidate the last component.
2333
 * Returns 0 and "path" will be valid on success; Returns error otherwise.
2334 2335
 */
static int
2336
path_mountpoint(int dfd, const struct filename *name, struct path *path,
2337
		struct nameidata *nd, unsigned int flags)
2338
{
2339
	int err = path_init(dfd, name, flags, nd);
2340
	if (unlikely(err))
2341
		goto out;
2342

2343
	err = mountpoint_last(nd, path);
2344 2345 2346
	while (err > 0) {
		void *cookie;
		struct path link = *path;
2347
		err = may_follow_link(&link, nd);
2348 2349
		if (unlikely(err))
			break;
2350 2351
		nd->flags |= LOOKUP_PARENT;
		err = follow_link(&link, nd, &cookie);
2352 2353
		if (err)
			break;
2354 2355
		err = mountpoint_last(nd, path);
		put_link(nd, &link, cookie);
2356 2357
	}
out:
2358
	path_cleanup(nd);
2359 2360 2361
	return err;
}

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

2381
/**
2382
 * user_path_mountpoint_at - lookup a path from userland in order to umount it
2383 2384 2385 2386 2387 2388 2389 2390 2391 2392 2393 2394 2395
 * @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
2396
user_path_mountpoint_at(int dfd, const char __user *name, unsigned int flags,
2397 2398
			struct path *path)
{
2399
	return filename_mountpoint(dfd, getname(name), path, flags);
2400 2401
}

A
Al Viro 已提交
2402 2403 2404 2405
int
kern_path_mountpoint(int dfd, const char *name, struct path *path,
			unsigned int flags)
{
2406
	return filename_mountpoint(dfd, getname_kernel(name), path, flags);
A
Al Viro 已提交
2407 2408 2409
}
EXPORT_SYMBOL(kern_path_mountpoint);

M
Miklos Szeredi 已提交
2410
int __check_sticky(struct inode *dir, struct inode *inode)
L
Linus Torvalds 已提交
2411
{
2412
	kuid_t fsuid = current_fsuid();
2413

2414
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2415
		return 0;
2416
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2417
		return 0;
2418
	return !capable_wrt_inode_uidgid(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2419
}
M
Miklos Szeredi 已提交
2420
EXPORT_SYMBOL(__check_sticky);
L
Linus Torvalds 已提交
2421 2422 2423 2424 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440

/*
 *	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().
 */
2441
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2442
{
2443
	struct inode *inode = victim->d_inode;
L
Linus Torvalds 已提交
2444 2445
	int error;

2446
	if (d_is_negative(victim))
L
Linus Torvalds 已提交
2447
		return -ENOENT;
2448
	BUG_ON(!inode);
L
Linus Torvalds 已提交
2449 2450

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

2453
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2454 2455 2456 2457
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
2458 2459 2460

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

/*
 * 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 已提交
2502
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2503 2504 2505
		return NULL;
	}

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

2508 2509 2510 2511 2512
	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 已提交
2513 2514
	}

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

I
Ingo Molnar 已提交
2522
	mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
2523
	mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_PARENT2);
L
Linus Torvalds 已提交
2524 2525
	return NULL;
}
2526
EXPORT_SYMBOL(lock_rename);
L
Linus Torvalds 已提交
2527 2528 2529

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2530
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2531
	if (p1 != p2) {
2532
		mutex_unlock(&p2->d_inode->i_mutex);
2533
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2534 2535
	}
}
2536
EXPORT_SYMBOL(unlock_rename);
L
Linus Torvalds 已提交
2537

A
Al Viro 已提交
2538
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2539
		bool want_excl)
L
Linus Torvalds 已提交
2540
{
2541
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2542 2543 2544
	if (error)
		return error;

A
Al Viro 已提交
2545
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2546 2547 2548 2549 2550 2551
		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 已提交
2552
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2553
	if (!error)
2554
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2555 2556
	return error;
}
2557
EXPORT_SYMBOL(vfs_create);
L
Linus Torvalds 已提交
2558

A
Al Viro 已提交
2559
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2560
{
2561
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2562 2563 2564
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2565 2566 2567 2568
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2569 2570 2571
	if (!inode)
		return -ENOENT;

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

2590
	error = inode_permission(inode, acc_mode);
2591 2592
	if (error)
		return error;
M
Mimi Zohar 已提交
2593

L
Linus Torvalds 已提交
2594 2595 2596 2597
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2598
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2599
			return -EPERM;
L
Linus Torvalds 已提交
2600
		if (flag & O_TRUNC)
2601
			return -EPERM;
L
Linus Torvalds 已提交
2602 2603 2604
	}

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

2608
	return 0;
2609
}
L
Linus Torvalds 已提交
2610

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

2633 2634
static inline int open_to_namei_flags(int flag)
{
2635 2636
	if ((flag & O_ACCMODE) == 3)
		flag--;
2637 2638 2639
	return flag;
}

M
Miklos Szeredi 已提交
2640 2641 2642 2643 2644 2645 2646 2647 2648 2649 2650 2651 2652
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);
}

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

	BUG_ON(dentry->d_inode);

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

2689
	mode = op->mode;
M
Miklos Szeredi 已提交
2690 2691 2692
	if ((open_flag & O_CREAT) && !IS_POSIXACL(dir))
		mode &= ~current_umask();

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

	if (open_flag & O_CREAT) {
2726
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2727 2728 2729 2730 2731 2732 2733 2734 2735 2736 2737
		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 已提交
2738 2739 2740
	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,
2741
				      opened);
A
Al Viro 已提交
2742 2743 2744
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2745 2746 2747
		goto out;
	}

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

	/*
	 * We didn't have the inode before the open, so check open permission
	 * here.
	 */
2778 2779 2780 2781 2782 2783
	acc_mode = op->acc_mode;
	if (*opened & FILE_CREATED) {
		WARN_ON(!(open_flag & O_CREAT));
		fsnotify_create(dir, dentry);
		acc_mode = MAY_OPEN;
	}
2784 2785 2786
	error = may_open(&file->f_path, acc_mode, open_flag);
	if (error)
		fput(file);
M
Miklos Szeredi 已提交
2787 2788 2789

out:
	dput(dentry);
2790
	return error;
M
Miklos Szeredi 已提交
2791 2792 2793

no_open:
	if (need_lookup) {
2794
		dentry = lookup_real(dir, dentry, nd->flags);
M
Miklos Szeredi 已提交
2795
		if (IS_ERR(dentry))
2796
			return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2797 2798 2799 2800

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

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

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

2849
	*opened &= ~FILE_CREATED;
2850
	dentry = lookup_dcache(&nd->last, dir, nd->flags, &need_lookup);
M
Miklos Szeredi 已提交
2851
	if (IS_ERR(dentry))
2852
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2853

M
Miklos Szeredi 已提交
2854 2855 2856 2857 2858
	/* 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) {
2859
		return atomic_open(nd, dentry, path, file, op, got_write,
2860
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2861 2862
	}

2863 2864 2865
	if (need_lookup) {
		BUG_ON(dentry->d_inode);

2866
		dentry = lookup_real(dir_inode, dentry, nd->flags);
2867
		if (IS_ERR(dentry))
2868
			return PTR_ERR(dentry);
2869 2870
	}

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

out_dput:
	dput(dentry);
2903
	return error;
M
Miklos Szeredi 已提交
2904 2905
}

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

2923 2924 2925
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

2926
	if (nd->last_type != LAST_NORM) {
2927 2928
		error = handle_dots(nd, nd->last_type);
		if (error)
2929
			return error;
M
Miklos Szeredi 已提交
2930
		goto finish_open;
2931
	}
2932

2933
	if (!(open_flag & O_CREAT)) {
2934 2935 2936
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
		/* we _can_ be in RCU mode here */
A
Al Viro 已提交
2937
		error = lookup_fast(nd, path, &inode);
2938 2939 2940 2941
		if (likely(!error))
			goto finish_lookup;

		if (error < 0)
2942
			goto out;
2943 2944

		BUG_ON(nd->inode != dir->d_inode);
2945 2946 2947 2948 2949 2950 2951 2952 2953
	} 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)
2954
			return error;
2955

2956
		audit_inode(name, dir, LOOKUP_PARENT);
2957 2958 2959
		error = -EISDIR;
		/* trailing slashes? */
		if (nd->last.name[nd->last.len])
2960
			goto out;
2961
	}
A
Al Viro 已提交
2962

2963
retry_lookup:
2964 2965 2966 2967 2968 2969 2970 2971 2972 2973
	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.
		 */
	}
2974
	mutex_lock(&dir->d_inode->i_mutex);
2975
	error = lookup_open(nd, path, file, op, got_write, opened);
M
Miklos Szeredi 已提交
2976
	mutex_unlock(&dir->d_inode->i_mutex);
2977

2978 2979
	if (error <= 0) {
		if (error)
M
Miklos Szeredi 已提交
2980 2981
			goto out;

2982
		if ((*opened & FILE_CREATED) ||
A
Al Viro 已提交
2983
		    !S_ISREG(file_inode(file)->i_mode))
M
Miklos Szeredi 已提交
2984
			will_truncate = false;
M
Miklos Szeredi 已提交
2985

2986
		audit_inode(name, file->f_path.dentry, 0);
M
Miklos Szeredi 已提交
2987 2988
		goto opened;
	}
2989

2990
	if (*opened & FILE_CREATED) {
2991
		/* Don't check for write permission, don't truncate */
2992
		open_flag &= ~O_TRUNC;
M
Miklos Szeredi 已提交
2993
		will_truncate = false;
A
Al Viro 已提交
2994
		acc_mode = MAY_OPEN;
M
Miklos Szeredi 已提交
2995
		path_to_nameidata(path, nd);
M
Miklos Szeredi 已提交
2996
		goto finish_open_created;
2997 2998 2999
	}

	/*
3000
	 * create/update audit record if it already exists.
3001
	 */
3002
	if (d_is_positive(path->dentry))
3003
		audit_inode(name, path->dentry, 0);
3004

M
Miklos Szeredi 已提交
3005 3006 3007 3008 3009
	/*
	 * If atomic_open() acquired write access it is dropped now due to
	 * possible mount and symlink following (this might be optimized away if
	 * necessary...)
	 */
3010
	if (got_write) {
M
Miklos Szeredi 已提交
3011
		mnt_drop_write(nd->path.mnt);
3012
		got_write = false;
M
Miklos Szeredi 已提交
3013 3014
	}

3015
	error = -EEXIST;
A
Al Viro 已提交
3016
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))
3017 3018
		goto exit_dput;

3019 3020 3021
	error = follow_managed(path, nd->flags);
	if (error < 0)
		goto exit_dput;
3022

3023 3024 3025
	if (error)
		nd->flags |= LOOKUP_JUMPED;

3026 3027
	BUG_ON(nd->flags & LOOKUP_RCU);
	inode = path->dentry->d_inode;
3028
	error = -ENOENT;
3029
	if (d_is_negative(path->dentry)) {
3030
		path_to_nameidata(path, nd);
3031
		goto out;
3032
	}
3033
finish_lookup:
3034
	if (should_follow_link(path->dentry, nd->flags & LOOKUP_FOLLOW)) {
3035
		if (nd->flags & LOOKUP_RCU) {
3036 3037
			if (unlikely(nd->path.mnt != path->mnt ||
				     unlazy_walk(nd, path->dentry))) {
3038
				error = -ECHILD;
3039
				goto out;
3040 3041 3042
			}
		}
		BUG_ON(inode != path->dentry->d_inode);
3043
		return 1;
3044
	}
3045

3046 3047 3048 3049 3050 3051
	if (unlikely(d_is_symlink(path->dentry)) && !(open_flag & O_PATH)) {
		path_to_nameidata(path, nd);
		error = -ELOOP;
		goto out;
	}

3052 3053 3054 3055 3056 3057 3058 3059
	if ((nd->flags & LOOKUP_RCU) || nd->path.mnt != path->mnt) {
		path_to_nameidata(path, nd);
	} else {
		save_parent.dentry = nd->path.dentry;
		save_parent.mnt = mntget(path->mnt);
		nd->path.dentry = path->dentry;

	}
3060
	nd->inode = inode;
3061
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
3062
finish_open:
3063
	error = complete_walk(nd);
3064 3065
	if (error) {
		path_put(&save_parent);
3066
		return error;
3067
	}
3068
	audit_inode(name, nd->path.dentry, 0);
3069
	error = -EISDIR;
M
Miklos Szeredi 已提交
3070
	if ((open_flag & O_CREAT) && d_is_dir(nd->path.dentry))
3071
		goto out;
3072
	error = -ENOTDIR;
M
Miklos Szeredi 已提交
3073
	if ((nd->flags & LOOKUP_DIRECTORY) && !d_can_lookup(nd->path.dentry))
3074
		goto out;
3075
	if (!d_is_reg(nd->path.dentry))
M
Miklos Szeredi 已提交
3076
		will_truncate = false;
3077

3078 3079 3080
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
3081
			goto out;
3082
		got_write = true;
3083
	}
M
Miklos Szeredi 已提交
3084
finish_open_created:
A
Al Viro 已提交
3085
	error = may_open(&nd->path, acc_mode, open_flag);
3086
	if (error)
3087
		goto out;
M
Miklos Szeredi 已提交
3088 3089 3090 3091 3092 3093

	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 已提交
3094
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
3095
			goto stale_open;
3096
		goto out;
M
Miklos Szeredi 已提交
3097
	}
3098
opened:
3099
	error = open_check_o_direct(file);
3100 3101
	if (error)
		goto exit_fput;
3102
	error = ima_file_check(file, op->acc_mode, *opened);
3103 3104 3105 3106
	if (error)
		goto exit_fput;

	if (will_truncate) {
3107
		error = handle_truncate(file);
3108 3109
		if (error)
			goto exit_fput;
3110
	}
3111
out:
3112
	if (got_write)
3113
		mnt_drop_write(nd->path.mnt);
3114
	path_put(&save_parent);
3115
	terminate_walk(nd);
3116
	return error;
3117 3118 3119

exit_dput:
	path_put_conditional(path, nd);
3120
	goto out;
3121
exit_fput:
3122 3123
	fput(file);
	goto out;
3124

M
Miklos Szeredi 已提交
3125 3126 3127 3128 3129 3130 3131 3132 3133 3134 3135
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;
3136
	if (got_write) {
M
Miklos Szeredi 已提交
3137
		mnt_drop_write(nd->path.mnt);
3138
		got_write = false;
M
Miklos Szeredi 已提交
3139 3140 3141
	}
	retried = true;
	goto retry_lookup;
3142 3143
}

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

3206
static struct file *path_openat(int dfd, struct filename *pathname,
A
Al Viro 已提交
3207
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
3208
{
A
Al Viro 已提交
3209
	struct file *file;
3210
	struct path path;
3211
	int opened = 0;
3212
	int error;
N
Nick Piggin 已提交
3213

A
Al Viro 已提交
3214
	file = get_empty_filp();
3215 3216
	if (IS_ERR(file))
		return file;
N
Nick Piggin 已提交
3217

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

A
Al Viro 已提交
3220
	if (unlikely(file->f_flags & __O_TMPFILE)) {
3221
		error = do_tmpfile(dfd, pathname, nd, flags, op, file, &opened);
A
Al Viro 已提交
3222
		goto out2;
3223 3224
	}

A
Al Viro 已提交
3225
	error = path_init(dfd, pathname, flags, nd);
N
Nick Piggin 已提交
3226
	if (unlikely(error))
3227
		goto out;
L
Linus Torvalds 已提交
3228

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

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

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

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

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

3289
	if (d_is_symlink(dentry) && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3290 3291
		return ERR_PTR(-ELOOP);

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

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

3320
	error = filename_lookup(dfd, name, LOOKUP_PARENT|lookup_flags, &nd);
A
Al Viro 已提交
3321 3322
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
3323

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

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

3343
	error = -EEXIST;
3344
	if (d_is_positive(dentry))
3345
		goto fail;
3346

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

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

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

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

A
Al Viro 已提交
3411
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3412
{
3413
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3414 3415 3416 3417

	if (error)
		return error;

3418
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3419 3420
		return -EPERM;

A
Al Viro 已提交
3421
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3422 3423
		return -EPERM;

3424 3425 3426 3427
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3428 3429 3430 3431 3432
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3433
	if (!error)
3434
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3435 3436
	return error;
}
3437
EXPORT_SYMBOL(vfs_mknod);
L
Linus Torvalds 已提交
3438

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

3464 3465 3466
	error = may_mknod(mode);
	if (error)
		return error;
3467 3468
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3469 3470
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3471

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

A
Al Viro 已提交
3498
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3499 3500 3501 3502
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

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

	if (error)
		return error;

A
Al Viro 已提交
3511
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3512 3513 3514 3515 3516 3517 3518
		return -EPERM;

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

3519 3520 3521
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3522
	error = dir->i_op->mkdir(dir, dentry, mode);
3523
	if (!error)
3524
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3525 3526
	return error;
}
3527
EXPORT_SYMBOL(vfs_mkdir);
L
Linus Torvalds 已提交
3528

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

3536 3537
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3538
	if (IS_ERR(dentry))
3539
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3540

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

3554
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3555 3556 3557 3558
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

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

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

	if (error)
		return error;

A
Al Viro 已提交
3591
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3592 3593
		return -EPERM;

3594
	dget(dentry);
3595
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3596 3597

	error = -EBUSY;
3598
	if (is_local_mountpoint(dentry))
S
Sage Weil 已提交
3599 3600 3601 3602 3603 3604
		goto out;

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

3605
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3606 3607 3608 3609 3610 3611
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);
3612
	detach_mounts(dentry);
S
Sage Weil 已提交
3613 3614

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

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

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

3650
	error = mnt_want_write(path.mnt);
3651 3652
	if (error)
		goto exit1;
3653

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

3682
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3683 3684 3685 3686
{
	return do_rmdir(AT_FDCWD, pathname);
}

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

	if (error)
		return error;

A
Al Viro 已提交
3713
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3714 3715
		return -EPERM;

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

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

L
Linus Torvalds 已提交
3741 3742
	return error;
}
3743
EXPORT_SYMBOL(vfs_unlink);
L
Linus Torvalds 已提交
3744 3745 3746

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

L
Linus Torvalds 已提交
3768
	error = -EISDIR;
3769
	if (type != LAST_NORM)
L
Linus Torvalds 已提交
3770
		goto exit1;
3771

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

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

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

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

	return do_unlinkat(dfd, pathname);
}

3835
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3836 3837 3838 3839
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3840
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3841
{
3842
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3843 3844 3845 3846

	if (error)
		return error;

A
Al Viro 已提交
3847
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3848 3849 3850 3851 3852 3853 3854
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3855
	if (!error)
3856
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3857 3858
	return error;
}
3859
EXPORT_SYMBOL(vfs_symlink);
L
Linus Torvalds 已提交
3860

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

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

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

3892
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3893 3894 3895 3896
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

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

	if (!inode)
		return -ENOENT;

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

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

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

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

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

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

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
4003
retry:
4004
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
4005
	if (error)
4006 4007
		return error;

4008 4009
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
4010
	error = PTR_ERR(new_dentry);
4011
	if (IS_ERR(new_dentry))
4012 4013 4014 4015 4016
		goto out;

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

	return error;
}

4044
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
4045
{
4046
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4047 4048
}

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

	if (source == target)
		return 0;

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

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

M
Miklos Szeredi 已提交
4130
	if (!old_dir->i_op->rename && !old_dir->i_op->rename2)
4131
		return -EPERM;
L
Linus Torvalds 已提交
4132

M
Miklos Szeredi 已提交
4133 4134 4135
	if (flags && !old_dir->i_op->rename2)
		return -EINVAL;

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

4153 4154
	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry,
				      flags);
L
Linus Torvalds 已提交
4155 4156 4157
	if (error)
		return error;

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

	error = -EBUSY;
4166
	if (is_local_mountpoint(old_dentry) || is_local_mountpoint(new_dentry))
S
Sage Weil 已提交
4167 4168
		goto out;

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

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

L
Linus Torvalds 已提交
4228 4229
	return error;
}
4230
EXPORT_SYMBOL(vfs_rename);
L
Linus Torvalds 已提交
4231

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

M
Miklos Szeredi 已提交
4247
	if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
M
Miklos Szeredi 已提交
4248 4249
		return -EINVAL;

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

M
Miklos Szeredi 已提交
4254 4255 4256
	if ((flags & RENAME_WHITEOUT) && !capable(CAP_MKNOD))
		return -EPERM;

4257 4258 4259
	if (flags & RENAME_EXCHANGE)
		target_flags = 0;

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

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

	error = -EXDEV;
4276
	if (old_path.mnt != new_path.mnt)
L
Linus Torvalds 已提交
4277 4278 4279
		goto exit2;

	error = -EBUSY;
4280
	if (old_type != LAST_NORM)
L
Linus Torvalds 已提交
4281 4282
		goto exit2;

M
Miklos Szeredi 已提交
4283 4284
	if (flags & RENAME_NOREPLACE)
		error = -EEXIST;
4285
	if (new_type != LAST_NORM)
L
Linus Torvalds 已提交
4286 4287
		goto exit2;

4288
	error = mnt_want_write(old_path.mnt);
4289 4290 4291
	if (error)
		goto exit2;

4292
retry_deleg:
4293
	trap = lock_rename(new_path.dentry, old_path.dentry);
L
Linus Torvalds 已提交
4294

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

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

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

M
Miklos Szeredi 已提交
4375 4376 4377 4378 4379 4380
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
	return sys_renameat2(olddfd, oldname, newdfd, newname, 0);
}

4381
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4382
{
M
Miklos Szeredi 已提交
4383
	return sys_renameat2(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4384 4385
}

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

/*
 * 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)
{
4423
	void *cookie;
4424
	const char *link = dentry->d_inode->i_link;
4425
	int res;
4426

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

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

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

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

4476
void page_put_link(struct dentry *dentry, void *cookie)
L
Linus Torvalds 已提交
4477
{
4478
	struct page *page = cookie;
4479 4480
	kunmap(page);
	page_cache_release(page);
L
Linus Torvalds 已提交
4481
}
4482
EXPORT_SYMBOL(page_put_link);
L
Linus Torvalds 已提交
4483

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

4498
retry:
4499
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
4500
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
4501
	if (err)
4502 4503
		goto fail;

4504
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
4505
	memcpy(kaddr, symname, len-1);
4506
	kunmap_atomic(kaddr);
4507 4508 4509

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4510 4511
	if (err < 0)
		goto fail;
4512 4513 4514
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4515 4516 4517 4518 4519
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}
4520
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4521

4522 4523 4524
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4525
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
4526
}
4527
EXPORT_SYMBOL(page_symlink);
4528

4529
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
4530 4531 4532 4533 4534
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};
EXPORT_SYMBOL(page_symlink_inode_operations);