namespace.c 77.3 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10 11
/*
 *  linux/fs/namespace.c
 *
 * (C) Copyright Al Viro 2000, 2001
 *	Released under GPL v2.
 *
 * Based on code from fs/super.c, copyright Linus Torvalds and others.
 * Heavily rewritten.
 */

#include <linux/syscalls.h>
A
Al Viro 已提交
12
#include <linux/export.h>
13
#include <linux/capability.h>
14
#include <linux/mnt_namespace.h>
15
#include <linux/user_namespace.h>
L
Linus Torvalds 已提交
16 17
#include <linux/namei.h>
#include <linux/security.h>
18
#include <linux/idr.h>
19
#include <linux/init.h>		/* init_rootfs */
A
Al Viro 已提交
20 21 22
#include <linux/fs_struct.h>	/* get_fs_root et.al. */
#include <linux/fsnotify.h>	/* fsnotify_vfsmount_delete */
#include <linux/uaccess.h>
23
#include <linux/proc_ns.h>
24
#include <linux/magic.h>
A
Al Viro 已提交
25
#include <linux/bootmem.h>
A
Al Viro 已提交
26
#include <linux/task_work.h>
27
#include "pnode.h"
28
#include "internal.h"
L
Linus Torvalds 已提交
29

A
Al Viro 已提交
30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53
static unsigned int m_hash_mask __read_mostly;
static unsigned int m_hash_shift __read_mostly;
static unsigned int mp_hash_mask __read_mostly;
static unsigned int mp_hash_shift __read_mostly;

static __initdata unsigned long mhash_entries;
static int __init set_mhash_entries(char *str)
{
	if (!str)
		return 0;
	mhash_entries = simple_strtoul(str, &str, 0);
	return 1;
}
__setup("mhash_entries=", set_mhash_entries);

static __initdata unsigned long mphash_entries;
static int __init set_mphash_entries(char *str)
{
	if (!str)
		return 0;
	mphash_entries = simple_strtoul(str, &str, 0);
	return 1;
}
__setup("mphash_entries=", set_mphash_entries);
E
Eric Dumazet 已提交
54

A
Al Viro 已提交
55
static u64 event;
56
static DEFINE_IDA(mnt_id_ida);
57
static DEFINE_IDA(mnt_group_ida);
N
Nick Piggin 已提交
58
static DEFINE_SPINLOCK(mnt_id_lock);
59 60
static int mnt_id_start = 0;
static int mnt_group_start = 1;
L
Linus Torvalds 已提交
61

A
Al Viro 已提交
62
static struct hlist_head *mount_hashtable __read_mostly;
A
Al Viro 已提交
63
static struct hlist_head *mountpoint_hashtable __read_mostly;
64
static struct kmem_cache *mnt_cache __read_mostly;
A
Al Viro 已提交
65
static DECLARE_RWSEM(namespace_sem);
L
Linus Torvalds 已提交
66

M
Miklos Szeredi 已提交
67
/* /sys/fs */
68 69
struct kobject *fs_kobj;
EXPORT_SYMBOL_GPL(fs_kobj);
M
Miklos Szeredi 已提交
70

N
Nick Piggin 已提交
71 72 73 74 75 76 77 78
/*
 * vfsmount lock may be taken for read to prevent changes to the
 * vfsmount hash, ie. during mountpoint lookups or walking back
 * up the tree.
 *
 * It should be taken for write in all cases where the vfsmount
 * tree or hash is modified or when a vfsmount structure is modified.
 */
A
Al Viro 已提交
79
__cacheline_aligned_in_smp DEFINE_SEQLOCK(mount_lock);
N
Nick Piggin 已提交
80

A
Al Viro 已提交
81
static inline struct hlist_head *m_hash(struct vfsmount *mnt, struct dentry *dentry)
L
Linus Torvalds 已提交
82
{
R
Ram Pai 已提交
83 84
	unsigned long tmp = ((unsigned long)mnt / L1_CACHE_BYTES);
	tmp += ((unsigned long)dentry / L1_CACHE_BYTES);
A
Al Viro 已提交
85 86 87 88 89 90 91 92 93
	tmp = tmp + (tmp >> m_hash_shift);
	return &mount_hashtable[tmp & m_hash_mask];
}

static inline struct hlist_head *mp_hash(struct dentry *dentry)
{
	unsigned long tmp = ((unsigned long)dentry / L1_CACHE_BYTES);
	tmp = tmp + (tmp >> mp_hash_shift);
	return &mountpoint_hashtable[tmp & mp_hash_mask];
L
Linus Torvalds 已提交
94 95
}

N
Nick Piggin 已提交
96 97 98 99
/*
 * allocation is serialized by namespace_sem, but we need the spinlock to
 * serialize with freeing.
 */
100
static int mnt_alloc_id(struct mount *mnt)
101 102 103 104 105
{
	int res;

retry:
	ida_pre_get(&mnt_id_ida, GFP_KERNEL);
N
Nick Piggin 已提交
106
	spin_lock(&mnt_id_lock);
A
Al Viro 已提交
107
	res = ida_get_new_above(&mnt_id_ida, mnt_id_start, &mnt->mnt_id);
108
	if (!res)
A
Al Viro 已提交
109
		mnt_id_start = mnt->mnt_id + 1;
N
Nick Piggin 已提交
110
	spin_unlock(&mnt_id_lock);
111 112 113 114 115 116
	if (res == -EAGAIN)
		goto retry;

	return res;
}

117
static void mnt_free_id(struct mount *mnt)
118
{
A
Al Viro 已提交
119
	int id = mnt->mnt_id;
N
Nick Piggin 已提交
120
	spin_lock(&mnt_id_lock);
121 122 123
	ida_remove(&mnt_id_ida, id);
	if (mnt_id_start > id)
		mnt_id_start = id;
N
Nick Piggin 已提交
124
	spin_unlock(&mnt_id_lock);
125 126
}

127 128 129 130 131
/*
 * Allocate a new peer group ID
 *
 * mnt_group_ida is protected by namespace_sem
 */
132
static int mnt_alloc_group_id(struct mount *mnt)
133
{
134 135
	int res;

136 137 138
	if (!ida_pre_get(&mnt_group_ida, GFP_KERNEL))
		return -ENOMEM;

139 140
	res = ida_get_new_above(&mnt_group_ida,
				mnt_group_start,
A
Al Viro 已提交
141
				&mnt->mnt_group_id);
142
	if (!res)
A
Al Viro 已提交
143
		mnt_group_start = mnt->mnt_group_id + 1;
144 145

	return res;
146 147 148 149 150
}

/*
 * Release a peer group ID
 */
151
void mnt_release_group_id(struct mount *mnt)
152
{
A
Al Viro 已提交
153
	int id = mnt->mnt_group_id;
154 155 156
	ida_remove(&mnt_group_ida, id);
	if (mnt_group_start > id)
		mnt_group_start = id;
A
Al Viro 已提交
157
	mnt->mnt_group_id = 0;
158 159
}

N
Nick Piggin 已提交
160 161 162
/*
 * vfsmount lock must be held for read
 */
163
static inline void mnt_add_count(struct mount *mnt, int n)
N
Nick Piggin 已提交
164 165
{
#ifdef CONFIG_SMP
166
	this_cpu_add(mnt->mnt_pcp->mnt_count, n);
N
Nick Piggin 已提交
167 168
#else
	preempt_disable();
169
	mnt->mnt_count += n;
N
Nick Piggin 已提交
170 171 172 173 174 175 176
	preempt_enable();
#endif
}

/*
 * vfsmount lock must be held for write
 */
177
unsigned int mnt_get_count(struct mount *mnt)
N
Nick Piggin 已提交
178 179
{
#ifdef CONFIG_SMP
A
Al Viro 已提交
180
	unsigned int count = 0;
N
Nick Piggin 已提交
181 182 183
	int cpu;

	for_each_possible_cpu(cpu) {
184
		count += per_cpu_ptr(mnt->mnt_pcp, cpu)->mnt_count;
N
Nick Piggin 已提交
185 186 187 188
	}

	return count;
#else
189
	return mnt->mnt_count;
N
Nick Piggin 已提交
190 191 192
#endif
}

193
static struct mount *alloc_vfsmnt(const char *name)
L
Linus Torvalds 已提交
194
{
195 196
	struct mount *mnt = kmem_cache_zalloc(mnt_cache, GFP_KERNEL);
	if (mnt) {
197 198
		int err;

199
		err = mnt_alloc_id(mnt);
200 201 202 203
		if (err)
			goto out_free_cache;

		if (name) {
204 205
			mnt->mnt_devname = kstrdup(name, GFP_KERNEL);
			if (!mnt->mnt_devname)
206
				goto out_free_id;
207 208
		}

N
Nick Piggin 已提交
209
#ifdef CONFIG_SMP
210 211
		mnt->mnt_pcp = alloc_percpu(struct mnt_pcp);
		if (!mnt->mnt_pcp)
N
Nick Piggin 已提交
212 213
			goto out_free_devname;

214
		this_cpu_add(mnt->mnt_pcp->mnt_count, 1);
N
Nick Piggin 已提交
215
#else
216 217
		mnt->mnt_count = 1;
		mnt->mnt_writers = 0;
N
Nick Piggin 已提交
218 219
#endif

A
Al Viro 已提交
220
		INIT_HLIST_NODE(&mnt->mnt_hash);
221 222 223 224 225 226 227
		INIT_LIST_HEAD(&mnt->mnt_child);
		INIT_LIST_HEAD(&mnt->mnt_mounts);
		INIT_LIST_HEAD(&mnt->mnt_list);
		INIT_LIST_HEAD(&mnt->mnt_expire);
		INIT_LIST_HEAD(&mnt->mnt_share);
		INIT_LIST_HEAD(&mnt->mnt_slave_list);
		INIT_LIST_HEAD(&mnt->mnt_slave);
228
		INIT_HLIST_NODE(&mnt->mnt_mp_list);
229 230
#ifdef CONFIG_FSNOTIFY
		INIT_HLIST_HEAD(&mnt->mnt_fsnotify_marks);
N
npiggin@suse.de 已提交
231
#endif
L
Linus Torvalds 已提交
232
	}
233
	return mnt;
234

N
npiggin@suse.de 已提交
235 236
#ifdef CONFIG_SMP
out_free_devname:
237
	kfree(mnt->mnt_devname);
N
npiggin@suse.de 已提交
238
#endif
239
out_free_id:
240
	mnt_free_id(mnt);
241
out_free_cache:
242
	kmem_cache_free(mnt_cache, mnt);
243
	return NULL;
L
Linus Torvalds 已提交
244 245
}

246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266
/*
 * Most r/o checks on a fs are for operations that take
 * discrete amounts of time, like a write() or unlink().
 * We must keep track of when those operations start
 * (for permission checks) and when they end, so that
 * we can determine when writes are able to occur to
 * a filesystem.
 */
/*
 * __mnt_is_readonly: check whether a mount is read-only
 * @mnt: the mount to check for its write status
 *
 * This shouldn't be used directly ouside of the VFS.
 * It does not guarantee that the filesystem will stay
 * r/w, just that it is right *now*.  This can not and
 * should not be used in place of IS_RDONLY(inode).
 * mnt_want/drop_write() will _keep_ the filesystem
 * r/w.
 */
int __mnt_is_readonly(struct vfsmount *mnt)
{
267 268 269 270 271
	if (mnt->mnt_flags & MNT_READONLY)
		return 1;
	if (mnt->mnt_sb->s_flags & MS_RDONLY)
		return 1;
	return 0;
272 273 274
}
EXPORT_SYMBOL_GPL(__mnt_is_readonly);

275
static inline void mnt_inc_writers(struct mount *mnt)
N
npiggin@suse.de 已提交
276 277
{
#ifdef CONFIG_SMP
278
	this_cpu_inc(mnt->mnt_pcp->mnt_writers);
N
npiggin@suse.de 已提交
279
#else
280
	mnt->mnt_writers++;
N
npiggin@suse.de 已提交
281 282
#endif
}
283

284
static inline void mnt_dec_writers(struct mount *mnt)
285
{
N
npiggin@suse.de 已提交
286
#ifdef CONFIG_SMP
287
	this_cpu_dec(mnt->mnt_pcp->mnt_writers);
N
npiggin@suse.de 已提交
288
#else
289
	mnt->mnt_writers--;
N
npiggin@suse.de 已提交
290
#endif
291 292
}

293
static unsigned int mnt_get_writers(struct mount *mnt)
294
{
N
npiggin@suse.de 已提交
295 296
#ifdef CONFIG_SMP
	unsigned int count = 0;
297 298 299
	int cpu;

	for_each_possible_cpu(cpu) {
300
		count += per_cpu_ptr(mnt->mnt_pcp, cpu)->mnt_writers;
301 302
	}

N
npiggin@suse.de 已提交
303 304 305 306
	return count;
#else
	return mnt->mnt_writers;
#endif
307 308
}

309 310 311 312 313 314 315 316 317
static int mnt_is_readonly(struct vfsmount *mnt)
{
	if (mnt->mnt_sb->s_readonly_remount)
		return 1;
	/* Order wrt setting s_flags/s_readonly_remount in do_remount() */
	smp_rmb();
	return __mnt_is_readonly(mnt);
}

318
/*
319 320 321 322
 * Most r/o & frozen checks on a fs are for operations that take discrete
 * amounts of time, like a write() or unlink().  We must keep track of when
 * those operations start (for permission checks) and when they end, so that we
 * can determine when writes are able to occur to a filesystem.
323 324
 */
/**
325
 * __mnt_want_write - get write access to a mount without freeze protection
326
 * @m: the mount on which to take a write
327
 *
328 329 330 331 332
 * This tells the low-level filesystem that a write is about to be performed to
 * it, and makes sure that writes are allowed (mnt it read-write) before
 * returning success. This operation does not protect against filesystem being
 * frozen. When the write operation is finished, __mnt_drop_write() must be
 * called. This is effectively a refcount.
333
 */
334
int __mnt_want_write(struct vfsmount *m)
335
{
336
	struct mount *mnt = real_mount(m);
337 338
	int ret = 0;

N
npiggin@suse.de 已提交
339
	preempt_disable();
340
	mnt_inc_writers(mnt);
N
npiggin@suse.de 已提交
341
	/*
342
	 * The store to mnt_inc_writers must be visible before we pass
N
npiggin@suse.de 已提交
343 344 345 346
	 * MNT_WRITE_HOLD loop below, so that the slowpath can see our
	 * incremented count after it has set MNT_WRITE_HOLD.
	 */
	smp_mb();
347
	while (ACCESS_ONCE(mnt->mnt.mnt_flags) & MNT_WRITE_HOLD)
N
npiggin@suse.de 已提交
348 349 350 351 352 353 354
		cpu_relax();
	/*
	 * After the slowpath clears MNT_WRITE_HOLD, mnt_is_readonly will
	 * be set to match its requirements. So we must not load that until
	 * MNT_WRITE_HOLD is cleared.
	 */
	smp_rmb();
355
	if (mnt_is_readonly(m)) {
356
		mnt_dec_writers(mnt);
357 358
		ret = -EROFS;
	}
N
npiggin@suse.de 已提交
359
	preempt_enable();
360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380

	return ret;
}

/**
 * mnt_want_write - get write access to a mount
 * @m: the mount on which to take a write
 *
 * This tells the low-level filesystem that a write is about to be performed to
 * it, and makes sure that writes are allowed (mount is read-write, filesystem
 * is not frozen) before returning success.  When the write operation is
 * finished, mnt_drop_write() must be called.  This is effectively a refcount.
 */
int mnt_want_write(struct vfsmount *m)
{
	int ret;

	sb_start_write(m->mnt_sb);
	ret = __mnt_want_write(m);
	if (ret)
		sb_end_write(m->mnt_sb);
381
	return ret;
382 383 384
}
EXPORT_SYMBOL_GPL(mnt_want_write);

N
npiggin@suse.de 已提交
385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402
/**
 * mnt_clone_write - get write access to a mount
 * @mnt: the mount on which to take a write
 *
 * This is effectively like mnt_want_write, except
 * it must only be used to take an extra write reference
 * on a mountpoint that we already know has a write reference
 * on it. This allows some optimisation.
 *
 * After finished, mnt_drop_write must be called as usual to
 * drop the reference.
 */
int mnt_clone_write(struct vfsmount *mnt)
{
	/* superblock may be r/o */
	if (__mnt_is_readonly(mnt))
		return -EROFS;
	preempt_disable();
403
	mnt_inc_writers(real_mount(mnt));
N
npiggin@suse.de 已提交
404 405 406 407 408 409
	preempt_enable();
	return 0;
}
EXPORT_SYMBOL_GPL(mnt_clone_write);

/**
410
 * __mnt_want_write_file - get write access to a file's mount
N
npiggin@suse.de 已提交
411 412
 * @file: the file who's mount on which to take a write
 *
413
 * This is like __mnt_want_write, but it takes a file and can
N
npiggin@suse.de 已提交
414 415
 * do some optimisations if the file is open for write already
 */
