Blame view

fs/pnode.c 15.1 KB
59bd9ded4   Thomas Gleixner   treewide: Replace...
1
  // SPDX-License-Identifier: GPL-2.0-only
07b20889e   Ram Pai   [PATCH] beginning...
2
3
4
5
  /*
   *  linux/fs/pnode.c
   *
   * (C) Copyright IBM Corporation 2005.
07b20889e   Ram Pai   [PATCH] beginning...
6
   *	Author : Ram Pai (linuxram@us.ibm.com)
07b20889e   Ram Pai   [PATCH] beginning...
7
   */
6b3286ed1   Kirill Korotaev   [PATCH] rename st...
8
  #include <linux/mnt_namespace.h>
07b20889e   Ram Pai   [PATCH] beginning...
9
10
  #include <linux/mount.h>
  #include <linux/fs.h>
132c94e31   Eric W. Biederman   vfs: Carefully pr...
11
  #include <linux/nsproxy.h>
e262e32d6   David Howells   vfs: Suppress MS_...
12
  #include <uapi/linux/mount.h>
6d59e7f58   Al Viro   [PATCH] move a bu...
13
  #include "internal.h"
07b20889e   Ram Pai   [PATCH] beginning...
14
  #include "pnode.h"
03e06e68f   Ram Pai   [PATCH] introduce...
15
  /* return the next shared peer mount of @p */
c937135d9   Al Viro   vfs: spread struc...
16
  static inline struct mount *next_peer(struct mount *p)
03e06e68f   Ram Pai   [PATCH] introduce...
17
  {
6776db3d3   Al Viro   vfs: take mnt_sha...
18
  	return list_entry(p->mnt_share.next, struct mount, mnt_share);
03e06e68f   Ram Pai   [PATCH] introduce...
19
  }
c937135d9   Al Viro   vfs: spread struc...
20
  static inline struct mount *first_slave(struct mount *p)
5afe00221   Ram Pai   [PATCH] handling ...
21
  {
6776db3d3   Al Viro   vfs: take mnt_sha...
22
  	return list_entry(p->mnt_slave_list.next, struct mount, mnt_slave);
5afe00221   Ram Pai   [PATCH] handling ...
23
  }
296990deb   Eric W. Biederman   mnt: Make propaga...
24
25
26
27
  static inline struct mount *last_slave(struct mount *p)
  {
  	return list_entry(p->mnt_slave_list.prev, struct mount, mnt_slave);
  }
c937135d9   Al Viro   vfs: spread struc...
28
  static inline struct mount *next_slave(struct mount *p)
5afe00221   Ram Pai   [PATCH] handling ...
29
  {
6776db3d3   Al Viro   vfs: take mnt_sha...
30
  	return list_entry(p->mnt_slave.next, struct mount, mnt_slave);
5afe00221   Ram Pai   [PATCH] handling ...
31
  }
6fc7871fe   Al Viro   vfs: spread struc...
32
33
34
  static struct mount *get_peer_under_root(struct mount *mnt,
  					 struct mnt_namespace *ns,
  					 const struct path *root)
97e7e0f71   Miklos Szeredi   [patch 7/7] vfs: ...
35
  {
6fc7871fe   Al Viro   vfs: spread struc...
36
  	struct mount *m = mnt;
97e7e0f71   Miklos Szeredi   [patch 7/7] vfs: ...
37
38
39
  
  	do {
  		/* Check the namespace first for optimization */
143c8c91c   Al Viro   vfs: mnt_ns moved...
40
  		if (m->mnt_ns == ns && is_path_reachable(m, m->mnt.mnt_root, root))
6fc7871fe   Al Viro   vfs: spread struc...
41
  			return m;
97e7e0f71   Miklos Szeredi   [patch 7/7] vfs: ...
42

c937135d9   Al Viro   vfs: spread struc...
43
  		m = next_peer(m);
6fc7871fe   Al Viro   vfs: spread struc...
44
  	} while (m != mnt);
97e7e0f71   Miklos Szeredi   [patch 7/7] vfs: ...
45
46
47
48
49
50
51
52
53
54
  
  	return NULL;
  }
  
  /*
   * Get ID of closest dominating peer group having a representative
   * under the given root.
   *
   * Caller must hold namespace_sem
   */
6fc7871fe   Al Viro   vfs: spread struc...
55
  int get_dominating_id(struct mount *mnt, const struct path *root)
