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