416
int __mnt_want_write_file(struct file *file)
N
npiggin@suse.de 已提交
417
{
418
	if (!(file->f_mode & FMODE_WRITER))
419
		return __mnt_want_write(file->f_path.mnt);
N
npiggin@suse.de 已提交
420 421 422
	else
		return mnt_clone_write(file->f_path.mnt);
}
423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440

/**
 * mnt_want_write_file - get write access to a file's mount
 * @file: the file who's mount on which to take a write
 *
 * This is like mnt_want_write, but it takes a file and can
 * do some optimisations if the file is open for write already
 */
int mnt_want_write_file(struct file *file)
{
	int ret;

	sb_start_write(file->f_path.mnt->mnt_sb);
	ret = __mnt_want_write_file(file);
	if (ret)
		sb_end_write(file->f_path.mnt->mnt_sb);
	return ret;
}
N
npiggin@suse.de 已提交
441 442
EXPORT_SYMBOL_GPL(mnt_want_write_file);

443
/**
444
 * __mnt_drop_write - give up write access to a mount
445 446 447 448
 * @mnt: the mount on which to give up write access
 *
 * Tells the low-level filesystem that we are done
 * performing writes to it.  Must be matched with
449
 * __mnt_want_write() call above.
450
 */
451
void __mnt_drop_write(struct vfsmount *mnt)
452
{
N
npiggin@suse.de 已提交
453
	preempt_disable();
454
	mnt_dec_writers(real_mount(mnt));
N
npiggin@suse.de 已提交
455
	preempt_enable();
456
}
457 458 459 460 461 462 463 464 465 466 467 468 469 470

/**
 * mnt_drop_write - give up write access to a mount
 * @mnt: the mount on which to give up write access
 *
 * Tells the low-level filesystem that we are done performing writes to it and
 * also allows filesystem to be frozen again.  Must be matched with
 * mnt_want_write() call above.
 */
void mnt_drop_write(struct vfsmount *mnt)
{
	__mnt_drop_write(mnt);
	sb_end_write(mnt->mnt_sb);
}
471 472
EXPORT_SYMBOL_GPL(mnt_drop_write);

473 474 475 476 477
void __mnt_drop_write_file(struct file *file)
{
	__mnt_drop_write(file->f_path.mnt);
}

A
Al Viro 已提交
478 479 480 481 482 483
void mnt_drop_write_file(struct file *file)
{
	mnt_drop_write(file->f_path.mnt);
}
EXPORT_SYMBOL(mnt_drop_write_file);

484
static int mnt_make_readonly(struct mount *mnt)
485
{
486 487
	int ret = 0;

488
	lock_mount_hash();
489
	mnt->mnt.mnt_flags |= MNT_WRITE_HOLD;
490
	/*
N
npiggin@suse.de 已提交
491 492
	 * After storing MNT_WRITE_HOLD, we'll read the counters. This store
	 * should be visible before we do.
493
	 */
N
npiggin@suse.de 已提交
494 495
	smp_mb();

496
	/*
N
npiggin@suse.de 已提交
497 498 499 500 501 502 503 504 505 506 507 508 509 510
	 * With writers on hold, if this value is zero, then there are
	 * definitely no active writers (although held writers may subsequently
	 * increment the count, they'll have to wait, and decrement it after
	 * seeing MNT_READONLY).
	 *
	 * It is OK to have counter incremented on one CPU and decremented on
	 * another: the sum will add up correctly. The danger would be when we
	 * sum up each counter, if we read a counter before it is incremented,
	 * but then read another CPU's count which it has been subsequently
	 * decremented from -- we would see more decrements than we should.
	 * MNT_WRITE_HOLD protects against this scenario, because
	 * mnt_want_write first increments count, then smp_mb, then spins on
	 * MNT_WRITE_HOLD, so it can't be decremented by another CPU while
	 * we're counting up here.
511
	 */
512
	if (mnt_get_writers(mnt) > 0)
N
npiggin@suse.de 已提交
513 514
		ret = -EBUSY;
	else
515
		mnt->mnt.mnt_flags |= MNT_READONLY;
N
npiggin@suse.de 已提交
516 517 518 519 520
	/*
	 * MNT_READONLY must become visible before ~MNT_WRITE_HOLD, so writers
	 * that become unheld will see MNT_READONLY.
	 */
	smp_wmb();
521
	mnt->mnt.mnt_flags &= ~MNT_WRITE_HOLD;
522
	unlock_mount_hash();
523
	return ret;
524 525
}

526
static void __mnt_unmake_readonly(struct mount *mnt)
527
{
528
	lock_mount_hash();
529
	mnt->mnt.mnt_flags &= ~MNT_READONLY;
530
	unlock_mount_hash();
531 532
}

533 534 535 536 537
int sb_prepare_remount_readonly(struct super_block *sb)
{
	struct mount *mnt;
	int err = 0;

538 539 540 541
	/* Racy optimization.  Recheck the counter under MNT_WRITE_HOLD */
	if (atomic_long_read(&sb->s_remove_count))
		return -EBUSY;

542
	lock_mount_hash();
543 544 545 546 547 548 549 550 551 552
	list_for_each_entry(mnt, &sb->s_mounts, mnt_instance) {
		if (!(mnt->mnt.mnt_flags & MNT_READONLY)) {
			mnt->mnt.mnt_flags |= MNT_WRITE_HOLD;
			smp_mb();
			if (mnt_get_writers(mnt) > 0) {
				err = -EBUSY;
				break;
			}
		}
	}
553 554 555
	if (!err && atomic_long_read(&sb->s_remove_count))
		err = -EBUSY;

556 557 558 559 560 561 562 563
	if (!err) {
		sb->s_readonly_remount = 1;
		smp_wmb();
	}
	list_for_each_entry(mnt, &sb->s_mounts, mnt_instance) {
		if (mnt->mnt.mnt_flags & MNT_WRITE_HOLD)
			mnt->mnt.mnt_flags &= ~MNT_WRITE_HOLD;
	}
564
	unlock_mount_hash();
565 566 567 568

	return err;
}

569
static void free_vfsmnt(struct mount *mnt)
L
Linus Torvalds 已提交
570
{
A
Al Viro 已提交
571
	kfree(mnt->mnt_devname);
N
npiggin@suse.de 已提交
572
#ifdef CONFIG_SMP
573
	free_percpu(mnt->mnt_pcp);
N
npiggin@suse.de 已提交
574
#endif
575
	kmem_cache_free(mnt_cache, mnt);
L
Linus Torvalds 已提交
576 577
}

578 579 580 581 582
static void delayed_free_vfsmnt(struct rcu_head *head)
{
	free_vfsmnt(container_of(head, struct mount, mnt_rcu));
}

A
Al Viro 已提交
583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604
/* call under rcu_read_lock */
bool legitimize_mnt(struct vfsmount *bastard, unsigned seq)
{
	struct mount *mnt;
	if (read_seqretry(&mount_lock, seq))
		return false;
	if (bastard == NULL)
		return true;
	mnt = real_mount(bastard);
	mnt_add_count(mnt, 1);
	if (likely(!read_seqretry(&mount_lock, seq)))
		return true;
	if (bastard->mnt_flags & MNT_SYNC_UMOUNT) {
		mnt_add_count(mnt, -1);
		return false;
	}
	rcu_read_unlock();
	mntput(bastard);
	rcu_read_lock();
	return false;
}

L
Linus Torvalds 已提交
605
/*
A
Al Viro 已提交
606
 * find the first mount at @dentry on vfsmount @mnt.
A
Al Viro 已提交
607
 * call under rcu_read_lock()
L
Linus Torvalds 已提交
608
 */
A
Al Viro 已提交
609
struct mount *__lookup_mnt(struct vfsmount *mnt, struct dentry *dentry)
L
Linus Torvalds 已提交
610
{
A
Al Viro 已提交
611
	struct hlist_head *head = m_hash(mnt, dentry);
A
Al Viro 已提交
612 613
	struct mount *p;

A
Al Viro 已提交
614
	hlist_for_each_entry_rcu(p, head, mnt_hash)
A
Al Viro 已提交
615 616 617 618 619 620 621
		if (&p->mnt_parent->mnt == mnt && p->mnt_mountpoint == dentry)
			return p;
	return NULL;
}

/*
 * find the last mount at @dentry on vfsmount @mnt.
A
Al Viro 已提交
622
 * mount_lock must be held.
A
Al Viro 已提交
623 624 625
 */
struct mount *__lookup_mnt_last(struct vfsmount *mnt, struct dentry *dentry)
{
A
Al Viro 已提交
626 627 628 629 630
	struct mount *p, *res;
	res = p = __lookup_mnt(mnt, dentry);
	if (!p)
		goto out;
	hlist_for_each_entry_continue(p, mnt_hash) {
A
Al Viro 已提交
631 632 633 634
		if (&p->mnt_parent->mnt != mnt || p->mnt_mountpoint != dentry)
			break;
		res = p;
	}
A
Al Viro 已提交
635
out:
A
Al Viro 已提交
636
	return res;
L
Linus Torvalds 已提交
637 638
}

R
Ram Pai 已提交
639
/*
640 641 642 643 644 645 646 647 648 649 650 651 652 653
 * lookup_mnt - Return the first child mount mounted at path
 *
 * "First" means first mounted chronologically.  If you create the
 * following mounts:
 *
 * mount /dev/sda1 /mnt
 * mount /dev/sda2 /mnt
 * mount /dev/sda3 /mnt
 *
 * Then lookup_mnt() on the base /mnt dentry in the root mount will
 * return successively the root dentry and vfsmount of /dev/sda1, then
 * /dev/sda2, then /dev/sda3, then NULL.
 *
 * lookup_mnt takes a reference to the found vfsmount.
R
Ram Pai 已提交
654
 */
A
Al Viro 已提交
655
struct vfsmount *lookup_mnt(struct path *path)
R
Ram Pai 已提交
656
{
657
	struct mount *child_mnt;
A
Al Viro 已提交
658 659
	struct vfsmount *m;
	unsigned seq;
N
Nick Piggin 已提交
660

A
Al Viro 已提交
661 662 663 664 665 666 667 668
	rcu_read_lock();
	do {
		seq = read_seqbegin(&mount_lock);
		child_mnt = __lookup_mnt(path->mnt, path->dentry);
		m = child_mnt ? &child_mnt->mnt : NULL;
	} while (!legitimize_mnt(m, seq));
	rcu_read_unlock();
	return m;
R
Ram Pai 已提交
669 670
}

671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705
/*
 * __is_local_mountpoint - Test to see if dentry is a mountpoint in the
 *                         current mount namespace.
 *
 * The common case is dentries are not mountpoints at all and that
 * test is handled inline.  For the slow case when we are actually
 * dealing with a mountpoint of some kind, walk through all of the
 * mounts in the current mount namespace and test to see if the dentry
 * is a mountpoint.
 *
 * The mount_hashtable is not usable in the context because we
 * need to identify all mounts that may be in the current mount
 * namespace not just a mount that happens to have some specified
 * parent mount.
 */
bool __is_local_mountpoint(struct dentry *dentry)
{
	struct mnt_namespace *ns = current->nsproxy->mnt_ns;
	struct mount *mnt;
	bool is_covered = false;

	if (!d_mountpoint(dentry))
		goto out;

	down_read(&namespace_sem);
	list_for_each_entry(mnt, &ns->list, mnt_list) {
		is_covered = (mnt->mnt_mountpoint == dentry);
		if (is_covered)
			break;
	}
	up_read(&namespace_sem);
out:
	return is_covered;
}

706
static struct mountpoint *lookup_mountpoint(struct dentry *dentry)
707
{
A
Al Viro 已提交
708
	struct hlist_head *chain = mp_hash(dentry);
709 710
	struct mountpoint *mp;

A
Al Viro 已提交
711
	hlist_for_each_entry(mp, chain, m_hash) {
712 713 714 715 716 717 718 719
		if (mp->m_dentry == dentry) {
			/* might be worth a WARN_ON() */
			if (d_unlinked(dentry))
				return ERR_PTR(-ENOENT);
			mp->m_count++;
			return mp;
		}
	}
720 721 722 723 724 725 726 727
	return NULL;
}

static struct mountpoint *new_mountpoint(struct dentry *dentry)
{
	struct hlist_head *chain = mp_hash(dentry);
	struct mountpoint *mp;
	int ret;
728 729 730 731 732

	mp = kmalloc(sizeof(struct mountpoint), GFP_KERNEL);
	if (!mp)
		return ERR_PTR(-ENOMEM);

733 734
	ret = d_set_mounted(dentry);
	if (ret) {
735
		kfree(mp);
736
		return ERR_PTR(ret);
737
	}
738

739 740
	mp->m_dentry = dentry;
	mp->m_count = 1;
A
Al Viro 已提交
741
	hlist_add_head(&mp->m_hash, chain);
742
	INIT_HLIST_HEAD(&mp->m_list);
743 744 745 746 747 748 749
	return mp;
}

static void put_mountpoint(struct mountpoint *mp)
{
	if (!--mp->m_count) {
		struct dentry *dentry = mp->m_dentry;
750
		BUG_ON(!hlist_empty(&mp->m_list));
751 752 753
		spin_lock(&dentry->d_lock);
		dentry->d_flags &= ~DCACHE_MOUNTED;
		spin_unlock(&dentry->d_lock);
A
Al Viro 已提交
754
		hlist_del(&mp->m_hash);
755 756 757 758
		kfree(mp);
	}
}

A
Al Viro 已提交
759
static inline int check_mnt(struct mount *mnt)
L
Linus Torvalds 已提交
760
{
761
	return mnt->mnt_ns == current->nsproxy->mnt_ns;
L
Linus Torvalds 已提交
762 763
}

N
Nick Piggin 已提交
764 765 766
/*
 * vfsmount lock must be held for write
 */
767
static void touch_mnt_namespace(struct mnt_namespace *ns)
A
Al Viro 已提交
768 769 770 771 772 773 774
{
	if (ns) {
		ns->event = ++event;
		wake_up_interruptible(&ns->poll);
	}
}

N
Nick Piggin 已提交
775 776 777
/*
 * vfsmount lock must be held for write
 */
778
static void __touch_mnt_namespace(struct mnt_namespace *ns)
A
Al Viro 已提交
779 780 781 782 783 784 785
{
	if (ns && ns->event != event) {
		ns->event = event;
		wake_up_interruptible(&ns->poll);
	}
}

N
Nick Piggin 已提交
786 787 788
/*
 * vfsmount lock must be held for write
 */
789 790
static void detach_mnt(struct mount *mnt, struct path *old_path)
{
791
	old_path->dentry = mnt->mnt_mountpoint;
792 793
	old_path->mnt = &mnt->mnt_parent->mnt;
	mnt->mnt_parent = mnt;
794
	mnt->mnt_mountpoint = mnt->mnt.mnt_root;
795
	list_del_init(&mnt->mnt_child);
A
Al Viro 已提交
796
	hlist_del_init_rcu(&mnt->mnt_hash);
797
	hlist_del_init(&mnt->mnt_mp_list);
798 799
	put_mountpoint(mnt->mnt_mp);
	mnt->mnt_mp = NULL;
L
Linus Torvalds 已提交
800 801
}

N
Nick Piggin 已提交
802 803 804
/*
 * vfsmount lock must be held for write
 */
805 806
void mnt_set_mountpoint(struct mount *mnt,
			struct mountpoint *mp,
807
			struct mount *child_mnt)
808
{
809
	mp->m_count++;
810
	mnt_add_count(mnt, 1);	/* essentially, that's mntget */
811
	child_mnt->mnt_mountpoint = dget(mp->m_dentry);
812
	child_mnt->mnt_parent = mnt;
813
	child_mnt->mnt_mp = mp;
814
	hlist_add_head(&child_mnt->mnt_mp_list, &mp->m_list);
815 816
}

N
Nick Piggin 已提交
817 818 819
/*
 * vfsmount lock must be held for write
 */
820 821 822
static void attach_mnt(struct mount *mnt,
			struct mount *parent,
			struct mountpoint *mp)
L
Linus Torvalds 已提交
823
{
824
	mnt_set_mountpoint(parent, mp, mnt);
A
Al Viro 已提交
825
	hlist_add_head_rcu(&mnt->mnt_hash, m_hash(&parent->mnt, mp->m_dentry));
826
	list_add_tail(&mnt->mnt_child, &parent->mnt_mounts);
827 828
}

A
Al Viro 已提交
829 830 831 832 833
static void attach_shadowed(struct mount *mnt,
			struct mount *parent,
			struct mount *shadows)
{
	if (shadows) {
834
		hlist_add_behind_rcu(&mnt->mnt_hash, &shadows->mnt_hash);
A
Al Viro 已提交
835 836 837 838 839 840 841 842
		list_add(&mnt->mnt_child, &shadows->mnt_child);
	} else {
		hlist_add_head_rcu(&mnt->mnt_hash,
				m_hash(&parent->mnt, mnt->mnt_mountpoint));
		list_add_tail(&mnt->mnt_child, &parent->mnt_mounts);
	}
}