97e7e0f71   Miklos Szeredi   [patch 7/7] vfs: ...
56
  {
6fc7871fe   Al Viro   vfs: spread struc...
57
  	struct mount *m;
97e7e0f71   Miklos Szeredi   [patch 7/7] vfs: ...
58

32301920f   Al Viro   vfs: and now we c...
59
  	for (m = mnt->mnt_master; m != NULL; m = m->mnt_master) {
143c8c91c   Al Viro   vfs: mnt_ns moved...
60
  		struct mount *d = get_peer_under_root(m, mnt->mnt_ns, root);
97e7e0f71   Miklos Szeredi   [patch 7/7] vfs: ...
61
  		if (d)
15169fe78   Al Viro   vfs: mnt_id/mnt_g...
62
  			return d->mnt_group_id;
97e7e0f71   Miklos Szeredi   [patch 7/7] vfs: ...
63
64
65
66
  	}
  
  	return 0;
  }
6fc7871fe   Al Viro   vfs: spread struc...
67
  static int do_make_slave(struct mount *mnt)
a58b0eb8e   Ram Pai   [PATCH] introduce...
68
  {
5235d448c   Al Viro   reorganize do_mak...
69
  	struct mount *master, *slave_mnt;
a58b0eb8e   Ram Pai   [PATCH] introduce...
70

5235d448c   Al Viro   reorganize do_mak...
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
  	if (list_empty(&mnt->mnt_share)) {
  		if (IS_MNT_SHARED(mnt)) {
  			mnt_release_group_id(mnt);
  			CLEAR_MNT_SHARED(mnt);
  		}
  		master = mnt->mnt_master;
  		if (!master) {
  			struct list_head *p = &mnt->mnt_slave_list;
  			while (!list_empty(p)) {
  				slave_mnt = list_first_entry(p,
  						struct mount, mnt_slave);
  				list_del_init(&slave_mnt->mnt_slave);
  				slave_mnt->mnt_master = NULL;
  			}
  			return 0;
  		}
a58b0eb8e   Ram Pai   [PATCH] introduce...
87
  	} else {
5235d448c   Al Viro   reorganize do_mak...
88
89
90
91
92
93
94
95
96
97
98
  		struct mount *m;
  		/*
  		 * slave 'mnt' to a peer mount that has the
  		 * same root dentry. If none is available then
  		 * slave it to anything that is available.
  		 */
  		for (m = master = next_peer(mnt); m != mnt; m = next_peer(m)) {
  			if (m->mnt.mnt_root == mnt->mnt.mnt_root) {
  				master = m;
  				break;
  			}
a58b0eb8e   Ram Pai   [PATCH] introduce...
99
  		}
5235d448c   Al Viro   reorganize do_mak...
100
101
102
  		list_del_init(&mnt->mnt_share);
  		mnt->mnt_group_id = 0;
  		CLEAR_MNT_SHARED(mnt);
a58b0eb8e   Ram Pai   [PATCH] introduce...
103
  	}
5235d448c   Al Viro   reorganize do_mak...
104
105
106
107
108
  	list_for_each_entry(slave_mnt, &mnt->mnt_slave_list, mnt_slave)
  		slave_mnt->mnt_master = master;
  	list_move(&mnt->mnt_slave, &master->mnt_slave_list);
  	list_splice(&mnt->mnt_slave_list, master->mnt_slave_list.prev);
  	INIT_LIST_HEAD(&mnt->mnt_slave_list);
32301920f   Al Viro   vfs: and now we c...
109
  	mnt->mnt_master = master;
a58b0eb8e   Ram Pai   [PATCH] introduce...
110
111
  	return 0;
  }
99b7db7b8   Nick Piggin   fs: brlock vfsmou...
112
113
114
  /*
   * vfsmount lock must be held for write
   */
0f0afb1dc   Al Viro   vfs: spread struc...
115
  void change_mnt_propagation(struct mount *mnt, int type)
07b20889e   Ram Pai   [PATCH] beginning...
116
  {
03e06e68f   Ram Pai   [PATCH] introduce...
117
  	if (type == MS_SHARED) {
b90fa9ae8   Ram Pai   [PATCH] shared mo...
118
  		set_mnt_shared(mnt);
a58b0eb8e   Ram Pai   [PATCH] introduce...
119
120
  		return;
  	}
6fc7871fe   Al Viro   vfs: spread struc...
121
  	do_make_slave(mnt);
a58b0eb8e   Ram Pai   [PATCH] introduce...
122
  	if (type != MS_SLAVE) {
6776db3d3   Al Viro   vfs: take mnt_sha...
123
  		list_del_init(&mnt->mnt_slave);
d10e8def0   Al Viro   vfs: take mnt_mas...
124
  		mnt->mnt_master = NULL;
9676f0c63   Ram Pai   [PATCH] unbindabl...
125
  		if (type == MS_UNBINDABLE)
0f0afb1dc   Al Viro   vfs: spread struc...
126
  			mnt->mnt.mnt_flags |= MNT_UNBINDABLE;
0b03cfb25   Andries E. Brouwer   MNT_UNBINDABLE fix
127
  		else
0f0afb1dc   Al Viro   vfs: spread struc...
128
  			mnt->mnt.mnt_flags &= ~MNT_UNBINDABLE;
03e06e68f   Ram Pai   [PATCH] introduce...
129
  	}
07b20889e   Ram Pai   [PATCH] beginning...
130
  }
