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

514
static struct nameidata *set_nameidata(struct nameidata *p)
515
{
516 517 518 519 520
	struct nameidata *old = current->nameidata;
	p->stack = p->internal;
	p->total_link_count = old ? old->total_link_count : 0;
	current->nameidata = p;
	return old;
521 522
}

523
static void restore_nameidata(struct nameidata *old)
524
{
525 526 527 528 529 530 531 532
	struct nameidata *now = current->nameidata;

	current->nameidata = old;
	if (old)
		old->total_link_count = now->total_link_count;
	if (now->stack != now->internal) {
		kfree(now->stack);
		now->stack = now->internal;
533 534 535 536 537
	}
}

static int __nd_alloc_stack(struct nameidata *nd)
{
538
	struct saved *p = kmalloc(MAXSYMLINKS * sizeof(struct saved),
539 540 541 542 543 544 545 546 547 548
				  GFP_KERNEL);
	if (unlikely(!p))
		return -ENOMEM;
	memcpy(p, nd->internal, sizeof(nd->internal));
	nd->stack = p;
	return 0;
}

static inline int nd_alloc_stack(struct nameidata *nd)
{
549
	if (likely(nd->depth != EMBEDDED_LEVELS))
550 551 552 553 554 555
		return 0;
	if (likely(nd->stack != nd->internal))
		return 0;
	return __nd_alloc_stack(nd);
}

A
Al Viro 已提交
556
/*
N
Nick Piggin 已提交
557
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
558 559 560 561 562 563 564
 * 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 已提交
565 566
 */

567 568
static void terminate_walk(struct nameidata *nd);

N
Nick Piggin 已提交
569
/**
A
Al Viro 已提交
570 571 572
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry or NULL
573
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
574
 *
A
Al Viro 已提交
575 576 577
 * 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 已提交
578
 */
A
Al Viro 已提交
579
static int unlazy_walk(struct nameidata *nd, struct dentry *dentry)
N
Nick Piggin 已提交
580 581 582 583 584
{
	struct fs_struct *fs = current->fs;
	struct dentry *parent = nd->path.dentry;

	BUG_ON(!(nd->flags & LOOKUP_RCU));
585 586

	/*
A
Al Viro 已提交
587 588 589 590 591 592
	 * 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.
593
	 */
A
Al Viro 已提交
594
	if (!legitimize_mnt(nd->path.mnt, nd->m_seq))
595 596
		return -ECHILD;
	nd->flags &= ~LOOKUP_RCU;
597

A
Al Viro 已提交
598 599
	if (!lockref_get_not_dead(&parent->d_lockref)) {
		nd->path.dentry = NULL;	
600
		goto out;
A
Al Viro 已提交
601 602
	}

603 604 605 606 607 608 609 610 611 612 613
	/*
	 * 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 已提交
614
	if (!dentry) {
615 616
		if (read_seqcount_retry(&parent->d_seq, nd->seq))
			goto out;
A
Al Viro 已提交
617 618
		BUG_ON(nd->inode != parent->d_inode);
	} else {
619 620 621 622
		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 已提交
623
	}
624 625 626 627 628 629 630 631 632

	/*
	 * 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 已提交
633 634 635 636
		path_get(&nd->root);
		spin_unlock(&fs->lock);
	}

A
Al Viro 已提交
637
	rcu_read_unlock();
N
Nick Piggin 已提交
638
	return 0;
A
Al Viro 已提交
639

640 641 642
unlock_and_drop_dentry:
	spin_unlock(&fs->lock);
drop_dentry:
A
Al Viro 已提交
643
	rcu_read_unlock();
644
	dput(dentry);
645
	goto drop_root_mnt;
646
out:
A
Al Viro 已提交
647
	rcu_read_unlock();
648 649 650
drop_root_mnt:
	if (!(nd->flags & LOOKUP_ROOT))
		nd->root.mnt = NULL;
N
Nick Piggin 已提交
651 652 653
	return -ECHILD;
}

654
static inline int d_revalidate(struct dentry *dentry, unsigned int flags)
655
{
656
	return dentry->d_op->d_revalidate(dentry, flags);
657 658
}

659 660 661
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
662
 *
663 664 665 666 667
 * 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.
668
 */
669
static int complete_walk(struct nameidata *nd)
670
{
A
Al Viro 已提交
671
	struct dentry *dentry = nd->path.dentry;
672 673
	int status;

674 675 676
	if (nd->flags & LOOKUP_RCU) {
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
677 678
		if (unlikely(unlazy_walk(nd, NULL))) {
			terminate_walk(nd);
679 680 681 682
			return -ECHILD;
		}
	}

A
Al Viro 已提交
683 684 685
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

686
	if (likely(!(dentry->d_flags & DCACHE_OP_WEAK_REVALIDATE)))
687 688
		return 0;

689
	status = dentry->d_op->d_weak_revalidate(dentry, nd->flags);
690 691 692
	if (status > 0)
		return 0;

A
Al Viro 已提交
693
	if (!status)
694
		status = -ESTALE;
A
Al Viro 已提交
695

696
	terminate_walk(nd);
697 698 699
	return status;
}

A
Al Viro 已提交
700 701
static __always_inline void set_root(struct nameidata *nd)
{
702
	get_fs_root(current->fs, &nd->root);
A
Al Viro 已提交
703 704
}

705
static __always_inline unsigned set_root_rcu(struct nameidata *nd)
N
Nick Piggin 已提交
706
{
707 708
	struct fs_struct *fs = current->fs;
	unsigned seq, res;
N
Nick Piggin 已提交
709

710 711 712 713 714 715
	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 已提交
716 717
}

J
Jan Blunck 已提交
718
static void path_put_conditional(struct path *path, struct nameidata *nd)
719 720
{
	dput(path->dentry);
721
	if (path->mnt != nd->path.mnt)
722 723 724
		mntput(path->mnt);
}

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

C
Christoph Hellwig 已提交
737 738 739 740
/*
 * Helper to directly jump to a known parsed path from ->follow_link,
 * caller must have taken a reference to path beforehand.
 */
741
void nd_jump_link(struct path *path)
C
Christoph Hellwig 已提交
742
{
743
	struct nameidata *nd = current->nameidata;
C
Christoph Hellwig 已提交
744 745 746 747 748 749 750
	path_put(&nd->path);

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

751
static inline void put_link(struct nameidata *nd)
752
{
A
Al Viro 已提交
753
	struct saved *last = nd->stack + --nd->depth;
754 755 756 757
	struct inode *inode = last->link.dentry->d_inode;
	if (last->cookie && inode->i_op->put_link)
		inode->i_op->put_link(last->link.dentry, last->cookie);
	path_put(&last->link);
758 759
}

760 761
int sysctl_protected_symlinks __read_mostly = 0;
int sysctl_protected_hardlinks __read_mostly = 0;
K
Kees Cook 已提交
762 763 764

/**
 * may_follow_link - Check symlink following for unsafe situations
765
 * @nd: nameidata pathwalk data
K
Kees Cook 已提交
766 767 768 769 770 771 772 773 774 775 776 777
 *
 * 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.
 */
A
Al Viro 已提交
778
static inline int may_follow_link(struct nameidata *nd)
K
Kees Cook 已提交
779 780 781 782 783 784 785 786
{
	const struct inode *inode;
	const struct inode *parent;

	if (!sysctl_protected_symlinks)
		return 0;

	/* Allowed if owner and follower match. */
A
Al Viro 已提交
787
	inode = nd->stack[0].link.dentry->d_inode;
788
	if (uid_eq(current_cred()->fsuid, inode->i_uid))
K
Kees Cook 已提交
789 790 791 792 793 794 795 796
		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. */
797
	if (uid_eq(parent->i_uid, inode->i_uid))
K
Kees Cook 已提交
798 799
		return 0;

A
Al Viro 已提交
800 801
	audit_log_link_denied("follow_link", &nd->stack[0].link);
	path_put(&nd->stack[0].link);
K
Kees Cook 已提交
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 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866
	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.
	 */
867
	if (uid_eq(cred->fsuid, inode->i_uid) || safe_hardlink_source(inode) ||
K
Kees Cook 已提交
868 869 870
	    capable(CAP_FOWNER))
		return 0;

871
	audit_log_link_denied("linkat", link);
K
Kees Cook 已提交
872 873 874
	return -EPERM;
}

875 876
static __always_inline
const char *get_link(struct nameidata *nd)
L
Linus Torvalds 已提交
877
{
878
	struct saved *last = nd->stack + nd->depth;
A
Al Viro 已提交
879
	struct dentry *dentry = last->link.dentry;
880
	struct inode *inode = dentry->d_inode;
881
	int error;
882
	const char *res;
L
Linus Torvalds 已提交
883

884 885
	BUG_ON(nd->flags & LOOKUP_RCU);

886
	last->cookie = NULL;
887
	nd->depth++;
888

889 890
	cond_resched();

891
	touch_atime(&last->link);
A
Al Viro 已提交
892

893
	error = security_inode_follow_link(dentry);
894
	if (error)
895
		return ERR_PTR(error);
896

897
	nd->last_type = LAST_BIND;
898 899
	res = inode->i_link;
	if (!res) {
900
		res = inode->i_op->follow_link(dentry, &last->cookie);
901
		if (IS_ERR_OR_NULL(res)) {
902
			last->cookie = NULL;
903 904 905 906 907 908 909 910 911 912 913 914 915
			return res;
		}
	}
	if (*res == '/') {
		if (!nd->root.mnt)
			set_root(nd);
		path_put(&nd->path);
		nd->path = nd->root;
		path_get(&nd->root);
		nd->inode = nd->path.dentry->d_inode;
		nd->flags |= LOOKUP_JUMPED;
		while (unlikely(*++res == '/'))
			;
L
Linus Torvalds 已提交
916
	}
917 918
	if (!*res)
		res = NULL;
919 920
	return res;
}
921

N
Nick Piggin 已提交
922 923
static int follow_up_rcu(struct path *path)
{
924 925
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
N
Nick Piggin 已提交
926 927
	struct dentry *mountpoint;

928 929
	parent = mnt->mnt_parent;
	if (&parent->mnt == path->mnt)
N
Nick Piggin 已提交
930
		return 0;
931
	mountpoint = mnt->mnt_mountpoint;
N
Nick Piggin 已提交
932
	path->dentry = mountpoint;
933
	path->mnt = &parent->mnt;
N
Nick Piggin 已提交
934 935 936
	return 1;
}

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

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

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

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

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

1000 1001
	nd->total_link_count++;
	if (nd->total_link_count >= 40)
1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014
		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.
		 */
1015
		if (PTR_ERR(mnt) == -EISDIR && (nd->flags & LOOKUP_PARENT))
1016 1017
			return -EREMOTE;
		return PTR_ERR(mnt);
N
Nick Piggin 已提交
1018
	}
1019

1020 1021
	if (!mnt) /* mount collision */
		return 0;
N
Nick Piggin 已提交
1022

1023 1024 1025 1026 1027
	if (!*need_mntput) {
		/* lock_mount() may release path->mnt on error */
		mntget(path->mnt);
		*need_mntput = true;
	}
1028
	err = finish_automount(mnt, path);
1029

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

A
Al Viro 已提交
1043 1044
}

