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

/*
 * Some corrections by tytso.
 */

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

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

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

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

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

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

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

/* In order to reduce some races, while at the same time doing additional
 * checking and hopefully speeding things up, we copy filenames to the
 * kernel data space before using them..
 *
 * POSIX.1 2.4: an empty pathname is invalid (ENOENT).
 * PATH_MAX includes the nul terminator --RR.
 */
121

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

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

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

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

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

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

152 153 154 155 156 157
	/*
	 * Uh-oh. We have a name that's approaching PATH_MAX. Allocate a
	 * separate struct filename so we can dedicate the entire
	 * names_cache allocation for the pathname, and re-do the copy from
	 * userland.
	 */
A
Al Viro 已提交
158
	if (unlikely(len == EMBEDDED_NAME_MAX)) {
A
Al Viro 已提交
159
		const size_t size = offsetof(struct filename, iname[1]);
160 161
		kname = (char *)result;

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

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

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

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

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

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

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

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

	return result;
}

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

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

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

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

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

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

	return -EAGAIN;
}

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

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

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

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

/**
315
 * generic_permission -  check for access rights on a Posix-like filesystem
316
 * @inode:	inode to check access rights for
317
 * @mask:	right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC, ...)
318 319 320 321
 *
 * Used to check for read/write/execute permissions on a file.
 * We use "fsuid" for this, letting us set arbitrary permissions
 * for filesystem access without changing the "normal" uids which
322 323 324 325 326
 * are used for other things.
 *
 * generic_permission is rcu-walk aware. It returns -ECHILD in case an rcu-walk
 * request cannot be satisfied (eg. requires blocking or too much complexity).
 * It would then be called again in ref-walk mode.
327
 */