b90fa9ae8   Ram Pai   [PATCH] shared mo...
131
132
133
134
135
  
  /*
   * get the next mount in the propagation tree.
   * @m: the mount seen last
   * @origin: the original mount from where the tree walk initiated
796a6b521   Al Viro   Kill CL_PROPAGATI...
136
137
138
139
140
   *
   * Note that peer groups form contiguous segments of slave lists.
   * We rely on that in get_source() to be able to find out if
   * vfsmount found while iterating with propagation_next() is
   * a peer of one we'd found earlier.
b90fa9ae8   Ram Pai   [PATCH] shared mo...
141
   */
c937135d9   Al Viro   vfs: spread struc...
142
143
  static struct mount *propagation_next(struct mount *m,
  					 struct mount *origin)
b90fa9ae8   Ram Pai   [PATCH] shared mo...
144
  {
5afe00221   Ram Pai   [PATCH] handling ...
145
  	/* are there any slaves of this mount? */
143c8c91c   Al Viro   vfs: mnt_ns moved...
146
  	if (!IS_MNT_NEW(m) && !list_empty(&m->mnt_slave_list))
5afe00221   Ram Pai   [PATCH] handling ...
147
148
149
  		return first_slave(m);
  
  	while (1) {
32301920f   Al Viro   vfs: and now we c...
150
  		struct mount *master = m->mnt_master;
5afe00221   Ram Pai   [PATCH] handling ...
151

32301920f   Al Viro   vfs: and now we c...
152
  		if (master == origin->mnt_master) {
c937135d9   Al Viro   vfs: spread struc...
153
154
  			struct mount *next = next_peer(m);
  			return (next == origin) ? NULL : next;
6776db3d3   Al Viro   vfs: take mnt_sha...
155
  		} else if (m->mnt_slave.next != &master->mnt_slave_list)
5afe00221   Ram Pai   [PATCH] handling ...
156
157
158
159
160
161
  			return next_slave(m);
  
  		/* back at master */
  		m = master;
  	}
  }
296990deb   Eric W. Biederman   mnt: Make propaga...
162
163
164
165
166
167
168
169
170
171
172
173
  static struct mount *skip_propagation_subtree(struct mount *m,
  						struct mount *origin)
  {
  	/*
  	 * Advance m such that propagation_next will not return
  	 * the slaves of m.
  	 */
  	if (!IS_MNT_NEW(m) && !list_empty(&m->mnt_slave_list))
  		m = last_slave(m);
  
  	return m;
  }
f2ebb3a92   Al Viro   smarter propagate...
174
  static struct mount *next_group(struct mount *m, struct mount *origin)
5afe00221   Ram Pai   [PATCH] handling ...
175
  {
f2ebb3a92   Al Viro   smarter propagate...
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
  	while (1) {
  		while (1) {
  			struct mount *next;
  			if (!IS_MNT_NEW(m) && !list_empty(&m->mnt_slave_list))
  				return first_slave(m);
  			next = next_peer(m);
  			if (m->mnt_group_id == origin->mnt_group_id) {
  				if (next == origin)
  					return NULL;
  			} else if (m->mnt_slave.next != &next->mnt_slave)
  				break;
  			m = next;
  		}
  		/* m is the last peer */
  		while (1) {
  			struct mount *master = m->mnt_master;
  			if (m->mnt_slave.next != &master->mnt_slave_list)
  				return next_slave(m);
  			m = next_peer(master);
  			if (master->mnt_group_id == origin->mnt_group_id)
  				break;
  			if (master->mnt_slave.next == &m->mnt_slave)
  				break;
  			m = master;
  		}
  		if (m == origin)
  			return NULL;
5afe00221   Ram Pai   [PATCH] handling ...
203
  	}
f2ebb3a92   Al Viro   smarter propagate...
204
  }
