namei.c 70.8 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
/*
 *  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>
#include <linux/module.h>
#include <linux/slab.h>
#include <linux/fs.h>
#include <linux/namei.h>
#include <linux/quotaops.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>
L
Linus Torvalds 已提交
36 37
#include <asm/uaccess.h>

38 39
#include "internal.h"

L
Linus Torvalds 已提交
40 41 42 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 77 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
/* [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
 * the name is a symlink pointing to a non-existant name.
 *
 * 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)
107
 * implemented.  Let's see if raised priority of ->s_vfs_rename_mutex gives
L
Linus Torvalds 已提交
108 109 110 111 112 113 114 115 116 117
 * 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.
 */
118
static int do_getname(const char __user *filename, char *page)
L
Linus Torvalds 已提交
119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161
{
	int retval;
	unsigned long len = PATH_MAX;

	if (!segment_eq(get_fs(), KERNEL_DS)) {
		if ((unsigned long) filename >= TASK_SIZE)
			return -EFAULT;
		if (TASK_SIZE - (unsigned long) filename < PATH_MAX)
			len = TASK_SIZE - (unsigned long) filename;
	}

	retval = strncpy_from_user(page, filename, len);
	if (retval > 0) {
		if (retval < len)
			return 0;
		return -ENAMETOOLONG;
	} else if (!retval)
		retval = -ENOENT;
	return retval;
}

char * getname(const char __user * filename)
{
	char *tmp, *result;

	result = ERR_PTR(-ENOMEM);
	tmp = __getname();
	if (tmp)  {
		int retval = do_getname(filename, tmp);

		result = tmp;
		if (retval < 0) {
			__putname(tmp);
			result = ERR_PTR(retval);
		}
	}
	audit_getname(result);
	return result;
}

#ifdef CONFIG_AUDITSYSCALL
void putname(const char *name)
{
162
	if (unlikely(!audit_dummy_context()))
L
Linus Torvalds 已提交
163 164 165 166 167 168 169
		audit_putname(name);
	else
		__putname(name);
}
EXPORT_SYMBOL(putname);
#endif

170 171
/*
 * This does basic POSIX ACL permission checking
L
Linus Torvalds 已提交
172
 */