1045 1046
/*
 * Handle a dentry that is managed in some way.
1047
 * - Flagged for transit management (autofs)
1048 1049 1050 1051 1052 1053 1054
 * - Flagged as mountpoint
 * - Flagged as automount point
 *
 * This may only be called in refwalk mode.
 *
 * Serialization is taken care of in namespace.c
 */
1055
static int follow_managed(struct path *path, struct nameidata *nd)
L
Linus Torvalds 已提交
1056
{
1057
	struct vfsmount *mnt = path->mnt; /* held by caller, must be left alone */
1058 1059
	unsigned managed;
	bool need_mntput = false;
1060
	int ret = 0;
1061 1062 1063 1064 1065 1066 1067

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

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

		/* Handle an automount point */
		if (managed & DCACHE_NEED_AUTOMOUNT) {
1099
			ret = follow_automount(path, nd, &need_mntput);
1100
			if (ret < 0)
1101
				break;
1102 1103 1104 1105 1106
			continue;
		}

		/* We didn't change the current path point */
		break;
L
Linus Torvalds 已提交
1107
	}
1108 1109 1110 1111 1112

	if (need_mntput && path->mnt == mnt)
		mntput(path->mnt);
	if (ret == -EISDIR)
		ret = 0;
1113 1114 1115 1116 1117
	if (need_mntput)
		nd->flags |= LOOKUP_JUMPED;
	if (unlikely(ret < 0))
		path_put_conditional(path, nd);
	return ret;
L
Linus Torvalds 已提交
1118 1119
}

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

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

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

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

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

A
Al Viro 已提交
1168
		mounted = __lookup_mnt(path->mnt, path->dentry);
1169 1170
		if (!mounted)
			break;
1171 1172
		path->mnt = &mounted->mnt;
		path->dentry = mounted->mnt.mnt_root;
1173
		nd->flags |= LOOKUP_JUMPED;
1174
		nd->seq = read_seqcount_begin(&path->dentry->d_seq);
1175 1176 1177 1178 1179 1180
		/*
		 * Update the inode too. We don't need to re-check the
		 * dentry sequence number here after this d_inode read,
		 * because a mount-point is always pinned.
		 */
		*inode = path->dentry->d_inode;
1181
	}
1182
	return !read_seqretry(&mount_lock, nd->m_seq) &&
1183
		!(path->dentry->d_flags & DCACHE_NEED_AUTOMOUNT);
1184 1185
}

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

1192
	while (1) {
N
Nick Piggin 已提交
1193 1194 1195 1196 1197 1198 1199 1200 1201
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
			break;
		}
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
			struct dentry *old = nd->path.dentry;
			struct dentry *parent = old->d_parent;
			unsigned seq;

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

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

1234 1235 1236 1237 1238
/*
 * Follow down to the covering mount currently visible to userspace.  At each
 * point, the filesystem owning that dentry may be queried as to whether the
 * caller is permitted to proceed or not.
 */