5afe00221   Ram Pai   [PATCH] handling ...
205

f2ebb3a92   Al Viro   smarter propagate...
206
  /* all accesses are serialized by namespace_sem */
5ec0811d3   Eric W. Biederman   propogate_mnt: Ha...
207
  static struct mount *last_dest, *first_source, *last_source, *dest_master;
f2ebb3a92   Al Viro   smarter propagate...
208
209
  static struct mountpoint *mp;
  static struct hlist_head *list;
7ae8fd035   Maxim Patlasov   fs/pnode.c: treat...
210
211
212
213
  static inline bool peers(struct mount *m1, struct mount *m2)
  {
  	return m1->mnt_group_id == m2->mnt_group_id && m1->mnt_group_id;
  }
f2ebb3a92   Al Viro   smarter propagate...
214
215
216
217
218
219
220
221
222
223
  static int propagate_one(struct mount *m)
  {
  	struct mount *child;
  	int type;
  	/* skip ones added by this propagate_mnt() */
  	if (IS_MNT_NEW(m))
  		return 0;
  	/* skip if mountpoint isn't covered by it */
  	if (!is_subdir(mp->m_dentry, m->mnt.mnt_root))
  		return 0;
7ae8fd035   Maxim Patlasov   fs/pnode.c: treat...
224
  	if (peers(m, last_dest)) {
f2ebb3a92   Al Viro   smarter propagate...
225
226
227
  		type = CL_MAKE_SHARED;
  	} else {
  		struct mount *n, *p;
5ec0811d3   Eric W. Biederman   propogate_mnt: Ha...
228
  		bool done;
f2ebb3a92   Al Viro   smarter propagate...
229
230
  		for (n = m; ; n = p) {
  			p = n->mnt_master;
5ec0811d3   Eric W. Biederman   propogate_mnt: Ha...
231
  			if (p == dest_master || IS_MNT_MARKED(p))
f2ebb3a92   Al Viro   smarter propagate...
232
  				break;
796a6b521   Al Viro   Kill CL_PROPAGATI...
233
  		}
5ec0811d3   Eric W. Biederman   propogate_mnt: Ha...
234
235
236
237
238
239
240
241
242
  		do {
  			struct mount *parent = last_source->mnt_parent;
  			if (last_source == first_source)
  				break;
  			done = parent->mnt_master == p;
  			if (done && peers(n, parent))
  				break;
  			last_source = last_source->mnt_master;
  		} while (!done);
f2ebb3a92   Al Viro   smarter propagate...
243
244
245
246
  		type = CL_SLAVE;
  		/* beginning of peer group among the slaves? */
  		if (IS_MNT_SHARED(m))
  			type |= CL_MAKE_SHARED;
5afe00221   Ram Pai   [PATCH] handling ...
247
  	}
f2ebb3a92   Al Viro   smarter propagate...
248
  		
f2ebb3a92   Al Viro   smarter propagate...
249
250
251
  	child = copy_tree(last_source, last_source->mnt.mnt_root, type);
  	if (IS_ERR(child))
  		return PTR_ERR(child);
b0d3869ce   Al Viro   propagate_one(): ...
252
  	read_seqlock_excl(&mount_lock);
f2ebb3a92   Al Viro   smarter propagate...
253
  	mnt_set_mountpoint(m, mp, child);
b0d3869ce   Al Viro   propagate_one(): ...
254
255
256
  	if (m->mnt_master != dest_master)
  		SET_MNT_MARK(m->mnt_master);
  	read_sequnlock_excl(&mount_lock);
f2ebb3a92   Al Viro   smarter propagate...
257
258
  	last_dest = m;
  	last_source = child;
f2ebb3a92   Al Viro   smarter propagate...
259
  	hlist_add_head(&child->mnt_hash, list);
d29216842   Eric W. Biederman   mnt: Add a per mo...
260
  	return count_mounts(m->mnt_ns, child);
b90fa9ae8   Ram Pai   [PATCH] shared mo...
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
  }
  
  /*
   * mount 'source_mnt' under the destination 'dest_mnt' at
   * dentry 'dest_dentry'. And propagate that mount to
   * all the peer and slave mounts of 'dest_mnt'.
   * Link all the new mounts into a propagation tree headed at
   * source_mnt. Also link all the new mounts using ->mnt_list
   * headed at source_mnt's ->mnt_list
   *
   * @dest_mnt: destination mount.
   * @dest_dentry: destination dentry.
   * @source_mnt: source mount.
   * @tree_list : list of heads of trees to be attached.
   */