173
static int acl_permission_check(struct inode *inode, int mask,
L
Linus Torvalds 已提交
174 175 176 177
		int (*check_acl)(struct inode *inode, int mask))
{
	umode_t			mode = inode->i_mode;

178 179
	mask &= MAY_READ | MAY_WRITE | MAY_EXEC;

180
	if (current_fsuid() == inode->i_uid)
L
Linus Torvalds 已提交
181 182 183 184
		mode >>= 6;
	else {
		if (IS_POSIXACL(inode) && (mode & S_IRWXG) && check_acl) {
			int error = check_acl(inode, mask);
185
			if (error != -EAGAIN)
L
Linus Torvalds 已提交
186 187 188 189 190 191 192 193 194 195
				return error;
		}

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

	/*
	 * If the DACs are ok we don't need any capability check.
	 */
196
	if ((mask & ~mode) == 0)
L
Linus Torvalds 已提交
197
		return 0;
198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222
	return -EACCES;
}

/**
 * generic_permission  -  check for access rights on a Posix-like filesystem
 * @inode:	inode to check access rights for
 * @mask:	right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
 * @check_acl:	optional callback to check for Posix ACLs
 *
 * 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
 * are used for other things..
 */
int generic_permission(struct inode *inode, int mask,
		int (*check_acl)(struct inode *inode, int mask))
{
	int ret;

	/*
	 * Do the basic POSIX ACL permission checks.
	 */
	ret = acl_permission_check(inode, mask, check_acl);
	if (ret != -EACCES)
		return ret;
L
Linus Torvalds 已提交
223 224 225 226 227

	/*
	 * Read/write DACs are always overridable.
	 * Executable DACs are overridable if at least one exec bit is set.
	 */
228
	if (!(mask & MAY_EXEC) || execute_ok(inode))
L
Linus Torvalds 已提交
229 230 231 232 233 234
		if (capable(CAP_DAC_OVERRIDE))
			return 0;

	/*
	 * Searching includes executable on directories, else just read.
	 */
235
	mask &= MAY_READ | MAY_WRITE | MAY_EXEC;
L
Linus Torvalds 已提交
236 237 238 239 240 241 242
	if (mask == MAY_READ || (S_ISDIR(inode->i_mode) && !(mask & MAY_WRITE)))
		if (capable(CAP_DAC_READ_SEARCH))
			return 0;

	return -EACCES;
}

C
Christoph Hellwig 已提交
243 244 245 246 247 248 249 250 251 252
/**
 * 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)
 *
 * Used to check for read/write/execute permissions on an inode.
 * We use "fsuid" for this, letting us set arbitrary permissions
 * for filesystem access without changing the "normal" uids which
 * are used for other things.
 */
253
int inode_permission(struct inode *inode, int mask)
L
Linus Torvalds 已提交
254
{
255
	int retval;
L
Linus Torvalds 已提交
256 257

	if (mask & MAY_WRITE) {
258
		umode_t mode = inode->i_mode;
L
Linus Torvalds 已提交
259 260 261 262 263 264 265 266 267 268 269 270 271 272 273

		/*
		 * Nobody gets write access to a read-only fs.
		 */
		if (IS_RDONLY(inode) &&
		    (S_ISREG(mode) || S_ISDIR(mode) || S_ISLNK(mode)))
			return -EROFS;

		/*
		 * Nobody gets write access to an immutable file.
		 */
		if (IS_IMMUTABLE(inode))
			return -EACCES;
	}

A
Al Viro 已提交
274
	if (inode->i_op->permission)
275
		retval = inode->i_op->permission(inode, mask);
276
	else
277
		retval = generic_permission(inode, mask, inode->i_op->check_acl);
278

L
Linus Torvalds 已提交
279 280 281
	if (retval)
		return retval;

282 283 284 285
	retval = devcgroup_inode_permission(inode, mask);
	if (retval)
		return retval;

286
	return security_inode_permission(inode,
287
			mask & (MAY_READ|MAY_WRITE|MAY_EXEC|MAY_APPEND));
L
Linus Torvalds 已提交
288 289
}

290 291 292 293 294 295 296 297 298 299
/**
 * file_permission  -  check for additional access rights to a given file
 * @file:	file to check access rights for
 * @mask:	right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
 *
 * Used to check for read/write/execute permissions on an already opened
 * file.
 *
 * Note:
 *	Do not use this function in new code.  All access checks should
C
Christoph Hellwig 已提交
300
 *	be done using inode_permission().
301 302 303
 */
int file_permission(struct file *file, int mask)
{
304
	return inode_permission(file->f_path.dentry->d_inode, mask);
305 306
}

L
Linus Torvalds 已提交
307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339
/*
 * get_write_access() gets write permission for a file.
 * put_write_access() releases this write permission.
 * This is used for regular files.
 * We cannot support write (and maybe mmap read-write shared) accesses and
 * MAP_DENYWRITE mmappings simultaneously. The i_writecount field of an inode
 * can have the following values:
 * 0: no writers, no VM_DENYWRITE mappings
 * < 0: (-i_writecount) vm_area_structs with VM_DENYWRITE set exist
 * > 0: (i_writecount) users are writing to the file.
 *
 * Normally we operate on that counter with atomic_{inc,dec} and it's safe
 * except for the cases where we don't hold i_writecount yet. Then we need to
 * use {get,deny}_write_access() - these functions check the sign and refuse
 * to do the change if sign is wrong. Exclusion between them is provided by
 * the inode->i_lock spinlock.
 */

int get_write_access(struct inode * inode)
{
	spin_lock(&inode->i_lock);
	if (atomic_read(&inode->i_writecount) < 0) {
		spin_unlock(&inode->i_lock);
		return -ETXTBSY;
	}
	atomic_inc(&inode->i_writecount);
	spin_unlock(&inode->i_lock);

	return 0;
}

int deny_write_access(struct file * file)
{
340
	struct inode *inode = file->f_path.dentry->d_inode;
L
Linus Torvalds 已提交
341 342 343 344 345 346 347 348 349 350 351 352

	spin_lock(&inode->i_lock);
	if (atomic_read(&inode->i_writecount) > 0) {
		spin_unlock(&inode->i_lock);
		return -ETXTBSY;
	}
	atomic_dec(&inode->i_writecount);
	spin_unlock(&inode->i_lock);

	return 0;
}

J
Jan Blunck 已提交
353 354 355 356 357 358 359 360 361 362 363 364 365
/**
 * 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.
 */
void path_get(struct path *path)
{
	mntget(path->mnt);
	dget(path->dentry);
}
EXPORT_SYMBOL(path_get);

J
Jan Blunck 已提交
366 367 368 369 370 371 372
/**
 * 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.
 */
void path_put(struct path *path)
L
Linus Torvalds 已提交
373
{
J
Jan Blunck 已提交
374 375
	dput(path->dentry);
	mntput(path->mnt);
L
Linus Torvalds 已提交
376
}
J
Jan Blunck 已提交
377
EXPORT_SYMBOL(path_put);
L
Linus Torvalds 已提交
378

379 380 381 382 383 384
/**
 * release_open_intent - free up open intent resources
 * @nd: pointer to nameidata
 */
void release_open_intent(struct nameidata *nd)
{
385
	if (nd->intent.open.file->f_path.dentry == NULL)
386 387 388 389 390
		put_filp(nd->intent.open.file);
	else
		fput(nd->intent.open.file);
}

391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414
static inline struct dentry *
do_revalidate(struct dentry *dentry, struct nameidata *nd)
{
	int status = dentry->d_op->d_revalidate(dentry, nd);
	if (unlikely(status <= 0)) {
		/*
		 * The dentry failed validation.
		 * If d_revalidate returned 0 attempt to invalidate
		 * the dentry otherwise d_revalidate is asking us
		 * to return a fail status.
		 */
		if (!status) {
			if (!d_invalidate(dentry)) {
				dput(dentry);
				dentry = NULL;
			}
		} else {
			dput(dentry);
			dentry = ERR_PTR(status);
		}
	}
	return dentry;
}

415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 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
/*
 * force_reval_path - force revalidation of a dentry
 *
 * In some situations the path walking code will trust dentries without
 * revalidating them. This causes problems for filesystems that depend on
 * d_revalidate to handle file opens (e.g. NFSv4). When FS_REVAL_DOT is set
 * (which indicates that it's possible for the dentry to go stale), force
 * a d_revalidate call before proceeding.
 *
 * Returns 0 if the revalidation was successful. If the revalidation fails,
 * either return the error returned by d_revalidate or -ESTALE if the
 * revalidation it just returned 0. If d_revalidate returns 0, we attempt to
 * invalidate the dentry. It's up to the caller to handle putting references
 * to the path if necessary.
 */
static int
force_reval_path(struct path *path, struct nameidata *nd)
{
	int status;
	struct dentry *dentry = path->dentry;

	/*
	 * only check on filesystems where it's possible for the dentry to
	 * become stale. It's assumed that if this flag is set then the
	 * d_revalidate op will also be defined.
	 */
	if (!(dentry->d_sb->s_type->fs_flags & FS_REVAL_DOT))
		return 0;

	status = dentry->d_op->d_revalidate(dentry, nd);
	if (status > 0)
		return 0;

	if (!status) {
		d_invalidate(dentry);
		status = -ESTALE;
	}
	return status;
}

L
Linus Torvalds 已提交
455
/*
A
Al Viro 已提交
456 457 458
 * Short-cut version of permission(), for calling on directories
 * during pathname resolution.  Combines parts of permission()
 * and generic_permission(), and tests ONLY for MAY_EXEC permission.
L
Linus Torvalds 已提交
459 460
 *
 * If appropriate, check DAC only.  If not appropriate, or
A
Al Viro 已提交
461
 * short-cut DAC fails, then call ->permission() to do more
L
Linus Torvalds 已提交
462 463
 * complete permission check.
 */
A
Al Viro 已提交
464
static int exec_permission(struct inode *inode)
L
Linus Torvalds 已提交
465
{
466
	int ret;
L
Linus Torvalds 已提交
467

468
	if (inode->i_op->permission) {
469
		ret = inode->i_op->permission(inode, MAY_EXEC);
470 471 472 473
		if (!ret)
			goto ok;
		return ret;
	}
474 475
	ret = acl_permission_check(inode, MAY_EXEC, inode->i_op->check_acl);
	if (!ret)
L
Linus Torvalds 已提交
476 477
		goto ok;

478
	if (capable(CAP_DAC_OVERRIDE) || capable(CAP_DAC_READ_SEARCH))
L
Linus Torvalds 已提交
479 480
		goto ok;

481
	return ret;
L
Linus Torvalds 已提交
482
ok:
483
	return security_inode_permission(inode, MAY_EXEC);
L
Linus Torvalds 已提交
484 485
}

A
Al Viro 已提交
486 487 488 489 490 491 492 493 494 495 496
static __always_inline void set_root(struct nameidata *nd)
{
	if (!nd->root.mnt) {
		struct fs_struct *fs = current->fs;
		read_lock(&fs->lock);
		nd->root = fs->root;
		path_get(&nd->root);
		read_unlock(&fs->lock);
	}
}

497 498
static int link_path_walk(const char *, struct nameidata *);

499
static __always_inline int __vfs_follow_link(struct nameidata *nd, const char *link)
L
Linus Torvalds 已提交
500 501 502 503 504 505 506
{
	int res = 0;
	char *name;
	if (IS_ERR(link))
		goto fail;

	if (*link == '/') {
A
Al Viro 已提交
507
		set_root(nd);
J
Jan Blunck 已提交
508
		path_put(&nd->path);
A
Al Viro 已提交
509 510
		nd->path = nd->root;
		path_get(&nd->root);
L
Linus Torvalds 已提交
511
	}
C
Christoph Hellwig 已提交
512

L
Linus Torvalds 已提交
513 514 515 516 517 518 519 520 521 522
	res = link_path_walk(link, nd);
	if (nd->depth || res || nd->last_type!=LAST_NORM)
		return res;
	/*
	 * If it is an iterative symlinks resolution in open_namei() we
	 * have to copy the last component. And all that crap because of
	 * bloody create() on broken symlinks. Furrfu...
	 */
	name = __getname();
	if (unlikely(!name)) {
J
Jan Blunck 已提交
523
		path_put(&nd->path);
L
Linus Torvalds 已提交
524 525 526 527 528 529
		return -ENOMEM;
	}
	strcpy(name, nd->last.name);
	nd->last.name = name;
	return 0;
fail:
J
Jan Blunck 已提交
530
	path_put(&nd->path);
L
Linus Torvalds 已提交
531 532 533
	return PTR_ERR(link);
}

J
Jan Blunck 已提交
534
static void path_put_conditional(struct path *path, struct nameidata *nd)
535 536
{
	dput(path->dentry);
537
	if (path->mnt != nd->path.mnt)
538 539 540 541 542
		mntput(path->mnt);
}

static inline void path_to_nameidata(struct path *path, struct nameidata *nd)
{
543 544 545 546 547
	dput(nd->path.dentry);
	if (nd->path.mnt != path->mnt)
		mntput(nd->path.mnt);
	nd->path.mnt = path->mnt;
	nd->path.dentry = path->dentry;
548 549
}

550
static __always_inline int __do_follow_link(struct path *path, struct nameidata *nd)
L
Linus Torvalds 已提交
551 552
{
	int error;
553
	void *cookie;
A
Al Viro 已提交
554
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
555

A
Al Viro 已提交
556
	touch_atime(path->mnt, dentry);
L
Linus Torvalds 已提交
557
	nd_set_link(nd, NULL);
A
Al Viro 已提交
558

559
	if (path->mnt != nd->path.mnt) {
560 561 562 563
		path_to_nameidata(path, nd);
		dget(dentry);
	}
	mntget(path->mnt);
564
	nd->last_type = LAST_BIND;
565 566 567
	cookie = dentry->d_inode->i_op->follow_link(dentry, nd);
	error = PTR_ERR(cookie);
	if (!IS_ERR(cookie)) {
L
Linus Torvalds 已提交
568
		char *s = nd_get_link(nd);
569
		error = 0;
L
Linus Torvalds 已提交
570 571
		if (s)
			error = __vfs_follow_link(nd, s);
572 573 574 575 576
		else if (nd->last_type == LAST_BIND) {
			error = force_reval_path(&nd->path, nd);
			if (error)
				path_put(&nd->path);
		}
L
Linus Torvalds 已提交
577
		if (dentry->d_inode->i_op->put_link)
578
			dentry->d_inode->i_op->put_link(dentry, nd, cookie);
L
Linus Torvalds 已提交
579 580 581 582 583 584 585 586 587 588 589
	}
	return error;
}

/*
 * This limits recursive symlink follows to 8, while
 * limiting consecutive symlinks to 40.
 *
 * Without that kind of total limit, nasty chains of consecutive
 * symlinks can cause almost arbitrarily long lookups. 
 */
A
Al Viro 已提交
590
static inline int do_follow_link(struct path *path, struct nameidata *nd)
L
Linus Torvalds 已提交
591 592 593 594 595 596 597 598
{
	int err = -ELOOP;
	if (current->link_count >= MAX_NESTED_LINKS)
		goto loop;
	if (current->total_link_count >= 40)
		goto loop;
	BUG_ON(nd->depth >= MAX_NESTED_LINKS);
	cond_resched();
A
Al Viro 已提交
599
	err = security_inode_follow_link(path->dentry, nd);
L
Linus Torvalds 已提交
600 601 602 603 604
	if (err)
		goto loop;
	current->link_count++;
	current->total_link_count++;
	nd->depth++;
A
Al Viro 已提交
605
	err = __do_follow_link(path, nd);
606
	path_put(path);
A
Al Viro 已提交
607 608
	current->link_count--;
	nd->depth--;
L
Linus Torvalds 已提交
609 610
	return err;
loop:
J
Jan Blunck 已提交
611 612
	path_put_conditional(path, nd);
	path_put(&nd->path);
L
Linus Torvalds 已提交
613 614 615
	return err;
}

A
Al Viro 已提交
616
int follow_up(struct path *path)
L
Linus Torvalds 已提交
617 618 619 620
{
	struct vfsmount *parent;
	struct dentry *mountpoint;
	spin_lock(&vfsmount_lock);
A
Al Viro 已提交
621 622
	parent = path->mnt->mnt_parent;
	if (parent == path->mnt) {
L
Linus Torvalds 已提交
623 624 625 626
		spin_unlock(&vfsmount_lock);
		return 0;
	}
	mntget(parent);
A
Al Viro 已提交
627
	mountpoint = dget(path->mnt->mnt_mountpoint);
L
Linus Torvalds 已提交
628
	spin_unlock(&vfsmount_lock);
A
Al Viro 已提交
629 630 631 632
	dput(path->dentry);
	path->dentry = mountpoint;
	mntput(path->mnt);
	path->mnt = parent;
L
Linus Torvalds 已提交
633 634 635 636 637 638
	return 1;
}

/* no need for dcache_lock, as serialization is taken care in
 * namespace.c
 */
A
Al Viro 已提交
639 640 641 642
static int __follow_mount(struct path *path)
{
	int res = 0;
	while (d_mountpoint(path->dentry)) {
A
Al Viro 已提交
643
		struct vfsmount *mounted = lookup_mnt(path);
A
Al Viro 已提交
644 645 646 647 648 649 650 651 652 653 654 655
		if (!mounted)
			break;
		dput(path->dentry);
		if (res)
			mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
		res = 1;
	}
	return res;
}

A
Al Viro 已提交
656
static void follow_mount(struct path *path)
L
Linus Torvalds 已提交
657
{
A
Al Viro 已提交
658
	while (d_mountpoint(path->dentry)) {
A
Al Viro 已提交
659
		struct vfsmount *mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
660 661
		if (!mounted)
			break;
A
Al Viro 已提交
662 663 664 665
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
666 667 668 669 670 671
	}
}

/* no need for dcache_lock, as serialization is taken care in
 * namespace.c
 */
A
Al Viro 已提交
672
int follow_down(struct path *path)
L
Linus Torvalds 已提交
673 674 675
{
	struct vfsmount *mounted;

A
Al Viro 已提交
676
	mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
677
	if (mounted) {
A
Al Viro 已提交
678 679 680 681
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
682 683 684 685 686
		return 1;
	}
	return 0;
}

687
static __always_inline void follow_dotdot(struct nameidata *nd)
L
Linus Torvalds 已提交
688
{
A
Al Viro 已提交
689
	set_root(nd);
690

L
Linus Torvalds 已提交
691 692
	while(1) {
		struct vfsmount *parent;
693
		struct dentry *old = nd->path.dentry;
L
Linus Torvalds 已提交
694

A
Al Viro 已提交
695 696
		if (nd->path.dentry == nd->root.dentry &&
		    nd->path.mnt == nd->root.mnt) {
L
Linus Torvalds 已提交
697 698 699
			break;
		}
		spin_lock(&dcache_lock);
700 701
		if (nd->path.dentry != nd->path.mnt->mnt_root) {
			nd->path.dentry = dget(nd->path.dentry->d_parent);
L
Linus Torvalds 已提交
702 703 704 705 706 707
			spin_unlock(&dcache_lock);
			dput(old);
			break;
		}
		spin_unlock(&dcache_lock);
		spin_lock(&vfsmount_lock);
708 709
		parent = nd->path.mnt->mnt_parent;
		if (parent == nd->path.mnt) {
L
Linus Torvalds 已提交
710 711 712 713
			spin_unlock(&vfsmount_lock);
			break;
		}
		mntget(parent);
714
		nd->path.dentry = dget(nd->path.mnt->mnt_mountpoint);
L
Linus Torvalds 已提交
715 716
		spin_unlock(&vfsmount_lock);
		dput(old);
717 718
		mntput(nd->path.mnt);
		nd->path.mnt = parent;
L
Linus Torvalds 已提交
719
	}
A
Al Viro 已提交
720
	follow_mount(&nd->path);
L
Linus Torvalds 已提交
721 722 723 724 725 726 727 728 729 730
}

/*
 *  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.
 */
static int do_lookup(struct nameidata *nd, struct qstr *name,
		     struct path *path)
{
731
	struct vfsmount *mnt = nd->path.mnt;
A
Al Viro 已提交
732 733
	struct dentry *dentry, *parent;
	struct inode *dir;
A
Al Viro 已提交
734 735 736 737 738 739 740 741 742
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (nd->path.dentry->d_op && nd->path.dentry->d_op->d_hash) {
		int err = nd->path.dentry->d_op->d_hash(nd->path.dentry, name);
		if (err < 0)
			return err;
	}
L
Linus Torvalds 已提交
743

A
Al Viro 已提交
744
	dentry = __d_lookup(nd->path.dentry, name);
L
Linus Torvalds 已提交
745 746 747 748 749 750 751
	if (!dentry)
		goto need_lookup;
	if (dentry->d_op && dentry->d_op->d_revalidate)
		goto need_revalidate;
done:
	path->mnt = mnt;
	path->dentry = dentry;
A
Al Viro 已提交
752
	__follow_mount(path);
L
Linus Torvalds 已提交
753 754 755
	return 0;

need_lookup:
A
Al Viro 已提交
756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808
	parent = nd->path.dentry;
	dir = parent->d_inode;

	mutex_lock(&dir->i_mutex);
	/*
	 * First re-do the cached lookup just in case it was created
	 * while we waited for the directory semaphore..
	 *
	 * FIXME! This could use version numbering or similar to
	 * avoid unnecessary cache lookups.
	 *
	 * The "dcache_lock" is purely to protect the RCU list walker
	 * from concurrent renames at this point (we mustn't get false
	 * negatives from the RCU list walk here, unlike the optimistic
	 * fast walk).
	 *
	 * so doing d_lookup() (with seqlock), instead of lockfree __d_lookup
	 */
	dentry = d_lookup(parent, name);
	if (!dentry) {
		struct dentry *new;

		/* Don't create child dentry for a dead directory. */
		dentry = ERR_PTR(-ENOENT);
		if (IS_DEADDIR(dir))
			goto out_unlock;

		new = d_alloc(parent, name);
		dentry = ERR_PTR(-ENOMEM);
		if (new) {
			dentry = dir->i_op->lookup(dir, new, nd);
			if (dentry)
				dput(new);
			else
				dentry = new;
		}
out_unlock:
		mutex_unlock(&dir->i_mutex);
		if (IS_ERR(dentry))
			goto fail;
		goto done;
	}

	/*
	 * Uhhuh! Nasty case: the cache was re-populated while
	 * we waited on the semaphore. Need to revalidate.
	 */
	mutex_unlock(&dir->i_mutex);
	if (dentry->d_op && dentry->d_op->d_revalidate) {
		dentry = do_revalidate(dentry, nd);
		if (!dentry)
			dentry = ERR_PTR(-ENOENT);
	}
L
Linus Torvalds 已提交
809 810 811 812 813
	if (IS_ERR(dentry))
		goto fail;
	goto done;

need_revalidate:
814 815 816 817 818 819
	dentry = do_revalidate(dentry, nd);
	if (!dentry)
		goto need_lookup;
	if (IS_ERR(dentry))
		goto fail;
	goto done;
L
Linus Torvalds 已提交
820 821 822 823 824

fail:
	return PTR_ERR(dentry);
}

825 826 827 828 829 830 831 832 833 834 835
/*
 * This is a temporary kludge to deal with "automount" symlinks; proper
 * solution is to trigger them on follow_mount(), so that do_lookup()
 * would DTRT.  To be killed before 2.6.34-final.
 */
static inline int follow_on_final(struct inode *inode, unsigned lookup_flags)
{
	return inode && unlikely(inode->i_op->follow_link) &&
		((lookup_flags & LOOKUP_FOLLOW) || S_ISDIR(inode->i_mode));
}

L
Linus Torvalds 已提交
836 837
/*
 * Name resolution.
838 839
 * 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 已提交
840
 *
841 842
 * 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 已提交
843
 */
844
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
845 846 847 848 849 850 851 852 853 854 855
{
	struct path next;
	struct inode *inode;
	int err;
	unsigned int lookup_flags = nd->flags;
	
	while (*name=='/')
		name++;
	if (!*name)
		goto return_reval;

856
	inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
857
	if (nd->depth)
858
		lookup_flags = LOOKUP_FOLLOW | (nd->flags & LOOKUP_CONTINUE);
L
Linus Torvalds 已提交
859 860 861 862 863 864 865

	/* At this point we know we have a real path component. */
	for(;;) {
		unsigned long hash;
		struct qstr this;
		unsigned int c;

866
		nd->flags |= LOOKUP_CONTINUE;
A
Al Viro 已提交
867
		err = exec_permission(inode);
L
Linus Torvalds 已提交
868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900
 		if (err)
			break;

		this.name = name;
		c = *(const unsigned char *)name;

		hash = init_name_hash();
		do {
			name++;
			hash = partial_name_hash(c, hash);
			c = *(const unsigned char *)name;
		} while (c && (c != '/'));
		this.len = name - (const char *) this.name;
		this.hash = end_name_hash(hash);

		/* remove trailing slashes? */
		if (!c)
			goto last_component;
		while (*++name == '/');
		if (!*name)
			goto last_with_slashes;

		/*
		 * "." and ".." are special - ".." especially so because it has
		 * to be able to know about the current root directory and
		 * parent relationships.
		 */
		if (this.name[0] == '.') switch (this.len) {
			default:
				break;
			case 2:	
				if (this.name[1] != '.')
					break;
A
Al Viro 已提交
901
				follow_dotdot(nd);
902
				inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
903 904 905 906 907 908 909 910 911 912 913 914 915 916 917
				/* fallthrough */
			case 1:
				continue;
		}
		/* This does the actual lookups.. */
		err = do_lookup(nd, &this, &next);
		if (err)
			break;

		err = -ENOENT;
		inode = next.dentry->d_inode;
		if (!inode)
			goto out_dput;

		if (inode->i_op->follow_link) {
A
Al Viro 已提交
918
			err = do_follow_link(&next, nd);
L
Linus Torvalds 已提交
919 920 921
			if (err)
				goto return_err;
			err = -ENOENT;
922
			inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
923 924
			if (!inode)
				break;
M
Miklos Szeredi 已提交
925 926
		} else
			path_to_nameidata(&next, nd);
L
Linus Torvalds 已提交
927 928 929 930 931 932 933 934 935
		err = -ENOTDIR; 
		if (!inode->i_op->lookup)
			break;
		continue;
		/* here ends the main loop */

last_with_slashes:
		lookup_flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
last_component:
936 937
		/* Clear LOOKUP_CONTINUE iff it was previously unset */
		nd->flags &= lookup_flags | ~LOOKUP_CONTINUE;
L
Linus Torvalds 已提交
938 939 940 941 942 943 944 945
		if (lookup_flags & LOOKUP_PARENT)
			goto lookup_parent;
		if (this.name[0] == '.') switch (this.len) {
			default:
				break;
			case 2:	
				if (this.name[1] != '.')
					break;
A
Al Viro 已提交
946
				follow_dotdot(nd);
947
				inode = nd->path.dentry->d_inode;
L
Linus Torvalds 已提交
948 949 950 951 952 953 954 955
				/* fallthrough */
			case 1:
				goto return_reval;
		}
		err = do_lookup(nd, &this, &next);
		if (err)
			break;
		inode = next.dentry->d_inode;
956
		if (follow_on_final(inode, lookup_flags)) {
A
Al Viro 已提交
957
			err = do_follow_link(&next, nd);
L
Linus Torvalds 已提交
958 959
			if (err)
				goto return_err;
960
			inode = nd->path.dentry->d_inode;
M
Miklos Szeredi 已提交
961 962
		} else
			path_to_nameidata(&next, nd);
L
Linus Torvalds 已提交
963 964 965 966 967
		err = -ENOENT;
		if (!inode)
			break;
		if (lookup_flags & LOOKUP_DIRECTORY) {
			err = -ENOTDIR; 
A
Al Viro 已提交
968
			if (!inode->i_op->lookup)
L
Linus Torvalds 已提交
969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987
				break;
		}
		goto return_base;
lookup_parent:
		nd->last = this;
		nd->last_type = LAST_NORM;
		if (this.name[0] != '.')
			goto return_base;
		if (this.len == 1)
			nd->last_type = LAST_DOT;
		else if (this.len == 2 && this.name[1] == '.')
			nd->last_type = LAST_DOTDOT;
		else
			goto return_base;
return_reval:
		/*
		 * We bypassed the ordinary revalidation routines.
		 * We may need to check the cached dentry for staleness.
		 */
988 989
		if (nd->path.dentry && nd->path.dentry->d_sb &&
		    (nd->path.dentry->d_sb->s_type->fs_flags & FS_REVAL_DOT)) {
L
Linus Torvalds 已提交
990 991
			err = -ESTALE;
			/* Note: we do not d_invalidate() */
992 993
			if (!nd->path.dentry->d_op->d_revalidate(
					nd->path.dentry, nd))
L
Linus Torvalds 已提交
994 995 996 997 998
				break;
		}
return_base:
		return 0;
out_dput:
J
Jan Blunck 已提交
999
		path_put_conditional(&next, nd);
L
Linus Torvalds 已提交
1000 1001
		break;
	}
J
Jan Blunck 已提交
1002
	path_put(&nd->path);
L
Linus Torvalds 已提交
1003 1004 1005 1006
return_err:
	return err;
}

1007
static int path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
1008
{
1009 1010 1011
	struct path save = nd->path;
	int result;

L
Linus Torvalds 已提交
1012
	current->total_link_count = 0;
1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029

	/* make sure the stuff we saved doesn't go away */
	path_get(&save);

	result = link_path_walk(name, nd);
	if (result == -ESTALE) {
		/* nd->path had been dropped */
		current->total_link_count = 0;
		nd->path = save;
		path_get(&nd->path);
		nd->flags |= LOOKUP_REVAL;
		result = link_path_walk(name, nd);
	}

	path_put(&save);

	return result;
L
Linus Torvalds 已提交
1030 1031
}

1032
static int path_init(int dfd, const char *name, unsigned int flags, struct nameidata *nd)
L
Linus Torvalds 已提交
1033
{
1034
	int retval = 0;
1035 1036
	int fput_needed;
	struct file *file;
L
Linus Torvalds 已提交
1037 1038 1039 1040

	nd->last_type = LAST_ROOT; /* if there are only slashes... */
	nd->flags = flags;
	nd->depth = 0;
A
Al Viro 已提交
1041
	nd->root.mnt = NULL;
L
Linus Torvalds 已提交
1042 1043

	if (*name=='/') {
A
Al Viro 已提交
1044 1045 1046
		set_root(nd);
		nd->path = nd->root;
		path_get(&nd->root);
1047
	} else if (dfd == AT_FDCWD) {
A
Al Viro 已提交
1048
		struct fs_struct *fs = current->fs;
1049
		read_lock(&fs->lock);
J
Jan Blunck 已提交
1050 1051
		nd->path = fs->pwd;
		path_get(&fs->pwd);
1052
		read_unlock(&fs->lock);
1053 1054 1055 1056
	} else {
		struct dentry *dentry;

		file = fget_light(dfd, &fput_needed);
1057 1058
		retval = -EBADF;
		if (!file)
1059
			goto out_fail;
1060

1061
		dentry = file->f_path.dentry;
1062

1063 1064
		retval = -ENOTDIR;
		if (!S_ISDIR(dentry->d_inode->i_mode))
1065
			goto fput_fail;
1066 1067

		retval = file_permission(file, MAY_EXEC);
1068
		if (retval)
1069
			goto fput_fail;
1070

J
Jan Blunck 已提交
1071 1072
		nd->path = file->f_path;
		path_get(&file->f_path);
1073 1074

		fput_light(file, fput_needed);
L
Linus Torvalds 已提交
1075
	}
1076
	return 0;
1077

1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090
fput_fail:
	fput_light(file, fput_needed);
out_fail:
	return retval;
}

/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
static int do_path_lookup(int dfd, const char *name,
				unsigned int flags, struct nameidata *nd)
{
	int retval = path_init(dfd, name, flags, nd);
	if (!retval)
		retval = path_walk(name, nd);
1091 1092 1093
	if (unlikely(!retval && !audit_dummy_context() && nd->path.dentry &&
				nd->path.dentry->d_inode))
		audit_inode(name, nd->path.dentry);
A
Al Viro 已提交
1094 1095 1096 1097
	if (nd->root.mnt) {
		path_put(&nd->root);
		nd->root.mnt = NULL;
	}
1098
	return retval;
L
Linus Torvalds 已提交
1099 1100
}

1101
int path_lookup(const char *name, unsigned int flags,
1102 1103 1104 1105 1106
			struct nameidata *nd)
{
	return do_path_lookup(AT_FDCWD, name, flags, nd);
}

A
Al Viro 已提交
1107 1108 1109 1110 1111 1112 1113 1114 1115
int kern_path(const char *name, unsigned int flags, struct path *path)
{
	struct nameidata nd;
	int res = do_path_lookup(AT_FDCWD, name, flags, &nd);
	if (!res)
		*path = nd.path;
	return res;
}

1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134
/**
 * 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
 * @nd: pointer to nameidata
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
		    struct nameidata *nd)
{
	int retval;

	/* same as do_path_lookup */
	nd->last_type = LAST_ROOT;
	nd->flags = flags;
	nd->depth = 0;

1135 1136 1137
	nd->path.dentry = dentry;
	nd->path.mnt = mnt;
	path_get(&nd->path);
1138 1139
	nd->root = nd->path;
	path_get(&nd->root);
1140 1141

	retval = path_walk(name, nd);
1142 1143 1144
	if (unlikely(!retval && !audit_dummy_context() && nd->path.dentry &&
				nd->path.dentry->d_inode))
		audit_inode(name, nd->path.dentry);
1145

1146 1147
	path_put(&nd->root);
	nd->root.mnt = NULL;
1148

A
Al Viro 已提交
1149
	return retval;
1150 1151
}