328
int generic_permission(struct inode *inode, int mask)
329 330 331 332
{
	int ret;

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

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

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

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

370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389
/*
 * We _really_ want to just do "generic_permission()" without
 * even looking at the inode->i_op values. So we keep a cache
 * flag in inode->i_opflags, that says "this has not special
 * permission function, use the fast case".
 */
static inline int do_inode_permission(struct inode *inode, int mask)
{
	if (unlikely(!(inode->i_opflags & IOP_FASTPERM))) {
		if (likely(inode->i_op->permission))
			return inode->i_op->permission(inode, mask);

		/* This gets set once for the inode lifetime */
		spin_lock(&inode->i_lock);
		inode->i_opflags |= IOP_FASTPERM;
		spin_unlock(&inode->i_lock);
	}
	return generic_permission(inode, mask);
}

C
Christoph Hellwig 已提交
390
/**
D
David Howells 已提交
391 392 393
 * __inode_permission - Check for access rights to a given inode
 * @inode: Inode to check permission on
 * @mask: Right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
C
Christoph Hellwig 已提交
394
 *
D
David Howells 已提交
395
 * Check for read/write/execute permissions on an inode.
396 397
 *
 * When checking for MAY_APPEND, MAY_WRITE must also be set in @mask.
D
David Howells 已提交
398 399 400
 *
 * This does not check for a read-only file system.  You probably want
 * inode_permission().
C
Christoph Hellwig 已提交
401
 */
D
David Howells 已提交
402
int __inode_permission(struct inode *inode, int mask)
L
Linus Torvalds 已提交
403
{
404
	int retval;
L
Linus Torvalds 已提交
405

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

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

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

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

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

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

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

	retval = sb_permission(inode->i_sb, inode, mask);
	if (retval)
		return retval;
	return __inode_permission(inode, mask);
}
467
EXPORT_SYMBOL(inode_permission);
D
David Howells 已提交
468

J
Jan Blunck 已提交
469 470 471 472 473 474
/**
 * path_get - get a reference to a path
 * @path: path to get the reference to
 *
 * Given a path increment the reference count to the dentry and the vfsmount.
 */
475
void path_get(const struct path *path)
J
Jan Blunck 已提交
476 477 478 479 480 481
{
	mntget(path->mnt);
	dget(path->dentry);
}
EXPORT_SYMBOL(path_get);

J
Jan Blunck 已提交
482 483 484 485 486 487
/**
 * path_put - put a reference to a path
 * @path: path to put the reference to
 *
 * Given a path decrement the reference count to the dentry and the vfsmount.
 */
488
void path_put(const struct path *path)
L
Linus Torvalds 已提交
489
{
J
Jan Blunck 已提交
490 491
	dput(path->dentry);
	mntput(path->mnt);
L
Linus Torvalds 已提交
492
}
J
Jan Blunck 已提交
493
EXPORT_SYMBOL(path_put);
L
Linus Torvalds 已提交
494

495 496
struct nameidata {
	struct path	path;
A
Al Viro 已提交
497 498 499 500
	union {
		struct qstr	last;
		struct path	link;
	};
501 502 503 504 505 506
	struct path	root;
	struct inode	*inode; /* path.dentry.d_inode */
	unsigned int	flags;
	unsigned	seq, m_seq;
	int		last_type;
	unsigned	depth;
507
	struct file	*base;
508 509
};

A
Al Viro 已提交
510
/*
N
Nick Piggin 已提交
511
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
512 513 514 515 516 517 518
 * Documentation/filesystems/path-lookup.txt).  In situations when we can't
 * continue in RCU mode, we attempt to drop out of rcu-walk mode and grab
 * normal reference counts on dentries and vfsmounts to transition to rcu-walk
 * mode.  Refcounts are grabbed at the last known good point before rcu-walk
 * got stuck, so ref-walk may continue from there. If this is not successful
 * (eg. a seqcount has changed), then failure is returned and it's up to caller
 * to restart the path walk from the beginning in ref-walk mode.
N
Nick Piggin 已提交
519 520 521
 */

/**
A
Al Viro 已提交
522 523 524
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry or NULL
525
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
526
 *
A
Al Viro 已提交
527 528 529
 * unlazy_walk attempts to legitimize the current nd->path, nd->root and dentry
 * for ref-walk mode.  @dentry must be a path found by a do_lookup call on
 * @nd or NULL.  Must be called from rcu-walk context.
N
Nick Piggin 已提交
530
 */
A
Al Viro 已提交
531
static int unlazy_walk(struct nameidata *nd, struct dentry *dentry)
N
Nick Piggin 已提交
532 533 534 535 536
{
	struct fs_struct *fs = current->fs;
	struct dentry *parent = nd->path.dentry;

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

	/*
A
Al Viro 已提交
539 540 541 542 543 544
	 * After legitimizing the bastards, terminate_walk()
	 * will do the right thing for non-RCU mode, and all our
	 * subsequent exit cases should rcu_read_unlock()
	 * before returning.  Do vfsmount first; if dentry
	 * can't be legitimized, just set nd->path.dentry to NULL
	 * and rely on dput(NULL) being a no-op.
545
	 */
A
Al Viro 已提交
546
	if (!legitimize_mnt(nd->path.mnt, nd->m_seq))
547 548
		return -ECHILD;
	nd->flags &= ~LOOKUP_RCU;
549

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

555 556 557 558 559 560 561 562 563 564 565
	/*
	 * For a negative lookup, the lookup sequence point is the parents
	 * sequence point, and it only needs to revalidate the parent dentry.
	 *
	 * For a positive lookup, we need to move both the parent and the
	 * dentry from the RCU domain to be properly refcounted. And the
	 * sequence number in the dentry validates *both* dentry counters,
	 * since we checked the sequence number of the parent after we got
	 * the child sequence number. So we know the parent must still
	 * be valid if the child sequence number is still valid.
	 */
A
Al Viro 已提交
566
	if (!dentry) {
567 568
		if (read_seqcount_retry(&parent->d_seq, nd->seq))
			goto out;
A
Al Viro 已提交
569 570
		BUG_ON(nd->inode != parent->d_inode);
	} else {
571 572 573 574
		if (!lockref_get_not_dead(&dentry->d_lockref))
			goto out;
		if (read_seqcount_retry(&dentry->d_seq, nd->seq))
			goto drop_dentry;
A
Al Viro 已提交
575
	}
576 577 578 579 580 581 582 583 584

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

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

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

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

611 612 613
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
614
 *
615 616 617 618 619
 * If we had been in RCU mode, drop out of it and legitimize nd->path.
 * Revalidate the final result, unless we'd already done that during
 * the path walk or the filesystem doesn't ask for it.  Return 0 on
 * success, -error on failure.  In case of failure caller does not
 * need to drop nd->path.
620
 */
621
static int complete_walk(struct nameidata *nd)
622
{
A
Al Viro 已提交
623
	struct dentry *dentry = nd->path.dentry;
624 625
	int status;

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

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

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

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

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

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

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

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

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

676 677 678 679 680 681
	do {
		seq = read_seqcount_begin(&fs->seq);
		nd->root = fs->root;
		res = __read_seqcount_begin(&nd->root.dentry->d_seq);
	} while (read_seqcount_retry(&fs->seq, seq));
	return res;
N
Nick Piggin 已提交
682 683
}

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

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

C
Christoph Hellwig 已提交
703 704 705 706 707 708 709 710 711 712 713 714 715
/*
 * Helper to directly jump to a known parsed path from ->follow_link,
 * caller must have taken a reference to path beforehand.
 */
void nd_jump_link(struct nameidata *nd, struct path *path)
{
	path_put(&nd->path);

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

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

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

/**
 * may_follow_link - Check symlink following for unsafe situations
 * @link: The path of the symlink
730
 * @nd: nameidata pathwalk data
K
Kees Cook 已提交
731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752
 *
 * In the case of the sysctl_protected_symlinks sysctl being enabled,
 * CAP_DAC_OVERRIDE needs to be specifically ignored if the symlink is
 * in a sticky world-writable directory. This is to protect privileged
 * processes from failing races against path names that may change out
 * from under them by way of other users creating malicious symlinks.
 * It will permit symlinks to be followed only when outside a sticky
 * world-writable directory, or when the uid of the symlink and follower
 * match, or when the directory owner matches the symlink's owner.
 *
 * Returns 0 if following the symlink is allowed, -ve on error.
 */
static inline int may_follow_link(struct path *link, struct nameidata *nd)
{
	const struct inode *inode;
	const struct inode *parent;

	if (!sysctl_protected_symlinks)
		return 0;

	/* Allowed if owner and follower match. */
	inode = link->dentry->d_inode;
753
	if (uid_eq(current_cred()->fsuid, inode->i_uid))
K
Kees Cook 已提交
754 755 756 757 758 759 760 761
		return 0;

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

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

765
	audit_log_link_denied("follow_link", link);
K
Kees Cook 已提交
766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831
	path_put_conditional(link, nd);
	path_put(&nd->path);
	return -EACCES;
}

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

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

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

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

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

	return true;
}

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

	if (!sysctl_protected_hardlinks)
		return 0;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

943 944 945 946 947 948 949 950 951 952
	/* We don't want to mount if someone's just doing a stat -
	 * unless they're stat'ing a directory and appended a '/' to
	 * the name.
	 *
	 * We do, however, want to mount if someone wants to open or
	 * create a file of any type under the mountpoint, wants to
	 * traverse through the mountpoint or wants to open the
	 * mounted directory.  Also, autofs may mark negative dentries
	 * as being automount points.  These will need the attentions
	 * of the daemon to instantiate them before they can be used.
953
	 */
954
	if (!(flags & (LOOKUP_PARENT | LOOKUP_DIRECTORY |
955
		     LOOKUP_OPEN | LOOKUP_CREATE | LOOKUP_AUTOMOUNT)) &&
956 957 958
	    path->dentry->d_inode)
		return -EISDIR;

959 960 961 962 963 964 965 966 967 968 969 970 971 972 973
	current->total_link_count++;
	if (current->total_link_count >= 40)
		return -ELOOP;

	mnt = path->dentry->d_op->d_automount(path);
	if (IS_ERR(mnt)) {
		/*
		 * The filesystem is allowed to return -EISDIR here to indicate
		 * it doesn't want to automount.  For instance, autofs would do
		 * this so that its userspace daemon can mount on this dentry.
		 *
		 * However, we can only permit this if it's a terminal point in
		 * the path being looked up; if it wasn't then the remainder of
		 * the path is inaccessible and we should say so.
		 */
A
Al Viro 已提交
974
		if (PTR_ERR(mnt) == -EISDIR && (flags & LOOKUP_PARENT))
975 976
			return -EREMOTE;
		return PTR_ERR(mnt);
N
Nick Piggin 已提交
977
	}
978

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

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

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

A
Al Viro 已提交
1002 1003
}

1004 1005
/*
 * Handle a dentry that is managed in some way.
1006
 * - Flagged for transit management (autofs)
1007 1008 1009 1010 1011 1012 1013 1014
 * - Flagged as mountpoint
 * - Flagged as automount point
 *
 * This may only be called in refwalk mode.
 *
 * Serialization is taken care of in namespace.c
 */
static int follow_managed(struct path *path, unsigned flags)
L
Linus Torvalds 已提交
1015
{
1016
	struct vfsmount *mnt = path->mnt; /* held by caller, must be left alone */
1017 1018
	unsigned managed;
	bool need_mntput = false;
1019
	int ret = 0;
1020 1021 1022 1023 1024 1025 1026

	/* Given that we're not holding a lock here, we retain the value in a
	 * local variable for each dentry as we look at it so that we don't see
	 * the components of that value change under us */
	while (managed = ACCESS_ONCE(path->dentry->d_flags),
	       managed &= DCACHE_MANAGED_DENTRY,
	       unlikely(managed != 0)) {
1027 1028 1029 1030 1031
		/* Allow the filesystem to manage the transit without i_mutex
		 * being held. */
		if (managed & DCACHE_MANAGE_TRANSIT) {
			BUG_ON(!path->dentry->d_op);
			BUG_ON(!path->dentry->d_op->d_manage);
1032
			ret = path->dentry->d_op->d_manage(path->dentry, false);
1033
			if (ret < 0)
1034
				break;
1035 1036
		}

1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051
		/* Transit to a mounted filesystem. */
		if (managed & DCACHE_MOUNTED) {
			struct vfsmount *mounted = lookup_mnt(path);
			if (mounted) {
				dput(path->dentry);
				if (need_mntput)
					mntput(path->mnt);
				path->mnt = mounted;
				path->dentry = dget(mounted->mnt_root);
				need_mntput = true;
				continue;
			}

			/* Something is mounted on this dentry in another
			 * namespace and/or whatever was mounted there in this
A
Al Viro 已提交
1052 1053
			 * namespace got unmounted before lookup_mnt() could
			 * get it */
1054 1055 1056 1057 1058 1059
		}

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

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

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

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

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

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

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

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

A
Al Viro 已提交
1123
		mounted = __lookup_mnt(path->mnt, path->dentry);
1124 1125
		if (!mounted)
			break;
1126 1127
		path->mnt = &mounted->mnt;
		path->dentry = mounted->mnt.mnt_root;
1128
		nd->flags |= LOOKUP_JUMPED;
1129
		nd->seq = read_seqcount_begin(&path->dentry->d_seq);
1130 1131 1132 1133 1134 1135
		/*
		 * Update the inode too. We don't need to re-check the
		 * dentry sequence number here after this d_inode read,
		 * because a mount-point is always pinned.
		 */
		*inode = path->dentry->d_inode;
1136
	}
1137
	return !read_seqretry(&mount_lock, nd->m_seq) &&
1138
		!(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1139 1140
}

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

1147
	while (1) {
N
Nick Piggin 已提交
1148 1149 1150 1151 1152 1153 1154 1155 1156
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
			break;
		}
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
			struct dentry *old = nd->path.dentry;
			struct dentry *parent = old->d_parent;
			unsigned seq;

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

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

1193 1194 1195 1196 1197
/*
 * Follow down to the covering mount currently visible to userspace.  At each
 * point, the filesystem owning that dentry may be queried as to whether the
 * caller is permitted to proceed or not.
 */
1198
int follow_down(struct path *path)
1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217
{
	unsigned managed;
	int ret;

	while (managed = ACCESS_ONCE(path->dentry->d_flags),
	       unlikely(managed & DCACHE_MANAGED_DENTRY)) {
		/* Allow the filesystem to manage the transit without i_mutex
		 * being held.
		 *
		 * We indicate to the filesystem if someone is trying to mount
		 * something here.  This gives autofs the chance to deny anyone
		 * other than its daemon the right to mount on its
		 * superstructure.
		 *
		 * The filesystem may sleep at this point.
		 */
		if (managed & DCACHE_MANAGE_TRANSIT) {
			BUG_ON(!path->dentry->d_op);
			BUG_ON(!path->dentry->d_op->d_manage);
1218
			ret = path->dentry->d_op->d_manage(
1219
				path->dentry, false);
1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240
			if (ret < 0)
				return ret == -EISDIR ? 0 : ret;
		}

		/* Transit to a mounted filesystem. */
		if (managed & DCACHE_MOUNTED) {
			struct vfsmount *mounted = lookup_mnt(path);
			if (!mounted)
				break;
			dput(path->dentry);
			mntput(path->mnt);
			path->mnt = mounted;
			path->dentry = dget(mounted->mnt_root);
			continue;
		}

		/* Don't handle automount points here */
		break;
	}
	return 0;
}
1241
EXPORT_SYMBOL(follow_down);
1242

1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258
/*
 * Skip to top of mountpoint pile in refwalk mode for follow_dotdot()
 */
static void follow_mount(struct path *path)
{
	while (d_mountpoint(path->dentry)) {
		struct vfsmount *mounted = lookup_mnt(path);
		if (!mounted)
			break;
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
	}
}

N
Nick Piggin 已提交
1259
static void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1260
{
1261 1262
	if (!nd->root.mnt)
		set_root(nd);
1263

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

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

1284
/*
M
Miklos Szeredi 已提交
1285 1286 1287 1288 1289
 * This looks up the name in dcache, possibly revalidates the old dentry and
 * allocates a new one if not found or not valid.  In the need_lookup argument
 * returns whether i_op->lookup is necessary.
 *
 * dir->d_inode->i_mutex must be held
1290
 */
M
Miklos Szeredi 已提交
1291
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
1292
				    unsigned int flags, bool *need_lookup)
1293 1294
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1295
	int error;
1296

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

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

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

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

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

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

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

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

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

L
Linus Torvalds 已提交
1363 1364 1365 1366 1367
/*
 *  It's more convoluted than I'd like it to be, but... it's still fairly
 *  small and for now I'd prefer to have fast path as straight as possible.
 *  It _is_ time-critical.
 */
A
Al Viro 已提交
1368
static int lookup_fast(struct nameidata *nd,
M
Miklos Szeredi 已提交
1369
		       struct path *path, struct inode **inode)
L
Linus Torvalds 已提交
1370
{
1371
	struct vfsmount *mnt = nd->path.mnt;
N
Nick Piggin 已提交
1372
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1373 1374
	int need_reval = 1;
	int status = 1;
1375 1376
	int err;

1377 1378 1379 1380 1381
	/*
	 * Rename seqlock is not required here because in the off chance
	 * of a false negative due to a concurrent rename, we're going to
	 * do the non-racy lookup, below.
	 */
N
Nick Piggin 已提交
1382 1383
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1384
		bool negative;
1385
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1386 1387 1388
		if (!dentry)
			goto unlazy;

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

		/*
		 * This sequence count validates that the parent had no
		 * changes while we did the lookup of the dentry above.
		 *
		 * The memory barrier in read_seqcount_begin of child is
		 *  enough, we can use __read_seqcount_retry here.
		 */
N
Nick Piggin 已提交
1407 1408 1409
		if (__read_seqcount_retry(&parent->d_seq, nd->seq))
			return -ECHILD;
		nd->seq = seq;
A
Al Viro 已提交
1410

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

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

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

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

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

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

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

	mutex_lock(&parent->d_inode->i_mutex);
A
Al Viro 已提交
1475
	dentry = __lookup_hash(&nd->last, parent, nd->flags);
1476 1477 1478
	mutex_unlock(&parent->d_inode->i_mutex);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
1479 1480 1481 1482 1483 1484 1485 1486 1487 1488
	path->mnt = nd->path.mnt;
	path->dentry = dentry;
	err = follow_managed(path, nd->flags);
	if (unlikely(err < 0)) {
		path_put_conditional(path, nd);
		return err;
	}
	if (err)
		nd->flags |= LOOKUP_JUMPED;
	return 0;
L
Linus Torvalds 已提交
1489 1490
}

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

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

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

1527 1528 1529 1530 1531 1532
/*
 * Do we need to follow links? We _really_ want to be able
 * to do this check without having to look at inode->i_op,
 * so we keep a cache of "no, this doesn't need follow_link"
 * for the common case.
 */
1533
static inline int should_follow_link(struct dentry *dentry, int follow)
1534
{
1535
	return unlikely(d_is_symlink(dentry)) ? follow : 0;
1536 1537
}

A
Al Viro 已提交
1538
static int walk_component(struct nameidata *nd, int follow)
1539
{
A
Al Viro 已提交
1540
	struct path path;
1541 1542 1543 1544 1545 1546 1547
	struct inode *inode;
	int err;
	/*
	 * "." and ".." are special - ".." especially so because it has
	 * to be able to know about the current root directory and
	 * parent relationships.
	 */
1548 1549
	if (unlikely(nd->last_type != LAST_NORM))
		return handle_dots(nd, nd->last_type);
A
Al Viro 已提交
1550
	err = lookup_fast(nd, &path, &inode);
1551
	if (unlikely(err)) {
M
Miklos Szeredi 已提交
1552 1553 1554
		if (err < 0)
			goto out_err;

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

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

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

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

1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606
/*
 * We can do the critical dentry name comparison and hashing
 * operations one word at a time, but we are limited to:
 *
 * - Architectures with fast unaligned word accesses. We could
 *   do a "get_unaligned()" if this helps and is sufficiently
 *   fast.
 *
 * - non-CONFIG_DEBUG_PAGEALLOC configurations (so that we
 *   do not trap on the (extremely unlikely) case of a page
 *   crossing operation.
 *
 * - Furthermore, we need an efficient 64-bit compile for the
 *   64-bit case in order to generate the "number of bytes in
 *   the final mask". Again, that could be replaced with a
 *   efficient population count instruction or similar.
 */
#ifdef CONFIG_DCACHE_WORD_ACCESS

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

1609
#ifdef CONFIG_64BIT
1610 1611 1612

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

#else	/* 32-bit case */

#define fold_hash(x) (x)

#endif

unsigned int full_name_hash(const unsigned char *name, unsigned int len)
{
	unsigned long a, mask;
	unsigned long hash = 0;

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

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

	hash = a = 0;
	len = -sizeof(unsigned long);
	do {
		hash = (hash + a) * 9;
		len += sizeof(unsigned long);
1659
		a = load_unaligned_zeropad(name+len);
1660 1661 1662 1663 1664 1665 1666 1667 1668
		b = a ^ REPEAT_BYTE('/');
	} while (!(has_zero(a, &adata, &constants) | has_zero(b, &bdata, &constants)));

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

	mask = create_zero_mask(adata | bdata);

	hash += a & zero_bytemask(mask);
1669
	len += find_zero(mask);
1670
	return hashlen_create(fold_hash(hash), len);
1671 1672 1673 1674
}

#else

L
Linus Torvalds 已提交
1675 1676 1677 1678 1679 1680 1681
unsigned int full_name_hash(const unsigned char *name, unsigned int len)
{
	unsigned long hash = init_name_hash();
	while (len--)
		hash = partial_name_hash(*name++, hash);
	return end_name_hash(hash);
}
1682
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
1683

1684 1685 1686 1687
/*
 * We know there's a real path component here of at least
 * one character.
 */
1688
static inline u64 hash_name(const char *name)
1689 1690 1691 1692 1693 1694 1695 1696 1697 1698
{
	unsigned long hash = init_name_hash();
	unsigned long len = 0, c;

	c = (unsigned char)*name;
	do {
		len++;
		hash = partial_name_hash(c, hash);
		c = (unsigned char)name[len];
	} while (c && c != '/');
1699
	return hashlen_create(end_name_hash(hash), len);
1700 1701
}

1702 1703
#endif

L
Linus Torvalds 已提交
1704 1705
/*
 * Name resolution.
1706 1707
 * This is the basic name resolution function, turning a pathname into
 * the final dentry. We expect 'base' to be positive and a directory.
L
Linus Torvalds 已提交
1708
 *
1709 1710
 * Returns 0 and nd will have valid dentry and mnt on success.
 * Returns error and drops reference to input namei data on failure.
L
Linus Torvalds 已提交
1711
 */
1712
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1713
{
A
Al Viro 已提交
1714 1715 1716 1717 1718
	struct saved {
		struct path link;
		void *cookie;
		const char *name;
	} stack[MAX_NESTED_LINKS], *last = stack + nd->depth - 1;
L
Linus Torvalds 已提交
1719
	int err;
A
Al Viro 已提交
1720 1721

start:
L
Linus Torvalds 已提交
1722 1723 1724
	while (*name=='/')
		name++;
	if (!*name)
1725
		goto OK;
L
Linus Torvalds 已提交
1726 1727 1728

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

1732
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1733 1734 1735
 		if (err)
			break;

1736
		hash_len = hash_name(name);
L
Linus Torvalds 已提交
1737

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

1762 1763
		nd->last.hash_len = hash_len;
		nd->last.name = name;
1764 1765
		nd->last_type = type;

1766 1767
		name += hashlen_len(hash_len);
		if (!*name)
1768
			goto OK;
1769 1770 1771 1772 1773
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
1774 1775 1776
			name++;
		} while (unlikely(*name == '/'));
		if (!*name)
1777
			goto OK;
1778

A
Al Viro 已提交
1779
		err = walk_component(nd, LOOKUP_FOLLOW);
A
Al Viro 已提交
1780
Walked:
1781
		if (err < 0)
1782
			goto Err;
L
Linus Torvalds 已提交
1783

1784
		if (err) {
1785 1786
			const char *s;

1787 1788 1789
			if (unlikely(current->link_count >= MAX_NESTED_LINKS)) {
				path_put_conditional(&nd->link, nd);
				path_put(&nd->path);
1790 1791
				err = -ELOOP;
				goto Err;
1792 1793 1794 1795 1796
			}
			BUG_ON(nd->depth >= MAX_NESTED_LINKS);

			nd->depth++;
			current->link_count++;
A
Al Viro 已提交
1797
			last++;
1798

A
Al Viro 已提交
1799 1800
			last->link = nd->link;
			s = get_link(&last->link, nd, &last->cookie);
1801

1802 1803 1804 1805
			if (unlikely(IS_ERR(s))) {
				err = PTR_ERR(s);
				current->link_count--;
				nd->depth--;
A
Al Viro 已提交
1806
				last--;
1807
				goto Err;
1808 1809 1810 1811
			}
			err = 0;
			if (unlikely(!s)) {
				/* jumped */
A
Al Viro 已提交
1812
				put_link(nd, &last->link, last->cookie);
A
Al Viro 已提交
1813 1814
				current->link_count--;
				nd->depth--;
A
Al Viro 已提交
1815
				last--;
1816 1817 1818 1819 1820 1821 1822 1823
			} else {
				if (*s == '/') {
					if (!nd->root.mnt)
						set_root(nd);
					path_put(&nd->path);
					nd->path = nd->root;
					path_get(&nd->root);
					nd->flags |= LOOKUP_JUMPED;
1824
				}
1825
				nd->inode = nd->path.dentry->d_inode;
A
Al Viro 已提交
1826 1827 1828
				last->name = name;
				name = s;
				goto start;
1829
			}
N
Nick Piggin 已提交
1830
		}
M
Miklos Szeredi 已提交
1831
		if (!d_can_lookup(nd->path.dentry)) {
A
Al Viro 已提交
1832
			err = -ENOTDIR;
1833 1834
			break;
		}
L
Linus Torvalds 已提交
1835
	}
1836
	terminate_walk(nd);
1837
Err:
1838 1839 1840 1841 1842 1843 1844
	while (unlikely(nd->depth)) {
		put_link(nd, &last->link, last->cookie);
		current->link_count--;
		nd->depth--;
		last--;
	}
	return err;
1845
OK:
1846 1847 1848 1849 1850 1851 1852 1853 1854 1855
	if (unlikely(nd->depth)) {
		name = last->name;
		err = walk_component(nd, LOOKUP_FOLLOW);
		put_link(nd, &last->link, last->cookie);
		current->link_count--;
		nd->depth--;
		last--;
		goto Walked;
	}
	return 0;
L
Linus Torvalds 已提交
1856 1857
}

A
Al Viro 已提交
1858
static int path_init(int dfd, const struct filename *name, unsigned int flags,
1859
		     struct nameidata *nd)
N
Nick Piggin 已提交
1860 1861
{
	int retval = 0;
A
Al Viro 已提交
1862
	const char *s = name->name;
N
Nick Piggin 已提交
1863 1864

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

N
Nick Piggin 已提交
1890 1891
	nd->root.mnt = NULL;

A
Al Viro 已提交
1892
	nd->m_seq = read_seqbegin(&mount_lock);
A
Al Viro 已提交
1893
	if (*s == '/') {
A
Al Viro 已提交
1894
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
1895
			rcu_read_lock();
1896
			nd->seq = set_root_rcu(nd);
A
Al Viro 已提交
1897 1898 1899 1900 1901
		} else {
			set_root(nd);
			path_get(&nd->root);
		}
		nd->path = nd->root;
N
Nick Piggin 已提交
1902
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1903 1904 1905
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
1906

A
Al Viro 已提交
1907
			rcu_read_lock();
N
Nick Piggin 已提交
1908

A
Al Viro 已提交
1909 1910 1911 1912 1913 1914 1915 1916
			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 已提交
1917
	} else {
1918
		/* Caller must check execute permissions on the starting path component */
1919
		struct fd f = fdget_raw(dfd);
N
Nick Piggin 已提交
1920 1921
		struct dentry *dentry;

1922 1923
		if (!f.file)
			return -EBADF;
N
Nick Piggin 已提交
1924

1925
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
1926

A
Al Viro 已提交
1927
		if (*s) {
M
Miklos Szeredi 已提交
1928
			if (!d_can_lookup(dentry)) {
1929 1930 1931
				fdput(f);
				return -ENOTDIR;
			}
A
Al Viro 已提交
1932
		}
N
Nick Piggin 已提交
1933

1934
		nd->path = f.file->f_path;
A
Al Viro 已提交
1935
		if (flags & LOOKUP_RCU) {
1936
			if (f.flags & FDPUT_FPUT)
1937
				nd->base = f.file;
A
Al Viro 已提交
1938
			nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
1939
			rcu_read_lock();
A
Al Viro 已提交
1940
		} else {
1941 1942
			path_get(&nd->path);
			fdput(f);
A
Al Viro 已提交
1943
		}
N
Nick Piggin 已提交
1944 1945 1946
	}

	nd->inode = nd->path.dentry->d_inode;
1947
	if (!(flags & LOOKUP_RCU))
1948
		goto done;
1949
	if (likely(!read_seqcount_retry(&nd->path.dentry->d_seq, nd->seq)))
1950
		goto done;
1951 1952 1953 1954
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
	rcu_read_unlock();
	return -ECHILD;
1955 1956
done:
	current->total_link_count = 0;
A
Al Viro 已提交
1957
	return link_path_walk(s, nd);
1958 1959
}

A
Al Viro 已提交
1960 1961 1962 1963 1964 1965 1966 1967
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);
1968 1969
}