84d17192d   Al Viro   get rid of full-h...
276
  int propagate_mnt(struct mount *dest_mnt, struct mountpoint *dest_mp,
38129a13e   Al Viro   switch mnt_hash t...
277
  		    struct mount *source_mnt, struct hlist_head *tree_list)
b90fa9ae8   Ram Pai   [PATCH] shared mo...
278
  {
f2ebb3a92   Al Viro   smarter propagate...
279
  	struct mount *m, *n;
b90fa9ae8   Ram Pai   [PATCH] shared mo...
280
  	int ret = 0;
132c94e31   Eric W. Biederman   vfs: Carefully pr...
281

f2ebb3a92   Al Viro   smarter propagate...
282
283
284
285
286
  	/*
  	 * we don't want to bother passing tons of arguments to
  	 * propagate_one(); everything is serialized by namespace_sem,
  	 * so globals will do just fine.
  	 */
f2ebb3a92   Al Viro   smarter propagate...
287
  	last_dest = dest_mnt;
5ec0811d3   Eric W. Biederman   propogate_mnt: Ha...
288
  	first_source = source_mnt;
f2ebb3a92   Al Viro   smarter propagate...
289
290
291
292
293
294
295
296
297
  	last_source = source_mnt;
  	mp = dest_mp;
  	list = tree_list;
  	dest_master = dest_mnt->mnt_master;
  
  	/* all peers of dest_mnt, except dest_mnt itself */
  	for (n = next_peer(dest_mnt); n != dest_mnt; n = next_peer(n)) {
  		ret = propagate_one(n);
  		if (ret)
b90fa9ae8   Ram Pai   [PATCH] shared mo...
298
  			goto out;
f2ebb3a92   Al Viro   smarter propagate...
299
  	}
b90fa9ae8   Ram Pai   [PATCH] shared mo...
300

f2ebb3a92   Al Viro   smarter propagate...
301
302
303
304
305
306
307
308
309
310
311
  	/* all slave groups */
  	for (m = next_group(dest_mnt, dest_mnt); m;
  			m = next_group(m, dest_mnt)) {
  		/* everything in that slave group */
  		n = m;
  		do {
  			ret = propagate_one(n);
  			if (ret)
  				goto out;
  			n = next_peer(n);
  		} while (n != m);
b90fa9ae8   Ram Pai   [PATCH] shared mo...
312
313
  	}
  out:
f2ebb3a92   Al Viro   smarter propagate...
314
315
316
317
318
  	read_seqlock_excl(&mount_lock);
  	hlist_for_each_entry(n, tree_list, mnt_hash) {
  		m = n->mnt_parent;
  		if (m->mnt_master != dest_mnt->mnt_master)
  			CLEAR_MNT_MARK(m->mnt_master);
b90fa9ae8   Ram Pai   [PATCH] shared mo...
319
  	}
f2ebb3a92   Al Viro   smarter propagate...
320
  	read_sequnlock_excl(&mount_lock);
b90fa9ae8   Ram Pai   [PATCH] shared mo...
321
322
  	return ret;
  }
a05964f39   Ram Pai   [PATCH] shared mo...
323

1064f874a   Eric W. Biederman   mnt: Tuck mounts ...
324
325
326
327
328
329
330
331
332
333
334
335
336
337
  static struct mount *find_topper(struct mount *mnt)
  {
  	/* If there is exactly one mount covering mnt completely return it. */
  	struct mount *child;
  
  	if (!list_is_singular(&mnt->mnt_mounts))
  		return NULL;
  
  	child = list_first_entry(&mnt->mnt_mounts, struct mount, mnt_child);
  	if (child->mnt_mountpoint != mnt->mnt.mnt_root)
  		return NULL;
  
  	return child;
  }
a05964f39   Ram Pai   [PATCH] shared mo...
338
339
340
  /*
   * return true if the refcount is greater than count
   */
1ab597386   Al Viro   vfs: spread struc...
341
  static inline int do_refcount_check(struct mount *mnt, int count)
a05964f39   Ram Pai   [PATCH] shared mo...
342
  {
aba809cf0   Al Viro   namespace.c: get ...
343
  	return mnt_get_count(mnt) > count;
a05964f39   Ram Pai   [PATCH] shared mo...
344
345
346
347
348
349
350
351
352
  }
  
  /*
   * check if the mount 'mnt' can be unmounted successfully.
   * @mnt: the mount to be checked for unmount
   * NOTE: unmounting 'mnt' would naturally propagate to all
   * other mounts its parent propagates to.
   * Check if any of these mounts that **do not have submounts**
   * have more references than 'refcnt'. If so return busy.
99b7db7b8   Nick Piggin   fs: brlock vfsmou...
353
   *
b3e19d924   Nick Piggin   fs: scale mntget/...
354
   * vfsmount lock must be held for write
a05964f39   Ram Pai   [PATCH] shared mo...
355
   */