1152 1153
static struct dentry *__lookup_hash(struct qstr *name,
		struct dentry *base, struct nameidata *nd)
L
Linus Torvalds 已提交
1154
{
1155
	struct dentry *dentry;
L
Linus Torvalds 已提交
1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171
	struct inode *inode;
	int err;

	inode = base->d_inode;

	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_op && base->d_op->d_hash) {
		err = base->d_op->d_hash(base, name);
		dentry = ERR_PTR(err);
		if (err < 0)
			goto out;
	}

A
Al Viro 已提交
1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182
	dentry = __d_lookup(base, name);

	/* lockess __d_lookup may fail due to concurrent d_move()
	 * in some unrelated directory, so try with d_lookup
	 */
	if (!dentry)
		dentry = d_lookup(base, name);

	if (dentry && dentry->d_op && dentry->d_op->d_revalidate)
		dentry = do_revalidate(dentry, nd);

L
Linus Torvalds 已提交
1183
	if (!dentry) {
1184 1185 1186 1187 1188 1189 1190 1191
		struct dentry *new;

		/* Don't create child dentry for a dead directory. */
		dentry = ERR_PTR(-ENOENT);
		if (IS_DEADDIR(inode))
			goto out;

		new = d_alloc(base, name);
L
Linus Torvalds 已提交
1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204
		dentry = ERR_PTR(-ENOMEM);
		if (!new)
			goto out;
		dentry = inode->i_op->lookup(inode, new, nd);
		if (!dentry)
			dentry = new;
		else
			dput(new);
	}