1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996
static int trailing_symlink(struct path *link, struct nameidata *nd, void **p)
{
	const char *s;
	int error = may_follow_link(link, nd);
	if (unlikely(error))
		return error;
	nd->flags |= LOOKUP_PARENT;
	s = get_link(link, nd, p);
	if (unlikely(IS_ERR(s)))
		return PTR_ERR(s);
	if (unlikely(!s))
		return 0;
	if (*s == '/') {
		if (!nd->root.mnt)
			set_root(nd);
		path_put(&nd->path);
		nd->path = nd->root;
		path_get(&nd->root);
		nd->flags |= LOOKUP_JUMPED;
	}
	nd->inode = nd->path.dentry->d_inode;
	error = link_path_walk(s, nd);
	if (unlikely(error))
		put_link(nd, link, *p);
	return error;
}

A
Al Viro 已提交
1997
static inline int lookup_last(struct nameidata *nd)
1998 1999 2000 2001 2002
{
	if (nd->last_type == LAST_NORM && nd->last.name[nd->last.len])
		nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;

	nd->flags &= ~LOOKUP_PARENT;
A
Al Viro 已提交
2003
	return walk_component(nd, nd->flags & LOOKUP_FOLLOW);
2004 2005
}

2006
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2007
static int path_lookupat(int dfd, const struct filename *name,
2008 2009
				unsigned int flags, struct nameidata *nd)
{
2010
	int err;
N
Nick Piggin 已提交
2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025

	/*
	 * 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 已提交
2026
	err = path_init(dfd, name, flags, nd);
2027
	if (!err && !(flags & LOOKUP_PARENT)) {
A
Al Viro 已提交
2028
		err = lookup_last(nd);
2029 2030
		while (err > 0) {
			void *cookie;
A
Al Viro 已提交
2031
			struct path link = nd->link;
2032
			err = trailing_symlink(&link, nd, &cookie);
2033 2034
			if (err)
				break;
A
Al Viro 已提交
2035
			err = lookup_last(nd);
2036
			put_link(nd, &link, cookie);
2037 2038
		}
	}
A
Al Viro 已提交
2039

2040 2041
	if (!err)
		err = complete_walk(nd);
2042 2043

	if (!err && nd->flags & LOOKUP_DIRECTORY) {
M
Miklos Szeredi 已提交
2044
		if (!d_can_lookup(nd->path.dentry)) {
2045
			path_put(&nd->path);
A
Al Viro 已提交
2046
			err = -ENOTDIR;
2047 2048
		}
	}
A
Al Viro 已提交
2049

A
Al Viro 已提交
2050
	path_cleanup(nd);
2051
	return err;
A
Al Viro 已提交
2052
}
N
Nick Piggin 已提交
2053

2054
static int filename_lookup(int dfd, struct filename *name,
A
Al Viro 已提交
2055 2056
				unsigned int flags, struct nameidata *nd)
{
2057
	int retval = path_lookupat(dfd, name, flags | LOOKUP_RCU, nd);
A
Al Viro 已提交
2058
	if (unlikely(retval == -ECHILD))
2059
		retval = path_lookupat(dfd, name, flags, nd);
A
Al Viro 已提交
2060
	if (unlikely(retval == -ESTALE))
2061
		retval = path_lookupat(dfd, name, flags | LOOKUP_REVAL, nd);
N
Nick Piggin 已提交
2062

2063
	if (likely(!retval))
2064
		audit_inode(name, nd->path.dentry, flags & LOOKUP_PARENT);
2065
	return retval;
L
Linus Torvalds 已提交
2066 2067
}

A
Al Viro 已提交
2068 2069
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2070
{
2071
	struct filename *filename = getname_kernel(name);
A
Al Viro 已提交
2072 2073
	struct nameidata nd;
	struct dentry *d;
2074 2075 2076 2077 2078 2079 2080 2081 2082 2083
	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 已提交
2084 2085
	if (nd.last_type != LAST_NORM) {
		path_put(&nd.path);
2086 2087
		d = ERR_PTR(-EINVAL);
		goto out;
A
Al Viro 已提交
2088 2089
	}
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2090
	d = __lookup_hash(&nd.last, nd.path.dentry, 0);
A
Al Viro 已提交
2091 2092 2093
	if (IS_ERR(d)) {
		mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
		path_put(&nd.path);
2094
		goto out;
A
Al Viro 已提交
2095 2096
	}
	*path = nd.path;
2097 2098
out:
	putname(filename);
A
Al Viro 已提交
2099
	return d;
2100 2101
}

A
Al Viro 已提交
2102 2103 2104
int kern_path(const char *name, unsigned int flags, struct path *path)
{
	struct nameidata nd;
2105 2106 2107 2108 2109 2110 2111 2112 2113
	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 已提交
2114 2115
	return res;
}
2116
EXPORT_SYMBOL(kern_path);
A
Al Viro 已提交
2117

2118 2119 2120 2121 2122 2123
/**
 * 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
2124
 * @path: pointer to struct path to fill
2125 2126 2127
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2128
		    struct path *path)
2129
{
2130 2131 2132
	struct filename *filename = getname_kernel(name);
	int err = PTR_ERR(filename);

2133
	BUG_ON(flags & LOOKUP_PARENT);
2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145

	/* 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);
	}
2146
	return err;
2147
}
2148
EXPORT_SYMBOL(vfs_path_lookup);
2149

2150
/**
2151
 * lookup_one_len - filesystem helper to lookup single pathname component
2152 2153 2154 2155
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
2156
 * Note that this routine is purely a helper for filesystem usage and should
2157
 * not be called by generic code.
2158
 */
2159 2160 2161
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
2162
	unsigned int c;
2163
	int err;
2164

2165 2166
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2167 2168
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2169
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2170 2171 2172
	if (!len)
		return ERR_PTR(-EACCES);

A
Al Viro 已提交
2173 2174 2175 2176 2177
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
			return ERR_PTR(-EACCES);
	}