843
/*
N
Nick Piggin 已提交
844
 * vfsmount lock must be held for write
845
 */
A
Al Viro 已提交
846
static void commit_tree(struct mount *mnt, struct mount *shadows)
847
{
848
	struct mount *parent = mnt->mnt_parent;
849
	struct mount *m;
850
	LIST_HEAD(head);
A
Al Viro 已提交
851
	struct mnt_namespace *n = parent->mnt_ns;
852

853
	BUG_ON(parent == mnt);
854

A
Al Viro 已提交
855
	list_add_tail(&head, &mnt->mnt_list);
A
Al Viro 已提交
856
	list_for_each_entry(m, &head, mnt_list)
A
Al Viro 已提交
857
		m->mnt_ns = n;
A
Al Viro 已提交
858

859 860
	list_splice(&head, n->list.prev);

A
Al Viro 已提交
861
	attach_shadowed(mnt, parent, shadows);
862
	touch_mnt_namespace(n);
L
Linus Torvalds 已提交
863 864
}

865
static struct mount *next_mnt(struct mount *p, struct mount *root)
L
Linus Torvalds 已提交
866
{
867 868
	struct list_head *next = p->mnt_mounts.next;
	if (next == &p->mnt_mounts) {
L
Linus Torvalds 已提交
869
		while (1) {
870
			if (p == root)
L
Linus Torvalds 已提交
871
				return NULL;
872 873
			next = p->mnt_child.next;
			if (next != &p->mnt_parent->mnt_mounts)
L
Linus Torvalds 已提交
874
				break;
875
			p = p->mnt_parent;
L
Linus Torvalds 已提交
876 877
		}
	}
878
	return list_entry(next, struct mount, mnt_child);
L
Linus Torvalds 已提交
879 880
}

881
static struct mount *skip_mnt_tree(struct mount *p)
R
Ram Pai 已提交
882
{
883 884 885 886
	struct list_head *prev = p->mnt_mounts.prev;
	while (prev != &p->mnt_mounts) {
		p = list_entry(prev, struct mount, mnt_child);
		prev = p->mnt_mounts.prev;
R
Ram Pai 已提交
887 888 889 890
	}
	return p;
}

891 892 893
struct vfsmount *
vfs_kern_mount(struct file_system_type *type, int flags, const char *name, void *data)
{
894
	struct mount *mnt;
895 896 897 898 899 900 901 902 903 904
	struct dentry *root;

	if (!type)
		return ERR_PTR(-ENODEV);

	mnt = alloc_vfsmnt(name);
	if (!mnt)
		return ERR_PTR(-ENOMEM);

	if (flags & MS_KERNMOUNT)
905
		mnt->mnt.mnt_flags = MNT_INTERNAL;
906 907 908

	root = mount_fs(type, flags, name, data);
	if (IS_ERR(root)) {
909
		mnt_free_id(mnt);
910 911 912 913
		free_vfsmnt(mnt);
		return ERR_CAST(root);
	}

914 915
	mnt->mnt.mnt_root = root;
	mnt->mnt.mnt_sb = root->d_sb;
916
	mnt->mnt_mountpoint = mnt->mnt.mnt_root;
917
	mnt->mnt_parent = mnt;
918
	lock_mount_hash();
919
	list_add_tail(&mnt->mnt_instance, &root->d_sb->s_mounts);
920
	unlock_mount_hash();
921
	return &mnt->mnt;
922 923 924
}
EXPORT_SYMBOL_GPL(vfs_kern_mount);

925
static struct mount *clone_mnt(struct mount *old, struct dentry *root,
R
Ram Pai 已提交
926
					int flag)
L
Linus Torvalds 已提交
927
{
928
	struct super_block *sb = old->mnt.mnt_sb;
929 930
	struct mount *mnt;
	int err;
L
Linus Torvalds 已提交
931

932 933 934
	mnt = alloc_vfsmnt(old->mnt_devname);
	if (!mnt)
		return ERR_PTR(-ENOMEM);
935

936
	if (flag & (CL_SLAVE | CL_PRIVATE | CL_SHARED_TO_SLAVE))
937 938 939
		mnt->mnt_group_id = 0; /* not a peer of original */
	else
		mnt->mnt_group_id = old->mnt_group_id;
940

941 942 943 944
	if ((flag & CL_MAKE_SHARED) && !mnt->mnt_group_id) {
		err = mnt_alloc_group_id(mnt);
		if (err)
			goto out_free;
L
Linus Torvalds 已提交
945
	}
946

A
Al Viro 已提交
947
	mnt->mnt.mnt_flags = old->mnt.mnt_flags & ~(MNT_WRITE_HOLD|MNT_MARKED);
948
	/* Don't allow unprivileged users to change mount flags */
949 950 951 952 953 954 955 956 957 958 959 960 961 962 963
	if (flag & CL_UNPRIVILEGED) {
		mnt->mnt.mnt_flags |= MNT_LOCK_ATIME;

		if (mnt->mnt.mnt_flags & MNT_READONLY)
			mnt->mnt.mnt_flags |= MNT_LOCK_READONLY;

		if (mnt->mnt.mnt_flags & MNT_NODEV)
			mnt->mnt.mnt_flags |= MNT_LOCK_NODEV;

		if (mnt->mnt.mnt_flags & MNT_NOSUID)
			mnt->mnt.mnt_flags |= MNT_LOCK_NOSUID;

		if (mnt->mnt.mnt_flags & MNT_NOEXEC)
			mnt->mnt.mnt_flags |= MNT_LOCK_NOEXEC;
	}
964

965 966 967 968
	/* Don't allow unprivileged users to reveal what is under a mount */
	if ((flag & CL_UNPRIVILEGED) && list_empty(&old->mnt_expire))
		mnt->mnt.mnt_flags |= MNT_LOCKED;

969 970 971 972 973
	atomic_inc(&sb->s_active);
	mnt->mnt.mnt_sb = sb;
	mnt->mnt.mnt_root = dget(root);
	mnt->mnt_mountpoint = mnt->mnt.mnt_root;
	mnt->mnt_parent = mnt;
974
	lock_mount_hash();
975
	list_add_tail(&mnt->mnt_instance, &sb->s_mounts);
976
	unlock_mount_hash();
977

978 979
	if ((flag & CL_SLAVE) ||
	    ((flag & CL_SHARED_TO_SLAVE) && IS_MNT_SHARED(old))) {
980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999
		list_add(&mnt->mnt_slave, &old->mnt_slave_list);
		mnt->mnt_master = old;
		CLEAR_MNT_SHARED(mnt);
	} else if (!(flag & CL_PRIVATE)) {
		if ((flag & CL_MAKE_SHARED) || IS_MNT_SHARED(old))
			list_add(&mnt->mnt_share, &old->mnt_share);
		if (IS_MNT_SLAVE(old))
			list_add(&mnt->mnt_slave, &old->mnt_slave);
		mnt->mnt_master = old->mnt_master;
	}
	if (flag & CL_MAKE_SHARED)
		set_mnt_shared(mnt);

	/* stick the duplicate mount on the same expiry list
	 * as the original if that was on one */
	if (flag & CL_EXPIRE) {
		if (!list_empty(&old->mnt_expire))
			list_add(&mnt->mnt_expire, &old->mnt_expire);
	}

1000
	return mnt;
1001 1002

 out_free:
1003
	mnt_free_id(mnt);
1004
	free_vfsmnt(mnt);
1005
	return ERR_PTR(err);
L
Linus Torvalds 已提交
1006 1007
}

A
Al Viro 已提交
1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047
static void cleanup_mnt(struct mount *mnt)
{
	/*
	 * This probably indicates that somebody messed
	 * up a mnt_want/drop_write() pair.  If this
	 * happens, the filesystem was probably unable
	 * to make r/w->r/o transitions.
	 */
	/*
	 * The locking used to deal with mnt_count decrement provides barriers,
	 * so mnt_get_writers() below is safe.
	 */
	WARN_ON(mnt_get_writers(mnt));
	if (unlikely(mnt->mnt_pins.first))
		mnt_pin_kill(mnt);
	fsnotify_vfsmount_delete(&mnt->mnt);
	dput(mnt->mnt.mnt_root);
	deactivate_super(mnt->mnt.mnt_sb);
	mnt_free_id(mnt);
	call_rcu(&mnt->mnt_rcu, delayed_free_vfsmnt);
}

static void __cleanup_mnt(struct rcu_head *head)
{
	cleanup_mnt(container_of(head, struct mount, mnt_rcu));
}

static LLIST_HEAD(delayed_mntput_list);
static void delayed_mntput(struct work_struct *unused)
{
	struct llist_node *node = llist_del_all(&delayed_mntput_list);
	struct llist_node *next;

	for (; node; node = next) {
		next = llist_next(node);
		cleanup_mnt(llist_entry(node, struct mount, mnt_llist));
	}
}
static DECLARE_DELAYED_WORK(delayed_mntput_work, delayed_mntput);

1048
static void mntput_no_expire(struct mount *mnt)
N
Nick Piggin 已提交
1049
{
A
Al Viro 已提交
1050 1051 1052 1053
	rcu_read_lock();
	mnt_add_count(mnt, -1);
	if (likely(mnt->mnt_ns)) { /* shouldn't be the last one */
		rcu_read_unlock();
A
Al Viro 已提交
1054
		return;
N
Nick Piggin 已提交
1055
	}
1056
	lock_mount_hash();
N
Nick Piggin 已提交
1057
	if (mnt_get_count(mnt)) {
A
Al Viro 已提交
1058
		rcu_read_unlock();
1059
		unlock_mount_hash();
N
Nick Piggin 已提交
1060 1061
		return;
	}
A
Al Viro 已提交
1062 1063 1064 1065 1066 1067 1068
	if (unlikely(mnt->mnt.mnt_flags & MNT_DOOMED)) {
		rcu_read_unlock();
		unlock_mount_hash();
		return;
	}
	mnt->mnt.mnt_flags |= MNT_DOOMED;
	rcu_read_unlock();
A
Andi Kleen 已提交
1069

1070
	list_del(&mnt->mnt_instance);
1071
	unlock_mount_hash();
A
Al Viro 已提交
1072

A
Al Viro 已提交
1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084
	if (likely(!(mnt->mnt.mnt_flags & MNT_INTERNAL))) {
		struct task_struct *task = current;
		if (likely(!(task->flags & PF_KTHREAD))) {
			init_task_work(&mnt->mnt_rcu, __cleanup_mnt);
			if (!task_work_add(task, &mnt->mnt_rcu, true))
				return;
		}
		if (llist_add(&mnt->mnt_llist, &delayed_mntput_list))
			schedule_delayed_work(&delayed_mntput_work, 1);
		return;
	}
	cleanup_mnt(mnt);
N
Nick Piggin 已提交
1085 1086 1087 1088 1089
}

void mntput(struct vfsmount *mnt)
{
	if (mnt) {
1090
		struct mount *m = real_mount(mnt);
N
Nick Piggin 已提交
1091
		/* avoid cacheline pingpong, hope gcc doesn't get "smart" */
1092 1093 1094
		if (unlikely(m->mnt_expiry_mark))
			m->mnt_expiry_mark = 0;
		mntput_no_expire(m);
N
Nick Piggin 已提交
1095 1096 1097 1098 1099 1100 1101
	}
}
EXPORT_SYMBOL(mntput);

struct vfsmount *mntget(struct vfsmount *mnt)
{
	if (mnt)
1102
		mnt_add_count(real_mount(mnt), 1);
N
Nick Piggin 已提交
1103 1104 1105 1106
	return mnt;
}
EXPORT_SYMBOL(mntget);

A
Al Viro 已提交
1107
struct vfsmount *mnt_clone_internal(struct path *path)
1108
{
A
Al Viro 已提交
1109 1110 1111 1112 1113 1114
	struct mount *p;
	p = clone_mnt(real_mount(path->mnt), path->dentry, CL_PRIVATE);
	if (IS_ERR(p))
		return ERR_CAST(p);
	p->mnt.mnt_flags |= MNT_INTERNAL;
	return &p->mnt;
1115
}
L
Linus Torvalds 已提交
1116

1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127
static inline void mangle(struct seq_file *m, const char *s)
{
	seq_escape(m, s, " \t\n\\");
}

/*
 * Simple .show_options callback for filesystems which don't want to
 * implement more complex mount option showing.
 *
 * See also save_mount_options().
 */
1128
int generic_show_options(struct seq_file *m, struct dentry *root)
1129
{
1130 1131 1132
	const char *options;

	rcu_read_lock();
1133
	options = rcu_dereference(root->d_sb->s_options);
1134 1135 1136 1137 1138

	if (options != NULL && options[0]) {
		seq_putc(m, ',');
		mangle(m, options);
	}
1139
	rcu_read_unlock();
1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159

	return 0;
}
EXPORT_SYMBOL(generic_show_options);

/*
 * If filesystem uses generic_show_options(), this function should be
 * called from the fill_super() callback.
 *
 * The .remount_fs callback usually needs to be handled in a special
 * way, to make sure, that previous options are not overwritten if the
 * remount fails.
 *
 * Also note, that if the filesystem's .remount_fs function doesn't
 * reset all options to their default value, but changes only newly
 * given options, then the displayed options will not reflect reality
 * any more.
 */
void save_mount_options(struct super_block *sb, char *options)
{
1160 1161
	BUG_ON(sb->s_options);
	rcu_assign_pointer(sb->s_options, kstrdup(options, GFP_KERNEL));
1162 1163 1164
}
EXPORT_SYMBOL(save_mount_options);

1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175
void replace_mount_options(struct super_block *sb, char *options)
{
	char *old = sb->s_options;
	rcu_assign_pointer(sb->s_options, options);
	if (old) {
		synchronize_rcu();
		kfree(old);
	}
}
EXPORT_SYMBOL(replace_mount_options);

1176
#ifdef CONFIG_PROC_FS
1177
/* iterator; we want it to have access to namespace_sem, thus here... */
L
Linus Torvalds 已提交
1178 1179
static void *m_start(struct seq_file *m, loff_t *pos)
{
A
Al Viro 已提交
1180
	struct proc_mounts *p = proc_mounts(m);
L
Linus Torvalds 已提交
1181

R
Ram Pai 已提交
1182
	down_read(&namespace_sem);
A
Al Viro 已提交
1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196
	if (p->cached_event == p->ns->event) {
		void *v = p->cached_mount;
		if (*pos == p->cached_index)
			return v;
		if (*pos == p->cached_index + 1) {
			v = seq_list_next(v, &p->ns->list, &p->cached_index);
			return p->cached_mount = v;
		}
	}

	p->cached_event = p->ns->event;
	p->cached_mount = seq_list_start(&p->ns->list, *pos);
	p->cached_index = *pos;
	return p->cached_mount;
L
Linus Torvalds 已提交
1197 1198 1199 1200
}

static void *m_next(struct seq_file *m, void *v, loff_t *pos)
{
A
Al Viro 已提交
1201
	struct proc_mounts *p = proc_mounts(m);
1202

A
Al Viro 已提交
1203 1204 1205
	p->cached_mount = seq_list_next(v, &p->ns->list, pos);
	p->cached_index = *pos;
	return p->cached_mount;
L
Linus Torvalds 已提交
1206 1207 1208 1209
}

static void m_stop(struct seq_file *m, void *v)
{
R
Ram Pai 已提交
1210
	up_read(&namespace_sem);
L
Linus Torvalds 已提交
1211 1212
}

1213
static int m_show(struct seq_file *m, void *v)
1214
{
A
Al Viro 已提交
1215
	struct proc_mounts *p = proc_mounts(m);
A
Al Viro 已提交
1216
	struct mount *r = list_entry(v, struct mount, mnt_list);
1217
	return p->show(m, &r->mnt);
L
Linus Torvalds 已提交
1218 1219
}

1220
const struct seq_operations mounts_op = {
L
Linus Torvalds 已提交
1221 1222 1223
	.start	= m_start,
	.next	= m_next,
	.stop	= m_stop,
1224
	.show	= m_show,
1225
};
1226
#endif  /* CONFIG_PROC_FS */
1227

L
Linus Torvalds 已提交
1228 1229 1230 1231 1232 1233 1234 1235
/**
 * may_umount_tree - check if a mount tree is busy
 * @mnt: root of mount tree
 *
 * This is called to check if a tree of mounts has any
 * open files, pwds, chroots or sub mounts that are
 * busy.
 */