out:
	return dentry;
}

1205 1206 1207 1208 1209
/*
 * Restricted form of lookup. Doesn't follow links, single-component only,
 * needs parent already locked. Doesn't follow mounts.
 * SMP-safe.
 */
1210
static struct dentry *lookup_hash(struct nameidata *nd)
1211 1212 1213
{
	int err;

A
Al Viro 已提交
1214
	err = exec_permission(nd->path.dentry->d_inode);
1215
	if (err)
1216
		return ERR_PTR(err);
1217
	return __lookup_hash(&nd->last, nd->path.dentry, nd);
L
Linus Torvalds 已提交
1218 1219
}

1220 1221
static int __lookup_one_len(const char *name, struct qstr *this,
		struct dentry *base, int len)
L
Linus Torvalds 已提交
1222 1223 1224 1225
{
	unsigned long hash;
	unsigned int c;

1226 1227
	this->name = name;
	this->len = len;
L
Linus Torvalds 已提交
1228
	if (!len)
1229
		return -EACCES;
L
Linus Torvalds 已提交
1230 1231 1232 1233 1234

	hash = init_name_hash();
	while (len--) {
		c = *(const unsigned char *)name++;
		if (c == '/' || c == '\0')
1235
			return -EACCES;
L
Linus Torvalds 已提交
1236 1237
		hash = partial_name_hash(c, hash);
	}
1238 1239 1240
	this->hash = end_name_hash(hash);
	return 0;
}
L
Linus Torvalds 已提交
1241

1242
/**
1243
 * lookup_one_len - filesystem helper to lookup single pathname component
1244 1245 1246 1247
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
1248 1249
 * Note that this routine is purely a helper for filesystem usage and should
 * not be called by generic code.  Also note that by using this function the
1250 1251 1252
 * nameidata argument is passed to the filesystem methods and a filesystem
 * using this helper needs to be prepared for that.
 */
1253 1254 1255 1256 1257
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
	int err;
	struct qstr this;

1258 1259
	WARN_ON_ONCE(!mutex_is_locked(&base->d_inode->i_mutex));

1260
	err = __lookup_one_len(name, &this, base, len);
1261 1262 1263
	if (err)
		return ERR_PTR(err);

A
Al Viro 已提交
1264
	err = exec_permission(base->d_inode);
1265 1266
	if (err)
		return ERR_PTR(err);
1267
	return __lookup_hash(&this, base, NULL);
1268 1269
}

1270 1271
int user_path_at(int dfd, const char __user *name, unsigned flags,
		 struct path *path)
L
Linus Torvalds 已提交
1272
{
1273
	struct nameidata nd;
L
Linus Torvalds 已提交
1274 1275 1276
	char *tmp = getname(name);
	int err = PTR_ERR(tmp);
	if (!IS_ERR(tmp)) {
1277 1278 1279 1280

		BUG_ON(flags & LOOKUP_PARENT);

		err = do_path_lookup(dfd, tmp, flags, &nd);
L
Linus Torvalds 已提交
1281
		putname(tmp);
1282 1283
		if (!err)
			*path = nd.path;
L
Linus Torvalds 已提交
1284 1285 1286 1287
	}
	return err;
}

1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305
static int user_path_parent(int dfd, const char __user *path,
			struct nameidata *nd, char **name)
{
	char *s = getname(path);
	int error;

	if (IS_ERR(s))
		return PTR_ERR(s);

	error = do_path_lookup(dfd, s, LOOKUP_PARENT, nd);
	if (error)
		putname(s);
	else
		*name = s;

	return error;
}

L
Linus Torvalds 已提交
1306 1307 1308 1309 1310 1311
/*
 * It's inline, so penalty for filesystems that don't use sticky bit is
 * minimal.
 */
static inline int check_sticky(struct inode *dir, struct inode *inode)
{
1312 1313
	uid_t fsuid = current_fsuid();

L
Linus Torvalds 已提交
1314 1315
	if (!(dir->i_mode & S_ISVTX))
		return 0;
1316
	if (inode->i_uid == fsuid)
L
Linus Torvalds 已提交
1317
		return 0;
1318
	if (dir->i_uid == fsuid)
L
Linus Torvalds 已提交
1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341
		return 0;
	return !capable(CAP_FOWNER);
}

/*
 *	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().
 */
1342
static int may_delete(struct inode *dir,struct dentry *victim,int isdir)
L
Linus Torvalds 已提交
1343 1344 1345 1346 1347 1348 1349
{
	int error;

	if (!victim->d_inode)
		return -ENOENT;

	BUG_ON(victim->d_parent->d_inode != dir);
1350
	audit_inode_child(victim->d_name.name, victim, dir);
L
Linus Torvalds 已提交
1351

1352
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
1353 1354 1355 1356 1357
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
	if (check_sticky(dir, victim->d_inode)||IS_APPEND(victim->d_inode)||
H
Hugh Dickins 已提交
1358
	    IS_IMMUTABLE(victim->d_inode) || IS_SWAPFILE(victim->d_inode))
L
Linus Torvalds 已提交
1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381
		return -EPERM;
	if (isdir) {
		if (!S_ISDIR(victim->d_inode->i_mode))
			return -ENOTDIR;
		if (IS_ROOT(victim))
			return -EBUSY;
	} else if (S_ISDIR(victim->d_inode->i_mode))
		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())
 */
1382
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
1383 1384 1385 1386 1387
{
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
1388
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414
}

/* 
 * O_DIRECTORY translates into forcing a directory lookup.
 */
static inline int lookup_flags(unsigned int f)
{
	unsigned long retval = LOOKUP_FOLLOW;

	if (f & O_NOFOLLOW)
		retval &= ~LOOKUP_FOLLOW;
	
	if (f & O_DIRECTORY)
		retval |= LOOKUP_DIRECTORY;

	return retval;
}

/*
 * 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 已提交
1415
		mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
1416 1417 1418
		return NULL;
	}

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

1421 1422 1423 1424 1425
	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 已提交
1426 1427
	}

1428 1429 1430 1431 1432
	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 已提交
1433 1434
	}

I
Ingo Molnar 已提交
1435 1436
	mutex_lock_nested(&p1->d_inode->i_mutex, I_MUTEX_PARENT);
	mutex_lock_nested(&p2->d_inode->i_mutex, I_MUTEX_CHILD);
L
Linus Torvalds 已提交
1437 1438 1439 1440 1441
	return NULL;
}

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
1442
	mutex_unlock(&p1->d_inode->i_mutex);
L
Linus Torvalds 已提交
1443
	if (p1 != p2) {
1444
		mutex_unlock(&p2->d_inode->i_mutex);
1445
		mutex_unlock(&p1->d_inode->i_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
1446 1447 1448 1449 1450 1451
	}
}

int vfs_create(struct inode *dir, struct dentry *dentry, int mode,
		struct nameidata *nd)
{
1452
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
1453 1454 1455 1456

	if (error)
		return error;

A
Al Viro 已提交
1457
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
1458 1459 1460 1461 1462 1463
		return -EACCES;	/* shouldn't it be ENOSYS? */
	mode &= S_IALLUGO;
	mode |= S_IFREG;
	error = security_inode_create(dir, dentry, mode);
	if (error)
		return error;
1464
	vfs_dq_init(dir);
L
Linus Torvalds 已提交
1465
	error = dir->i_op->create(dir, dentry, mode, nd);
1466
	if (!error)
1467
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
1468 1469 1470
	return error;
}

1471
int may_open(struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
1472
{
1473
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
1474 1475 1476 1477 1478 1479
	struct inode *inode = dentry->d_inode;
	int error;

	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
1480 1481
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
1482
		return -ELOOP;
C
Christoph Hellwig 已提交
1483 1484 1485 1486 1487 1488
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
1489
		if (path->mnt->mnt_flags & MNT_NODEV)
L
Linus Torvalds 已提交
1490
			return -EACCES;
C
Christoph Hellwig 已提交
1491 1492 1493
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
1494
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
1495
		break;
1496
	}
1497

1498
	error = inode_permission(inode, acc_mode);
1499 1500
	if (error)
		return error;
M
Mimi Zohar 已提交
1501

L
Linus Torvalds 已提交
1502 1503 1504 1505 1506
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
		if  ((flag & FMODE_WRITE) && !(flag & O_APPEND))
1507
			return -EPERM;
L
Linus Torvalds 已提交
1508
		if (flag & O_TRUNC)
1509
			return -EPERM;
L
Linus Torvalds 已提交
1510 1511 1512
	}

	/* O_NOATIME can only be set by the owner or superuser */
1513 1514
	if (flag & O_NOATIME && !is_owner_or_cap(inode))
		return -EPERM;
L
Linus Torvalds 已提交
1515 1516 1517 1518

	/*
	 * Ensure there are no outstanding leases on the file.
	 */
1519
	return break_lease(inode, flag);
1520
}
L
Linus Torvalds 已提交
1521

1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540
static int handle_truncate(struct path *path)
{
	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.
	 */
	error = locks_verify_locked(inode);
	if (!error)
		error = security_path_truncate(path, 0,
				       ATTR_MTIME|ATTR_CTIME|ATTR_OPEN);
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
				    NULL);
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
1541
	return error;
L
Linus Torvalds 已提交
1542 1543
}

1544 1545 1546 1547 1548 1549
/*
 * Be careful about ever adding any more callers of this
 * function.  Its flags must be in the namei format, not
 * what get passed to sys_open().
 */
static int __open_namei_create(struct nameidata *nd, struct path *path,
1550 1551 1552
				int flag, int mode)
{
	int error;
1553
	struct dentry *dir = nd->path.dentry;
1554 1555

	if (!IS_POSIXACL(dir->d_inode))
A
Al Viro 已提交
1556
		mode &= ~current_umask();
1557 1558 1559
	error = security_path_mknod(&nd->path, path->dentry, mode, 0);
	if (error)
		goto out_unlock;
1560
	error = vfs_create(dir->d_inode, path->dentry, mode, nd);
1561
out_unlock:
1562
	mutex_unlock(&dir->d_inode->i_mutex);
1563 1564
	dput(nd->path.dentry);
	nd->path.dentry = path->dentry;
1565 1566 1567
	if (error)
		return error;
	/* Don't check for write permission, don't truncate */
1568
	return may_open(&nd->path, 0, flag & ~O_TRUNC);
1569 1570
}

1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594
/*
 * Note that while the flag value (low two bits) for sys_open means:
 *	00 - read-only
 *	01 - write-only
 *	10 - read-write
 *	11 - special
 * it is changed into
 *	00 - no permissions needed
 *	01 - read-permission
 *	10 - write-permission
 *	11 - read-write
 * for the internal routines (ie open_namei()/follow_link() etc)
 * This is more logical, and also allows the 00 "no perm needed"
 * to be used for symlinks (where the permissions are checked
 * later).
 *
*/
static inline int open_to_namei_flags(int flag)
{
	if ((flag+1) & O_ACCMODE)
		flag++;
	return flag;
}