1239
int follow_down(struct path *path)
1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258
{
	unsigned managed;
	int ret;

	while (managed = ACCESS_ONCE(path->dentry->d_flags),
	       unlikely(managed & DCACHE_MANAGED_DENTRY)) {
		/* Allow the filesystem to manage the transit without i_mutex
		 * being held.
		 *
		 * We indicate to the filesystem if someone is trying to mount
		 * something here.  This gives autofs the chance to deny anyone
		 * other than its daemon the right to mount on its
		 * superstructure.
		 *
		 * The filesystem may sleep at this point.
		 */
		if (managed & DCACHE_MANAGE_TRANSIT) {
			BUG_ON(!path->dentry->d_op);
			BUG_ON(!path->dentry->d_op->d_manage);
1259
			ret = path->dentry->d_op->d_manage(
1260
				path->dentry, false);
1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281
			if (ret < 0)
				return ret == -EISDIR ? 0 : ret;
		}

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

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

1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299
/*
 * Skip to top of mountpoint pile in refwalk mode for follow_dotdot()
 */
static void follow_mount(struct path *path)
{
	while (d_mountpoint(path->dentry)) {
		struct vfsmount *mounted = lookup_mnt(path);
		if (!mounted)
			break;
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
	}
}

N
Nick Piggin 已提交
1300
static void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
1301
{
1302 1303
	if (!nd->root.mnt)
		set_root(nd);
1304

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

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

1325
/*
M
Miklos Szeredi 已提交
1326 1327 1328 1329 1330
 * This looks up the name in dcache, possibly revalidates the old dentry and
 * allocates a new one if not found or not valid.  In the need_lookup argument
 * returns whether i_op->lookup is necessary.
 *
 * dir->d_inode->i_mutex must be held
1331
 */
M
Miklos Szeredi 已提交
1332
static struct dentry *lookup_dcache(struct qstr *name, struct dentry *dir,
1333
				    unsigned int flags, bool *need_lookup)
1334 1335
{
	struct dentry *dentry;
M
Miklos Szeredi 已提交
1336
	int error;
1337

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

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

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

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

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

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

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

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

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

L
Linus Torvalds 已提交
1404 1405 1406 1407 1408
/*
 *  It's more convoluted than I'd like it to be, but... it's still fairly
 *  small and for now I'd prefer to have fast path as straight as possible.
 *  It _is_ time-critical.
 */
A
Al Viro 已提交
1409
static int lookup_fast(struct nameidata *nd,
M
Miklos Szeredi 已提交
1410
		       struct path *path, struct inode **inode)
L
Linus Torvalds 已提交
1411
{
1412
	struct vfsmount *mnt = nd->path.mnt;
N
Nick Piggin 已提交
1413
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1414 1415
	int need_reval = 1;
	int status = 1;
1416 1417
	int err;

1418 1419 1420 1421 1422
	/*
	 * Rename seqlock is not required here because in the off chance
	 * of a false negative due to a concurrent rename, we're going to
	 * do the non-racy lookup, below.
	 */
N
Nick Piggin 已提交
1423 1424
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1425
		bool negative;
1426
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1427 1428 1429
		if (!dentry)
			goto unlazy;

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

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

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

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

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

1486 1487 1488 1489
	if (unlikely(d_is_negative(dentry))) {
		dput(dentry);
		return -ENOENT;
	}
1490 1491
	path->mnt = mnt;
	path->dentry = dentry;
1492
	err = follow_managed(path, nd);
1493 1494 1495
	if (likely(!err))
		*inode = path->dentry->d_inode;
	return err;
1496 1497

need_lookup:
M
Miklos Szeredi 已提交
1498 1499 1500 1501
	return 1;
}

/* Fast lookup failed, do it the slow way */
A
Al Viro 已提交
1502
static int lookup_slow(struct nameidata *nd, struct path *path)
M
Miklos Szeredi 已提交
1503 1504 1505 1506
{
	struct dentry *dentry, *parent;

	parent = nd->path.dentry;
1507 1508 1509
	BUG_ON(nd->inode != parent->d_inode);

	mutex_lock(&parent->d_inode->i_mutex);
A
Al Viro 已提交
1510
	dentry = __lookup_hash(&nd->last, parent, nd->flags);
1511 1512 1513
	mutex_unlock(&parent->d_inode->i_mutex);
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
1514 1515
	path->mnt = nd->path.mnt;
	path->dentry = dentry;
1516
	return follow_managed(path, nd);
L
Linus Torvalds 已提交
1517 1518
}

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

1531 1532 1533 1534
static inline int handle_dots(struct nameidata *nd, int type)
{
	if (type == LAST_DOTDOT) {
		if (nd->flags & LOOKUP_RCU) {
1535
			return follow_dotdot_rcu(nd);
1536 1537 1538 1539 1540 1541
		} else
			follow_dotdot(nd);
	}
	return 0;
}

1542 1543 1544 1545 1546 1547
static void terminate_walk(struct nameidata *nd)
{
	if (!(nd->flags & LOOKUP_RCU)) {
		path_put(&nd->path);
	} else {
		nd->flags &= ~LOOKUP_RCU;
1548 1549
		if (!(nd->flags & LOOKUP_ROOT))
			nd->root.mnt = NULL;
A
Al Viro 已提交
1550
		rcu_read_unlock();
1551
	}
1552 1553
	while (unlikely(nd->depth))
		put_link(nd);
1554 1555
}

1556 1557
static int pick_link(struct nameidata *nd, struct path *link)
{
1558
	int error;
A
Al Viro 已提交
1559
	struct saved *last;
1560
	if (unlikely(nd->total_link_count++ >= MAXSYMLINKS)) {
1561 1562 1563
		path_to_nameidata(link, nd);
		return -ELOOP;
	}
1564 1565 1566 1567 1568 1569
	if (nd->flags & LOOKUP_RCU) {
		if (unlikely(nd->path.mnt != link->mnt ||
			     unlazy_walk(nd, link->dentry))) {
			return -ECHILD;
		}
	}
1570 1571
	if (link->mnt == nd->path.mnt)
		mntget(link->mnt);
1572 1573
	error = nd_alloc_stack(nd);
	if (unlikely(error)) {
1574
		path_put(link);
1575 1576 1577
		return error;
	}

A
Al Viro 已提交
1578 1579
	last = nd->stack + nd->depth;
	last->link = *link;
1580 1581 1582
	return 1;
}

1583 1584 1585 1586 1587 1588
/*
 * 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.
 */
1589
static inline int should_follow_link(struct nameidata *nd, struct path *link, int follow)
1590
{
1591 1592 1593 1594 1595
	if (likely(!d_is_symlink(link->dentry)))
		return 0;
	if (!follow)
		return 0;
	return pick_link(nd, link);
1596 1597
}

1598 1599 1600
enum {WALK_GET = 1, WALK_PUT = 2};

static int walk_component(struct nameidata *nd, int flags)
1601
{
A
Al Viro 已提交
1602
	struct path path;
1603 1604 1605 1606 1607 1608 1609
	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.
	 */
1610 1611 1612 1613 1614 1615
	if (unlikely(nd->last_type != LAST_NORM)) {
		err = handle_dots(nd, nd->last_type);
		if (flags & WALK_PUT)
			put_link(nd);
		return err;
	}
A
Al Viro 已提交
1616
	err = lookup_fast(nd, &path, &inode);
1617
	if (unlikely(err)) {
M
Miklos Szeredi 已提交
1618
		if (err < 0)
1619
			return err;
M
Miklos Szeredi 已提交
1620

A
Al Viro 已提交
1621
		err = lookup_slow(nd, &path);
M
Miklos Szeredi 已提交
1622
		if (err < 0)
1623
			return err;
M
Miklos Szeredi 已提交
1624

A
Al Viro 已提交
1625
		inode = path.dentry->d_inode;
1626
		err = -ENOENT;
A
Al Viro 已提交
1627
		if (d_is_negative(path.dentry))
1628
			goto out_path_put;
1629
	}
M
Miklos Szeredi 已提交
1630

1631 1632
	if (flags & WALK_PUT)
		put_link(nd);
1633 1634 1635
	err = should_follow_link(nd, &path, flags & WALK_GET);
	if (unlikely(err))
		return err;
A
Al Viro 已提交
1636
	path_to_nameidata(&path, nd);
1637 1638
	nd->inode = inode;
	return 0;
M
Miklos Szeredi 已提交
1639 1640

out_path_put:
A
Al Viro 已提交
1641
	path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
1642
	return err;
1643 1644
}

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

1664
#include <asm/word-at-a-time.h>
1665

1666
#ifdef CONFIG_64BIT
1667 1668 1669

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

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

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

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

#else

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

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

1759 1760
#endif

L
Linus Torvalds 已提交
1761 1762
/*
 * Name resolution.
1763 1764
 * 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 已提交
1765
 *
1766 1767
 * 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 已提交
1768
 */
1769
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1770 1771
{
	int err;
A
Al Viro 已提交
1772

L
Linus Torvalds 已提交
1773 1774 1775
	while (*name=='/')
		name++;
	if (!*name)
1776
		return 0;
L
Linus Torvalds 已提交
1777 1778 1779

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

1783
		err = may_lookup(nd);
L
Linus Torvalds 已提交
1784 1785 1786
 		if (err)
			break;

1787
		hash_len = hash_name(name);
L
Linus Torvalds 已提交
1788

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

1813 1814
		nd->last.hash_len = hash_len;
		nd->last.name = name;
1815 1816
		nd->last_type = type;

1817 1818
		name += hashlen_len(hash_len);
		if (!*name)
1819
			goto OK;
1820 1821 1822 1823 1824
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
1825 1826
			name++;
		} while (unlikely(*name == '/'));
1827 1828 1829 1830 1831 1832 1833 1834 1835 1836
		if (unlikely(!*name)) {
OK:
			/* called from path_init(), done */
			if (!nd->depth)
				return 0;
			name = nd->stack[nd->depth - 1].name;
			/* called from trailing_symlink(), done */
			if (!name)
				return 0;
			/* last component of nested symlink */
1837
			err = walk_component(nd, WALK_GET | WALK_PUT);
1838
		} else {
1839
			err = walk_component(nd, WALK_GET);
1840
		}
1841
		if (err < 0)
1842
			break;
L
Linus Torvalds 已提交
1843

1844
		if (err) {
1845
			const char *s = get_link(nd);
1846

1847 1848
			if (unlikely(IS_ERR(s))) {
				err = PTR_ERR(s);
1849
				break;
1850 1851 1852 1853
			}
			err = 0;
			if (unlikely(!s)) {
				/* jumped */
1854
				put_link(nd);
1855
			} else {
1856 1857 1858
				nd->stack[nd->depth - 1].name = name;
				name = s;
				continue;
1859
			}
N
Nick Piggin 已提交
1860
		}
M
Miklos Szeredi 已提交
1861
		if (!d_can_lookup(nd->path.dentry)) {
A
Al Viro 已提交
1862
			err = -ENOTDIR;
1863 1864
			break;
		}
L
Linus Torvalds 已提交
1865
	}
1866
	terminate_walk(nd);
1867
	return err;
L
Linus Torvalds 已提交
1868 1869
}

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

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

N
Nick Piggin 已提交
1902 1903
	nd->root.mnt = NULL;

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

A
Al Viro 已提交
1919
			rcu_read_lock();
N
Nick Piggin 已提交
1920

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

1934 1935
		if (!f.file)
			return -EBADF;
N
Nick Piggin 已提交
1936

1937
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
1938

A
Al Viro 已提交
1939
		if (*s) {
M
Miklos Szeredi 已提交
1940
			if (!d_can_lookup(dentry)) {
1941 1942 1943
				fdput(f);
				return -ENOTDIR;
			}
A
Al Viro 已提交
1944
		}
N
Nick Piggin 已提交
1945

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

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

A
Al Viro 已提交
1972 1973 1974 1975 1976 1977 1978 1979
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);
1980 1981
}