1236
int may_umount_tree(struct vfsmount *m)
L
Linus Torvalds 已提交
1237
{
1238
	struct mount *mnt = real_mount(m);
R
Ram Pai 已提交
1239 1240
	int actual_refs = 0;
	int minimum_refs = 0;
1241
	struct mount *p;
1242
	BUG_ON(!m);
L
Linus Torvalds 已提交
1243

N
Nick Piggin 已提交
1244
	/* write lock needed for mnt_get_count */
1245
	lock_mount_hash();
1246
	for (p = mnt; p; p = next_mnt(p, mnt)) {
1247
		actual_refs += mnt_get_count(p);
L
Linus Torvalds 已提交
1248 1249
		minimum_refs += 2;
	}
1250
	unlock_mount_hash();
L
Linus Torvalds 已提交
1251 1252

	if (actual_refs > minimum_refs)
1253
		return 0;
L
Linus Torvalds 已提交
1254

1255
	return 1;
L
Linus Torvalds 已提交
1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274
}

EXPORT_SYMBOL(may_umount_tree);

/**
 * may_umount - check if a mount point is busy
 * @mnt: root of mount
 *
 * This is called to check if a mount point has any
 * open files, pwds, chroots or sub mounts. If the
 * mount has sub mounts this will return busy
 * regardless of whether the sub mounts are busy.
 *
 * Doesn't take quota and stuff into account. IOW, in some cases it will
 * give false negatives. The main reason why it's here is that we need
 * a non-destructive way to look for easily umountable filesystems.
 */
int may_umount(struct vfsmount *mnt)
{
1275
	int ret = 1;
A
Al Viro 已提交
1276
	down_read(&namespace_sem);
1277
	lock_mount_hash();
1278
	if (propagate_mount_busy(real_mount(mnt), 2))
1279
		ret = 0;
1280
	unlock_mount_hash();
A
Al Viro 已提交
1281
	up_read(&namespace_sem);
R
Ram Pai 已提交
1282
	return ret;
L
Linus Torvalds 已提交
1283 1284 1285 1286
}

EXPORT_SYMBOL(may_umount);

A
Al Viro 已提交
1287
static HLIST_HEAD(unmounted);	/* protected by namespace_sem */
1288

1289
static void namespace_unlock(void)
R
Ram Pai 已提交
1290
{
1291
	struct mount *mnt;
A
Al Viro 已提交
1292
	struct hlist_head head = unmounted;
1293

A
Al Viro 已提交
1294
	if (likely(hlist_empty(&head))) {
1295 1296 1297 1298
		up_write(&namespace_sem);
		return;
	}

A
Al Viro 已提交
1299 1300 1301
	head.first->pprev = &head.first;
	INIT_HLIST_HEAD(&unmounted);

1302 1303 1304 1305 1306
	/* undo decrements we'd done in umount_tree() */
	hlist_for_each_entry(mnt, &head, mnt_hash)
		if (mnt->mnt_ex_mountpoint.mnt)
			mntget(mnt->mnt_ex_mountpoint.mnt);

1307 1308
	up_write(&namespace_sem);

A
Al Viro 已提交
1309 1310
	synchronize_rcu();

A
Al Viro 已提交
1311 1312 1313
	while (!hlist_empty(&head)) {
		mnt = hlist_entry(head.first, struct mount, mnt_hash);
		hlist_del_init(&mnt->mnt_hash);
A
Al Viro 已提交
1314 1315
		if (mnt->mnt_ex_mountpoint.mnt)
			path_put(&mnt->mnt_ex_mountpoint);
1316
		mntput(&mnt->mnt);
R
Ram Pai 已提交
1317 1318 1319
	}
}

1320
static inline void namespace_lock(void)
1321
{
1322
	down_write(&namespace_sem);
1323 1324
}

N
Nick Piggin 已提交
1325
/*
A
Al Viro 已提交
1326
 * mount_lock must be held
N
Nick Piggin 已提交
1327
 * namespace_sem must be held for write
A
Al Viro 已提交
1328 1329 1330
 * how = 0 => just this tree, don't propagate
 * how = 1 => propagate; we know that nobody else has reference to any victims
 * how = 2 => lazy umount
N
Nick Piggin 已提交
1331
 */
A
Al Viro 已提交
1332
void umount_tree(struct mount *mnt, int how)
L
Linus Torvalds 已提交
1333
{
A
Al Viro 已提交
1334
	HLIST_HEAD(tmp_list);
1335
	struct mount *p;
A
Al Viro 已提交
1336
	struct mount *last = NULL;
L
Linus Torvalds 已提交
1337

A
Al Viro 已提交
1338 1339 1340 1341
	for (p = mnt; p; p = next_mnt(p, mnt)) {
		hlist_del_init_rcu(&p->mnt_hash);
		hlist_add_head(&p->mnt_hash, &tmp_list);
	}
L
Linus Torvalds 已提交
1342

1343 1344 1345
	hlist_for_each_entry(p, &tmp_list, mnt_hash)
		list_del_init(&p->mnt_child);

A
Al Viro 已提交
1346
	if (how)
A
Al Viro 已提交
1347
		propagate_umount(&tmp_list);
R
Ram Pai 已提交
1348

A
Al Viro 已提交
1349
	hlist_for_each_entry(p, &tmp_list, mnt_hash) {
1350
		list_del_init(&p->mnt_expire);
A
Al Viro 已提交
1351
		list_del_init(&p->mnt_list);
A
Al Viro 已提交
1352 1353
		__touch_mnt_namespace(p->mnt_ns);
		p->mnt_ns = NULL;
A
Al Viro 已提交
1354 1355
		if (how < 2)
			p->mnt.mnt_flags |= MNT_SYNC_UMOUNT;
1356
		if (mnt_has_parent(p)) {
1357
			hlist_del_init(&p->mnt_mp_list);
1358
			put_mountpoint(p->mnt_mp);
1359
			mnt_add_count(p->mnt_parent, -1);
A
Al Viro 已提交
1360 1361 1362 1363 1364
			/* move the reference to mountpoint into ->mnt_ex_mountpoint */
			p->mnt_ex_mountpoint.dentry = p->mnt_mountpoint;
			p->mnt_ex_mountpoint.mnt = &p->mnt_parent->mnt;
			p->mnt_mountpoint = p->mnt.mnt_root;
			p->mnt_parent = p;
1365
			p->mnt_mp = NULL;
1366
		}
1367
		change_mnt_propagation(p, MS_PRIVATE);
A
Al Viro 已提交
1368 1369 1370 1371 1372 1373
		last = p;
	}
	if (last) {
		last->mnt_hash.next = unmounted.first;
		unmounted.first = tmp_list.first;
		unmounted.first->pprev = &unmounted.first;
L
Linus Torvalds 已提交
1374 1375 1376
	}
}

1377
static void shrink_submounts(struct mount *mnt);
1378

1379
static int do_umount(struct mount *mnt, int flags)
L
Linus Torvalds 已提交
1380
{
1381
	struct super_block *sb = mnt->mnt.mnt_sb;
L
Linus Torvalds 已提交
1382 1383
	int retval;

1384
	retval = security_sb_umount(&mnt->mnt, flags);
L
Linus Torvalds 已提交
1385 1386 1387 1388 1389 1390 1391 1392 1393 1394
	if (retval)
		return retval;

	/*
	 * Allow userspace to request a mountpoint be expired rather than
	 * unmounting unconditionally. Unmount only happens if:
	 *  (1) the mark is already set (the mark is cleared by mntput())
	 *  (2) the usage count == 1 [parent vfsmount] + 1 [sys_umount]
	 */
	if (flags & MNT_EXPIRE) {
1395
		if (&mnt->mnt == current->fs->root.mnt ||
L
Linus Torvalds 已提交
1396 1397 1398
		    flags & (MNT_FORCE | MNT_DETACH))
			return -EINVAL;

N
Nick Piggin 已提交
1399 1400 1401 1402
		/*
		 * probably don't strictly need the lock here if we examined
		 * all race cases, but it's a slowpath.
		 */
1403
		lock_mount_hash();
1404
		if (mnt_get_count(mnt) != 2) {
1405
			unlock_mount_hash();
L
Linus Torvalds 已提交
1406
			return -EBUSY;
N
Nick Piggin 已提交
1407
		}
1408
		unlock_mount_hash();
L
Linus Torvalds 已提交
1409

1410
		if (!xchg(&mnt->mnt_expiry_mark, 1))
L
Linus Torvalds 已提交
1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423
			return -EAGAIN;
	}

	/*
	 * If we may have to abort operations to get out of this
	 * mount, and they will themselves hold resources we must
	 * allow the fs to do things. In the Unix tradition of
	 * 'Gee thats tricky lets do it in userspace' the umount_begin
	 * might fail to complete on the first run through as other tasks
	 * must return, and the like. Thats for the mount program to worry
	 * about for the moment.
	 */

1424 1425 1426
	if (flags & MNT_FORCE && sb->s_op->umount_begin) {
		sb->s_op->umount_begin(sb);
	}
L
Linus Torvalds 已提交
1427 1428 1429 1430 1431 1432 1433 1434 1435 1436

	/*
	 * No sense to grab the lock for this test, but test itself looks
	 * somewhat bogus. Suggestions for better replacement?
	 * Ho-hum... In principle, we might treat that as umount + switch
	 * to rootfs. GC would eventually take care of the old vfsmount.
	 * Actually it makes sense, especially if rootfs would contain a
	 * /reboot - static binary that would close all descriptors and
	 * call reboot(9). Then init(8) could umount root and exec /reboot.
	 */
1437
	if (&mnt->mnt == current->fs->root.mnt && !(flags & MNT_DETACH)) {
L
Linus Torvalds 已提交
1438 1439 1440 1441 1442
		/*
		 * Special case for "unmounting" root ...
		 * we just try to remount it readonly.
		 */
		down_write(&sb->s_umount);
A
Al Viro 已提交
1443
		if (!(sb->s_flags & MS_RDONLY))
L
Linus Torvalds 已提交
1444 1445 1446 1447 1448
			retval = do_remount_sb(sb, MS_RDONLY, NULL, 0);
		up_write(&sb->s_umount);
		return retval;
	}

1449
	namespace_lock();
1450
	lock_mount_hash();
A
Al Viro 已提交
1451
	event++;
L
Linus Torvalds 已提交
1452

A
Al Viro 已提交
1453
	if (flags & MNT_DETACH) {
A
Al Viro 已提交
1454
		if (!list_empty(&mnt->mnt_list))
A
Al Viro 已提交
1455
			umount_tree(mnt, 2);
L
Linus Torvalds 已提交
1456
		retval = 0;
A
Al Viro 已提交
1457 1458 1459 1460 1461 1462 1463 1464
	} else {
		shrink_submounts(mnt);
		retval = -EBUSY;
		if (!propagate_mount_busy(mnt, 2)) {
			if (!list_empty(&mnt->mnt_list))
				umount_tree(mnt, 1);
			retval = 0;
		}
L
Linus Torvalds 已提交
1465
	}
1466
	unlock_mount_hash();
1467
	namespace_unlock();
L
Linus Torvalds 已提交
1468 1469 1470
	return retval;
}

1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501
/*
 * __detach_mounts - lazily unmount all mounts on the specified dentry
 *
 * During unlink, rmdir, and d_drop it is possible to loose the path
 * to an existing mountpoint, and wind up leaking the mount.
 * detach_mounts allows lazily unmounting those mounts instead of
 * leaking them.
 *
 * The caller may hold dentry->d_inode->i_mutex.
 */
void __detach_mounts(struct dentry *dentry)
{
	struct mountpoint *mp;
	struct mount *mnt;

	namespace_lock();
	mp = lookup_mountpoint(dentry);
	if (!mp)
		goto out_unlock;

	lock_mount_hash();
	while (!hlist_empty(&mp->m_list)) {
		mnt = hlist_entry(mp->m_list.first, struct mount, mnt_mp_list);
		umount_tree(mnt, 2);
	}
	unlock_mount_hash();
	put_mountpoint(mp);
out_unlock:
	namespace_unlock();
}

1502 1503 1504 1505 1506 1507 1508 1509
/* 
 * Is the caller allowed to modify his namespace?
 */
static inline bool may_mount(void)
{
	return ns_capable(current->nsproxy->mnt_ns->user_ns, CAP_SYS_ADMIN);
}

L
Linus Torvalds 已提交
1510 1511 1512 1513 1514 1515 1516 1517
/*
 * Now umount can handle mount points as well as block devices.
 * This is important for filesystems which use unnamed block devices.
 *
 * We now support a flag for forced unmount like the other 'big iron'
 * unixes. Our API is identical to OSF/1 to avoid making a mess of AMD
 */

1518
SYSCALL_DEFINE2(umount, char __user *, name, int, flags)
L
Linus Torvalds 已提交
1519
{
1520
	struct path path;
1521
	struct mount *mnt;
L
Linus Torvalds 已提交
1522
	int retval;
1523
	int lookup_flags = 0;
L
Linus Torvalds 已提交
1524

1525 1526 1527
	if (flags & ~(MNT_FORCE | MNT_DETACH | MNT_EXPIRE | UMOUNT_NOFOLLOW))
		return -EINVAL;

1528 1529 1530
	if (!may_mount())
		return -EPERM;

1531 1532 1533
	if (!(flags & UMOUNT_NOFOLLOW))
		lookup_flags |= LOOKUP_FOLLOW;

1534
	retval = user_path_mountpoint_at(AT_FDCWD, name, lookup_flags, &path);
L
Linus Torvalds 已提交
1535 1536
	if (retval)
		goto out;
1537
	mnt = real_mount(path.mnt);
L
Linus Torvalds 已提交
1538
	retval = -EINVAL;
1539
	if (path.dentry != path.mnt->mnt_root)
L
Linus Torvalds 已提交
1540
		goto dput_and_out;
A
Al Viro 已提交
1541
	if (!check_mnt(mnt))
L
Linus Torvalds 已提交
1542
		goto dput_and_out;
1543 1544
	if (mnt->mnt.mnt_flags & MNT_LOCKED)
		goto dput_and_out;
L
Linus Torvalds 已提交
1545

1546
	retval = do_umount(mnt, flags);
L
Linus Torvalds 已提交
1547
dput_and_out:
J
Jan Blunck 已提交
1548
	/* we mustn't call path_put() as that would clear mnt_expiry_mark */
1549
	dput(path.dentry);
1550
	mntput_no_expire(mnt);
L
Linus Torvalds 已提交
1551 1552 1553 1554 1555 1556 1557
out:
	return retval;
}

#ifdef __ARCH_WANT_SYS_OLDUMOUNT

/*
R
Ram Pai 已提交
1558
 *	The 2.0 compatible umount. No flags.
L
Linus Torvalds 已提交
1559
 */
1560
SYSCALL_DEFINE1(oldumount, char __user *, name)
L
Linus Torvalds 已提交
1561
{
R
Ram Pai 已提交
1562
	return sys_umount(name, 0);
L
Linus Torvalds 已提交
1563 1564 1565 1566
}

#endif

1567
static bool is_mnt_ns_file(struct dentry *dentry)
1568
{
1569 1570
	/* Is this a proxy for a mount namespace? */
	struct inode *inode = dentry->d_inode;
1571
	struct proc_ns *ei;
1572 1573 1574 1575

	if (!proc_ns_inode(inode))
		return false;

1576
	ei = get_proc_ns(inode);
1577 1578 1579
	if (ei->ns_ops != &mntns_operations)
		return false;

1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592
	return true;
}

static bool mnt_ns_loop(struct dentry *dentry)
{
	/* Could bind mounting the mount namespace inode cause a
	 * mount namespace loop?
	 */
	struct mnt_namespace *mnt_ns;
	if (!is_mnt_ns_file(dentry))
		return false;

	mnt_ns = get_proc_ns(dentry->d_inode)->ns;
1593 1594 1595
	return current->nsproxy->mnt_ns->seq >= mnt_ns->seq;
}

1596
struct mount *copy_tree(struct mount *mnt, struct dentry *dentry,
R
Ram Pai 已提交
1597
					int flag)