1595
static int open_will_truncate(int flag, struct inode *inode)
1596 1597 1598 1599 1600 1601 1602 1603 1604 1605
{
	/*
	 * We'll never write to the fs underlying
	 * a device file.
	 */
	if (special_file(inode->i_mode))
		return 0;
	return (flag & O_TRUNC);
}

L
Linus Torvalds 已提交
1606
/*
1607 1608 1609
 * Note that the low bits of the passed in "open_flag"
 * are not the same as in the local variable "flag". See
 * open_to_namei_flags() for more details.
L
Linus Torvalds 已提交
1610
 */
1611
struct file *do_filp_open(int dfd, const char *pathname,
1612
		int open_flag, int mode, int acc_mode)
L
Linus Torvalds 已提交
1613
{
1614
	struct file *filp;
1615
	struct nameidata nd;
1616
	int error;
1617
	struct path path;
L
Linus Torvalds 已提交
1618 1619
	struct dentry *dir;
	int count = 0;
1620
	int will_truncate;
1621
	int flag = open_to_namei_flags(open_flag);
1622
	int force_reval = 0;
L
Linus Torvalds 已提交
1623

1624 1625 1626 1627 1628 1629 1630 1631 1632
	/*
	 * O_SYNC is implemented as __O_SYNC|O_DSYNC.  As many places only
	 * check for O_DSYNC if the need any syncing at all we enforce it's
	 * always set instead of having to deal with possibly weird behaviour
	 * for malicious applications setting only __O_SYNC.
	 */
	if (open_flag & __O_SYNC)
		open_flag |= O_DSYNC;

1633
	if (!acc_mode)
A
Al Viro 已提交
1634
		acc_mode = MAY_OPEN | ACC_MODE(open_flag);
L
Linus Torvalds 已提交
1635

1636 1637 1638 1639
	/* O_TRUNC implies we need access checks for write permissions */
	if (flag & O_TRUNC)
		acc_mode |= MAY_WRITE;

L
Linus Torvalds 已提交
1640 1641 1642 1643 1644 1645 1646 1647 1648
	/* Allow the LSM permission hook to distinguish append 
	   access from general write access. */
	if (flag & O_APPEND)
		acc_mode |= MAY_APPEND;

	/*
	 * The simplest case - just a plain lookup.
	 */
	if (!(flag & O_CREAT)) {
A
Al Viro 已提交
1649 1650 1651 1652 1653
		filp = get_empty_filp();

		if (filp == NULL)
			return ERR_PTR(-ENFILE);
		nd.intent.open.file = filp;
1654
		filp->f_flags = open_flag;
A
Al Viro 已提交
1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665
		nd.intent.open.flags = flag;
		nd.intent.open.create_mode = 0;
		error = do_path_lookup(dfd, pathname,
					lookup_flags(flag)|LOOKUP_OPEN, &nd);
		if (IS_ERR(nd.intent.open.file)) {
			if (error == 0) {
				error = PTR_ERR(nd.intent.open.file);
				path_put(&nd.path);
			}
		} else if (error)
			release_open_intent(&nd);
L
Linus Torvalds 已提交
1666
		if (error)
1667
			return ERR_PTR(error);
L
Linus Torvalds 已提交
1668 1669 1670 1671 1672 1673
		goto ok;
	}

	/*
	 * Create - we need to know the parent.
	 */
1674
reval:
1675
	error = path_init(dfd, pathname, LOOKUP_PARENT, &nd);
L
Linus Torvalds 已提交
1676
	if (error)
1677
		return ERR_PTR(error);
1678 1679
	if (force_reval)
		nd.flags |= LOOKUP_REVAL;
1680
	error = path_walk(pathname, &nd);
1681 1682 1683
	if (error) {
		if (nd.root.mnt)
			path_put(&nd.root);
1684
		return ERR_PTR(error);
1685
	}
1686 1687
	if (unlikely(!audit_dummy_context()))
		audit_inode(pathname, nd.path.dentry);
L
Linus Torvalds 已提交
1688 1689 1690 1691 1692 1693 1694

	/*
	 * We have the parent and last component. First of all, check
	 * that we are not asked to creat(2) an obvious directory - that
	 * will not do.
	 */
	error = -EISDIR;
1695
	if (nd.last_type != LAST_NORM || nd.last.name[nd.last.len])
A
Al Viro 已提交
1696
		goto exit_parent;
L
Linus Torvalds 已提交
1697

A
Al Viro 已提交
1698 1699 1700 1701 1702
	error = -ENFILE;
	filp = get_empty_filp();
	if (filp == NULL)
		goto exit_parent;
	nd.intent.open.file = filp;
1703
	filp->f_flags = open_flag;
A
Al Viro 已提交
1704 1705
	nd.intent.open.flags = flag;
	nd.intent.open.create_mode = mode;
1706 1707
	dir = nd.path.dentry;
	nd.flags &= ~LOOKUP_PARENT;
A
Al Viro 已提交
1708
	nd.flags |= LOOKUP_CREATE | LOOKUP_OPEN;
1709 1710
	if (flag & O_EXCL)
		nd.flags |= LOOKUP_EXCL;
1711
	mutex_lock(&dir->d_inode->i_mutex);
1712 1713
	path.dentry = lookup_hash(&nd);
	path.mnt = nd.path.mnt;
L
Linus Torvalds 已提交
1714 1715

do_last:
A
Al Viro 已提交
1716 1717
	error = PTR_ERR(path.dentry);
	if (IS_ERR(path.dentry)) {
1718
		mutex_unlock(&dir->d_inode->i_mutex);
L
Linus Torvalds 已提交
1719 1720 1721
		goto exit;
	}

1722 1723
	if (IS_ERR(nd.intent.open.file)) {
		error = PTR_ERR(nd.intent.open.file);
1724
		goto exit_mutex_unlock;
1725 1726
	}

L
Linus Torvalds 已提交
1727
	/* Negative dentry, just create the file */
A
Al Viro 已提交
1728
	if (!path.dentry->d_inode) {
1729 1730 1731 1732 1733 1734 1735 1736
		/*
		 * This write is needed to ensure that a
		 * ro->rw transition does not occur between
		 * the time when the file is created and when
		 * a permanent write count is taken through
		 * the 'struct file' in nameidata_to_filp().
		 */
		error = mnt_want_write(nd.path.mnt);
L
Linus Torvalds 已提交
1737
		if (error)
1738 1739 1740 1741
			goto exit_mutex_unlock;
		error = __open_namei_create(&nd, &path, flag, mode);
		if (error) {
			mnt_drop_write(nd.path.mnt);
L
Linus Torvalds 已提交
1742
			goto exit;
1743
		}
1744
		filp = nameidata_to_filp(&nd);
1745
		mnt_drop_write(nd.path.mnt);
1746 1747
		if (nd.root.mnt)
			path_put(&nd.root);
1748
		if (!IS_ERR(filp)) {
1749
			error = ima_file_check(filp, acc_mode);
1750 1751 1752 1753 1754
			if (error) {
				fput(filp);
				filp = ERR_PTR(error);
			}
		}
1755
		return filp;
L
Linus Torvalds 已提交
1756 1757 1758 1759 1760
	}

	/*
	 * It already exists.
	 */
1761
	mutex_unlock(&dir->d_inode->i_mutex);
1762
	audit_inode(pathname, path.dentry);
L
Linus Torvalds 已提交
1763 1764 1765 1766 1767

	error = -EEXIST;
	if (flag & O_EXCL)
		goto exit_dput;

A
Al Viro 已提交
1768
	if (__follow_mount(&path)) {
L
Linus Torvalds 已提交
1769
		error = -ELOOP;
A
Al Viro 已提交
1770 1771
		if (flag & O_NOFOLLOW)
			goto exit_dput;
L
Linus Torvalds 已提交
1772
	}
1773

L
Linus Torvalds 已提交
1774
	error = -ENOENT;
A
Al Viro 已提交
1775
	if (!path.dentry->d_inode)
L
Linus Torvalds 已提交
1776
		goto exit_dput;
A
Al Viro 已提交
1777
	if (path.dentry->d_inode->i_op->follow_link)
L
Linus Torvalds 已提交
1778 1779
		goto do_link;

1780
	path_to_nameidata(&path, &nd);
L
Linus Torvalds 已提交
1781
	error = -EISDIR;
1782
	if (S_ISDIR(path.dentry->d_inode->i_mode))
L
Linus Torvalds 已提交
1783 1784
		goto exit;
ok:
1785 1786 1787 1788 1789 1790 1791 1792 1793 1794
	/*
	 * Consider:
	 * 1. may_open() truncates a file
	 * 2. a rw->ro mount transition occurs
	 * 3. nameidata_to_filp() fails due to
	 *    the ro mount.
	 * That would be inconsistent, and should
	 * be avoided. Taking this mnt write here
	 * ensures that (2) can not occur.
	 */
1795 1796
	will_truncate = open_will_truncate(flag, nd.path.dentry->d_inode);
	if (will_truncate) {
1797 1798 1799 1800
		error = mnt_want_write(nd.path.mnt);
		if (error)
			goto exit;
	}
1801
	error = may_open(&nd.path, acc_mode, flag);
1802
	if (error) {
1803
		if (will_truncate)
1804
			mnt_drop_write(nd.path.mnt);
L
Linus Torvalds 已提交
1805
		goto exit;
1806
	}
1807
	filp = nameidata_to_filp(&nd);
1808
	if (!IS_ERR(filp)) {
1809
		error = ima_file_check(filp, acc_mode);
1810 1811
		if (error) {
			fput(filp);
1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824
			filp = ERR_PTR(error);
		}
	}
	if (!IS_ERR(filp)) {
		if (acc_mode & MAY_WRITE)
			vfs_dq_init(nd.path.dentry->d_inode);

		if (will_truncate) {
			error = handle_truncate(&nd.path);
			if (error) {
				fput(filp);
				filp = ERR_PTR(error);
			}
1825 1826
		}
	}
1827 1828 1829 1830 1831
	/*
	 * It is now safe to drop the mnt write
	 * because the filp has had a write taken
	 * on its behalf.
	 */
1832
	if (will_truncate)
1833
		mnt_drop_write(nd.path.mnt);
1834 1835
	if (nd.root.mnt)
		path_put(&nd.root);
1836
	return filp;
L
Linus Torvalds 已提交
1837

1838 1839
exit_mutex_unlock:
	mutex_unlock(&dir->d_inode->i_mutex);
L
Linus Torvalds 已提交
1840
exit_dput:
1841
	path_put_conditional(&path, &nd);
L
Linus Torvalds 已提交
1842
exit:
1843 1844
	if (!IS_ERR(nd.intent.open.file))
		release_open_intent(&nd);
A
Al Viro 已提交
1845
exit_parent:
A
Al Viro 已提交
1846 1847
	if (nd.root.mnt)
		path_put(&nd.root);
1848 1849
	path_put(&nd.path);
	return ERR_PTR(error);
L
Linus Torvalds 已提交
1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864

do_link:
	error = -ELOOP;
	if (flag & O_NOFOLLOW)
		goto exit_dput;
	/*
	 * This is subtle. Instead of calling do_follow_link() we do the
	 * thing by hands. The reason is that this way we have zero link_count
	 * and path_walk() (called from ->follow_link) honoring LOOKUP_PARENT.
	 * After that we have the parent and last component, i.e.
	 * we are in the same situation as after the first path_walk().
	 * Well, almost - if the last component is normal we get its copy
	 * stored in nd->last.name and we will have to putname() it when we
	 * are done. Procfs-like symlinks just set LAST_BIND.
	 */
1865 1866
	nd.flags |= LOOKUP_PARENT;
	error = security_inode_follow_link(path.dentry, &nd);
L
Linus Torvalds 已提交
1867 1868
	if (error)
		goto exit_dput;
1869
	error = __do_follow_link(&path, &nd);
1870
	path_put(&path);
K
Kirill Korotaev 已提交
1871 1872 1873 1874 1875
	if (error) {
		/* Does someone understand code flow here? Or it is only
		 * me so stupid? Anathema to whoever designed this non-sense
		 * with "intent.open".
		 */
1876
		release_open_intent(&nd);
1877 1878
		if (nd.root.mnt)
			path_put(&nd.root);
1879 1880 1881 1882
		if (error == -ESTALE && !force_reval) {
			force_reval = 1;
			goto reval;
		}
1883
		return ERR_PTR(error);
K
Kirill Korotaev 已提交
1884
	}
1885 1886
	nd.flags &= ~LOOKUP_PARENT;
	if (nd.last_type == LAST_BIND)
L
Linus Torvalds 已提交
1887 1888
		goto ok;
	error = -EISDIR;
1889
	if (nd.last_type != LAST_NORM)
L
Linus Torvalds 已提交
1890
		goto exit;
1891 1892
	if (nd.last.name[nd.last.len]) {
		__putname(nd.last.name);
L
Linus Torvalds 已提交
1893 1894 1895 1896
		goto exit;
	}
	error = -ELOOP;
	if (count++==32) {
1897
		__putname(nd.last.name);
L
Linus Torvalds 已提交
1898 1899
		goto exit;
	}
1900
	dir = nd.path.dentry;
1901
	mutex_lock(&dir->d_inode->i_mutex);
1902 1903 1904
	path.dentry = lookup_hash(&nd);
	path.mnt = nd.path.mnt;
	__putname(nd.last.name);
L
Linus Torvalds 已提交
1905 1906 1907
	goto do_last;
}