1982
static int trailing_symlink(struct nameidata *nd)
1983 1984
{
	const char *s;
A
Al Viro 已提交
1985
	int error = may_follow_link(nd);
1986 1987 1988
	if (unlikely(error))
		return error;
	nd->flags |= LOOKUP_PARENT;
1989
	nd->stack[0].name = NULL;
1990
	s = get_link(nd);
1991 1992
	if (unlikely(IS_ERR(s))) {
		terminate_walk(nd);
1993
		return PTR_ERR(s);
1994
	}
1995
	if (unlikely(!s))
1996
		return 0;
1997
	return link_path_walk(s, nd);
1998 1999
}

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

	nd->flags &= ~LOOKUP_PARENT;
2007 2008 2009 2010 2011 2012
	err = walk_component(nd,
			nd->flags & LOOKUP_FOLLOW
				? nd->depth
					? WALK_PUT | WALK_GET
					: WALK_GET
				: 0);
2013 2014 2015
	if (err < 0)
		terminate_walk(nd);
	return err;
2016 2017
}

2018
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2019
static int path_lookupat(int dfd, const struct filename *name,
2020 2021
				unsigned int flags, struct nameidata *nd)
{
2022
	int err;
N
Nick Piggin 已提交
2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037

	/*
	 * 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 已提交
2038
	err = path_init(dfd, name, flags, nd);
2039
	if (!err && !(flags & LOOKUP_PARENT)) {
2040
		while ((err = lookup_last(nd)) > 0) {
2041
			err = trailing_symlink(nd);
2042 2043
			if (err)
				break;
2044 2045
		}
	}
A
Al Viro 已提交
2046

2047 2048
	if (!err)
		err = complete_walk(nd);
2049 2050

	if (!err && nd->flags & LOOKUP_DIRECTORY) {
M
Miklos Szeredi 已提交
2051
		if (!d_can_lookup(nd->path.dentry)) {
2052
			path_put(&nd->path);
A
Al Viro 已提交
2053
			err = -ENOTDIR;
2054 2055
		}
	}
A
Al Viro 已提交
2056

A
Al Viro 已提交
2057
	path_cleanup(nd);
2058
	return err;
A
Al Viro 已提交
2059
}
N
Nick Piggin 已提交
2060

2061
static int filename_lookup(int dfd, struct filename *name,
A
Al Viro 已提交
2062 2063
				unsigned int flags, struct nameidata *nd)
{
2064
	int retval;
2065
	struct nameidata *saved_nd = set_nameidata(nd);
2066 2067

	retval = path_lookupat(dfd, name, flags | LOOKUP_RCU, nd);
A
Al Viro 已提交
2068
	if (unlikely(retval == -ECHILD))
2069
		retval = path_lookupat(dfd, name, flags, nd);
A
Al Viro 已提交
2070
	if (unlikely(retval == -ESTALE))
2071
		retval = path_lookupat(dfd, name, flags | LOOKUP_REVAL, nd);
N
Nick Piggin 已提交
2072

2073
	if (likely(!retval))
2074
		audit_inode(name, nd->path.dentry, flags & LOOKUP_PARENT);
2075
	restore_nameidata(saved_nd);
2076
	return retval;
L
Linus Torvalds 已提交
2077 2078
}

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

A
Al Viro 已提交
2113 2114 2115
int kern_path(const char *name, unsigned int flags, struct path *path)
{
	struct nameidata nd;
2116 2117 2118 2119 2120 2121 2122 2123 2124
	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 已提交
2125 2126
	return res;
}
2127
EXPORT_SYMBOL(kern_path);
A
Al Viro 已提交
2128

2129 2130 2131 2132 2133 2134
/**
 * 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
2135
 * @path: pointer to struct path to fill
2136 2137 2138
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2139
		    struct path *path)
2140
{
2141 2142 2143
	struct filename *filename = getname_kernel(name);
	int err = PTR_ERR(filename);

2144
	BUG_ON(flags & LOOKUP_PARENT);
2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2155 2156

	/* 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);
	}
2157
	return err;
2158
}
2159
EXPORT_SYMBOL(vfs_path_lookup);
2160

2161
/**
2162
 * lookup_one_len - filesystem helper to lookup single pathname component
2163 2164 2165 2166
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
2167
 * Note that this routine is purely a helper for filesystem usage and should
2168
 * not be called by generic code.
2169
 */
2170 2171 2172
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
A
Al Viro 已提交
2173
	unsigned int c;
2174
	int err;
2175

2176 2177
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

A
Al Viro 已提交
2178 2179
	this.name = name;
	this.len = len;
L
Linus Torvalds 已提交
2180
	this.hash = full_name_hash(name, len);
A
Al Viro 已提交
2181 2182 2183
	if (!len)
		return ERR_PTR(-EACCES);

A
Al Viro 已提交
2184 2185 2186 2187 2188
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
			return ERR_PTR(-EACCES);
	}

A
Al Viro 已提交
2189 2190 2191 2192 2193
	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
			return ERR_PTR(-EACCES);
	}
2194 2195 2196 2197 2198
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2199
		int err = base->d_op->d_hash(base, &this);
2200 2201 2202
		if (err < 0)
			return ERR_PTR(err);
	}
2203

2204 2205 2206 2207
	err = inode_permission(base->d_inode, MAY_EXEC);
	if (err)
		return ERR_PTR(err);

2208
	return __lookup_hash(&this, base, 0);
2209
}
2210
EXPORT_SYMBOL(lookup_one_len);
2211

2212 2213
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2214
{
2215
	struct nameidata nd;
2216
	struct filename *tmp = getname_flags(name, flags, empty);
L
Linus Torvalds 已提交
2217 2218
	int err = PTR_ERR(tmp);
	if (!IS_ERR(tmp)) {
2219 2220 2221

		BUG_ON(flags & LOOKUP_PARENT);

2222
		err = filename_lookup(dfd, tmp, flags, &nd);
L
Linus Torvalds 已提交
2223
		putname(tmp);
2224 2225
		if (!err)
			*path = nd.path;
L
Linus Torvalds 已提交
2226 2227 2228 2229
	}
	return err;
}

2230 2231 2232
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
{
2233
	return user_path_at_empty(dfd, name, flags, path, NULL);
2234
}
2235
EXPORT_SYMBOL(user_path_at);
2236

2237 2238 2239 2240 2241 2242
/*
 * 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.
 */
2243
static struct filename *
2244 2245 2246 2247
user_path_parent(int dfd, const char __user *path,
		 struct path *parent,
		 struct qstr *last,
		 int *type,
2248
		 unsigned int flags)
2249
{
2250
	struct nameidata nd;
2251
	struct filename *s = getname(path);
2252 2253
	int error;

2254 2255 2256
	/* only LOOKUP_REVAL is allowed in extra flags */
	flags &= LOOKUP_REVAL;

2257
	if (IS_ERR(s))
2258
		return s;
2259

2260
	error = filename_lookup(dfd, s, flags | LOOKUP_PARENT, &nd);
2261
	if (error) {
2262
		putname(s);
2263 2264
		return ERR_PTR(error);
	}
2265 2266 2267
	*parent = nd.path;
	*last = nd.last;
	*type = nd.last_type;
2268

2269
	return s;
2270 2271
}

