xref: /titanic_41/usr/src/uts/common/fs/zfs/zap.c (revision d29b2c4438482eb00488be49a1f5d6835f455546)
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 2007 Sun Microsystems, Inc.  All rights reserved.
23  * Use is subject to license terms.
24  */
25 
26 #pragma ident	"%Z%%M%	%I%	%E% SMI"
27 
28 
29 /*
30  * This file contains the top half of the zfs directory structure
31  * implementation. The bottom half is in zap_leaf.c.
32  *
33  * The zdir is an extendable hash data structure. There is a table of
34  * pointers to buckets (zap_t->zd_data->zd_leafs). The buckets are
35  * each a constant size and hold a variable number of directory entries.
36  * The buckets (aka "leaf nodes") are implemented in zap_leaf.c.
37  *
38  * The pointer table holds a power of 2 number of pointers.
39  * (1<<zap_t->zd_data->zd_phys->zd_prefix_len).  The bucket pointed to
40  * by the pointer at index i in the table holds entries whose hash value
41  * has a zd_prefix_len - bit prefix
42  */
43 
44 #include <sys/spa.h>
45 #include <sys/dmu.h>
46 #include <sys/zfs_context.h>
47 #include <sys/zap.h>
48 #include <sys/refcount.h>
49 #include <sys/zap_impl.h>
50 #include <sys/zap_leaf.h>
51 
52 int fzap_default_block_shift = 14; /* 16k blocksize */
53 
54 static void zap_leaf_pageout(dmu_buf_t *db, void *vl);
55 static uint64_t zap_allocate_blocks(zap_t *zap, int nblocks);
56 
57 
58 void
59 fzap_byteswap(void *vbuf, size_t size)
60 {
61 	uint64_t block_type;
62 
63 	block_type = *(uint64_t *)vbuf;
64 
65 	if (block_type == ZBT_LEAF || block_type == BSWAP_64(ZBT_LEAF))
66 		zap_leaf_byteswap(vbuf, size);
67 	else {
68 		/* it's a ptrtbl block */
69 		byteswap_uint64_array(vbuf, size);
70 	}
71 }
72 
73 void
74 fzap_upgrade(zap_t *zap, dmu_tx_t *tx)
75 {
76 	dmu_buf_t *db;
77 	zap_leaf_t *l;
78 	int i;
79 	zap_phys_t *zp;
80 
81 	ASSERT(RW_WRITE_HELD(&zap->zap_rwlock));
82 	zap->zap_ismicro = FALSE;
83 
84 	(void) dmu_buf_update_user(zap->zap_dbuf, zap, zap,
85 	    &zap->zap_f.zap_phys, zap_evict);
86 
87 	mutex_init(&zap->zap_f.zap_num_entries_mtx, 0, 0, 0);
88 	zap->zap_f.zap_block_shift = highbit(zap->zap_dbuf->db_size) - 1;
89 
90 	zp = zap->zap_f.zap_phys;
91 	/*
92 	 * explicitly zero it since it might be coming from an
93 	 * initialized microzap
94 	 */
95 	bzero(zap->zap_dbuf->db_data, zap->zap_dbuf->db_size);
96 	zp->zap_block_type = ZBT_HEADER;
97 	zp->zap_magic = ZAP_MAGIC;
98 
99 	zp->zap_ptrtbl.zt_shift = ZAP_EMBEDDED_PTRTBL_SHIFT(zap);
100 
101 	zp->zap_freeblk = 2;		/* block 1 will be the first leaf */
102 	zp->zap_num_leafs = 1;
103 	zp->zap_num_entries = 0;
104 	zp->zap_salt = zap->zap_salt;
105 
106 	/* block 1 will be the first leaf */
107 	for (i = 0; i < (1<<zp->zap_ptrtbl.zt_shift); i++)
108 		ZAP_EMBEDDED_PTRTBL_ENT(zap, i) = 1;
109 
110 	/*
111 	 * set up block 1 - the first leaf
112 	 */
113 	VERIFY(0 == dmu_buf_hold(zap->zap_objset, zap->zap_object,
114 	    1<<FZAP_BLOCK_SHIFT(zap), FTAG, &db));
115 	dmu_buf_will_dirty(db, tx);
116 
117 	l = kmem_zalloc(sizeof (zap_leaf_t), KM_SLEEP);
118 	l->l_dbuf = db;
119 	l->l_phys = db->db_data;
120 
121 	zap_leaf_init(l);
122 
123 	kmem_free(l, sizeof (zap_leaf_t));
124 	dmu_buf_rele(db, FTAG);
125 }
126 
127 static int
128 zap_tryupgradedir(zap_t *zap, dmu_tx_t *tx)
129 {
130 	if (RW_WRITE_HELD(&zap->zap_rwlock))
131 		return (1);
132 	if (rw_tryupgrade(&zap->zap_rwlock)) {
133 		dmu_buf_will_dirty(zap->zap_dbuf, tx);
134 		return (1);
135 	}
136 	return (0);
137 }
138 
139 /*
140  * Generic routines for dealing with the pointer & cookie tables.
141  */
142 
143 static int
144 zap_table_grow(zap_t *zap, zap_table_phys_t *tbl,
145     void (*transfer_func)(const uint64_t *src, uint64_t *dst, int n),
146     dmu_tx_t *tx)
147 {
148 	uint64_t b, newblk;
149 	dmu_buf_t *db_old, *db_new;
150 	int err;
151 	int bs = FZAP_BLOCK_SHIFT(zap);
152 	int hepb = 1<<(bs-4);
153 	/* hepb = half the number of entries in a block */
154 
155 	ASSERT(RW_WRITE_HELD(&zap->zap_rwlock));
156 	ASSERT(tbl->zt_blk != 0);
157 	ASSERT(tbl->zt_numblks > 0);
158 
159 	if (tbl->zt_nextblk != 0) {
160 		newblk = tbl->zt_nextblk;
161 	} else {
162 		newblk = zap_allocate_blocks(zap, tbl->zt_numblks * 2);
163 		tbl->zt_nextblk = newblk;
164 		ASSERT3U(tbl->zt_blks_copied, ==, 0);
165 		dmu_prefetch(zap->zap_objset, zap->zap_object,
166 		    tbl->zt_blk << bs, tbl->zt_numblks << bs);
167 	}
168 
169 	/*
170 	 * Copy the ptrtbl from the old to new location.
171 	 */
172 
173 	b = tbl->zt_blks_copied;
174 	err = dmu_buf_hold(zap->zap_objset, zap->zap_object,
175 	    (tbl->zt_blk + b) << bs, FTAG, &db_old);
176 	if (err)
177 		return (err);
178 
179 	/* first half of entries in old[b] go to new[2*b+0] */
180 	VERIFY(0 == dmu_buf_hold(zap->zap_objset, zap->zap_object,
181 	    (newblk + 2*b+0) << bs, FTAG, &db_new));
182 	dmu_buf_will_dirty(db_new, tx);
183 	transfer_func(db_old->db_data, db_new->db_data, hepb);
184 	dmu_buf_rele(db_new, FTAG);
185 
186 	/* second half of entries in old[b] go to new[2*b+1] */
187 	VERIFY(0 == dmu_buf_hold(zap->zap_objset, zap->zap_object,
188 	    (newblk + 2*b+1) << bs, FTAG, &db_new));
189 	dmu_buf_will_dirty(db_new, tx);
190 	transfer_func((uint64_t *)db_old->db_data + hepb,
191 	    db_new->db_data, hepb);
192 	dmu_buf_rele(db_new, FTAG);
193 
194 	dmu_buf_rele(db_old, FTAG);
195 
196 	tbl->zt_blks_copied++;
197 
198 	dprintf("copied block %llu of %llu\n",
199 	    tbl->zt_blks_copied, tbl->zt_numblks);
200 
201 	if (tbl->zt_blks_copied == tbl->zt_numblks) {
202 		(void) dmu_free_range(zap->zap_objset, zap->zap_object,
203 		    tbl->zt_blk << bs, tbl->zt_numblks << bs, tx);
204 
205 		tbl->zt_blk = newblk;
206 		tbl->zt_numblks *= 2;
207 		tbl->zt_shift++;
208 		tbl->zt_nextblk = 0;
209 		tbl->zt_blks_copied = 0;
210 
211 		dprintf("finished; numblocks now %llu (%lluk entries)\n",
212 		    tbl->zt_numblks, 1<<(tbl->zt_shift-10));
213 	}
214 
215 	return (0);
216 }
217 
218 static int
219 zap_table_store(zap_t *zap, zap_table_phys_t *tbl, uint64_t idx, uint64_t val,
220     dmu_tx_t *tx)
221 {
222 	int err;
223 	uint64_t blk, off;
224 	int bs = FZAP_BLOCK_SHIFT(zap);
225 	dmu_buf_t *db;
226 
227 	ASSERT(RW_LOCK_HELD(&zap->zap_rwlock));
228 	ASSERT(tbl->zt_blk != 0);
229 
230 	dprintf("storing %llx at index %llx\n", val, idx);
231 
232 	blk = idx >> (bs-3);
233 	off = idx & ((1<<(bs-3))-1);
234 
235 	err = dmu_buf_hold(zap->zap_objset, zap->zap_object,
236 	    (tbl->zt_blk + blk) << bs, FTAG, &db);
237 	if (err)
238 		return (err);
239 	dmu_buf_will_dirty(db, tx);
240 
241 	if (tbl->zt_nextblk != 0) {
242 		uint64_t idx2 = idx * 2;
243 		uint64_t blk2 = idx2 >> (bs-3);
244 		uint64_t off2 = idx2 & ((1<<(bs-3))-1);
245 		dmu_buf_t *db2;
246 
247 		err = dmu_buf_hold(zap->zap_objset, zap->zap_object,
248 		    (tbl->zt_nextblk + blk2) << bs, FTAG, &db2);
249 		if (err) {
250 			dmu_buf_rele(db, FTAG);
251 			return (err);
252 		}
253 		dmu_buf_will_dirty(db2, tx);
254 		((uint64_t *)db2->db_data)[off2] = val;
255 		((uint64_t *)db2->db_data)[off2+1] = val;
256 		dmu_buf_rele(db2, FTAG);
257 	}
258 
259 	((uint64_t *)db->db_data)[off] = val;
260 	dmu_buf_rele(db, FTAG);
261 
262 	return (0);
263 }
264 
265 static int
266 zap_table_load(zap_t *zap, zap_table_phys_t *tbl, uint64_t idx, uint64_t *valp)
267 {
268 	uint64_t blk, off;
269 	int err;
270 	dmu_buf_t *db;
271 	int bs = FZAP_BLOCK_SHIFT(zap);
272 
273 	ASSERT(RW_LOCK_HELD(&zap->zap_rwlock));
274 
275 	blk = idx >> (bs-3);
276 	off = idx & ((1<<(bs-3))-1);
277 
278 	err = dmu_buf_hold(zap->zap_objset, zap->zap_object,
279 	    (tbl->zt_blk + blk) << bs, FTAG, &db);
280 	if (err)
281 		return (err);
282 	*valp = ((uint64_t *)db->db_data)[off];
283 	dmu_buf_rele(db, FTAG);
284 
285 	if (tbl->zt_nextblk != 0) {
286 		/*
287 		 * read the nextblk for the sake of i/o error checking,
288 		 * so that zap_table_load() will catch errors for
289 		 * zap_table_store.
290 		 */
291 		blk = (idx*2) >> (bs-3);
292 
293 		err = dmu_buf_hold(zap->zap_objset, zap->zap_object,
294 		    (tbl->zt_nextblk + blk) << bs, FTAG, &db);
295 		dmu_buf_rele(db, FTAG);
296 	}
297 	return (err);
298 }
299 
300 /*
301  * Routines for growing the ptrtbl.
302  */
303 
304 static void
305 zap_ptrtbl_transfer(const uint64_t *src, uint64_t *dst, int n)
306 {
307 	int i;
308 	for (i = 0; i < n; i++) {
309 		uint64_t lb = src[i];
310 		dst[2*i+0] = lb;
311 		dst[2*i+1] = lb;
312 	}
313 }
314 
315 static int
316 zap_grow_ptrtbl(zap_t *zap, dmu_tx_t *tx)
317 {
318 	/* In case things go horribly wrong. */
319 	if (zap->zap_f.zap_phys->zap_ptrtbl.zt_shift >= ZAP_HASHBITS-2)
320 		return (ENOSPC);
321 
322 	if (zap->zap_f.zap_phys->zap_ptrtbl.zt_numblks == 0) {
323 		/*
324 		 * We are outgrowing the "embedded" ptrtbl (the one
325 		 * stored in the header block).  Give it its own entire
326 		 * block, which will double the size of the ptrtbl.
327 		 */
328 		uint64_t newblk;
329 		dmu_buf_t *db_new;
330 		int err;
331 
332 		ASSERT3U(zap->zap_f.zap_phys->zap_ptrtbl.zt_shift, ==,
333 		    ZAP_EMBEDDED_PTRTBL_SHIFT(zap));
334 		ASSERT3U(zap->zap_f.zap_phys->zap_ptrtbl.zt_blk, ==, 0);
335 
336 		newblk = zap_allocate_blocks(zap, 1);
337 		err = dmu_buf_hold(zap->zap_objset, zap->zap_object,
338 		    newblk << FZAP_BLOCK_SHIFT(zap), FTAG, &db_new);
339 		if (err)
340 			return (err);
341 		dmu_buf_will_dirty(db_new, tx);
342 		zap_ptrtbl_transfer(&ZAP_EMBEDDED_PTRTBL_ENT(zap, 0),
343 		    db_new->db_data, 1 << ZAP_EMBEDDED_PTRTBL_SHIFT(zap));
344 		dmu_buf_rele(db_new, FTAG);
345 
346 		zap->zap_f.zap_phys->zap_ptrtbl.zt_blk = newblk;
347 		zap->zap_f.zap_phys->zap_ptrtbl.zt_numblks = 1;
348 		zap->zap_f.zap_phys->zap_ptrtbl.zt_shift++;
349 
350 		ASSERT3U(1ULL << zap->zap_f.zap_phys->zap_ptrtbl.zt_shift, ==,
351 		    zap->zap_f.zap_phys->zap_ptrtbl.zt_numblks <<
352 		    (FZAP_BLOCK_SHIFT(zap)-3));
353 
354 		return (0);
355 	} else {
356 		return (zap_table_grow(zap, &zap->zap_f.zap_phys->zap_ptrtbl,
357 		    zap_ptrtbl_transfer, tx));
358 	}
359 }
360 
361 static void
362 zap_increment_num_entries(zap_t *zap, int delta, dmu_tx_t *tx)
363 {
364 	dmu_buf_will_dirty(zap->zap_dbuf, tx);
365 	mutex_enter(&zap->zap_f.zap_num_entries_mtx);
366 	ASSERT(delta > 0 || zap->zap_f.zap_phys->zap_num_entries >= -delta);
367 	zap->zap_f.zap_phys->zap_num_entries += delta;
368 	mutex_exit(&zap->zap_f.zap_num_entries_mtx);
369 }
370 
371 static uint64_t
372 zap_allocate_blocks(zap_t *zap, int nblocks)
373 {
374 	uint64_t newblk;
375 	ASSERT(RW_WRITE_HELD(&zap->zap_rwlock));
376 	newblk = zap->zap_f.zap_phys->zap_freeblk;
377 	zap->zap_f.zap_phys->zap_freeblk += nblocks;
378 	return (newblk);
379 }
380 
381 static zap_leaf_t *
382 zap_create_leaf(zap_t *zap, dmu_tx_t *tx)
383 {
384 	void *winner;
385 	zap_leaf_t *l = kmem_alloc(sizeof (zap_leaf_t), KM_SLEEP);
386 
387 	ASSERT(RW_WRITE_HELD(&zap->zap_rwlock));
388 
389 	rw_init(&l->l_rwlock, 0, 0, 0);
390 	rw_enter(&l->l_rwlock, RW_WRITER);
391 	l->l_blkid = zap_allocate_blocks(zap, 1);
392 	l->l_dbuf = NULL;
393 	l->l_phys = NULL;
394 
395 	VERIFY(0 == dmu_buf_hold(zap->zap_objset, zap->zap_object,
396 	    l->l_blkid << FZAP_BLOCK_SHIFT(zap), NULL, &l->l_dbuf));
397 	winner = dmu_buf_set_user(l->l_dbuf, l, &l->l_phys, zap_leaf_pageout);
398 	ASSERT(winner == NULL);
399 	dmu_buf_will_dirty(l->l_dbuf, tx);
400 
401 	zap_leaf_init(l);
402 
403 	zap->zap_f.zap_phys->zap_num_leafs++;
404 
405 	return (l);
406 }
407 
408 int
409 fzap_count(zap_t *zap, uint64_t *count)
410 {
411 	ASSERT(!zap->zap_ismicro);
412 	mutex_enter(&zap->zap_f.zap_num_entries_mtx); /* unnecessary */
413 	*count = zap->zap_f.zap_phys->zap_num_entries;
414 	mutex_exit(&zap->zap_f.zap_num_entries_mtx);
415 	return (0);
416 }
417 
418 /*
419  * Routines for obtaining zap_leaf_t's
420  */
421 
422 void
423 zap_put_leaf(zap_leaf_t *l)
424 {
425 	rw_exit(&l->l_rwlock);
426 	dmu_buf_rele(l->l_dbuf, NULL);
427 }
428 
429 _NOTE(ARGSUSED(0))
430 static void
431 zap_leaf_pageout(dmu_buf_t *db, void *vl)
432 {
433 	zap_leaf_t *l = vl;
434 
435 	rw_destroy(&l->l_rwlock);
436 	kmem_free(l, sizeof (zap_leaf_t));
437 }
438 
439 static zap_leaf_t *
440 zap_open_leaf(uint64_t blkid, dmu_buf_t *db)
441 {
442 	zap_leaf_t *l, *winner;
443 
444 	ASSERT(blkid != 0);
445 
446 	l = kmem_alloc(sizeof (zap_leaf_t), KM_SLEEP);
447 	rw_init(&l->l_rwlock, 0, 0, 0);
448 	rw_enter(&l->l_rwlock, RW_WRITER);
449 	l->l_blkid = blkid;
450 	l->l_bs = highbit(db->db_size)-1;
451 	l->l_dbuf = db;
452 	l->l_phys = NULL;
453 
454 	winner = dmu_buf_set_user(db, l, &l->l_phys, zap_leaf_pageout);
455 
456 	rw_exit(&l->l_rwlock);
457 	if (winner != NULL) {
458 		/* someone else set it first */
459 		zap_leaf_pageout(NULL, l);
460 		l = winner;
461 	}
462 
463 	/*
464 	 * lhr_pad was previously used for the next leaf in the leaf
465 	 * chain.  There should be no chained leafs (as we have removed
466 	 * support for them).
467 	 */
468 	ASSERT3U(l->l_phys->l_hdr.lh_pad1, ==, 0);
469 
470 	/*
471 	 * There should be more hash entries than there can be
472 	 * chunks to put in the hash table
473 	 */
474 	ASSERT3U(ZAP_LEAF_HASH_NUMENTRIES(l), >, ZAP_LEAF_NUMCHUNKS(l) / 3);
475 
476 	/* The chunks should begin at the end of the hash table */
477 	ASSERT3P(&ZAP_LEAF_CHUNK(l, 0), ==,
478 	    &l->l_phys->l_hash[ZAP_LEAF_HASH_NUMENTRIES(l)]);
479 
480 	/* The chunks should end at the end of the block */
481 	ASSERT3U((uintptr_t)&ZAP_LEAF_CHUNK(l, ZAP_LEAF_NUMCHUNKS(l)) -
482 	    (uintptr_t)l->l_phys, ==, l->l_dbuf->db_size);
483 
484 	return (l);
485 }
486 
487 static int
488 zap_get_leaf_byblk(zap_t *zap, uint64_t blkid, dmu_tx_t *tx, krw_t lt,
489     zap_leaf_t **lp)
490 {
491 	dmu_buf_t *db;
492 	zap_leaf_t *l;
493 	int bs = FZAP_BLOCK_SHIFT(zap);
494 	int err;
495 
496 	ASSERT(RW_LOCK_HELD(&zap->zap_rwlock));
497 
498 	err = dmu_buf_hold(zap->zap_objset, zap->zap_object,
499 	    blkid << bs, NULL, &db);
500 	if (err)
501 		return (err);
502 
503 	ASSERT3U(db->db_object, ==, zap->zap_object);
504 	ASSERT3U(db->db_offset, ==, blkid << bs);
505 	ASSERT3U(db->db_size, ==, 1 << bs);
506 	ASSERT(blkid != 0);
507 
508 	l = dmu_buf_get_user(db);
509 
510 	if (l == NULL)
511 		l = zap_open_leaf(blkid, db);
512 
513 	rw_enter(&l->l_rwlock, lt);
514 	/*
515 	 * Must lock before dirtying, otherwise l->l_phys could change,
516 	 * causing ASSERT below to fail.
517 	 */
518 	if (lt == RW_WRITER)
519 		dmu_buf_will_dirty(db, tx);
520 	ASSERT3U(l->l_blkid, ==, blkid);
521 	ASSERT3P(l->l_dbuf, ==, db);
522 	ASSERT3P(l->l_phys, ==, l->l_dbuf->db_data);
523 	ASSERT3U(l->l_phys->l_hdr.lh_block_type, ==, ZBT_LEAF);
524 	ASSERT3U(l->l_phys->l_hdr.lh_magic, ==, ZAP_LEAF_MAGIC);
525 
526 	*lp = l;
527 	return (0);
528 }
529 
530 static int
531 zap_idx_to_blk(zap_t *zap, uint64_t idx, uint64_t *valp)
532 {
533 	ASSERT(RW_LOCK_HELD(&zap->zap_rwlock));
534 
535 	if (zap->zap_f.zap_phys->zap_ptrtbl.zt_numblks == 0) {
536 		ASSERT3U(idx, <,
537 		    (1ULL << zap->zap_f.zap_phys->zap_ptrtbl.zt_shift));
538 		*valp = ZAP_EMBEDDED_PTRTBL_ENT(zap, idx);
539 		return (0);
540 	} else {
541 		return (zap_table_load(zap, &zap->zap_f.zap_phys->zap_ptrtbl,
542 		    idx, valp));
543 	}
544 }
545 
546 static int
547 zap_set_idx_to_blk(zap_t *zap, uint64_t idx, uint64_t blk, dmu_tx_t *tx)
548 {
549 	ASSERT(tx != NULL);
550 	ASSERT(RW_WRITE_HELD(&zap->zap_rwlock));
551 
552 	if (zap->zap_f.zap_phys->zap_ptrtbl.zt_blk == 0) {
553 		ZAP_EMBEDDED_PTRTBL_ENT(zap, idx) = blk;
554 		return (0);
555 	} else {
556 		return (zap_table_store(zap, &zap->zap_f.zap_phys->zap_ptrtbl,
557 		    idx, blk, tx));
558 	}
559 }
560 
561 static int
562 zap_deref_leaf(zap_t *zap, uint64_t h, dmu_tx_t *tx, krw_t lt, zap_leaf_t **lp)
563 {
564 	uint64_t idx, blk;
565 	int err;
566 
567 	ASSERT(zap->zap_dbuf == NULL ||
568 	    zap->zap_f.zap_phys == zap->zap_dbuf->db_data);
569 	ASSERT3U(zap->zap_f.zap_phys->zap_magic, ==, ZAP_MAGIC);
570 	idx = ZAP_HASH_IDX(h, zap->zap_f.zap_phys->zap_ptrtbl.zt_shift);
571 	err = zap_idx_to_blk(zap, idx, &blk);
572 	if (err != 0)
573 		return (err);
574 	err = zap_get_leaf_byblk(zap, blk, tx, lt, lp);
575 
576 	ASSERT(err || ZAP_HASH_IDX(h, (*lp)->l_phys->l_hdr.lh_prefix_len) ==
577 	    (*lp)->l_phys->l_hdr.lh_prefix);
578 	return (err);
579 }
580 
581 static int
582 zap_expand_leaf(zap_t *zap, zap_leaf_t *l, uint64_t hash, dmu_tx_t *tx,
583     zap_leaf_t **lp)
584 {
585 	zap_leaf_t *nl;
586 	int prefix_diff, i, err;
587 	uint64_t sibling;
588 	int old_prefix_len = l->l_phys->l_hdr.lh_prefix_len;
589 
590 	ASSERT3U(old_prefix_len, <=, zap->zap_f.zap_phys->zap_ptrtbl.zt_shift);
591 	ASSERT(RW_LOCK_HELD(&zap->zap_rwlock));
592 
593 	ASSERT3U(ZAP_HASH_IDX(hash, old_prefix_len), ==,
594 	    l->l_phys->l_hdr.lh_prefix);
595 
596 	if (zap_tryupgradedir(zap, tx) == 0 ||
597 	    old_prefix_len == zap->zap_f.zap_phys->zap_ptrtbl.zt_shift) {
598 		/* We failed to upgrade, or need to grow the pointer table */
599 		objset_t *os = zap->zap_objset;
600 		uint64_t object = zap->zap_object;
601 
602 		zap_put_leaf(l);
603 		zap_unlockdir(zap);
604 		err = zap_lockdir(os, object, tx, RW_WRITER, FALSE, &zap);
605 		if (err)
606 			return (err);
607 		ASSERT(!zap->zap_ismicro);
608 
609 		while (old_prefix_len ==
610 		    zap->zap_f.zap_phys->zap_ptrtbl.zt_shift) {
611 			err = zap_grow_ptrtbl(zap, tx);
612 			if (err)
613 				return (err);
614 		}
615 
616 		err = zap_deref_leaf(zap, hash, tx, RW_WRITER, &l);
617 		if (err)
618 			return (err);
619 
620 		if (l->l_phys->l_hdr.lh_prefix_len != old_prefix_len) {
621 			/* it split while our locks were down */
622 			*lp = l;
623 			return (0);
624 		}
625 	}
626 	ASSERT(RW_WRITE_HELD(&zap->zap_rwlock));
627 	ASSERT3U(old_prefix_len, <, zap->zap_f.zap_phys->zap_ptrtbl.zt_shift);
628 	ASSERT3U(ZAP_HASH_IDX(hash, old_prefix_len), ==,
629 	    l->l_phys->l_hdr.lh_prefix);
630 
631 	prefix_diff = zap->zap_f.zap_phys->zap_ptrtbl.zt_shift -
632 	    (old_prefix_len + 1);
633 	sibling = (ZAP_HASH_IDX(hash, old_prefix_len + 1) | 1) << prefix_diff;
634 
635 	/* check for i/o errors before doing zap_leaf_split */
636 	for (i = 0; i < (1ULL<<prefix_diff); i++) {
637 		uint64_t blk;
638 		err = zap_idx_to_blk(zap, sibling+i, &blk);
639 		if (err)
640 			return (err);
641 		ASSERT3U(blk, ==, l->l_blkid);
642 	}
643 
644 	nl = zap_create_leaf(zap, tx);
645 	zap_leaf_split(l, nl);
646 
647 	/* set sibling pointers */
648 	for (i = 0; i < (1ULL<<prefix_diff); i++) {
649 		err = zap_set_idx_to_blk(zap, sibling+i, nl->l_blkid, tx);
650 		ASSERT3U(err, ==, 0); /* we checked for i/o errors above */
651 	}
652 
653 	if (hash & (1ULL << (64 - l->l_phys->l_hdr.lh_prefix_len))) {
654 		/* we want the sibling */
655 		zap_put_leaf(l);
656 		*lp = nl;
657 	} else {
658 		zap_put_leaf(nl);
659 		*lp = l;
660 	}
661 
662 	return (0);
663 }
664 
665 static void
666 zap_put_leaf_maybe_grow_ptrtbl(zap_t *zap, zap_leaf_t *l, dmu_tx_t *tx)
667 {
668 	int shift = zap->zap_f.zap_phys->zap_ptrtbl.zt_shift;
669 	int leaffull = (l->l_phys->l_hdr.lh_prefix_len == shift &&
670 	    l->l_phys->l_hdr.lh_nfree < ZAP_LEAF_LOW_WATER);
671 
672 	zap_put_leaf(l);
673 
674 	if (leaffull || zap->zap_f.zap_phys->zap_ptrtbl.zt_nextblk) {
675 		int err;
676 
677 		/*
678 		 * We are in the middle of growing the pointer table, or
679 		 * this leaf will soon make us grow it.
680 		 */
681 		if (zap_tryupgradedir(zap, tx) == 0) {
682 			objset_t *os = zap->zap_objset;
683 			uint64_t zapobj = zap->zap_object;
684 
685 			zap_unlockdir(zap);
686 			err = zap_lockdir(os, zapobj, tx,
687 			    RW_WRITER, FALSE, &zap);
688 			if (err)
689 				return;
690 		}
691 
692 		/* could have finished growing while our locks were down */
693 		if (zap->zap_f.zap_phys->zap_ptrtbl.zt_shift == shift)
694 			(void) zap_grow_ptrtbl(zap, tx);
695 	}
696 }
697 
698 
699 static int
700 fzap_checksize(const char *name, uint64_t integer_size, uint64_t num_integers)
701 {
702 	if (name && strlen(name) > ZAP_MAXNAMELEN)
703 		return (E2BIG);
704 
705 	/* Only integer sizes supported by C */
706 	switch (integer_size) {
707 	case 1:
708 	case 2:
709 	case 4:
710 	case 8:
711 		break;
712 	default:
713 		return (EINVAL);
714 	}
715 
716 	if (integer_size * num_integers > ZAP_MAXVALUELEN)
717 		return (E2BIG);
718 
719 	return (0);
720 }
721 
722 /*
723  * Routines for maniplulating attributes.
724  */
725 int
726 fzap_lookup(zap_t *zap, const char *name,
727     uint64_t integer_size, uint64_t num_integers, void *buf)
728 {
729 	zap_leaf_t *l;
730 	int err;
731 	uint64_t hash;
732 	zap_entry_handle_t zeh;
733 
734 	err = fzap_checksize(name, integer_size, num_integers);
735 	if (err != 0)
736 		return (err);
737 
738 	hash = zap_hash(zap, name);
739 	err = zap_deref_leaf(zap, hash, NULL, RW_READER, &l);
740 	if (err != 0)
741 		return (err);
742 	err = zap_leaf_lookup(l, name, hash, &zeh);
743 	if (err == 0)
744 		err = zap_entry_read(&zeh, integer_size, num_integers, buf);
745 
746 	zap_put_leaf(l);
747 	return (err);
748 }
749 
750 int
751 fzap_add_cd(zap_t *zap, const char *name,
752     uint64_t integer_size, uint64_t num_integers,
753     const void *val, uint32_t cd, dmu_tx_t *tx)
754 {
755 	zap_leaf_t *l;
756 	uint64_t hash;
757 	int err;
758 	zap_entry_handle_t zeh;
759 
760 	ASSERT(RW_LOCK_HELD(&zap->zap_rwlock));
761 	ASSERT(!zap->zap_ismicro);
762 	ASSERT(fzap_checksize(name, integer_size, num_integers) == 0);
763 
764 	hash = zap_hash(zap, name);
765 	err = zap_deref_leaf(zap, hash, tx, RW_WRITER, &l);
766 	if (err != 0)
767 		return (err);
768 retry:
769 	err = zap_leaf_lookup(l, name, hash, &zeh);
770 	if (err == 0) {
771 		err = EEXIST;
772 		goto out;
773 	}
774 	if (err != ENOENT)
775 		goto out;
776 
777 	err = zap_entry_create(l, name, hash, cd,
778 	    integer_size, num_integers, val, &zeh);
779 
780 	if (err == 0) {
781 		zap_increment_num_entries(zap, 1, tx);
782 	} else if (err == EAGAIN) {
783 		err = zap_expand_leaf(zap, l, hash, tx, &l);
784 		if (err == 0)
785 			goto retry;
786 	}
787 
788 out:
789 	zap_put_leaf_maybe_grow_ptrtbl(zap, l, tx);
790 	return (err);
791 }
792 
793 int
794 fzap_add(zap_t *zap, const char *name,
795     uint64_t integer_size, uint64_t num_integers,
796     const void *val, dmu_tx_t *tx)
797 {
798 	int err = fzap_checksize(name, integer_size, num_integers);
799 	if (err != 0)
800 		return (err);
801 
802 	return (fzap_add_cd(zap, name, integer_size, num_integers,
803 	    val, ZAP_MAXCD, tx));
804 }
805 
806 int
807 fzap_update(zap_t *zap, const char *name,
808     int integer_size, uint64_t num_integers, const void *val, dmu_tx_t *tx)
809 {
810 	zap_leaf_t *l;
811 	uint64_t hash;
812 	int err, create;
813 	zap_entry_handle_t zeh;
814 
815 	ASSERT(RW_LOCK_HELD(&zap->zap_rwlock));
816 	err = fzap_checksize(name, integer_size, num_integers);
817 	if (err != 0)
818 		return (err);
819 
820 	hash = zap_hash(zap, name);
821 	err = zap_deref_leaf(zap, hash, tx, RW_WRITER, &l);
822 	if (err != 0)
823 		return (err);
824 retry:
825 	err = zap_leaf_lookup(l, name, hash, &zeh);
826 	create = (err == ENOENT);
827 	ASSERT(err == 0 || err == ENOENT);
828 
829 	/* XXX If this leaf is chained, split it if we can. */
830 
831 	if (create) {
832 		err = zap_entry_create(l, name, hash, ZAP_MAXCD,
833 		    integer_size, num_integers, val, &zeh);
834 		if (err == 0)
835 			zap_increment_num_entries(zap, 1, tx);
836 	} else {
837 		err = zap_entry_update(&zeh, integer_size, num_integers, val);
838 	}
839 
840 	if (err == EAGAIN) {
841 		err = zap_expand_leaf(zap, l, hash, tx, &l);
842 		if (err == 0)
843 			goto retry;
844 	}
845 
846 	zap_put_leaf_maybe_grow_ptrtbl(zap, l, tx);
847 	return (err);
848 }
849 
850 int
851 fzap_length(zap_t *zap, const char *name,
852     uint64_t *integer_size, uint64_t *num_integers)
853 {
854 	zap_leaf_t *l;
855 	int err;
856 	uint64_t hash;
857 	zap_entry_handle_t zeh;
858 
859 	hash = zap_hash(zap, name);
860 	err = zap_deref_leaf(zap, hash, NULL, RW_READER, &l);
861 	if (err != 0)
862 		return (err);
863 	err = zap_leaf_lookup(l, name, hash, &zeh);
864 	if (err != 0)
865 		goto out;
866 
867 	if (integer_size)
868 		*integer_size = zeh.zeh_integer_size;
869 	if (num_integers)
870 		*num_integers = zeh.zeh_num_integers;
871 out:
872 	zap_put_leaf(l);
873 	return (err);
874 }
875 
876 int
877 fzap_remove(zap_t *zap, const char *name, dmu_tx_t *tx)
878 {
879 	zap_leaf_t *l;
880 	uint64_t hash;
881 	int err;
882 	zap_entry_handle_t zeh;
883 
884 	hash = zap_hash(zap, name);
885 	err = zap_deref_leaf(zap, hash, tx, RW_WRITER, &l);
886 	if (err != 0)
887 		return (err);
888 	err = zap_leaf_lookup(l, name, hash, &zeh);
889 	if (err == 0) {
890 		zap_entry_remove(&zeh);
891 		zap_increment_num_entries(zap, -1, tx);
892 	}
893 	zap_put_leaf(l);
894 	dprintf("fzap_remove: ds=%p obj=%llu name=%s err=%d\n",
895 	    zap->zap_objset, zap->zap_object, name, err);
896 	return (err);
897 }
898 
899 int
900 zap_value_search(objset_t *os, uint64_t zapobj, uint64_t value, uint64_t mask,
901     char *name)
902 {
903 	zap_cursor_t zc;
904 	zap_attribute_t *za;
905 	int err;
906 
907 	if (mask == 0)
908 		mask = -1ULL;
909 
910 	za = kmem_alloc(sizeof (zap_attribute_t), KM_SLEEP);
911 	for (zap_cursor_init(&zc, os, zapobj);
912 	    (err = zap_cursor_retrieve(&zc, za)) == 0;
913 	    zap_cursor_advance(&zc)) {
914 		if ((za->za_first_integer & mask) == (value & mask)) {
915 			(void) strcpy(name, za->za_name);
916 			break;
917 		}
918 	}
919 	zap_cursor_fini(&zc);
920 	kmem_free(za, sizeof (zap_attribute_t));
921 	return (err);
922 }
923 
924 
925 /*
926  * Routines for iterating over the attributes.
927  */
928 
929 int
930 fzap_cursor_retrieve(zap_t *zap, zap_cursor_t *zc, zap_attribute_t *za)
931 {
932 	int err = ENOENT;
933 	zap_entry_handle_t zeh;
934 	zap_leaf_t *l;
935 
936 	/* retrieve the next entry at or after zc_hash/zc_cd */
937 	/* if no entry, return ENOENT */
938 
939 	if (zc->zc_leaf &&
940 	    (ZAP_HASH_IDX(zc->zc_hash,
941 	    zc->zc_leaf->l_phys->l_hdr.lh_prefix_len) !=
942 	    zc->zc_leaf->l_phys->l_hdr.lh_prefix)) {
943 		rw_enter(&zc->zc_leaf->l_rwlock, RW_READER);
944 		zap_put_leaf(zc->zc_leaf);
945 		zc->zc_leaf = NULL;
946 	}
947 
948 again:
949 	if (zc->zc_leaf == NULL) {
950 		err = zap_deref_leaf(zap, zc->zc_hash, NULL, RW_READER,
951 		    &zc->zc_leaf);
952 		if (err != 0)
953 			return (err);
954 	} else {
955 		rw_enter(&zc->zc_leaf->l_rwlock, RW_READER);
956 	}
957 	l = zc->zc_leaf;
958 
959 	err = zap_leaf_lookup_closest(l, zc->zc_hash, zc->zc_cd, &zeh);
960 
961 	if (err == ENOENT) {
962 		uint64_t nocare =
963 		    (1ULL << (64 - l->l_phys->l_hdr.lh_prefix_len)) - 1;
964 		zc->zc_hash = (zc->zc_hash & ~nocare) + nocare + 1;
965 		zc->zc_cd = 0;
966 		if (l->l_phys->l_hdr.lh_prefix_len == 0 || zc->zc_hash == 0) {
967 			zc->zc_hash = -1ULL;
968 		} else {
969 			zap_put_leaf(zc->zc_leaf);
970 			zc->zc_leaf = NULL;
971 			goto again;
972 		}
973 	}
974 
975 	if (err == 0) {
976 		zc->zc_hash = zeh.zeh_hash;
977 		zc->zc_cd = zeh.zeh_cd;
978 		za->za_integer_length = zeh.zeh_integer_size;
979 		za->za_num_integers = zeh.zeh_num_integers;
980 		if (zeh.zeh_num_integers == 0) {
981 			za->za_first_integer = 0;
982 		} else {
983 			err = zap_entry_read(&zeh, 8, 1, &za->za_first_integer);
984 			ASSERT(err == 0 || err == EOVERFLOW);
985 		}
986 		err = zap_entry_read_name(&zeh,
987 		    sizeof (za->za_name), za->za_name);
988 		ASSERT(err == 0);
989 	}
990 	rw_exit(&zc->zc_leaf->l_rwlock);
991 	return (err);
992 }
993 
994 
995 static void
996 zap_stats_ptrtbl(zap_t *zap, uint64_t *tbl, int len, zap_stats_t *zs)
997 {
998 	int i, err;
999 	uint64_t lastblk = 0;
1000 
1001 	/*
1002 	 * NB: if a leaf has more pointers than an entire ptrtbl block
1003 	 * can hold, then it'll be accounted for more than once, since
1004 	 * we won't have lastblk.
1005 	 */
1006 	for (i = 0; i < len; i++) {
1007 		zap_leaf_t *l;
1008 
1009 		if (tbl[i] == lastblk)
1010 			continue;
1011 		lastblk = tbl[i];
1012 
1013 		err = zap_get_leaf_byblk(zap, tbl[i], NULL, RW_READER, &l);
1014 		if (err == 0) {
1015 			zap_leaf_stats(zap, l, zs);
1016 			zap_put_leaf(l);
1017 		}
1018 	}
1019 }
1020 
1021 void
1022 fzap_get_stats(zap_t *zap, zap_stats_t *zs)
1023 {
1024 	int bs = FZAP_BLOCK_SHIFT(zap);
1025 	zs->zs_blocksize = 1ULL << bs;
1026 
1027 	/*
1028 	 * Set zap_phys_t fields
1029 	 */
1030 	zs->zs_num_leafs = zap->zap_f.zap_phys->zap_num_leafs;
1031 	zs->zs_num_entries = zap->zap_f.zap_phys->zap_num_entries;
1032 	zs->zs_num_blocks = zap->zap_f.zap_phys->zap_freeblk;
1033 	zs->zs_block_type = zap->zap_f.zap_phys->zap_block_type;
1034 	zs->zs_magic = zap->zap_f.zap_phys->zap_magic;
1035 	zs->zs_salt = zap->zap_f.zap_phys->zap_salt;
1036 
1037 	/*
1038 	 * Set zap_ptrtbl fields
1039 	 */
1040 	zs->zs_ptrtbl_len = 1ULL << zap->zap_f.zap_phys->zap_ptrtbl.zt_shift;
1041 	zs->zs_ptrtbl_nextblk = zap->zap_f.zap_phys->zap_ptrtbl.zt_nextblk;
1042 	zs->zs_ptrtbl_blks_copied =
1043 	    zap->zap_f.zap_phys->zap_ptrtbl.zt_blks_copied;
1044 	zs->zs_ptrtbl_zt_blk = zap->zap_f.zap_phys->zap_ptrtbl.zt_blk;
1045 	zs->zs_ptrtbl_zt_numblks = zap->zap_f.zap_phys->zap_ptrtbl.zt_numblks;
1046 	zs->zs_ptrtbl_zt_shift = zap->zap_f.zap_phys->zap_ptrtbl.zt_shift;
1047 
1048 	if (zap->zap_f.zap_phys->zap_ptrtbl.zt_numblks == 0) {
1049 		/* the ptrtbl is entirely in the header block. */
1050 		zap_stats_ptrtbl(zap, &ZAP_EMBEDDED_PTRTBL_ENT(zap, 0),
1051 		    1 << ZAP_EMBEDDED_PTRTBL_SHIFT(zap), zs);
1052 	} else {
1053 		int b;
1054 
1055 		dmu_prefetch(zap->zap_objset, zap->zap_object,
1056 		    zap->zap_f.zap_phys->zap_ptrtbl.zt_blk << bs,
1057 		    zap->zap_f.zap_phys->zap_ptrtbl.zt_numblks << bs);
1058 
1059 		for (b = 0; b < zap->zap_f.zap_phys->zap_ptrtbl.zt_numblks;
1060 		    b++) {
1061 			dmu_buf_t *db;
1062 			int err;
1063 
1064 			err = dmu_buf_hold(zap->zap_objset, zap->zap_object,
1065 			    (zap->zap_f.zap_phys->zap_ptrtbl.zt_blk + b) << bs,
1066 			    FTAG, &db);
1067 			if (err == 0) {
1068 				zap_stats_ptrtbl(zap, db->db_data,
1069 				    1<<(bs-3), zs);
1070 				dmu_buf_rele(db, FTAG);
1071 			}
1072 		}
1073 	}
1074 }
1075