1ab597386   Al Viro   vfs: spread struc...
356
  int propagate_mount_busy(struct mount *mnt, int refcnt)
a05964f39   Ram Pai   [PATCH] shared mo...
357
  {
1064f874a   Eric W. Biederman   mnt: Tuck mounts ...
358
  	struct mount *m, *child, *topper;
0714a5338   Al Viro   vfs: now it can b...
359
  	struct mount *parent = mnt->mnt_parent;
a05964f39   Ram Pai   [PATCH] shared mo...
360

0714a5338   Al Viro   vfs: now it can b...
361
  	if (mnt == parent)
a05964f39   Ram Pai   [PATCH] shared mo...
362
363
364
365
366
367
368
  		return do_refcount_check(mnt, refcnt);
  
  	/*
  	 * quickly check if the current mount can be unmounted.
  	 * If not, we don't have to go checking for all other
  	 * mounts
  	 */
6b41d536f   Al Viro   vfs: take mnt_chi...
369
  	if (!list_empty(&mnt->mnt_mounts) || do_refcount_check(mnt, refcnt))
a05964f39   Ram Pai   [PATCH] shared mo...
370
  		return 1;
c937135d9   Al Viro   vfs: spread struc...
371
372
  	for (m = propagation_next(parent, parent); m;
  	     		m = propagation_next(m, parent)) {
1064f874a   Eric W. Biederman   mnt: Tuck mounts ...
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
  		int count = 1;
  		child = __lookup_mnt(&m->mnt, mnt->mnt_mountpoint);
  		if (!child)
  			continue;
  
  		/* Is there exactly one mount on the child that covers
  		 * it completely whose reference should be ignored?
  		 */
  		topper = find_topper(child);
  		if (topper)
  			count += 1;
  		else if (!list_empty(&child->mnt_mounts))
  			continue;
  
  		if (do_refcount_check(child, count))
  			return 1;
a05964f39   Ram Pai   [PATCH] shared mo...
389
  	}
1064f874a   Eric W. Biederman   mnt: Tuck mounts ...
390
  	return 0;
a05964f39   Ram Pai   [PATCH] shared mo...
391
392
393
  }
  
  /*
5d88457eb   Eric W. Biederman   mnt: On an unmoun...
394
395
396
397
398
399
400
401
402
403
404
405
406
   * Clear MNT_LOCKED when it can be shown to be safe.
   *
   * mount_lock lock must be held for write
   */
  void propagate_mount_unlock(struct mount *mnt)
  {
  	struct mount *parent = mnt->mnt_parent;
  	struct mount *m, *child;
  
  	BUG_ON(parent == mnt);
  
  	for (m = propagation_next(parent, parent); m;
  			m = propagation_next(m, parent)) {
1064f874a   Eric W. Biederman   mnt: Tuck mounts ...
407
  		child = __lookup_mnt(&m->mnt, mnt->mnt_mountpoint);
5d88457eb   Eric W. Biederman   mnt: On an unmoun...
408
409
410
411
  		if (child)
  			child->mnt.mnt_flags &= ~MNT_LOCKED;
  	}
  }
99b19d164   Eric W. Biederman   mnt: In propgate_...
412
  static void umount_one(struct mount *mnt, struct list_head *to_umount)
0c56fe314   Eric W. Biederman   mnt: Don't propag...
413
  {
99b19d164   Eric W. Biederman   mnt: In propgate_...
414
415
416
417
418
  	CLEAR_MNT_MARK(mnt);
  	mnt->mnt.mnt_flags |= MNT_UMOUNT;
  	list_del_init(&mnt->mnt_child);
  	list_del_init(&mnt->mnt_umounting);
  	list_move_tail(&mnt->mnt_list, to_umount);
0c56fe314   Eric W. Biederman   mnt: Don't propag...
419
420
421
  }
  
  /*
a05964f39   Ram Pai   [PATCH] shared mo...
422
423
424
   * NOTE: unmounting 'mnt' naturally propagates to all other mounts its
   * parent propagates to.
   */
99b19d164   Eric W. Biederman   mnt: In propgate_...
425
426
427
  static bool __propagate_umount(struct mount *mnt,
  			       struct list_head *to_umount,
  			       struct list_head *to_restore)