A
Al Viro 已提交
2178 2179 2180 2181 2182
	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2183 2184 2185 2186 2187
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2188
		int err = base->d_op->d_hash(base, &this);
2189 2190 2191
		if (err < 0)
			return ERR_PTR(err);
	}
2192

2193 2194 2195 2196
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

2197
	return __lookup_hash(&this, base, 0);
2198
}
2199
EXPORT_SYMBOL(lookup_one_len);
2200

2201 2202
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2203
{
2204
	struct nameidata nd;
2205
	struct filename *tmp = getname_flags(name, flags, empty);
L
Linus Torvalds 已提交
2206 2207
	int err = PTR_ERR(tmp);
	if (!IS_ERR(tmp)) {
2208 2209 2210

		BUG_ON(flags & LOOKUP_PARENT);

2211
		err = filename_lookup(dfd, tmp, flags, &nd);
L
Linus Torvalds 已提交
2212
		putname(tmp);
2213 2214
		if (!err)
			*path = nd.path;
L
Linus Torvalds 已提交
2215 2216 2217 2218
	}
	return err;
}

2219 2220 2221
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
{
2222
	return user_path_at_empty(dfd, name, flags, path, NULL);
2223
}
2224
EXPORT_SYMBOL(user_path_at);
2225

2226 2227 2228 2229 2230 2231
/*
 * 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.
 */
2232
static struct filename *
2233 2234 2235 2236
user_path_parent(int dfd, const char __user *path,
		 struct path *parent,
		 struct qstr *last,
		 int *type,
2237
		 unsigned int flags)
2238
{
2239
	struct nameidata nd;
2240
	struct filename *s = getname(path);
2241 2242
	int error;

2243 2244 2245
	/* only LOOKUP_REVAL is allowed in extra flags */
	flags &= LOOKUP_REVAL;

2246
	if (IS_ERR(s))
2247
		return s;
2248

2249
	error = filename_lookup(dfd, s, flags | LOOKUP_PARENT, &nd);
2250
	if (error) {
2251
		putname(s);
2252 2253
		return ERR_PTR(error);
	}
2254 2255 2256
	*parent = nd.path;
	*last = nd.last;
	*type = nd.last_type;
2257

2258
	return s;
2259 2260
}

2261
/**
2262
 * mountpoint_last - look up last component for umount
2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285 2286 2287 2288
 * @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
2289
mountpoint_last(struct nameidata *nd, struct path *path)
2290 2291 2292 2293 2294
{
	int error = 0;
	struct dentry *dentry;
	struct dentry *dir = nd->path.dentry;

2295 2296 2297 2298 2299 2300
	/* 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;
		}
2301 2302 2303 2304 2305 2306
	}

	nd->flags &= ~LOOKUP_PARENT;

	if (unlikely(nd->last_type != LAST_NORM)) {
		error = handle_dots(nd, nd->last_type);
2307 2308 2309 2310
		if (error)
			goto out;
		dentry = dget(nd->path.dentry);
		goto done;
2311 2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323
	}

	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;
2324
			mutex_unlock(&dir->d_inode->i_mutex);
2325
			goto out;
2326
		}
2327 2328
		dentry = lookup_real(dir->d_inode, dentry, nd->flags);
		error = PTR_ERR(dentry);
2329 2330
		if (IS_ERR(dentry)) {
			mutex_unlock(&dir->d_inode->i_mutex);
2331
			goto out;
2332
		}
2333 2334 2335
	}
	mutex_unlock(&dir->d_inode->i_mutex);

2336
done:
2337
	if (d_is_negative(dentry)) {
2338 2339 2340
		error = -ENOENT;
		dput(dentry);
		goto out;
2341
	}
2342
	path->dentry = dentry;
2343
	path->mnt = nd->path.mnt;
A
Al Viro 已提交
2344 2345
	if (should_follow_link(dentry, nd->flags & LOOKUP_FOLLOW)) {
		nd->link = *path;
2346
		return 1;
A
Al Viro 已提交
2347
	}
2348
	mntget(path->mnt);
2349 2350 2351
	follow_mount(path);
	error = 0;
out:
2352 2353 2354 2355 2356
	terminate_walk(nd);
	return error;
}

/**
2357
 * path_mountpoint - look up a path to be umounted
2358 2359
 * @dfd:	directory file descriptor to start walk from
 * @name:	full pathname to walk
2360
 * @path:	pointer to container for result
2361 2362 2363
 * @flags:	lookup flags
 *
 * Look up the given name, but don't attempt to revalidate the last component.
2364
 * Returns 0 and "path" will be valid on success; Returns error otherwise.
2365 2366
 */
static int
2367
path_mountpoint(int dfd, const struct filename *name, struct path *path,
2368
		struct nameidata *nd, unsigned int flags)
2369
{
2370
	int err = path_init(dfd, name, flags, nd);
2371
	if (unlikely(err))
2372
		goto out;
2373

2374
	err = mountpoint_last(nd, path);
2375 2376 2377
	while (err > 0) {
		void *cookie;
		struct path link = *path;
2378
		err = trailing_symlink(&link, nd, &cookie);
2379 2380
		if (err)
			break;
2381 2382
		err = mountpoint_last(nd, path);
		put_link(nd, &link, cookie);
2383 2384
	}
out:
2385
	path_cleanup(nd);
2386 2387 2388
	return err;
}

A
Al Viro 已提交
2389
static int
2390
filename_mountpoint(int dfd, struct filename *name, struct path *path,
A
Al Viro 已提交
2391 2392
			unsigned int flags)
{
2393
	struct nameidata nd;
2394
	int error;
2395 2396
	if (IS_ERR(name))
		return PTR_ERR(name);
2397
	error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_RCU);
A
Al Viro 已提交
2398
	if (unlikely(error == -ECHILD))
2399
		error = path_mountpoint(dfd, name, path, &nd, flags);
A
Al Viro 已提交
2400
	if (unlikely(error == -ESTALE))
2401
		error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_REVAL);
A
Al Viro 已提交
2402
	if (likely(!error))
2403 2404
		audit_inode(name, path->dentry, 0);
	putname(name);
A
Al Viro 已提交
2405 2406 2407
	return error;
}

2408
/**
2409
 * user_path_mountpoint_at - lookup a path from userland in order to umount it
2410 2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422
 * @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
2423
user_path_mountpoint_at(int dfd, const char __user *name, unsigned int flags,
2424 2425
			struct path *path)
{
2426
	return filename_mountpoint(dfd, getname(name), path, flags);
2427 2428
}

A
Al Viro 已提交
2429 2430 2431 2432
int
kern_path_mountpoint(int dfd, const char *name, struct path *path,
			unsigned int flags)
{
2433
	return filename_mountpoint(dfd, getname_kernel(name), path, flags);
A
Al Viro 已提交
2434 2435 2436
}
EXPORT_SYMBOL(kern_path_mountpoint);

M
Miklos Szeredi 已提交
2437
int __check_sticky(struct inode *dir, struct inode *inode)
L
Linus Torvalds 已提交
2438
{
2439
	kuid_t fsuid = current_fsuid();
2440

2441
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2442
		return 0;
2443
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2444
		return 0;
2445
	return !capable_wrt_inode_uidgid(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2446
}
M
Miklos Szeredi 已提交
2447
EXPORT_SYMBOL(__check_sticky);
L
Linus Torvalds 已提交
2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467

/*
 *	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().
 */
2468
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2469
{
2470
	struct inode *inode = victim->d_inode;
L
Linus Torvalds 已提交
2471 2472
	int error;

2473
	if (d_is_negative(victim))
L
Linus Torvalds 已提交
2474
		return -ENOENT;
2475
	BUG_ON(!inode);
L
Linus Torvalds 已提交
2476 2477

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

2480
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2481 2482 2483 2484
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
2485 2486 2487

	if (check_sticky(dir, inode) || IS_APPEND(inode) ||
	    IS_IMMUTABLE(inode) || IS_SWAPFILE(inode))
L
Linus Torvalds 已提交
2488 2489
		return -EPERM;
	if (isdir) {
M
Miklos Szeredi 已提交
2490
		if (!d_is_dir(victim))
L
Linus Torvalds 已提交
2491 2492 2493
			return -ENOTDIR;
		if (IS_ROOT(victim))
			return -EBUSY;
M
Miklos Szeredi 已提交
2494
	} else if (d_is_dir(victim))
L
Linus Torvalds 已提交
2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510
		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())
 */
2511
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2512
{
2513
	audit_inode_child(dir, child, AUDIT_TYPE_CHILD_CREATE);
L
Linus Torvalds 已提交
2514 2515 2516 2517
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2518
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2519 2520 2521 2522 2523 2524 2525 2526 2527 2528
}

/*
 * 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 已提交
2529
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2530 2531 2532
		return NULL;
	}

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

2535 2536 2537 2538 2539
	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 已提交
2540 2541
	}

2542 2543 2544 2545 2546
	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 已提交
2547 2548
	}

I
Ingo Molnar 已提交
2549
	mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
2550
	mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_PARENT2);
L
Linus Torvalds 已提交
2551 2552
	return NULL;
}
2553
EXPORT_SYMBOL(lock_rename);
L
Linus Torvalds 已提交
2554 2555 2556

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2557
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2558
	if (p1 != p2) {
2559
		mutex_unlock(&p2->d_inode->i_mutex);
2560
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2561 2562
	}
}
2563
EXPORT_SYMBOL(unlock_rename);
L
Linus Torvalds 已提交
2564

A
Al Viro 已提交
2565
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2566
		bool want_excl)
L
Linus Torvalds 已提交
2567
{
2568
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2569 2570 2571
	if (error)
		return error;

A
Al Viro 已提交
2572
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2573 2574 2575 2576 2577 2578
		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 已提交
2579
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2580
	if (!error)
2581
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2582 2583
	return error;
}
2584
EXPORT_SYMBOL(vfs_create);
L
Linus Torvalds 已提交
2585

A
Al Viro 已提交
2586
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2587
{
2588
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2589 2590 2591
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2592 2593 2594 2595
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2596 2597 2598
	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2599 2600
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2601
		return -ELOOP;
C
Christoph Hellwig 已提交
2602 2603 2604 2605 2606 2607
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2608
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
2609
			return -EACCES;
C
Christoph Hellwig 已提交
2610 2611 2612
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2613
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2614
		break;
2615
	}
2616

2617
	error = inode_permission(inode, acc_mode);
2618 2619
	if (error)
		return error;
M
Mimi Zohar 已提交
2620

L
Linus Torvalds 已提交
2621 2622 2623 2624
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2625
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2626
			return -EPERM;
L
Linus Torvalds 已提交
2627
		if (flag & O_TRUNC)
2628
			return -EPERM;
L
Linus Torvalds 已提交
2629 2630 2631
	}

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

2635
	return 0;
2636
}
L
Linus Torvalds 已提交
2637

2638
static int handle_truncate(struct file *filp)
2639
{
2640
	struct path *path = &filp->f_path;
2641 2642 2643 2644 2645 2646 2647
	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.
	 */
2648
	error = locks_verify_locked(filp);
2649
	if (!error)
2650
		error = security_path_truncate(path);
2651 2652 2653
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2654
				    filp);
2655 2656
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2657
	return error;
L
Linus Torvalds 已提交
2658 2659
}

2660 2661
static inline int open_to_namei_flags(int flag)
{
2662 2663
	if ((flag & O_ACCMODE) == 3)
		flag--;
2664 2665 2666
	return flag;
}

M
Miklos Szeredi 已提交
2667 2668 2669 2670 2671 2672 2673 2674 2675 2676 2677 2678 2679
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);
}

2680 2681 2682 2683 2684 2685 2686 2687 2688 2689 2690 2691 2692
/*
 * 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.
 */
2693 2694 2695
static int atomic_open(struct nameidata *nd, struct dentry *dentry,
			struct path *path, struct file *file,
			const struct open_flags *op,
2696
			bool got_write, bool need_lookup,
2697
			int *opened)
M
Miklos Szeredi 已提交
2698 2699 2700 2701 2702 2703 2704 2705
{
	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;
2706
	bool excl;
M
Miklos Szeredi 已提交
2707 2708 2709 2710 2711

	BUG_ON(dentry->d_inode);

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

2716
	mode = op->mode;
M
Miklos Szeredi 已提交
2717 2718 2719
	if ((open_flag & O_CREAT) && !IS_POSIXACL(dir))
		mode &= ~current_umask();

2720 2721
	excl = (open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT);
	if (excl)
M
Miklos Szeredi 已提交
2722 2723 2724 2725 2726 2727 2728 2729 2730 2731 2732
		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).
	 */
