xref: /titanic_50/usr/src/uts/common/fs/zfs/metaslab.c (revision ad09f8b827db90c9a0093f0b6382803fa64a5fd1)
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 #include <sys/zfs_context.h>
27 #include <sys/dmu.h>
28 #include <sys/dmu_tx.h>
29 #include <sys/space_map.h>
30 #include <sys/metaslab_impl.h>
31 #include <sys/vdev_impl.h>
32 #include <sys/zio.h>
33 
34 uint64_t metaslab_aliquot = 512ULL << 10;
35 uint64_t metaslab_gang_bang = SPA_MAXBLOCKSIZE + 1;	/* force gang blocks */
36 
37 /*
38  * Metaslab debugging: when set, keeps all space maps in core to verify frees.
39  */
40 static int metaslab_debug = 0;
41 
42 /*
43  * Minimum size which forces the dynamic allocator to change
44  * it's allocation strategy. Once the space map cannot satisfy
45  * an allocation of this size then it switches to using more
46  * aggressive strategy (i.e search by size rather than offset).
47  */
48 uint64_t metaslab_df_alloc_threshold = SPA_MAXBLOCKSIZE;
49 
50 /*
51  * The minimum free space, in percent, which must be available
52  * in a space map to continue allocations in a first-fit fashion.
53  * Once the space_map's free space drops below this level we dynamically
54  * switch to using best-fit allocations.
55  */
56 int metaslab_df_free_pct = 30;
57 
58 /*
59  * ==========================================================================
60  * Metaslab classes
61  * ==========================================================================
62  */
63 metaslab_class_t *
64 metaslab_class_create(spa_t *spa, space_map_ops_t *ops)
65 {
66 	metaslab_class_t *mc;
67 
68 	mc = kmem_zalloc(sizeof (metaslab_class_t), KM_SLEEP);
69 
70 	mc->mc_spa = spa;
71 	mc->mc_rotor = NULL;
72 	mc->mc_ops = ops;
73 
74 	return (mc);
75 }
76 
77 void
78 metaslab_class_destroy(metaslab_class_t *mc)
79 {
80 	ASSERT(mc->mc_rotor == NULL);
81 	ASSERT(mc->mc_alloc == 0);
82 	ASSERT(mc->mc_deferred == 0);
83 	ASSERT(mc->mc_space == 0);
84 	ASSERT(mc->mc_dspace == 0);
85 
86 	kmem_free(mc, sizeof (metaslab_class_t));
87 }
88 
89 int
90 metaslab_class_validate(metaslab_class_t *mc)
91 {
92 	metaslab_group_t *mg;
93 	vdev_t *vd;
94 
95 	/*
96 	 * Must hold one of the spa_config locks.
97 	 */
98 	ASSERT(spa_config_held(mc->mc_spa, SCL_ALL, RW_READER) ||
99 	    spa_config_held(mc->mc_spa, SCL_ALL, RW_WRITER));
100 
101 	if ((mg = mc->mc_rotor) == NULL)
102 		return (0);
103 
104 	do {
105 		vd = mg->mg_vd;
106 		ASSERT(vd->vdev_mg != NULL);
107 		ASSERT3P(vd->vdev_top, ==, vd);
108 		ASSERT3P(mg->mg_class, ==, mc);
109 		ASSERT3P(vd->vdev_ops, !=, &vdev_hole_ops);
110 	} while ((mg = mg->mg_next) != mc->mc_rotor);
111 
112 	return (0);
113 }
114 
115 void
116 metaslab_class_space_update(metaslab_class_t *mc, int64_t alloc_delta,
117     int64_t defer_delta, int64_t space_delta, int64_t dspace_delta)
118 {
119 	atomic_add_64(&mc->mc_alloc, alloc_delta);
120 	atomic_add_64(&mc->mc_deferred, defer_delta);
121 	atomic_add_64(&mc->mc_space, space_delta);
122 	atomic_add_64(&mc->mc_dspace, dspace_delta);
123 }
124 
125 uint64_t
126 metaslab_class_get_alloc(metaslab_class_t *mc)
127 {
128 	return (mc->mc_alloc);
129 }
130 
131 uint64_t
132 metaslab_class_get_deferred(metaslab_class_t *mc)
133 {
134 	return (mc->mc_deferred);
135 }
136 
137 uint64_t
138 metaslab_class_get_space(metaslab_class_t *mc)
139 {
140 	return (mc->mc_space);
141 }
142 
143 uint64_t
144 metaslab_class_get_dspace(metaslab_class_t *mc)
145 {
146 	return (spa_deflate(mc->mc_spa) ? mc->mc_dspace : mc->mc_space);
147 }
148 
149 /*
150  * ==========================================================================
151  * Metaslab groups
152  * ==========================================================================
153  */
154 static int
155 metaslab_compare(const void *x1, const void *x2)
156 {
157 	const metaslab_t *m1 = x1;
158 	const metaslab_t *m2 = x2;
159 
160 	if (m1->ms_weight < m2->ms_weight)
161 		return (1);
162 	if (m1->ms_weight > m2->ms_weight)
163 		return (-1);
164 
165 	/*
166 	 * If the weights are identical, use the offset to force uniqueness.
167 	 */
168 	if (m1->ms_map.sm_start < m2->ms_map.sm_start)
169 		return (-1);
170 	if (m1->ms_map.sm_start > m2->ms_map.sm_start)
171 		return (1);
172 
173 	ASSERT3P(m1, ==, m2);
174 
175 	return (0);
176 }
177 
178 metaslab_group_t *
179 metaslab_group_create(metaslab_class_t *mc, vdev_t *vd)
180 {
181 	metaslab_group_t *mg;
182 
183 	mg = kmem_zalloc(sizeof (metaslab_group_t), KM_SLEEP);
184 	mutex_init(&mg->mg_lock, NULL, MUTEX_DEFAULT, NULL);
185 	avl_create(&mg->mg_metaslab_tree, metaslab_compare,
186 	    sizeof (metaslab_t), offsetof(struct metaslab, ms_group_node));
187 	mg->mg_vd = vd;
188 	mg->mg_class = mc;
189 	mg->mg_activation_count = 0;
190 
191 	return (mg);
192 }
193 
194 void
195 metaslab_group_destroy(metaslab_group_t *mg)
196 {
197 	ASSERT(mg->mg_prev == NULL);
198 	ASSERT(mg->mg_next == NULL);
199 	/*
200 	 * We may have gone below zero with the activation count
201 	 * either because we never activated in the first place or
202 	 * because we're done, and possibly removing the vdev.
203 	 */
204 	ASSERT(mg->mg_activation_count <= 0);
205 
206 	avl_destroy(&mg->mg_metaslab_tree);
207 	mutex_destroy(&mg->mg_lock);
208 	kmem_free(mg, sizeof (metaslab_group_t));
209 }
210 
211 void
212 metaslab_group_activate(metaslab_group_t *mg)
213 {
214 	metaslab_class_t *mc = mg->mg_class;
215 	metaslab_group_t *mgprev, *mgnext;
216 
217 	ASSERT(spa_config_held(mc->mc_spa, SCL_ALLOC, RW_WRITER));
218 
219 	ASSERT(mc->mc_rotor != mg);
220 	ASSERT(mg->mg_prev == NULL);
221 	ASSERT(mg->mg_next == NULL);
222 	ASSERT(mg->mg_activation_count <= 0);
223 
224 	if (++mg->mg_activation_count <= 0)
225 		return;
226 
227 	mg->mg_aliquot = metaslab_aliquot * MAX(1, mg->mg_vd->vdev_children);
228 
229 	if ((mgprev = mc->mc_rotor) == NULL) {
230 		mg->mg_prev = mg;
231 		mg->mg_next = mg;
232 	} else {
233 		mgnext = mgprev->mg_next;
234 		mg->mg_prev = mgprev;
235 		mg->mg_next = mgnext;
236 		mgprev->mg_next = mg;
237 		mgnext->mg_prev = mg;
238 	}
239 	mc->mc_rotor = mg;
240 }
241 
242 void
243 metaslab_group_passivate(metaslab_group_t *mg)
244 {
245 	metaslab_class_t *mc = mg->mg_class;
246 	metaslab_group_t *mgprev, *mgnext;
247 
248 	ASSERT(spa_config_held(mc->mc_spa, SCL_ALLOC, RW_WRITER));
249 
250 	if (--mg->mg_activation_count != 0) {
251 		ASSERT(mc->mc_rotor != mg);
252 		ASSERT(mg->mg_prev == NULL);
253 		ASSERT(mg->mg_next == NULL);
254 		ASSERT(mg->mg_activation_count < 0);
255 		return;
256 	}
257 
258 	mgprev = mg->mg_prev;
259 	mgnext = mg->mg_next;
260 
261 	if (mg == mgnext) {
262 		mc->mc_rotor = NULL;
263 	} else {
264 		mc->mc_rotor = mgnext;
265 		mgprev->mg_next = mgnext;
266 		mgnext->mg_prev = mgprev;
267 	}
268 
269 	mg->mg_prev = NULL;
270 	mg->mg_next = NULL;
271 }
272 
273 static void
274 metaslab_group_add(metaslab_group_t *mg, metaslab_t *msp)
275 {
276 	mutex_enter(&mg->mg_lock);
277 	ASSERT(msp->ms_group == NULL);
278 	msp->ms_group = mg;
279 	msp->ms_weight = 0;
280 	avl_add(&mg->mg_metaslab_tree, msp);
281 	mutex_exit(&mg->mg_lock);
282 }
283 
284 static void
285 metaslab_group_remove(metaslab_group_t *mg, metaslab_t *msp)
286 {
287 	mutex_enter(&mg->mg_lock);
288 	ASSERT(msp->ms_group == mg);
289 	avl_remove(&mg->mg_metaslab_tree, msp);
290 	msp->ms_group = NULL;
291 	mutex_exit(&mg->mg_lock);
292 }
293 
294 static void
295 metaslab_group_sort(metaslab_group_t *mg, metaslab_t *msp, uint64_t weight)
296 {
297 	/*
298 	 * Although in principle the weight can be any value, in
299 	 * practice we do not use values in the range [1, 510].
300 	 */
301 	ASSERT(weight >= SPA_MINBLOCKSIZE-1 || weight == 0);
302 	ASSERT(MUTEX_HELD(&msp->ms_lock));
303 
304 	mutex_enter(&mg->mg_lock);
305 	ASSERT(msp->ms_group == mg);
306 	avl_remove(&mg->mg_metaslab_tree, msp);
307 	msp->ms_weight = weight;
308 	avl_add(&mg->mg_metaslab_tree, msp);
309 	mutex_exit(&mg->mg_lock);
310 }
311 
312 /*
313  * This is a helper function that can be used by the allocator to find
314  * a suitable block to allocate. This will search the specified AVL
315  * tree looking for a block that matches the specified criteria.
316  */
317 static uint64_t
318 metaslab_block_picker(avl_tree_t *t, uint64_t *cursor, uint64_t size,
319     uint64_t align)
320 {
321 	space_seg_t *ss, ssearch;
322 	avl_index_t where;
323 
324 	ssearch.ss_start = *cursor;
325 	ssearch.ss_end = *cursor + size;
326 
327 	ss = avl_find(t, &ssearch, &where);
328 	if (ss == NULL)
329 		ss = avl_nearest(t, where, AVL_AFTER);
330 
331 	while (ss != NULL) {
332 		uint64_t offset = P2ROUNDUP(ss->ss_start, align);
333 
334 		if (offset + size <= ss->ss_end) {
335 			*cursor = offset + size;
336 			return (offset);
337 		}
338 		ss = AVL_NEXT(t, ss);
339 	}
340 
341 	/*
342 	 * If we know we've searched the whole map (*cursor == 0), give up.
343 	 * Otherwise, reset the cursor to the beginning and try again.
344 	 */
345 	if (*cursor == 0)
346 		return (-1ULL);
347 
348 	*cursor = 0;
349 	return (metaslab_block_picker(t, cursor, size, align));
350 }
351 
352 /*
353  * ==========================================================================
354  * The first-fit block allocator
355  * ==========================================================================
356  */
357 static void
358 metaslab_ff_load(space_map_t *sm)
359 {
360 	ASSERT(sm->sm_ppd == NULL);
361 	sm->sm_ppd = kmem_zalloc(64 * sizeof (uint64_t), KM_SLEEP);
362 	sm->sm_pp_root = NULL;
363 }
364 
365 static void
366 metaslab_ff_unload(space_map_t *sm)
367 {
368 	kmem_free(sm->sm_ppd, 64 * sizeof (uint64_t));
369 	sm->sm_ppd = NULL;
370 }
371 
372 static uint64_t
373 metaslab_ff_alloc(space_map_t *sm, uint64_t size)
374 {
375 	avl_tree_t *t = &sm->sm_root;
376 	uint64_t align = size & -size;
377 	uint64_t *cursor = (uint64_t *)sm->sm_ppd + highbit(align) - 1;
378 
379 	return (metaslab_block_picker(t, cursor, size, align));
380 }
381 
382 /* ARGSUSED */
383 static void
384 metaslab_ff_claim(space_map_t *sm, uint64_t start, uint64_t size)
385 {
386 	/* No need to update cursor */
387 }
388 
389 /* ARGSUSED */
390 static void
391 metaslab_ff_free(space_map_t *sm, uint64_t start, uint64_t size)
392 {
393 	/* No need to update cursor */
394 }
395 
396 static space_map_ops_t metaslab_ff_ops = {
397 	metaslab_ff_load,
398 	metaslab_ff_unload,
399 	metaslab_ff_alloc,
400 	metaslab_ff_claim,
401 	metaslab_ff_free,
402 	NULL	/* maxsize */
403 };
404 
405 /*
406  * Dynamic block allocator -
407  * Uses the first fit allocation scheme until space get low and then
408  * adjusts to a best fit allocation method. Uses metaslab_df_alloc_threshold
409  * and metaslab_df_free_pct to determine when to switch the allocation scheme.
410  */
411 
412 uint64_t
413 metaslab_df_maxsize(space_map_t *sm)
414 {
415 	avl_tree_t *t = sm->sm_pp_root;
416 	space_seg_t *ss;
417 
418 	if (t == NULL || (ss = avl_last(t)) == NULL)
419 		return (0ULL);
420 
421 	return (ss->ss_end - ss->ss_start);
422 }
423 
424 static int
425 metaslab_df_seg_compare(const void *x1, const void *x2)
426 {
427 	const space_seg_t *s1 = x1;
428 	const space_seg_t *s2 = x2;
429 	uint64_t ss_size1 = s1->ss_end - s1->ss_start;
430 	uint64_t ss_size2 = s2->ss_end - s2->ss_start;
431 
432 	if (ss_size1 < ss_size2)
433 		return (-1);
434 	if (ss_size1 > ss_size2)
435 		return (1);
436 
437 	if (s1->ss_start < s2->ss_start)
438 		return (-1);
439 	if (s1->ss_start > s2->ss_start)
440 		return (1);
441 
442 	return (0);
443 }
444 
445 static void
446 metaslab_df_load(space_map_t *sm)
447 {
448 	space_seg_t *ss;
449 
450 	ASSERT(sm->sm_ppd == NULL);
451 	sm->sm_ppd = kmem_zalloc(64 * sizeof (uint64_t), KM_SLEEP);
452 
453 	sm->sm_pp_root = kmem_alloc(sizeof (avl_tree_t), KM_SLEEP);
454 	avl_create(sm->sm_pp_root, metaslab_df_seg_compare,
455 	    sizeof (space_seg_t), offsetof(struct space_seg, ss_pp_node));
456 
457 	for (ss = avl_first(&sm->sm_root); ss; ss = AVL_NEXT(&sm->sm_root, ss))
458 		avl_add(sm->sm_pp_root, ss);
459 }
460 
461 static void
462 metaslab_df_unload(space_map_t *sm)
463 {
464 	void *cookie = NULL;
465 
466 	kmem_free(sm->sm_ppd, 64 * sizeof (uint64_t));
467 	sm->sm_ppd = NULL;
468 
469 	while (avl_destroy_nodes(sm->sm_pp_root, &cookie) != NULL) {
470 		/* tear down the tree */
471 	}
472 
473 	avl_destroy(sm->sm_pp_root);
474 	kmem_free(sm->sm_pp_root, sizeof (avl_tree_t));
475 	sm->sm_pp_root = NULL;
476 }
477 
478 static uint64_t
479 metaslab_df_alloc(space_map_t *sm, uint64_t size)
480 {
481 	avl_tree_t *t = &sm->sm_root;
482 	uint64_t align = size & -size;
483 	uint64_t *cursor = (uint64_t *)sm->sm_ppd + highbit(align) - 1;
484 	uint64_t max_size = metaslab_df_maxsize(sm);
485 	int free_pct = sm->sm_space * 100 / sm->sm_size;
486 
487 	ASSERT(MUTEX_HELD(sm->sm_lock));
488 	ASSERT3U(avl_numnodes(&sm->sm_root), ==, avl_numnodes(sm->sm_pp_root));
489 
490 	if (max_size < size)
491 		return (-1ULL);
492 
493 	/*
494 	 * If we're running low on space switch to using the size
495 	 * sorted AVL tree (best-fit).
496 	 */
497 	if (max_size < metaslab_df_alloc_threshold ||
498 	    free_pct < metaslab_df_free_pct) {
499 		t = sm->sm_pp_root;
500 		*cursor = 0;
501 	}
502 
503 	return (metaslab_block_picker(t, cursor, size, 1ULL));
504 }
505 
506 /* ARGSUSED */
507 static void
508 metaslab_df_claim(space_map_t *sm, uint64_t start, uint64_t size)
509 {
510 	/* No need to update cursor */
511 }
512 
513 /* ARGSUSED */
514 static void
515 metaslab_df_free(space_map_t *sm, uint64_t start, uint64_t size)
516 {
517 	/* No need to update cursor */
518 }
519 
520 static space_map_ops_t metaslab_df_ops = {
521 	metaslab_df_load,
522 	metaslab_df_unload,
523 	metaslab_df_alloc,
524 	metaslab_df_claim,
525 	metaslab_df_free,
526 	metaslab_df_maxsize
527 };
528 
529 space_map_ops_t *zfs_metaslab_ops = &metaslab_df_ops;
530 
531 /*
532  * ==========================================================================
533  * Metaslabs
534  * ==========================================================================
535  */
536 metaslab_t *
537 metaslab_init(metaslab_group_t *mg, space_map_obj_t *smo,
538 	uint64_t start, uint64_t size, uint64_t txg)
539 {
540 	vdev_t *vd = mg->mg_vd;
541 	metaslab_t *msp;
542 
543 	msp = kmem_zalloc(sizeof (metaslab_t), KM_SLEEP);
544 	mutex_init(&msp->ms_lock, NULL, MUTEX_DEFAULT, NULL);
545 
546 	msp->ms_smo_syncing = *smo;
547 
548 	/*
549 	 * We create the main space map here, but we don't create the
550 	 * allocmaps and freemaps until metaslab_sync_done().  This serves
551 	 * two purposes: it allows metaslab_sync_done() to detect the
552 	 * addition of new space; and for debugging, it ensures that we'd
553 	 * data fault on any attempt to use this metaslab before it's ready.
554 	 */
555 	space_map_create(&msp->ms_map, start, size,
556 	    vd->vdev_ashift, &msp->ms_lock);
557 
558 	metaslab_group_add(mg, msp);
559 
560 	if (metaslab_debug && smo->smo_object != 0) {
561 		mutex_enter(&msp->ms_lock);
562 		VERIFY(space_map_load(&msp->ms_map, mg->mg_class->mc_ops,
563 		    SM_FREE, smo, spa_meta_objset(vd->vdev_spa)) == 0);
564 		mutex_exit(&msp->ms_lock);
565 	}
566 
567 	/*
568 	 * If we're opening an existing pool (txg == 0) or creating
569 	 * a new one (txg == TXG_INITIAL), all space is available now.
570 	 * If we're adding space to an existing pool, the new space
571 	 * does not become available until after this txg has synced.
572 	 */
573 	if (txg <= TXG_INITIAL)
574 		metaslab_sync_done(msp, 0);
575 
576 	if (txg != 0) {
577 		vdev_dirty(vd, 0, NULL, txg);
578 		vdev_dirty(vd, VDD_METASLAB, msp, txg);
579 	}
580 
581 	return (msp);
582 }
583 
584 void
585 metaslab_fini(metaslab_t *msp)
586 {
587 	metaslab_group_t *mg = msp->ms_group;
588 
589 	vdev_space_update(mg->mg_vd,
590 	    -msp->ms_smo.smo_alloc, 0, -msp->ms_map.sm_size);
591 
592 	metaslab_group_remove(mg, msp);
593 
594 	mutex_enter(&msp->ms_lock);
595 
596 	space_map_unload(&msp->ms_map);
597 	space_map_destroy(&msp->ms_map);
598 
599 	for (int t = 0; t < TXG_SIZE; t++) {
600 		space_map_destroy(&msp->ms_allocmap[t]);
601 		space_map_destroy(&msp->ms_freemap[t]);
602 	}
603 
604 	for (int t = 0; t < TXG_DEFER_SIZE; t++)
605 		space_map_destroy(&msp->ms_defermap[t]);
606 
607 	ASSERT3S(msp->ms_deferspace, ==, 0);
608 
609 	mutex_exit(&msp->ms_lock);
610 	mutex_destroy(&msp->ms_lock);
611 
612 	kmem_free(msp, sizeof (metaslab_t));
613 }
614 
615 #define	METASLAB_WEIGHT_PRIMARY		(1ULL << 63)
616 #define	METASLAB_WEIGHT_SECONDARY	(1ULL << 62)
617 #define	METASLAB_ACTIVE_MASK		\
618 	(METASLAB_WEIGHT_PRIMARY | METASLAB_WEIGHT_SECONDARY)
619 #define	METASLAB_SMO_BONUS_MULTIPLIER	2
620 
621 static uint64_t
622 metaslab_weight(metaslab_t *msp)
623 {
624 	metaslab_group_t *mg = msp->ms_group;
625 	space_map_t *sm = &msp->ms_map;
626 	space_map_obj_t *smo = &msp->ms_smo;
627 	vdev_t *vd = mg->mg_vd;
628 	uint64_t weight, space;
629 
630 	ASSERT(MUTEX_HELD(&msp->ms_lock));
631 
632 	/*
633 	 * The baseline weight is the metaslab's free space.
634 	 */
635 	space = sm->sm_size - smo->smo_alloc;
636 	weight = space;
637 
638 	/*
639 	 * Modern disks have uniform bit density and constant angular velocity.
640 	 * Therefore, the outer recording zones are faster (higher bandwidth)
641 	 * than the inner zones by the ratio of outer to inner track diameter,
642 	 * which is typically around 2:1.  We account for this by assigning
643 	 * higher weight to lower metaslabs (multiplier ranging from 2x to 1x).
644 	 * In effect, this means that we'll select the metaslab with the most
645 	 * free bandwidth rather than simply the one with the most free space.
646 	 */
647 	weight = 2 * weight -
648 	    ((sm->sm_start >> vd->vdev_ms_shift) * weight) / vd->vdev_ms_count;
649 	ASSERT(weight >= space && weight <= 2 * space);
650 
651 	/*
652 	 * For locality, assign higher weight to metaslabs we've used before.
653 	 */
654 	if (smo->smo_object != 0)
655 		weight *= METASLAB_SMO_BONUS_MULTIPLIER;
656 	ASSERT(weight >= space &&
657 	    weight <= 2 * METASLAB_SMO_BONUS_MULTIPLIER * space);
658 
659 	/*
660 	 * If this metaslab is one we're actively using, adjust its weight to
661 	 * make it preferable to any inactive metaslab so we'll polish it off.
662 	 */
663 	weight |= (msp->ms_weight & METASLAB_ACTIVE_MASK);
664 
665 	return (weight);
666 }
667 
668 static int
669 metaslab_activate(metaslab_t *msp, uint64_t activation_weight, uint64_t size)
670 {
671 	space_map_t *sm = &msp->ms_map;
672 	space_map_ops_t *sm_ops = msp->ms_group->mg_class->mc_ops;
673 
674 	ASSERT(MUTEX_HELD(&msp->ms_lock));
675 
676 	if ((msp->ms_weight & METASLAB_ACTIVE_MASK) == 0) {
677 		space_map_load_wait(sm);
678 		if (!sm->sm_loaded) {
679 			int error = space_map_load(sm, sm_ops, SM_FREE,
680 			    &msp->ms_smo,
681 			    spa_meta_objset(msp->ms_group->mg_vd->vdev_spa));
682 			if (error) {
683 				metaslab_group_sort(msp->ms_group, msp, 0);
684 				return (error);
685 			}
686 			for (int t = 0; t < TXG_DEFER_SIZE; t++)
687 				space_map_walk(&msp->ms_defermap[t],
688 				    space_map_claim, sm);
689 		}
690 
691 		/*
692 		 * If we were able to load the map then make sure
693 		 * that this map is still able to satisfy our request.
694 		 */
695 		if (msp->ms_weight < size)
696 			return (ENOSPC);
697 
698 		metaslab_group_sort(msp->ms_group, msp,
699 		    msp->ms_weight | activation_weight);
700 	}
701 	ASSERT(sm->sm_loaded);
702 	ASSERT(msp->ms_weight & METASLAB_ACTIVE_MASK);
703 
704 	return (0);
705 }
706 
707 static void
708 metaslab_passivate(metaslab_t *msp, uint64_t size)
709 {
710 	/*
711 	 * If size < SPA_MINBLOCKSIZE, then we will not allocate from
712 	 * this metaslab again.  In that case, it had better be empty,
713 	 * or we would be leaving space on the table.
714 	 */
715 #if 0
716 	ASSERT(size >= SPA_MINBLOCKSIZE || msp->ms_map.sm_space == 0);
717 #endif
718 	metaslab_group_sort(msp->ms_group, msp, MIN(msp->ms_weight, size));
719 	ASSERT((msp->ms_weight & METASLAB_ACTIVE_MASK) == 0);
720 }
721 
722 /*
723  * Write a metaslab to disk in the context of the specified transaction group.
724  */
725 void
726 metaslab_sync(metaslab_t *msp, uint64_t txg)
727 {
728 	vdev_t *vd = msp->ms_group->mg_vd;
729 	spa_t *spa = vd->vdev_spa;
730 	objset_t *mos = spa_meta_objset(spa);
731 	space_map_t *allocmap = &msp->ms_allocmap[txg & TXG_MASK];
732 	space_map_t *freemap = &msp->ms_freemap[txg & TXG_MASK];
733 	space_map_t *freed_map = &msp->ms_freemap[TXG_CLEAN(txg) & TXG_MASK];
734 	space_map_t *sm = &msp->ms_map;
735 	space_map_obj_t *smo = &msp->ms_smo_syncing;
736 	dmu_buf_t *db;
737 	dmu_tx_t *tx;
738 
739 	ASSERT(!vd->vdev_ishole);
740 
741 	if (allocmap->sm_space == 0 && freemap->sm_space == 0)
742 		return;
743 
744 	/*
745 	 * The only state that can actually be changing concurrently with
746 	 * metaslab_sync() is the metaslab's ms_map.  No other thread can
747 	 * be modifying this txg's allocmap, freemap, freed_map, or smo.
748 	 * Therefore, we only hold ms_lock to satify space_map ASSERTs.
749 	 * We drop it whenever we call into the DMU, because the DMU
750 	 * can call down to us (e.g. via zio_free()) at any time.
751 	 */
752 
753 	tx = dmu_tx_create_assigned(spa_get_dsl(spa), txg);
754 
755 	if (smo->smo_object == 0) {
756 		ASSERT(smo->smo_objsize == 0);
757 		ASSERT(smo->smo_alloc == 0);
758 		smo->smo_object = dmu_object_alloc(mos,
759 		    DMU_OT_SPACE_MAP, 1 << SPACE_MAP_BLOCKSHIFT,
760 		    DMU_OT_SPACE_MAP_HEADER, sizeof (*smo), tx);
761 		ASSERT(smo->smo_object != 0);
762 		dmu_write(mos, vd->vdev_ms_array, sizeof (uint64_t) *
763 		    (sm->sm_start >> vd->vdev_ms_shift),
764 		    sizeof (uint64_t), &smo->smo_object, tx);
765 	}
766 
767 	mutex_enter(&msp->ms_lock);
768 
769 	space_map_walk(freemap, space_map_add, freed_map);
770 
771 	if (sm->sm_loaded && spa_sync_pass(spa) == 1 && smo->smo_objsize >=
772 	    2 * sizeof (uint64_t) * avl_numnodes(&sm->sm_root)) {
773 		/*
774 		 * The in-core space map representation is twice as compact
775 		 * as the on-disk one, so it's time to condense the latter
776 		 * by generating a pure allocmap from first principles.
777 		 *
778 		 * This metaslab is 100% allocated,
779 		 * minus the content of the in-core map (sm),
780 		 * minus what's been freed this txg (freed_map),
781 		 * minus deferred frees (ms_defermap[]),
782 		 * minus allocations from txgs in the future
783 		 * (because they haven't been committed yet).
784 		 */
785 		space_map_vacate(allocmap, NULL, NULL);
786 		space_map_vacate(freemap, NULL, NULL);
787 
788 		space_map_add(allocmap, allocmap->sm_start, allocmap->sm_size);
789 
790 		space_map_walk(sm, space_map_remove, allocmap);
791 		space_map_walk(freed_map, space_map_remove, allocmap);
792 
793 		for (int t = 0; t < TXG_DEFER_SIZE; t++)
794 			space_map_walk(&msp->ms_defermap[t],
795 			    space_map_remove, allocmap);
796 
797 		for (int t = 1; t < TXG_CONCURRENT_STATES; t++)
798 			space_map_walk(&msp->ms_allocmap[(txg + t) & TXG_MASK],
799 			    space_map_remove, allocmap);
800 
801 		mutex_exit(&msp->ms_lock);
802 		space_map_truncate(smo, mos, tx);
803 		mutex_enter(&msp->ms_lock);
804 	}
805 
806 	space_map_sync(allocmap, SM_ALLOC, smo, mos, tx);
807 	space_map_sync(freemap, SM_FREE, smo, mos, tx);
808 
809 	mutex_exit(&msp->ms_lock);
810 
811 	VERIFY(0 == dmu_bonus_hold(mos, smo->smo_object, FTAG, &db));
812 	dmu_buf_will_dirty(db, tx);
813 	ASSERT3U(db->db_size, >=, sizeof (*smo));
814 	bcopy(smo, db->db_data, sizeof (*smo));
815 	dmu_buf_rele(db, FTAG);
816 
817 	dmu_tx_commit(tx);
818 }
819 
820 /*
821  * Called after a transaction group has completely synced to mark
822  * all of the metaslab's free space as usable.
823  */
824 void
825 metaslab_sync_done(metaslab_t *msp, uint64_t txg)
826 {
827 	space_map_obj_t *smo = &msp->ms_smo;
828 	space_map_obj_t *smosync = &msp->ms_smo_syncing;
829 	space_map_t *sm = &msp->ms_map;
830 	space_map_t *freed_map = &msp->ms_freemap[TXG_CLEAN(txg) & TXG_MASK];
831 	space_map_t *defer_map = &msp->ms_defermap[txg % TXG_DEFER_SIZE];
832 	metaslab_group_t *mg = msp->ms_group;
833 	vdev_t *vd = mg->mg_vd;
834 	int64_t alloc_delta, defer_delta;
835 
836 	ASSERT(!vd->vdev_ishole);
837 
838 	mutex_enter(&msp->ms_lock);
839 
840 	/*
841 	 * If this metaslab is just becoming available, initialize its
842 	 * allocmaps and freemaps and add its capacity to the vdev.
843 	 */
844 	if (freed_map->sm_size == 0) {
845 		for (int t = 0; t < TXG_SIZE; t++) {
846 			space_map_create(&msp->ms_allocmap[t], sm->sm_start,
847 			    sm->sm_size, sm->sm_shift, sm->sm_lock);
848 			space_map_create(&msp->ms_freemap[t], sm->sm_start,
849 			    sm->sm_size, sm->sm_shift, sm->sm_lock);
850 		}
851 
852 		for (int t = 0; t < TXG_DEFER_SIZE; t++)
853 			space_map_create(&msp->ms_defermap[t], sm->sm_start,
854 			    sm->sm_size, sm->sm_shift, sm->sm_lock);
855 
856 		vdev_space_update(vd, 0, 0, sm->sm_size);
857 	}
858 
859 	alloc_delta = smosync->smo_alloc - smo->smo_alloc;
860 	defer_delta = freed_map->sm_space - defer_map->sm_space;
861 
862 	vdev_space_update(vd, alloc_delta + defer_delta, defer_delta, 0);
863 
864 	ASSERT(msp->ms_allocmap[txg & TXG_MASK].sm_space == 0);
865 	ASSERT(msp->ms_freemap[txg & TXG_MASK].sm_space == 0);
866 
867 	/*
868 	 * If there's a space_map_load() in progress, wait for it to complete
869 	 * so that we have a consistent view of the in-core space map.
870 	 * Then, add defer_map (oldest deferred frees) to this map and
871 	 * transfer freed_map (this txg's frees) to defer_map.
872 	 */
873 	space_map_load_wait(sm);
874 	space_map_vacate(defer_map, sm->sm_loaded ? space_map_free : NULL, sm);
875 	space_map_vacate(freed_map, space_map_add, defer_map);
876 
877 	*smo = *smosync;
878 
879 	msp->ms_deferspace += defer_delta;
880 	ASSERT3S(msp->ms_deferspace, >=, 0);
881 	ASSERT3S(msp->ms_deferspace, <=, sm->sm_size);
882 	if (msp->ms_deferspace != 0) {
883 		/*
884 		 * Keep syncing this metaslab until all deferred frees
885 		 * are back in circulation.
886 		 */
887 		vdev_dirty(vd, VDD_METASLAB, msp, txg + 1);
888 	}
889 
890 	/*
891 	 * If the map is loaded but no longer active, evict it as soon as all
892 	 * future allocations have synced.  (If we unloaded it now and then
893 	 * loaded a moment later, the map wouldn't reflect those allocations.)
894 	 */
895 	if (sm->sm_loaded && (msp->ms_weight & METASLAB_ACTIVE_MASK) == 0) {
896 		int evictable = 1;
897 
898 		for (int t = 1; t < TXG_CONCURRENT_STATES; t++)
899 			if (msp->ms_allocmap[(txg + t) & TXG_MASK].sm_space)
900 				evictable = 0;
901 
902 		if (evictable && !metaslab_debug)
903 			space_map_unload(sm);
904 	}
905 
906 	metaslab_group_sort(mg, msp, metaslab_weight(msp));
907 
908 	mutex_exit(&msp->ms_lock);
909 }
910 
911 static uint64_t
912 metaslab_distance(metaslab_t *msp, dva_t *dva)
913 {
914 	uint64_t ms_shift = msp->ms_group->mg_vd->vdev_ms_shift;
915 	uint64_t offset = DVA_GET_OFFSET(dva) >> ms_shift;
916 	uint64_t start = msp->ms_map.sm_start >> ms_shift;
917 
918 	if (msp->ms_group->mg_vd->vdev_id != DVA_GET_VDEV(dva))
919 		return (1ULL << 63);
920 
921 	if (offset < start)
922 		return ((start - offset) << ms_shift);
923 	if (offset > start)
924 		return ((offset - start) << ms_shift);
925 	return (0);
926 }
927 
928 static uint64_t
929 metaslab_group_alloc(metaslab_group_t *mg, uint64_t size, uint64_t txg,
930     uint64_t min_distance, dva_t *dva, int d)
931 {
932 	metaslab_t *msp = NULL;
933 	uint64_t offset = -1ULL;
934 	avl_tree_t *t = &mg->mg_metaslab_tree;
935 	uint64_t activation_weight;
936 	uint64_t target_distance;
937 	int i;
938 
939 	activation_weight = METASLAB_WEIGHT_PRIMARY;
940 	for (i = 0; i < d; i++) {
941 		if (DVA_GET_VDEV(&dva[i]) == mg->mg_vd->vdev_id) {
942 			activation_weight = METASLAB_WEIGHT_SECONDARY;
943 			break;
944 		}
945 	}
946 
947 	for (;;) {
948 		boolean_t was_active;
949 
950 		mutex_enter(&mg->mg_lock);
951 		for (msp = avl_first(t); msp; msp = AVL_NEXT(t, msp)) {
952 			if (msp->ms_weight < size) {
953 				mutex_exit(&mg->mg_lock);
954 				return (-1ULL);
955 			}
956 
957 			was_active = msp->ms_weight & METASLAB_ACTIVE_MASK;
958 			if (activation_weight == METASLAB_WEIGHT_PRIMARY)
959 				break;
960 
961 			target_distance = min_distance +
962 			    (msp->ms_smo.smo_alloc ? 0 : min_distance >> 1);
963 
964 			for (i = 0; i < d; i++)
965 				if (metaslab_distance(msp, &dva[i]) <
966 				    target_distance)
967 					break;
968 			if (i == d)
969 				break;
970 		}
971 		mutex_exit(&mg->mg_lock);
972 		if (msp == NULL)
973 			return (-1ULL);
974 
975 		mutex_enter(&msp->ms_lock);
976 
977 		/*
978 		 * Ensure that the metaslab we have selected is still
979 		 * capable of handling our request. It's possible that
980 		 * another thread may have changed the weight while we
981 		 * were blocked on the metaslab lock.
982 		 */
983 		if (msp->ms_weight < size || (was_active &&
984 		    !(msp->ms_weight & METASLAB_ACTIVE_MASK) &&
985 		    activation_weight == METASLAB_WEIGHT_PRIMARY)) {
986 			mutex_exit(&msp->ms_lock);
987 			continue;
988 		}
989 
990 		if ((msp->ms_weight & METASLAB_WEIGHT_SECONDARY) &&
991 		    activation_weight == METASLAB_WEIGHT_PRIMARY) {
992 			metaslab_passivate(msp,
993 			    msp->ms_weight & ~METASLAB_ACTIVE_MASK);
994 			mutex_exit(&msp->ms_lock);
995 			continue;
996 		}
997 
998 		if (metaslab_activate(msp, activation_weight, size) != 0) {
999 			mutex_exit(&msp->ms_lock);
1000 			continue;
1001 		}
1002 
1003 		if ((offset = space_map_alloc(&msp->ms_map, size)) != -1ULL)
1004 			break;
1005 
1006 		metaslab_passivate(msp, size - 1);
1007 
1008 		mutex_exit(&msp->ms_lock);
1009 	}
1010 
1011 	if (msp->ms_allocmap[txg & TXG_MASK].sm_space == 0)
1012 		vdev_dirty(mg->mg_vd, VDD_METASLAB, msp, txg);
1013 
1014 	space_map_add(&msp->ms_allocmap[txg & TXG_MASK], offset, size);
1015 
1016 	mutex_exit(&msp->ms_lock);
1017 
1018 	return (offset);
1019 }
1020 
1021 /*
1022  * Allocate a block for the specified i/o.
1023  */
1024 static int
1025 metaslab_alloc_dva(spa_t *spa, metaslab_class_t *mc, uint64_t psize,
1026     dva_t *dva, int d, dva_t *hintdva, uint64_t txg, int flags)
1027 {
1028 	metaslab_group_t *mg, *rotor;
1029 	vdev_t *vd;
1030 	int dshift = 3;
1031 	int all_zero;
1032 	int zio_lock = B_FALSE;
1033 	boolean_t allocatable;
1034 	uint64_t offset = -1ULL;
1035 	uint64_t asize;
1036 	uint64_t distance;
1037 
1038 	ASSERT(!DVA_IS_VALID(&dva[d]));
1039 
1040 	/*
1041 	 * For testing, make some blocks above a certain size be gang blocks.
1042 	 */
1043 	if (psize >= metaslab_gang_bang && (ddi_get_lbolt() & 3) == 0)
1044 		return (ENOSPC);
1045 
1046 	/*
1047 	 * Start at the rotor and loop through all mgs until we find something.
1048 	 * Note that there's no locking on mc_rotor or mc_aliquot because
1049 	 * nothing actually breaks if we miss a few updates -- we just won't
1050 	 * allocate quite as evenly.  It all balances out over time.
1051 	 *
1052 	 * If we are doing ditto or log blocks, try to spread them across
1053 	 * consecutive vdevs.  If we're forced to reuse a vdev before we've
1054 	 * allocated all of our ditto blocks, then try and spread them out on
1055 	 * that vdev as much as possible.  If it turns out to not be possible,
1056 	 * gradually lower our standards until anything becomes acceptable.
1057 	 * Also, allocating on consecutive vdevs (as opposed to random vdevs)
1058 	 * gives us hope of containing our fault domains to something we're
1059 	 * able to reason about.  Otherwise, any two top-level vdev failures
1060 	 * will guarantee the loss of data.  With consecutive allocation,
1061 	 * only two adjacent top-level vdev failures will result in data loss.
1062 	 *
1063 	 * If we are doing gang blocks (hintdva is non-NULL), try to keep
1064 	 * ourselves on the same vdev as our gang block header.  That
1065 	 * way, we can hope for locality in vdev_cache, plus it makes our
1066 	 * fault domains something tractable.
1067 	 */
1068 	if (hintdva) {
1069 		vd = vdev_lookup_top(spa, DVA_GET_VDEV(&hintdva[d]));
1070 
1071 		/*
1072 		 * It's possible the vdev we're using as the hint no
1073 		 * longer exists (i.e. removed). Consult the rotor when
1074 		 * all else fails.
1075 		 */
1076 		if (vd != NULL) {
1077 			mg = vd->vdev_mg;
1078 
1079 			if (flags & METASLAB_HINTBP_AVOID &&
1080 			    mg->mg_next != NULL)
1081 				mg = mg->mg_next;
1082 		} else {
1083 			mg = mc->mc_rotor;
1084 		}
1085 	} else if (d != 0) {
1086 		vd = vdev_lookup_top(spa, DVA_GET_VDEV(&dva[d - 1]));
1087 		mg = vd->vdev_mg->mg_next;
1088 	} else {
1089 		mg = mc->mc_rotor;
1090 	}
1091 
1092 	/*
1093 	 * If the hint put us into the wrong metaslab class, or into a
1094 	 * metaslab group that has been passivated, just follow the rotor.
1095 	 */
1096 	if (mg->mg_class != mc || mg->mg_activation_count <= 0)
1097 		mg = mc->mc_rotor;
1098 
1099 	rotor = mg;
1100 top:
1101 	all_zero = B_TRUE;
1102 	do {
1103 		ASSERT(mg->mg_activation_count == 1);
1104 
1105 		vd = mg->mg_vd;
1106 
1107 		/*
1108 		 * Don't allocate from faulted devices.
1109 		 */
1110 		if (zio_lock) {
1111 			spa_config_enter(spa, SCL_ZIO, FTAG, RW_READER);
1112 			allocatable = vdev_allocatable(vd);
1113 			spa_config_exit(spa, SCL_ZIO, FTAG);
1114 		} else {
1115 			allocatable = vdev_allocatable(vd);
1116 		}
1117 		if (!allocatable)
1118 			goto next;
1119 
1120 		/*
1121 		 * Avoid writing single-copy data to a failing vdev
1122 		 */
1123 		if ((vd->vdev_stat.vs_write_errors > 0 ||
1124 		    vd->vdev_state < VDEV_STATE_HEALTHY) &&
1125 		    d == 0 && dshift == 3) {
1126 			all_zero = B_FALSE;
1127 			goto next;
1128 		}
1129 
1130 		ASSERT(mg->mg_class == mc);
1131 
1132 		distance = vd->vdev_asize >> dshift;
1133 		if (distance <= (1ULL << vd->vdev_ms_shift))
1134 			distance = 0;
1135 		else
1136 			all_zero = B_FALSE;
1137 
1138 		asize = vdev_psize_to_asize(vd, psize);
1139 		ASSERT(P2PHASE(asize, 1ULL << vd->vdev_ashift) == 0);
1140 
1141 		offset = metaslab_group_alloc(mg, asize, txg, distance, dva, d);
1142 		if (offset != -1ULL) {
1143 			/*
1144 			 * If we've just selected this metaslab group,
1145 			 * figure out whether the corresponding vdev is
1146 			 * over- or under-used relative to the pool,
1147 			 * and set an allocation bias to even it out.
1148 			 */
1149 			if (mc->mc_aliquot == 0) {
1150 				vdev_stat_t *vs = &vd->vdev_stat;
1151 				int64_t vu, cu;
1152 
1153 				/*
1154 				 * Determine percent used in units of 0..1024.
1155 				 * (This is just to avoid floating point.)
1156 				 */
1157 				vu = (vs->vs_alloc << 10) / (vs->vs_space + 1);
1158 				cu = (mc->mc_alloc << 10) / (mc->mc_space + 1);
1159 
1160 				/*
1161 				 * Bias by at most +/- 25% of the aliquot.
1162 				 */
1163 				mg->mg_bias = ((cu - vu) *
1164 				    (int64_t)mg->mg_aliquot) / (1024 * 4);
1165 			}
1166 
1167 			if (atomic_add_64_nv(&mc->mc_aliquot, asize) >=
1168 			    mg->mg_aliquot + mg->mg_bias) {
1169 				mc->mc_rotor = mg->mg_next;
1170 				mc->mc_aliquot = 0;
1171 			}
1172 
1173 			DVA_SET_VDEV(&dva[d], vd->vdev_id);
1174 			DVA_SET_OFFSET(&dva[d], offset);
1175 			DVA_SET_GANG(&dva[d], !!(flags & METASLAB_GANG_HEADER));
1176 			DVA_SET_ASIZE(&dva[d], asize);
1177 
1178 			return (0);
1179 		}
1180 next:
1181 		mc->mc_rotor = mg->mg_next;
1182 		mc->mc_aliquot = 0;
1183 	} while ((mg = mg->mg_next) != rotor);
1184 
1185 	if (!all_zero) {
1186 		dshift++;
1187 		ASSERT(dshift < 64);
1188 		goto top;
1189 	}
1190 
1191 	if (!allocatable && !zio_lock) {
1192 		dshift = 3;
1193 		zio_lock = B_TRUE;
1194 		goto top;
1195 	}
1196 
1197 	bzero(&dva[d], sizeof (dva_t));
1198 
1199 	return (ENOSPC);
1200 }
1201 
1202 /*
1203  * Free the block represented by DVA in the context of the specified
1204  * transaction group.
1205  */
1206 static void
1207 metaslab_free_dva(spa_t *spa, const dva_t *dva, uint64_t txg, boolean_t now)
1208 {
1209 	uint64_t vdev = DVA_GET_VDEV(dva);
1210 	uint64_t offset = DVA_GET_OFFSET(dva);
1211 	uint64_t size = DVA_GET_ASIZE(dva);
1212 	vdev_t *vd;
1213 	metaslab_t *msp;
1214 
1215 	ASSERT(DVA_IS_VALID(dva));
1216 
1217 	if (txg > spa_freeze_txg(spa))
1218 		return;
1219 
1220 	if ((vd = vdev_lookup_top(spa, vdev)) == NULL ||
1221 	    (offset >> vd->vdev_ms_shift) >= vd->vdev_ms_count) {
1222 		cmn_err(CE_WARN, "metaslab_free_dva(): bad DVA %llu:%llu",
1223 		    (u_longlong_t)vdev, (u_longlong_t)offset);
1224 		ASSERT(0);
1225 		return;
1226 	}
1227 
1228 	msp = vd->vdev_ms[offset >> vd->vdev_ms_shift];
1229 
1230 	if (DVA_GET_GANG(dva))
1231 		size = vdev_psize_to_asize(vd, SPA_GANGBLOCKSIZE);
1232 
1233 	mutex_enter(&msp->ms_lock);
1234 
1235 	if (now) {
1236 		space_map_remove(&msp->ms_allocmap[txg & TXG_MASK],
1237 		    offset, size);
1238 		space_map_free(&msp->ms_map, offset, size);
1239 	} else {
1240 		if (msp->ms_freemap[txg & TXG_MASK].sm_space == 0)
1241 			vdev_dirty(vd, VDD_METASLAB, msp, txg);
1242 		space_map_add(&msp->ms_freemap[txg & TXG_MASK], offset, size);
1243 	}
1244 
1245 	mutex_exit(&msp->ms_lock);
1246 }
1247 
1248 /*
1249  * Intent log support: upon opening the pool after a crash, notify the SPA
1250  * of blocks that the intent log has allocated for immediate write, but
1251  * which are still considered free by the SPA because the last transaction
1252  * group didn't commit yet.
1253  */
1254 static int
1255 metaslab_claim_dva(spa_t *spa, const dva_t *dva, uint64_t txg)
1256 {
1257 	uint64_t vdev = DVA_GET_VDEV(dva);
1258 	uint64_t offset = DVA_GET_OFFSET(dva);
1259 	uint64_t size = DVA_GET_ASIZE(dva);
1260 	vdev_t *vd;
1261 	metaslab_t *msp;
1262 	int error = 0;
1263 
1264 	ASSERT(DVA_IS_VALID(dva));
1265 
1266 	if ((vd = vdev_lookup_top(spa, vdev)) == NULL ||
1267 	    (offset >> vd->vdev_ms_shift) >= vd->vdev_ms_count)
1268 		return (ENXIO);
1269 
1270 	msp = vd->vdev_ms[offset >> vd->vdev_ms_shift];
1271 
1272 	if (DVA_GET_GANG(dva))
1273 		size = vdev_psize_to_asize(vd, SPA_GANGBLOCKSIZE);
1274 
1275 	mutex_enter(&msp->ms_lock);
1276 
1277 	if ((txg != 0 && spa_writeable(spa)) || !msp->ms_map.sm_loaded)
1278 		error = metaslab_activate(msp, METASLAB_WEIGHT_SECONDARY, 0);
1279 
1280 	if (error == 0 && !space_map_contains(&msp->ms_map, offset, size))
1281 		error = ENOENT;
1282 
1283 	if (error || txg == 0) {	/* txg == 0 indicates dry run */
1284 		mutex_exit(&msp->ms_lock);
1285 		return (error);
1286 	}
1287 
1288 	space_map_claim(&msp->ms_map, offset, size);
1289 
1290 	if (spa_writeable(spa)) {	/* don't dirty if we're zdb(1M) */
1291 		if (msp->ms_allocmap[txg & TXG_MASK].sm_space == 0)
1292 			vdev_dirty(vd, VDD_METASLAB, msp, txg);
1293 		space_map_add(&msp->ms_allocmap[txg & TXG_MASK], offset, size);
1294 	}
1295 
1296 	mutex_exit(&msp->ms_lock);
1297 
1298 	return (0);
1299 }
1300 
1301 int
1302 metaslab_alloc(spa_t *spa, metaslab_class_t *mc, uint64_t psize, blkptr_t *bp,
1303     int ndvas, uint64_t txg, blkptr_t *hintbp, int flags)
1304 {
1305 	dva_t *dva = bp->blk_dva;
1306 	dva_t *hintdva = hintbp->blk_dva;
1307 	int error = 0;
1308 
1309 	ASSERT(bp->blk_birth == 0);
1310 	ASSERT(BP_PHYSICAL_BIRTH(bp) == 0);
1311 
1312 	spa_config_enter(spa, SCL_ALLOC, FTAG, RW_READER);
1313 
1314 	if (mc->mc_rotor == NULL) {	/* no vdevs in this class */
1315 		spa_config_exit(spa, SCL_ALLOC, FTAG);
1316 		return (ENOSPC);
1317 	}
1318 
1319 	ASSERT(ndvas > 0 && ndvas <= spa_max_replication(spa));
1320 	ASSERT(BP_GET_NDVAS(bp) == 0);
1321 	ASSERT(hintbp == NULL || ndvas <= BP_GET_NDVAS(hintbp));
1322 
1323 	for (int d = 0; d < ndvas; d++) {
1324 		error = metaslab_alloc_dva(spa, mc, psize, dva, d, hintdva,
1325 		    txg, flags);
1326 		if (error) {
1327 			for (d--; d >= 0; d--) {
1328 				metaslab_free_dva(spa, &dva[d], txg, B_TRUE);
1329 				bzero(&dva[d], sizeof (dva_t));
1330 			}
1331 			spa_config_exit(spa, SCL_ALLOC, FTAG);
1332 			return (error);
1333 		}
1334 	}
1335 	ASSERT(error == 0);
1336 	ASSERT(BP_GET_NDVAS(bp) == ndvas);
1337 
1338 	spa_config_exit(spa, SCL_ALLOC, FTAG);
1339 
1340 	BP_SET_BIRTH(bp, txg, txg);
1341 
1342 	return (0);
1343 }
1344 
1345 void
1346 metaslab_free(spa_t *spa, const blkptr_t *bp, uint64_t txg, boolean_t now)
1347 {
1348 	const dva_t *dva = bp->blk_dva;
1349 	int ndvas = BP_GET_NDVAS(bp);
1350 
1351 	ASSERT(!BP_IS_HOLE(bp));
1352 	ASSERT(!now || bp->blk_birth >= spa_syncing_txg(spa));
1353 
1354 	spa_config_enter(spa, SCL_FREE, FTAG, RW_READER);
1355 
1356 	for (int d = 0; d < ndvas; d++)
1357 		metaslab_free_dva(spa, &dva[d], txg, now);
1358 
1359 	spa_config_exit(spa, SCL_FREE, FTAG);
1360 }
1361 
1362 int
1363 metaslab_claim(spa_t *spa, const blkptr_t *bp, uint64_t txg)
1364 {
1365 	const dva_t *dva = bp->blk_dva;
1366 	int ndvas = BP_GET_NDVAS(bp);
1367 	int error = 0;
1368 
1369 	ASSERT(!BP_IS_HOLE(bp));
1370 
1371 	if (txg != 0) {
1372 		/*
1373 		 * First do a dry run to make sure all DVAs are claimable,
1374 		 * so we don't have to unwind from partial failures below.
1375 		 */
1376 		if ((error = metaslab_claim(spa, bp, 0)) != 0)
1377 			return (error);
1378 	}
1379 
1380 	spa_config_enter(spa, SCL_ALLOC, FTAG, RW_READER);
1381 
1382 	for (int d = 0; d < ndvas; d++)
1383 		if ((error = metaslab_claim_dva(spa, &dva[d], txg)) != 0)
1384 			break;
1385 
1386 	spa_config_exit(spa, SCL_ALLOC, FTAG);
1387 
1388 	ASSERT(error == 0 || txg == 0);
1389 
1390 	return (error);
1391 }
1392