L
Linus Torvalds 已提交
1598
{
1599
	struct mount *res, *p, *q, *r, *parent;
L
Linus Torvalds 已提交
1600

1601 1602 1603 1604
	if (!(flag & CL_COPY_UNBINDABLE) && IS_MNT_UNBINDABLE(mnt))
		return ERR_PTR(-EINVAL);

	if (!(flag & CL_COPY_MNT_NS_FILE) && is_mnt_ns_file(dentry))
1605
		return ERR_PTR(-EINVAL);
R
Ram Pai 已提交
1606

R
Ram Pai 已提交
1607
	res = q = clone_mnt(mnt, dentry, flag);
1608 1609 1610
	if (IS_ERR(q))
		return q;

1611
	q->mnt.mnt_flags &= ~MNT_LOCKED;
1612
	q->mnt_mountpoint = mnt->mnt_mountpoint;
L
Linus Torvalds 已提交
1613 1614

	p = mnt;
1615
	list_for_each_entry(r, &mnt->mnt_mounts, mnt_child) {
1616
		struct mount *s;
1617
		if (!is_subdir(r->mnt_mountpoint, dentry))
L
Linus Torvalds 已提交
1618 1619
			continue;

1620
		for (s = r; s; s = next_mnt(s, r)) {
A
Al Viro 已提交
1621
			struct mount *t = NULL;
1622 1623 1624 1625 1626 1627 1628
			if (!(flag & CL_COPY_UNBINDABLE) &&
			    IS_MNT_UNBINDABLE(s)) {
				s = skip_mnt_tree(s);
				continue;
			}
			if (!(flag & CL_COPY_MNT_NS_FILE) &&
			    is_mnt_ns_file(s->mnt.mnt_root)) {
R
Ram Pai 已提交
1629 1630 1631
				s = skip_mnt_tree(s);
				continue;
			}
1632 1633 1634
			while (p != s->mnt_parent) {
				p = p->mnt_parent;
				q = q->mnt_parent;
L
Linus Torvalds 已提交
1635
			}
1636
			p = s;
1637
			parent = q;
1638
			q = clone_mnt(p, p->mnt.mnt_root, flag);
1639 1640
			if (IS_ERR(q))
				goto out;
1641
			lock_mount_hash();
A
Al Viro 已提交
1642
			list_add_tail(&q->mnt_list, &res->mnt_list);
A
Al Viro 已提交
1643 1644 1645 1646 1647 1648 1649 1650
			mnt_set_mountpoint(parent, p->mnt_mp, q);
			if (!list_empty(&parent->mnt_mounts)) {
				t = list_last_entry(&parent->mnt_mounts,
					struct mount, mnt_child);
				if (t->mnt_mp != p->mnt_mp)
					t = NULL;
			}
			attach_shadowed(q, parent, t);
1651
			unlock_mount_hash();
L
Linus Torvalds 已提交
1652 1653 1654
		}
	}
	return res;
1655
out:
L
Linus Torvalds 已提交
1656
	if (res) {
1657
		lock_mount_hash();
1658
		umount_tree(res, 0);
1659
		unlock_mount_hash();
L
Linus Torvalds 已提交
1660
	}
1661
	return q;
L
Linus Torvalds 已提交
1662 1663
}

1664 1665
/* Caller should check returned pointer for errors */

A
Al Viro 已提交
1666
struct vfsmount *collect_mounts(struct path *path)
1667
{
1668
	struct mount *tree;
1669
	namespace_lock();
1670 1671
	tree = copy_tree(real_mount(path->mnt), path->dentry,
			 CL_COPY_ALL | CL_PRIVATE);
1672
	namespace_unlock();
1673
	if (IS_ERR(tree))
1674
		return ERR_CAST(tree);
1675
	return &tree->mnt;
1676 1677 1678 1679
}

void drop_collected_mounts(struct vfsmount *mnt)
{
1680
	namespace_lock();
1681
	lock_mount_hash();
1682
	umount_tree(real_mount(mnt), 0);
1683
	unlock_mount_hash();
A
Al Viro 已提交
1684
	namespace_unlock();
1685 1686
}

A
Al Viro 已提交
1687 1688 1689
int iterate_mounts(int (*f)(struct vfsmount *, void *), void *arg,
		   struct vfsmount *root)
{
A
Al Viro 已提交
1690
	struct mount *mnt;
A
Al Viro 已提交
1691 1692 1693
	int res = f(root, arg);
	if (res)
		return res;
A
Al Viro 已提交
1694 1695
	list_for_each_entry(mnt, &real_mount(root)->mnt_list, mnt_list) {
		res = f(&mnt->mnt, arg);
A
Al Viro 已提交
1696 1697 1698 1699 1700 1701
		if (res)
			return res;
	}
	return 0;
}

1702
static void cleanup_group_ids(struct mount *mnt, struct mount *end)
1703
{
1704
	struct mount *p;
1705

1706
	for (p = mnt; p != end; p = next_mnt(p, mnt)) {
1707
		if (p->mnt_group_id && !IS_MNT_SHARED(p))
1708
			mnt_release_group_id(p);
1709 1710 1711
	}
}

1712
static int invent_group_ids(struct mount *mnt, bool recurse)
1713
{
1714
	struct mount *p;
1715

1716
	for (p = mnt; p; p = recurse ? next_mnt(p, mnt) : NULL) {
1717
		if (!p->mnt_group_id && !IS_MNT_SHARED(p)) {
1718
			int err = mnt_alloc_group_id(p);
1719
			if (err) {
1720
				cleanup_group_ids(mnt, p);
1721 1722 1723 1724 1725 1726 1727 1728
				return err;
			}
		}
	}

	return 0;
}

1729 1730
/*
 *  @source_mnt : mount tree to be attached
R
Ram Pai 已提交
1731 1732 1733 1734
 *  @nd         : place the mount tree @source_mnt is attached
 *  @parent_nd  : if non-null, detach the source_mnt from its parent and
 *  		   store the parent mount and mountpoint dentry.
 *  		   (done when source_mnt is moved)
1735 1736 1737
 *
 *  NOTE: in the table below explains the semantics when a source mount
 *  of a given type is attached to a destination mount of a given type.
R
Ram Pai 已提交
1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749
 * ---------------------------------------------------------------------------
 * |         BIND MOUNT OPERATION                                            |
 * |**************************************************************************
 * | source-->| shared        |       private  |       slave    | unbindable |
 * | dest     |               |                |                |            |
 * |   |      |               |                |                |            |
 * |   v      |               |                |                |            |
 * |**************************************************************************
 * |  shared  | shared (++)   |     shared (+) |     shared(+++)|  invalid   |
 * |          |               |                |                |            |
 * |non-shared| shared (+)    |      private   |      slave (*) |  invalid   |
 * ***************************************************************************
1750 1751 1752 1753 1754 1755 1756 1757 1758
 * A bind operation clones the source mount and mounts the clone on the
 * destination mount.
 *
 * (++)  the cloned mount is propagated to all the mounts in the propagation
 * 	 tree of the destination mount and the cloned mount is added to
 * 	 the peer group of the source mount.
 * (+)   the cloned mount is created under the destination mount and is marked
 *       as shared. The cloned mount is added to the peer group of the source
 *       mount.
R
Ram Pai 已提交
1759 1760 1761 1762 1763 1764 1765
 * (+++) the mount is propagated to all the mounts in the propagation tree
 *       of the destination mount and the cloned mount is made slave
 *       of the same master as that of the source mount. The cloned mount
 *       is marked as 'shared and slave'.
 * (*)   the cloned mount is made a slave of the same master as that of the
 * 	 source mount.
 *
R
Ram Pai 已提交
1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777
 * ---------------------------------------------------------------------------
 * |         		MOVE MOUNT OPERATION                                 |
 * |**************************************************************************
 * | source-->| shared        |       private  |       slave    | unbindable |
 * | dest     |               |                |                |            |
 * |   |      |               |                |                |            |
 * |   v      |               |                |                |            |
 * |**************************************************************************
 * |  shared  | shared (+)    |     shared (+) |    shared(+++) |  invalid   |
 * |          |               |                |                |            |
 * |non-shared| shared (+*)   |      private   |    slave (*)   | unbindable |
 * ***************************************************************************
R
Ram Pai 已提交
1778 1779 1780
 *
 * (+)  the mount is moved to the destination. And is then propagated to
 * 	all the mounts in the propagation tree of the destination mount.
R
Ram Pai 已提交
1781
 * (+*)  the mount is moved to the destination.
R
Ram Pai 已提交
1782 1783 1784 1785
 * (+++)  the mount is moved to the destination and is then propagated to
 * 	all the mounts belonging to the destination mount's propagation tree.
 * 	the mount is marked as 'shared and slave'.
 * (*)	the mount continues to be a slave at the new location.
1786 1787 1788 1789 1790 1791
 *
 * if the source mount is a tree, the operations explained above is
 * applied to each mount in the tree.
 * Must be called without spinlocks held, since this function can sleep
 * in allocations.
 */
1792
static int attach_recursive_mnt(struct mount *source_mnt,
1793 1794 1795
			struct mount *dest_mnt,
			struct mountpoint *dest_mp,
			struct path *parent_path)
1796
{
A
Al Viro 已提交
1797
	HLIST_HEAD(tree_list);
1798
	struct mount *child, *p;
A
Al Viro 已提交
1799
	struct hlist_node *n;
1800
	int err;
1801

1802
	if (IS_MNT_SHARED(dest_mnt)) {
1803
		err = invent_group_ids(source_mnt, true);
1804 1805
		if (err)
			goto out;
1806
		err = propagate_mnt(dest_mnt, dest_mp, source_mnt, &tree_list);
A
Al Viro 已提交
1807
		lock_mount_hash();
1808 1809
		if (err)
			goto out_cleanup_ids;
1810
		for (p = source_mnt; p; p = next_mnt(p, source_mnt))
1811
			set_mnt_shared(p);
1812 1813
	} else {
		lock_mount_hash();
1814
	}
1815
	if (parent_path) {
1816
		detach_mnt(source_mnt, parent_path);
1817
		attach_mnt(source_mnt, dest_mnt, dest_mp);
A
Al Viro 已提交
1818
		touch_mnt_namespace(source_mnt->mnt_ns);
R
Ram Pai 已提交
1819
	} else {
1820
		mnt_set_mountpoint(dest_mnt, dest_mp, source_mnt);
A
Al Viro 已提交
1821
		commit_tree(source_mnt, NULL);
R
Ram Pai 已提交
1822
	}
1823

A
Al Viro 已提交
1824
	hlist_for_each_entry_safe(child, n, &tree_list, mnt_hash) {
A
Al Viro 已提交
1825
		struct mount *q;
A
Al Viro 已提交
1826
		hlist_del_init(&child->mnt_hash);
A
Al Viro 已提交
1827 1828 1829
		q = __lookup_mnt_last(&child->mnt_parent->mnt,
				      child->mnt_mountpoint);
		commit_tree(child, q);
1830
	}
1831
	unlock_mount_hash();
N
Nick Piggin 已提交
1832

1833
	return 0;
1834 1835

 out_cleanup_ids:
A
Al Viro 已提交
1836 1837 1838 1839 1840
	while (!hlist_empty(&tree_list)) {
		child = hlist_entry(tree_list.first, struct mount, mnt_hash);
		umount_tree(child, 0);
	}
	unlock_mount_hash();
1841
	cleanup_group_ids(source_mnt, NULL);
1842 1843
 out:
	return err;
1844 1845
}

1846
static struct mountpoint *lock_mount(struct path *path)
1847 1848
{
	struct vfsmount *mnt;
1849
	struct dentry *dentry = path->dentry;
1850
retry:
1851 1852 1853 1854
	mutex_lock(&dentry->d_inode->i_mutex);
	if (unlikely(cant_mount(dentry))) {
		mutex_unlock(&dentry->d_inode->i_mutex);
		return ERR_PTR(-ENOENT);
1855
	}
1856
	namespace_lock();
1857
	mnt = lookup_mnt(path);
1858
	if (likely(!mnt)) {
1859 1860 1861
		struct mountpoint *mp = lookup_mountpoint(dentry);
		if (!mp)
			mp = new_mountpoint(dentry);
1862
		if (IS_ERR(mp)) {
1863
			namespace_unlock();
1864 1865 1866 1867 1868
			mutex_unlock(&dentry->d_inode->i_mutex);
			return mp;
		}
		return mp;
	}
1869
	namespace_unlock();
1870 1871 1872
	mutex_unlock(&path->dentry->d_inode->i_mutex);
	path_put(path);
	path->mnt = mnt;
1873
	dentry = path->dentry = dget(mnt->mnt_root);
1874 1875 1876
	goto retry;
}

1877
static void unlock_mount(struct mountpoint *where)
1878
{
1879 1880
	struct dentry *dentry = where->m_dentry;
	put_mountpoint(where);
1881
	namespace_unlock();
1882
	mutex_unlock(&dentry->d_inode->i_mutex);
1883 1884
}

1885
static int graft_tree(struct mount *mnt, struct mount *p, struct mountpoint *mp)
L
Linus Torvalds 已提交
1886
{
1887
	if (mnt->mnt.mnt_sb->s_flags & MS_NOUSER)
L
Linus Torvalds 已提交
1888 1889
		return -EINVAL;

1890
	if (S_ISDIR(mp->m_dentry->d_inode->i_mode) !=
1891
	      S_ISDIR(mnt->mnt.mnt_root->d_inode->i_mode))
L
Linus Torvalds 已提交
1892 1893
		return -ENOTDIR;

1894
	return attach_recursive_mnt(mnt, p, mp, NULL);
L
Linus Torvalds 已提交
1895 1896
}

1897 1898 1899 1900 1901 1902
/*
 * Sanity check the flags to change_mnt_propagation.
 */

static int flags_to_propagation_type(int flags)
{
1903
	int type = flags & ~(MS_REC | MS_SILENT);
1904 1905 1906 1907 1908 1909 1910 1911 1912 1913

	/* Fail if any non-propagation flags are set */
	if (type & ~(MS_SHARED | MS_PRIVATE | MS_SLAVE | MS_UNBINDABLE))
		return 0;
	/* Only one propagation flag should be set */
	if (!is_power_of_2(type))
		return 0;
	return type;
}

1914 1915 1916
/*
 * recursively change the type of the mountpoint.
 */
1917
static int do_change_type(struct path *path, int flag)
1918
{
1919
	struct mount *m;
1920
	struct mount *mnt = real_mount(path->mnt);
1921
	int recurse = flag & MS_REC;
1922
	int type;
1923
	int err = 0;
1924

1925
	if (path->dentry != path->mnt->mnt_root)
1926 1927
		return -EINVAL;

1928 1929 1930 1931
	type = flags_to_propagation_type(flag);
	if (!type)
		return -EINVAL;

1932
	namespace_lock();
1933 1934 1935 1936 1937 1938
	if (type == MS_SHARED) {
		err = invent_group_ids(mnt, recurse);
		if (err)
			goto out_unlock;
	}

1939
	lock_mount_hash();
1940
	for (m = mnt; m; m = (recurse ? next_mnt(m, mnt) : NULL))
1941
		change_mnt_propagation(m, type);
1942
	unlock_mount_hash();
1943 1944

 out_unlock:
1945
	namespace_unlock();
1946
	return err;
1947 1948
}

1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961
static bool has_locked_children(struct mount *mnt, struct dentry *dentry)
{
	struct mount *child;
	list_for_each_entry(child, &mnt->mnt_mounts, mnt_child) {
		if (!is_subdir(child->mnt_mountpoint, dentry))
			continue;

		if (child->mnt.mnt_flags & MNT_LOCKED)
			return true;
	}
	return false;
}

L
Linus Torvalds 已提交
1962 1963 1964
/*
 * do loopback mount.
 */
A
Al Viro 已提交
1965
static int do_loopback(struct path *path, const char *old_name,
1966
				int recurse)
L
Linus Torvalds 已提交
1967
{
1968
	struct path old_path;
1969 1970
	struct mount *mnt = NULL, *old, *parent;
	struct mountpoint *mp;
A
Al Viro 已提交
1971
	int err;
L
Linus Torvalds 已提交
1972 1973
	if (!old_name || !*old_name)
		return -EINVAL;
1974
	err = kern_path(old_name, LOOKUP_FOLLOW|LOOKUP_AUTOMOUNT, &old_path);
L
Linus Torvalds 已提交
1975 1976 1977
	if (err)
		return err;

1978
	err = -EINVAL;
1979
	if (mnt_ns_loop(old_path.dentry))
1980 1981
		goto out; 

1982 1983 1984
	mp = lock_mount(path);
	err = PTR_ERR(mp);
	if (IS_ERR(mp))
1985 1986
		goto out;

1987
	old = real_mount(old_path.mnt);
1988
	parent = real_mount(path->mnt);
1989

L
Linus Torvalds 已提交
1990
	err = -EINVAL;
1991
	if (IS_MNT_UNBINDABLE(old))
1992
		goto out2;
R
Ram Pai 已提交
1993

1994
	if (!check_mnt(parent) || !check_mnt(old))
1995
		goto out2;
L
Linus Torvalds 已提交
1996

1997 1998 1999
	if (!recurse && has_locked_children(old, old_path.dentry))
		goto out2;

2000
	if (recurse)
2001
		mnt = copy_tree(old, old_path.dentry, CL_COPY_MNT_NS_FILE);
2002
	else
2003
		mnt = clone_mnt(old, old_path.dentry, 0);
2004

2005 2006
	if (IS_ERR(mnt)) {
		err = PTR_ERR(mnt);
2007
		goto out2;
2008
	}
2009

2010 2011
	mnt->mnt.mnt_flags &= ~MNT_LOCKED;

2012
	err = graft_tree(mnt, parent, mp);
2013
	if (err) {
2014
		lock_mount_hash();
2015
		umount_tree(mnt, 0);
2016
		unlock_mount_hash();
2017
	}
2018
out2:
2019
	unlock_mount(mp);
2020
out:
2021
	path_put(&old_path);
L
Linus Torvalds 已提交
2022 2023 2024
	return err;
}