2733 2734 2735
	if (((open_flag & (O_CREAT | O_TRUNC)) ||
	    (open_flag & O_ACCMODE) != O_RDONLY) && unlikely(!got_write)) {
		if (!(open_flag & O_CREAT)) {
M
Miklos Szeredi 已提交
2736 2737 2738 2739 2740 2741 2742
			/*
			 * 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 */
2743
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2744 2745 2746
			goto no_open;
		} else {
			/* No side effects, safe to clear O_CREAT */
2747
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2748 2749 2750 2751 2752
			open_flag &= ~O_CREAT;
		}
	}

	if (open_flag & O_CREAT) {
2753
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2754 2755 2756 2757 2758 2759 2760 2761 2762 2763 2764
		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 已提交
2765 2766 2767
	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,
2768
				      opened);
A
Al Viro 已提交
2769 2770 2771
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2772 2773 2774
		goto out;
	}

A
Al Viro 已提交
2775
	if (error) {	/* returned 1, that is */
A
Al Viro 已提交
2776
		if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2777
			error = -EIO;
M
Miklos Szeredi 已提交
2778 2779
			goto out;
		}
A
Al Viro 已提交
2780
		if (file->f_path.dentry) {
M
Miklos Szeredi 已提交
2781
			dput(dentry);
A
Al Viro 已提交
2782
			dentry = file->f_path.dentry;
M
Miklos Szeredi 已提交
2783
		}
2784 2785 2786 2787 2788 2789 2790 2791 2792 2793 2794 2795 2796
		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;
			}
2797
		}
M
Miklos Szeredi 已提交
2798 2799 2800 2801 2802 2803 2804
		goto looked_up;
	}

	/*
	 * We didn't have the inode before the open, so check open permission
	 * here.
	 */
2805 2806 2807 2808 2809 2810
	acc_mode = op->acc_mode;
	if (*opened & FILE_CREATED) {
		WARN_ON(!(open_flag & O_CREAT));
		fsnotify_create(dir, dentry);
		acc_mode = MAY_OPEN;
	}
2811 2812 2813
	error = may_open(&file->f_path, acc_mode, open_flag);
	if (error)
		fput(file);
M
Miklos Szeredi 已提交
2814 2815 2816

out:
	dput(dentry);
2817
	return error;
M
Miklos Szeredi 已提交
2818 2819 2820

no_open:
	if (need_lookup) {
2821
		dentry = lookup_real(dir, dentry, nd->flags);
M
Miklos Szeredi 已提交
2822
		if (IS_ERR(dentry))
2823
			return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2824 2825 2826 2827

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

2828
			error = create_error;
M
Miklos Szeredi 已提交
2829 2830 2831 2832 2833 2834
			if ((open_flag & O_EXCL)) {
				if (!dentry->d_inode)
					goto out;
			} else if (!dentry->d_inode) {
				goto out;
			} else if ((open_flag & O_TRUNC) &&
2835
				   d_is_reg(dentry)) {
M
Miklos Szeredi 已提交
2836 2837 2838 2839 2840 2841 2842 2843
				goto out;
			}
			/* will fail later, go on to get the right error */
		}
	}
looked_up:
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2844
	return 1;
M
Miklos Szeredi 已提交
2845 2846
}

M
Miklos Szeredi 已提交
2847
/*
2848
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2849 2850 2851
 *
 * Must be called with i_mutex held on parent.
 *
2852 2853 2854 2855 2856 2857 2858 2859 2860 2861 2862 2863
 * 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 已提交
2864
 */
2865 2866 2867
static int lookup_open(struct nameidata *nd, struct path *path,
			struct file *file,
			const struct open_flags *op,
2868
			bool got_write, int *opened)
M
Miklos Szeredi 已提交
2869 2870
{
	struct dentry *dir = nd->path.dentry;
2871
	struct inode *dir_inode = dir->d_inode;
M
Miklos Szeredi 已提交
2872 2873
	struct dentry *dentry;
	int error;
2874
	bool need_lookup;
M
Miklos Szeredi 已提交
2875

2876
	*opened &= ~FILE_CREATED;
2877
	dentry = lookup_dcache(&nd->last, dir, nd->flags, &need_lookup);
M
Miklos Szeredi 已提交
2878
	if (IS_ERR(dentry))
2879
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2880

M
Miklos Szeredi 已提交
2881 2882 2883 2884 2885
	/* 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) {
2886
		return atomic_open(nd, dentry, path, file, op, got_write,
2887
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2888 2889
	}

2890 2891 2892
	if (need_lookup) {
		BUG_ON(dentry->d_inode);

2893
		dentry = lookup_real(dir_inode, dentry, nd->flags);
2894
		if (IS_ERR(dentry))
2895
			return PTR_ERR(dentry);
2896 2897
	}

M
Miklos Szeredi 已提交
2898 2899 2900 2901 2902 2903 2904 2905 2906 2907
	/* 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
2908
		 * the 'struct file' in finish_open().
M
Miklos Szeredi 已提交
2909
		 */
2910 2911
		if (!got_write) {
			error = -EROFS;
M
Miklos Szeredi 已提交
2912
			goto out_dput;
2913
		}
2914
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2915 2916 2917
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto out_dput;
A
Al Viro 已提交
2918 2919
		error = vfs_create(dir->d_inode, dentry, mode,
				   nd->flags & LOOKUP_EXCL);
M
Miklos Szeredi 已提交
2920 2921 2922
		if (error)
			goto out_dput;
	}
M
Miklos Szeredi 已提交
2923
out_no_open:
M
Miklos Szeredi 已提交
2924 2925
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2926
	return 1;
M
Miklos Szeredi 已提交
2927 2928 2929

out_dput:
	dput(dentry);
2930
	return error;
M
Miklos Szeredi 已提交
2931 2932
}

N
Nick Piggin 已提交
2933
/*
2934
 * Handle the last step of open()
N
Nick Piggin 已提交
2935
 */
2936
static int do_last(struct nameidata *nd,
2937
		   struct file *file, const struct open_flags *op,
2938
		   int *opened, struct filename *name)
2939
{
2940
	struct dentry *dir = nd->path.dentry;
2941
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
2942
	bool will_truncate = (open_flag & O_TRUNC) != 0;
2943
	bool got_write = false;
A
Al Viro 已提交
2944
	int acc_mode = op->acc_mode;
2945
	struct inode *inode;
2946
	struct path save_parent = { .dentry = NULL, .mnt = NULL };
2947
	struct path path;
2948
	bool retried = false;
A
Al Viro 已提交
2949
	int error;
2950

2951 2952 2953
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

2954
	if (nd->last_type != LAST_NORM) {
2955 2956
		error = handle_dots(nd, nd->last_type);
		if (error)
2957
			return error;
M
Miklos Szeredi 已提交
2958
		goto finish_open;
2959
	}
2960

2961
	if (!(open_flag & O_CREAT)) {
2962 2963 2964
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
		/* we _can_ be in RCU mode here */
2965
		error = lookup_fast(nd, &path, &inode);
2966 2967 2968 2969
		if (likely(!error))
			goto finish_lookup;

		if (error < 0)
2970
			goto out;
2971 2972

		BUG_ON(nd->inode != dir->d_inode);
2973 2974 2975 2976 2977 2978 2979 2980 2981
	} 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)
2982
			return error;
2983

2984
		audit_inode(name, dir, LOOKUP_PARENT);
2985 2986 2987
		error = -EISDIR;
		/* trailing slashes? */
		if (nd->last.name[nd->last.len])
2988
			goto out;
2989
	}
A
Al Viro 已提交
2990

2991
retry_lookup:
2992 2993 2994 2995 2996 2997 2998 2999 3000 3001
	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.
		 */
	}
3002
	mutex_lock(&dir->d_inode->i_mutex);
3003
	error = lookup_open(nd, &path, file, op, got_write, opened);
M
Miklos Szeredi 已提交
3004
	mutex_unlock(&dir->d_inode->i_mutex);
3005

3006 3007
	if (error <= 0) {
		if (error)
M
Miklos Szeredi 已提交
3008 3009
			goto out;

3010
		if ((*opened & FILE_CREATED) ||
A
Al Viro 已提交
3011
		    !S_ISREG(file_inode(file)->i_mode))
M
Miklos Szeredi 已提交
3012
			will_truncate = false;
M
Miklos Szeredi 已提交
3013

3014
		audit_inode(name, file->f_path.dentry, 0);
M
Miklos Szeredi 已提交
3015 3016
		goto opened;
	}
3017

3018
	if (*opened & FILE_CREATED) {
3019
		/* Don't check for write permission, don't truncate */
3020
		open_flag &= ~O_TRUNC;
M
Miklos Szeredi 已提交
3021
		will_truncate = false;
A
Al Viro 已提交
3022
		acc_mode = MAY_OPEN;
3023
		path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
3024
		goto finish_open_created;
3025 3026 3027
	}

	/*
3028
	 * create/update audit record if it already exists.
3029
	 */
3030 3031
	if (d_is_positive(path.dentry))
		audit_inode(name, path.dentry, 0);
3032

M
Miklos Szeredi 已提交
3033 3034 3035 3036 3037
	/*
	 * If atomic_open() acquired write access it is dropped now due to
	 * possible mount and symlink following (this might be optimized away if
	 * necessary...)
	 */
3038
	if (got_write) {
M
Miklos Szeredi 已提交
3039
		mnt_drop_write(nd->path.mnt);
3040
		got_write = false;
M
Miklos Szeredi 已提交
3041 3042
	}

3043
	error = -EEXIST;
A
Al Viro 已提交
3044
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))
3045 3046
		goto exit_dput;

3047
	error = follow_managed(&path, nd->flags);
3048 3049
	if (error < 0)
		goto exit_dput;
3050

3051 3052 3053
	if (error)
		nd->flags |= LOOKUP_JUMPED;

3054
	BUG_ON(nd->flags & LOOKUP_RCU);
3055
	inode = path.dentry->d_inode;
3056
	error = -ENOENT;
3057 3058
	if (d_is_negative(path.dentry)) {
		path_to_nameidata(&path, nd);
3059
		goto out;
3060
	}
3061
finish_lookup:
3062
	if (should_follow_link(path.dentry, nd->flags & LOOKUP_FOLLOW)) {
3063
		if (nd->flags & LOOKUP_RCU) {
3064 3065
			if (unlikely(nd->path.mnt != path.mnt ||
				     unlazy_walk(nd, path.dentry))) {
3066
				error = -ECHILD;
3067
				goto out;
3068 3069
			}
		}
3070 3071
		BUG_ON(inode != path.dentry->d_inode);
		nd->link = path;
3072
		return 1;
3073
	}
3074

3075 3076
	if (unlikely(d_is_symlink(path.dentry)) && !(open_flag & O_PATH)) {
		path_to_nameidata(&path, nd);
3077 3078 3079 3080
		error = -ELOOP;
		goto out;
	}

3081 3082
	if ((nd->flags & LOOKUP_RCU) || nd->path.mnt != path.mnt) {
		path_to_nameidata(&path, nd);
3083 3084
	} else {
		save_parent.dentry = nd->path.dentry;
3085 3086
		save_parent.mnt = mntget(path.mnt);
		nd->path.dentry = path.dentry;
3087 3088

	}
3089
	nd->inode = inode;
3090
	/* Why this, you ask?  _Now_ we might have grown LOOKUP_JUMPED... */
3091
finish_open:
3092
	error = complete_walk(nd);
3093 3094
	if (error) {
		path_put(&save_parent);
3095
		return error;
3096
	}
3097
	audit_inode(name, nd->path.dentry, 0);
3098
	error = -EISDIR;
M
Miklos Szeredi 已提交
3099
	if ((open_flag & O_CREAT) && d_is_dir(nd->path.dentry))
3100
		goto out;
3101
	error = -ENOTDIR;
M
Miklos Szeredi 已提交
3102
	if ((nd->flags & LOOKUP_DIRECTORY) && !d_can_lookup(nd->path.dentry))
3103
		goto out;
3104
	if (!d_is_reg(nd->path.dentry))
M
Miklos Szeredi 已提交
3105
		will_truncate = false;
3106

3107 3108 3109
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
3110
			goto out;
3111
		got_write = true;
3112
	}
M
Miklos Szeredi 已提交
3113
finish_open_created:
A
Al Viro 已提交
3114
	error = may_open(&nd->path, acc_mode, open_flag);
3115
	if (error)
3116
		goto out;
