xref: /titanic_41/usr/src/uts/common/fs/zfs/vdev_label.c (revision 1b94c6ef630dcd38cba57da1d3a34e80e6b35559)
1 /*
2  * CDDL HEADER START
3  *
4  * The contents of this file are subject to the terms of the
5  * Common Development and Distribution License (the "License").
6  * You may not use this file except in compliance with the License.
7  *
8  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9  * or http://www.opensolaris.org/os/licensing.
10  * See the License for the specific language governing permissions
11  * and limitations under the License.
12  *
13  * When distributing Covered Code, include this CDDL HEADER in each
14  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15  * If applicable, add the following below this CDDL HEADER, with the
16  * fields enclosed by brackets "[]" replaced with your own identifying
17  * information: Portions Copyright [yyyy] [name of copyright owner]
18  *
19  * CDDL HEADER END
20  */
21 /*
22  * Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
23  * Use is subject to license terms.
24  */
25 
26 /*
27  * Virtual Device Labels
28  * ---------------------
29  *
30  * The vdev label serves several distinct purposes:
31  *
32  *	1. Uniquely identify this device as part of a ZFS pool and confirm its
33  *	   identity within the pool.
34  *
35  * 	2. Verify that all the devices given in a configuration are present
36  *         within the pool.
37  *
38  * 	3. Determine the uberblock for the pool.
39  *
40  * 	4. In case of an import operation, determine the configuration of the
41  *         toplevel vdev of which it is a part.
42  *
43  * 	5. If an import operation cannot find all the devices in the pool,
44  *         provide enough information to the administrator to determine which
45  *         devices are missing.
46  *
47  * It is important to note that while the kernel is responsible for writing the
48  * label, it only consumes the information in the first three cases.  The
49  * latter information is only consumed in userland when determining the
50  * configuration to import a pool.
51  *
52  *
53  * Label Organization
54  * ------------------
55  *
56  * Before describing the contents of the label, it's important to understand how
57  * the labels are written and updated with respect to the uberblock.
58  *
59  * When the pool configuration is altered, either because it was newly created
60  * or a device was added, we want to update all the labels such that we can deal
61  * with fatal failure at any point.  To this end, each disk has two labels which
62  * are updated before and after the uberblock is synced.  Assuming we have
63  * labels and an uberblock with the following transaction groups:
64  *
65  *              L1          UB          L2
66  *           +------+    +------+    +------+
67  *           |      |    |      |    |      |
68  *           | t10  |    | t10  |    | t10  |
69  *           |      |    |      |    |      |
70  *           +------+    +------+    +------+
71  *
72  * In this stable state, the labels and the uberblock were all updated within
73  * the same transaction group (10).  Each label is mirrored and checksummed, so
74  * that we can detect when we fail partway through writing the label.
75  *
76  * In order to identify which labels are valid, the labels are written in the
77  * following manner:
78  *
79  * 	1. For each vdev, update 'L1' to the new label
80  * 	2. Update the uberblock
81  * 	3. For each vdev, update 'L2' to the new label
82  *
83  * Given arbitrary failure, we can determine the correct label to use based on
84  * the transaction group.  If we fail after updating L1 but before updating the
85  * UB, we will notice that L1's transaction group is greater than the uberblock,
86  * so L2 must be valid.  If we fail after writing the uberblock but before
87  * writing L2, we will notice that L2's transaction group is less than L1, and
88  * therefore L1 is valid.
89  *
90  * Another added complexity is that not every label is updated when the config
91  * is synced.  If we add a single device, we do not want to have to re-write
92  * every label for every device in the pool.  This means that both L1 and L2 may
93  * be older than the pool uberblock, because the necessary information is stored
94  * on another vdev.
95  *
96  *
97  * On-disk Format
98  * --------------
99  *
100  * The vdev label consists of two distinct parts, and is wrapped within the
101  * vdev_label_t structure.  The label includes 8k of padding to permit legacy
102  * VTOC disk labels, but is otherwise ignored.
103  *
104  * The first half of the label is a packed nvlist which contains pool wide
105  * properties, per-vdev properties, and configuration information.  It is
106  * described in more detail below.
107  *
108  * The latter half of the label consists of a redundant array of uberblocks.
109  * These uberblocks are updated whenever a transaction group is committed,
110  * or when the configuration is updated.  When a pool is loaded, we scan each
111  * vdev for the 'best' uberblock.
112  *
113  *
114  * Configuration Information
115  * -------------------------
116  *
117  * The nvlist describing the pool and vdev contains the following elements:
118  *
119  * 	version		ZFS on-disk version
120  * 	name		Pool name
121  * 	state		Pool state
122  * 	txg		Transaction group in which this label was written
123  * 	pool_guid	Unique identifier for this pool
124  * 	vdev_tree	An nvlist describing vdev tree.
125  *
126  * Each leaf device label also contains the following:
127  *
128  * 	top_guid	Unique ID for top-level vdev in which this is contained
129  * 	guid		Unique ID for the leaf vdev
130  *
131  * The 'vs' configuration follows the format described in 'spa_config.c'.
132  */
133 
134 #include <sys/zfs_context.h>
135 #include <sys/spa.h>
136 #include <sys/spa_impl.h>
137 #include <sys/dmu.h>
138 #include <sys/zap.h>
139 #include <sys/vdev.h>
140 #include <sys/vdev_impl.h>
141 #include <sys/uberblock_impl.h>
142 #include <sys/metaslab.h>
143 #include <sys/zio.h>
144 #include <sys/fs/zfs.h>
145 
146 /*
147  * Basic routines to read and write from a vdev label.
148  * Used throughout the rest of this file.
149  */
150 uint64_t
151 vdev_label_offset(uint64_t psize, int l, uint64_t offset)
152 {
153 	ASSERT(offset < sizeof (vdev_label_t));
154 	ASSERT(P2PHASE_TYPED(psize, sizeof (vdev_label_t), uint64_t) == 0);
155 
156 	return (offset + l * sizeof (vdev_label_t) + (l < VDEV_LABELS / 2 ?
157 	    0 : psize - VDEV_LABELS * sizeof (vdev_label_t)));
158 }
159 
160 /*
161  * Returns back the vdev label associated with the passed in offset.
162  */
163 int
164 vdev_label_number(uint64_t psize, uint64_t offset)
165 {
166 	int l;
167 
168 	if (offset >= psize - VDEV_LABEL_END_SIZE) {
169 		offset -= psize - VDEV_LABEL_END_SIZE;
170 		offset += (VDEV_LABELS / 2) * sizeof (vdev_label_t);
171 	}
172 	l = offset / sizeof (vdev_label_t);
173 	return (l < VDEV_LABELS ? l : -1);
174 }
175 
176 static void
177 vdev_label_read(zio_t *zio, vdev_t *vd, int l, void *buf, uint64_t offset,
178 	uint64_t size, zio_done_func_t *done, void *private, int flags)
179 {
180 	ASSERT(spa_config_held(zio->io_spa, SCL_STATE_ALL, RW_WRITER) ==
181 	    SCL_STATE_ALL);
182 	ASSERT(flags & ZIO_FLAG_CONFIG_WRITER);
183 
184 	zio_nowait(zio_read_phys(zio, vd,
185 	    vdev_label_offset(vd->vdev_psize, l, offset),
186 	    size, buf, ZIO_CHECKSUM_LABEL, done, private,
187 	    ZIO_PRIORITY_SYNC_READ, flags, B_TRUE));
188 }
189 
190 static void
191 vdev_label_write(zio_t *zio, vdev_t *vd, int l, void *buf, uint64_t offset,
192 	uint64_t size, zio_done_func_t *done, void *private, int flags)
193 {
194 	ASSERT(spa_config_held(zio->io_spa, SCL_ALL, RW_WRITER) == SCL_ALL ||
195 	    (spa_config_held(zio->io_spa, SCL_CONFIG | SCL_STATE, RW_READER) ==
196 	    (SCL_CONFIG | SCL_STATE) &&
197 	    dsl_pool_sync_context(spa_get_dsl(zio->io_spa))));
198 	ASSERT(flags & ZIO_FLAG_CONFIG_WRITER);
199 
200 	zio_nowait(zio_write_phys(zio, vd,
201 	    vdev_label_offset(vd->vdev_psize, l, offset),
202 	    size, buf, ZIO_CHECKSUM_LABEL, done, private,
203 	    ZIO_PRIORITY_SYNC_WRITE, flags, B_TRUE));
204 }
205 
206 /*
207  * Generate the nvlist representing this vdev's config.
208  */
209 nvlist_t *
210 vdev_config_generate(spa_t *spa, vdev_t *vd, boolean_t getstats,
211     boolean_t isspare, boolean_t isl2cache)
212 {
213 	nvlist_t *nv = NULL;
214 
215 	VERIFY(nvlist_alloc(&nv, NV_UNIQUE_NAME, KM_SLEEP) == 0);
216 
217 	VERIFY(nvlist_add_string(nv, ZPOOL_CONFIG_TYPE,
218 	    vd->vdev_ops->vdev_op_type) == 0);
219 	if (!isspare && !isl2cache)
220 		VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_ID, vd->vdev_id)
221 		    == 0);
222 	VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_GUID, vd->vdev_guid) == 0);
223 
224 	if (vd->vdev_path != NULL)
225 		VERIFY(nvlist_add_string(nv, ZPOOL_CONFIG_PATH,
226 		    vd->vdev_path) == 0);
227 
228 	if (vd->vdev_devid != NULL)
229 		VERIFY(nvlist_add_string(nv, ZPOOL_CONFIG_DEVID,
230 		    vd->vdev_devid) == 0);
231 
232 	if (vd->vdev_physpath != NULL)
233 		VERIFY(nvlist_add_string(nv, ZPOOL_CONFIG_PHYS_PATH,
234 		    vd->vdev_physpath) == 0);
235 
236 	if (vd->vdev_fru != NULL)
237 		VERIFY(nvlist_add_string(nv, ZPOOL_CONFIG_FRU,
238 		    vd->vdev_fru) == 0);
239 
240 	if (vd->vdev_nparity != 0) {
241 		ASSERT(strcmp(vd->vdev_ops->vdev_op_type,
242 		    VDEV_TYPE_RAIDZ) == 0);
243 
244 		/*
245 		 * Make sure someone hasn't managed to sneak a fancy new vdev
246 		 * into a crufty old storage pool.
247 		 */
248 		ASSERT(vd->vdev_nparity == 1 ||
249 		    (vd->vdev_nparity == 2 &&
250 		    spa_version(spa) >= SPA_VERSION_RAID6));
251 
252 		/*
253 		 * Note that we'll add the nparity tag even on storage pools
254 		 * that only support a single parity device -- older software
255 		 * will just ignore it.
256 		 */
257 		VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_NPARITY,
258 		    vd->vdev_nparity) == 0);
259 	}
260 
261 	if (vd->vdev_wholedisk != -1ULL)
262 		VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_WHOLE_DISK,
263 		    vd->vdev_wholedisk) == 0);
264 
265 	if (vd->vdev_not_present)
266 		VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_NOT_PRESENT, 1) == 0);
267 
268 	if (vd->vdev_isspare)
269 		VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_IS_SPARE, 1) == 0);
270 
271 	if (!isspare && !isl2cache && vd == vd->vdev_top) {
272 		VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_METASLAB_ARRAY,
273 		    vd->vdev_ms_array) == 0);
274 		VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_METASLAB_SHIFT,
275 		    vd->vdev_ms_shift) == 0);
276 		VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_ASHIFT,
277 		    vd->vdev_ashift) == 0);
278 		VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_ASIZE,
279 		    vd->vdev_asize) == 0);
280 		VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_IS_LOG,
281 		    vd->vdev_islog) == 0);
282 	}
283 
284 	if (vd->vdev_dtl_smo.smo_object != 0)
285 		VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_DTL,
286 		    vd->vdev_dtl_smo.smo_object) == 0);
287 
288 	if (getstats) {
289 		vdev_stat_t vs;
290 		vdev_get_stats(vd, &vs);
291 		VERIFY(nvlist_add_uint64_array(nv, ZPOOL_CONFIG_STATS,
292 		    (uint64_t *)&vs, sizeof (vs) / sizeof (uint64_t)) == 0);
293 	}
294 
295 	if (!vd->vdev_ops->vdev_op_leaf) {
296 		nvlist_t **child;
297 		int c;
298 
299 		child = kmem_alloc(vd->vdev_children * sizeof (nvlist_t *),
300 		    KM_SLEEP);
301 
302 		for (c = 0; c < vd->vdev_children; c++)
303 			child[c] = vdev_config_generate(spa, vd->vdev_child[c],
304 			    getstats, isspare, isl2cache);
305 
306 		VERIFY(nvlist_add_nvlist_array(nv, ZPOOL_CONFIG_CHILDREN,
307 		    child, vd->vdev_children) == 0);
308 
309 		for (c = 0; c < vd->vdev_children; c++)
310 			nvlist_free(child[c]);
311 
312 		kmem_free(child, vd->vdev_children * sizeof (nvlist_t *));
313 
314 	} else {
315 		if (vd->vdev_offline && !vd->vdev_tmpoffline)
316 			VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_OFFLINE,
317 			    B_TRUE) == 0);
318 		if (vd->vdev_faulted)
319 			VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_FAULTED,
320 			    B_TRUE) == 0);
321 		if (vd->vdev_degraded)
322 			VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_DEGRADED,
323 			    B_TRUE) == 0);
324 		if (vd->vdev_removed)
325 			VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_REMOVED,
326 			    B_TRUE) == 0);
327 		if (vd->vdev_unspare)
328 			VERIFY(nvlist_add_uint64(nv, ZPOOL_CONFIG_UNSPARE,
329 			    B_TRUE) == 0);
330 	}
331 
332 	return (nv);
333 }
334 
335 nvlist_t *
336 vdev_label_read_config(vdev_t *vd)
337 {
338 	spa_t *spa = vd->vdev_spa;
339 	nvlist_t *config = NULL;
340 	vdev_phys_t *vp;
341 	zio_t *zio;
342 	int flags = ZIO_FLAG_CONFIG_WRITER | ZIO_FLAG_CANFAIL |
343 	    ZIO_FLAG_SPECULATIVE;
344 
345 	ASSERT(spa_config_held(spa, SCL_STATE_ALL, RW_WRITER) == SCL_STATE_ALL);
346 
347 	if (!vdev_readable(vd))
348 		return (NULL);
349 
350 	vp = zio_buf_alloc(sizeof (vdev_phys_t));
351 
352 retry:
353 	for (int l = 0; l < VDEV_LABELS; l++) {
354 
355 		zio = zio_root(spa, NULL, NULL, flags);
356 
357 		vdev_label_read(zio, vd, l, vp,
358 		    offsetof(vdev_label_t, vl_vdev_phys),
359 		    sizeof (vdev_phys_t), NULL, NULL, flags);
360 
361 		if (zio_wait(zio) == 0 &&
362 		    nvlist_unpack(vp->vp_nvlist, sizeof (vp->vp_nvlist),
363 		    &config, 0) == 0)
364 			break;
365 
366 		if (config != NULL) {
367 			nvlist_free(config);
368 			config = NULL;
369 		}
370 	}
371 
372 	if (config == NULL && !(flags & ZIO_FLAG_TRYHARD)) {
373 		flags |= ZIO_FLAG_TRYHARD;
374 		goto retry;
375 	}
376 
377 	zio_buf_free(vp, sizeof (vdev_phys_t));
378 
379 	return (config);
380 }
381 
382 /*
383  * Determine if a device is in use.  The 'spare_guid' parameter will be filled
384  * in with the device guid if this spare is active elsewhere on the system.
385  */
386 static boolean_t
387 vdev_inuse(vdev_t *vd, uint64_t crtxg, vdev_labeltype_t reason,
388     uint64_t *spare_guid, uint64_t *l2cache_guid)
389 {
390 	spa_t *spa = vd->vdev_spa;
391 	uint64_t state, pool_guid, device_guid, txg, spare_pool;
392 	uint64_t vdtxg = 0;
393 	nvlist_t *label;
394 
395 	if (spare_guid)
396 		*spare_guid = 0ULL;
397 	if (l2cache_guid)
398 		*l2cache_guid = 0ULL;
399 
400 	/*
401 	 * Read the label, if any, and perform some basic sanity checks.
402 	 */
403 	if ((label = vdev_label_read_config(vd)) == NULL)
404 		return (B_FALSE);
405 
406 	(void) nvlist_lookup_uint64(label, ZPOOL_CONFIG_CREATE_TXG,
407 	    &vdtxg);
408 
409 	if (nvlist_lookup_uint64(label, ZPOOL_CONFIG_POOL_STATE,
410 	    &state) != 0 ||
411 	    nvlist_lookup_uint64(label, ZPOOL_CONFIG_GUID,
412 	    &device_guid) != 0) {
413 		nvlist_free(label);
414 		return (B_FALSE);
415 	}
416 
417 	if (state != POOL_STATE_SPARE && state != POOL_STATE_L2CACHE &&
418 	    (nvlist_lookup_uint64(label, ZPOOL_CONFIG_POOL_GUID,
419 	    &pool_guid) != 0 ||
420 	    nvlist_lookup_uint64(label, ZPOOL_CONFIG_POOL_TXG,
421 	    &txg) != 0)) {
422 		nvlist_free(label);
423 		return (B_FALSE);
424 	}
425 
426 	nvlist_free(label);
427 
428 	/*
429 	 * Check to see if this device indeed belongs to the pool it claims to
430 	 * be a part of.  The only way this is allowed is if the device is a hot
431 	 * spare (which we check for later on).
432 	 */
433 	if (state != POOL_STATE_SPARE && state != POOL_STATE_L2CACHE &&
434 	    !spa_guid_exists(pool_guid, device_guid) &&
435 	    !spa_spare_exists(device_guid, NULL, NULL) &&
436 	    !spa_l2cache_exists(device_guid, NULL))
437 		return (B_FALSE);
438 
439 	/*
440 	 * If the transaction group is zero, then this an initialized (but
441 	 * unused) label.  This is only an error if the create transaction
442 	 * on-disk is the same as the one we're using now, in which case the
443 	 * user has attempted to add the same vdev multiple times in the same
444 	 * transaction.
445 	 */
446 	if (state != POOL_STATE_SPARE && state != POOL_STATE_L2CACHE &&
447 	    txg == 0 && vdtxg == crtxg)
448 		return (B_TRUE);
449 
450 	/*
451 	 * Check to see if this is a spare device.  We do an explicit check for
452 	 * spa_has_spare() here because it may be on our pending list of spares
453 	 * to add.  We also check if it is an l2cache device.
454 	 */
455 	if (spa_spare_exists(device_guid, &spare_pool, NULL) ||
456 	    spa_has_spare(spa, device_guid)) {
457 		if (spare_guid)
458 			*spare_guid = device_guid;
459 
460 		switch (reason) {
461 		case VDEV_LABEL_CREATE:
462 		case VDEV_LABEL_L2CACHE:
463 			return (B_TRUE);
464 
465 		case VDEV_LABEL_REPLACE:
466 			return (!spa_has_spare(spa, device_guid) ||
467 			    spare_pool != 0ULL);
468 
469 		case VDEV_LABEL_SPARE:
470 			return (spa_has_spare(spa, device_guid));
471 		}
472 	}
473 
474 	/*
475 	 * Check to see if this is an l2cache device.
476 	 */
477 	if (spa_l2cache_exists(device_guid, NULL))
478 		return (B_TRUE);
479 
480 	/*
481 	 * If the device is marked ACTIVE, then this device is in use by another
482 	 * pool on the system.
483 	 */
484 	return (state == POOL_STATE_ACTIVE);
485 }
486 
487 /*
488  * Initialize a vdev label.  We check to make sure each leaf device is not in
489  * use, and writable.  We put down an initial label which we will later
490  * overwrite with a complete label.  Note that it's important to do this
491  * sequentially, not in parallel, so that we catch cases of multiple use of the
492  * same leaf vdev in the vdev we're creating -- e.g. mirroring a disk with
493  * itself.
494  */
495 int
496 vdev_label_init(vdev_t *vd, uint64_t crtxg, vdev_labeltype_t reason)
497 {
498 	spa_t *spa = vd->vdev_spa;
499 	nvlist_t *label;
500 	vdev_phys_t *vp;
501 	char *pad2;
502 	uberblock_t *ub;
503 	zio_t *zio;
504 	char *buf;
505 	size_t buflen;
506 	int error;
507 	uint64_t spare_guid, l2cache_guid;
508 	int flags = ZIO_FLAG_CONFIG_WRITER | ZIO_FLAG_CANFAIL;
509 
510 	ASSERT(spa_config_held(spa, SCL_ALL, RW_WRITER) == SCL_ALL);
511 
512 	for (int c = 0; c < vd->vdev_children; c++)
513 		if ((error = vdev_label_init(vd->vdev_child[c],
514 		    crtxg, reason)) != 0)
515 			return (error);
516 
517 	if (!vd->vdev_ops->vdev_op_leaf)
518 		return (0);
519 
520 	/*
521 	 * Dead vdevs cannot be initialized.
522 	 */
523 	if (vdev_is_dead(vd))
524 		return (EIO);
525 
526 	/*
527 	 * Determine if the vdev is in use.
528 	 */
529 	if (reason != VDEV_LABEL_REMOVE &&
530 	    vdev_inuse(vd, crtxg, reason, &spare_guid, &l2cache_guid))
531 		return (EBUSY);
532 
533 	/*
534 	 * If this is a request to add or replace a spare or l2cache device
535 	 * that is in use elsewhere on the system, then we must update the
536 	 * guid (which was initialized to a random value) to reflect the
537 	 * actual GUID (which is shared between multiple pools).
538 	 */
539 	if (reason != VDEV_LABEL_REMOVE && reason != VDEV_LABEL_L2CACHE &&
540 	    spare_guid != 0ULL) {
541 		uint64_t guid_delta = spare_guid - vd->vdev_guid;
542 
543 		vd->vdev_guid += guid_delta;
544 
545 		for (vdev_t *pvd = vd; pvd != NULL; pvd = pvd->vdev_parent)
546 			pvd->vdev_guid_sum += guid_delta;
547 
548 		/*
549 		 * If this is a replacement, then we want to fallthrough to the
550 		 * rest of the code.  If we're adding a spare, then it's already
551 		 * labeled appropriately and we can just return.
552 		 */
553 		if (reason == VDEV_LABEL_SPARE)
554 			return (0);
555 		ASSERT(reason == VDEV_LABEL_REPLACE);
556 	}
557 
558 	if (reason != VDEV_LABEL_REMOVE && reason != VDEV_LABEL_SPARE &&
559 	    l2cache_guid != 0ULL) {
560 		uint64_t guid_delta = l2cache_guid - vd->vdev_guid;
561 
562 		vd->vdev_guid += guid_delta;
563 
564 		for (vdev_t *pvd = vd; pvd != NULL; pvd = pvd->vdev_parent)
565 			pvd->vdev_guid_sum += guid_delta;
566 
567 		/*
568 		 * If this is a replacement, then we want to fallthrough to the
569 		 * rest of the code.  If we're adding an l2cache, then it's
570 		 * already labeled appropriately and we can just return.
571 		 */
572 		if (reason == VDEV_LABEL_L2CACHE)
573 			return (0);
574 		ASSERT(reason == VDEV_LABEL_REPLACE);
575 	}
576 
577 	/*
578 	 * Initialize its label.
579 	 */
580 	vp = zio_buf_alloc(sizeof (vdev_phys_t));
581 	bzero(vp, sizeof (vdev_phys_t));
582 
583 	/*
584 	 * Generate a label describing the pool and our top-level vdev.
585 	 * We mark it as being from txg 0 to indicate that it's not
586 	 * really part of an active pool just yet.  The labels will
587 	 * be written again with a meaningful txg by spa_sync().
588 	 */
589 	if (reason == VDEV_LABEL_SPARE ||
590 	    (reason == VDEV_LABEL_REMOVE && vd->vdev_isspare)) {
591 		/*
592 		 * For inactive hot spares, we generate a special label that
593 		 * identifies as a mutually shared hot spare.  We write the
594 		 * label if we are adding a hot spare, or if we are removing an
595 		 * active hot spare (in which case we want to revert the
596 		 * labels).
597 		 */
598 		VERIFY(nvlist_alloc(&label, NV_UNIQUE_NAME, KM_SLEEP) == 0);
599 
600 		VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_VERSION,
601 		    spa_version(spa)) == 0);
602 		VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_POOL_STATE,
603 		    POOL_STATE_SPARE) == 0);
604 		VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_GUID,
605 		    vd->vdev_guid) == 0);
606 	} else if (reason == VDEV_LABEL_L2CACHE ||
607 	    (reason == VDEV_LABEL_REMOVE && vd->vdev_isl2cache)) {
608 		/*
609 		 * For level 2 ARC devices, add a special label.
610 		 */
611 		VERIFY(nvlist_alloc(&label, NV_UNIQUE_NAME, KM_SLEEP) == 0);
612 
613 		VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_VERSION,
614 		    spa_version(spa)) == 0);
615 		VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_POOL_STATE,
616 		    POOL_STATE_L2CACHE) == 0);
617 		VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_GUID,
618 		    vd->vdev_guid) == 0);
619 	} else {
620 		label = spa_config_generate(spa, vd, 0ULL, B_FALSE);
621 
622 		/*
623 		 * Add our creation time.  This allows us to detect multiple
624 		 * vdev uses as described above, and automatically expires if we
625 		 * fail.
626 		 */
627 		VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_CREATE_TXG,
628 		    crtxg) == 0);
629 	}
630 
631 	buf = vp->vp_nvlist;
632 	buflen = sizeof (vp->vp_nvlist);
633 
634 	error = nvlist_pack(label, &buf, &buflen, NV_ENCODE_XDR, KM_SLEEP);
635 	if (error != 0) {
636 		nvlist_free(label);
637 		zio_buf_free(vp, sizeof (vdev_phys_t));
638 		/* EFAULT means nvlist_pack ran out of room */
639 		return (error == EFAULT ? ENAMETOOLONG : EINVAL);
640 	}
641 
642 	/*
643 	 * Initialize uberblock template.
644 	 */
645 	ub = zio_buf_alloc(VDEV_UBERBLOCK_RING);
646 	bzero(ub, VDEV_UBERBLOCK_RING);
647 	*ub = spa->spa_uberblock;
648 	ub->ub_txg = 0;
649 
650 	/* Initialize the 2nd padding area. */
651 	pad2 = zio_buf_alloc(VDEV_PAD_SIZE);
652 	bzero(pad2, VDEV_PAD_SIZE);
653 
654 	/*
655 	 * Write everything in parallel.
656 	 */
657 retry:
658 	zio = zio_root(spa, NULL, NULL, flags);
659 
660 	for (int l = 0; l < VDEV_LABELS; l++) {
661 
662 		vdev_label_write(zio, vd, l, vp,
663 		    offsetof(vdev_label_t, vl_vdev_phys),
664 		    sizeof (vdev_phys_t), NULL, NULL, flags);
665 
666 		/*
667 		 * Skip the 1st padding area.
668 		 * Zero out the 2nd padding area where it might have
669 		 * left over data from previous filesystem format.
670 		 */
671 		vdev_label_write(zio, vd, l, pad2,
672 		    offsetof(vdev_label_t, vl_pad2),
673 		    VDEV_PAD_SIZE, NULL, NULL, flags);
674 
675 		vdev_label_write(zio, vd, l, ub,
676 		    offsetof(vdev_label_t, vl_uberblock),
677 		    VDEV_UBERBLOCK_RING, NULL, NULL, flags);
678 	}
679 
680 	error = zio_wait(zio);
681 
682 	if (error != 0 && !(flags & ZIO_FLAG_TRYHARD)) {
683 		flags |= ZIO_FLAG_TRYHARD;
684 		goto retry;
685 	}
686 
687 	nvlist_free(label);
688 	zio_buf_free(pad2, VDEV_PAD_SIZE);
689 	zio_buf_free(ub, VDEV_UBERBLOCK_RING);
690 	zio_buf_free(vp, sizeof (vdev_phys_t));
691 
692 	/*
693 	 * If this vdev hasn't been previously identified as a spare, then we
694 	 * mark it as such only if a) we are labeling it as a spare, or b) it
695 	 * exists as a spare elsewhere in the system.  Do the same for
696 	 * level 2 ARC devices.
697 	 */
698 	if (error == 0 && !vd->vdev_isspare &&
699 	    (reason == VDEV_LABEL_SPARE ||
700 	    spa_spare_exists(vd->vdev_guid, NULL, NULL)))
701 		spa_spare_add(vd);
702 
703 	if (error == 0 && !vd->vdev_isl2cache &&
704 	    (reason == VDEV_LABEL_L2CACHE ||
705 	    spa_l2cache_exists(vd->vdev_guid, NULL)))
706 		spa_l2cache_add(vd);
707 
708 	return (error);
709 }
710 
711 /*
712  * ==========================================================================
713  * uberblock load/sync
714  * ==========================================================================
715  */
716 
717 /*
718  * For use by zdb and debugging purposes only
719  */
720 uint64_t ub_max_txg = UINT64_MAX;
721 
722 /*
723  * Consider the following situation: txg is safely synced to disk.  We've
724  * written the first uberblock for txg + 1, and then we lose power.  When we
725  * come back up, we fail to see the uberblock for txg + 1 because, say,
726  * it was on a mirrored device and the replica to which we wrote txg + 1
727  * is now offline.  If we then make some changes and sync txg + 1, and then
728  * the missing replica comes back, then for a new seconds we'll have two
729  * conflicting uberblocks on disk with the same txg.  The solution is simple:
730  * among uberblocks with equal txg, choose the one with the latest timestamp.
731  */
732 static int
733 vdev_uberblock_compare(uberblock_t *ub1, uberblock_t *ub2)
734 {
735 	if (ub1->ub_txg < ub2->ub_txg)
736 		return (-1);
737 	if (ub1->ub_txg > ub2->ub_txg)
738 		return (1);
739 
740 	if (ub1->ub_timestamp < ub2->ub_timestamp)
741 		return (-1);
742 	if (ub1->ub_timestamp > ub2->ub_timestamp)
743 		return (1);
744 
745 	return (0);
746 }
747 
748 static void
749 vdev_uberblock_load_done(zio_t *zio)
750 {
751 	zio_t *rio = zio->io_private;
752 	uberblock_t *ub = zio->io_data;
753 	uberblock_t *ubbest = rio->io_private;
754 
755 	ASSERT3U(zio->io_size, ==, VDEV_UBERBLOCK_SIZE(zio->io_vd));
756 
757 	if (zio->io_error == 0 && uberblock_verify(ub) == 0) {
758 		mutex_enter(&rio->io_lock);
759 		if (ub->ub_txg <= ub_max_txg &&
760 		    vdev_uberblock_compare(ub, ubbest) > 0)
761 			*ubbest = *ub;
762 		mutex_exit(&rio->io_lock);
763 	}
764 
765 	zio_buf_free(zio->io_data, zio->io_size);
766 }
767 
768 void
769 vdev_uberblock_load(zio_t *zio, vdev_t *vd, uberblock_t *ubbest)
770 {
771 	spa_t *spa = vd->vdev_spa;
772 	vdev_t *rvd = spa->spa_root_vdev;
773 	int flags = ZIO_FLAG_CONFIG_WRITER | ZIO_FLAG_CANFAIL |
774 	    ZIO_FLAG_SPECULATIVE | ZIO_FLAG_TRYHARD;
775 
776 	if (vd == rvd) {
777 		ASSERT(zio == NULL);
778 		spa_config_enter(spa, SCL_ALL, FTAG, RW_WRITER);
779 		zio = zio_root(spa, NULL, ubbest, flags);
780 		bzero(ubbest, sizeof (uberblock_t));
781 	}
782 
783 	ASSERT(zio != NULL);
784 
785 	for (int c = 0; c < vd->vdev_children; c++)
786 		vdev_uberblock_load(zio, vd->vdev_child[c], ubbest);
787 
788 	if (vd->vdev_ops->vdev_op_leaf && vdev_readable(vd)) {
789 		for (int l = 0; l < VDEV_LABELS; l++) {
790 			for (int n = 0; n < VDEV_UBERBLOCK_COUNT(vd); n++) {
791 				vdev_label_read(zio, vd, l,
792 				    zio_buf_alloc(VDEV_UBERBLOCK_SIZE(vd)),
793 				    VDEV_UBERBLOCK_OFFSET(vd, n),
794 				    VDEV_UBERBLOCK_SIZE(vd),
795 				    vdev_uberblock_load_done, zio, flags);
796 			}
797 		}
798 	}
799 
800 	if (vd == rvd) {
801 		(void) zio_wait(zio);
802 		spa_config_exit(spa, SCL_ALL, FTAG);
803 	}
804 }
805 
806 /*
807  * On success, increment root zio's count of good writes.
808  * We only get credit for writes to known-visible vdevs; see spa_vdev_add().
809  */
810 static void
811 vdev_uberblock_sync_done(zio_t *zio)
812 {
813 	uint64_t *good_writes = zio->io_private;
814 
815 	if (zio->io_error == 0 && zio->io_vd->vdev_top->vdev_ms_array != 0)
816 		atomic_add_64(good_writes, 1);
817 }
818 
819 /*
820  * Write the uberblock to all labels of all leaves of the specified vdev.
821  */
822 static void
823 vdev_uberblock_sync(zio_t *zio, uberblock_t *ub, vdev_t *vd, int flags)
824 {
825 	uberblock_t *ubbuf;
826 	int n;
827 
828 	for (int c = 0; c < vd->vdev_children; c++)
829 		vdev_uberblock_sync(zio, ub, vd->vdev_child[c], flags);
830 
831 	if (!vd->vdev_ops->vdev_op_leaf)
832 		return;
833 
834 	if (!vdev_writeable(vd))
835 		return;
836 
837 	n = ub->ub_txg & (VDEV_UBERBLOCK_COUNT(vd) - 1);
838 
839 	ubbuf = zio_buf_alloc(VDEV_UBERBLOCK_SIZE(vd));
840 	bzero(ubbuf, VDEV_UBERBLOCK_SIZE(vd));
841 	*ubbuf = *ub;
842 
843 	for (int l = 0; l < VDEV_LABELS; l++)
844 		vdev_label_write(zio, vd, l, ubbuf,
845 		    VDEV_UBERBLOCK_OFFSET(vd, n), VDEV_UBERBLOCK_SIZE(vd),
846 		    vdev_uberblock_sync_done, zio->io_private,
847 		    flags | ZIO_FLAG_DONT_PROPAGATE);
848 
849 	zio_buf_free(ubbuf, VDEV_UBERBLOCK_SIZE(vd));
850 }
851 
852 int
853 vdev_uberblock_sync_list(vdev_t **svd, int svdcount, uberblock_t *ub, int flags)
854 {
855 	spa_t *spa = svd[0]->vdev_spa;
856 	zio_t *zio;
857 	uint64_t good_writes = 0;
858 
859 	zio = zio_root(spa, NULL, &good_writes, flags);
860 
861 	for (int v = 0; v < svdcount; v++)
862 		vdev_uberblock_sync(zio, ub, svd[v], flags);
863 
864 	(void) zio_wait(zio);
865 
866 	/*
867 	 * Flush the uberblocks to disk.  This ensures that the odd labels
868 	 * are no longer needed (because the new uberblocks and the even
869 	 * labels are safely on disk), so it is safe to overwrite them.
870 	 */
871 	zio = zio_root(spa, NULL, NULL, flags);
872 
873 	for (int v = 0; v < svdcount; v++)
874 		zio_flush(zio, svd[v]);
875 
876 	(void) zio_wait(zio);
877 
878 	return (good_writes >= 1 ? 0 : EIO);
879 }
880 
881 /*
882  * On success, increment the count of good writes for our top-level vdev.
883  */
884 static void
885 vdev_label_sync_done(zio_t *zio)
886 {
887 	uint64_t *good_writes = zio->io_private;
888 
889 	if (zio->io_error == 0)
890 		atomic_add_64(good_writes, 1);
891 }
892 
893 /*
894  * If there weren't enough good writes, indicate failure to the parent.
895  */
896 static void
897 vdev_label_sync_top_done(zio_t *zio)
898 {
899 	uint64_t *good_writes = zio->io_private;
900 
901 	if (*good_writes == 0)
902 		zio->io_error = EIO;
903 
904 	kmem_free(good_writes, sizeof (uint64_t));
905 }
906 
907 /*
908  * We ignore errors for log and cache devices, simply free the private data.
909  */
910 static void
911 vdev_label_sync_ignore_done(zio_t *zio)
912 {
913 	kmem_free(zio->io_private, sizeof (uint64_t));
914 }
915 
916 /*
917  * Write all even or odd labels to all leaves of the specified vdev.
918  */
919 static void
920 vdev_label_sync(zio_t *zio, vdev_t *vd, int l, uint64_t txg, int flags)
921 {
922 	nvlist_t *label;
923 	vdev_phys_t *vp;
924 	char *buf;
925 	size_t buflen;
926 
927 	for (int c = 0; c < vd->vdev_children; c++)
928 		vdev_label_sync(zio, vd->vdev_child[c], l, txg, flags);
929 
930 	if (!vd->vdev_ops->vdev_op_leaf)
931 		return;
932 
933 	if (!vdev_writeable(vd))
934 		return;
935 
936 	/*
937 	 * Generate a label describing the top-level config to which we belong.
938 	 */
939 	label = spa_config_generate(vd->vdev_spa, vd, txg, B_FALSE);
940 
941 	vp = zio_buf_alloc(sizeof (vdev_phys_t));
942 	bzero(vp, sizeof (vdev_phys_t));
943 
944 	buf = vp->vp_nvlist;
945 	buflen = sizeof (vp->vp_nvlist);
946 
947 	if (nvlist_pack(label, &buf, &buflen, NV_ENCODE_XDR, KM_SLEEP) == 0) {
948 		for (; l < VDEV_LABELS; l += 2) {
949 			vdev_label_write(zio, vd, l, vp,
950 			    offsetof(vdev_label_t, vl_vdev_phys),
951 			    sizeof (vdev_phys_t),
952 			    vdev_label_sync_done, zio->io_private,
953 			    flags | ZIO_FLAG_DONT_PROPAGATE);
954 		}
955 	}
956 
957 	zio_buf_free(vp, sizeof (vdev_phys_t));
958 	nvlist_free(label);
959 }
960 
961 int
962 vdev_label_sync_list(spa_t *spa, int l, uint64_t txg, int flags)
963 {
964 	list_t *dl = &spa->spa_config_dirty_list;
965 	vdev_t *vd;
966 	zio_t *zio;
967 	int error;
968 
969 	/*
970 	 * Write the new labels to disk.
971 	 */
972 	zio = zio_root(spa, NULL, NULL, flags);
973 
974 	for (vd = list_head(dl); vd != NULL; vd = list_next(dl, vd)) {
975 		uint64_t *good_writes = kmem_zalloc(sizeof (uint64_t),
976 		    KM_SLEEP);
977 		zio_t *vio = zio_null(zio, spa, NULL,
978 		    (vd->vdev_islog || vd->vdev_aux != NULL) ?
979 		    vdev_label_sync_ignore_done : vdev_label_sync_top_done,
980 		    good_writes, flags);
981 		vdev_label_sync(vio, vd, l, txg, flags);
982 		zio_nowait(vio);
983 	}
984 
985 	error = zio_wait(zio);
986 
987 	/*
988 	 * Flush the new labels to disk.
989 	 */
990 	zio = zio_root(spa, NULL, NULL, flags);
991 
992 	for (vd = list_head(dl); vd != NULL; vd = list_next(dl, vd))
993 		zio_flush(zio, vd);
994 
995 	(void) zio_wait(zio);
996 
997 	return (error);
998 }
999 
1000 /*
1001  * Sync the uberblock and any changes to the vdev configuration.
1002  *
1003  * The order of operations is carefully crafted to ensure that
1004  * if the system panics or loses power at any time, the state on disk
1005  * is still transactionally consistent.  The in-line comments below
1006  * describe the failure semantics at each stage.
1007  *
1008  * Moreover, vdev_config_sync() is designed to be idempotent: if it fails
1009  * at any time, you can just call it again, and it will resume its work.
1010  */
1011 int
1012 vdev_config_sync(vdev_t **svd, int svdcount, uint64_t txg, boolean_t tryhard)
1013 {
1014 	spa_t *spa = svd[0]->vdev_spa;
1015 	uberblock_t *ub = &spa->spa_uberblock;
1016 	vdev_t *vd;
1017 	zio_t *zio;
1018 	int error;
1019 	int flags = ZIO_FLAG_CONFIG_WRITER | ZIO_FLAG_CANFAIL;
1020 
1021 	/*
1022 	 * Normally, we don't want to try too hard to write every label and
1023 	 * uberblock.  If there is a flaky disk, we don't want the rest of the
1024 	 * sync process to block while we retry.  But if we can't write a
1025 	 * single label out, we should retry with ZIO_FLAG_TRYHARD before
1026 	 * bailing out and declaring the pool faulted.
1027 	 */
1028 	if (tryhard)
1029 		flags |= ZIO_FLAG_TRYHARD;
1030 
1031 	ASSERT(ub->ub_txg <= txg);
1032 
1033 	/*
1034 	 * If this isn't a resync due to I/O errors,
1035 	 * and nothing changed in this transaction group,
1036 	 * and the vdev configuration hasn't changed,
1037 	 * then there's nothing to do.
1038 	 */
1039 	if (ub->ub_txg < txg &&
1040 	    uberblock_update(ub, spa->spa_root_vdev, txg) == B_FALSE &&
1041 	    list_is_empty(&spa->spa_config_dirty_list))
1042 		return (0);
1043 
1044 	if (txg > spa_freeze_txg(spa))
1045 		return (0);
1046 
1047 	ASSERT(txg <= spa->spa_final_txg);
1048 
1049 	/*
1050 	 * Flush the write cache of every disk that's been written to
1051 	 * in this transaction group.  This ensures that all blocks
1052 	 * written in this txg will be committed to stable storage
1053 	 * before any uberblock that references them.
1054 	 */
1055 	zio = zio_root(spa, NULL, NULL, flags);
1056 
1057 	for (vd = txg_list_head(&spa->spa_vdev_txg_list, TXG_CLEAN(txg)); vd;
1058 	    vd = txg_list_next(&spa->spa_vdev_txg_list, vd, TXG_CLEAN(txg)))
1059 		zio_flush(zio, vd);
1060 
1061 	(void) zio_wait(zio);
1062 
1063 	/*
1064 	 * Sync out the even labels (L0, L2) for every dirty vdev.  If the
1065 	 * system dies in the middle of this process, that's OK: all of the
1066 	 * even labels that made it to disk will be newer than any uberblock,
1067 	 * and will therefore be considered invalid.  The odd labels (L1, L3),
1068 	 * which have not yet been touched, will still be valid.  We flush
1069 	 * the new labels to disk to ensure that all even-label updates
1070 	 * are committed to stable storage before the uberblock update.
1071 	 */
1072 	if ((error = vdev_label_sync_list(spa, 0, txg, flags)) != 0)
1073 		return (error);
1074 
1075 	/*
1076 	 * Sync the uberblocks to all vdevs in svd[].
1077 	 * If the system dies in the middle of this step, there are two cases
1078 	 * to consider, and the on-disk state is consistent either way:
1079 	 *
1080 	 * (1)	If none of the new uberblocks made it to disk, then the
1081 	 *	previous uberblock will be the newest, and the odd labels
1082 	 *	(which had not yet been touched) will be valid with respect
1083 	 *	to that uberblock.
1084 	 *
1085 	 * (2)	If one or more new uberblocks made it to disk, then they
1086 	 *	will be the newest, and the even labels (which had all
1087 	 *	been successfully committed) will be valid with respect
1088 	 *	to the new uberblocks.
1089 	 */
1090 	if ((error = vdev_uberblock_sync_list(svd, svdcount, ub, flags)) != 0)
1091 		return (error);
1092 
1093 	/*
1094 	 * Sync out odd labels for every dirty vdev.  If the system dies
1095 	 * in the middle of this process, the even labels and the new
1096 	 * uberblocks will suffice to open the pool.  The next time
1097 	 * the pool is opened, the first thing we'll do -- before any
1098 	 * user data is modified -- is mark every vdev dirty so that
1099 	 * all labels will be brought up to date.  We flush the new labels
1100 	 * to disk to ensure that all odd-label updates are committed to
1101 	 * stable storage before the next transaction group begins.
1102 	 */
1103 	return (vdev_label_sync_list(spa, 1, txg, flags));
1104 }
1105