a05964f39   Ram Pai   [PATCH] shared mo...
428
  {
99b19d164   Eric W. Biederman   mnt: In propgate_...
429
430
  	bool progress = false;
  	struct mount *child;
a05964f39   Ram Pai   [PATCH] shared mo...
431

99b19d164   Eric W. Biederman   mnt: In propgate_...
432
433
434
435
436
437
  	/*
  	 * The state of the parent won't change if this mount is
  	 * already unmounted or marked as without children.
  	 */
  	if (mnt->mnt.mnt_flags & (MNT_UMOUNT | MNT_MARKED))
  		goto out;
a05964f39   Ram Pai   [PATCH] shared mo...
438

99b19d164   Eric W. Biederman   mnt: In propgate_...
439
440
441
442
443
  	/* Verify topper is the only grandchild that has not been
  	 * speculatively unmounted.
  	 */
  	list_for_each_entry(child, &mnt->mnt_mounts, mnt_child) {
  		if (child->mnt_mountpoint == mnt->mnt.mnt_root)
0c56fe314   Eric W. Biederman   mnt: Don't propag...
444
  			continue;
99b19d164   Eric W. Biederman   mnt: In propgate_...
445
446
447
448
449
  		if (!list_empty(&child->mnt_umounting) && IS_MNT_MARKED(child))
  			continue;
  		/* Found a mounted child */
  		goto children;
  	}
1064f874a   Eric W. Biederman   mnt: Tuck mounts ...
450

99b19d164   Eric W. Biederman   mnt: In propgate_...
451
452
453
  	/* Mark mounts that can be unmounted if not locked */
  	SET_MNT_MARK(mnt);
  	progress = true;
1064f874a   Eric W. Biederman   mnt: Tuck mounts ...
454

99b19d164   Eric W. Biederman   mnt: In propgate_...
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
  	/* If a mount is without children and not locked umount it. */
  	if (!IS_MNT_LOCKED(mnt)) {
  		umount_one(mnt, to_umount);
  	} else {
  children:
  		list_move_tail(&mnt->mnt_umounting, to_restore);
  	}
  out:
  	return progress;
  }
  
  static void umount_list(struct list_head *to_umount,
  			struct list_head *to_restore)
  {
  	struct mount *mnt, *child, *tmp;
  	list_for_each_entry(mnt, to_umount, mnt_list) {
  		list_for_each_entry_safe(child, tmp, &mnt->mnt_mounts, mnt_child) {
  			/* topper? */
  			if (child->mnt_mountpoint == mnt->mnt.mnt_root)
  				list_move_tail(&child->mnt_umounting, to_restore);
  			else
  				umount_one(child, to_umount);
38129a13e   Al Viro   switch mnt_hash t...
477
  		}
a05964f39   Ram Pai   [PATCH] shared mo...
478
479
  	}
  }
99b19d164   Eric W. Biederman   mnt: In propgate_...
480
  static void restore_mounts(struct list_head *to_restore)
570487d3f   Eric W. Biederman   mnt: In umount pr...
481
  {
99b19d164   Eric W. Biederman   mnt: In propgate_...
482
483
  	/* Restore mounts to a clean working state */
  	while (!list_empty(to_restore)) {
570487d3f   Eric W. Biederman   mnt: In umount pr...
484
485
  		struct mount *mnt, *parent;
  		struct mountpoint *mp;
99b19d164   Eric W. Biederman   mnt: In propgate_...
486
487
488
  		mnt = list_first_entry(to_restore, struct mount, mnt_umounting);
  		CLEAR_MNT_MARK(mnt);
  		list_del_init(&mnt->mnt_umounting);
570487d3f   Eric W. Biederman   mnt: In umount pr...
489

99b19d164   Eric W. Biederman   mnt: In propgate_...
490
  		/* Should this mount be reparented? */
570487d3f   Eric W. Biederman   mnt: In umount pr...
491
492
493
494
495
496
  		mp = mnt->mnt_mp;
  		parent = mnt->mnt_parent;
  		while (parent->mnt.mnt_flags & MNT_UMOUNT) {
  			mp = parent->mnt_mp;
  			parent = parent->mnt_parent;
  		}
99b19d164   Eric W. Biederman   mnt: In propgate_...
497
498
  		if (parent != mnt->mnt_parent)
  			mnt_change_mountpoint(parent, mp, mnt);
570487d3f   Eric W. Biederman   mnt: In umount pr...
499
500
  	}
  }