M
Miklos Szeredi 已提交
3117 3118 3119 3120 3121 3122

	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 已提交
3123
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
3124
			goto stale_open;
3125
		goto out;
M
Miklos Szeredi 已提交
3126
	}
3127
opened:
3128
	error = open_check_o_direct(file);
3129 3130
	if (error)
		goto exit_fput;
3131
	error = ima_file_check(file, op->acc_mode, *opened);
3132 3133 3134 3135
	if (error)
		goto exit_fput;

	if (will_truncate) {
3136
		error = handle_truncate(file);
3137 3138
		if (error)
			goto exit_fput;
3139
	}
3140
out:
3141
	if (got_write)
3142
		mnt_drop_write(nd->path.mnt);
3143
	path_put(&save_parent);
3144
	terminate_walk(nd);
3145
	return error;
3146 3147

exit_dput:
3148
	path_put_conditional(&path, nd);
3149
	goto out;
3150
exit_fput:
3151 3152
	fput(file);
	goto out;
3153

M
Miklos Szeredi 已提交
3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164
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;
3165
	if (got_write) {
M
Miklos Szeredi 已提交
3166
		mnt_drop_write(nd->path.mnt);
3167
		got_write = false;
M
Miklos Szeredi 已提交
3168 3169 3170
	}
	retried = true;
	goto retry_lookup;
3171 3172
}

3173 3174 3175 3176 3177 3178 3179 3180
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;
3181
	int error = path_lookupat(dfd, pathname,
3182 3183 3184 3185 3186 3187 3188 3189 3190 3191 3192 3193 3194 3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210
				  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);
3211 3212
	/* Don't check for other permissions, the inode was just created */
	error = may_open(&nd->path, MAY_OPEN, op->open_flag);
3213 3214 3215 3216 3217 3218 3219
	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);
3220
	if (error) {
3221
		fput(file);
3222 3223 3224 3225 3226 3227
	} 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);
	}
3228 3229 3230 3231 3232 3233 3234
out2:
	mnt_drop_write(nd->path.mnt);
out:
	path_put(&nd->path);
	return error;
}

3235
static struct file *path_openat(int dfd, struct filename *pathname,
A
Al Viro 已提交
3236
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
3237
{
A
Al Viro 已提交
3238
	struct file *file;
3239
	int opened = 0;
3240
	int error;
N
Nick Piggin 已提交
3241

A
Al Viro 已提交
3242
	file = get_empty_filp();
3243 3244
	if (IS_ERR(file))
		return file;
N
Nick Piggin 已提交
3245

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

A
Al Viro 已提交
3248
	if (unlikely(file->f_flags & __O_TMPFILE)) {
3249
		error = do_tmpfile(dfd, pathname, nd, flags, op, file, &opened);
A
Al Viro 已提交
3250
		goto out2;
3251 3252
	}

A
Al Viro 已提交
3253
	error = path_init(dfd, pathname, flags, nd);
N
Nick Piggin 已提交
3254
	if (unlikely(error))
3255
		goto out;
L
Linus Torvalds 已提交
3256

3257
	error = do_last(nd, file, op, &opened, pathname);
3258
	while (unlikely(error > 0)) { /* trailing symlink */
A
Al Viro 已提交
3259
		struct path link = nd->link;
A
Al Viro 已提交
3260
		void *cookie;
A
Al Viro 已提交
3261
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
3262
		error = trailing_symlink(&link, nd, &cookie);
3263
		if (unlikely(error))
3264
			break;
3265
		error = do_last(nd, file, op, &opened, pathname);
3266
		put_link(nd, &link, cookie);
3267
	}
A
Al Viro 已提交
3268
out:
A
Al Viro 已提交
3269
	path_cleanup(nd);
A
Al Viro 已提交
3270
out2:
3271 3272
	if (!(opened & FILE_OPENED)) {
		BUG_ON(!error);
A
Al Viro 已提交
3273
		put_filp(file);
3274
	}
3275 3276 3277 3278 3279 3280 3281 3282 3283 3284
	if (unlikely(error)) {
		if (error == -EOPENSTALE) {
			if (flags & LOOKUP_RCU)
				error = -ECHILD;
			else
				error = -ESTALE;
		}
		file = ERR_PTR(error);
	}
	return file;
L
Linus Torvalds 已提交
3285 3286
}

3287
struct file *do_filp_open(int dfd, struct filename *pathname,
3288
		const struct open_flags *op)
3289
{
A
Al Viro 已提交
3290
	struct nameidata nd;
3291
	int flags = op->lookup_flags;
3292 3293
	struct file *filp;

A
Al Viro 已提交
3294
	filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_RCU);
3295
	if (unlikely(filp == ERR_PTR(-ECHILD)))
A
Al Viro 已提交
3296
		filp = path_openat(dfd, pathname, &nd, op, flags);
3297
	if (unlikely(filp == ERR_PTR(-ESTALE)))
A
Al Viro 已提交
3298
		filp = path_openat(dfd, pathname, &nd, op, flags | LOOKUP_REVAL);
3299 3300 3301
	return filp;
}

A
Al Viro 已提交
3302
struct file *do_file_open_root(struct dentry *dentry, struct vfsmount *mnt,
3303
		const char *name, const struct open_flags *op)
A
Al Viro 已提交
3304 3305 3306
{
	struct nameidata nd;
	struct file *file;
3307
	struct filename *filename;
3308
	int flags = op->lookup_flags | LOOKUP_ROOT;
A
Al Viro 已提交
3309 3310 3311 3312

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

3313
	if (d_is_symlink(dentry) && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3314 3315
		return ERR_PTR(-ELOOP);

3316 3317 3318 3319 3320
	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 已提交
3321
	if (unlikely(file == ERR_PTR(-ECHILD)))
3322
		file = path_openat(-1, filename, &nd, op, flags);
A
Al Viro 已提交
3323
	if (unlikely(file == ERR_PTR(-ESTALE)))
3324 3325
		file = path_openat(-1, filename, &nd, op, flags | LOOKUP_REVAL);
	putname(filename);
A
Al Viro 已提交
3326 3327 3328
	return file;
}

3329
static struct dentry *filename_create(int dfd, struct filename *name,
3330
				struct path *path, unsigned int lookup_flags)
L
Linus Torvalds 已提交
3331
{
3332
	struct dentry *dentry = ERR_PTR(-EEXIST);
A
Al Viro 已提交
3333
	struct nameidata nd;
3334
	int err2;
3335 3336 3337 3338 3339 3340 3341 3342 3343
	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;

3344
	error = filename_lookup(dfd, name, LOOKUP_PARENT|lookup_flags, &nd);
A
Al Viro 已提交
3345 3346
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
3347

3348 3349 3350 3351
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
A
Al Viro 已提交
3352 3353 3354 3355
	if (nd.last_type != LAST_NORM)
		goto out;
	nd.flags &= ~LOOKUP_PARENT;
	nd.flags |= LOOKUP_CREATE | LOOKUP_EXCL;
3356

3357 3358
	/* don't fail immediately if it's r/o, at least try to report other errors */
	err2 = mnt_want_write(nd.path.mnt);
3359 3360 3361
	/*
	 * Do the final lookup.
	 */
A
Al Viro 已提交
3362
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
A
Al Viro 已提交
3363
	dentry = __lookup_hash(&nd.last, nd.path.dentry, nd.flags);
L
Linus Torvalds 已提交
3364
	if (IS_ERR(dentry))
3365
		goto unlock;
3366

3367
	error = -EEXIST;
3368
	if (d_is_positive(dentry))
3369
		goto fail;
3370

3371 3372 3373 3374 3375 3376
	/*
	 * 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 已提交
3377
	if (unlikely(!is_dir && nd.last.name[nd.last.len])) {
3378
		error = -ENOENT;
A
Al Viro 已提交
3379
		goto fail;
3380
	}
3381 3382
	if (unlikely(err2)) {
		error = err2;
3383
		goto fail;
3384
	}
A
Al Viro 已提交
3385
	*path = nd.path;
L
Linus Torvalds 已提交
3386 3387
	return dentry;
fail:
3388 3389 3390
	dput(dentry);
	dentry = ERR_PTR(error);
unlock:
A
Al Viro 已提交
3391
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
3392 3393
	if (!err2)
		mnt_drop_write(nd.path.mnt);
A
Al Viro 已提交
3394 3395
out:
	path_put(&nd.path);
L
Linus Torvalds 已提交
3396 3397
	return dentry;
}
3398 3399 3400 3401

struct dentry *kern_path_create(int dfd, const char *pathname,
				struct path *path, unsigned int lookup_flags)
{
3402 3403 3404 3405 3406 3407 3408 3409
	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;
3410
}
3411 3412
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3413 3414 3415 3416
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3417
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3418 3419 3420 3421
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

3422 3423
struct dentry *user_path_create(int dfd, const char __user *pathname,
				struct path *path, unsigned int lookup_flags)
3424
{
3425
	struct filename *tmp = getname(pathname);
3426 3427 3428
	struct dentry *res;
	if (IS_ERR(tmp))
		return ERR_CAST(tmp);
3429
	res = filename_create(dfd, tmp, path, lookup_flags);
3430 3431 3432 3433 3434
	putname(tmp);
	return res;
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3435
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3436
{
3437
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3438 3439 3440 3441

	if (error)
		return error;

3442
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3443 3444
		return -EPERM;

A
Al Viro 已提交
3445
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3446 3447
		return -EPERM;

3448 3449 3450 3451
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3452 3453 3454 3455 3456
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3457
	if (!error)
3458
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3459 3460
	return error;
}
3461
EXPORT_SYMBOL(vfs_mknod);
L
Linus Torvalds 已提交
3462

A
Al Viro 已提交
3463
static int may_mknod(umode_t mode)
3464 3465 3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479
{
	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 已提交
3480
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
3481
		unsigned, dev)
L
Linus Torvalds 已提交
3482
{
3483
	struct dentry *dentry;
3484 3485
	struct path path;
	int error;
3486
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3487

3488 3489 3490
	error = may_mknod(mode);
	if (error)
		return error;
3491 3492
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3493 3494
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3495

3496
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3497
		mode &= ~current_umask();
3498
	error = security_path_mknod(&path, dentry, mode, dev);
3499
	if (error)
3500
		goto out;
3501
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3502
		case 0: case S_IFREG:
A
Al Viro 已提交
3503
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
L
Linus Torvalds 已提交
3504 3505
			break;
		case S_IFCHR: case S_IFBLK:
3506
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3507 3508 3509
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3510
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3511 3512
			break;
	}
3513
out:
A
Al Viro 已提交
3514
	done_path_create(&path, dentry);
3515 3516 3517 3518
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3519 3520 3521
	return error;
}

A
Al Viro 已提交
3522
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3523 3524 3525 3526
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

3527
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3528
{
3529
	int error = may_create(dir, dentry);
3530
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3531 3532 3533 3534

	if (error)
		return error;

A
Al Viro 已提交
3535
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3536 3537 3538 3539 3540 3541 3542
		return -EPERM;

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

3543 3544 3545
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3546
	error = dir->i_op->mkdir(dir, dentry, mode);
3547
	if (!error)
3548
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3549 3550
	return error;
}
3551
EXPORT_SYMBOL(vfs_mkdir);
L
Linus Torvalds 已提交
3552

3553
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
3554
{
3555
	struct dentry *dentry;
3556 3557
	struct path path;
	int error;
3558
	unsigned int lookup_flags = LOOKUP_DIRECTORY;
L
Linus Torvalds 已提交
3559

3560 3561
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3562
	if (IS_ERR(dentry))
3563
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3564

3565
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3566
		mode &= ~current_umask();
3567
	error = security_path_mkdir(&path, dentry, mode);
3568 3569
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3570
	done_path_create(&path, dentry);
3571 3572 3573 3574
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3575 3576 3577
	return error;
}

3578
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3579 3580 3581 3582
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
3583
/*
S
Sage Weil 已提交
3584
 * The dentry_unhash() helper will try to drop the dentry early: we
3585
 * should have a usage count of 1 if we're the only user of this
S
Sage Weil 已提交
3586 3587
 * dentry, and if that is true (possibly after pruning the dcache),
 * then we drop the dentry now.
L
Linus Torvalds 已提交
3588 3589 3590 3591 3592 3593 3594 3595 3596 3597 3598 3599
 *
 * 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)
{
3600
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
3601
	spin_lock(&dentry->d_lock);
3602
	if (dentry->d_lockref.count == 1)
L
Linus Torvalds 已提交
3603 3604 3605
		__d_drop(dentry);
	spin_unlock(&dentry->d_lock);
}
3606
EXPORT_SYMBOL(dentry_unhash);
L
Linus Torvalds 已提交
3607 3608 3609 3610 3611 3612 3613 3614

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

	if (error)
		return error;

A
Al Viro 已提交
3615
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3616 3617
		return -EPERM;

3618
	dget(dentry);
3619
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3620 3621

	error = -EBUSY;
3622
	if (is_local_mountpoint(dentry))
S
Sage Weil 已提交
3623 3624 3625 3626 3627 3628
		goto out;

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

3629
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3630 3631 3632 3633 3634 3635
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);
3636
	detach_mounts(dentry);
S
Sage Weil 已提交
3637 3638

out:
3639
	mutex_unlock(&dentry->d_inode->i_mutex);
3640
	dput(dentry);
S
Sage Weil 已提交
3641
	if (!error)
L
Linus Torvalds 已提交
3642 3643 3644
		d_delete(dentry);
	return error;
}
3645
EXPORT_SYMBOL(vfs_rmdir);
L
Linus Torvalds 已提交
3646

3647
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3648 3649
{
	int error = 0;
3650
	struct filename *name;
L
Linus Torvalds 已提交
3651
	struct dentry *dentry;
3652 3653 3654
	struct path path;
	struct qstr last;
	int type;
3655 3656
	unsigned int lookup_flags = 0;
retry:
3657 3658
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3659 3660
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3661

3662
	switch (type) {
3663 3664 3665 3666 3667 3668 3669 3670 3671
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3672
	}
3673

3674
	error = mnt_want_write(path.mnt);
3675 3676
	if (error)
		goto exit1;
3677

3678 3679
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3680
	error = PTR_ERR(dentry);
3681 3682
	if (IS_ERR(dentry))
		goto exit2;
3683 3684 3685 3686
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3687
	error = security_path_rmdir(&path, dentry);
3688
	if (error)
3689
		goto exit3;
3690
	error = vfs_rmdir(path.dentry->d_inode, dentry);
3691
exit3:
3692 3693
	dput(dentry);
exit2:
3694 3695
	mutex_unlock(&path.dentry->d_inode->i_mutex);
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3696
exit1:
3697
	path_put(&path);
L
Linus Torvalds 已提交
3698
	putname(name);
3699 3700 3701 3702
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3703 3704 3705
	return error;
}

3706
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3707 3708 3709 3710
{
	return do_rmdir(AT_FDCWD, pathname);
}

3711 3712 3713 3714 3715 3716 3717 3718 3719 3720 3721 3722 3723 3724 3725 3726 3727 3728 3729
/**
 * 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 已提交
3730
{
J
J. Bruce Fields 已提交
3731
	struct inode *target = dentry->d_inode;
L
Linus Torvalds 已提交
3732 3733 3734 3735 3736
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3737
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3738 3739
		return -EPERM;

J
J. Bruce Fields 已提交
3740
	mutex_lock(&target->i_mutex);
3741
	if (is_local_mountpoint(dentry))
L
Linus Torvalds 已提交
3742 3743 3744
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3745
		if (!error) {
3746 3747
			error = try_break_deleg(target, delegated_inode);
			if (error)
3748
				goto out;
L
Linus Torvalds 已提交
3749
			error = dir->i_op->unlink(dir, dentry);
3750
			if (!error) {
3751
				dont_mount(dentry);
3752 3753
				detach_mounts(dentry);
			}
3754
		}
L
Linus Torvalds 已提交
3755
	}
3756
out:
J
J. Bruce Fields 已提交
3757
	mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
3758 3759 3760

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

L
Linus Torvalds 已提交
3765 3766
	return error;
}
3767
EXPORT_SYMBOL(vfs_unlink);
L
Linus Torvalds 已提交
3768 3769 3770

/*
 * Make sure that the actual truncation of the file will occur outside its
3771
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3772 3773 3774
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3775
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
3776
{
3777
	int error;
3778
	struct filename *name;
L
Linus Torvalds 已提交
3779
	struct dentry *dentry;
3780 3781 3782
	struct path path;
	struct qstr last;
	int type;
L
Linus Torvalds 已提交
3783
	struct inode *inode = NULL;
3784
	struct inode *delegated_inode = NULL;
3785 3786
	unsigned int lookup_flags = 0;
retry:
3787 3788
	name = user_path_parent(dfd, pathname,
				&path, &last, &type, lookup_flags);
3789 3790
	if (IS_ERR(name))
		return PTR_ERR(name);
3791

L
Linus Torvalds 已提交
3792
	error = -EISDIR;
3793
	if (type != LAST_NORM)
L
Linus Torvalds 已提交
3794
		goto exit1;
3795

3796
	error = mnt_want_write(path.mnt);
3797 3798
	if (error)
		goto exit1;
3799
retry_deleg:
3800 3801
	mutex_lock_nested(&path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3802 3803 3804
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
3805
		if (last.name[last.len])
3806
			goto slashes;
L
Linus Torvalds 已提交
3807
		inode = dentry->d_inode;
3808
		if (d_is_negative(dentry))
3809 3810
			goto slashes;
		ihold(inode);
3811
		error = security_path_unlink(&path, dentry);
3812
		if (error)
3813
			goto exit2;
3814
		error = vfs_unlink(path.dentry->d_inode, dentry, &delegated_inode);
3815
exit2:
L
Linus Torvalds 已提交
3816 3817
		dput(dentry);
	}
3818
	mutex_unlock(&path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
3819 3820
	if (inode)
		iput(inode);	/* truncate the inode here */
3821 3822
	inode = NULL;
	if (delegated_inode) {
3823
		error = break_deleg_wait(&delegated_inode);
3824 3825 3826
		if (!error)
			goto retry_deleg;
	}
3827
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3828
exit1:
3829
	path_put(&path);
L
Linus Torvalds 已提交
3830
	putname(name);
3831 3832 3833 3834 3835
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		inode = NULL;
		goto retry;
	}
L
Linus Torvalds 已提交
3836 3837 3838
	return error;

slashes:
3839 3840
	if (d_is_negative(dentry))
		error = -ENOENT;
M
Miklos Szeredi 已提交
3841
	else if (d_is_dir(dentry))
3842 3843 3844
		error = -EISDIR;
	else
		error = -ENOTDIR;
L
Linus Torvalds 已提交
3845 3846 3847
	goto exit2;
}