2272
/**
2273
 * mountpoint_last - look up last component for umount
2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299
 * @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
2300
mountpoint_last(struct nameidata *nd, struct path *path)
2301 2302 2303 2304 2305
{
	int error = 0;
	struct dentry *dentry;
	struct dentry *dir = nd->path.dentry;

2306 2307 2308 2309 2310 2311
	/* 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;
		}
2312 2313 2314 2315 2316 2317
	}

	nd->flags &= ~LOOKUP_PARENT;

	if (unlikely(nd->last_type != LAST_NORM)) {
		error = handle_dots(nd, nd->last_type);
2318 2319 2320 2321
		if (error)
			goto out;
		dentry = dget(nd->path.dentry);
		goto done;
2322 2323 2324 2325 2326 2327 2328 2329 2330 2331 2332 2333 2334
	}

	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;
2335
			mutex_unlock(&dir->d_inode->i_mutex);
2336
			goto out;
2337
		}
2338 2339
		dentry = lookup_real(dir->d_inode, dentry, nd->flags);
		error = PTR_ERR(dentry);
2340 2341
		if (IS_ERR(dentry)) {
			mutex_unlock(&dir->d_inode->i_mutex);
2342
			goto out;
2343
		}
2344 2345 2346
	}
	mutex_unlock(&dir->d_inode->i_mutex);

2347
done:
2348
	if (d_is_negative(dentry)) {
2349 2350 2351
		error = -ENOENT;
		dput(dentry);
		goto out;
2352
	}
2353 2354
	if (nd->depth)
		put_link(nd);
2355
	path->dentry = dentry;
2356
	path->mnt = nd->path.mnt;
2357 2358 2359 2360 2361
	error = should_follow_link(nd, path, nd->flags & LOOKUP_FOLLOW);
	if (unlikely(error)) {
		if (error < 0)
			goto out;
		return error;
A
Al Viro 已提交
2362
	}
2363
	mntget(path->mnt);
2364 2365 2366
	follow_mount(path);
	error = 0;
out:
2367 2368 2369 2370 2371
	terminate_walk(nd);
	return error;
}

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

2389
	while ((err = mountpoint_last(nd, path)) > 0) {
2390
		err = trailing_symlink(nd);
2391 2392 2393 2394
		if (err)
			break;
	}
out:
2395
	path_cleanup(nd);
2396 2397 2398
	return err;
}

A
Al Viro 已提交
2399
static int
2400
filename_mountpoint(int dfd, struct filename *name, struct path *path,
A
Al Viro 已提交
2401 2402
			unsigned int flags)
{
2403
	struct nameidata nd, *saved;
2404
	int error;
2405 2406
	if (IS_ERR(name))
		return PTR_ERR(name);
2407
	saved = set_nameidata(&nd);
2408
	error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_RCU);
A
Al Viro 已提交
2409
	if (unlikely(error == -ECHILD))
2410
		error = path_mountpoint(dfd, name, path, &nd, flags);
A
Al Viro 已提交
2411
	if (unlikely(error == -ESTALE))
2412
		error = path_mountpoint(dfd, name, path, &nd, flags | LOOKUP_REVAL);
A
Al Viro 已提交
2413
	if (likely(!error))
2414
		audit_inode(name, path->dentry, 0);
2415
	restore_nameidata(saved);
2416
	putname(name);
A
Al Viro 已提交
2417 2418 2419
	return error;
}

2420
/**
2421
 * user_path_mountpoint_at - lookup a path from userland in order to umount it
2422 2423 2424 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434
 * @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
2435
user_path_mountpoint_at(int dfd, const char __user *name, unsigned int flags,
2436 2437
			struct path *path)
{
2438
	return filename_mountpoint(dfd, getname(name), path, flags);
2439 2440
}

A
Al Viro 已提交
2441 2442 2443 2444
int
kern_path_mountpoint(int dfd, const char *name, struct path *path,
			unsigned int flags)
{
2445
	return filename_mountpoint(dfd, getname_kernel(name), path, flags);
A
Al Viro 已提交
2446 2447 2448
}
EXPORT_SYMBOL(kern_path_mountpoint);

M
Miklos Szeredi 已提交
2449
int __check_sticky(struct inode *dir, struct inode *inode)
L
Linus Torvalds 已提交
2450
{
2451
	kuid_t fsuid = current_fsuid();
2452

2453
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2454
		return 0;
2455
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2456
		return 0;
2457
	return !capable_wrt_inode_uidgid(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2458
}
M
Miklos Szeredi 已提交
2459
EXPORT_SYMBOL(__check_sticky);
L
Linus Torvalds 已提交
2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479

/*
 *	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().
 */
2480
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2481
{
2482
	struct inode *inode = victim->d_inode;
L
Linus Torvalds 已提交
2483 2484
	int error;

2485
	if (d_is_negative(victim))
L
Linus Torvalds 已提交
2486
		return -ENOENT;
2487
	BUG_ON(!inode);
L
Linus Torvalds 已提交
2488 2489

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

2492
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2493 2494 2495 2496
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
2497 2498 2499

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

/*
 * 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 已提交
2541
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2542 2543 2544
		return NULL;
	}

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

2547 2548 2549 2550 2551
	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 已提交
2552 2553
	}

2554 2555 2556 2557 2558
	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 已提交
2559 2560
	}

I
Ingo Molnar 已提交
2561
	mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
2562
	mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_PARENT2);
L
Linus Torvalds 已提交
2563 2564
	return NULL;
}
2565
EXPORT_SYMBOL(lock_rename);
L
Linus Torvalds 已提交
2566 2567 2568

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
2569
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
2570
	if (p1 != p2) {
2571
		mutex_unlock(&p2->d_inode->i_mutex);
2572
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2573 2574
	}
}
2575
EXPORT_SYMBOL(unlock_rename);
L
Linus Torvalds 已提交
2576

A
Al Viro 已提交
2577
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2578
		bool want_excl)
L
Linus Torvalds 已提交
2579
{
2580
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2581 2582 2583
	if (error)
		return error;

A
Al Viro 已提交
2584
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2585 2586 2587 2588 2589 2590
		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 已提交
2591
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2592
	if (!error)
2593
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2594 2595
	return error;
}
2596
EXPORT_SYMBOL(vfs_create);
L
Linus Torvalds 已提交
2597

A
Al Viro 已提交
2598
static int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2599
{
2600
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2601 2602 2603
	struct inode *inode = dentry->d_inode;
	int error;

A
Al Viro 已提交
2604 2605 2606 2607
	/* O_PATH? */
	if (!acc_mode)
		return 0;

L
Linus Torvalds 已提交
2608 2609 2610
	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2611 2612
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2613
		return -ELOOP;
C
Christoph Hellwig 已提交
2614 2615 2616 2617 2618 2619
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2620
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
2621
			return -EACCES;
C
Christoph Hellwig 已提交
2622 2623 2624
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2625
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2626
		break;
2627
	}
2628

2629
	error = inode_permission(inode, acc_mode);
2630 2631
	if (error)
		return error;
M
Mimi Zohar 已提交
2632

L
Linus Torvalds 已提交
2633 2634 2635 2636
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2637
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2638
			return -EPERM;
L
Linus Torvalds 已提交
2639
		if (flag & O_TRUNC)
2640
			return -EPERM;
L
Linus Torvalds 已提交
2641 2642 2643
	}

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

2647
	return 0;
2648
}
L
Linus Torvalds 已提交
2649

2650
static int handle_truncate(struct file *filp)
2651
{
2652
	struct path *path = &filp->f_path;
2653 2654 2655 2656 2657 2658 2659
	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.
	 */
2660
	error = locks_verify_locked(filp);
2661
	if (!error)
2662
		error = security_path_truncate(path);
2663 2664 2665
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2666
				    filp);
2667 2668
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2669
	return error;
L
Linus Torvalds 已提交
2670 2671
}

2672 2673
static inline int open_to_namei_flags(int flag)
{
2674 2675
	if ((flag & O_ACCMODE) == 3)
		flag--;
2676 2677 2678
	return flag;
}

M
Miklos Szeredi 已提交
2679 2680 2681 2682 2683 2684 2685 2686 2687 2688 2689 2690 2691
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);
}

2692 2693 2694 2695 2696 2697 2698 2699 2700 2701 2702 2703 2704
/*
 * 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.
 */
2705 2706 2707
static int atomic_open(struct nameidata *nd, struct dentry *dentry,
			struct path *path, struct file *file,
			const struct open_flags *op,
2708
			bool got_write, bool need_lookup,
2709
			int *opened)
M
Miklos Szeredi 已提交
2710 2711 2712 2713 2714 2715 2716 2717
{
	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;
2718
	bool excl;
M
Miklos Szeredi 已提交
2719 2720 2721 2722 2723

	BUG_ON(dentry->d_inode);

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

2728
	mode = op->mode;
M
Miklos Szeredi 已提交
2729 2730 2731
	if ((open_flag & O_CREAT) && !IS_POSIXACL(dir))
		mode &= ~current_umask();

2732 2733
	excl = (open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT);
	if (excl)
M
Miklos Szeredi 已提交
2734 2735 2736 2737 2738 2739 2740 2741 2742 2743 2744
		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).
	 */
2745 2746 2747
	if (((open_flag & (O_CREAT | O_TRUNC)) ||
	    (open_flag & O_ACCMODE) != O_RDONLY) && unlikely(!got_write)) {
		if (!(open_flag & O_CREAT)) {
M
Miklos Szeredi 已提交
2748 2749 2750 2751 2752 2753 2754
			/*
			 * 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 */
2755
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2756 2757 2758
			goto no_open;
		} else {
			/* No side effects, safe to clear O_CREAT */
2759
			create_error = -EROFS;
M
Miklos Szeredi 已提交
2760 2761 2762 2763 2764
			open_flag &= ~O_CREAT;
		}
	}

	if (open_flag & O_CREAT) {
2765
		error = may_o_create(&nd->path, dentry, mode);
M
Miklos Szeredi 已提交
2766 2767 2768 2769 2770 2771 2772 2773 2774 2775 2776
		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 已提交
2777 2778 2779
	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,
2780
				      opened);
A
Al Viro 已提交
2781 2782 2783
	if (error < 0) {
		if (create_error && error == -ENOENT)
			error = create_error;
M
Miklos Szeredi 已提交
2784 2785 2786
		goto out;
	}