2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035
static int change_mount_flags(struct vfsmount *mnt, int ms_flags)
{
	int error = 0;
	int readonly_request = 0;

	if (ms_flags & MS_RDONLY)
		readonly_request = 1;
	if (readonly_request == __mnt_is_readonly(mnt))
		return 0;

	if (readonly_request)
2036
		error = mnt_make_readonly(real_mount(mnt));
2037
	else
2038
		__mnt_unmake_readonly(real_mount(mnt));
2039 2040 2041
	return error;
}

L
Linus Torvalds 已提交
2042 2043 2044 2045 2046
/*
 * change filesystem flags. dir should be a physical root of filesystem.
 * If you've mounted a non-root directory somewhere and want to do remount
 * on it - tough luck.
 */
2047
static int do_remount(struct path *path, int flags, int mnt_flags,
L
Linus Torvalds 已提交
2048 2049 2050
		      void *data)
{
	int err;
2051
	struct super_block *sb = path->mnt->mnt_sb;
A
Al Viro 已提交
2052
	struct mount *mnt = real_mount(path->mnt);
L
Linus Torvalds 已提交
2053

A
Al Viro 已提交
2054
	if (!check_mnt(mnt))
L
Linus Torvalds 已提交
2055 2056
		return -EINVAL;

2057
	if (path->dentry != path->mnt->mnt_root)
L
Linus Torvalds 已提交
2058 2059
		return -EINVAL;

2060 2061 2062 2063 2064 2065 2066 2067 2068 2069
	/* Don't allow changing of locked mnt flags.
	 *
	 * No locks need to be held here while testing the various
	 * MNT_LOCK flags because those flags can never be cleared
	 * once they are set.
	 */
	if ((mnt->mnt.mnt_flags & MNT_LOCK_READONLY) &&
	    !(mnt_flags & MNT_READONLY)) {
		return -EPERM;
	}
2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086
	if ((mnt->mnt.mnt_flags & MNT_LOCK_NODEV) &&
	    !(mnt_flags & MNT_NODEV)) {
		return -EPERM;
	}
	if ((mnt->mnt.mnt_flags & MNT_LOCK_NOSUID) &&
	    !(mnt_flags & MNT_NOSUID)) {
		return -EPERM;
	}
	if ((mnt->mnt.mnt_flags & MNT_LOCK_NOEXEC) &&
	    !(mnt_flags & MNT_NOEXEC)) {
		return -EPERM;
	}
	if ((mnt->mnt.mnt_flags & MNT_LOCK_ATIME) &&
	    ((mnt->mnt.mnt_flags & MNT_ATIME_MASK) != (mnt_flags & MNT_ATIME_MASK))) {
		return -EPERM;
	}

2087 2088 2089 2090
	err = security_sb_remount(sb, data);
	if (err)
		return err;

L
Linus Torvalds 已提交
2091
	down_write(&sb->s_umount);
2092
	if (flags & MS_BIND)
2093
		err = change_mount_flags(path->mnt, flags);
A
Al Viro 已提交
2094 2095
	else if (!capable(CAP_SYS_ADMIN))
		err = -EPERM;
A
Al Viro 已提交
2096
	else
2097
		err = do_remount_sb(sb, flags, data, 0);
A
Al Viro 已提交
2098
	if (!err) {
2099
		lock_mount_hash();
2100
		mnt_flags |= mnt->mnt.mnt_flags & ~MNT_USER_SETTABLE_MASK;
A
Al Viro 已提交
2101 2102
		mnt->mnt.mnt_flags = mnt_flags;
		touch_mnt_namespace(mnt->mnt_ns);
2103
		unlock_mount_hash();
2104
	}
2105
	up_write(&sb->s_umount);
L
Linus Torvalds 已提交
2106 2107 2108
	return err;
}

2109
static inline int tree_contains_unbindable(struct mount *mnt)
R
Ram Pai 已提交
2110
{
2111
	struct mount *p;
2112
	for (p = mnt; p; p = next_mnt(p, mnt)) {
2113
		if (IS_MNT_UNBINDABLE(p))
R
Ram Pai 已提交
2114 2115 2116 2117 2118
			return 1;
	}
	return 0;
}

A
Al Viro 已提交
2119
static int do_move_mount(struct path *path, const char *old_name)
L
Linus Torvalds 已提交
2120
{
2121
	struct path old_path, parent_path;
2122
	struct mount *p;
2123
	struct mount *old;
2124
	struct mountpoint *mp;
A
Al Viro 已提交
2125
	int err;
L
Linus Torvalds 已提交
2126 2127
	if (!old_name || !*old_name)
		return -EINVAL;
2128
	err = kern_path(old_name, LOOKUP_FOLLOW, &old_path);
L
Linus Torvalds 已提交
2129 2130 2131
	if (err)
		return err;

2132 2133 2134
	mp = lock_mount(path);
	err = PTR_ERR(mp);
	if (IS_ERR(mp))
2135 2136
		goto out;

A
Al Viro 已提交
2137
	old = real_mount(old_path.mnt);
2138
	p = real_mount(path->mnt);
A
Al Viro 已提交
2139

L
Linus Torvalds 已提交
2140
	err = -EINVAL;
2141
	if (!check_mnt(p) || !check_mnt(old))
L
Linus Torvalds 已提交
2142 2143
		goto out1;

2144 2145 2146
	if (old->mnt.mnt_flags & MNT_LOCKED)
		goto out1;

L
Linus Torvalds 已提交
2147
	err = -EINVAL;
2148
	if (old_path.dentry != old_path.mnt->mnt_root)
R
Ram Pai 已提交
2149
		goto out1;
L
Linus Torvalds 已提交
2150

2151
	if (!mnt_has_parent(old))
R
Ram Pai 已提交
2152
		goto out1;
L
Linus Torvalds 已提交
2153

2154 2155
	if (S_ISDIR(path->dentry->d_inode->i_mode) !=
	      S_ISDIR(old_path.dentry->d_inode->i_mode))
R
Ram Pai 已提交
2156 2157 2158 2159
		goto out1;
	/*
	 * Don't move a mount residing in a shared parent.
	 */
2160
	if (IS_MNT_SHARED(old->mnt_parent))
R
Ram Pai 已提交
2161
		goto out1;
R
Ram Pai 已提交
2162 2163 2164 2165
	/*
	 * Don't move a mount tree containing unbindable mounts to a destination
	 * mount which is shared.
	 */
2166
	if (IS_MNT_SHARED(p) && tree_contains_unbindable(old))
R
Ram Pai 已提交
2167
		goto out1;
L
Linus Torvalds 已提交
2168
	err = -ELOOP;
2169
	for (; mnt_has_parent(p); p = p->mnt_parent)
2170
		if (p == old)
R
Ram Pai 已提交
2171
			goto out1;
L
Linus Torvalds 已提交
2172

2173
	err = attach_recursive_mnt(old, real_mount(path->mnt), mp, &parent_path);
2174
	if (err)
R
Ram Pai 已提交
2175
		goto out1;
L
Linus Torvalds 已提交
2176 2177 2178

	/* if the mount is moved, it should no longer be expire
	 * automatically */
2179
	list_del_init(&old->mnt_expire);
L
Linus Torvalds 已提交
2180
out1:
2181
	unlock_mount(mp);
L
Linus Torvalds 已提交
2182 2183
out:
	if (!err)
2184
		path_put(&parent_path);
2185
	path_put(&old_path);
L
Linus Torvalds 已提交
2186 2187 2188
	return err;
}

2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214
static struct vfsmount *fs_set_subtype(struct vfsmount *mnt, const char *fstype)
{
	int err;
	const char *subtype = strchr(fstype, '.');
	if (subtype) {
		subtype++;
		err = -EINVAL;
		if (!subtype[0])
			goto err;
	} else
		subtype = "";

	mnt->mnt_sb->s_subtype = kstrdup(subtype, GFP_KERNEL);
	err = -ENOMEM;
	if (!mnt->mnt_sb->s_subtype)
		goto err;
	return mnt;

 err:
	mntput(mnt);
	return ERR_PTR(err);
}

/*
 * add a mount into a namespace's mount tree
 */
2215
static int do_add_mount(struct mount *newmnt, struct path *path, int mnt_flags)
2216
{
2217 2218
	struct mountpoint *mp;
	struct mount *parent;
2219 2220
	int err;

A
Al Viro 已提交
2221
	mnt_flags &= ~MNT_INTERNAL_FLAGS;
2222

2223 2224 2225
	mp = lock_mount(path);
	if (IS_ERR(mp))
		return PTR_ERR(mp);
2226

2227
	parent = real_mount(path->mnt);
2228
	err = -EINVAL;
2229
	if (unlikely(!check_mnt(parent))) {
A
Al Viro 已提交
2230 2231 2232 2233
		/* that's acceptable only for automounts done in private ns */
		if (!(mnt_flags & MNT_SHRINKABLE))
			goto unlock;
		/* ... and for those we'd better have mountpoint still alive */
2234
		if (!parent->mnt_ns)
A
Al Viro 已提交
2235 2236
			goto unlock;
	}
2237 2238 2239

	/* Refuse the same filesystem on the same mount point */
	err = -EBUSY;
2240
	if (path->mnt->mnt_sb == newmnt->mnt.mnt_sb &&
2241 2242 2243 2244
	    path->mnt->mnt_root == path->dentry)
		goto unlock;

	err = -EINVAL;
2245
	if (S_ISLNK(newmnt->mnt.mnt_root->d_inode->i_mode))
2246 2247
		goto unlock;

2248
	newmnt->mnt.mnt_flags = mnt_flags;
2249
	err = graft_tree(newmnt, parent, mp);
2250 2251

unlock:
2252
	unlock_mount(mp);
2253 2254
	return err;
}
A
Al Viro 已提交
2255

L
Linus Torvalds 已提交
2256 2257 2258 2259
/*
 * create a new mount for userspace and request it to be added into the
 * namespace's tree
 */
2260
static int do_new_mount(struct path *path, const char *fstype, int flags,
A
Al Viro 已提交
2261
			int mnt_flags, const char *name, void *data)
L
Linus Torvalds 已提交
2262
{
2263
	struct file_system_type *type;
2264
	struct user_namespace *user_ns = current->nsproxy->mnt_ns->user_ns;
L
Linus Torvalds 已提交
2265
	struct vfsmount *mnt;
2266
	int err;
L
Linus Torvalds 已提交
2267

2268
	if (!fstype)
L
Linus Torvalds 已提交
2269 2270
		return -EINVAL;

2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284
	type = get_fs_type(fstype);
	if (!type)
		return -ENODEV;

	if (user_ns != &init_user_ns) {
		if (!(type->fs_flags & FS_USERNS_MOUNT)) {
			put_filesystem(type);
			return -EPERM;
		}
		/* Only in special cases allow devices from mounts
		 * created outside the initial user namespace.
		 */
		if (!(type->fs_flags & FS_USERNS_DEV_MOUNT)) {
			flags |= MS_NODEV;
2285
			mnt_flags |= MNT_NODEV | MNT_LOCK_NODEV;
2286 2287 2288 2289 2290 2291 2292 2293 2294
		}
	}

	mnt = vfs_kern_mount(type, flags, name, data);
	if (!IS_ERR(mnt) && (type->fs_flags & FS_HAS_SUBTYPE) &&
	    !mnt->mnt_sb->s_subtype)
		mnt = fs_set_subtype(mnt, fstype);

	put_filesystem(type);
L
Linus Torvalds 已提交
2295 2296 2297
	if (IS_ERR(mnt))
		return PTR_ERR(mnt);

2298
	err = do_add_mount(real_mount(mnt), path, mnt_flags);
2299 2300 2301
	if (err)
		mntput(mnt);
	return err;
L
Linus Torvalds 已提交
2302 2303
}

2304 2305
int finish_automount(struct vfsmount *m, struct path *path)
{
2306
	struct mount *mnt = real_mount(m);
2307 2308 2309 2310
	int err;
	/* The new mount record should have at least 2 refs to prevent it being
	 * expired before we get a chance to add it
	 */
2311
	BUG_ON(mnt_get_count(mnt) < 2);
2312 2313 2314

	if (m->mnt_sb == path->mnt->mnt_sb &&
	    m->mnt_root == path->dentry) {
A
Al Viro 已提交
2315 2316
		err = -ELOOP;
		goto fail;
2317 2318
	}

2319
	err = do_add_mount(mnt, path, path->mnt->mnt_flags | MNT_SHRINKABLE);
A
Al Viro 已提交
2320 2321 2322 2323
	if (!err)
		return 0;
fail:
	/* remove m from any expiration list it may be on */
2324
	if (!list_empty(&mnt->mnt_expire)) {
2325
		namespace_lock();
2326
		list_del_init(&mnt->mnt_expire);
2327
		namespace_unlock();
2328
	}
A
Al Viro 已提交
2329 2330
	mntput(m);
	mntput(m);
2331 2332 2333
	return err;
}

2334 2335 2336 2337 2338 2339 2340
/**
 * mnt_set_expiry - Put a mount on an expiration list
 * @mnt: The mount to list.
 * @expiry_list: The list to add the mount to.
 */
void mnt_set_expiry(struct vfsmount *mnt, struct list_head *expiry_list)
{
2341
	namespace_lock();
2342

2343
	list_add_tail(&real_mount(mnt)->mnt_expire, expiry_list);
2344

2345
	namespace_unlock();
2346 2347 2348
}
EXPORT_SYMBOL(mnt_set_expiry);

L
Linus Torvalds 已提交
2349 2350 2351 2352 2353 2354 2355
/*
 * process a list of expirable mountpoints with the intent of discarding any
 * mountpoints that aren't in use and haven't been touched since last we came
 * here
 */
void mark_mounts_for_expiry(struct list_head *mounts)
{
2356
	struct mount *mnt, *next;
L
Linus Torvalds 已提交
2357 2358 2359 2360 2361
	LIST_HEAD(graveyard);

	if (list_empty(mounts))
		return;

2362
	namespace_lock();
2363
	lock_mount_hash();
L
Linus Torvalds 已提交
2364 2365 2366 2367 2368 2369 2370

	/* extract from the expiration list every vfsmount that matches the
	 * following criteria:
	 * - only referenced by its parent vfsmount
	 * - still marked for expiry (marked on the last call here; marks are
	 *   cleared by mntput())
	 */
2371
	list_for_each_entry_safe(mnt, next, mounts, mnt_expire) {
2372
		if (!xchg(&mnt->mnt_expiry_mark, 1) ||
2373
			propagate_mount_busy(mnt, 1))
L
Linus Torvalds 已提交
2374
			continue;
2375
		list_move(&mnt->mnt_expire, &graveyard);
L
Linus Torvalds 已提交
2376
	}
2377
	while (!list_empty(&graveyard)) {
2378
		mnt = list_first_entry(&graveyard, struct mount, mnt_expire);
A
Al Viro 已提交
2379
		touch_mnt_namespace(mnt->mnt_ns);
2380
		umount_tree(mnt, 1);
2381
	}
2382
	unlock_mount_hash();
A
Al Viro 已提交
2383
	namespace_unlock();
T
Trond Myklebust 已提交
2384 2385 2386 2387 2388 2389 2390 2391 2392 2393
}

EXPORT_SYMBOL_GPL(mark_mounts_for_expiry);

/*
 * Ripoff of 'select_parent()'
 *
 * search the list of submounts for a given mountpoint, and move any
 * shrinkable submounts to the 'graveyard' list.
 */
2394
static int select_submounts(struct mount *parent, struct list_head *graveyard)
T
Trond Myklebust 已提交
2395
{
2396
	struct mount *this_parent = parent;
T
Trond Myklebust 已提交
2397 2398 2399 2400
	struct list_head *next;
	int found = 0;

repeat:
2401
	next = this_parent->mnt_mounts.next;
T
Trond Myklebust 已提交
2402
resume:
2403
	while (next != &this_parent->mnt_mounts) {
T
Trond Myklebust 已提交
2404
		struct list_head *tmp = next;
2405
		struct mount *mnt = list_entry(tmp, struct mount, mnt_child);
T
Trond Myklebust 已提交
2406 2407

		next = tmp->next;
2408
		if (!(mnt->mnt.mnt_flags & MNT_SHRINKABLE))
L
Linus Torvalds 已提交
2409
			continue;
T
Trond Myklebust 已提交
2410 2411 2412
		/*
		 * Descend a level if the d_mounts list is non-empty.
		 */
2413
		if (!list_empty(&mnt->mnt_mounts)) {
T
Trond Myklebust 已提交
2414 2415 2416
			this_parent = mnt;
			goto repeat;
		}
L
Linus Torvalds 已提交
2417

2418
		if (!propagate_mount_busy(mnt, 1)) {
2419
			list_move_tail(&mnt->mnt_expire, graveyard);
T
Trond Myklebust 已提交
2420 2421
			found++;
		}
L
Linus Torvalds 已提交
2422
	}
T
Trond Myklebust 已提交
2423 2424 2425 2426
	/*
	 * All done at this level ... ascend and resume the search
	 */
	if (this_parent != parent) {
2427
		next = this_parent->mnt_child.next;
2428
		this_parent = this_parent->mnt_parent;
T
Trond Myklebust 已提交
2429 2430 2431 2432 2433 2434 2435 2436
		goto resume;
	}
	return found;
}