3848
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3849 3850 3851 3852 3853 3854 3855 3856 3857 3858
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

3859
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3860 3861 3862 3863
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3864
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3865
{
3866
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3867 3868 3869 3870

	if (error)
		return error;

A
Al Viro 已提交
3871
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3872 3873 3874 3875 3876 3877 3878
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3879
	if (!error)
3880
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3881 3882
	return error;
}
3883
EXPORT_SYMBOL(vfs_symlink);
L
Linus Torvalds 已提交
3884

3885 3886
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3887
{
3888
	int error;
3889
	struct filename *from;
3890
	struct dentry *dentry;
3891
	struct path path;
3892
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3893 3894

	from = getname(oldname);
3895
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3896
		return PTR_ERR(from);
3897 3898
retry:
	dentry = user_path_create(newdfd, newname, &path, lookup_flags);
3899 3900
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3901
		goto out_putname;
3902

3903
	error = security_path_symlink(&path, dentry, from->name);
3904
	if (!error)
3905
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
3906
	done_path_create(&path, dentry);
3907 3908 3909 3910
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
3911
out_putname:
L
Linus Torvalds 已提交
3912 3913 3914 3915
	putname(from);
	return error;
}

3916
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3917 3918 3919 3920
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

J
J. Bruce Fields 已提交
3921 3922 3923 3924 3925 3926 3927 3928 3929 3930 3931 3932 3933 3934 3935 3936 3937 3938 3939 3940
/**
 * 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 已提交
3941 3942
{
	struct inode *inode = old_dentry->d_inode;
3943
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3944 3945 3946 3947 3948
	int error;

	if (!inode)
		return -ENOENT;

3949
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
3950 3951 3952 3953 3954 3955 3956 3957 3958 3959 3960
	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 已提交
3961
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
3962
		return -EPERM;
3963
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
3964 3965 3966 3967 3968 3969
		return -EPERM;

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

3970
	mutex_lock(&inode->i_mutex);
3971
	/* Make sure we don't allow creating hardlink to an unlinked file */
3972
	if (inode->i_nlink == 0 && !(inode->i_state & I_LINKABLE))
3973
		error =  -ENOENT;
3974 3975
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
J
J. Bruce Fields 已提交
3976 3977 3978 3979 3980
	else {
		error = try_break_deleg(inode, delegated_inode);
		if (!error)
			error = dir->i_op->link(old_dentry, dir, new_dentry);
	}
3981 3982 3983 3984 3985 3986

	if (!error && (inode->i_state & I_LINKABLE)) {
		spin_lock(&inode->i_lock);
		inode->i_state &= ~I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
3987
	mutex_unlock(&inode->i_mutex);
3988
	if (!error)
3989
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
3990 3991
	return error;
}
3992
EXPORT_SYMBOL(vfs_link);
L
Linus Torvalds 已提交
3993 3994 3995 3996 3997 3998 3999 4000 4001 4002

/*
 * 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
 */
4003 4004
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
4005 4006
{
	struct dentry *new_dentry;
4007
	struct path old_path, new_path;
J
J. Bruce Fields 已提交
4008
	struct inode *delegated_inode = NULL;
4009
	int how = 0;
L
Linus Torvalds 已提交
4010 4011
	int error;

4012
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
4013
		return -EINVAL;
4014
	/*
4015 4016 4017
	 * 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.
4018
	 */
4019 4020 4021
	if (flags & AT_EMPTY_PATH) {
		if (!capable(CAP_DAC_READ_SEARCH))
			return -ENOENT;
4022
		how = LOOKUP_EMPTY;
4023
	}
4024 4025 4026

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
4027
retry:
4028
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
4029
	if (error)
4030 4031
		return error;

4032 4033
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
4034
	error = PTR_ERR(new_dentry);
4035
	if (IS_ERR(new_dentry))
4036 4037 4038 4039 4040
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
4041 4042 4043
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
4044
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
4045
	if (error)
4046
		goto out_dput;
J
J. Bruce Fields 已提交
4047
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry, &delegated_inode);
4048
out_dput:
A
Al Viro 已提交
4049
	done_path_create(&new_path, new_dentry);
J
J. Bruce Fields 已提交
4050 4051
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
4052 4053
		if (!error) {
			path_put(&old_path);
J
J. Bruce Fields 已提交
4054
			goto retry;
4055
		}
J
J. Bruce Fields 已提交
4056
	}
4057
	if (retry_estale(error, how)) {
4058
		path_put(&old_path);
4059 4060 4061
		how |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
4062
out:
4063
	path_put(&old_path);
L
Linus Torvalds 已提交
4064 4065 4066 4067

	return error;
}

4068
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
4069
{
4070
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4071 4072
}

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

	if (source == target)
		return 0;

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

M
Miklos Szeredi 已提交
4141
	if (!target) {
4142
		error = may_create(new_dir, new_dentry);
M
Miklos Szeredi 已提交
4143 4144 4145 4146 4147 4148 4149 4150
	} 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);
	}
4151 4152 4153
	if (error)
		return error;

M
Miklos Szeredi 已提交
4154
	if (!old_dir->i_op->rename && !old_dir->i_op->rename2)
4155
		return -EPERM;
L
Linus Torvalds 已提交
4156

M
Miklos Szeredi 已提交
4157 4158 4159
	if (flags && !old_dir->i_op->rename2)
		return -EINVAL;

L
Linus Torvalds 已提交
4160 4161 4162 4163
	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
M
Miklos Szeredi 已提交
4164 4165 4166 4167 4168 4169 4170 4171 4172 4173 4174
	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 已提交
4175 4176
	}

4177 4178
	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry,
				      flags);
L
Linus Torvalds 已提交
4179 4180 4181
	if (error)
		return error;

4182
	old_name = fsnotify_oldname_init(old_dentry->d_name.name);
4183
	dget(new_dentry);
M
Miklos Szeredi 已提交
4184
	if (!is_dir || (flags & RENAME_EXCHANGE))
4185 4186
		lock_two_nondirectories(source, target);
	else if (target)
4187
		mutex_lock(&target->i_mutex);
S
Sage Weil 已提交
4188 4189

	error = -EBUSY;
4190
	if (is_local_mountpoint(old_dentry) || is_local_mountpoint(new_dentry))