A
Al Viro 已提交
2787
	if (error) {	/* returned 1, that is */
A
Al Viro 已提交
2788
		if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2789
			error = -EIO;
M
Miklos Szeredi 已提交
2790 2791
			goto out;
		}
A
Al Viro 已提交
2792
		if (file->f_path.dentry) {
M
Miklos Szeredi 已提交
2793
			dput(dentry);
A
Al Viro 已提交
2794
			dentry = file->f_path.dentry;
M
Miklos Szeredi 已提交
2795
		}
2796 2797 2798 2799 2800 2801 2802 2803 2804 2805 2806 2807 2808
		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;
			}
2809
		}
M
Miklos Szeredi 已提交
2810 2811 2812 2813 2814 2815 2816
		goto looked_up;
	}

	/*
	 * We didn't have the inode before the open, so check open permission
	 * here.
	 */
2817 2818 2819 2820 2821 2822
	acc_mode = op->acc_mode;
	if (*opened & FILE_CREATED) {
		WARN_ON(!(open_flag & O_CREAT));
		fsnotify_create(dir, dentry);
		acc_mode = MAY_OPEN;
	}
2823 2824 2825
	error = may_open(&file->f_path, acc_mode, open_flag);
	if (error)
		fput(file);
M
Miklos Szeredi 已提交
2826 2827 2828

out:
	dput(dentry);
2829
	return error;
M
Miklos Szeredi 已提交
2830 2831 2832

no_open:
	if (need_lookup) {
2833
		dentry = lookup_real(dir, dentry, nd->flags);
M
Miklos Szeredi 已提交
2834
		if (IS_ERR(dentry))
2835
			return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2836 2837 2838 2839

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

2840
			error = create_error;
M
Miklos Szeredi 已提交
2841 2842 2843 2844 2845 2846
			if ((open_flag & O_EXCL)) {
				if (!dentry->d_inode)
					goto out;
			} else if (!dentry->d_inode) {
				goto out;
			} else if ((open_flag & O_TRUNC) &&
2847
				   d_is_reg(dentry)) {
M
Miklos Szeredi 已提交
2848 2849 2850 2851 2852 2853 2854 2855
				goto out;
			}
			/* will fail later, go on to get the right error */
		}
	}
looked_up:
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2856
	return 1;
M
Miklos Szeredi 已提交
2857 2858
}

M
Miklos Szeredi 已提交
2859
/*
2860
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2861 2862 2863
 *
 * Must be called with i_mutex held on parent.
 *
2864 2865 2866 2867 2868 2869 2870 2871 2872 2873 2874 2875
 * 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 已提交
2876
 */
2877 2878 2879
static int lookup_open(struct nameidata *nd, struct path *path,
			struct file *file,
			const struct open_flags *op,
2880
			bool got_write, int *opened)
M
Miklos Szeredi 已提交
2881 2882
{
	struct dentry *dir = nd->path.dentry;
2883
	struct inode *dir_inode = dir->d_inode;
M
Miklos Szeredi 已提交
2884 2885
	struct dentry *dentry;
	int error;
2886
	bool need_lookup;
M
Miklos Szeredi 已提交
2887

2888
	*opened &= ~FILE_CREATED;
2889
	dentry = lookup_dcache(&nd->last, dir, nd->flags, &need_lookup);
M
Miklos Szeredi 已提交
2890
	if (IS_ERR(dentry))
2891
		return PTR_ERR(dentry);
M
Miklos Szeredi 已提交
2892

M
Miklos Szeredi 已提交
2893 2894 2895 2896 2897
	/* 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) {
2898
		return atomic_open(nd, dentry, path, file, op, got_write,
2899
				   need_lookup, opened);
M
Miklos Szeredi 已提交
2900 2901
	}

2902 2903 2904
	if (need_lookup) {
		BUG_ON(dentry->d_inode);

2905
		dentry = lookup_real(dir_inode, dentry, nd->flags);
2906
		if (IS_ERR(dentry))
2907
			return PTR_ERR(dentry);
2908 2909
	}

M
Miklos Szeredi 已提交
2910 2911 2912 2913 2914 2915 2916 2917 2918 2919
	/* 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
2920
		 * the 'struct file' in finish_open().
M
Miklos Szeredi 已提交
2921
		 */
2922 2923
		if (!got_write) {
			error = -EROFS;
M
Miklos Szeredi 已提交
2924
			goto out_dput;
2925
		}
2926
		*opened |= FILE_CREATED;
M
Miklos Szeredi 已提交
2927 2928 2929
		error = security_path_mknod(&nd->path, dentry, mode, 0);
		if (error)
			goto out_dput;
A
Al Viro 已提交
2930 2931
		error = vfs_create(dir->d_inode, dentry, mode,
				   nd->flags & LOOKUP_EXCL);
M
Miklos Szeredi 已提交
2932 2933 2934
		if (error)
			goto out_dput;
	}
M
Miklos Szeredi 已提交
2935
out_no_open:
M
Miklos Szeredi 已提交
2936 2937
	path->dentry = dentry;
	path->mnt = nd->path.mnt;
2938
	return 1;
M
Miklos Szeredi 已提交
2939 2940 2941

out_dput:
	dput(dentry);
2942
	return error;
M
Miklos Szeredi 已提交
2943 2944
}

N
Nick Piggin 已提交
2945
/*
2946
 * Handle the last step of open()
N
Nick Piggin 已提交
2947
 */
2948
static int do_last(struct nameidata *nd,
2949
		   struct file *file, const struct open_flags *op,
2950
		   int *opened, struct filename *name)
2951
{
2952
	struct dentry *dir = nd->path.dentry;
2953
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
2954
	bool will_truncate = (open_flag & O_TRUNC) != 0;
2955
	bool got_write = false;
A
Al Viro 已提交
2956
	int acc_mode = op->acc_mode;
2957
	struct inode *inode;
2958
	struct path save_parent = { .dentry = NULL, .mnt = NULL };
2959
	struct path path;
2960
	bool retried = false;
A
Al Viro 已提交
2961
	int error;
2962

2963 2964 2965
	nd->flags &= ~LOOKUP_PARENT;
	nd->flags |= op->intent;

2966
	if (nd->last_type != LAST_NORM) {
2967
		error = handle_dots(nd, nd->last_type);
2968 2969
		if (unlikely(error)) {
			terminate_walk(nd);
2970
			return error;
2971
		}
M
Miklos Szeredi 已提交
2972
		goto finish_open;
2973
	}
2974

2975
	if (!(open_flag & O_CREAT)) {
2976 2977 2978
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
		/* we _can_ be in RCU mode here */
2979
		error = lookup_fast(nd, &path, &inode);
2980 2981 2982 2983
		if (likely(!error))
			goto finish_lookup;

		if (error < 0)
2984
			goto out;
2985 2986

		BUG_ON(nd->inode != dir->d_inode);
2987 2988 2989 2990 2991 2992 2993 2994
	} 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);
2995
		if (error)
2996
			return error;
2997

2998
		audit_inode(name, dir, LOOKUP_PARENT);
2999 3000 3001
		error = -EISDIR;
		/* trailing slashes? */
		if (nd->last.name[nd->last.len])
3002
			goto out;
3003
	}
A
Al Viro 已提交
3004

3005
retry_lookup:
3006 3007 3008 3009 3010 3011 3012 3013 3014 3015
	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.
		 */
	}
3016
	mutex_lock(&dir->d_inode->i_mutex);
3017
	error = lookup_open(nd, &path, file, op, got_write, opened);
M
Miklos Szeredi 已提交
3018
	mutex_unlock(&dir->d_inode->i_mutex);
3019

3020 3021
	if (error <= 0) {
		if (error)
M
Miklos Szeredi 已提交
3022 3023
			goto out;

3024
		if ((*opened & FILE_CREATED) ||
A
Al Viro 已提交
3025
		    !S_ISREG(file_inode(file)->i_mode))
M
Miklos Szeredi 已提交
3026
			will_truncate = false;
M
Miklos Szeredi 已提交
3027

3028
		audit_inode(name, file->f_path.dentry, 0);
M
Miklos Szeredi 已提交
3029 3030
		goto opened;
	}
3031

3032
	if (*opened & FILE_CREATED) {
3033
		/* Don't check for write permission, don't truncate */
3034
		open_flag &= ~O_TRUNC;
M
Miklos Szeredi 已提交
3035
		will_truncate = false;
A
Al Viro 已提交
3036
		acc_mode = MAY_OPEN;
3037
		path_to_nameidata(&path, nd);
M
Miklos Szeredi 已提交
3038
		goto finish_open_created;
3039 3040 3041
	}

	/*
3042
	 * create/update audit record if it already exists.
3043
	 */
3044 3045
	if (d_is_positive(path.dentry))
		audit_inode(name, path.dentry, 0);
3046