/*
 * process a list of expirable mountpoints with the intent of discarding any
 * submounts of a specific parent mountpoint
N
Nick Piggin 已提交
2437
 *
A
Al Viro 已提交
2438
 * mount_lock must be held for write
T
Trond Myklebust 已提交
2439
 */
2440
static void shrink_submounts(struct mount *mnt)
T
Trond Myklebust 已提交
2441 2442
{
	LIST_HEAD(graveyard);
2443
	struct mount *m;
T
Trond Myklebust 已提交
2444 2445

	/* extract submounts of 'mountpoint' from the expiration list */
2446
	while (select_submounts(mnt, &graveyard)) {
2447
		while (!list_empty(&graveyard)) {
2448
			m = list_first_entry(&graveyard, struct mount,
2449
						mnt_expire);
A
Al Viro 已提交
2450
			touch_mnt_namespace(m->mnt_ns);
2451
			umount_tree(m, 1);
2452 2453
		}
	}
L
Linus Torvalds 已提交
2454 2455 2456 2457 2458 2459 2460 2461
}

/*
 * Some copy_from_user() implementations do not return the exact number of
 * bytes remaining to copy on a fault.  But copy_mount_options() requires that.
 * Note that this function differs from copy_from_user() in that it will oops
 * on bad values of `to', rather than returning a short copy.
 */
R
Ram Pai 已提交
2462 2463
static long exact_copy_from_user(void *to, const void __user * from,
				 unsigned long n)
L
Linus Torvalds 已提交
2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483
{
	char *t = to;
	const char __user *f = from;
	char c;

	if (!access_ok(VERIFY_READ, from, n))
		return n;

	while (n) {
		if (__get_user(c, f)) {
			memset(t, 0, n);
			break;
		}
		*t++ = c;
		f++;
		n--;
	}
	return n;
}

R
Ram Pai 已提交
2484
int copy_mount_options(const void __user * data, unsigned long *where)
L
Linus Torvalds 已提交
2485 2486 2487 2488
{
	int i;
	unsigned long page;
	unsigned long size;
R
Ram Pai 已提交
2489

L
Linus Torvalds 已提交
2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507
	*where = 0;
	if (!data)
		return 0;

	if (!(page = __get_free_page(GFP_KERNEL)))
		return -ENOMEM;

	/* We only care that *some* data at the address the user
	 * gave us is valid.  Just in case, we'll zero
	 * the remainder of the page.
	 */
	/* copy_from_user cannot cross TASK_SIZE ! */
	size = TASK_SIZE - (unsigned long)data;
	if (size > PAGE_SIZE)
		size = PAGE_SIZE;

	i = size - exact_copy_from_user((void *)page, data, size);
	if (!i) {
R
Ram Pai 已提交
2508
		free_page(page);
L
Linus Torvalds 已提交
2509 2510 2511 2512 2513 2514 2515 2516
		return -EFAULT;
	}
	if (i != PAGE_SIZE)
		memset((char *)page + i, 0, PAGE_SIZE - i);
	*where = page;
	return 0;
}

2517
char *copy_mount_string(const void __user *data)
2518
{
2519
	return data ? strndup_user(data, PAGE_SIZE) : NULL;
2520 2521
}

L
Linus Torvalds 已提交
2522 2523 2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535
/*
 * Flags is a 32-bit value that allows up to 31 non-fs dependent flags to
 * be given to the mount() call (ie: read-only, no-dev, no-suid etc).
 *
 * data is a (void *) that can point to any structure up to
 * PAGE_SIZE-1 bytes, which can contain arbitrary fs-dependent
 * information (or be NULL).
 *
 * Pre-0.97 versions of mount() didn't have a flags word.
 * When the flags word was introduced its top half was required
 * to have the magic value 0xC0ED, and this remained so until 2.4.0-test9.
 * Therefore, if this magic number is present, it carries no information
 * and must be discarded.
 */
A
Al Viro 已提交
2536 2537
long do_mount(const char *dev_name, const char *dir_name,
		const char *type_page, unsigned long flags, void *data_page)
L
Linus Torvalds 已提交
2538
{
2539
	struct path path;
L
Linus Torvalds 已提交
2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554
	int retval = 0;
	int mnt_flags = 0;

	/* Discard magic */
	if ((flags & MS_MGC_MSK) == MS_MGC_VAL)
		flags &= ~MS_MGC_MSK;

	/* Basic sanity checks */

	if (!dir_name || !*dir_name || !memchr(dir_name, 0, PAGE_SIZE))
		return -EINVAL;

	if (data_page)
		((char *)data_page)[PAGE_SIZE - 1] = 0;

2555 2556 2557 2558 2559 2560 2561
	/* ... and get the mountpoint */
	retval = kern_path(dir_name, LOOKUP_FOLLOW, &path);
	if (retval)
		return retval;

	retval = security_sb_mount(dev_name, &path,
				   type_page, flags, data_page);
2562 2563
	if (!retval && !may_mount())
		retval = -EPERM;
2564 2565 2566
	if (retval)
		goto dput_out;

2567 2568 2569
	/* Default to relatime unless overriden */
	if (!(flags & MS_NOATIME))
		mnt_flags |= MNT_RELATIME;
M
Matthew Garrett 已提交
2570

L
Linus Torvalds 已提交
2571 2572 2573 2574 2575 2576 2577
	/* Separate the per-mountpoint flags */
	if (flags & MS_NOSUID)
		mnt_flags |= MNT_NOSUID;
	if (flags & MS_NODEV)
		mnt_flags |= MNT_NODEV;
	if (flags & MS_NOEXEC)
		mnt_flags |= MNT_NOEXEC;
2578 2579 2580 2581
	if (flags & MS_NOATIME)
		mnt_flags |= MNT_NOATIME;
	if (flags & MS_NODIRATIME)
		mnt_flags |= MNT_NODIRATIME;
M
Matthew Garrett 已提交
2582 2583
	if (flags & MS_STRICTATIME)
		mnt_flags &= ~(MNT_RELATIME | MNT_NOATIME);
2584 2585
	if (flags & MS_RDONLY)
		mnt_flags |= MNT_READONLY;
2586

2587 2588 2589 2590 2591 2592 2593 2594
	/* The default atime for remount is preservation */
	if ((flags & MS_REMOUNT) &&
	    ((flags & (MS_NOATIME | MS_NODIRATIME | MS_RELATIME |
		       MS_STRICTATIME)) == 0)) {
		mnt_flags &= ~MNT_ATIME_MASK;
		mnt_flags |= path.mnt->mnt_flags & MNT_ATIME_MASK;
	}

A
Al Viro 已提交
2595
	flags &= ~(MS_NOSUID | MS_NOEXEC | MS_NODEV | MS_ACTIVE | MS_BORN |
M
Matthew Garrett 已提交
2596 2597
		   MS_NOATIME | MS_NODIRATIME | MS_RELATIME| MS_KERNMOUNT |
		   MS_STRICTATIME);
L
Linus Torvalds 已提交
2598 2599

	if (flags & MS_REMOUNT)
2600
		retval = do_remount(&path, flags & ~MS_REMOUNT, mnt_flags,
L
Linus Torvalds 已提交
2601 2602
				    data_page);
	else if (flags & MS_BIND)
2603
		retval = do_loopback(&path, dev_name, flags & MS_REC);
R
Ram Pai 已提交
2604
	else if (flags & (MS_SHARED | MS_PRIVATE | MS_SLAVE | MS_UNBINDABLE))
2605
		retval = do_change_type(&path, flags);
L
Linus Torvalds 已提交
2606
	else if (flags & MS_MOVE)
2607
		retval = do_move_mount(&path, dev_name);
L
Linus Torvalds 已提交
2608
	else
2609
		retval = do_new_mount(&path, type_page, flags, mnt_flags,
L
Linus Torvalds 已提交
2610 2611
				      dev_name, data_page);
dput_out:
2612
	path_put(&path);
L
Linus Torvalds 已提交
2613 2614 2615
	return retval;
}

2616 2617
static void free_mnt_ns(struct mnt_namespace *ns)
{
2618
	proc_free_inum(ns->proc_inum);
2619 2620 2621 2622
	put_user_ns(ns->user_ns);
	kfree(ns);
}

2623 2624 2625 2626 2627 2628 2629 2630 2631
/*
 * Assign a sequence number so we can detect when we attempt to bind
 * mount a reference to an older mount namespace into the current
 * mount namespace, preventing reference counting loops.  A 64bit
 * number incrementing at 10Ghz will take 12,427 years to wrap which
 * is effectively never, so we can ignore the possibility.
 */
static atomic64_t mnt_ns_seq = ATOMIC64_INIT(1);

2632
static struct mnt_namespace *alloc_mnt_ns(struct user_namespace *user_ns)
2633 2634
{
	struct mnt_namespace *new_ns;
2635
	int ret;
2636 2637 2638 2639

	new_ns = kmalloc(sizeof(struct mnt_namespace), GFP_KERNEL);
	if (!new_ns)
		return ERR_PTR(-ENOMEM);
2640 2641 2642 2643 2644
	ret = proc_alloc_inum(&new_ns->proc_inum);
	if (ret) {
		kfree(new_ns);
		return ERR_PTR(ret);
	}
2645
	new_ns->seq = atomic64_add_return(1, &mnt_ns_seq);
2646 2647 2648 2649 2650
	atomic_set(&new_ns->count, 1);
	new_ns->root = NULL;
	INIT_LIST_HEAD(&new_ns->list);
	init_waitqueue_head(&new_ns->poll);
	new_ns->event = 0;
2651
	new_ns->user_ns = get_user_ns(user_ns);
2652 2653 2654
	return new_ns;
}

2655 2656
struct mnt_namespace *copy_mnt_ns(unsigned long flags, struct mnt_namespace *ns,
		struct user_namespace *user_ns, struct fs_struct *new_fs)
L
Linus Torvalds 已提交
2657
{
2658
	struct mnt_namespace *new_ns;
A
Al Viro 已提交
2659
	struct vfsmount *rootmnt = NULL, *pwdmnt = NULL;
2660
	struct mount *p, *q;
2661
	struct mount *old;
2662
	struct mount *new;
2663
	int copy_flags;
L
Linus Torvalds 已提交
2664

2665 2666 2667 2668 2669 2670 2671 2672 2673
	BUG_ON(!ns);

	if (likely(!(flags & CLONE_NEWNS))) {
		get_mnt_ns(ns);
		return ns;
	}

	old = ns->root;

2674
	new_ns = alloc_mnt_ns(user_ns);
2675 2676
	if (IS_ERR(new_ns))
		return new_ns;
L
Linus Torvalds 已提交
2677

2678
	namespace_lock();
L
Linus Torvalds 已提交
2679
	/* First pass: copy the tree topology */
2680
	copy_flags = CL_COPY_UNBINDABLE | CL_EXPIRE;
2681
	if (user_ns != ns->user_ns)
2682
		copy_flags |= CL_SHARED_TO_SLAVE | CL_UNPRIVILEGED;
2683
	new = copy_tree(old, old->mnt.mnt_root, copy_flags);
2684
	if (IS_ERR(new)) {
2685
		namespace_unlock();
2686
		free_mnt_ns(new_ns);
2687
		return ERR_CAST(new);
L
Linus Torvalds 已提交
2688
	}
2689
	new_ns->root = new;
A
Al Viro 已提交
2690
	list_add_tail(&new_ns->list, &new->mnt_list);
L
Linus Torvalds 已提交
2691 2692 2693 2694 2695 2696

	/*
	 * Second pass: switch the tsk->fs->* elements and mark new vfsmounts
	 * as belonging to new namespace.  We have already acquired a private
	 * fs_struct, so tsk->fs->lock is not needed.
	 */
2697
	p = old;
2698
	q = new;
L
Linus Torvalds 已提交
2699
	while (p) {
A
Al Viro 已提交
2700
		q->mnt_ns = new_ns;
2701 2702 2703
		if (new_fs) {
			if (&p->mnt == new_fs->root.mnt) {
				new_fs->root.mnt = mntget(&q->mnt);
2704
				rootmnt = &p->mnt;
L
Linus Torvalds 已提交
2705
			}
2706 2707
			if (&p->mnt == new_fs->pwd.mnt) {
				new_fs->pwd.mnt = mntget(&q->mnt);
2708
				pwdmnt = &p->mnt;
L
Linus Torvalds 已提交
2709 2710
			}
		}
2711 2712
		p = next_mnt(p, old);
		q = next_mnt(q, new);
2713 2714 2715 2716
		if (!q)
			break;
		while (p->mnt.mnt_root != q->mnt.mnt_root)
			p = next_mnt(p, old);
L
Linus Torvalds 已提交
2717
	}
2718
	namespace_unlock();
L
Linus Torvalds 已提交
2719 2720

	if (rootmnt)
A
Al Viro 已提交
2721
		mntput(rootmnt);
L
Linus Torvalds 已提交
2722
	if (pwdmnt)
A
Al Viro 已提交
2723
		mntput(pwdmnt);
L
Linus Torvalds 已提交
2724

2725
	return new_ns;
L
Linus Torvalds 已提交
2726 2727
}

2728 2729 2730 2731
/**
 * create_mnt_ns - creates a private namespace and adds a root filesystem
 * @mnt: pointer to the new root filesystem mountpoint
 */
A
Al Viro 已提交
2732
static struct mnt_namespace *create_mnt_ns(struct vfsmount *m)
2733
{
2734
	struct mnt_namespace *new_ns = alloc_mnt_ns(&init_user_ns);
2735
	if (!IS_ERR(new_ns)) {
A
Al Viro 已提交
2736 2737
		struct mount *mnt = real_mount(m);
		mnt->mnt_ns = new_ns;
2738
		new_ns->root = mnt;
2739
		list_add(&mnt->mnt_list, &new_ns->list);
2740
	} else {
A
Al Viro 已提交
2741
		mntput(m);
2742 2743 2744 2745
	}
	return new_ns;
}

A
Al Viro 已提交
2746 2747 2748
struct dentry *mount_subtree(struct vfsmount *mnt, const char *name)
{
	struct mnt_namespace *ns;
A
Al Viro 已提交
2749
	struct super_block *s;
A
Al Viro 已提交
2750 2751 2752 2753 2754 2755 2756 2757 2758 2759 2760 2761 2762 2763 2764 2765
	struct path path;
	int err;

	ns = create_mnt_ns(mnt);
	if (IS_ERR(ns))
		return ERR_CAST(ns);

	err = vfs_path_lookup(mnt->mnt_root, mnt,
			name, LOOKUP_FOLLOW|LOOKUP_AUTOMOUNT, &path);

	put_mnt_ns(ns);

	if (err)
		return ERR_PTR(err);

	/* trade a vfsmount reference for active sb one */
A
Al Viro 已提交
2766 2767
	s = path.mnt->mnt_sb;
	atomic_inc(&s->s_active);
A
Al Viro 已提交
2768 2769
	mntput(path.mnt);
	/* lock the sucker */
A
Al Viro 已提交
2770
	down_write(&s->s_umount);
A
Al Viro 已提交
2771 2772 2773 2774 2775
	/* ... and return the root of (sub)tree on it */
	return path.dentry;
}
EXPORT_SYMBOL(mount_subtree);

2776 2777
SYSCALL_DEFINE5(mount, char __user *, dev_name, char __user *, dir_name,
		char __user *, type, unsigned long, flags, void __user *, data)
L
Linus Torvalds 已提交
2778
{
2779 2780
	int ret;
	char *kernel_type;
2781
	struct filename *kernel_dir;
2782
	char *kernel_dev;
L
Linus Torvalds 已提交
2783 2784
	unsigned long data_page;

2785 2786 2787
	kernel_type = copy_mount_string(type);
	ret = PTR_ERR(kernel_type);
	if (IS_ERR(kernel_type))
2788
		goto out_type;
L
Linus Torvalds 已提交
2789

2790 2791 2792 2793 2794
	kernel_dir = getname(dir_name);
	if (IS_ERR(kernel_dir)) {
		ret = PTR_ERR(kernel_dir);
		goto out_dir;
	}
L
Linus Torvalds 已提交
2795

2796 2797 2798
	kernel_dev = copy_mount_string(dev_name);
	ret = PTR_ERR(kernel_dev);
	if (IS_ERR(kernel_dev))
2799
		goto out_dev;
L
Linus Torvalds 已提交
2800

2801 2802 2803
	ret = copy_mount_options(data, &data_page);
	if (ret < 0)
		goto out_data;
L
Linus Torvalds 已提交
2804

2805
	ret = do_mount(kernel_dev, kernel_dir->name, kernel_type, flags,
2806
		(void *) data_page);
L
Linus Torvalds 已提交
2807

2808 2809 2810 2811 2812 2813 2814 2815 2816
	free_page(data_page);
out_data:
	kfree(kernel_dev);
out_dev:
	putname(kernel_dir);
out_dir:
	kfree(kernel_type);
out_type:
	return ret;
L
Linus Torvalds 已提交
2817 2818
}