S
Sage Weil 已提交
4191 4192
		goto out;

M
Miklos Szeredi 已提交
4193
	if (max_links && new_dir != old_dir) {
4194
		error = -EMLINK;
M
Miklos Szeredi 已提交
4195
		if (is_dir && !new_is_dir && new_dir->i_nlink >= max_links)
4196
			goto out;
M
Miklos Szeredi 已提交
4197 4198 4199 4200 4201 4202 4203
		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) {
4204
		error = try_break_deleg(source, delegated_inode);
4205 4206
		if (error)
			goto out;
M
Miklos Szeredi 已提交
4207 4208 4209 4210 4211
	}
	if (target && !new_is_dir) {
		error = try_break_deleg(target, delegated_inode);
		if (error)
			goto out;
4212
	}
M
Miklos Szeredi 已提交
4213
	if (!old_dir->i_op->rename2) {
M
Miklos Szeredi 已提交
4214 4215 4216
		error = old_dir->i_op->rename(old_dir, old_dentry,
					      new_dir, new_dentry);
	} else {
M
Miklos Szeredi 已提交
4217
		WARN_ON(old_dir->i_op->rename != NULL);
M
Miklos Szeredi 已提交
4218 4219 4220
		error = old_dir->i_op->rename2(old_dir, old_dentry,
					       new_dir, new_dentry, flags);
	}
S
Sage Weil 已提交
4221 4222 4223
	if (error)
		goto out;

M
Miklos Szeredi 已提交
4224
	if (!(flags & RENAME_EXCHANGE) && target) {
4225 4226
		if (is_dir)
			target->i_flags |= S_DEAD;
S
Sage Weil 已提交
4227
		dont_mount(new_dentry);
4228
		detach_mounts(new_dentry);
4229
	}
M
Miklos Szeredi 已提交
4230 4231 4232 4233 4234 4235
	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 已提交
4236
out:
M
Miklos Szeredi 已提交
4237
	if (!is_dir || (flags & RENAME_EXCHANGE))
4238 4239 4240
		unlock_two_nondirectories(source, target);
	else if (target)
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
4241
	dput(new_dentry);
M
Miklos Szeredi 已提交
4242
	if (!error) {
4243
		fsnotify_move(old_dir, new_dir, old_name, is_dir,
M
Miklos Szeredi 已提交
4244 4245 4246 4247 4248 4249
			      !(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 已提交
4250 4251
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
4252 4253
	return error;
}
4254
EXPORT_SYMBOL(vfs_rename);
L
Linus Torvalds 已提交
4255

M
Miklos Szeredi 已提交
4256 4257
SYSCALL_DEFINE5(renameat2, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, unsigned int, flags)
L
Linus Torvalds 已提交
4258
{
4259 4260
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
4261 4262 4263
	struct path old_path, new_path;
	struct qstr old_last, new_last;
	int old_type, new_type;
4264
	struct inode *delegated_inode = NULL;
4265 4266
	struct filename *from;
	struct filename *to;
4267
	unsigned int lookup_flags = 0, target_flags = LOOKUP_RENAME_TARGET;
4268
	bool should_retry = false;
4269
	int error;
M
Miklos Szeredi 已提交
4270

M
Miklos Szeredi 已提交
4271
	if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
M
Miklos Szeredi 已提交
4272 4273
		return -EINVAL;

M
Miklos Szeredi 已提交
4274 4275
	if ((flags & (RENAME_NOREPLACE | RENAME_WHITEOUT)) &&
	    (flags & RENAME_EXCHANGE))
M
Miklos Szeredi 已提交
4276 4277
		return -EINVAL;

M
Miklos Szeredi 已提交
4278 4279 4280
	if ((flags & RENAME_WHITEOUT) && !capable(CAP_MKNOD))
		return -EPERM;

4281 4282 4283
	if (flags & RENAME_EXCHANGE)
		target_flags = 0;

4284
retry:
4285 4286
	from = user_path_parent(olddfd, oldname,
				&old_path, &old_last, &old_type, lookup_flags);
4287 4288
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
4289
		goto exit;
4290
	}
L
Linus Torvalds 已提交
4291

4292 4293
	to = user_path_parent(newdfd, newname,
				&new_path, &new_last, &new_type, lookup_flags);
4294 4295
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
4296
		goto exit1;
4297
	}
L
Linus Torvalds 已提交
4298 4299

	error = -EXDEV;
4300
	if (old_path.mnt != new_path.mnt)
L
Linus Torvalds 已提交
4301 4302 4303
		goto exit2;

	error = -EBUSY;
4304
	if (old_type != LAST_NORM)
L
Linus Torvalds 已提交
4305 4306
		goto exit2;

M
Miklos Szeredi 已提交
4307 4308
	if (flags & RENAME_NOREPLACE)
		error = -EEXIST;
4309
	if (new_type != LAST_NORM)
L
Linus Torvalds 已提交
4310 4311
		goto exit2;

4312
	error = mnt_want_write(old_path.mnt);
4313 4314 4315
	if (error)
		goto exit2;

4316
retry_deleg:
4317
	trap = lock_rename(new_path.dentry, old_path.dentry);
L
Linus Torvalds 已提交
4318

4319
	old_dentry = __lookup_hash(&old_last, old_path.dentry, lookup_flags);
L
Linus Torvalds 已提交
4320 4321 4322 4323 4324
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
4325
	if (d_is_negative(old_dentry))
L
Linus Torvalds 已提交
4326
		goto exit4;
4327
	new_dentry = __lookup_hash(&new_last, new_path.dentry, lookup_flags | target_flags);
M
Miklos Szeredi 已提交
4328 4329 4330 4331 4332 4333
	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 已提交
4334 4335 4336 4337 4338 4339 4340
	if (flags & RENAME_EXCHANGE) {
		error = -ENOENT;
		if (d_is_negative(new_dentry))
			goto exit5;

		if (!d_is_dir(new_dentry)) {
			error = -ENOTDIR;
4341
			if (new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4342 4343 4344
				goto exit5;
		}
	}
L
Linus Torvalds 已提交
4345
	/* unless the source is a directory trailing slashes give -ENOTDIR */
M
Miklos Szeredi 已提交
4346
	if (!d_is_dir(old_dentry)) {
L
Linus Torvalds 已提交
4347
		error = -ENOTDIR;
4348
		if (old_last.name[old_last.len])
M
Miklos Szeredi 已提交
4349
			goto exit5;
4350
		if (!(flags & RENAME_EXCHANGE) && new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4351
			goto exit5;
L
Linus Torvalds 已提交
4352 4353 4354 4355
	}
	/* source should not be ancestor of target */
	error = -EINVAL;
	if (old_dentry == trap)
M
Miklos Szeredi 已提交
4356
		goto exit5;
L
Linus Torvalds 已提交
4357
	/* target should not be an ancestor of source */
M
Miklos Szeredi 已提交
4358 4359
	if (!(flags & RENAME_EXCHANGE))
		error = -ENOTEMPTY;
L
Linus Torvalds 已提交
4360 4361 4362
	if (new_dentry == trap)
		goto exit5;

4363 4364
	error = security_path_rename(&old_path, old_dentry,
				     &new_path, new_dentry, flags);
4365
	if (error)
4366
		goto exit5;
4367 4368
	error = vfs_rename(old_path.dentry->d_inode, old_dentry,
			   new_path.dentry->d_inode, new_dentry,
M
Miklos Szeredi 已提交
4369
			   &delegated_inode, flags);
L
Linus Torvalds 已提交
4370 4371 4372 4373 4374
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
4375
	unlock_rename(new_path.dentry, old_path.dentry);
4376 4377 4378 4379 4380
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
		if (!error)
			goto retry_deleg;
	}
4381
	mnt_drop_write(old_path.mnt);
L
Linus Torvalds 已提交
4382
exit2:
4383 4384
	if (retry_estale(error, lookup_flags))
		should_retry = true;
4385
	path_put(&new_path);
4386
	putname(to);
L
Linus Torvalds 已提交
4387
exit1:
4388
	path_put(&old_path);
L
Linus Torvalds 已提交
4389
	putname(from);
4390 4391 4392 4393 4394
	if (should_retry) {
		should_retry = false;
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
4395
exit:
L
Linus Torvalds 已提交
4396 4397 4398
	return error;
}

M
Miklos Szeredi 已提交
4399 4400 4401 4402 4403 4404
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
	return sys_renameat2(olddfd, oldname, newdfd, newname, 0);
}

4405
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4406
{
M
Miklos Szeredi 已提交
4407
	return sys_renameat2(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4408 4409
}

M
Miklos Szeredi 已提交
4410 4411 4412 4413 4414 4415 4416 4417 4418 4419 4420 4421 4422 4423
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 已提交
4424
int readlink_copy(char __user *buffer, int buflen, const char *link)
L
Linus Torvalds 已提交
4425
{
A
Al Viro 已提交
4426
	int len = PTR_ERR(link);
L
Linus Torvalds 已提交
4427 4428 4429 4430 4431 4432 4433 4434 4435 4436 4437
	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 已提交
4438
EXPORT_SYMBOL(readlink_copy);
L
Linus Torvalds 已提交
4439 4440 4441 4442 4443 4444 4445 4446

/*
 * 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)
{
4447
	void *cookie;
4448
	const char *link = dentry->d_inode->i_link;
4449
	int res;
4450

4451 4452 4453 4454 4455
	if (!link) {
		link = dentry->d_inode->i_op->follow_link(dentry, &cookie, NULL);
		if (IS_ERR(link))
			return PTR_ERR(link);
	}
4456 4457 4458
	res = readlink_copy(buffer, buflen, link);
	if (cookie && dentry->d_inode->i_op->put_link)
		dentry->d_inode->i_op->put_link(dentry, cookie);
4459
	return res;
L
Linus Torvalds 已提交
4460
}
4461
EXPORT_SYMBOL(generic_readlink);
L
Linus Torvalds 已提交
4462 4463 4464 4465

/* get the link contents into pagecache */
static char *page_getlink(struct dentry * dentry, struct page **ppage)
{
4466 4467
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
4468
	struct address_space *mapping = dentry->d_inode->i_mapping;
4469
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
4470
	if (IS_ERR(page))
4471
		return (char*)page;
L
Linus Torvalds 已提交
4472
	*ppage = page;
4473 4474 4475
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
4476 4477 4478 4479 4480
}

int page_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
	struct page *page = NULL;
A
Al Viro 已提交
4481
	int res = readlink_copy(buffer, buflen, page_getlink(dentry, &page));
L
Linus Torvalds 已提交
4482 4483 4484 4485 4486 4487
	if (page) {
		kunmap(page);
		page_cache_release(page);
	}
	return res;
}
4488
EXPORT_SYMBOL(page_readlink);
L
Linus Torvalds 已提交
4489

4490
const char *page_follow_link_light(struct dentry *dentry, void **cookie, struct nameidata *nd)
L
Linus Torvalds 已提交
4491
{
4492
	struct page *page = NULL;
4493 4494 4495 4496
	char *res = page_getlink(dentry, &page);
	if (!IS_ERR(res))
		*cookie = page;
	return res;
L
Linus Torvalds 已提交
4497
}
4498
EXPORT_SYMBOL(page_follow_link_light);
L
Linus Torvalds 已提交
4499

4500
void page_put_link(struct dentry *dentry, void *cookie)
L
Linus Torvalds 已提交
4501
{
4502
	struct page *page = cookie;
4503 4504
	kunmap(page);
	page_cache_release(page);
L
Linus Torvalds 已提交
4505
}
4506
EXPORT_SYMBOL(page_put_link);
L
Linus Torvalds 已提交
4507

4508 4509 4510 4511
/*
 * 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 已提交
4512 4513
{
	struct address_space *mapping = inode->i_mapping;
4514
	struct page *page;
4515
	void *fsdata;
4516
	int err;
L
Linus Torvalds 已提交
4517
	char *kaddr;
4518 4519 4520
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
4521

4522
retry:
4523
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
4524
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
4525
	if (err)
4526 4527
		goto fail;

4528
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
4529
	memcpy(kaddr, symname, len-1);
4530
	kunmap_atomic(kaddr);
4531 4532 4533

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4534 4535
	if (err < 0)
		goto fail;
4536 4537 4538
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4539 4540 4541 4542 4543
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}
4544
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4545

4546 4547 4548
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4549
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
4550
}
4551
EXPORT_SYMBOL(page_symlink);
4552

4553
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
4554 4555 4556 4557 4558
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};
EXPORT_SYMBOL(page_symlink_inode_operations);