1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920
/**
 * filp_open - open file and return file pointer
 *
 * @filename:	path to open
 * @flags:	open flags as per the open(2) second argument
 * @mode:	mode for the new file if O_CREAT is set, else ignored
 *
 * This is the helper to open a file from kernelspace if you really
 * have to.  But in generally you should not do this, so please move
 * along, nothing to see here..
 */
struct file *filp_open(const char *filename, int flags, int mode)
{
1921
	return do_filp_open(AT_FDCWD, filename, flags, mode, 0);
1922 1923 1924
}
EXPORT_SYMBOL(filp_open);

L
Linus Torvalds 已提交
1925 1926 1927 1928 1929 1930 1931
/**
 * lookup_create - lookup a dentry, creating it if it doesn't exist
 * @nd: nameidata info
 * @is_dir: directory flag
 *
 * Simple function to lookup and return a dentry and create it
 * if it doesn't exist.  Is SMP-safe.
1932
 *
1933
 * Returns with nd->path.dentry->d_inode->i_mutex locked.
L
Linus Torvalds 已提交
1934 1935 1936
 */
struct dentry *lookup_create(struct nameidata *nd, int is_dir)
{
1937
	struct dentry *dentry = ERR_PTR(-EEXIST);
L
Linus Torvalds 已提交
1938

1939
	mutex_lock_nested(&nd->path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
1940 1941 1942 1943
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
L
Linus Torvalds 已提交
1944 1945 1946
	if (nd->last_type != LAST_NORM)
		goto fail;
	nd->flags &= ~LOOKUP_PARENT;
1947
	nd->flags |= LOOKUP_CREATE | LOOKUP_EXCL;
1948
	nd->intent.open.flags = O_EXCL;
1949 1950 1951 1952

	/*
	 * Do the final lookup.
	 */
1953
	dentry = lookup_hash(nd);
L
Linus Torvalds 已提交
1954 1955
	if (IS_ERR(dentry))
		goto fail;
1956

1957 1958
	if (dentry->d_inode)
		goto eexist;
1959 1960 1961 1962 1963 1964
	/*
	 * 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.
	 */
1965 1966 1967 1968
	if (unlikely(!is_dir && nd->last.name[nd->last.len])) {
		dput(dentry);
		dentry = ERR_PTR(-ENOENT);
	}
L
Linus Torvalds 已提交
1969
	return dentry;
1970
eexist:
L
Linus Torvalds 已提交
1971
	dput(dentry);
1972
	dentry = ERR_PTR(-EEXIST);
L
Linus Torvalds 已提交
1973 1974 1975
fail:
	return dentry;
}
1976
EXPORT_SYMBOL_GPL(lookup_create);
L
Linus Torvalds 已提交
1977 1978 1979

int vfs_mknod(struct inode *dir, struct dentry *dentry, int mode, dev_t dev)
{
1980
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
1981 1982 1983 1984 1985 1986 1987

	if (error)
		return error;

	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))
		return -EPERM;

A
Al Viro 已提交
1988
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
1989 1990
		return -EPERM;

1991 1992 1993 1994
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
1995 1996 1997 1998
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

1999
	vfs_dq_init(dir);
L
Linus Torvalds 已提交
2000
	error = dir->i_op->mknod(dir, dentry, mode, dev);
2001
	if (!error)
2002
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2003 2004 2005
	return error;
}

2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022
static int may_mknod(mode_t mode)
{
	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;
	}
}

2023 2024
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, int, mode,
		unsigned, dev)
L
Linus Torvalds 已提交
2025
{
2026 2027 2028
	int error;
	char *tmp;
	struct dentry *dentry;
L
Linus Torvalds 已提交
2029 2030 2031 2032 2033
	struct nameidata nd;

	if (S_ISDIR(mode))
		return -EPERM;

2034
	error = user_path_parent(dfd, filename, &nd, &tmp);
L
Linus Torvalds 已提交
2035
	if (error)
2036 2037
		return error;

L
Linus Torvalds 已提交
2038
	dentry = lookup_create(&nd, 0);
2039 2040 2041 2042
	if (IS_ERR(dentry)) {
		error = PTR_ERR(dentry);
		goto out_unlock;
	}
2043
	if (!IS_POSIXACL(nd.path.dentry->d_inode))
A
Al Viro 已提交
2044
		mode &= ~current_umask();
2045 2046 2047 2048 2049 2050
	error = may_mknod(mode);
	if (error)
		goto out_dput;
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto out_dput;
2051 2052 2053
	error = security_path_mknod(&nd.path, dentry, mode, dev);
	if (error)
		goto out_drop_write;
2054
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
2055
		case 0: case S_IFREG:
2056
			error = vfs_create(nd.path.dentry->d_inode,dentry,mode,&nd);
L
Linus Torvalds 已提交
2057 2058
			break;
		case S_IFCHR: case S_IFBLK:
2059
			error = vfs_mknod(nd.path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
2060 2061 2062
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
2063
			error = vfs_mknod(nd.path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
2064 2065
			break;
	}
2066
out_drop_write:
2067 2068 2069 2070
	mnt_drop_write(nd.path.mnt);
out_dput:
	dput(dentry);
out_unlock:
2071
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
J
Jan Blunck 已提交
2072
	path_put(&nd.path);
L
Linus Torvalds 已提交
2073 2074 2075 2076 2077
	putname(tmp);

	return error;
}

2078
SYSCALL_DEFINE3(mknod, const char __user *, filename, int, mode, unsigned, dev)
2079 2080 2081 2082
{
	return sys_mknodat(AT_FDCWD, filename, mode, dev);
}

L
Linus Torvalds 已提交
2083 2084
int vfs_mkdir(struct inode *dir, struct dentry *dentry, int mode)
{
2085
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2086 2087 2088 2089

	if (error)
		return error;

A
Al Viro 已提交
2090
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
2091 2092 2093 2094 2095 2096 2097
		return -EPERM;

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

2098
	vfs_dq_init(dir);
L
Linus Torvalds 已提交
2099
	error = dir->i_op->mkdir(dir, dentry, mode);
2100
	if (!error)
2101
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
2102 2103 2104
	return error;
}

2105
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, int, mode)
L
Linus Torvalds 已提交
2106 2107 2108
{
	int error = 0;
	char * tmp;
2109 2110
	struct dentry *dentry;
	struct nameidata nd;
L
Linus Torvalds 已提交
2111

2112 2113
	error = user_path_parent(dfd, pathname, &nd, &tmp);
	if (error)
2114
		goto out_err;
L
Linus Torvalds 已提交
2115

2116 2117 2118 2119
	dentry = lookup_create(&nd, 1);
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
		goto out_unlock;
L
Linus Torvalds 已提交
2120

2121
	if (!IS_POSIXACL(nd.path.dentry->d_inode))
A
Al Viro 已提交
2122
		mode &= ~current_umask();
2123 2124 2125
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto out_dput;
2126 2127 2128
	error = security_path_mkdir(&nd.path, dentry, mode);
	if (error)
		goto out_drop_write;
2129
	error = vfs_mkdir(nd.path.dentry->d_inode, dentry, mode);
2130
out_drop_write:
2131 2132
	mnt_drop_write(nd.path.mnt);
out_dput:
2133 2134
	dput(dentry);
out_unlock:
2135
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
J
Jan Blunck 已提交
2136
	path_put(&nd.path);
2137 2138
	putname(tmp);
out_err:
L
Linus Torvalds 已提交
2139 2140 2141
	return error;
}

2142
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, int, mode)
2143 2144 2145 2146
{
	return sys_mkdirat(AT_FDCWD, pathname, mode);
}

L
Linus Torvalds 已提交
2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164
/*
 * We try to drop the dentry early: we should have
 * a usage count of 2 if we're the only user of this
 * dentry, and if that is true (possibly after pruning
 * the dcache), then we drop the dentry now.
 *
 * 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)
{
	dget(dentry);
2165
	shrink_dcache_parent(dentry);
L
Linus Torvalds 已提交
2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180
	spin_lock(&dcache_lock);
	spin_lock(&dentry->d_lock);
	if (atomic_read(&dentry->d_count) == 2)
		__d_drop(dentry);
	spin_unlock(&dentry->d_lock);
	spin_unlock(&dcache_lock);
}

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

	if (error)
		return error;

A
Al Viro 已提交
2181
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
2182 2183
		return -EPERM;

2184
	vfs_dq_init(dir);
L
Linus Torvalds 已提交
2185

2186
	mutex_lock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2187 2188 2189 2190 2191 2192 2193 2194 2195 2196 2197
	dentry_unhash(dentry);
	if (d_mountpoint(dentry))
		error = -EBUSY;
	else {
		error = security_inode_rmdir(dir, dentry);
		if (!error) {
			error = dir->i_op->rmdir(dir, dentry);
			if (!error)
				dentry->d_inode->i_flags |= S_DEAD;
		}
	}
2198
	mutex_unlock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2199 2200 2201 2202 2203 2204 2205 2206
	if (!error) {
		d_delete(dentry);
	}
	dput(dentry);

	return error;
}

2207
static long do_rmdir(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
2208 2209 2210 2211 2212 2213
{
	int error = 0;
	char * name;
	struct dentry *dentry;
	struct nameidata nd;

2214
	error = user_path_parent(dfd, pathname, &nd, &name);
L
Linus Torvalds 已提交
2215
	if (error)
2216
		return error;
L
Linus Torvalds 已提交
2217 2218

	switch(nd.last_type) {
2219 2220 2221 2222 2223 2224 2225 2226 2227
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
2228
	}
2229 2230 2231

	nd.flags &= ~LOOKUP_PARENT;

2232
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2233
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
2234
	error = PTR_ERR(dentry);
2235 2236
	if (IS_ERR(dentry))
		goto exit2;
2237 2238 2239
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto exit3;
2240 2241 2242
	error = security_path_rmdir(&nd.path, dentry);
	if (error)
		goto exit4;
2243
	error = vfs_rmdir(nd.path.dentry->d_inode, dentry);
2244
exit4:
2245 2246
	mnt_drop_write(nd.path.mnt);
exit3:
2247 2248
	dput(dentry);
exit2:
2249
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2250
exit1:
J
Jan Blunck 已提交
2251
	path_put(&nd.path);
L
Linus Torvalds 已提交
2252 2253 2254 2255
	putname(name);
	return error;
}

2256
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
2257 2258 2259 2260
{
	return do_rmdir(AT_FDCWD, pathname);
}

L
Linus Torvalds 已提交
2261 2262 2263 2264 2265 2266 2267
int vfs_unlink(struct inode *dir, struct dentry *dentry)
{
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
2268
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
2269 2270
		return -EPERM;

2271
	vfs_dq_init(dir);
L
Linus Torvalds 已提交
2272

2273
	mutex_lock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2274 2275 2276 2277 2278 2279 2280
	if (d_mountpoint(dentry))
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
		if (!error)
			error = dir->i_op->unlink(dir, dentry);
	}
2281
	mutex_unlock(&dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2282 2283 2284

	/* We don't d_delete() NFS sillyrenamed files--they still exist. */
	if (!error && !(dentry->d_flags & DCACHE_NFSFS_RENAMED)) {
2285
		fsnotify_link_count(dentry->d_inode);
J
John McCutchan 已提交
2286
		d_delete(dentry);
L
Linus Torvalds 已提交
2287
	}