M
Miklos Szeredi 已提交
3047 3048 3049 3050 3051
	/*
	 * If atomic_open() acquired write access it is dropped now due to
	 * possible mount and symlink following (this might be optimized away if
	 * necessary...)
	 */
3052
	if (got_write) {
M
Miklos Szeredi 已提交
3053
		mnt_drop_write(nd->path.mnt);
3054
		got_write = false;
M
Miklos Szeredi 已提交
3055 3056
	}

3057
	error = -EEXIST;
A
Al Viro 已提交
3058
	if ((open_flag & (O_EXCL | O_CREAT)) == (O_EXCL | O_CREAT))
3059 3060
		goto exit_dput;

3061
	error = follow_managed(&path, nd);
3062
	if (error < 0)
3063
		goto out;
3064

3065
	BUG_ON(nd->flags & LOOKUP_RCU);
3066
	inode = path.dentry->d_inode;
3067
	error = -ENOENT;
3068 3069
	if (d_is_negative(path.dentry)) {
		path_to_nameidata(&path, nd);
3070
		goto out;
3071
	}
3072
finish_lookup:
3073 3074 3075 3076 3077 3078 3079
	if (nd->depth)
		put_link(nd);
	error = should_follow_link(nd, &path, nd->flags & LOOKUP_FOLLOW);
	if (unlikely(error)) {
		if (error < 0)
			goto out;
		return error;
3080
	}
3081

3082 3083
	if (unlikely(d_is_symlink(path.dentry)) && !(open_flag & O_PATH)) {
		path_to_nameidata(&path, nd);
3084 3085 3086 3087
		error = -ELOOP;
		goto out;
	}

3088 3089
	if ((nd->flags & LOOKUP_RCU) || nd->path.mnt != path.mnt) {
		path_to_nameidata(&path, nd);
3090 3091
	} else {
		save_parent.dentry = nd->path.dentry;
3092 3093
		save_parent.mnt = mntget(path.mnt);
		nd->path.dentry = path.dentry;
3094 3095

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

3114 3115 3116
	if (will_truncate) {
		error = mnt_want_write(nd->path.mnt);
		if (error)
3117
			goto out;
3118
		got_write = true;
3119
	}
M
Miklos Szeredi 已提交
3120
finish_open_created:
A
Al Viro 已提交
3121
	error = may_open(&nd->path, acc_mode, open_flag);
3122
	if (error)
3123
		goto out;
M
Miklos Szeredi 已提交
3124 3125 3126 3127 3128 3129

	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 已提交
3130
		if (error == -EOPENSTALE)
M
Miklos Szeredi 已提交
3131
			goto stale_open;
3132
		goto out;
M
Miklos Szeredi 已提交
3133
	}
3134
opened:
3135
	error = open_check_o_direct(file);
3136 3137
	if (error)
		goto exit_fput;
3138
	error = ima_file_check(file, op->acc_mode, *opened);
3139 3140 3141 3142
	if (error)
		goto exit_fput;

	if (will_truncate) {
3143
		error = handle_truncate(file);
3144 3145
		if (error)
			goto exit_fput;
3146
	}
3147
out:
3148
	if (got_write)
3149
		mnt_drop_write(nd->path.mnt);
3150
	path_put(&save_parent);
3151
	terminate_walk(nd);
3152
	return error;
3153 3154

exit_dput:
3155
	path_put_conditional(&path, nd);
3156
	goto out;
3157
exit_fput:
3158 3159
	fput(file);
	goto out;
3160

M
Miklos Szeredi 已提交
3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171
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;
3172
	if (got_write) {
M
Miklos Szeredi 已提交
3173
		mnt_drop_write(nd->path.mnt);
3174
		got_write = false;
M
Miklos Szeredi 已提交
3175 3176 3177
	}
	retried = true;
	goto retry_lookup;
3178 3179
}

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

3242
static struct file *path_openat(int dfd, struct filename *pathname,
A
Al Viro 已提交
3243
		struct nameidata *nd, const struct open_flags *op, int flags)
L
Linus Torvalds 已提交
3244
{
A
Al Viro 已提交
3245
	struct file *file;
3246
	int opened = 0;
3247
	int error;
N
Nick Piggin 已提交
3248

A
Al Viro 已提交
3249
	file = get_empty_filp();
3250 3251
	if (IS_ERR(file))
		return file;
N
Nick Piggin 已提交
3252

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

A
Al Viro 已提交
3255
	if (unlikely(file->f_flags & __O_TMPFILE)) {
3256
		error = do_tmpfile(dfd, pathname, nd, flags, op, file, &opened);
A
Al Viro 已提交
3257
		goto out2;
3258 3259
	}

A
Al Viro 已提交
3260
	error = path_init(dfd, pathname, flags, nd);
N
Nick Piggin 已提交
3261
	if (unlikely(error))
3262
		goto out;
L
Linus Torvalds 已提交
3263

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

3289
struct file *do_filp_open(int dfd, struct filename *pathname,
3290
		const struct open_flags *op)
3291
{
3292
	struct nameidata nd, *saved_nd = set_nameidata(&nd);
3293
	int flags = op->lookup_flags;
3294 3295
	struct file *filp;

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

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

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

3316
	if (d_is_symlink(dentry) && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3317 3318
		return ERR_PTR(-ELOOP);

3319 3320 3321 3322
	filename = getname_kernel(name);
	if (unlikely(IS_ERR(filename)))
		return ERR_CAST(filename);

3323
	saved_nd = set_nameidata(&nd);
3324
	file = path_openat(-1, filename, &nd, op, flags | LOOKUP_RCU);
A
Al Viro 已提交
3325
	if (unlikely(file == ERR_PTR(-ECHILD)))
3326
		file = path_openat(-1, filename, &nd, op, flags);
A
Al Viro 已提交
3327
	if (unlikely(file == ERR_PTR(-ESTALE)))
3328
		file = path_openat(-1, filename, &nd, op, flags | LOOKUP_REVAL);
3329
	restore_nameidata(saved_nd);
3330
	putname(filename);
A
Al Viro 已提交
3331 3332 3333
	return file;
}

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

3349
	error = filename_lookup(dfd, name, LOOKUP_PARENT|lookup_flags, &nd);
A
Al Viro 已提交
3350 3351
	if (error)
		return ERR_PTR(error);
L
Linus Torvalds 已提交
3352

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

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

3372
	error = -EEXIST;
3373
	if (d_is_positive(dentry))
3374
		goto fail;
3375

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

struct dentry *kern_path_create(int dfd, const char *pathname,
				struct path *path, unsigned int lookup_flags)
{
3407 3408 3409 3410 3411 3412 3413 3414
	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;
3415
}
3416 3417
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3418 3419 3420 3421
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
	mutex_unlock(&path->dentry->d_inode->i_mutex);
3422
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3423 3424 3425 3426
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

3427 3428
struct dentry *user_path_create(int dfd, const char __user *pathname,
				struct path *path, unsigned int lookup_flags)
3429
{
3430
	struct filename *tmp = getname(pathname);
3431 3432 3433
	struct dentry *res;
	if (IS_ERR(tmp))
		return ERR_CAST(tmp);
3434
	res = filename_create(dfd, tmp, path, lookup_flags);
3435 3436 3437 3438 3439
	putname(tmp);
	return res;
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3440
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3441
{
3442
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3443 3444 3445 3446

	if (error)
		return error;

3447
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3448 3449
		return -EPERM;

A
Al Viro 已提交
3450
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3451 3452
		return -EPERM;

3453 3454 3455 3456
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3457 3458 3459 3460 3461
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3462
	if (!error)
3463
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3464 3465
	return error;
}
3466
EXPORT_SYMBOL(vfs_mknod);
L
Linus Torvalds 已提交
3467

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

3493 3494 3495
	error = may_mknod(mode);
	if (error)
		return error;
3496 3497
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3498 3499
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3500

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

A
Al Viro 已提交
3527
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3528 3529 3530 3531
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

3532
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3533
{
3534
	int error = may_create(dir, dentry);
3535
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3536 3537 3538 3539

	if (error)
		return error;

A
Al Viro 已提交
3540
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3541 3542 3543 3544 3545 3546 3547
		return -EPERM;

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

3548 3549 3550
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3551
	error = dir->i_op->mkdir(dir, dentry, mode);
3552
	if (!error)
3553
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3554 3555
	return error;
}
3556
EXPORT_SYMBOL(vfs_mkdir);
L
Linus Torvalds 已提交
3557

3558
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
L
Linus Torvalds 已提交
3559
{
3560
	struct dentry *dentry;
3561 3562
	struct path path;
	int error;
3563
	unsigned int lookup_flags = LOOKUP_DIRECTORY;
L
Linus Torvalds 已提交
3564

3565 3566
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3567
	if (IS_ERR(dentry))
3568
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3569

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

3583
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3584 3585 3586 3587
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

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

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

	if (error)
		return error;

A
Al Viro 已提交
3620
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3621 3622
		return -EPERM;

3623
	dget(dentry);
3624
	mutex_lock(&dentry->d_inode->i_mutex);
S
Sage Weil 已提交
3625 3626

	error = -EBUSY;
3627
	if (is_local_mountpoint(dentry))
S
Sage Weil 已提交
3628 3629 3630 3631 3632 3633
		goto out;

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

3634
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3635 3636 3637 3638 3639 3640
	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);
3641
	detach_mounts(dentry);
S
Sage Weil 已提交
3642 3643

out:
3644
	mutex_unlock(&dentry->d_inode->i_mutex);
3645
	dput(dentry);
S
Sage Weil 已提交
3646
	if (!error)
L
Linus Torvalds 已提交
3647 3648 3649
		d_delete(dentry);
	return error;
}
3650
EXPORT_SYMBOL(vfs_rmdir);
L
Linus Torvalds 已提交
3651

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

3667
	switch (type) {
3668 3669 3670 3671 3672 3673 3674 3675 3676
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3677
	}
3678

3679
	error = mnt_want_write(path.mnt);
3680 3681
	if (error)
		goto exit1;
3682

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

3711
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3712 3713 3714 3715
{
	return do_rmdir(AT_FDCWD, pathname);
}

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

	if (error)
		return error;

A
Al Viro 已提交
3742
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3743 3744
		return -EPERM;

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

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

L
Linus Torvalds 已提交
3770 3771
	return error;
}
3772
EXPORT_SYMBOL(vfs_unlink);
L
Linus Torvalds 已提交
3773 3774 3775

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

L
Linus Torvalds 已提交
3797
	error = -EISDIR;
3798
	if (type != LAST_NORM)
L
Linus Torvalds 已提交
3799
		goto exit1;
3800

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

slashes:
3844 3845
	if (d_is_negative(dentry))
		error = -ENOENT;
M
Miklos Szeredi 已提交
3846
	else if (d_is_dir(dentry))
3847 3848 3849
		error = -EISDIR;
	else
		error = -ENOTDIR;
L
Linus Torvalds 已提交
3850 3851 3852
	goto exit2;
}

