xref: /titanic_44/usr/src/uts/common/fs/zfs/arc.c (revision ee519a1f9541a20bb76ef306dfc8e5616f8a5e26)
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 2006 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  * DVA-based Adjustable Relpacement Cache
30  *
31  * While much of the theory of operation and algorithms used here
32  * are based on the self-tuning, low overhead replacement cache
33  * presented by Megiddo and Modha at FAST 2003, there are some
34  * significant differences:
35  *
36  * 1. The Megiddo and Modha model assumes any page is evictable.
37  * Pages in its cache cannot be "locked" into memory.  This makes
38  * the eviction algorithm simple: evict the last page in the list.
39  * This also make the performance characteristics easy to reason
40  * about.  Our cache is not so simple.  At any given moment, some
41  * subset of the blocks in the cache are un-evictable because we
42  * have handed out a reference to them.  Blocks are only evictable
43  * when there are no external references active.  This makes
44  * eviction far more problematic:  we choose to evict the evictable
45  * blocks that are the "lowest" in the list.
46  *
47  * There are times when it is not possible to evict the requested
48  * space.  In these circumstances we are unable to adjust the cache
49  * size.  To prevent the cache growing unbounded at these times we
50  * implement a "cache throttle" that slowes the flow of new data
51  * into the cache until we can make space avaiable.
52  *
53  * 2. The Megiddo and Modha model assumes a fixed cache size.
54  * Pages are evicted when the cache is full and there is a cache
55  * miss.  Our model has a variable sized cache.  It grows with
56  * high use, but also tries to react to memory preasure from the
57  * operating system: decreasing its size when system memory is
58  * tight.
59  *
60  * 3. The Megiddo and Modha model assumes a fixed page size. All
61  * elements of the cache are therefor exactly the same size.  So
62  * when adjusting the cache size following a cache miss, its simply
63  * a matter of choosing a single page to evict.  In our model, we
64  * have variable sized cache blocks (rangeing from 512 bytes to
65  * 128K bytes).  We therefor choose a set of blocks to evict to make
66  * space for a cache miss that approximates as closely as possible
67  * the space used by the new block.
68  *
69  * See also:  "ARC: A Self-Tuning, Low Overhead Replacement Cache"
70  * by N. Megiddo & D. Modha, FAST 2003
71  */
72 
73 /*
74  * The locking model:
75  *
76  * A new reference to a cache buffer can be obtained in two
77  * ways: 1) via a hash table lookup using the DVA as a key,
78  * or 2) via one of the ARC lists.  The arc_read() inerface
79  * uses method 1, while the internal arc algorithms for
80  * adjusting the cache use method 2.  We therefor provide two
81  * types of locks: 1) the hash table lock array, and 2) the
82  * arc list locks.
83  *
84  * Buffers do not have their own mutexs, rather they rely on the
85  * hash table mutexs for the bulk of their protection (i.e. most
86  * fields in the arc_buf_hdr_t are protected by these mutexs).
87  *
88  * buf_hash_find() returns the appropriate mutex (held) when it
89  * locates the requested buffer in the hash table.  It returns
90  * NULL for the mutex if the buffer was not in the table.
91  *
92  * buf_hash_remove() expects the appropriate hash mutex to be
93  * already held before it is invoked.
94  *
95  * Each arc state also has a mutex which is used to protect the
96  * buffer list associated with the state.  When attempting to
97  * obtain a hash table lock while holding an arc list lock you
98  * must use: mutex_tryenter() to avoid deadlock.  Also note that
99  * the "top" state mutex must be held before the "bot" state mutex.
100  *
101  * Note that the majority of the performance stats are manipulated
102  * with atomic operations.
103  */
104 
105 #include <sys/spa.h>
106 #include <sys/zio.h>
107 #include <sys/zfs_context.h>
108 #include <sys/arc.h>
109 #include <sys/refcount.h>
110 #ifdef _KERNEL
111 #include <sys/vmsystm.h>
112 #include <vm/anon.h>
113 #include <sys/fs/swapnode.h>
114 #include <sys/dnlc.h>
115 #endif
116 #include <sys/callb.h>
117 
118 static kmutex_t		arc_reclaim_thr_lock;
119 static kcondvar_t	arc_reclaim_thr_cv;	/* used to signal reclaim thr */
120 static uint8_t		arc_thread_exit;
121 
122 #define	ARC_REDUCE_DNLC_PERCENT	3
123 uint_t arc_reduce_dnlc_percent = ARC_REDUCE_DNLC_PERCENT;
124 
125 typedef enum arc_reclaim_strategy {
126 	ARC_RECLAIM_AGGR,		/* Aggressive reclaim strategy */
127 	ARC_RECLAIM_CONS		/* Conservative reclaim strategy */
128 } arc_reclaim_strategy_t;
129 
130 /* number of seconds before growing cache again */
131 static int		arc_grow_retry = 60;
132 
133 static kmutex_t arc_reclaim_lock;
134 static int arc_dead;
135 
136 /*
137  * Note that buffers can be on one of 5 states:
138  *	ARC_anon	- anonymous (discussed below)
139  *	ARC_mru_top	- recently used, currently cached
140  *	ARC_mru_bot	- recentely used, no longer in cache
141  *	ARC_mfu_top	- frequently used, currently cached
142  *	ARC_mfu_bot	- frequently used, no longer in cache
143  * When there are no active references to the buffer, they
144  * are linked onto one of the lists in arc.  These are the
145  * only buffers that can be evicted or deleted.
146  *
147  * Anonymous buffers are buffers that are not associated with
148  * a DVA.  These are buffers that hold dirty block copies
149  * before they are written to stable storage.  By definition,
150  * they are "ref'd" and are considered part of arc_mru_top
151  * that cannot be freed.  Generally, they will aquire a DVA
152  * as they are written and migrate onto the arc_mru_top list.
153  */
154 
155 typedef struct arc_state {
156 	list_t	list;	/* linked list of evictable buffer in state */
157 	uint64_t lsize;	/* total size of buffers in the linked list */
158 	uint64_t size;	/* total size of all buffers in this state */
159 	uint64_t hits;
160 	kmutex_t mtx;
161 } arc_state_t;
162 
163 /* The 5 states: */
164 static arc_state_t ARC_anon;
165 static arc_state_t ARC_mru_top;
166 static arc_state_t ARC_mru_bot;
167 static arc_state_t ARC_mfu_top;
168 static arc_state_t ARC_mfu_bot;
169 
170 static struct arc {
171 	arc_state_t 	*anon;
172 	arc_state_t	*mru_top;
173 	arc_state_t	*mru_bot;
174 	arc_state_t	*mfu_top;
175 	arc_state_t	*mfu_bot;
176 	uint64_t	size;		/* Actual total arc size */
177 	uint64_t	p;		/* Target size (in bytes) of mru_top */
178 	uint64_t	c;		/* Target size of cache (in bytes) */
179 	uint64_t	c_min;		/* Minimum target cache size */
180 	uint64_t	c_max;		/* Maximum target cache size */
181 	uint64_t	incr;		/* Size by which to increment arc.c */
182 	int64_t		size_check;
183 
184 	/* performance stats */
185 	uint64_t	hits;
186 	uint64_t	misses;
187 	uint64_t	deleted;
188 	uint64_t	skipped;
189 	uint64_t	hash_elements;
190 	uint64_t	hash_elements_max;
191 	uint64_t	hash_collisions;
192 	uint64_t	hash_chains;
193 	uint32_t	hash_chain_max;
194 
195 	int		no_grow;	/* Don't try to grow cache size */
196 } arc;
197 
198 /* Default amount to grow arc.incr */
199 static int64_t arc_incr_size = 1024;
200 
201 /* > 0 ==> time to increment arc.c */
202 static int64_t arc_size_check_default = -1000;
203 
204 static uint64_t arc_tempreserve;
205 
206 typedef struct arc_callback arc_callback_t;
207 
208 struct arc_callback {
209 	arc_done_func_t		*acb_done;
210 	void			*acb_private;
211 	arc_byteswap_func_t	*acb_byteswap;
212 	arc_buf_t		*acb_buf;
213 	zio_t			*acb_zio_dummy;
214 	arc_callback_t		*acb_next;
215 };
216 
217 struct arc_buf_hdr {
218 	/* immutable */
219 	uint64_t		b_size;
220 	spa_t			*b_spa;
221 
222 	/* protected by hash lock */
223 	dva_t			b_dva;
224 	uint64_t		b_birth;
225 	uint64_t		b_cksum0;
226 
227 	arc_buf_hdr_t		*b_hash_next;
228 	arc_buf_t		*b_buf;
229 	uint32_t		b_flags;
230 
231 	kcondvar_t		b_cv;
232 	arc_callback_t		*b_acb;
233 
234 	/* protected by arc state mutex */
235 	arc_state_t		*b_state;
236 	list_node_t		b_arc_node;
237 
238 	/* updated atomically */
239 	clock_t			b_arc_access;
240 
241 	/* self protecting */
242 	refcount_t		b_refcnt;
243 };
244 
245 /*
246  * Private ARC flags.  These flags are private ARC only flags that will show up
247  * in b_flags in the arc_hdr_buf_t.  Some flags are publicly declared, and can
248  * be passed in as arc_flags in things like arc_read.  However, these flags
249  * should never be passed and should only be set by ARC code.  When adding new
250  * public flags, make sure not to smash the private ones.
251  */
252 
253 #define	ARC_IO_IN_PROGRESS	(1 << 10)	/* I/O in progress for buf */
254 #define	ARC_IO_ERROR		(1 << 11)	/* I/O failed for buf */
255 #define	ARC_FREED_IN_READ	(1 << 12)	/* buf freed while in read */
256 
257 #define	HDR_IO_IN_PROGRESS(hdr)	((hdr)->b_flags & ARC_IO_IN_PROGRESS)
258 #define	HDR_IO_ERROR(hdr)	((hdr)->b_flags & ARC_IO_ERROR)
259 #define	HDR_FREED_IN_READ(hdr)	((hdr)->b_flags & ARC_FREED_IN_READ)
260 
261 /*
262  * Hash table routines
263  */
264 
265 #define	HT_LOCK_PAD	64
266 
267 struct ht_lock {
268 	kmutex_t	ht_lock;
269 #ifdef _KERNEL
270 	unsigned char	pad[(HT_LOCK_PAD - sizeof (kmutex_t))];
271 #endif
272 };
273 
274 #define	BUF_LOCKS 256
275 typedef struct buf_hash_table {
276 	uint64_t ht_mask;
277 	arc_buf_hdr_t **ht_table;
278 	struct ht_lock ht_locks[BUF_LOCKS];
279 } buf_hash_table_t;
280 
281 static buf_hash_table_t buf_hash_table;
282 
283 #define	BUF_HASH_INDEX(spa, dva, birth) \
284 	(buf_hash(spa, dva, birth) & buf_hash_table.ht_mask)
285 #define	BUF_HASH_LOCK_NTRY(idx) (buf_hash_table.ht_locks[idx & (BUF_LOCKS-1)])
286 #define	BUF_HASH_LOCK(idx)	(&(BUF_HASH_LOCK_NTRY(idx).ht_lock))
287 #define	HDR_LOCK(buf) \
288 	(BUF_HASH_LOCK(BUF_HASH_INDEX(buf->b_spa, &buf->b_dva, buf->b_birth)))
289 
290 uint64_t zfs_crc64_table[256];
291 
292 static uint64_t
293 buf_hash(spa_t *spa, dva_t *dva, uint64_t birth)
294 {
295 	uintptr_t spav = (uintptr_t)spa;
296 	uint8_t *vdva = (uint8_t *)dva;
297 	uint64_t crc = -1ULL;
298 	int i;
299 
300 	ASSERT(zfs_crc64_table[128] == ZFS_CRC64_POLY);
301 
302 	for (i = 0; i < sizeof (dva_t); i++)
303 		crc = (crc >> 8) ^ zfs_crc64_table[(crc ^ vdva[i]) & 0xFF];
304 
305 	crc ^= (spav>>8) ^ birth;
306 
307 	return (crc);
308 }
309 
310 #define	BUF_EMPTY(buf)						\
311 	((buf)->b_dva.dva_word[0] == 0 &&			\
312 	(buf)->b_dva.dva_word[1] == 0 &&			\
313 	(buf)->b_birth == 0)
314 
315 #define	BUF_EQUAL(spa, dva, birth, buf)				\
316 	((buf)->b_dva.dva_word[0] == (dva)->dva_word[0]) &&	\
317 	((buf)->b_dva.dva_word[1] == (dva)->dva_word[1]) &&	\
318 	((buf)->b_birth == birth) && ((buf)->b_spa == spa)
319 
320 static arc_buf_hdr_t *
321 buf_hash_find(spa_t *spa, dva_t *dva, uint64_t birth, kmutex_t **lockp)
322 {
323 	uint64_t idx = BUF_HASH_INDEX(spa, dva, birth);
324 	kmutex_t *hash_lock = BUF_HASH_LOCK(idx);
325 	arc_buf_hdr_t *buf;
326 
327 	mutex_enter(hash_lock);
328 	for (buf = buf_hash_table.ht_table[idx]; buf != NULL;
329 	    buf = buf->b_hash_next) {
330 		if (BUF_EQUAL(spa, dva, birth, buf)) {
331 			*lockp = hash_lock;
332 			return (buf);
333 		}
334 	}
335 	mutex_exit(hash_lock);
336 	*lockp = NULL;
337 	return (NULL);
338 }
339 
340 /*
341  * Insert an entry into the hash table.  If there is already an element
342  * equal to elem in the hash table, then the already existing element
343  * will be returned and the new element will not be inserted.
344  * Otherwise returns NULL.
345  */
346 static arc_buf_hdr_t *fbufs[4]; /* XXX to find 6341326 */
347 static kthread_t *fbufs_lastthread;
348 static arc_buf_hdr_t *
349 buf_hash_insert(arc_buf_hdr_t *buf, kmutex_t **lockp)
350 {
351 	uint64_t idx = BUF_HASH_INDEX(buf->b_spa, &buf->b_dva, buf->b_birth);
352 	kmutex_t *hash_lock = BUF_HASH_LOCK(idx);
353 	arc_buf_hdr_t *fbuf;
354 	uint32_t max, i;
355 
356 	fbufs_lastthread = curthread;
357 	*lockp = hash_lock;
358 	mutex_enter(hash_lock);
359 	for (fbuf = buf_hash_table.ht_table[idx], i = 0; fbuf != NULL;
360 	    fbuf = fbuf->b_hash_next, i++) {
361 		if (i < sizeof (fbufs) / sizeof (fbufs[0]))
362 			fbufs[i] = fbuf;
363 		if (BUF_EQUAL(buf->b_spa, &buf->b_dva, buf->b_birth, fbuf))
364 			return (fbuf);
365 	}
366 
367 	buf->b_hash_next = buf_hash_table.ht_table[idx];
368 	buf_hash_table.ht_table[idx] = buf;
369 
370 	/* collect some hash table performance data */
371 	if (i > 0) {
372 		atomic_add_64(&arc.hash_collisions, 1);
373 		if (i == 1)
374 			atomic_add_64(&arc.hash_chains, 1);
375 	}
376 	while (i > (max = arc.hash_chain_max) &&
377 	    max != atomic_cas_32(&arc.hash_chain_max, max, i)) {
378 		continue;
379 	}
380 	atomic_add_64(&arc.hash_elements, 1);
381 	if (arc.hash_elements > arc.hash_elements_max)
382 		atomic_add_64(&arc.hash_elements_max, 1);
383 
384 	return (NULL);
385 }
386 
387 static void
388 buf_hash_remove(arc_buf_hdr_t *buf)
389 {
390 	arc_buf_hdr_t *fbuf, **bufp;
391 	uint64_t idx = BUF_HASH_INDEX(buf->b_spa, &buf->b_dva, buf->b_birth);
392 
393 	ASSERT(MUTEX_HELD(BUF_HASH_LOCK(idx)));
394 
395 	bufp = &buf_hash_table.ht_table[idx];
396 	while ((fbuf = *bufp) != buf) {
397 		ASSERT(fbuf != NULL);
398 		bufp = &fbuf->b_hash_next;
399 	}
400 	*bufp = buf->b_hash_next;
401 	buf->b_hash_next = NULL;
402 
403 	/* collect some hash table performance data */
404 	atomic_add_64(&arc.hash_elements, -1);
405 	if (buf_hash_table.ht_table[idx] &&
406 	    buf_hash_table.ht_table[idx]->b_hash_next == NULL)
407 		atomic_add_64(&arc.hash_chains, -1);
408 }
409 
410 /*
411  * Global data structures and functions for the buf kmem cache.
412  */
413 static kmem_cache_t *hdr_cache;
414 static kmem_cache_t *buf_cache;
415 
416 static void
417 buf_fini(void)
418 {
419 	int i;
420 
421 	kmem_free(buf_hash_table.ht_table,
422 	    (buf_hash_table.ht_mask + 1) * sizeof (void *));
423 	for (i = 0; i < BUF_LOCKS; i++)
424 		mutex_destroy(&buf_hash_table.ht_locks[i].ht_lock);
425 	kmem_cache_destroy(hdr_cache);
426 	kmem_cache_destroy(buf_cache);
427 }
428 
429 /*
430  * Constructor callback - called when the cache is empty
431  * and a new buf is requested.
432  */
433 /* ARGSUSED */
434 static int
435 hdr_cons(void *vbuf, void *unused, int kmflag)
436 {
437 	arc_buf_hdr_t *buf = vbuf;
438 
439 	bzero(buf, sizeof (arc_buf_hdr_t));
440 	refcount_create(&buf->b_refcnt);
441 	cv_init(&buf->b_cv, NULL, CV_DEFAULT, NULL);
442 	return (0);
443 }
444 
445 /*
446  * Destructor callback - called when a cached buf is
447  * no longer required.
448  */
449 /* ARGSUSED */
450 static void
451 hdr_dest(void *vbuf, void *unused)
452 {
453 	arc_buf_hdr_t *buf = vbuf;
454 
455 	refcount_destroy(&buf->b_refcnt);
456 	cv_destroy(&buf->b_cv);
457 }
458 
459 void arc_kmem_reclaim(void);
460 
461 /*
462  * Reclaim callback -- invoked when memory is low.
463  */
464 /* ARGSUSED */
465 static void
466 hdr_recl(void *unused)
467 {
468 	dprintf("hdr_recl called\n");
469 	arc_kmem_reclaim();
470 }
471 
472 static void
473 buf_init(void)
474 {
475 	uint64_t *ct;
476 	uint64_t hsize = 1ULL << 10;
477 	int i, j;
478 
479 	/*
480 	 * The hash table is big enough to fill all of physical memory
481 	 * with an average 4k block size.  The table will take up
482 	 * totalmem*sizeof(void*)/4k bytes (eg. 2MB/GB with 8-byte
483 	 * pointers).
484 	 */
485 	while (hsize * 4096 < physmem * PAGESIZE)
486 		hsize <<= 1;
487 
488 	buf_hash_table.ht_mask = hsize - 1;
489 	buf_hash_table.ht_table = kmem_zalloc(hsize * sizeof (void*), KM_SLEEP);
490 
491 	hdr_cache = kmem_cache_create("arc_buf_hdr_t", sizeof (arc_buf_hdr_t),
492 	    0, hdr_cons, hdr_dest, hdr_recl, NULL, NULL, 0);
493 	buf_cache = kmem_cache_create("arc_buf_t", sizeof (arc_buf_t),
494 	    0, NULL, NULL, NULL, NULL, NULL, 0);
495 
496 	for (i = 0; i < 256; i++)
497 		for (ct = zfs_crc64_table + i, *ct = i, j = 8; j > 0; j--)
498 			*ct = (*ct >> 1) ^ (-(*ct & 1) & ZFS_CRC64_POLY);
499 
500 	for (i = 0; i < BUF_LOCKS; i++) {
501 		mutex_init(&buf_hash_table.ht_locks[i].ht_lock,
502 		    NULL, MUTEX_DEFAULT, NULL);
503 	}
504 }
505 
506 #define	ARC_MINTIME	(hz>>4) /* 62 ms */
507 
508 #define	ARC_TAG		(void *)0x05201962
509 
510 static void
511 add_reference(arc_buf_hdr_t *ab, kmutex_t *hash_lock, void *tag)
512 {
513 	ASSERT(MUTEX_HELD(hash_lock));
514 
515 	if ((refcount_add(&ab->b_refcnt, tag) == 1) &&
516 	    (ab->b_state != arc.anon)) {
517 
518 		ASSERT(!MUTEX_HELD(&ab->b_state->mtx));
519 		mutex_enter(&ab->b_state->mtx);
520 		ASSERT(!refcount_is_zero(&ab->b_refcnt));
521 		ASSERT(list_link_active(&ab->b_arc_node));
522 		list_remove(&ab->b_state->list, ab);
523 		ASSERT3U(ab->b_state->lsize, >=, ab->b_size);
524 		ab->b_state->lsize -= ab->b_size;
525 		mutex_exit(&ab->b_state->mtx);
526 	}
527 }
528 
529 static int
530 remove_reference(arc_buf_hdr_t *ab, kmutex_t *hash_lock, void *tag)
531 {
532 	int cnt;
533 
534 	ASSERT(MUTEX_HELD(hash_lock));
535 
536 	if (((cnt = refcount_remove(&ab->b_refcnt, tag)) == 0) &&
537 	    (ab->b_state != arc.anon)) {
538 
539 		ASSERT(!MUTEX_HELD(&ab->b_state->mtx));
540 		mutex_enter(&ab->b_state->mtx);
541 		ASSERT(!list_link_active(&ab->b_arc_node));
542 		list_insert_head(&ab->b_state->list, ab);
543 		ASSERT(ab->b_buf != NULL);
544 		ab->b_state->lsize += ab->b_size;
545 		mutex_exit(&ab->b_state->mtx);
546 	}
547 	return (cnt);
548 }
549 
550 /*
551  * Move the supplied buffer to the indicated state.  The mutex
552  * for the buffer must be held by the caller.
553  */
554 static void
555 arc_change_state(arc_state_t *new_state, arc_buf_hdr_t *ab,
556     kmutex_t *hash_lock)
557 {
558 	arc_buf_t *buf;
559 
560 	ASSERT(MUTEX_HELD(hash_lock));
561 
562 	/*
563 	 * If this buffer is evictable, transfer it from the
564 	 * old state list to the new state list.
565 	 */
566 	if (refcount_is_zero(&ab->b_refcnt)) {
567 		if (ab->b_state != arc.anon) {
568 			int drop_mutex = FALSE;
569 
570 			if (!MUTEX_HELD(&ab->b_state->mtx)) {
571 				mutex_enter(&ab->b_state->mtx);
572 				drop_mutex = TRUE;
573 			}
574 			ASSERT(list_link_active(&ab->b_arc_node));
575 			list_remove(&ab->b_state->list, ab);
576 			ASSERT3U(ab->b_state->lsize, >=, ab->b_size);
577 			ab->b_state->lsize -= ab->b_size;
578 			if (drop_mutex)
579 				mutex_exit(&ab->b_state->mtx);
580 		}
581 		if (new_state != arc.anon) {
582 			int drop_mutex = FALSE;
583 
584 			if (!MUTEX_HELD(&new_state->mtx)) {
585 				mutex_enter(&new_state->mtx);
586 				drop_mutex = TRUE;
587 			}
588 			list_insert_head(&new_state->list, ab);
589 			ASSERT(ab->b_buf != NULL);
590 			new_state->lsize += ab->b_size;
591 			if (drop_mutex)
592 				mutex_exit(&new_state->mtx);
593 		}
594 	}
595 
596 	ASSERT(!BUF_EMPTY(ab));
597 	if (new_state == arc.anon && ab->b_state != arc.anon) {
598 		buf_hash_remove(ab);
599 	}
600 
601 	/*
602 	 * If this buffer isn't being transferred to the MRU-top
603 	 * state, it's safe to clear its prefetch flag
604 	 */
605 	if ((new_state != arc.mru_top) && (new_state != arc.mru_bot)) {
606 		ab->b_flags &= ~ARC_PREFETCH;
607 	}
608 
609 	buf = ab->b_buf;
610 	if (buf == NULL) {
611 		ASSERT3U(ab->b_state->size, >=, ab->b_size);
612 		atomic_add_64(&ab->b_state->size, -ab->b_size);
613 		/* we should only be here if we are deleting state */
614 		ASSERT(new_state == arc.anon &&
615 		    (ab->b_state == arc.mru_bot || ab->b_state == arc.mfu_bot));
616 	} else while (buf) {
617 		ASSERT3U(ab->b_state->size, >=, ab->b_size);
618 		atomic_add_64(&ab->b_state->size, -ab->b_size);
619 		atomic_add_64(&new_state->size, ab->b_size);
620 		buf = buf->b_next;
621 	}
622 	ab->b_state = new_state;
623 }
624 
625 arc_buf_t *
626 arc_buf_alloc(spa_t *spa, int size, void *tag)
627 {
628 	arc_buf_hdr_t *hdr;
629 	arc_buf_t *buf;
630 
631 	ASSERT3U(size, >, 0);
632 	hdr = kmem_cache_alloc(hdr_cache, KM_SLEEP);
633 	ASSERT(BUF_EMPTY(hdr));
634 	hdr->b_size = size;
635 	hdr->b_spa = spa;
636 	hdr->b_state = arc.anon;
637 	hdr->b_arc_access = 0;
638 	buf = kmem_cache_alloc(buf_cache, KM_SLEEP);
639 	buf->b_hdr = hdr;
640 	buf->b_next = NULL;
641 	buf->b_data = zio_buf_alloc(size);
642 	hdr->b_buf = buf;
643 	hdr->b_flags = 0;
644 	ASSERT(refcount_is_zero(&hdr->b_refcnt));
645 	(void) refcount_add(&hdr->b_refcnt, tag);
646 
647 	atomic_add_64(&arc.size, size);
648 	atomic_add_64(&arc.anon->size, size);
649 
650 	return (buf);
651 }
652 
653 static void
654 arc_hdr_free(arc_buf_hdr_t *hdr)
655 {
656 	ASSERT(refcount_is_zero(&hdr->b_refcnt));
657 	ASSERT3P(hdr->b_state, ==, arc.anon);
658 
659 	if (!BUF_EMPTY(hdr)) {
660 		/*
661 		 * We can be called with an arc state lock held,
662 		 * so we can't hold a hash lock here.
663 		 * ASSERT(not in hash table)
664 		 */
665 		ASSERT(!HDR_IO_IN_PROGRESS(hdr));
666 		bzero(&hdr->b_dva, sizeof (dva_t));
667 		hdr->b_birth = 0;
668 		hdr->b_cksum0 = 0;
669 	}
670 	if (hdr->b_buf) {
671 		arc_buf_t *buf = hdr->b_buf;
672 
673 		ASSERT3U(hdr->b_size, >, 0);
674 		zio_buf_free(buf->b_data, hdr->b_size);
675 		atomic_add_64(&arc.size, -hdr->b_size);
676 		ASSERT3U(arc.anon->size, >=, hdr->b_size);
677 		atomic_add_64(&arc.anon->size, -hdr->b_size);
678 		ASSERT3P(buf->b_next, ==, NULL);
679 		kmem_cache_free(buf_cache, buf);
680 		hdr->b_buf = NULL;
681 	}
682 	ASSERT(!list_link_active(&hdr->b_arc_node));
683 	ASSERT3P(hdr->b_hash_next, ==, NULL);
684 	ASSERT3P(hdr->b_acb, ==, NULL);
685 	kmem_cache_free(hdr_cache, hdr);
686 }
687 
688 void
689 arc_buf_free(arc_buf_t *buf, void *tag)
690 {
691 	arc_buf_hdr_t *hdr = buf->b_hdr;
692 	kmutex_t *hash_lock = HDR_LOCK(hdr);
693 	int freeable;
694 
695 	mutex_enter(hash_lock);
696 	if (remove_reference(hdr, hash_lock, tag) > 0) {
697 		arc_buf_t **bufp = &hdr->b_buf;
698 		arc_state_t *state = hdr->b_state;
699 		uint64_t size = hdr->b_size;
700 
701 		ASSERT(hdr->b_state != arc.anon || HDR_IO_ERROR(hdr));
702 		while (*bufp != buf) {
703 			ASSERT(*bufp);
704 			bufp = &(*bufp)->b_next;
705 		}
706 		*bufp = buf->b_next;
707 		mutex_exit(hash_lock);
708 		zio_buf_free(buf->b_data, size);
709 		atomic_add_64(&arc.size, -size);
710 		kmem_cache_free(buf_cache, buf);
711 		ASSERT3U(state->size, >=, size);
712 		atomic_add_64(&state->size, -size);
713 		return;
714 	}
715 
716 	/* don't free buffers that are in the middle of an async write */
717 	freeable = (hdr->b_state == arc.anon && hdr->b_acb == NULL);
718 	mutex_exit(hash_lock);
719 
720 	if (freeable)
721 		arc_hdr_free(hdr);
722 }
723 
724 int
725 arc_buf_size(arc_buf_t *buf)
726 {
727 	return (buf->b_hdr->b_size);
728 }
729 
730 /*
731  * Evict buffers from list until we've removed the specified number of
732  * bytes.  Move the removed buffers to the appropriate evict state.
733  */
734 static uint64_t
735 arc_evict_state(arc_state_t *state, int64_t bytes)
736 {
737 	arc_state_t *evicted_state;
738 	uint64_t bytes_evicted = 0;
739 	arc_buf_hdr_t *ab, *ab_prev;
740 	kmutex_t *hash_lock;
741 
742 	ASSERT(state == arc.mru_top || state == arc.mfu_top);
743 
744 	if (state == arc.mru_top)
745 		evicted_state = arc.mru_bot;
746 	else
747 		evicted_state = arc.mfu_bot;
748 
749 	mutex_enter(&state->mtx);
750 	mutex_enter(&evicted_state->mtx);
751 
752 	for (ab = list_tail(&state->list); ab; ab = ab_prev) {
753 		ab_prev = list_prev(&state->list, ab);
754 		hash_lock = HDR_LOCK(ab);
755 		if (mutex_tryenter(hash_lock)) {
756 			ASSERT3U(refcount_count(&ab->b_refcnt), ==, 0);
757 			arc_change_state(evicted_state, ab, hash_lock);
758 			zio_buf_free(ab->b_buf->b_data, ab->b_size);
759 			atomic_add_64(&arc.size, -ab->b_size);
760 			ASSERT3P(ab->b_buf->b_next, ==, NULL);
761 			kmem_cache_free(buf_cache, ab->b_buf);
762 			ab->b_buf = NULL;
763 			DTRACE_PROBE1(arc__evict, arc_buf_hdr_t *, ab);
764 			bytes_evicted += ab->b_size;
765 			mutex_exit(hash_lock);
766 			if (bytes_evicted >= bytes)
767 				break;
768 		} else {
769 			atomic_add_64(&arc.skipped, 1);
770 		}
771 	}
772 	mutex_exit(&evicted_state->mtx);
773 	mutex_exit(&state->mtx);
774 
775 	if (bytes_evicted < bytes)
776 		dprintf("only evicted %lld bytes from %x",
777 		    (longlong_t)bytes_evicted, state);
778 
779 	return (bytes_evicted);
780 }
781 
782 /*
783  * Remove buffers from list until we've removed the specified number of
784  * bytes.  Destroy the buffers that are removed.
785  */
786 static void
787 arc_delete_state(arc_state_t *state, int64_t bytes)
788 {
789 	uint_t bufs_skipped = 0;
790 	uint64_t bytes_deleted = 0;
791 	arc_buf_hdr_t *ab, *ab_prev;
792 	kmutex_t *hash_lock;
793 
794 top:
795 	mutex_enter(&state->mtx);
796 	for (ab = list_tail(&state->list); ab; ab = ab_prev) {
797 		ab_prev = list_prev(&state->list, ab);
798 		hash_lock = HDR_LOCK(ab);
799 		if (mutex_tryenter(hash_lock)) {
800 			arc_change_state(arc.anon, ab, hash_lock);
801 			mutex_exit(hash_lock);
802 			atomic_add_64(&arc.deleted, 1);
803 			DTRACE_PROBE1(arc__delete, arc_buf_hdr_t *, ab);
804 			bytes_deleted += ab->b_size;
805 			arc_hdr_free(ab);
806 			if (bytes >= 0 && bytes_deleted >= bytes)
807 				break;
808 		} else {
809 			if (bytes < 0) {
810 				mutex_exit(&state->mtx);
811 				mutex_enter(hash_lock);
812 				mutex_exit(hash_lock);
813 				goto top;
814 			}
815 			bufs_skipped += 1;
816 		}
817 	}
818 	mutex_exit(&state->mtx);
819 
820 	if (bufs_skipped) {
821 		atomic_add_64(&arc.skipped, bufs_skipped);
822 		ASSERT(bytes >= 0);
823 	}
824 
825 	if (bytes_deleted < bytes)
826 		dprintf("only deleted %lld bytes from %p",
827 		    (longlong_t)bytes_deleted, state);
828 }
829 
830 static void
831 arc_adjust(void)
832 {
833 	int64_t top_sz, mru_over, arc_over;
834 
835 	top_sz = arc.anon->size + arc.mru_top->size;
836 
837 	if (top_sz > arc.p && arc.mru_top->lsize > 0) {
838 		int64_t toevict = MIN(arc.mru_top->lsize, top_sz-arc.p);
839 		(void) arc_evict_state(arc.mru_top, toevict);
840 		top_sz = arc.anon->size + arc.mru_top->size;
841 	}
842 
843 	mru_over = top_sz + arc.mru_bot->size - arc.c;
844 
845 	if (mru_over > 0) {
846 		if (arc.mru_bot->lsize > 0) {
847 			int64_t todelete = MIN(arc.mru_bot->lsize, mru_over);
848 			arc_delete_state(arc.mru_bot, todelete);
849 		}
850 	}
851 
852 	if ((arc_over = arc.size - arc.c) > 0) {
853 		int64_t table_over;
854 
855 		if (arc.mfu_top->lsize > 0) {
856 			int64_t toevict = MIN(arc.mfu_top->lsize, arc_over);
857 			(void) arc_evict_state(arc.mfu_top, toevict);
858 		}
859 
860 		table_over = arc.size + arc.mru_bot->lsize + arc.mfu_bot->lsize
861 		    - arc.c*2;
862 
863 		if (table_over > 0 && arc.mfu_bot->lsize > 0) {
864 			int64_t todelete = MIN(arc.mfu_bot->lsize, table_over);
865 			arc_delete_state(arc.mfu_bot, todelete);
866 		}
867 	}
868 }
869 
870 /*
871  * Flush all *evictable* data from the cache.
872  * NOTE: this will not touch "active" (i.e. referenced) data.
873  */
874 void
875 arc_flush(void)
876 {
877 	arc_delete_state(arc.mru_top, -1);
878 	arc_delete_state(arc.mfu_top, -1);
879 
880 	arc_delete_state(arc.mru_bot, -1);
881 	arc_delete_state(arc.mfu_bot, -1);
882 }
883 
884 void
885 arc_kmem_reclaim(void)
886 {
887 	/* Remove 6.25% */
888 	/*
889 	 * We need arc_reclaim_lock because we don't want multiple
890 	 * threads trying to reclaim concurrently.
891 	 */
892 
893 	/*
894 	 * umem calls the reclaim func when we destroy the buf cache,
895 	 * which is after we do arc_fini().  So we set a flag to prevent
896 	 * accessing the destroyed mutexes and lists.
897 	 */
898 	if (arc_dead)
899 		return;
900 
901 	mutex_enter(&arc_reclaim_lock);
902 
903 	atomic_add_64(&arc.c, -(arc.c >> 4));
904 	if (arc.c < arc.c_min)
905 		arc.c = arc.c_min;
906 	atomic_add_64(&arc.p, -(arc.p >> 4));
907 
908 	arc_adjust();
909 
910 	/* Cool it for a while */
911 	arc.incr = 0;
912 	arc.size_check = arc_size_check_default << 3;
913 
914 	mutex_exit(&arc_reclaim_lock);
915 }
916 
917 static int
918 arc_reclaim_needed(void)
919 {
920 	uint64_t extra;
921 
922 #ifdef _KERNEL
923 	/*
924 	 * take 'desfree' extra pages, so we reclaim sooner, rather than later
925 	 */
926 	extra = desfree;
927 
928 	/*
929 	 * check that we're out of range of the pageout scanner.  It starts to
930 	 * schedule paging if freemem is less than lotsfree and needfree.
931 	 * lotsfree is the high-water mark for pageout, and needfree is the
932 	 * number of needed free pages.  We add extra pages here to make sure
933 	 * the scanner doesn't start up while we're freeing memory.
934 	 */
935 	if (freemem < lotsfree + needfree + extra)
936 		return (1);
937 
938 	/*
939 	 * check to make sure that swapfs has enough space so that anon
940 	 * reservations can still succeeed. anon_resvmem() checks that the
941 	 * availrmem is greater than swapfs_minfree, and the number of reserved
942 	 * swap pages.  We also add a bit of extra here just to prevent
943 	 * circumstances from getting really dire.
944 	 */
945 	if (availrmem < swapfs_minfree + swapfs_reserve + extra)
946 		return (1);
947 
948 	/*
949 	 * If we're on an i386 platform, it's possible that we'll exhaust the
950 	 * kernel heap space before we ever run out of available physical
951 	 * memory.  Most checks of the size of the heap_area compare against
952 	 * tune.t_minarmem, which is the minimum available real memory that we
953 	 * can have in the system.  However, this is generally fixed at 25 pages
954 	 * which is so low that it's useless.  In this comparison, we seek to
955 	 * calculate the total heap-size, and reclaim if more than 3/4ths of the
956 	 * heap is allocated.  (Or, in the caclulation, if less than 1/4th is
957 	 * free)
958 	 */
959 #if defined(__i386)
960 	if (btop(vmem_size(heap_arena, VMEM_FREE)) <
961 	    (btop(vmem_size(heap_arena, VMEM_FREE | VMEM_ALLOC)) >> 2))
962 		return (1);
963 #endif
964 
965 #else
966 	if (spa_get_random(100) == 0)
967 		return (1);
968 #endif
969 	return (0);
970 }
971 
972 static void
973 arc_kmem_reap_now(arc_reclaim_strategy_t strat)
974 {
975 	size_t			i;
976 	kmem_cache_t		*prev_cache = NULL;
977 	extern kmem_cache_t	*zio_buf_cache[];
978 
979 #ifdef _KERNEL
980 	/*
981 	 * First purge some DNLC entries, in case the DNLC is using
982 	 * up too much memory.
983 	 */
984 	dnlc_reduce_cache((void *)(uintptr_t)arc_reduce_dnlc_percent);
985 #endif
986 
987 	/*
988 	 * an agressive reclamation will shrink the cache size as well as reap
989 	 * free kmem buffers.  The arc_kmem_reclaim function is called when the
990 	 * header-cache is reaped, so we only reap the header cache if we're
991 	 * performing an agressive reclaim.  If we're not, just clean the kmem
992 	 * buffer caches.
993 	 */
994 	if (strat == ARC_RECLAIM_AGGR)
995 		kmem_cache_reap_now(hdr_cache);
996 
997 	kmem_cache_reap_now(buf_cache);
998 
999 	for (i = 0; i < SPA_MAXBLOCKSIZE >> SPA_MINBLOCKSHIFT; i++) {
1000 		if (zio_buf_cache[i] != prev_cache) {
1001 			prev_cache = zio_buf_cache[i];
1002 			kmem_cache_reap_now(zio_buf_cache[i]);
1003 		}
1004 	}
1005 }
1006 
1007 static void
1008 arc_reclaim_thread(void)
1009 {
1010 	clock_t			growtime = 0;
1011 	arc_reclaim_strategy_t	last_reclaim = ARC_RECLAIM_CONS;
1012 	callb_cpr_t		cpr;
1013 
1014 	CALLB_CPR_INIT(&cpr, &arc_reclaim_thr_lock, callb_generic_cpr, FTAG);
1015 
1016 	mutex_enter(&arc_reclaim_thr_lock);
1017 	while (arc_thread_exit == 0) {
1018 		if (arc_reclaim_needed()) {
1019 
1020 			if (arc.no_grow) {
1021 				if (last_reclaim == ARC_RECLAIM_CONS) {
1022 					last_reclaim = ARC_RECLAIM_AGGR;
1023 				} else {
1024 					last_reclaim = ARC_RECLAIM_CONS;
1025 				}
1026 			} else {
1027 				arc.no_grow = TRUE;
1028 				last_reclaim = ARC_RECLAIM_AGGR;
1029 				membar_producer();
1030 			}
1031 
1032 			/* reset the growth delay for every reclaim */
1033 			growtime = lbolt + (arc_grow_retry * hz);
1034 
1035 			arc_kmem_reap_now(last_reclaim);
1036 
1037 		} else if ((growtime > 0) && ((growtime - lbolt) <= 0)) {
1038 			arc.no_grow = FALSE;
1039 		}
1040 
1041 		/* block until needed, or one second, whichever is shorter */
1042 		CALLB_CPR_SAFE_BEGIN(&cpr);
1043 		(void) cv_timedwait(&arc_reclaim_thr_cv,
1044 		    &arc_reclaim_thr_lock, (lbolt + hz));
1045 		CALLB_CPR_SAFE_END(&cpr, &arc_reclaim_thr_lock);
1046 	}
1047 
1048 	arc_thread_exit = 0;
1049 	cv_broadcast(&arc_reclaim_thr_cv);
1050 	CALLB_CPR_EXIT(&cpr);		/* drops arc_reclaim_thr_lock */
1051 	thread_exit();
1052 }
1053 
1054 static void
1055 arc_try_grow(int64_t bytes)
1056 {
1057 	/*
1058 	 * If we're within (2 * maxblocksize) bytes of the target
1059 	 * cache size, increment the target cache size
1060 	 */
1061 	atomic_add_64((uint64_t *)&arc.size_check, 1);
1062 
1063 	if (arc_reclaim_needed()) {
1064 		cv_signal(&arc_reclaim_thr_cv);
1065 		return;
1066 	}
1067 
1068 	if (arc.no_grow)
1069 		return;
1070 
1071 	/*
1072 	 * return true if we successfully grow, or if there's enough space that
1073 	 * we don't have to grow.  Above, we return false if we can't grow, or
1074 	 * if we shouldn't because a reclaim is in progress.
1075 	 */
1076 	if ((arc.c - arc.size) <= (2ULL << SPA_MAXBLOCKSHIFT)) {
1077 		if (arc.size_check > 0) {
1078 			arc.size_check = arc_size_check_default;
1079 			atomic_add_64(&arc.incr, arc_incr_size);
1080 		}
1081 		atomic_add_64(&arc.c, MIN(bytes, arc.incr));
1082 		if (arc.c > arc.c_max)
1083 			arc.c = arc.c_max;
1084 		else
1085 			atomic_add_64(&arc.p, MIN(bytes, arc.incr));
1086 	} else if (arc.size > arc.c) {
1087 		if (arc.size_check > 0) {
1088 			arc.size_check = arc_size_check_default;
1089 			atomic_add_64(&arc.incr, arc_incr_size);
1090 		}
1091 		atomic_add_64(&arc.c, MIN(bytes, arc.incr));
1092 		if (arc.c > arc.c_max)
1093 			arc.c = arc.c_max;
1094 		else
1095 			atomic_add_64(&arc.p, MIN(bytes, arc.incr));
1096 	}
1097 }
1098 
1099 /*
1100  * check if the cache has reached its limits and eviction is required prior to
1101  * insert.  In this situation, we want to evict if no_grow is set Otherwise, the
1102  * cache is either big enough that we can insert, or a arc_try_grow will result
1103  * in more space being made available.
1104  */
1105 
1106 static int
1107 arc_evict_needed()
1108 {
1109 
1110 	if (arc_reclaim_needed())
1111 		return (1);
1112 
1113 	if (arc.no_grow || (arc.c > arc.c_max) || (arc.size > arc.c))
1114 		return (1);
1115 
1116 	return (0);
1117 }
1118 
1119 /*
1120  * The state, supplied as the first argument, is going to have something
1121  * inserted on its behalf. So, determine which cache must be victimized to
1122  * satisfy an insertion for this state.  We have the following cases:
1123  *
1124  * 1. Insert for MRU, p > sizeof(arc.anon + arc.mru_top) ->
1125  * In this situation if we're out of space, but the resident size of the MFU is
1126  * under the limit, victimize the MFU cache to satisfy this insertion request.
1127  *
1128  * 2. Insert for MRU, p <= sizeof(arc.anon + arc.mru_top) ->
1129  * Here, we've used up all of the available space for the MRU, so we need to
1130  * evict from our own cache instead.  Evict from the set of resident MRU
1131  * entries.
1132  *
1133  * 3. Insert for MFU (c - p) > sizeof(arc.mfu_top) ->
1134  * c minus p represents the MFU space in the cache, since p is the size of the
1135  * cache that is dedicated to the MRU.  In this situation there's still space on
1136  * the MFU side, so the MRU side needs to be victimized.
1137  *
1138  * 4. Insert for MFU (c - p) < sizeof(arc.mfu_top) ->
1139  * MFU's resident set is consuming more space than it has been allotted.  In
1140  * this situation, we must victimize our own cache, the MFU, for this insertion.
1141  */
1142 static void
1143 arc_evict_for_state(arc_state_t *state, uint64_t bytes)
1144 {
1145 	uint64_t	mru_used;
1146 	uint64_t	mfu_space;
1147 	uint64_t	evicted;
1148 
1149 	ASSERT(state == arc.mru_top || state == arc.mfu_top);
1150 
1151 	if (state == arc.mru_top) {
1152 		mru_used = arc.anon->size + arc.mru_top->size;
1153 		if (arc.p > mru_used) {
1154 			/* case 1 */
1155 			evicted = arc_evict_state(arc.mfu_top, bytes);
1156 			if (evicted < bytes) {
1157 				arc_adjust();
1158 			}
1159 		} else {
1160 			/* case 2 */
1161 			evicted = arc_evict_state(arc.mru_top, bytes);
1162 			if (evicted < bytes) {
1163 				arc_adjust();
1164 			}
1165 		}
1166 	} else {
1167 		/* MFU_top case */
1168 		mfu_space = arc.c - arc.p;
1169 		if (mfu_space > arc.mfu_top->size) {
1170 			/* case 3 */
1171 			evicted = arc_evict_state(arc.mru_top, bytes);
1172 			if (evicted < bytes) {
1173 				arc_adjust();
1174 			}
1175 		} else {
1176 			/* case 4 */
1177 			evicted = arc_evict_state(arc.mfu_top, bytes);
1178 			if (evicted < bytes) {
1179 				arc_adjust();
1180 			}
1181 		}
1182 	}
1183 }
1184 
1185 /*
1186  * This routine is called whenever a buffer is accessed.
1187  */
1188 static void
1189 arc_access(arc_buf_hdr_t *buf, kmutex_t *hash_lock)
1190 {
1191 	int		blksz, mult;
1192 
1193 	ASSERT(MUTEX_HELD(hash_lock));
1194 
1195 	blksz = buf->b_size;
1196 
1197 	if (buf->b_state == arc.anon) {
1198 		/*
1199 		 * This buffer is not in the cache, and does not
1200 		 * appear in our "ghost" list.  Add the new buffer
1201 		 * to the MRU state.
1202 		 */
1203 
1204 		arc_try_grow(blksz);
1205 		if (arc_evict_needed()) {
1206 			arc_evict_for_state(arc.mru_top, blksz);
1207 		}
1208 
1209 		ASSERT(buf->b_arc_access == 0);
1210 		buf->b_arc_access = lbolt;
1211 		DTRACE_PROBE1(new_state__mru_top, arc_buf_hdr_t *,
1212 		    buf);
1213 		arc_change_state(arc.mru_top, buf, hash_lock);
1214 
1215 		/*
1216 		 * If we are using less than 2/3 of our total target
1217 		 * cache size, bump up the target size for the MRU
1218 		 * list.
1219 		 */
1220 		if (arc.size < arc.c*2/3) {
1221 			arc.p = arc.anon->size + arc.mru_top->size + arc.c/6;
1222 		}
1223 
1224 	} else if (buf->b_state == arc.mru_top) {
1225 		/*
1226 		 * If this buffer is in the MRU-top state and has the prefetch
1227 		 * flag, the first read was actually part of a prefetch.  In
1228 		 * this situation, we simply want to clear the flag and return.
1229 		 * A subsequent access should bump this into the MFU state.
1230 		 */
1231 		if ((buf->b_flags & ARC_PREFETCH) != 0) {
1232 			buf->b_flags &= ~ARC_PREFETCH;
1233 			atomic_add_64(&arc.mru_top->hits, 1);
1234 			return;
1235 		}
1236 
1237 		/*
1238 		 * This buffer has been "accessed" only once so far,
1239 		 * but it is still in the cache. Move it to the MFU
1240 		 * state.
1241 		 */
1242 		if (lbolt > buf->b_arc_access + ARC_MINTIME) {
1243 			/*
1244 			 * More than 125ms have passed since we
1245 			 * instantiated this buffer.  Move it to the
1246 			 * most frequently used state.
1247 			 */
1248 			buf->b_arc_access = lbolt;
1249 			DTRACE_PROBE1(new_state__mfu_top,
1250 			    arc_buf_hdr_t *, buf);
1251 			arc_change_state(arc.mfu_top, buf, hash_lock);
1252 		}
1253 		atomic_add_64(&arc.mru_top->hits, 1);
1254 	} else if (buf->b_state == arc.mru_bot) {
1255 		arc_state_t	*new_state;
1256 		/*
1257 		 * This buffer has been "accessed" recently, but
1258 		 * was evicted from the cache.  Move it to the
1259 		 * MFU state.
1260 		 */
1261 
1262 		if (buf->b_flags & ARC_PREFETCH) {
1263 			new_state = arc.mru_top;
1264 			DTRACE_PROBE1(new_state__mru_top,
1265 			    arc_buf_hdr_t *, buf);
1266 		} else {
1267 			new_state = arc.mfu_top;
1268 			DTRACE_PROBE1(new_state__mfu_top,
1269 			    arc_buf_hdr_t *, buf);
1270 		}
1271 
1272 		arc_try_grow(blksz);
1273 		if (arc_evict_needed()) {
1274 			arc_evict_for_state(new_state, blksz);
1275 		}
1276 
1277 		/* Bump up the target size of the MRU list */
1278 		mult = ((arc.mru_bot->size >= arc.mfu_bot->size) ?
1279 		    1 : (arc.mfu_bot->size/arc.mru_bot->size));
1280 		arc.p = MIN(arc.c, arc.p + blksz * mult);
1281 
1282 		buf->b_arc_access = lbolt;
1283 		arc_change_state(new_state, buf, hash_lock);
1284 
1285 		atomic_add_64(&arc.mru_bot->hits, 1);
1286 	} else if (buf->b_state == arc.mfu_top) {
1287 		/*
1288 		 * This buffer has been accessed more than once and is
1289 		 * still in the cache.  Keep it in the MFU state.
1290 		 *
1291 		 * NOTE: the add_reference() that occurred when we did
1292 		 * the arc_read() should have kicked this off the list,
1293 		 * so even if it was a prefetch, it will be put back at
1294 		 * the head of the list when we remove_reference().
1295 		 */
1296 		atomic_add_64(&arc.mfu_top->hits, 1);
1297 	} else if (buf->b_state == arc.mfu_bot) {
1298 		/*
1299 		 * This buffer has been accessed more than once but has
1300 		 * been evicted from the cache.  Move it back to the
1301 		 * MFU state.
1302 		 */
1303 
1304 		arc_try_grow(blksz);
1305 		if (arc_evict_needed()) {
1306 			arc_evict_for_state(arc.mfu_top, blksz);
1307 		}
1308 
1309 		/* Bump up the target size for the MFU list */
1310 		mult = ((arc.mfu_bot->size >= arc.mru_bot->size) ?
1311 		    1 : (arc.mru_bot->size/arc.mfu_bot->size));
1312 		arc.p = MAX(0, (int64_t)arc.p - blksz * mult);
1313 
1314 		buf->b_arc_access = lbolt;
1315 		DTRACE_PROBE1(new_state__mfu_top,
1316 		    arc_buf_hdr_t *, buf);
1317 		arc_change_state(arc.mfu_top, buf, hash_lock);
1318 
1319 		atomic_add_64(&arc.mfu_bot->hits, 1);
1320 	} else {
1321 		ASSERT(!"invalid arc state");
1322 	}
1323 
1324 }
1325 
1326 /* a generic arc_done_func_t which you can use */
1327 /* ARGSUSED */
1328 void
1329 arc_bcopy_func(zio_t *zio, arc_buf_t *buf, void *arg)
1330 {
1331 	bcopy(buf->b_data, arg, buf->b_hdr->b_size);
1332 	arc_buf_free(buf, arg);
1333 }
1334 
1335 /* a generic arc_done_func_t which you can use */
1336 void
1337 arc_getbuf_func(zio_t *zio, arc_buf_t *buf, void *arg)
1338 {
1339 	arc_buf_t **bufp = arg;
1340 	if (zio && zio->io_error) {
1341 		arc_buf_free(buf, arg);
1342 		*bufp = NULL;
1343 	} else {
1344 		*bufp = buf;
1345 	}
1346 }
1347 
1348 static void
1349 arc_read_done(zio_t *zio)
1350 {
1351 	arc_buf_hdr_t	*hdr;
1352 	arc_buf_t	*buf;
1353 	arc_buf_t	*abuf;	/* buffer we're assigning to callback */
1354 	kmutex_t	*hash_lock;
1355 	arc_callback_t	*callback_list, *acb;
1356 	int		freeable = FALSE;
1357 
1358 	buf = zio->io_private;
1359 	hdr = buf->b_hdr;
1360 
1361 	if (!HDR_FREED_IN_READ(hdr)) {
1362 		arc_buf_hdr_t *found;
1363 
1364 		found = buf_hash_find(zio->io_spa, &hdr->b_dva, hdr->b_birth,
1365 		    &hash_lock);
1366 
1367 		/*
1368 		 * Buffer was inserted into hash-table and removed from lists
1369 		 * prior to starting I/O.  We should find this header, since
1370 		 * it's in the hash table, and it should be legit since it's
1371 		 * not possible to evict it during the I/O.
1372 		 */
1373 
1374 		ASSERT(found);
1375 		ASSERT(DVA_EQUAL(&hdr->b_dva, BP_IDENTITY(zio->io_bp)));
1376 	}
1377 
1378 	/* byteswap if necessary */
1379 	callback_list = hdr->b_acb;
1380 	ASSERT(callback_list != NULL);
1381 	if (BP_SHOULD_BYTESWAP(zio->io_bp) && callback_list->acb_byteswap)
1382 		callback_list->acb_byteswap(buf->b_data, hdr->b_size);
1383 
1384 	/* create copies of the data buffer for the callers */
1385 	abuf = buf;
1386 	for (acb = callback_list; acb; acb = acb->acb_next) {
1387 		if (acb->acb_done) {
1388 			if (abuf == NULL) {
1389 				abuf = kmem_cache_alloc(buf_cache, KM_SLEEP);
1390 				abuf->b_data = zio_buf_alloc(hdr->b_size);
1391 				atomic_add_64(&arc.size, hdr->b_size);
1392 				bcopy(buf->b_data, abuf->b_data, hdr->b_size);
1393 				abuf->b_hdr = hdr;
1394 				abuf->b_next = hdr->b_buf;
1395 				hdr->b_buf = abuf;
1396 				atomic_add_64(&hdr->b_state->size, hdr->b_size);
1397 			}
1398 			acb->acb_buf = abuf;
1399 			abuf = NULL;
1400 		} else {
1401 			/*
1402 			 * The caller did not provide a callback function.
1403 			 * In this case, we should just remove the reference.
1404 			 */
1405 			if (HDR_FREED_IN_READ(hdr)) {
1406 				ASSERT3P(hdr->b_state, ==, arc.anon);
1407 				(void) refcount_remove(&hdr->b_refcnt,
1408 				    acb->acb_private);
1409 			} else {
1410 				(void) remove_reference(hdr, hash_lock,
1411 				    acb->acb_private);
1412 			}
1413 		}
1414 	}
1415 	hdr->b_acb = NULL;
1416 	hdr->b_flags &= ~ARC_IO_IN_PROGRESS;
1417 
1418 	ASSERT(refcount_is_zero(&hdr->b_refcnt) || callback_list != NULL);
1419 
1420 	if (zio->io_error != 0) {
1421 		hdr->b_flags |= ARC_IO_ERROR;
1422 		if (hdr->b_state != arc.anon)
1423 			arc_change_state(arc.anon, hdr, hash_lock);
1424 		freeable = refcount_is_zero(&hdr->b_refcnt);
1425 	}
1426 
1427 	if (!HDR_FREED_IN_READ(hdr)) {
1428 		/*
1429 		 * Only call arc_access on anonymous buffers.  This is because
1430 		 * if we've issued an I/O for an evicted buffer, we've already
1431 		 * called arc_access (to prevent any simultaneous readers from
1432 		 * getting confused).
1433 		 */
1434 		if (zio->io_error == 0 && hdr->b_state == arc.anon)
1435 			arc_access(hdr, hash_lock);
1436 		mutex_exit(hash_lock);
1437 	} else {
1438 		/*
1439 		 * This block was freed while we waited for the read to
1440 		 * complete.  It has been removed from the hash table and
1441 		 * moved to the anonymous state (so that it won't show up
1442 		 * in the cache).
1443 		 */
1444 		ASSERT3P(hdr->b_state, ==, arc.anon);
1445 		freeable = refcount_is_zero(&hdr->b_refcnt);
1446 	}
1447 
1448 	cv_broadcast(&hdr->b_cv);
1449 
1450 	/* execute each callback and free its structure */
1451 	while ((acb = callback_list) != NULL) {
1452 		if (acb->acb_done)
1453 			acb->acb_done(zio, acb->acb_buf, acb->acb_private);
1454 
1455 		if (acb->acb_zio_dummy != NULL) {
1456 			acb->acb_zio_dummy->io_error = zio->io_error;
1457 			zio_nowait(acb->acb_zio_dummy);
1458 		}
1459 
1460 		callback_list = acb->acb_next;
1461 		kmem_free(acb, sizeof (arc_callback_t));
1462 	}
1463 
1464 	if (freeable)
1465 		arc_hdr_free(hdr);
1466 }
1467 
1468 /*
1469  * "Read" the block block at the specified DVA (in bp) via the
1470  * cache.  If the block is found in the cache, invoke the provided
1471  * callback immediately and return.  Note that the `zio' parameter
1472  * in the callback will be NULL in this case, since no IO was
1473  * required.  If the block is not in the cache pass the read request
1474  * on to the spa with a substitute callback function, so that the
1475  * requested block will be added to the cache.
1476  *
1477  * If a read request arrives for a block that has a read in-progress,
1478  * either wait for the in-progress read to complete (and return the
1479  * results); or, if this is a read with a "done" func, add a record
1480  * to the read to invoke the "done" func when the read completes,
1481  * and return; or just return.
1482  *
1483  * arc_read_done() will invoke all the requested "done" functions
1484  * for readers of this block.
1485  */
1486 int
1487 arc_read(zio_t *pio, spa_t *spa, blkptr_t *bp, arc_byteswap_func_t *swap,
1488     arc_done_func_t *done, void *private, int priority, int flags,
1489     uint32_t arc_flags)
1490 {
1491 	arc_buf_hdr_t *hdr;
1492 	arc_buf_t *buf;
1493 	kmutex_t *hash_lock;
1494 	zio_t	*rzio;
1495 
1496 top:
1497 	hdr = buf_hash_find(spa, BP_IDENTITY(bp), bp->blk_birth, &hash_lock);
1498 	if (hdr && hdr->b_buf) {
1499 
1500 		ASSERT((hdr->b_state == arc.mru_top) ||
1501 		    (hdr->b_state == arc.mfu_top) ||
1502 		    ((hdr->b_state == arc.anon) &&
1503 		    (HDR_IO_IN_PROGRESS(hdr))));
1504 
1505 		if (HDR_IO_IN_PROGRESS(hdr)) {
1506 
1507 			if ((arc_flags & ARC_NOWAIT) && done) {
1508 				arc_callback_t	*acb = NULL;
1509 
1510 				acb = kmem_zalloc(sizeof (arc_callback_t),
1511 				    KM_SLEEP);
1512 				acb->acb_done = done;
1513 				acb->acb_private = private;
1514 				acb->acb_byteswap = swap;
1515 				if (pio != NULL)
1516 					acb->acb_zio_dummy = zio_null(pio,
1517 					    spa, NULL, NULL, flags);
1518 
1519 				ASSERT(acb->acb_done != NULL);
1520 				acb->acb_next = hdr->b_acb;
1521 				hdr->b_acb = acb;
1522 				add_reference(hdr, hash_lock, private);
1523 				mutex_exit(hash_lock);
1524 				return (0);
1525 			} else if (arc_flags & ARC_WAIT) {
1526 				cv_wait(&hdr->b_cv, hash_lock);
1527 				mutex_exit(hash_lock);
1528 				goto top;
1529 			}
1530 
1531 			mutex_exit(hash_lock);
1532 			return (0);
1533 		}
1534 
1535 		/*
1536 		 * If there is already a reference on this block, create
1537 		 * a new copy of the data so that we will be guaranteed
1538 		 * that arc_release() will always succeed.
1539 		 */
1540 
1541 		if (done)
1542 			add_reference(hdr, hash_lock, private);
1543 		if (done && refcount_count(&hdr->b_refcnt) > 1) {
1544 			buf = kmem_cache_alloc(buf_cache, KM_SLEEP);
1545 			buf->b_data = zio_buf_alloc(hdr->b_size);
1546 			ASSERT3U(refcount_count(&hdr->b_refcnt), >, 1);
1547 			atomic_add_64(&arc.size, hdr->b_size);
1548 			bcopy(hdr->b_buf->b_data, buf->b_data, hdr->b_size);
1549 			buf->b_hdr = hdr;
1550 			buf->b_next = hdr->b_buf;
1551 			hdr->b_buf = buf;
1552 			atomic_add_64(&hdr->b_state->size, hdr->b_size);
1553 		} else {
1554 			buf = hdr->b_buf;
1555 		}
1556 		DTRACE_PROBE1(arc__hit, arc_buf_hdr_t *, hdr);
1557 		arc_access(hdr, hash_lock);
1558 		mutex_exit(hash_lock);
1559 		atomic_add_64(&arc.hits, 1);
1560 		if (done)
1561 			done(NULL, buf, private);
1562 	} else {
1563 		uint64_t size = BP_GET_LSIZE(bp);
1564 		arc_callback_t	*acb;
1565 
1566 		if (hdr == NULL) {
1567 			/* this block is not in the cache */
1568 			arc_buf_hdr_t	*exists;
1569 
1570 			buf = arc_buf_alloc(spa, size, private);
1571 			hdr = buf->b_hdr;
1572 			hdr->b_dva = *BP_IDENTITY(bp);
1573 			hdr->b_birth = bp->blk_birth;
1574 			hdr->b_cksum0 = bp->blk_cksum.zc_word[0];
1575 			exists = buf_hash_insert(hdr, &hash_lock);
1576 			if (exists) {
1577 				/* somebody beat us to the hash insert */
1578 				mutex_exit(hash_lock);
1579 				bzero(&hdr->b_dva, sizeof (dva_t));
1580 				hdr->b_birth = 0;
1581 				hdr->b_cksum0 = 0;
1582 				arc_buf_free(buf, private);
1583 				goto top; /* restart the IO request */
1584 			}
1585 
1586 		} else {
1587 			/* this block is in the ghost cache */
1588 			ASSERT((hdr->b_state == arc.mru_bot) ||
1589 			    (hdr->b_state == arc.mfu_bot));
1590 			add_reference(hdr, hash_lock, private);
1591 
1592 			buf = kmem_cache_alloc(buf_cache, KM_SLEEP);
1593 			buf->b_data = zio_buf_alloc(hdr->b_size);
1594 			atomic_add_64(&arc.size, hdr->b_size);
1595 			ASSERT(!HDR_IO_IN_PROGRESS(hdr));
1596 			ASSERT3U(refcount_count(&hdr->b_refcnt), ==, 1);
1597 			buf->b_hdr = hdr;
1598 			buf->b_next = NULL;
1599 			hdr->b_buf = buf;
1600 		}
1601 
1602 		acb = kmem_zalloc(sizeof (arc_callback_t), KM_SLEEP);
1603 		acb->acb_done = done;
1604 		acb->acb_private = private;
1605 		acb->acb_byteswap = swap;
1606 
1607 		ASSERT(hdr->b_acb == NULL);
1608 		hdr->b_acb = acb;
1609 
1610 		/*
1611 		 * If this DVA is part of a prefetch, mark the buf
1612 		 * header with the prefetch flag
1613 		 */
1614 		if (arc_flags & ARC_PREFETCH)
1615 			hdr->b_flags |= ARC_PREFETCH;
1616 		hdr->b_flags |= ARC_IO_IN_PROGRESS;
1617 
1618 		/*
1619 		 * If the buffer has been evicted, migrate it to a present state
1620 		 * before issuing the I/O.  Once we drop the hash-table lock,
1621 		 * the header will be marked as I/O in progress and have an
1622 		 * attached buffer.  At this point, anybody who finds this
1623 		 * buffer ought to notice that it's legit but has a pending I/O.
1624 		 */
1625 
1626 		if ((hdr->b_state == arc.mru_bot) ||
1627 		    (hdr->b_state == arc.mfu_bot))
1628 			arc_access(hdr, hash_lock);
1629 
1630 		mutex_exit(hash_lock);
1631 
1632 		ASSERT3U(hdr->b_size, ==, size);
1633 		DTRACE_PROBE2(arc__miss, blkptr_t *, bp,
1634 		    uint64_t, size);
1635 		atomic_add_64(&arc.misses, 1);
1636 		rzio = zio_read(pio, spa, bp, buf->b_data, size,
1637 		    arc_read_done, buf, priority, flags);
1638 
1639 		if (arc_flags & ARC_WAIT)
1640 			return (zio_wait(rzio));
1641 
1642 		ASSERT(arc_flags & ARC_NOWAIT);
1643 		zio_nowait(rzio);
1644 	}
1645 	return (0);
1646 }
1647 
1648 /*
1649  * arc_read() variant to support pool traversal.  If the block is already
1650  * in the ARC, make a copy of it; otherwise, the caller will do the I/O.
1651  * The idea is that we don't want pool traversal filling up memory, but
1652  * if the ARC already has the data anyway, we shouldn't pay for the I/O.
1653  */
1654 int
1655 arc_tryread(spa_t *spa, blkptr_t *bp, void *data)
1656 {
1657 	arc_buf_hdr_t *hdr;
1658 	kmutex_t *hash_mtx;
1659 	int rc = 0;
1660 
1661 	hdr = buf_hash_find(spa, BP_IDENTITY(bp), bp->blk_birth, &hash_mtx);
1662 
1663 	if (hdr && hdr->b_buf && !HDR_IO_IN_PROGRESS(hdr))
1664 		bcopy(hdr->b_buf->b_data, data, hdr->b_size);
1665 	else
1666 		rc = ENOENT;
1667 
1668 	if (hash_mtx)
1669 		mutex_exit(hash_mtx);
1670 
1671 	return (rc);
1672 }
1673 
1674 /*
1675  * Release this buffer from the cache.  This must be done
1676  * after a read and prior to modifying the buffer contents.
1677  * If the buffer has more than one reference, we must make
1678  * make a new hdr for the buffer.
1679  */
1680 void
1681 arc_release(arc_buf_t *buf, void *tag)
1682 {
1683 	arc_buf_hdr_t *hdr = buf->b_hdr;
1684 	kmutex_t *hash_lock = HDR_LOCK(hdr);
1685 
1686 	/* this buffer is not on any list */
1687 	ASSERT(refcount_count(&hdr->b_refcnt) > 0);
1688 
1689 	if (hdr->b_state == arc.anon) {
1690 		/* this buffer is already released */
1691 		ASSERT3U(refcount_count(&hdr->b_refcnt), ==, 1);
1692 		ASSERT(BUF_EMPTY(hdr));
1693 		return;
1694 	}
1695 
1696 	mutex_enter(hash_lock);
1697 
1698 	if (refcount_count(&hdr->b_refcnt) > 1) {
1699 		arc_buf_hdr_t *nhdr;
1700 		arc_buf_t **bufp;
1701 		uint64_t blksz = hdr->b_size;
1702 		spa_t *spa = hdr->b_spa;
1703 
1704 		/*
1705 		 * Pull the data off of this buf and attach it to
1706 		 * a new anonymous buf.
1707 		 */
1708 		bufp = &hdr->b_buf;
1709 		while (*bufp != buf) {
1710 			ASSERT(*bufp);
1711 			bufp = &(*bufp)->b_next;
1712 		}
1713 		*bufp = (*bufp)->b_next;
1714 		(void) refcount_remove(&hdr->b_refcnt, tag);
1715 		ASSERT3U(hdr->b_state->size, >=, hdr->b_size);
1716 		atomic_add_64(&hdr->b_state->size, -hdr->b_size);
1717 		mutex_exit(hash_lock);
1718 
1719 		nhdr = kmem_cache_alloc(hdr_cache, KM_SLEEP);
1720 		nhdr->b_size = blksz;
1721 		nhdr->b_spa = spa;
1722 		nhdr->b_buf = buf;
1723 		nhdr->b_state = arc.anon;
1724 		nhdr->b_arc_access = 0;
1725 		nhdr->b_flags = 0;
1726 		buf->b_hdr = nhdr;
1727 		buf->b_next = NULL;
1728 		(void) refcount_add(&nhdr->b_refcnt, tag);
1729 		atomic_add_64(&arc.anon->size, blksz);
1730 
1731 		hdr = nhdr;
1732 	} else {
1733 		ASSERT(!list_link_active(&hdr->b_arc_node));
1734 		ASSERT(!HDR_IO_IN_PROGRESS(hdr));
1735 		arc_change_state(arc.anon, hdr, hash_lock);
1736 		hdr->b_arc_access = 0;
1737 		mutex_exit(hash_lock);
1738 		bzero(&hdr->b_dva, sizeof (dva_t));
1739 		hdr->b_birth = 0;
1740 		hdr->b_cksum0 = 0;
1741 	}
1742 }
1743 
1744 int
1745 arc_released(arc_buf_t *buf)
1746 {
1747 	return (buf->b_hdr->b_state == arc.anon);
1748 }
1749 
1750 static void
1751 arc_write_done(zio_t *zio)
1752 {
1753 	arc_buf_t *buf;
1754 	arc_buf_hdr_t *hdr;
1755 	arc_callback_t *acb;
1756 
1757 	buf = zio->io_private;
1758 	hdr = buf->b_hdr;
1759 	acb = hdr->b_acb;
1760 	hdr->b_acb = NULL;
1761 
1762 	/* this buffer is on no lists and is not in the hash table */
1763 	ASSERT3P(hdr->b_state, ==, arc.anon);
1764 
1765 	hdr->b_dva = *BP_IDENTITY(zio->io_bp);
1766 	hdr->b_birth = zio->io_bp->blk_birth;
1767 	hdr->b_cksum0 = zio->io_bp->blk_cksum.zc_word[0];
1768 	/* clear the "in-write" flag */
1769 	hdr->b_hash_next = NULL;
1770 	/* This write may be all-zero */
1771 	if (!BUF_EMPTY(hdr)) {
1772 		arc_buf_hdr_t *exists;
1773 		kmutex_t *hash_lock;
1774 
1775 		exists = buf_hash_insert(hdr, &hash_lock);
1776 		if (exists) {
1777 			/*
1778 			 * This can only happen if we overwrite for
1779 			 * sync-to-convergence, because we remove
1780 			 * buffers from the hash table when we arc_free().
1781 			 */
1782 			ASSERT(DVA_EQUAL(BP_IDENTITY(&zio->io_bp_orig),
1783 			    BP_IDENTITY(zio->io_bp)));
1784 			ASSERT3U(zio->io_bp_orig.blk_birth, ==,
1785 			    zio->io_bp->blk_birth);
1786 
1787 			ASSERT(refcount_is_zero(&exists->b_refcnt));
1788 			arc_change_state(arc.anon, exists, hash_lock);
1789 			mutex_exit(hash_lock);
1790 			arc_hdr_free(exists);
1791 			exists = buf_hash_insert(hdr, &hash_lock);
1792 			ASSERT3P(exists, ==, NULL);
1793 		}
1794 		arc_access(hdr, hash_lock);
1795 		mutex_exit(hash_lock);
1796 	}
1797 	if (acb && acb->acb_done) {
1798 		ASSERT(!refcount_is_zero(&hdr->b_refcnt));
1799 		acb->acb_done(zio, buf, acb->acb_private);
1800 	}
1801 
1802 	if (acb)
1803 		kmem_free(acb, sizeof (arc_callback_t));
1804 }
1805 
1806 int
1807 arc_write(zio_t *pio, spa_t *spa, int checksum, int compress,
1808     uint64_t txg, blkptr_t *bp, arc_buf_t *buf,
1809     arc_done_func_t *done, void *private, int priority, int flags,
1810     uint32_t arc_flags)
1811 {
1812 	arc_buf_hdr_t *hdr = buf->b_hdr;
1813 	arc_callback_t	*acb;
1814 	zio_t	*rzio;
1815 
1816 	/* this is a private buffer - no locking required */
1817 	ASSERT3P(hdr->b_state, ==, arc.anon);
1818 	ASSERT(BUF_EMPTY(hdr));
1819 	ASSERT(!HDR_IO_ERROR(hdr));
1820 	acb = kmem_zalloc(sizeof (arc_callback_t), KM_SLEEP);
1821 	acb->acb_done = done;
1822 	acb->acb_private = private;
1823 	acb->acb_byteswap = (arc_byteswap_func_t *)-1;
1824 	hdr->b_acb = acb;
1825 	rzio = zio_write(pio, spa, checksum, compress, txg, bp,
1826 	    buf->b_data, hdr->b_size, arc_write_done, buf, priority, flags);
1827 
1828 	if (arc_flags & ARC_WAIT)
1829 		return (zio_wait(rzio));
1830 
1831 	ASSERT(arc_flags & ARC_NOWAIT);
1832 	zio_nowait(rzio);
1833 
1834 	return (0);
1835 }
1836 
1837 int
1838 arc_free(zio_t *pio, spa_t *spa, uint64_t txg, blkptr_t *bp,
1839     zio_done_func_t *done, void *private, uint32_t arc_flags)
1840 {
1841 	arc_buf_hdr_t *ab;
1842 	kmutex_t *hash_lock;
1843 	zio_t	*zio;
1844 
1845 	/*
1846 	 * If this buffer is in the cache, release it, so it
1847 	 * can be re-used.
1848 	 */
1849 	ab = buf_hash_find(spa, BP_IDENTITY(bp), bp->blk_birth, &hash_lock);
1850 	if (ab != NULL) {
1851 		/*
1852 		 * The checksum of blocks to free is not always
1853 		 * preserved (eg. on the deadlist).  However, if it is
1854 		 * nonzero, it should match what we have in the cache.
1855 		 */
1856 		ASSERT(bp->blk_cksum.zc_word[0] == 0 ||
1857 		    ab->b_cksum0 == bp->blk_cksum.zc_word[0]);
1858 		arc_change_state(arc.anon, ab, hash_lock);
1859 		if (refcount_is_zero(&ab->b_refcnt)) {
1860 			mutex_exit(hash_lock);
1861 			arc_hdr_free(ab);
1862 			atomic_add_64(&arc.deleted, 1);
1863 		} else {
1864 			ASSERT3U(refcount_count(&ab->b_refcnt), ==, 1);
1865 			if (HDR_IO_IN_PROGRESS(ab))
1866 				ab->b_flags |= ARC_FREED_IN_READ;
1867 			ab->b_arc_access = 0;
1868 			bzero(&ab->b_dva, sizeof (dva_t));
1869 			ab->b_birth = 0;
1870 			ab->b_cksum0 = 0;
1871 			mutex_exit(hash_lock);
1872 		}
1873 	}
1874 
1875 	zio = zio_free(pio, spa, txg, bp, done, private);
1876 
1877 	if (arc_flags & ARC_WAIT)
1878 		return (zio_wait(zio));
1879 
1880 	ASSERT(arc_flags & ARC_NOWAIT);
1881 	zio_nowait(zio);
1882 
1883 	return (0);
1884 }
1885 
1886 void
1887 arc_tempreserve_clear(uint64_t tempreserve)
1888 {
1889 	atomic_add_64(&arc_tempreserve, -tempreserve);
1890 	ASSERT((int64_t)arc_tempreserve >= 0);
1891 }
1892 
1893 int
1894 arc_tempreserve_space(uint64_t tempreserve)
1895 {
1896 #ifdef ZFS_DEBUG
1897 	/*
1898 	 * Once in a while, fail for no reason.  Everything should cope.
1899 	 */
1900 	if (spa_get_random(10000) == 0) {
1901 		dprintf("forcing random failure\n");
1902 		return (ERESTART);
1903 	}
1904 #endif
1905 	if (tempreserve > arc.c/4 && !arc.no_grow)
1906 		arc.c = MIN(arc.c_max, tempreserve * 4);
1907 	if (tempreserve > arc.c)
1908 		return (ENOMEM);
1909 
1910 	/*
1911 	 * Throttle writes when the amount of dirty data in the cache
1912 	 * gets too large.  We try to keep the cache less than half full
1913 	 * of dirty blocks so that our sync times don't grow too large.
1914 	 * Note: if two requests come in concurrently, we might let them
1915 	 * both succeed, when one of them should fail.  Not a huge deal.
1916 	 *
1917 	 * XXX The limit should be adjusted dynamically to keep the time
1918 	 * to sync a dataset fixed (around 1-5 seconds?).
1919 	 */
1920 
1921 	if (tempreserve + arc_tempreserve + arc.anon->size > arc.c / 2 &&
1922 	    arc_tempreserve + arc.anon->size > arc.c / 4) {
1923 		dprintf("failing, arc_tempreserve=%lluK anon=%lluK "
1924 		    "tempreserve=%lluK arc.c=%lluK\n",
1925 		    arc_tempreserve>>10, arc.anon->lsize>>10,
1926 		    tempreserve>>10, arc.c>>10);
1927 		return (ERESTART);
1928 	}
1929 	atomic_add_64(&arc_tempreserve, tempreserve);
1930 	return (0);
1931 }
1932 
1933 void
1934 arc_init(void)
1935 {
1936 	mutex_init(&arc_reclaim_lock, NULL, MUTEX_DEFAULT, NULL);
1937 	mutex_init(&arc_reclaim_thr_lock, NULL, MUTEX_DEFAULT, NULL);
1938 	cv_init(&arc_reclaim_thr_cv, NULL, CV_DEFAULT, NULL);
1939 
1940 	/* Start out with 1/8 of all memory */
1941 	arc.c = physmem * PAGESIZE / 8;
1942 
1943 #ifdef _KERNEL
1944 	/*
1945 	 * On architectures where the physical memory can be larger
1946 	 * than the addressable space (intel in 32-bit mode), we may
1947 	 * need to limit the cache to 1/8 of VM size.
1948 	 */
1949 	arc.c = MIN(arc.c, vmem_size(heap_arena, VMEM_ALLOC | VMEM_FREE) / 8);
1950 #endif
1951 
1952 	/* set min cache to 1/32 of all memory, or 64MB, whichever is more */
1953 	arc.c_min = MAX(arc.c / 4, 64<<20);
1954 	/* set max to 3/4 of all memory, or all but 1GB, whichever is more */
1955 	if (arc.c * 8 >= 1<<30)
1956 		arc.c_max = (arc.c * 8) - (1<<30);
1957 	else
1958 		arc.c_max = arc.c_min;
1959 	arc.c_max = MAX(arc.c * 6, arc.c_max);
1960 	arc.c = arc.c_max;
1961 	arc.p = (arc.c >> 1);
1962 
1963 	/* if kmem_flags are set, lets try to use less memory */
1964 	if (kmem_debugging())
1965 		arc.c = arc.c / 2;
1966 	if (arc.c < arc.c_min)
1967 		arc.c = arc.c_min;
1968 
1969 	arc.anon = &ARC_anon;
1970 	arc.mru_top = &ARC_mru_top;
1971 	arc.mru_bot = &ARC_mru_bot;
1972 	arc.mfu_top = &ARC_mfu_top;
1973 	arc.mfu_bot = &ARC_mfu_bot;
1974 
1975 	list_create(&arc.mru_top->list, sizeof (arc_buf_hdr_t),
1976 	    offsetof(arc_buf_hdr_t, b_arc_node));
1977 	list_create(&arc.mru_bot->list, sizeof (arc_buf_hdr_t),
1978 	    offsetof(arc_buf_hdr_t, b_arc_node));
1979 	list_create(&arc.mfu_top->list, sizeof (arc_buf_hdr_t),
1980 	    offsetof(arc_buf_hdr_t, b_arc_node));
1981 	list_create(&arc.mfu_bot->list, sizeof (arc_buf_hdr_t),
1982 	    offsetof(arc_buf_hdr_t, b_arc_node));
1983 
1984 	buf_init();
1985 
1986 	arc_thread_exit = 0;
1987 
1988 	(void) thread_create(NULL, 0, arc_reclaim_thread, NULL, 0, &p0,
1989 	    TS_RUN, minclsyspri);
1990 }
1991 
1992 void
1993 arc_fini(void)
1994 {
1995 	mutex_enter(&arc_reclaim_thr_lock);
1996 	arc_thread_exit = 1;
1997 	while (arc_thread_exit != 0)
1998 		cv_wait(&arc_reclaim_thr_cv, &arc_reclaim_thr_lock);
1999 	mutex_exit(&arc_reclaim_thr_lock);
2000 
2001 	arc_flush();
2002 
2003 	arc_dead = TRUE;
2004 
2005 	mutex_destroy(&arc_reclaim_lock);
2006 	mutex_destroy(&arc_reclaim_thr_lock);
2007 	cv_destroy(&arc_reclaim_thr_cv);
2008 
2009 	list_destroy(&arc.mru_top->list);
2010 	list_destroy(&arc.mru_bot->list);
2011 	list_destroy(&arc.mfu_top->list);
2012 	list_destroy(&arc.mfu_bot->list);
2013 
2014 	buf_fini();
2015 }
2016