R
Robert Love 已提交
2288

L
Linus Torvalds 已提交
2289 2290 2291 2292 2293
	return error;
}

/*
 * Make sure that the actual truncation of the file will occur outside its
2294
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
2295 2296 2297
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
2298
static long do_unlinkat(int dfd, const char __user *pathname)
L
Linus Torvalds 已提交
2299
{
2300 2301
	int error;
	char *name;
L
Linus Torvalds 已提交
2302 2303 2304 2305
	struct dentry *dentry;
	struct nameidata nd;
	struct inode *inode = NULL;

2306
	error = user_path_parent(dfd, pathname, &nd, &name);
L
Linus Torvalds 已提交
2307
	if (error)
2308 2309
		return error;

L
Linus Torvalds 已提交
2310 2311 2312
	error = -EISDIR;
	if (nd.last_type != LAST_NORM)
		goto exit1;
2313 2314 2315

	nd.flags &= ~LOOKUP_PARENT;

2316
	mutex_lock_nested(&nd.path.dentry->d_inode->i_mutex, I_MUTEX_PARENT);
2317
	dentry = lookup_hash(&nd);
L
Linus Torvalds 已提交
2318 2319 2320 2321 2322 2323 2324 2325
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
		if (nd.last.name[nd.last.len])
			goto slashes;
		inode = dentry->d_inode;
		if (inode)
			atomic_inc(&inode->i_count);
2326 2327 2328
		error = mnt_want_write(nd.path.mnt);
		if (error)
			goto exit2;
2329 2330 2331
		error = security_path_unlink(&nd.path, dentry);
		if (error)
			goto exit3;
2332
		error = vfs_unlink(nd.path.dentry->d_inode, dentry);
2333
exit3:
2334
		mnt_drop_write(nd.path.mnt);
L
Linus Torvalds 已提交
2335 2336 2337
	exit2:
		dput(dentry);
	}
2338
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2339 2340 2341
	if (inode)
		iput(inode);	/* truncate the inode here */
exit1:
J
Jan Blunck 已提交
2342
	path_put(&nd.path);
L
Linus Torvalds 已提交
2343 2344 2345 2346 2347 2348 2349 2350 2351
	putname(name);
	return error;

slashes:
	error = !dentry->d_inode ? -ENOENT :
		S_ISDIR(dentry->d_inode->i_mode) ? -EISDIR : -ENOTDIR;
	goto exit2;
}

2352
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
2353 2354 2355 2356 2357 2358 2359 2360 2361 2362
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

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

	return do_unlinkat(dfd, pathname);
}

2363
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
2364 2365 2366 2367
{
	return do_unlinkat(AT_FDCWD, pathname);
}

2368
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
2369
{
2370
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2371 2372 2373 2374

	if (error)
		return error;

A
Al Viro 已提交
2375
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
2376 2377 2378 2379 2380 2381
		return -EPERM;

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

2382
	vfs_dq_init(dir);
L
Linus Torvalds 已提交
2383
	error = dir->i_op->symlink(dir, dentry, oldname);
2384
	if (!error)
2385
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2386 2387 2388
	return error;
}

2389 2390
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
2391
{
2392 2393 2394
	int error;
	char *from;
	char *to;
2395 2396
	struct dentry *dentry;
	struct nameidata nd;
L
Linus Torvalds 已提交
2397 2398

	from = getname(oldname);
2399
	if (IS_ERR(from))
L
Linus Torvalds 已提交
2400 2401
		return PTR_ERR(from);

2402
	error = user_path_parent(newdfd, newname, &nd, &to);
2403
	if (error)
2404 2405
		goto out_putname;

2406 2407 2408 2409 2410
	dentry = lookup_create(&nd, 0);
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
		goto out_unlock;

2411 2412 2413
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto out_dput;
2414 2415 2416
	error = security_path_symlink(&nd.path, dentry, from);
	if (error)
		goto out_drop_write;
2417
	error = vfs_symlink(nd.path.dentry->d_inode, dentry, from);
2418
out_drop_write:
2419 2420
	mnt_drop_write(nd.path.mnt);
out_dput:
2421 2422
	dput(dentry);
out_unlock:
2423
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
J
Jan Blunck 已提交
2424
	path_put(&nd.path);
2425 2426
	putname(to);
out_putname:
L
Linus Torvalds 已提交
2427 2428 2429 2430
	putname(from);
	return error;
}

2431
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
2432 2433 2434 2435
{
	return sys_symlinkat(oldname, AT_FDCWD, newname);
}

L
Linus Torvalds 已提交
2436 2437 2438 2439 2440 2441 2442 2443
int vfs_link(struct dentry *old_dentry, struct inode *dir, struct dentry *new_dentry)
{
	struct inode *inode = old_dentry->d_inode;
	int error;

	if (!inode)
		return -ENOENT;

2444
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455
	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 已提交
2456
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
2457
		return -EPERM;
2458
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
2459 2460 2461 2462 2463 2464
		return -EPERM;

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

2465
	mutex_lock(&inode->i_mutex);
2466
	vfs_dq_init(dir);
L
Linus Torvalds 已提交
2467
	error = dir->i_op->link(old_dentry, dir, new_dentry);
2468
	mutex_unlock(&inode->i_mutex);
2469
	if (!error)
2470
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482
	return error;
}

/*
 * 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
 */
2483 2484
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
L
Linus Torvalds 已提交
2485 2486
{
	struct dentry *new_dentry;
2487 2488
	struct nameidata nd;
	struct path old_path;
L
Linus Torvalds 已提交
2489
	int error;
2490
	char *to;
L
Linus Torvalds 已提交
2491

2492
	if ((flags & ~AT_SYMLINK_FOLLOW) != 0)
2493 2494
		return -EINVAL;

2495 2496 2497
	error = user_path_at(olddfd, oldname,
			     flags & AT_SYMLINK_FOLLOW ? LOOKUP_FOLLOW : 0,
			     &old_path);
L
Linus Torvalds 已提交
2498
	if (error)
2499 2500 2501
		return error;

	error = user_path_parent(newdfd, newname, &nd, &to);
L
Linus Torvalds 已提交
2502 2503 2504
	if (error)
		goto out;
	error = -EXDEV;
2505
	if (old_path.mnt != nd.path.mnt)
L
Linus Torvalds 已提交
2506 2507 2508
		goto out_release;
	new_dentry = lookup_create(&nd, 0);
	error = PTR_ERR(new_dentry);
2509 2510
	if (IS_ERR(new_dentry))
		goto out_unlock;
2511 2512 2513
	error = mnt_want_write(nd.path.mnt);
	if (error)
		goto out_dput;
2514 2515 2516
	error = security_path_link(old_path.dentry, &nd.path, new_dentry);
	if (error)
		goto out_drop_write;
2517
	error = vfs_link(old_path.dentry, nd.path.dentry->d_inode, new_dentry);
2518
out_drop_write:
2519 2520
	mnt_drop_write(nd.path.mnt);
out_dput:
2521 2522
	dput(new_dentry);
out_unlock:
2523
	mutex_unlock(&nd.path.dentry->d_inode->i_mutex);
L
Linus Torvalds 已提交
2524
out_release:
J
Jan Blunck 已提交
2525
	path_put(&nd.path);
2526
	putname(to);
L
Linus Torvalds 已提交
2527
out:
2528
	path_put(&old_path);
L
Linus Torvalds 已提交
2529 2530 2531 2532

	return error;
}

2533
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
2534
{
2535
	return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
2536 2537
}

L
Linus Torvalds 已提交
2538 2539 2540 2541 2542 2543 2544
/*
 * 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:
 *	a) we can get into loop creation. Check is done in is_subdir().
 *	b) race potential - two innocent renames can create a loop together.
 *	   That's where 4.4 screws up. Current fix: serialization on
2545
 *	   sb->s_vfs_rename_mutex. We might be more accurate, but that's another
L
Linus Torvalds 已提交
2546 2547
 *	   story.
 *	c) we have to lock _three_ objects - parents and victim (if it exists).
2548
 *	   And that - after we got ->i_mutex on parents (until then we don't know
L
Linus Torvalds 已提交
2549 2550
 *	   whether the target exists).  Solution: try to be smart with locking
 *	   order for inodes.  We rely on the fact that tree topology may change
2551
 *	   only under ->s_vfs_rename_mutex _and_ that parent of the object we
L
Linus Torvalds 已提交
2552 2553 2554
 *	   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,
2555
 *	   lock child" and rename is under ->s_vfs_rename_mutex.
L
Linus Torvalds 已提交
2556 2557 2558 2559 2560 2561 2562 2563 2564
 *	   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.
 *	d) some filesystems don't support opened-but-unlinked directories,
 *	   either because of layout or because they are not ready to deal with
 *	   all cases correctly. The latter will be fixed (taking this sort of
 *	   stuff into VFS), but the former is not going away. Solution: the same
 *	   trick as in rmdir().
 *	e) conversion from fhandle to dentry may come in the wrong moment - when
2565
 *	   we are removing the target. Solution: we will have to grab ->i_mutex
L
Linus Torvalds 已提交
2566
 *	   in the fhandle_to_dentry code. [FIXME - current nfsfh.c relies on
2567
 *	   ->i_mutex on parents, which works but leads to some truely excessive
L
Linus Torvalds 已提交
2568 2569
 *	   locking].
 */
A
Adrian Bunk 已提交
2570 2571
static int vfs_rename_dir(struct inode *old_dir, struct dentry *old_dentry,
			  struct inode *new_dir, struct dentry *new_dentry)
L
Linus Torvalds 已提交
2572 2573 2574 2575 2576 2577 2578 2579 2580
{
	int error = 0;
	struct inode *target;

	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
	if (new_dir != old_dir) {
2581
		error = inode_permission(old_dentry->d_inode, MAY_WRITE);
L
Linus Torvalds 已提交
2582 2583 2584 2585 2586 2587 2588 2589 2590 2591
		if (error)
			return error;
	}

	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry);
	if (error)
		return error;

	target = new_dentry->d_inode;
	if (target) {
2592
		mutex_lock(&target->i_mutex);
L
Linus Torvalds 已提交
2593 2594 2595 2596 2597 2598 2599 2600 2601
		dentry_unhash(new_dentry);
	}
	if (d_mountpoint(old_dentry)||d_mountpoint(new_dentry))
		error = -EBUSY;
	else 
		error = old_dir->i_op->rename(old_dir, old_dentry, new_dir, new_dentry);
	if (target) {
		if (!error)
			target->i_flags |= S_DEAD;
2602
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
2603 2604 2605 2606
		if (d_unhashed(new_dentry))
			d_rehash(new_dentry);
		dput(new_dentry);
	}
2607
	if (!error)
2608 2609
		if (!(old_dir->i_sb->s_type->fs_flags & FS_RENAME_DOES_D_MOVE))
			d_move(old_dentry,new_dentry);
L
Linus Torvalds 已提交
2610 2611 2612
	return error;
}

A
Adrian Bunk 已提交
2613 2614
static int vfs_rename_other(struct inode *old_dir, struct dentry *old_dentry,
			    struct inode *new_dir, struct dentry *new_dentry)
L
Linus Torvalds 已提交
2615 2616 2617 2618 2619 2620 2621 2622 2623 2624 2625
{
	struct inode *target;
	int error;

	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry);
	if (error)
		return error;

	dget(new_dentry);
	target = new_dentry->d_inode;
	if (target)
2626
		mutex_lock(&target->i_mutex);
L
Linus Torvalds 已提交
2627 2628 2629 2630 2631
	if (d_mountpoint(old_dentry)||d_mountpoint(new_dentry))
		error = -EBUSY;
	else
		error = old_dir->i_op->rename(old_dir, old_dentry, new_dir, new_dentry);
	if (!error) {
2632
		if (!(old_dir->i_sb->s_type->fs_flags & FS_RENAME_DOES_D_MOVE))
L
Linus Torvalds 已提交
2633 2634 2635
			d_move(old_dentry, new_dentry);
	}
	if (target)
2636
		mutex_unlock(&target->i_mutex);