A
Al Viro 已提交
2819 2820 2821
/*
 * Return true if path is reachable from root
 *
A
Al Viro 已提交
2822
 * namespace_sem or mount_lock is held
A
Al Viro 已提交
2823
 */
2824
bool is_path_reachable(struct mount *mnt, struct dentry *dentry,
A
Al Viro 已提交
2825 2826
			 const struct path *root)
{
2827
	while (&mnt->mnt != root->mnt && mnt_has_parent(mnt)) {
2828
		dentry = mnt->mnt_mountpoint;
2829
		mnt = mnt->mnt_parent;
A
Al Viro 已提交
2830
	}
2831
	return &mnt->mnt == root->mnt && is_subdir(dentry, root->dentry);
A
Al Viro 已提交
2832 2833 2834 2835 2836
}

int path_is_under(struct path *path1, struct path *path2)
{
	int res;
A
Al Viro 已提交
2837
	read_seqlock_excl(&mount_lock);
2838
	res = is_path_reachable(real_mount(path1->mnt), path1->dentry, path2);
A
Al Viro 已提交
2839
	read_sequnlock_excl(&mount_lock);
A
Al Viro 已提交
2840 2841 2842 2843
	return res;
}
EXPORT_SYMBOL(path_is_under);

L
Linus Torvalds 已提交
2844 2845 2846 2847 2848 2849 2850 2851 2852 2853 2854 2855 2856
/*
 * pivot_root Semantics:
 * Moves the root file system of the current process to the directory put_old,
 * makes new_root as the new root file system of the current process, and sets
 * root/cwd of all processes which had them on the current root to new_root.
 *
 * Restrictions:
 * The new_root and put_old must be directories, and  must not be on the
 * same file  system as the current process root. The put_old  must  be
 * underneath new_root,  i.e. adding a non-zero number of /.. to the string
 * pointed to by put_old must yield the same directory as new_root. No other
 * file system may be mounted on put_old. After all, new_root is a mountpoint.
 *
N
Neil Brown 已提交
2857 2858 2859 2860
 * Also, the current root cannot be on the 'rootfs' (initial ramfs) filesystem.
 * See Documentation/filesystems/ramfs-rootfs-initramfs.txt for alternatives
 * in this situation.
 *
L
Linus Torvalds 已提交
2861 2862 2863 2864 2865 2866 2867 2868
 * Notes:
 *  - we don't move root/cwd if they are not at the root (reason: if something
 *    cared enough to change them, it's probably wrong to force them elsewhere)
 *  - it's okay to pick a root that isn't the root of a file system, e.g.
 *    /nfs/my_root where /nfs is the mount point. It must be a mountpoint,
 *    though, so you may need to say mount --bind /nfs/my_root /nfs/my_root
 *    first.
 */
2869 2870
SYSCALL_DEFINE2(pivot_root, const char __user *, new_root,
		const char __user *, put_old)
L
Linus Torvalds 已提交
2871
{
2872
	struct path new, old, parent_path, root_parent, root;
2873 2874
	struct mount *new_mnt, *root_mnt, *old_mnt;
	struct mountpoint *old_mp, *root_mp;
L
Linus Torvalds 已提交
2875 2876
	int error;

2877
	if (!may_mount())
L
Linus Torvalds 已提交
2878 2879
		return -EPERM;

2880
	error = user_path_dir(new_root, &new);
L
Linus Torvalds 已提交
2881 2882 2883
	if (error)
		goto out0;

2884
	error = user_path_dir(put_old, &old);
L
Linus Torvalds 已提交
2885 2886 2887
	if (error)
		goto out1;

2888
	error = security_sb_pivotroot(&old, &new);
2889 2890
	if (error)
		goto out2;
L
Linus Torvalds 已提交
2891

2892
	get_fs_root(current->fs, &root);
2893 2894 2895
	old_mp = lock_mount(&old);
	error = PTR_ERR(old_mp);
	if (IS_ERR(old_mp))
2896 2897
		goto out3;

L
Linus Torvalds 已提交
2898
	error = -EINVAL;
2899 2900
	new_mnt = real_mount(new.mnt);
	root_mnt = real_mount(root.mnt);
2901 2902
	old_mnt = real_mount(old.mnt);
	if (IS_MNT_SHARED(old_mnt) ||
2903 2904
		IS_MNT_SHARED(new_mnt->mnt_parent) ||
		IS_MNT_SHARED(root_mnt->mnt_parent))
2905
		goto out4;
A
Al Viro 已提交
2906
	if (!check_mnt(root_mnt) || !check_mnt(new_mnt))
2907
		goto out4;
2908 2909
	if (new_mnt->mnt.mnt_flags & MNT_LOCKED)
		goto out4;
L
Linus Torvalds 已提交
2910
	error = -ENOENT;
2911
	if (d_unlinked(new.dentry))
2912
		goto out4;
L
Linus Torvalds 已提交
2913
	error = -EBUSY;
2914
	if (new_mnt == root_mnt || old_mnt == root_mnt)
2915
		goto out4; /* loop, on the same file system  */
L
Linus Torvalds 已提交
2916
	error = -EINVAL;
2917
	if (root.mnt->mnt_root != root.dentry)
2918
		goto out4; /* not a mountpoint */
2919
	if (!mnt_has_parent(root_mnt))
2920
		goto out4; /* not attached */
2921
	root_mp = root_mnt->mnt_mp;
2922
	if (new.mnt->mnt_root != new.dentry)
2923
		goto out4; /* not a mountpoint */
2924
	if (!mnt_has_parent(new_mnt))
2925
		goto out4; /* not attached */
2926
	/* make sure we can reach put_old from new_root */
2927
	if (!is_path_reachable(old_mnt, old.dentry, &new))
2928
		goto out4;
2929
	root_mp->m_count++; /* pin it so it won't go away */
2930
	lock_mount_hash();
2931 2932
	detach_mnt(new_mnt, &parent_path);
	detach_mnt(root_mnt, &root_parent);
2933 2934 2935 2936
	if (root_mnt->mnt.mnt_flags & MNT_LOCKED) {
		new_mnt->mnt.mnt_flags |= MNT_LOCKED;
		root_mnt->mnt.mnt_flags &= ~MNT_LOCKED;
	}
2937
	/* mount old root on put_old */
2938
	attach_mnt(root_mnt, old_mnt, old_mp);
2939
	/* mount new_root on / */
2940
	attach_mnt(new_mnt, real_mount(root_parent.mnt), root_mp);
2941
	touch_mnt_namespace(current->nsproxy->mnt_ns);
2942
	unlock_mount_hash();
2943
	chroot_fs_refs(&root, &new);
2944
	put_mountpoint(root_mp);
L
Linus Torvalds 已提交
2945
	error = 0;
2946
out4:
2947
	unlock_mount(old_mp);
2948 2949 2950 2951 2952
	if (!error) {
		path_put(&root_parent);
		path_put(&parent_path);
	}
out3:
2953
	path_put(&root);
2954
out2:
2955
	path_put(&old);
L
Linus Torvalds 已提交
2956
out1:
2957
	path_put(&new);
L
Linus Torvalds 已提交
2958 2959 2960 2961 2962 2963 2964
out0:
	return error;
}

static void __init init_mount_tree(void)
{
	struct vfsmount *mnt;
2965
	struct mnt_namespace *ns;
2966
	struct path root;
2967
	struct file_system_type *type;
L
Linus Torvalds 已提交
2968

2969 2970 2971 2972 2973
	type = get_fs_type("rootfs");
	if (!type)
		panic("Can't find rootfs type");
	mnt = vfs_kern_mount(type, 0, "rootfs", NULL);
	put_filesystem(type);
L
Linus Torvalds 已提交
2974 2975
	if (IS_ERR(mnt))
		panic("Can't create rootfs");
N
Nick Piggin 已提交
2976

2977 2978
	ns = create_mnt_ns(mnt);
	if (IS_ERR(ns))
L
Linus Torvalds 已提交
2979
		panic("Can't allocate initial namespace");
2980 2981 2982 2983

	init_task.nsproxy->mnt_ns = ns;
	get_mnt_ns(ns);

2984 2985
	root.mnt = mnt;
	root.dentry = mnt->mnt_root;
2986 2987 2988

	set_fs_pwd(current->fs, &root);
	set_fs_root(current->fs, &root);
L
Linus Torvalds 已提交
2989 2990
}

2991
void __init mnt_init(void)
L
Linus Torvalds 已提交
2992
{
E
Eric Dumazet 已提交
2993
	unsigned u;
2994
	int err;
L
Linus Torvalds 已提交
2995

A
Al Viro 已提交
2996
	mnt_cache = kmem_cache_create("mnt_cache", sizeof(struct mount),
2997
			0, SLAB_HWCACHE_ALIGN | SLAB_PANIC, NULL);
L
Linus Torvalds 已提交
2998

A
Al Viro 已提交
2999
	mount_hashtable = alloc_large_system_hash("Mount-cache",
A
Al Viro 已提交
3000
				sizeof(struct hlist_head),
A
Al Viro 已提交
3001 3002 3003 3004 3005 3006 3007 3008
				mhash_entries, 19,
				0,
				&m_hash_shift, &m_hash_mask, 0, 0);
	mountpoint_hashtable = alloc_large_system_hash("Mountpoint-cache",
				sizeof(struct hlist_head),
				mphash_entries, 19,
				0,
				&mp_hash_shift, &mp_hash_mask, 0, 0);
L
Linus Torvalds 已提交
3009

3010
	if (!mount_hashtable || !mountpoint_hashtable)
L
Linus Torvalds 已提交
3011 3012
		panic("Failed to allocate mount hash table\n");

A
Al Viro 已提交
3013
	for (u = 0; u <= m_hash_mask; u++)
A
Al Viro 已提交
3014
		INIT_HLIST_HEAD(&mount_hashtable[u]);
A
Al Viro 已提交
3015 3016
	for (u = 0; u <= mp_hash_mask; u++)
		INIT_HLIST_HEAD(&mountpoint_hashtable[u]);
L
Linus Torvalds 已提交
3017

3018 3019
	kernfs_init();

3020 3021 3022
	err = sysfs_init();
	if (err)
		printk(KERN_WARNING "%s: sysfs_init error: %d\n",
3023
			__func__, err);
3024 3025
	fs_kobj = kobject_create_and_add("fs", NULL);
	if (!fs_kobj)
3026
		printk(KERN_WARNING "%s: kobj create error\n", __func__);
L
Linus Torvalds 已提交
3027 3028 3029 3030
	init_rootfs();
	init_mount_tree();
}

3031
void put_mnt_ns(struct mnt_namespace *ns)
L
Linus Torvalds 已提交
3032
{
3033
	if (!atomic_dec_and_test(&ns->count))
3034
		return;
3035
	drop_collected_mounts(&ns->root->mnt);
3036
	free_mnt_ns(ns);
L
Linus Torvalds 已提交
3037
}
3038 3039 3040

struct vfsmount *kern_mount_data(struct file_system_type *type, void *data)
{
3041 3042 3043 3044 3045 3046 3047
	struct vfsmount *mnt;
	mnt = vfs_kern_mount(type, MS_KERNMOUNT, type->name, data);
	if (!IS_ERR(mnt)) {
		/*
		 * it is a longterm mount, don't release mnt until
		 * we unmount before file sys is unregistered
		*/
A
Al Viro 已提交
3048
		real_mount(mnt)->mnt_ns = MNT_NS_INTERNAL;
3049 3050
	}
	return mnt;
3051 3052
}
EXPORT_SYMBOL_GPL(kern_mount_data);
3053 3054 3055 3056 3057

void kern_unmount(struct vfsmount *mnt)
{
	/* release long term mount so mount point can be released */
	if (!IS_ERR_OR_NULL(mnt)) {
A
Al Viro 已提交
3058
		real_mount(mnt)->mnt_ns = NULL;
A
Al Viro 已提交
3059
		synchronize_rcu();	/* yecchhh... */
3060 3061 3062 3063
		mntput(mnt);
	}
}
EXPORT_SYMBOL(kern_unmount);
3064 3065 3066

bool our_mnt(struct vfsmount *mnt)
{
A
Al Viro 已提交
3067
	return check_mnt(real_mount(mnt));
3068
}
3069

3070 3071 3072 3073 3074 3075 3076 3077 3078 3079 3080 3081 3082 3083 3084 3085 3086 3087 3088 3089 3090 3091 3092 3093
bool current_chrooted(void)
{
	/* Does the current process have a non-standard root */
	struct path ns_root;
	struct path fs_root;
	bool chrooted;

	/* Find the namespace root */
	ns_root.mnt = &current->nsproxy->mnt_ns->root->mnt;
	ns_root.dentry = ns_root.mnt->mnt_root;
	path_get(&ns_root);
	while (d_mountpoint(ns_root.dentry) && follow_down_one(&ns_root))
		;

	get_fs_root(current->fs, &fs_root);

	chrooted = !path_equal(&fs_root, &ns_root);

	path_put(&fs_root);
	path_put(&ns_root);

	return chrooted;
}

3094
bool fs_fully_visible(struct file_system_type *type)
3095 3096 3097
{
	struct mnt_namespace *ns = current->nsproxy->mnt_ns;
	struct mount *mnt;
3098
	bool visible = false;
3099

3100 3101 3102
	if (unlikely(!ns))
		return false;

3103
	down_read(&namespace_sem);
3104
	list_for_each_entry(mnt, &ns->list, mnt_list) {
3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3115
		struct mount *child;
		if (mnt->mnt.mnt_sb->s_type != type)
			continue;

		/* This mount is not fully visible if there are any child mounts
		 * that cover anything except for empty directories.
		 */
		list_for_each_entry(child, &mnt->mnt_mounts, mnt_child) {
			struct inode *inode = child->mnt_mountpoint->d_inode;
			if (!S_ISDIR(inode->i_mode))
				goto next;
3116
			if (inode->i_nlink > 2)
3117
				goto next;
3118
		}
3119 3120 3121
		visible = true;
		goto found;
	next:	;
3122
	}
3123
found:
3124
	up_read(&namespace_sem);
3125
	return visible;
3126 3127
}

3128 3129 3130 3131 3132
static void *mntns_get(struct task_struct *task)
{
	struct mnt_namespace *ns = NULL;
	struct nsproxy *nsproxy;

3133 3134
	task_lock(task);
	nsproxy = task->nsproxy;
3135 3136 3137 3138
	if (nsproxy) {
		ns = nsproxy->mnt_ns;
		get_mnt_ns(ns);
	}
3139
	task_unlock(task);
3140 3141 3142 3143 3144 3145 3146 3147 3148 3149 3150 3151 3152 3153 3154

	return ns;
}

static void mntns_put(void *ns)
{
	put_mnt_ns(ns);
}

static int mntns_install(struct nsproxy *nsproxy, void *ns)
{
	struct fs_struct *fs = current->fs;
	struct mnt_namespace *mnt_ns = ns;
	struct path root;

3155
	if (!ns_capable(mnt_ns->user_ns, CAP_SYS_ADMIN) ||
3156 3157
	    !ns_capable(current_user_ns(), CAP_SYS_CHROOT) ||
	    !ns_capable(current_user_ns(), CAP_SYS_ADMIN))
3158
		return -EPERM;
3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 3179 3180 3181

	if (fs->users != 1)
		return -EINVAL;

	get_mnt_ns(mnt_ns);
	put_mnt_ns(nsproxy->mnt_ns);
	nsproxy->mnt_ns = mnt_ns;

	/* Find the root */
	root.mnt    = &mnt_ns->root->mnt;
	root.dentry = mnt_ns->root->mnt.mnt_root;
	path_get(&root);
	while(d_mountpoint(root.dentry) && follow_down_one(&root))
		;

	/* Update the pwd and root */
	set_fs_pwd(fs, &root);
	set_fs_root(fs, &root);

	path_put(&root);
	return 0;
}

3182 3183 3184 3185 3186 3187
static unsigned int mntns_inum(void *ns)
{
	struct mnt_namespace *mnt_ns = ns;
	return mnt_ns->proc_inum;
}

3188 3189 3190 3191 3192 3193
const struct proc_ns_operations mntns_operations = {
	.name		= "mnt",
	.type		= CLONE_NEWNS,
	.get		= mntns_get,
	.put		= mntns_put,
	.install	= mntns_install,
3194
	.inum		= mntns_inum,
3195
};