296990deb   Eric W. Biederman   mnt: Make propaga...
501
502
503
504
505
506
507
508
  static void cleanup_umount_visitations(struct list_head *visited)
  {
  	while (!list_empty(visited)) {
  		struct mount *mnt =
  			list_first_entry(visited, struct mount, mnt_umounting);
  		list_del_init(&mnt->mnt_umounting);
  	}
  }
a05964f39   Ram Pai   [PATCH] shared mo...
509
510
511
512
  /*
   * collect all mounts that receive propagation from the mount in @list,
   * and return these additional mounts in the same list.
   * @list: the list of mounts to be unmounted.
99b7db7b8   Nick Piggin   fs: brlock vfsmou...
513
514
   *
   * vfsmount lock must be held for write
a05964f39   Ram Pai   [PATCH] shared mo...
515
   */
c003b26ff   Eric W. Biederman   mnt: In umount_tr...
516
  int propagate_umount(struct list_head *list)
a05964f39   Ram Pai   [PATCH] shared mo...
517
  {
61ef47b1e   Al Viro   vfs: spread struc...
518
  	struct mount *mnt;
99b19d164   Eric W. Biederman   mnt: In propgate_...
519
520
  	LIST_HEAD(to_restore);
  	LIST_HEAD(to_umount);
296990deb   Eric W. Biederman   mnt: Make propaga...
521
  	LIST_HEAD(visited);
a05964f39   Ram Pai   [PATCH] shared mo...
522

296990deb   Eric W. Biederman   mnt: Make propaga...
523
524
  	/* Find candidates for unmounting */
  	list_for_each_entry_reverse(mnt, list, mnt_list) {
99b19d164   Eric W. Biederman   mnt: In propgate_...
525
526
  		struct mount *parent = mnt->mnt_parent;
  		struct mount *m;
0c56fe314   Eric W. Biederman   mnt: Don't propag...
527

296990deb   Eric W. Biederman   mnt: Make propaga...
528
529
530
531
532
533
534
535
536
537
  		/*
  		 * If this mount has already been visited it is known that it's
  		 * entire peer group and all of their slaves in the propagation
  		 * tree for the mountpoint has already been visited and there is
  		 * no need to visit them again.
  		 */
  		if (!list_empty(&mnt->mnt_umounting))
  			continue;
  
  		list_add_tail(&mnt->mnt_umounting, &visited);
99b19d164   Eric W. Biederman   mnt: In propgate_...
538
539
540
541
542
543
  		for (m = propagation_next(parent, parent); m;
  		     m = propagation_next(m, parent)) {
  			struct mount *child = __lookup_mnt(&m->mnt,
  							   mnt->mnt_mountpoint);
  			if (!child)
  				continue;
296990deb   Eric W. Biederman   mnt: Make propaga...
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
  			if (!list_empty(&child->mnt_umounting)) {
  				/*
  				 * If the child has already been visited it is
  				 * know that it's entire peer group and all of
  				 * their slaves in the propgation tree for the
  				 * mountpoint has already been visited and there
  				 * is no need to visit this subtree again.
  				 */
  				m = skip_propagation_subtree(m, parent);
  				continue;
  			} else if (child->mnt.mnt_flags & MNT_UMOUNT) {
  				/*
  				 * We have come accross an partially unmounted
  				 * mount in list that has not been visited yet.
  				 * Remember it has been visited and continue
  				 * about our merry way.
  				 */
  				list_add_tail(&child->mnt_umounting, &visited);
  				continue;
  			}
99b19d164   Eric W. Biederman   mnt: In propgate_...
564
565
566
567
568
569
570
571
572
573
  			/* Check the child and parents while progress is made */
  			while (__propagate_umount(child,
  						  &to_umount, &to_restore)) {
  				/* Is the parent a umount candidate? */
  				child = child->mnt_parent;
  				if (list_empty(&child->mnt_umounting))
  					break;
  			}
  		}
  	}
570487d3f   Eric W. Biederman   mnt: In umount pr...
574

99b19d164   Eric W. Biederman   mnt: In propgate_...
575
576
  	umount_list(&to_umount, &to_restore);
  	restore_mounts(&to_restore);
296990deb   Eric W. Biederman   mnt: Make propaga...
577
  	cleanup_umount_visitations(&visited);
99b19d164   Eric W. Biederman   mnt: In propgate_...
578
  	list_splice_tail(&to_umount, list);
570487d3f   Eric W. Biederman   mnt: In umount pr...
579

a05964f39   Ram Pai   [PATCH] shared mo...
580
581
  	return 0;
  }