3853
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3854 3855 3856 3857 3858 3859 3860 3861 3862 3863
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

3864
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3865 3866 3867 3868
{
	return do_unlinkat(AT_FDCWD, pathname);
}

3869
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3870
{
3871
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3872 3873 3874 3875

	if (error)
		return error;

A
Al Viro 已提交
3876
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3877 3878 3879 3880 3881 3882 3883
		return -EPERM;

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

	error = dir->i_op->symlink(dir, dentry, oldname);
3884
	if (!error)
3885
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3886 3887
	return error;
}
3888
EXPORT_SYMBOL(vfs_symlink);
L
Linus Torvalds 已提交
3889

3890 3891
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
3892
{
3893
	int error;
3894
	struct filename *from;
3895
	struct dentry *dentry;
3896
	struct path path;
3897
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3898 3899

	from = getname(oldname);
3900
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3901
		return PTR_ERR(from);
3902 3903
retry:
	dentry = user_path_create(newdfd, newname, &path, lookup_flags);
3904 3905
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3906
		goto out_putname;
3907

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

3921
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3922 3923 3924 3925
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

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

	if (!inode)
		return -ENOENT;

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

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

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

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

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

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

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
4032
retry:
4033
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
4034
	if (error)
4035 4036
		return error;

4037 4038
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
4039
	error = PTR_ERR(new_dentry);
4040
	if (IS_ERR(new_dentry))
4041 4042 4043 4044 4045
		goto out;

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

	return error;
}

4073
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
4074
{
4075
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4076 4077
}

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

	if (source == target)
		return 0;

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

M
Miklos Szeredi 已提交
4146
	if (!target) {
4147
		error = may_create(new_dir, new_dentry);
M
Miklos Szeredi 已提交
4148 4149 4150 4151 4152 4153 4154 4155
	} 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);
	}
4156 4157 4158
	if (error)
		return error;

M
Miklos Szeredi 已提交
4159
	if (!old_dir->i_op->rename && !old_dir->i_op->rename2)
4160
		return -EPERM;
L
Linus Torvalds 已提交
4161

M
Miklos Szeredi 已提交
4162 4163 4164
	if (flags && !old_dir->i_op->rename2)
		return -EINVAL;

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

4182 4183
	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry,
				      flags);
L
Linus Torvalds 已提交
4184 4185 4186
	if (error)
		return error;

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

	error = -EBUSY;
4195
	if (is_local_mountpoint(old_dentry) || is_local_mountpoint(new_dentry))
S
Sage Weil 已提交
4196 4197
		goto out;

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

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

L
Linus Torvalds 已提交
4257 4258
	return error;
}
4259
EXPORT_SYMBOL(vfs_rename);
L
Linus Torvalds 已提交
4260

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

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

M
Miklos Szeredi 已提交
4279 4280
	if ((flags & (RENAME_NOREPLACE | RENAME_WHITEOUT)) &&
	    (flags & RENAME_EXCHANGE))
M
Miklos Szeredi 已提交
4281 4282
		return -EINVAL;

M
Miklos Szeredi 已提交
4283 4284 4285
	if ((flags & RENAME_WHITEOUT) && !capable(CAP_MKNOD))
		return -EPERM;

4286 4287 4288
	if (flags & RENAME_EXCHANGE)
		target_flags = 0;

4289
retry:
4290 4291
	from = user_path_parent(olddfd, oldname,
				&old_path, &old_last, &old_type, lookup_flags);
4292 4293
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
4294
		goto exit;
4295
	}
L
Linus Torvalds 已提交
4296

4297 4298
	to = user_path_parent(newdfd, newname,
				&new_path, &new_last, &new_type, lookup_flags);
4299 4300
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
4301
		goto exit1;
4302
	}
L
Linus Torvalds 已提交
4303 4304

	error = -EXDEV;
4305
	if (old_path.mnt != new_path.mnt)
L
Linus Torvalds 已提交
4306 4307 4308
		goto exit2;

	error = -EBUSY;
4309
	if (old_type != LAST_NORM)
L
Linus Torvalds 已提交
4310 4311
		goto exit2;

M
Miklos Szeredi 已提交
4312 4313
	if (flags & RENAME_NOREPLACE)
		error = -EEXIST;
4314
	if (new_type != LAST_NORM)
L
Linus Torvalds 已提交
4315 4316
		goto exit2;

4317
	error = mnt_want_write(old_path.mnt);
4318 4319 4320
	if (error)
		goto exit2;

4321
retry_deleg:
4322
	trap = lock_rename(new_path.dentry, old_path.dentry);
L
Linus Torvalds 已提交
4323

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

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

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

M
Miklos Szeredi 已提交
4404 4405 4406 4407 4408 4409
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
	return sys_renameat2(olddfd, oldname, newdfd, newname, 0);
}

4410
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4411
{
M
Miklos Szeredi 已提交
4412
	return sys_renameat2(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4413 4414
}

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

/*
 * 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)
{
4452
	void *cookie;
4453
	const char *link = dentry->d_inode->i_link;
4454
	int res;
4455

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

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

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

4495
const char *page_follow_link_light(struct dentry *dentry, void **cookie)
L
Linus Torvalds 已提交
4496
{
4497
	struct page *page = NULL;
4498 4499 4500 4501
	char *res = page_getlink(dentry, &page);
	if (!IS_ERR(res))
		*cookie = page;
	return res;
L
Linus Torvalds 已提交
4502
}
4503
EXPORT_SYMBOL(page_follow_link_light);
L
Linus Torvalds 已提交
4504

4505
void page_put_link(struct dentry *dentry, void *cookie)
L
Linus Torvalds 已提交
4506
{
4507
	struct page *page = cookie;
4508 4509
	kunmap(page);
	page_cache_release(page);
L
Linus Torvalds 已提交
4510
}
4511
EXPORT_SYMBOL(page_put_link);
L
Linus Torvalds 已提交
4512

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

4527
retry:
4528
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
4529
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
4530
	if (err)
4531 4532
		goto fail;

4533
	kaddr = kmap_atomic(page);
L
Linus Torvalds 已提交
4534
	memcpy(kaddr, symname, len-1);
4535
	kunmap_atomic(kaddr);
4536 4537 4538

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4539 4540
	if (err < 0)
		goto fail;
4541 4542 4543
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4544 4545 4546 4547 4548
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}
4549
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4550

4551 4552 4553
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4554
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
4555
}
4556
EXPORT_SYMBOL(page_symlink);
4557

4558
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
4559 4560 4561 4562 4563
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};
EXPORT_SYMBOL(page_symlink_inode_operations);