L
Linus Torvalds 已提交
2637 2638 2639 2640 2641 2642 2643 2644 2645
	dput(new_dentry);
	return error;
}

int vfs_rename(struct inode *old_dir, struct dentry *old_dentry,
	       struct inode *new_dir, struct dentry *new_dentry)
{
	int error;
	int is_dir = S_ISDIR(old_dentry->d_inode->i_mode);
R
Robert Love 已提交
2646
	const char *old_name;
L
Linus Torvalds 已提交
2647 2648 2649 2650 2651 2652 2653 2654 2655

	if (old_dentry->d_inode == new_dentry->d_inode)
 		return 0;
 
	error = may_delete(old_dir, old_dentry, is_dir);
	if (error)
		return error;

	if (!new_dentry->d_inode)
2656
		error = may_create(new_dir, new_dentry);
L
Linus Torvalds 已提交
2657 2658 2659 2660 2661
	else
		error = may_delete(new_dir, new_dentry, is_dir);
	if (error)
		return error;

A
Al Viro 已提交
2662
	if (!old_dir->i_op->rename)
L
Linus Torvalds 已提交
2663 2664
		return -EPERM;

2665 2666
	vfs_dq_init(old_dir);
	vfs_dq_init(new_dir);
L
Linus Torvalds 已提交
2667

R
Robert Love 已提交
2668 2669
	old_name = fsnotify_oldname_init(old_dentry->d_name.name);

L
Linus Torvalds 已提交
2670 2671 2672 2673 2674
	if (is_dir)
		error = vfs_rename_dir(old_dir,old_dentry,new_dir,new_dentry);
	else
		error = vfs_rename_other(old_dir,old_dentry,new_dir,new_dentry);
	if (!error) {
R
Robert Love 已提交
2675
		const char *new_name = old_dentry->d_name.name;
2676
		fsnotify_move(old_dir, new_dir, old_name, new_name, is_dir,
2677
			      new_dentry->d_inode, old_dentry);
L
Linus Torvalds 已提交
2678
	}
R
Robert Love 已提交
2679 2680
	fsnotify_oldname_free(old_name);

L
Linus Torvalds 已提交
2681 2682 2683
	return error;
}

2684 2685
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
L
Linus Torvalds 已提交
2686
{
2687 2688 2689
	struct dentry *old_dir, *new_dir;
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
L
Linus Torvalds 已提交
2690
	struct nameidata oldnd, newnd;
2691 2692 2693
	char *from;
	char *to;
	int error;
L
Linus Torvalds 已提交
2694

2695
	error = user_path_parent(olddfd, oldname, &oldnd, &from);
L
Linus Torvalds 已提交
2696 2697 2698
	if (error)
		goto exit;

2699
	error = user_path_parent(newdfd, newname, &newnd, &to);
L
Linus Torvalds 已提交
2700 2701 2702 2703
	if (error)
		goto exit1;

	error = -EXDEV;
2704
	if (oldnd.path.mnt != newnd.path.mnt)
L
Linus Torvalds 已提交
2705 2706
		goto exit2;

2707
	old_dir = oldnd.path.dentry;
L
Linus Torvalds 已提交
2708 2709 2710 2711
	error = -EBUSY;
	if (oldnd.last_type != LAST_NORM)
		goto exit2;

2712
	new_dir = newnd.path.dentry;
L
Linus Torvalds 已提交
2713 2714 2715
	if (newnd.last_type != LAST_NORM)
		goto exit2;

2716 2717
	oldnd.flags &= ~LOOKUP_PARENT;
	newnd.flags &= ~LOOKUP_PARENT;
2718
	newnd.flags |= LOOKUP_RENAME_TARGET;
2719

L
Linus Torvalds 已提交
2720 2721
	trap = lock_rename(new_dir, old_dir);

2722
	old_dentry = lookup_hash(&oldnd);
L
Linus Torvalds 已提交
2723 2724 2725 2726 2727 2728 2729 2730 2731 2732 2733 2734 2735 2736 2737 2738 2739 2740 2741
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
	if (!old_dentry->d_inode)
		goto exit4;
	/* unless the source is a directory trailing slashes give -ENOTDIR */
	if (!S_ISDIR(old_dentry->d_inode->i_mode)) {
		error = -ENOTDIR;
		if (oldnd.last.name[oldnd.last.len])
			goto exit4;
		if (newnd.last.name[newnd.last.len])
			goto exit4;
	}
	/* source should not be ancestor of target */
	error = -EINVAL;
	if (old_dentry == trap)
		goto exit4;
2742
	new_dentry = lookup_hash(&newnd);
L
Linus Torvalds 已提交
2743 2744 2745 2746 2747 2748 2749 2750
	error = PTR_ERR(new_dentry);
	if (IS_ERR(new_dentry))
		goto exit4;
	/* target should not be an ancestor of source */
	error = -ENOTEMPTY;
	if (new_dentry == trap)
		goto exit5;

2751 2752 2753
	error = mnt_want_write(oldnd.path.mnt);
	if (error)
		goto exit5;
2754 2755 2756 2757
	error = security_path_rename(&oldnd.path, old_dentry,
				     &newnd.path, new_dentry);
	if (error)
		goto exit6;
L
Linus Torvalds 已提交
2758 2759
	error = vfs_rename(old_dir->d_inode, old_dentry,
				   new_dir->d_inode, new_dentry);
2760
exit6:
2761
	mnt_drop_write(oldnd.path.mnt);
L
Linus Torvalds 已提交
2762 2763 2764 2765 2766 2767 2768
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
	unlock_rename(new_dir, old_dir);
exit2:
J
Jan Blunck 已提交
2769
	path_put(&newnd.path);
2770
	putname(to);
L
Linus Torvalds 已提交
2771
exit1:
J
Jan Blunck 已提交
2772
	path_put(&oldnd.path);
L
Linus Torvalds 已提交
2773
	putname(from);
2774
exit:
L
Linus Torvalds 已提交
2775 2776 2777
	return error;
}

2778
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
2779 2780 2781 2782
{
	return sys_renameat(AT_FDCWD, oldname, AT_FDCWD, newname);
}

L
Linus Torvalds 已提交
2783 2784 2785 2786 2787 2788 2789 2790 2791 2792 2793 2794 2795 2796 2797 2798 2799 2800 2801 2802 2803 2804 2805 2806 2807
int vfs_readlink(struct dentry *dentry, char __user *buffer, int buflen, const char *link)
{
	int len;

	len = PTR_ERR(link);
	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 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)
{
	struct nameidata nd;
2808
	void *cookie;
2809
	int res;
2810

L
Linus Torvalds 已提交
2811
	nd.depth = 0;
2812
	cookie = dentry->d_inode->i_op->follow_link(dentry, &nd);
2813 2814 2815 2816 2817 2818 2819
	if (IS_ERR(cookie))
		return PTR_ERR(cookie);

	res = vfs_readlink(dentry, buffer, buflen, nd_get_link(&nd));
	if (dentry->d_inode->i_op->put_link)
		dentry->d_inode->i_op->put_link(dentry, &nd, cookie);
	return res;
L
Linus Torvalds 已提交
2820 2821 2822 2823 2824 2825 2826 2827 2828 2829
}

int vfs_follow_link(struct nameidata *nd, const char *link)
{
	return __vfs_follow_link(nd, link);
}

/* get the link contents into pagecache */
static char *page_getlink(struct dentry * dentry, struct page **ppage)
{
2830 2831
	char *kaddr;
	struct page *page;
L
Linus Torvalds 已提交
2832
	struct address_space *mapping = dentry->d_inode->i_mapping;
2833
	page = read_mapping_page(mapping, 0, NULL);
L
Linus Torvalds 已提交
2834
	if (IS_ERR(page))
2835
		return (char*)page;
L
Linus Torvalds 已提交
2836
	*ppage = page;
2837 2838 2839
	kaddr = kmap(page);
	nd_terminate_link(kaddr, dentry->d_inode->i_size, PAGE_SIZE - 1);
	return kaddr;
L
Linus Torvalds 已提交
2840 2841 2842 2843 2844 2845 2846 2847 2848 2849 2850 2851 2852 2853
}

int page_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
	struct page *page = NULL;
	char *s = page_getlink(dentry, &page);
	int res = vfs_readlink(dentry,buffer,buflen,s);
	if (page) {
		kunmap(page);
		page_cache_release(page);
	}
	return res;
}

2854
void *page_follow_link_light(struct dentry *dentry, struct nameidata *nd)
L
Linus Torvalds 已提交
2855
{
2856
	struct page *page = NULL;
L
Linus Torvalds 已提交
2857
	nd_set_link(nd, page_getlink(dentry, &page));
2858
	return page;
L
Linus Torvalds 已提交
2859 2860
}

2861
void page_put_link(struct dentry *dentry, struct nameidata *nd, void *cookie)
L
Linus Torvalds 已提交
2862
{
2863 2864 2865
	struct page *page = cookie;

	if (page) {
L
Linus Torvalds 已提交
2866 2867 2868 2869 2870
		kunmap(page);
		page_cache_release(page);
	}
}

2871 2872 2873 2874
/*
 * 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 已提交
2875 2876
{
	struct address_space *mapping = inode->i_mapping;
2877
	struct page *page;
2878
	void *fsdata;
2879
	int err;
L
Linus Torvalds 已提交
2880
	char *kaddr;
2881 2882 2883
	unsigned int flags = AOP_FLAG_UNINTERRUPTIBLE;
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
2884

2885
retry:
2886
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
2887
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
2888
	if (err)
2889 2890
		goto fail;

L
Linus Torvalds 已提交
2891 2892 2893
	kaddr = kmap_atomic(page, KM_USER0);
	memcpy(kaddr, symname, len-1);
	kunmap_atomic(kaddr, KM_USER0);
2894 2895 2896

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
2897 2898
	if (err < 0)
		goto fail;
2899 2900 2901
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
2902 2903 2904 2905 2906 2907
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}

2908 2909 2910
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
2911
			!(mapping_gfp_mask(inode->i_mapping) & __GFP_FS));
2912 2913
}

2914
const struct inode_operations page_symlink_inode_operations = {
L
Linus Torvalds 已提交
2915 2916 2917 2918 2919
	.readlink	= generic_readlink,
	.follow_link	= page_follow_link_light,
	.put_link	= page_put_link,
};

2920
EXPORT_SYMBOL(user_path_at);
L
Linus Torvalds 已提交
2921 2922 2923 2924 2925 2926 2927 2928 2929
EXPORT_SYMBOL(follow_down);
EXPORT_SYMBOL(follow_up);
EXPORT_SYMBOL(get_write_access); /* binfmt_aout */
EXPORT_SYMBOL(getname);
EXPORT_SYMBOL(lock_rename);
EXPORT_SYMBOL(lookup_one_len);
EXPORT_SYMBOL(page_follow_link_light);
EXPORT_SYMBOL(page_put_link);
EXPORT_SYMBOL(page_readlink);
2930
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
2931 2932 2933
EXPORT_SYMBOL(page_symlink);
EXPORT_SYMBOL(page_symlink_inode_operations);
EXPORT_SYMBOL(path_lookup);
A
Al Viro 已提交
2934
EXPORT_SYMBOL(kern_path);
2935
EXPORT_SYMBOL(vfs_path_lookup);
2936
EXPORT_SYMBOL(inode_permission);
2937
EXPORT_SYMBOL(file_permission);
L
Linus Torvalds 已提交
2938 2939 2940 2941 2942 2943 2944 2945 2946 2947 2948 2949 2950 2951
EXPORT_SYMBOL(unlock_rename);
EXPORT_SYMBOL(vfs_create);
EXPORT_SYMBOL(vfs_follow_link);
EXPORT_SYMBOL(vfs_link);
EXPORT_SYMBOL(vfs_mkdir);
EXPORT_SYMBOL(vfs_mknod);
EXPORT_SYMBOL(generic_permission);
EXPORT_SYMBOL(vfs_readlink);
EXPORT_SYMBOL(vfs_rename);
EXPORT_SYMBOL(vfs_rmdir);
EXPORT_SYMBOL(vfs_symlink);
EXPORT_SYMBOL(vfs_unlink);
EXPORT_SYMBOL(dentry_unhash);
EXPORT_SYMBOL(generic_readlink);