blob: b7645d8be9d001bff5eabaf77a3daf0520021f3b [file] [log] [blame]
Jason Evanse476f8a2010-01-16 09:53:50 -08001#define JEMALLOC_ARENA_C_
Jason Evans376b1522010-02-11 14:45:59 -08002#include "jemalloc/internal/jemalloc_internal.h"
Jason Evanse476f8a2010-01-16 09:53:50 -08003
4/******************************************************************************/
5/* Data. */
6
Jason Evans243f7a02016-02-19 20:09:31 -08007purge_mode_t opt_purge = PURGE_DEFAULT;
8const char *purge_mode_names[] = {
9 "ratio",
10 "decay",
11 "N/A"
12};
Jason Evanse476f8a2010-01-16 09:53:50 -080013ssize_t opt_lg_dirty_mult = LG_DIRTY_MULT_DEFAULT;
Jason Evans8d6a3e82015-03-18 18:55:33 -070014static ssize_t lg_dirty_mult_default;
Jason Evans243f7a02016-02-19 20:09:31 -080015ssize_t opt_decay_time = DECAY_TIME_DEFAULT;
16static ssize_t decay_time_default;
17
Jason Evansb1726102012-02-28 16:50:47 -080018arena_bin_info_t arena_bin_info[NBINS];
Jason Evanse476f8a2010-01-16 09:53:50 -080019
Jason Evans155bfa72014-10-05 17:54:10 -070020size_t map_bias;
21size_t map_misc_offset;
22size_t arena_maxrun; /* Max run size for arenas. */
Jason Evans676df882015-09-11 20:50:20 -070023size_t large_maxclass; /* Max large size class. */
Jason Evans0da8ce12016-02-22 16:20:56 -080024size_t run_quantize_max; /* Max run_quantize_*() input. */
25static size_t small_maxrun; /* Max run size for small size classes. */
Jason Evans8a03cf02015-05-04 09:58:36 -070026static bool *small_run_tab; /* Valid small run page multiples. */
Jason Evans0da8ce12016-02-22 16:20:56 -080027static size_t *run_quantize_floor_tab; /* run_quantize_floor() memoization. */
28static size_t *run_quantize_ceil_tab; /* run_quantize_ceil() memoization. */
Jason Evans3c4d92e2014-10-12 22:53:59 -070029unsigned nlclasses; /* Number of large size classes. */
30unsigned nhclasses; /* Number of huge size classes. */
Dave Watson3417a302016-02-23 12:06:21 -080031static szind_t runs_avail_bias; /* Size index for first runs_avail tree. */
32static szind_t runs_avail_nclasses; /* Number of runs_avail trees. */
Jason Evanse476f8a2010-01-16 09:53:50 -080033
34/******************************************************************************/
Jason Evansaa5113b2014-01-14 16:23:03 -080035/*
36 * Function prototypes for static functions that are referenced prior to
37 * definition.
38 */
Jason Evanse476f8a2010-01-16 09:53:50 -080039
Jason Evans1a4ad3c2016-02-19 19:51:23 -080040static void arena_purge_to_limit(arena_t *arena, size_t ndirty_limit);
Jason Evanse3d13062012-10-30 15:42:37 -070041static void arena_run_dalloc(arena_t *arena, arena_run_t *run, bool dirty,
Jason Evans8fadb1a2015-08-04 10:49:46 -070042 bool cleaned, bool decommitted);
Jason Evanse476f8a2010-01-16 09:53:50 -080043static void arena_dalloc_bin_run(arena_t *arena, arena_chunk_t *chunk,
44 arena_run_t *run, arena_bin_t *bin);
Jason Evans940a2e02010-10-17 17:51:37 -070045static void arena_bin_lower_run(arena_t *arena, arena_chunk_t *chunk,
46 arena_run_t *run, arena_bin_t *bin);
Jason Evanse476f8a2010-01-16 09:53:50 -080047
48/******************************************************************************/
49
Jason Evans8fadb1a2015-08-04 10:49:46 -070050JEMALLOC_INLINE_C size_t
Joshua Kahn13b40152015-09-18 16:58:17 -040051arena_miscelm_size_get(const arena_chunk_map_misc_t *miscelm)
Jason Evans8fadb1a2015-08-04 10:49:46 -070052{
53 arena_chunk_t *chunk;
54 size_t pageind, mapbits;
55
Jason Evans8fadb1a2015-08-04 10:49:46 -070056 chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(miscelm);
57 pageind = arena_miscelm_to_pageind(miscelm);
58 mapbits = arena_mapbits_get(chunk, pageind);
Jason Evans5ef33a92015-08-19 14:12:05 -070059 return (arena_mapbits_size_decode(mapbits));
Ben Maurerf9ff6032014-04-06 13:24:16 -070060}
61
Jason Evansaf1f5922014-10-30 16:38:08 -070062JEMALLOC_INLINE_C int
Dave Watson3417a302016-02-23 12:06:21 -080063arena_run_addr_comp(const arena_chunk_map_misc_t *a,
64 const arena_chunk_map_misc_t *b)
Jason Evanse476f8a2010-01-16 09:53:50 -080065{
Qinfan Wuff6a31d2014-08-29 13:34:40 -070066 uintptr_t a_miscelm = (uintptr_t)a;
67 uintptr_t b_miscelm = (uintptr_t)b;
Jason Evanse476f8a2010-01-16 09:53:50 -080068
69 assert(a != NULL);
70 assert(b != NULL);
71
Qinfan Wuff6a31d2014-08-29 13:34:40 -070072 return ((a_miscelm > b_miscelm) - (a_miscelm < b_miscelm));
Jason Evanse476f8a2010-01-16 09:53:50 -080073}
74
Jason Evansf3ff7522010-02-28 15:00:18 -080075/* Generate red-black tree functions. */
Qinfan Wuff6a31d2014-08-29 13:34:40 -070076rb_gen(static UNUSED, arena_run_tree_, arena_run_tree_t, arena_chunk_map_misc_t,
Dave Watson3417a302016-02-23 12:06:21 -080077 rb_link, arena_run_addr_comp)
Jason Evanse476f8a2010-01-16 09:53:50 -080078
Jason Evans8a03cf02015-05-04 09:58:36 -070079static size_t
Jason Evans0da8ce12016-02-22 16:20:56 -080080run_quantize_floor_compute(size_t size)
Jason Evans8a03cf02015-05-04 09:58:36 -070081{
82 size_t qsize;
83
84 assert(size != 0);
85 assert(size == PAGE_CEILING(size));
86
87 /* Don't change sizes that are valid small run sizes. */
88 if (size <= small_maxrun && small_run_tab[size >> LG_PAGE])
89 return (size);
90
91 /*
92 * Round down to the nearest run size that can actually be requested
93 * during normal large allocation. Add large_pad so that cache index
94 * randomization can offset the allocation from the page boundary.
95 */
96 qsize = index2size(size2index(size - large_pad + 1) - 1) + large_pad;
97 if (qsize <= SMALL_MAXCLASS + large_pad)
Jason Evans0da8ce12016-02-22 16:20:56 -080098 return (run_quantize_floor_compute(size - large_pad));
Jason Evans8a03cf02015-05-04 09:58:36 -070099 assert(qsize <= size);
100 return (qsize);
101}
102
103static size_t
Jason Evans0da8ce12016-02-22 16:20:56 -0800104run_quantize_ceil_compute_hard(size_t size)
Jason Evans8a03cf02015-05-04 09:58:36 -0700105{
106 size_t large_run_size_next;
107
108 assert(size != 0);
109 assert(size == PAGE_CEILING(size));
110
111 /*
112 * Return the next quantized size greater than the input size.
113 * Quantized sizes comprise the union of run sizes that back small
114 * region runs, and run sizes that back large regions with no explicit
115 * alignment constraints.
116 */
117
118 if (size > SMALL_MAXCLASS) {
119 large_run_size_next = PAGE_CEILING(index2size(size2index(size -
120 large_pad) + 1) + large_pad);
121 } else
122 large_run_size_next = SIZE_T_MAX;
123 if (size >= small_maxrun)
124 return (large_run_size_next);
125
126 while (true) {
127 size += PAGE;
128 assert(size <= small_maxrun);
129 if (small_run_tab[size >> LG_PAGE]) {
130 if (large_run_size_next < size)
131 return (large_run_size_next);
132 return (size);
133 }
134 }
135}
136
137static size_t
Jason Evans0da8ce12016-02-22 16:20:56 -0800138run_quantize_ceil_compute(size_t size)
Jason Evans8a03cf02015-05-04 09:58:36 -0700139{
Jason Evans0da8ce12016-02-22 16:20:56 -0800140 size_t qsize = run_quantize_floor_compute(size);
Jason Evans8a03cf02015-05-04 09:58:36 -0700141
142 if (qsize < size) {
143 /*
144 * Skip a quantization that may have an adequately large run,
145 * because under-sized runs may be mixed in. This only happens
146 * when an unusual size is requested, i.e. for aligned
147 * allocation, and is just one of several places where linear
148 * search would potentially find sufficiently aligned available
149 * memory somewhere lower.
150 */
Jason Evans0da8ce12016-02-22 16:20:56 -0800151 qsize = run_quantize_ceil_compute_hard(qsize);
Jason Evans8a03cf02015-05-04 09:58:36 -0700152 }
153 return (qsize);
154}
Jason Evans0da8ce12016-02-22 16:20:56 -0800155
156#ifdef JEMALLOC_JET
157#undef run_quantize_floor
158#define run_quantize_floor JEMALLOC_N(run_quantize_floor_impl)
159#endif
160static size_t
161run_quantize_floor(size_t size)
162{
163 size_t ret;
164
165 assert(size > 0);
166 assert(size <= run_quantize_max);
167 assert((size & PAGE_MASK) == 0);
168
169 ret = run_quantize_floor_tab[(size >> LG_PAGE) - 1];
170 assert(ret == run_quantize_floor_compute(size));
171 return (ret);
172}
173#ifdef JEMALLOC_JET
174#undef run_quantize_floor
175#define run_quantize_floor JEMALLOC_N(run_quantize_floor)
176run_quantize_t *run_quantize_floor = JEMALLOC_N(run_quantize_floor_impl);
177#endif
178
179#ifdef JEMALLOC_JET
180#undef run_quantize_ceil
181#define run_quantize_ceil JEMALLOC_N(run_quantize_ceil_impl)
182#endif
183static size_t
184run_quantize_ceil(size_t size)
185{
186 size_t ret;
187
188 assert(size > 0);
189 assert(size <= run_quantize_max);
190 assert((size & PAGE_MASK) == 0);
191
192 ret = run_quantize_ceil_tab[(size >> LG_PAGE) - 1];
193 assert(ret == run_quantize_ceil_compute(size));
194 return (ret);
195}
Jason Evansa9a46842016-02-22 14:58:05 -0800196#ifdef JEMALLOC_JET
197#undef run_quantize_ceil
198#define run_quantize_ceil JEMALLOC_N(run_quantize_ceil)
199run_quantize_t *run_quantize_ceil = JEMALLOC_N(run_quantize_ceil_impl);
200#endif
Jason Evans8a03cf02015-05-04 09:58:36 -0700201
Jason Evansae451422016-02-23 18:27:24 -0800202static arena_run_tree_t *
Dave Watson3417a302016-02-23 12:06:21 -0800203arena_runs_avail_get(arena_t *arena, szind_t ind)
204{
205
206 assert(ind >= runs_avail_bias);
207 assert(ind - runs_avail_bias < runs_avail_nclasses);
208
209 return (&arena->runs_avail[ind - runs_avail_bias]);
210}
Jason Evanse476f8a2010-01-16 09:53:50 -0800211
Jason Evanse3d13062012-10-30 15:42:37 -0700212static void
213arena_avail_insert(arena_t *arena, arena_chunk_t *chunk, size_t pageind,
Qinfan Wu90737fc2014-07-21 19:39:20 -0700214 size_t npages)
Jason Evanse3d13062012-10-30 15:42:37 -0700215{
Dave Watson3417a302016-02-23 12:06:21 -0800216 szind_t ind = size2index(run_quantize_floor(arena_miscelm_size_get(
217 arena_miscelm_get(chunk, pageind))));
Jason Evanse3d13062012-10-30 15:42:37 -0700218 assert(npages == (arena_mapbits_unallocated_size_get(chunk, pageind) >>
219 LG_PAGE));
Jason Evansae451422016-02-23 18:27:24 -0800220 arena_run_tree_insert(arena_runs_avail_get(arena, ind),
Dave Watson3417a302016-02-23 12:06:21 -0800221 arena_miscelm_get(chunk, pageind));
Jason Evanse3d13062012-10-30 15:42:37 -0700222}
223
224static void
225arena_avail_remove(arena_t *arena, arena_chunk_t *chunk, size_t pageind,
Qinfan Wu90737fc2014-07-21 19:39:20 -0700226 size_t npages)
Jason Evanse3d13062012-10-30 15:42:37 -0700227{
Dave Watson3417a302016-02-23 12:06:21 -0800228 szind_t ind = size2index(run_quantize_floor(arena_miscelm_size_get(
229 arena_miscelm_get(chunk, pageind))));
Jason Evanse3d13062012-10-30 15:42:37 -0700230 assert(npages == (arena_mapbits_unallocated_size_get(chunk, pageind) >>
231 LG_PAGE));
Jason Evansae451422016-02-23 18:27:24 -0800232 arena_run_tree_remove(arena_runs_avail_get(arena, ind),
Dave Watson3417a302016-02-23 12:06:21 -0800233 arena_miscelm_get(chunk, pageind));
Jason Evanse3d13062012-10-30 15:42:37 -0700234}
235
Jason Evans070b3c32014-08-14 14:45:58 -0700236static void
Jason Evansee41ad42015-02-15 18:04:46 -0800237arena_run_dirty_insert(arena_t *arena, arena_chunk_t *chunk, size_t pageind,
Jason Evans070b3c32014-08-14 14:45:58 -0700238 size_t npages)
239{
Qinfan Wuff6a31d2014-08-29 13:34:40 -0700240 arena_chunk_map_misc_t *miscelm = arena_miscelm_get(chunk, pageind);
Jason Evansee41ad42015-02-15 18:04:46 -0800241
Jason Evans070b3c32014-08-14 14:45:58 -0700242 assert(npages == (arena_mapbits_unallocated_size_get(chunk, pageind) >>
243 LG_PAGE));
244 assert(arena_mapbits_dirty_get(chunk, pageind) == CHUNK_MAP_DIRTY);
245 assert(arena_mapbits_dirty_get(chunk, pageind+npages-1) ==
246 CHUNK_MAP_DIRTY);
Jason Evansee41ad42015-02-15 18:04:46 -0800247
Jason Evans38e42d32015-03-10 18:15:40 -0700248 qr_new(&miscelm->rd, rd_link);
249 qr_meld(&arena->runs_dirty, &miscelm->rd, rd_link);
Jason Evans070b3c32014-08-14 14:45:58 -0700250 arena->ndirty += npages;
251}
252
253static void
Jason Evansee41ad42015-02-15 18:04:46 -0800254arena_run_dirty_remove(arena_t *arena, arena_chunk_t *chunk, size_t pageind,
Jason Evans070b3c32014-08-14 14:45:58 -0700255 size_t npages)
256{
Qinfan Wuff6a31d2014-08-29 13:34:40 -0700257 arena_chunk_map_misc_t *miscelm = arena_miscelm_get(chunk, pageind);
Jason Evansee41ad42015-02-15 18:04:46 -0800258
Jason Evans070b3c32014-08-14 14:45:58 -0700259 assert(npages == (arena_mapbits_unallocated_size_get(chunk, pageind) >>
260 LG_PAGE));
261 assert(arena_mapbits_dirty_get(chunk, pageind) == CHUNK_MAP_DIRTY);
262 assert(arena_mapbits_dirty_get(chunk, pageind+npages-1) ==
263 CHUNK_MAP_DIRTY);
Jason Evansee41ad42015-02-15 18:04:46 -0800264
Jason Evans38e42d32015-03-10 18:15:40 -0700265 qr_remove(&miscelm->rd, rd_link);
Jason Evansee41ad42015-02-15 18:04:46 -0800266 assert(arena->ndirty >= npages);
Jason Evans070b3c32014-08-14 14:45:58 -0700267 arena->ndirty -= npages;
268}
269
Jason Evansee41ad42015-02-15 18:04:46 -0800270static size_t
271arena_chunk_dirty_npages(const extent_node_t *node)
272{
273
274 return (extent_node_size_get(node) >> LG_PAGE);
275}
276
Jason Evansee41ad42015-02-15 18:04:46 -0800277void
Jason Evans738e0892015-02-18 01:15:50 -0800278arena_chunk_cache_maybe_insert(arena_t *arena, extent_node_t *node, bool cache)
Jason Evansee41ad42015-02-15 18:04:46 -0800279{
280
Jason Evans738e0892015-02-18 01:15:50 -0800281 if (cache) {
Jason Evans47701b22015-02-17 22:23:10 -0800282 extent_node_dirty_linkage_init(node);
Jason Evans738e0892015-02-18 01:15:50 -0800283 extent_node_dirty_insert(node, &arena->runs_dirty,
284 &arena->chunks_cache);
Jason Evansee41ad42015-02-15 18:04:46 -0800285 arena->ndirty += arena_chunk_dirty_npages(node);
286 }
287}
288
289void
Jason Evans738e0892015-02-18 01:15:50 -0800290arena_chunk_cache_maybe_remove(arena_t *arena, extent_node_t *node, bool dirty)
Jason Evansee41ad42015-02-15 18:04:46 -0800291{
292
293 if (dirty) {
Jason Evans738e0892015-02-18 01:15:50 -0800294 extent_node_dirty_remove(node);
Jason Evansee41ad42015-02-15 18:04:46 -0800295 assert(arena->ndirty >= arena_chunk_dirty_npages(node));
296 arena->ndirty -= arena_chunk_dirty_npages(node);
297 }
298}
299
Jason Evansaf1f5922014-10-30 16:38:08 -0700300JEMALLOC_INLINE_C void *
Jason Evans49f7e8f2011-03-15 13:59:15 -0700301arena_run_reg_alloc(arena_run_t *run, arena_bin_info_t *bin_info)
Jason Evanse476f8a2010-01-16 09:53:50 -0800302{
303 void *ret;
Jason Evans42ce80e2016-02-25 20:51:00 -0800304 size_t regind;
Jason Evans0c5dd032014-09-29 01:31:39 -0700305 arena_chunk_map_misc_t *miscelm;
306 void *rpages;
Jason Evanse476f8a2010-01-16 09:53:50 -0800307
Jason Evans1e0a6362010-03-13 13:41:58 -0800308 assert(run->nfree > 0);
Jason Evans551ebc42014-10-03 10:16:09 -0700309 assert(!bitmap_full(run->bitmap, &bin_info->bitmap_info));
Jason Evanse476f8a2010-01-16 09:53:50 -0800310
Jason Evans9e1810c2016-02-24 12:42:23 -0800311 regind = (unsigned)bitmap_sfu(run->bitmap, &bin_info->bitmap_info);
Jason Evans0c5dd032014-09-29 01:31:39 -0700312 miscelm = arena_run_to_miscelm(run);
313 rpages = arena_miscelm_to_rpages(miscelm);
314 ret = (void *)((uintptr_t)rpages + (uintptr_t)bin_info->reg0_offset +
Jason Evans122449b2012-04-06 00:35:09 -0700315 (uintptr_t)(bin_info->reg_interval * regind));
Jason Evans1e0a6362010-03-13 13:41:58 -0800316 run->nfree--;
Jason Evans1e0a6362010-03-13 13:41:58 -0800317 return (ret);
Jason Evans6109fe02010-02-10 10:37:56 -0800318}
319
Jason Evansaf1f5922014-10-30 16:38:08 -0700320JEMALLOC_INLINE_C void
Jason Evans1e0a6362010-03-13 13:41:58 -0800321arena_run_reg_dalloc(arena_run_t *run, void *ptr)
Jason Evans6109fe02010-02-10 10:37:56 -0800322{
Jason Evans49f7e8f2011-03-15 13:59:15 -0700323 arena_chunk_t *chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(run);
Jason Evans203484e2012-05-02 00:30:36 -0700324 size_t pageind = ((uintptr_t)ptr - (uintptr_t)chunk) >> LG_PAGE;
325 size_t mapbits = arena_mapbits_get(chunk, pageind);
Jason Evansd01fd192015-08-19 15:21:32 -0700326 szind_t binind = arena_ptr_small_binind_get(ptr, mapbits);
Jason Evans49f7e8f2011-03-15 13:59:15 -0700327 arena_bin_info_t *bin_info = &arena_bin_info[binind];
Jason Evans42ce80e2016-02-25 20:51:00 -0800328 size_t regind = arena_run_regind(run, bin_info, ptr);
Jason Evans84c8eef2011-03-16 10:30:13 -0700329
Jason Evans49f7e8f2011-03-15 13:59:15 -0700330 assert(run->nfree < bin_info->nregs);
Jason Evans1e0a6362010-03-13 13:41:58 -0800331 /* Freeing an interior pointer can cause assertion failure. */
Jason Evans0c5dd032014-09-29 01:31:39 -0700332 assert(((uintptr_t)ptr -
333 ((uintptr_t)arena_miscelm_to_rpages(arena_run_to_miscelm(run)) +
Jason Evans122449b2012-04-06 00:35:09 -0700334 (uintptr_t)bin_info->reg0_offset)) %
335 (uintptr_t)bin_info->reg_interval == 0);
Jason Evans0c5dd032014-09-29 01:31:39 -0700336 assert((uintptr_t)ptr >=
337 (uintptr_t)arena_miscelm_to_rpages(arena_run_to_miscelm(run)) +
Jason Evans49f7e8f2011-03-15 13:59:15 -0700338 (uintptr_t)bin_info->reg0_offset);
Jason Evans84c8eef2011-03-16 10:30:13 -0700339 /* Freeing an unallocated pointer can cause assertion failure. */
Jason Evans0c5dd032014-09-29 01:31:39 -0700340 assert(bitmap_get(run->bitmap, &bin_info->bitmap_info, regind));
Jason Evanse476f8a2010-01-16 09:53:50 -0800341
Jason Evans0c5dd032014-09-29 01:31:39 -0700342 bitmap_unset(run->bitmap, &bin_info->bitmap_info, regind);
Jason Evans1e0a6362010-03-13 13:41:58 -0800343 run->nfree++;
Jason Evanse476f8a2010-01-16 09:53:50 -0800344}
345
Jason Evansaf1f5922014-10-30 16:38:08 -0700346JEMALLOC_INLINE_C void
Jason Evans38067482013-01-21 20:04:42 -0800347arena_run_zero(arena_chunk_t *chunk, size_t run_ind, size_t npages)
348{
349
Jason Evansbd87b012014-04-15 16:35:08 -0700350 JEMALLOC_VALGRIND_MAKE_MEM_UNDEFINED((void *)((uintptr_t)chunk +
351 (run_ind << LG_PAGE)), (npages << LG_PAGE));
Jason Evans38067482013-01-21 20:04:42 -0800352 memset((void *)((uintptr_t)chunk + (run_ind << LG_PAGE)), 0,
353 (npages << LG_PAGE));
Jason Evans38067482013-01-21 20:04:42 -0800354}
355
Jason Evansaf1f5922014-10-30 16:38:08 -0700356JEMALLOC_INLINE_C void
Jason Evansdda90f52013-10-19 23:48:40 -0700357arena_run_page_mark_zeroed(arena_chunk_t *chunk, size_t run_ind)
358{
359
Jason Evansbd87b012014-04-15 16:35:08 -0700360 JEMALLOC_VALGRIND_MAKE_MEM_DEFINED((void *)((uintptr_t)chunk + (run_ind
361 << LG_PAGE)), PAGE);
Jason Evansdda90f52013-10-19 23:48:40 -0700362}
363
Jason Evansaf1f5922014-10-30 16:38:08 -0700364JEMALLOC_INLINE_C void
Jason Evans38067482013-01-21 20:04:42 -0800365arena_run_page_validate_zeroed(arena_chunk_t *chunk, size_t run_ind)
Jason Evans21fb95b2010-10-18 17:45:40 -0700366{
Jason Evansd4bab212010-10-24 20:08:37 -0700367 size_t i;
Jason Evansae4c7b42012-04-02 07:04:34 -0700368 UNUSED size_t *p = (size_t *)((uintptr_t)chunk + (run_ind << LG_PAGE));
Jason Evansd4bab212010-10-24 20:08:37 -0700369
Jason Evansdda90f52013-10-19 23:48:40 -0700370 arena_run_page_mark_zeroed(chunk, run_ind);
Jason Evansae4c7b42012-04-02 07:04:34 -0700371 for (i = 0; i < PAGE / sizeof(size_t); i++)
Jason Evans21fb95b2010-10-18 17:45:40 -0700372 assert(p[i] == 0);
373}
Jason Evans21fb95b2010-10-18 17:45:40 -0700374
Jason Evanse476f8a2010-01-16 09:53:50 -0800375static void
Jason Evans40ee9aa2016-02-27 12:34:50 -0800376arena_nactive_add(arena_t *arena, size_t add_pages)
Jason Evansaa5113b2014-01-14 16:23:03 -0800377{
378
379 if (config_stats) {
Jason Evans3763d3b2016-02-26 17:29:35 -0800380 size_t cactive_add = CHUNK_CEILING((arena->nactive +
381 add_pages) << LG_PAGE) - CHUNK_CEILING(arena->nactive <<
Jason Evans15229372014-08-06 23:38:39 -0700382 LG_PAGE);
Jason Evans3763d3b2016-02-26 17:29:35 -0800383 if (cactive_add != 0)
384 stats_cactive_add(cactive_add);
385 }
Jason Evans40ee9aa2016-02-27 12:34:50 -0800386 arena->nactive += add_pages;
Jason Evans3763d3b2016-02-26 17:29:35 -0800387}
388
389static void
Jason Evans40ee9aa2016-02-27 12:34:50 -0800390arena_nactive_sub(arena_t *arena, size_t sub_pages)
Jason Evans3763d3b2016-02-26 17:29:35 -0800391{
392
393 if (config_stats) {
394 size_t cactive_sub = CHUNK_CEILING(arena->nactive << LG_PAGE) -
395 CHUNK_CEILING((arena->nactive - sub_pages) << LG_PAGE);
396 if (cactive_sub != 0)
397 stats_cactive_sub(cactive_sub);
Jason Evansaa5113b2014-01-14 16:23:03 -0800398 }
Jason Evans40ee9aa2016-02-27 12:34:50 -0800399 arena->nactive -= sub_pages;
Jason Evansaa5113b2014-01-14 16:23:03 -0800400}
401
402static void
403arena_run_split_remove(arena_t *arena, arena_chunk_t *chunk, size_t run_ind,
Jason Evans8fadb1a2015-08-04 10:49:46 -0700404 size_t flag_dirty, size_t flag_decommitted, size_t need_pages)
Jason Evansaa5113b2014-01-14 16:23:03 -0800405{
406 size_t total_pages, rem_pages;
407
Jason Evans8fadb1a2015-08-04 10:49:46 -0700408 assert(flag_dirty == 0 || flag_decommitted == 0);
409
Jason Evansaa5113b2014-01-14 16:23:03 -0800410 total_pages = arena_mapbits_unallocated_size_get(chunk, run_ind) >>
411 LG_PAGE;
412 assert(arena_mapbits_dirty_get(chunk, run_ind+total_pages-1) ==
413 flag_dirty);
414 assert(need_pages <= total_pages);
415 rem_pages = total_pages - need_pages;
416
Qinfan Wu90737fc2014-07-21 19:39:20 -0700417 arena_avail_remove(arena, chunk, run_ind, total_pages);
Jason Evans070b3c32014-08-14 14:45:58 -0700418 if (flag_dirty != 0)
Jason Evansee41ad42015-02-15 18:04:46 -0800419 arena_run_dirty_remove(arena, chunk, run_ind, total_pages);
Jason Evans40ee9aa2016-02-27 12:34:50 -0800420 arena_nactive_add(arena, need_pages);
Jason Evansaa5113b2014-01-14 16:23:03 -0800421
422 /* Keep track of trailing unused pages for later use. */
423 if (rem_pages > 0) {
Jason Evans8fadb1a2015-08-04 10:49:46 -0700424 size_t flags = flag_dirty | flag_decommitted;
Jason Evans1f27abc2015-08-11 12:42:33 -0700425 size_t flag_unzeroed_mask = (flags == 0) ? CHUNK_MAP_UNZEROED :
426 0;
Jason Evans8fadb1a2015-08-04 10:49:46 -0700427
Jason Evans1f27abc2015-08-11 12:42:33 -0700428 arena_mapbits_unallocated_set(chunk, run_ind+need_pages,
429 (rem_pages << LG_PAGE), flags |
430 (arena_mapbits_unzeroed_get(chunk, run_ind+need_pages) &
431 flag_unzeroed_mask));
432 arena_mapbits_unallocated_set(chunk, run_ind+total_pages-1,
433 (rem_pages << LG_PAGE), flags |
434 (arena_mapbits_unzeroed_get(chunk, run_ind+total_pages-1) &
435 flag_unzeroed_mask));
436 if (flag_dirty != 0) {
437 arena_run_dirty_insert(arena, chunk, run_ind+need_pages,
438 rem_pages);
Jason Evansaa5113b2014-01-14 16:23:03 -0800439 }
Qinfan Wu90737fc2014-07-21 19:39:20 -0700440 arena_avail_insert(arena, chunk, run_ind+need_pages, rem_pages);
Jason Evansaa5113b2014-01-14 16:23:03 -0800441 }
442}
443
Jason Evans8fadb1a2015-08-04 10:49:46 -0700444static bool
Jason Evansaa5113b2014-01-14 16:23:03 -0800445arena_run_split_large_helper(arena_t *arena, arena_run_t *run, size_t size,
446 bool remove, bool zero)
Jason Evanse476f8a2010-01-16 09:53:50 -0800447{
448 arena_chunk_t *chunk;
Jason Evans0c5dd032014-09-29 01:31:39 -0700449 arena_chunk_map_misc_t *miscelm;
Dmitry-Mea306a602015-09-04 13:15:28 +0300450 size_t flag_dirty, flag_decommitted, run_ind, need_pages;
Jason Evans1f27abc2015-08-11 12:42:33 -0700451 size_t flag_unzeroed_mask;
Jason Evans203484e2012-05-02 00:30:36 -0700452
Jason Evanse476f8a2010-01-16 09:53:50 -0800453 chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(run);
Jason Evans0c5dd032014-09-29 01:31:39 -0700454 miscelm = arena_run_to_miscelm(run);
455 run_ind = arena_miscelm_to_pageind(miscelm);
Jason Evans203484e2012-05-02 00:30:36 -0700456 flag_dirty = arena_mapbits_dirty_get(chunk, run_ind);
Jason Evans8fadb1a2015-08-04 10:49:46 -0700457 flag_decommitted = arena_mapbits_decommitted_get(chunk, run_ind);
Jason Evansae4c7b42012-04-02 07:04:34 -0700458 need_pages = (size >> LG_PAGE);
Jason Evanse476f8a2010-01-16 09:53:50 -0800459 assert(need_pages > 0);
Jason Evanse476f8a2010-01-16 09:53:50 -0800460
Jason Evansde249c82015-08-09 16:47:27 -0700461 if (flag_decommitted != 0 && arena->chunk_hooks.commit(chunk, chunksize,
462 run_ind << LG_PAGE, size, arena->ind))
Jason Evans8fadb1a2015-08-04 10:49:46 -0700463 return (true);
464
Jason Evansc368f8c2013-10-29 18:17:42 -0700465 if (remove) {
Jason Evansaa5113b2014-01-14 16:23:03 -0800466 arena_run_split_remove(arena, chunk, run_ind, flag_dirty,
Jason Evans8fadb1a2015-08-04 10:49:46 -0700467 flag_decommitted, need_pages);
Jason Evans19b3d612010-03-18 20:36:40 -0700468 }
469
Jason Evansaa5113b2014-01-14 16:23:03 -0800470 if (zero) {
Jason Evans1f27abc2015-08-11 12:42:33 -0700471 if (flag_decommitted != 0) {
472 /* The run is untouched, and therefore zeroed. */
473 JEMALLOC_VALGRIND_MAKE_MEM_DEFINED((void
474 *)((uintptr_t)chunk + (run_ind << LG_PAGE)),
475 (need_pages << LG_PAGE));
476 } else if (flag_dirty != 0) {
477 /* The run is dirty, so all pages must be zeroed. */
478 arena_run_zero(chunk, run_ind, need_pages);
479 } else {
Jason Evansaa5113b2014-01-14 16:23:03 -0800480 /*
481 * The run is clean, so some pages may be zeroed (i.e.
482 * never before touched).
483 */
Dmitry-Mea306a602015-09-04 13:15:28 +0300484 size_t i;
Jason Evansaa5113b2014-01-14 16:23:03 -0800485 for (i = 0; i < need_pages; i++) {
486 if (arena_mapbits_unzeroed_get(chunk, run_ind+i)
487 != 0)
488 arena_run_zero(chunk, run_ind+i, 1);
489 else if (config_debug) {
490 arena_run_page_validate_zeroed(chunk,
491 run_ind+i);
492 } else {
493 arena_run_page_mark_zeroed(chunk,
494 run_ind+i);
Jason Evans19b3d612010-03-18 20:36:40 -0700495 }
Jason Evanse476f8a2010-01-16 09:53:50 -0800496 }
497 }
Jason Evans19b3d612010-03-18 20:36:40 -0700498 } else {
Jason Evansbd87b012014-04-15 16:35:08 -0700499 JEMALLOC_VALGRIND_MAKE_MEM_UNDEFINED((void *)((uintptr_t)chunk +
Jason Evansdda90f52013-10-19 23:48:40 -0700500 (run_ind << LG_PAGE)), (need_pages << LG_PAGE));
Jason Evanse476f8a2010-01-16 09:53:50 -0800501 }
Jason Evansaa5113b2014-01-14 16:23:03 -0800502
503 /*
504 * Set the last element first, in case the run only contains one page
505 * (i.e. both statements set the same element).
506 */
Jason Evans1f27abc2015-08-11 12:42:33 -0700507 flag_unzeroed_mask = (flag_dirty | flag_decommitted) == 0 ?
508 CHUNK_MAP_UNZEROED : 0;
509 arena_mapbits_large_set(chunk, run_ind+need_pages-1, 0, flag_dirty |
510 (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk,
511 run_ind+need_pages-1)));
512 arena_mapbits_large_set(chunk, run_ind, size, flag_dirty |
513 (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk, run_ind)));
Jason Evans8fadb1a2015-08-04 10:49:46 -0700514 return (false);
Jason Evanse476f8a2010-01-16 09:53:50 -0800515}
516
Jason Evans8fadb1a2015-08-04 10:49:46 -0700517static bool
Jason Evansaa5113b2014-01-14 16:23:03 -0800518arena_run_split_large(arena_t *arena, arena_run_t *run, size_t size, bool zero)
Jason Evansc368f8c2013-10-29 18:17:42 -0700519{
520
Jason Evans8fadb1a2015-08-04 10:49:46 -0700521 return (arena_run_split_large_helper(arena, run, size, true, zero));
Jason Evansc368f8c2013-10-29 18:17:42 -0700522}
523
Jason Evans8fadb1a2015-08-04 10:49:46 -0700524static bool
Jason Evansaa5113b2014-01-14 16:23:03 -0800525arena_run_init_large(arena_t *arena, arena_run_t *run, size_t size, bool zero)
Jason Evansc368f8c2013-10-29 18:17:42 -0700526{
527
Jason Evans8fadb1a2015-08-04 10:49:46 -0700528 return (arena_run_split_large_helper(arena, run, size, false, zero));
Jason Evansaa5113b2014-01-14 16:23:03 -0800529}
530
Jason Evans8fadb1a2015-08-04 10:49:46 -0700531static bool
Jason Evansaa5113b2014-01-14 16:23:03 -0800532arena_run_split_small(arena_t *arena, arena_run_t *run, size_t size,
Jason Evansd01fd192015-08-19 15:21:32 -0700533 szind_t binind)
Jason Evansaa5113b2014-01-14 16:23:03 -0800534{
535 arena_chunk_t *chunk;
Jason Evans0c5dd032014-09-29 01:31:39 -0700536 arena_chunk_map_misc_t *miscelm;
Jason Evans8fadb1a2015-08-04 10:49:46 -0700537 size_t flag_dirty, flag_decommitted, run_ind, need_pages, i;
Jason Evansaa5113b2014-01-14 16:23:03 -0800538
539 assert(binind != BININD_INVALID);
540
541 chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(run);
Jason Evans0c5dd032014-09-29 01:31:39 -0700542 miscelm = arena_run_to_miscelm(run);
543 run_ind = arena_miscelm_to_pageind(miscelm);
Jason Evansaa5113b2014-01-14 16:23:03 -0800544 flag_dirty = arena_mapbits_dirty_get(chunk, run_ind);
Jason Evans8fadb1a2015-08-04 10:49:46 -0700545 flag_decommitted = arena_mapbits_decommitted_get(chunk, run_ind);
Jason Evansaa5113b2014-01-14 16:23:03 -0800546 need_pages = (size >> LG_PAGE);
547 assert(need_pages > 0);
548
Jason Evans8fadb1a2015-08-04 10:49:46 -0700549 if (flag_decommitted != 0 && arena->chunk_hooks.commit(chunk, chunksize,
550 run_ind << LG_PAGE, size, arena->ind))
551 return (true);
552
553 arena_run_split_remove(arena, chunk, run_ind, flag_dirty,
554 flag_decommitted, need_pages);
Jason Evansaa5113b2014-01-14 16:23:03 -0800555
Jason Evans381c23d2014-10-10 23:01:03 -0700556 for (i = 0; i < need_pages; i++) {
Jason Evans1f27abc2015-08-11 12:42:33 -0700557 size_t flag_unzeroed = arena_mapbits_unzeroed_get(chunk,
558 run_ind+i);
559 arena_mapbits_small_set(chunk, run_ind+i, i, binind,
560 flag_unzeroed);
561 if (config_debug && flag_dirty == 0 && flag_unzeroed == 0)
Jason Evansaa5113b2014-01-14 16:23:03 -0800562 arena_run_page_validate_zeroed(chunk, run_ind+i);
563 }
Jason Evansbd87b012014-04-15 16:35:08 -0700564 JEMALLOC_VALGRIND_MAKE_MEM_UNDEFINED((void *)((uintptr_t)chunk +
Jason Evansaa5113b2014-01-14 16:23:03 -0800565 (run_ind << LG_PAGE)), (need_pages << LG_PAGE));
Jason Evans8fadb1a2015-08-04 10:49:46 -0700566 return (false);
Jason Evansaa5113b2014-01-14 16:23:03 -0800567}
568
569static arena_chunk_t *
570arena_chunk_init_spare(arena_t *arena)
571{
572 arena_chunk_t *chunk;
573
574 assert(arena->spare != NULL);
575
576 chunk = arena->spare;
577 arena->spare = NULL;
578
579 assert(arena_mapbits_allocated_get(chunk, map_bias) == 0);
580 assert(arena_mapbits_allocated_get(chunk, chunk_npages-1) == 0);
581 assert(arena_mapbits_unallocated_size_get(chunk, map_bias) ==
Jason Evans155bfa72014-10-05 17:54:10 -0700582 arena_maxrun);
Jason Evansaa5113b2014-01-14 16:23:03 -0800583 assert(arena_mapbits_unallocated_size_get(chunk, chunk_npages-1) ==
Jason Evans155bfa72014-10-05 17:54:10 -0700584 arena_maxrun);
Jason Evansaa5113b2014-01-14 16:23:03 -0800585 assert(arena_mapbits_dirty_get(chunk, map_bias) ==
586 arena_mapbits_dirty_get(chunk, chunk_npages-1));
587
588 return (chunk);
589}
590
Jason Evans99bd94f2015-02-18 16:40:53 -0800591static bool
592arena_chunk_register(arena_t *arena, arena_chunk_t *chunk, bool zero)
593{
594
Jason Evans8fadb1a2015-08-04 10:49:46 -0700595 /*
596 * The extent node notion of "committed" doesn't directly apply to
Jason Evansde249c82015-08-09 16:47:27 -0700597 * arena chunks. Arbitrarily mark them as committed. The commit state
598 * of runs is tracked individually, and upon chunk deallocation the
599 * entire chunk is in a consistent commit state.
Jason Evans8fadb1a2015-08-04 10:49:46 -0700600 */
601 extent_node_init(&chunk->node, arena, chunk, chunksize, zero, true);
Jason Evans99bd94f2015-02-18 16:40:53 -0800602 extent_node_achunk_set(&chunk->node, true);
603 return (chunk_register(chunk, &chunk->node));
604}
605
606static arena_chunk_t *
Jason Evansb49a3342015-07-28 11:28:19 -0400607arena_chunk_alloc_internal_hard(arena_t *arena, chunk_hooks_t *chunk_hooks,
Jason Evans8fadb1a2015-08-04 10:49:46 -0700608 bool *zero, bool *commit)
Jason Evans99bd94f2015-02-18 16:40:53 -0800609{
610 arena_chunk_t *chunk;
Jason Evans99bd94f2015-02-18 16:40:53 -0800611
612 malloc_mutex_unlock(&arena->lock);
Jason Evansb49a3342015-07-28 11:28:19 -0400613
614 chunk = (arena_chunk_t *)chunk_alloc_wrapper(arena, chunk_hooks, NULL,
Jason Evans8fadb1a2015-08-04 10:49:46 -0700615 chunksize, chunksize, zero, commit);
616 if (chunk != NULL && !*commit) {
617 /* Commit header. */
618 if (chunk_hooks->commit(chunk, chunksize, 0, map_bias <<
619 LG_PAGE, arena->ind)) {
Jason Evans8d8960f2016-03-30 18:36:04 -0700620 chunk_dalloc_wrapper(arena, chunk_hooks, (void *)chunk,
621 chunksize, *zero, *commit);
Jason Evans8fadb1a2015-08-04 10:49:46 -0700622 chunk = NULL;
623 }
624 }
Jason Evans99bd94f2015-02-18 16:40:53 -0800625 if (chunk != NULL && arena_chunk_register(arena, chunk, *zero)) {
Jason Evans8fadb1a2015-08-04 10:49:46 -0700626 if (!*commit) {
627 /* Undo commit of header. */
628 chunk_hooks->decommit(chunk, chunksize, 0, map_bias <<
629 LG_PAGE, arena->ind);
630 }
Jason Evansb49a3342015-07-28 11:28:19 -0400631 chunk_dalloc_wrapper(arena, chunk_hooks, (void *)chunk,
Jason Evans8d8960f2016-03-30 18:36:04 -0700632 chunksize, *zero, *commit);
Jason Evans99bd94f2015-02-18 16:40:53 -0800633 chunk = NULL;
634 }
Jason Evans99bd94f2015-02-18 16:40:53 -0800635
Jason Evans8fadb1a2015-08-04 10:49:46 -0700636 malloc_mutex_lock(&arena->lock);
Jason Evans99bd94f2015-02-18 16:40:53 -0800637 return (chunk);
638}
639
Jason Evansaa5113b2014-01-14 16:23:03 -0800640static arena_chunk_t *
Jason Evans8fadb1a2015-08-04 10:49:46 -0700641arena_chunk_alloc_internal(arena_t *arena, bool *zero, bool *commit)
Jason Evanse2deab72014-05-15 22:22:27 -0700642{
643 arena_chunk_t *chunk;
Jason Evansb49a3342015-07-28 11:28:19 -0400644 chunk_hooks_t chunk_hooks = CHUNK_HOOKS_INITIALIZER;
Jason Evanse2deab72014-05-15 22:22:27 -0700645
Jason Evansb49a3342015-07-28 11:28:19 -0400646 chunk = chunk_alloc_cache(arena, &chunk_hooks, NULL, chunksize,
647 chunksize, zero, true);
Jason Evans8fadb1a2015-08-04 10:49:46 -0700648 if (chunk != NULL) {
649 if (arena_chunk_register(arena, chunk, *zero)) {
650 chunk_dalloc_cache(arena, &chunk_hooks, chunk,
Jason Evansde249c82015-08-09 16:47:27 -0700651 chunksize, true);
Jason Evans8fadb1a2015-08-04 10:49:46 -0700652 return (NULL);
653 }
654 *commit = true;
Jason Evansb49a3342015-07-28 11:28:19 -0400655 }
656 if (chunk == NULL) {
657 chunk = arena_chunk_alloc_internal_hard(arena, &chunk_hooks,
Jason Evans8fadb1a2015-08-04 10:49:46 -0700658 zero, commit);
Jason Evansb49a3342015-07-28 11:28:19 -0400659 }
Jason Evans99bd94f2015-02-18 16:40:53 -0800660
Jason Evans4581b972014-11-27 17:22:36 -0200661 if (config_stats && chunk != NULL) {
Jason Evanse2deab72014-05-15 22:22:27 -0700662 arena->stats.mapped += chunksize;
Jason Evans4581b972014-11-27 17:22:36 -0200663 arena->stats.metadata_mapped += (map_bias << LG_PAGE);
664 }
Jason Evanse2deab72014-05-15 22:22:27 -0700665
666 return (chunk);
667}
668
Jason Evanse2deab72014-05-15 22:22:27 -0700669static arena_chunk_t *
Jason Evansaa5113b2014-01-14 16:23:03 -0800670arena_chunk_init_hard(arena_t *arena)
671{
672 arena_chunk_t *chunk;
Jason Evans8fadb1a2015-08-04 10:49:46 -0700673 bool zero, commit;
Jason Evans45186f02015-08-10 23:03:34 -0700674 size_t flag_unzeroed, flag_decommitted, i;
Jason Evansaa5113b2014-01-14 16:23:03 -0800675
676 assert(arena->spare == NULL);
677
678 zero = false;
Jason Evans8fadb1a2015-08-04 10:49:46 -0700679 commit = false;
680 chunk = arena_chunk_alloc_internal(arena, &zero, &commit);
Jason Evansaa5113b2014-01-14 16:23:03 -0800681 if (chunk == NULL)
682 return (NULL);
Jason Evansaa5113b2014-01-14 16:23:03 -0800683
Jason Evansaa5113b2014-01-14 16:23:03 -0800684 /*
Jason Evansaa5113b2014-01-14 16:23:03 -0800685 * Initialize the map to contain one maximal free untouched run. Mark
Jason Evans8fadb1a2015-08-04 10:49:46 -0700686 * the pages as zeroed if chunk_alloc() returned a zeroed or decommitted
687 * chunk.
Jason Evansaa5113b2014-01-14 16:23:03 -0800688 */
Jason Evans45186f02015-08-10 23:03:34 -0700689 flag_unzeroed = (zero || !commit) ? 0 : CHUNK_MAP_UNZEROED;
690 flag_decommitted = commit ? 0 : CHUNK_MAP_DECOMMITTED;
691 arena_mapbits_unallocated_set(chunk, map_bias, arena_maxrun,
692 flag_unzeroed | flag_decommitted);
Jason Evansaa5113b2014-01-14 16:23:03 -0800693 /*
694 * There is no need to initialize the internal page map entries unless
695 * the chunk is not zeroed.
696 */
Jason Evans551ebc42014-10-03 10:16:09 -0700697 if (!zero) {
Jason Evansbd87b012014-04-15 16:35:08 -0700698 JEMALLOC_VALGRIND_MAKE_MEM_UNDEFINED(
Qinfan Wuff6a31d2014-08-29 13:34:40 -0700699 (void *)arena_bitselm_get(chunk, map_bias+1),
700 (size_t)((uintptr_t) arena_bitselm_get(chunk,
701 chunk_npages-1) - (uintptr_t)arena_bitselm_get(chunk,
702 map_bias+1)));
Jason Evansaa5113b2014-01-14 16:23:03 -0800703 for (i = map_bias+1; i < chunk_npages-1; i++)
Jason Evans45186f02015-08-10 23:03:34 -0700704 arena_mapbits_internal_set(chunk, i, flag_unzeroed);
Jason Evansaa5113b2014-01-14 16:23:03 -0800705 } else {
Qinfan Wuff6a31d2014-08-29 13:34:40 -0700706 JEMALLOC_VALGRIND_MAKE_MEM_DEFINED((void
707 *)arena_bitselm_get(chunk, map_bias+1), (size_t)((uintptr_t)
708 arena_bitselm_get(chunk, chunk_npages-1) -
709 (uintptr_t)arena_bitselm_get(chunk, map_bias+1)));
Jason Evansaa5113b2014-01-14 16:23:03 -0800710 if (config_debug) {
711 for (i = map_bias+1; i < chunk_npages-1; i++) {
712 assert(arena_mapbits_unzeroed_get(chunk, i) ==
Jason Evans45186f02015-08-10 23:03:34 -0700713 flag_unzeroed);
Jason Evansaa5113b2014-01-14 16:23:03 -0800714 }
715 }
716 }
Jason Evans155bfa72014-10-05 17:54:10 -0700717 arena_mapbits_unallocated_set(chunk, chunk_npages-1, arena_maxrun,
Jason Evans45186f02015-08-10 23:03:34 -0700718 flag_unzeroed);
Jason Evansaa5113b2014-01-14 16:23:03 -0800719
720 return (chunk);
Jason Evansc368f8c2013-10-29 18:17:42 -0700721}
722
Jason Evanse476f8a2010-01-16 09:53:50 -0800723static arena_chunk_t *
724arena_chunk_alloc(arena_t *arena)
725{
726 arena_chunk_t *chunk;
Jason Evanse476f8a2010-01-16 09:53:50 -0800727
Jason Evansaa5113b2014-01-14 16:23:03 -0800728 if (arena->spare != NULL)
729 chunk = arena_chunk_init_spare(arena);
Chris Pride20a8c782014-03-25 22:36:05 -0700730 else {
Jason Evansaa5113b2014-01-14 16:23:03 -0800731 chunk = arena_chunk_init_hard(arena);
Chris Pride20a8c782014-03-25 22:36:05 -0700732 if (chunk == NULL)
733 return (NULL);
734 }
Jason Evanse476f8a2010-01-16 09:53:50 -0800735
Qinfan Wu90737fc2014-07-21 19:39:20 -0700736 arena_avail_insert(arena, chunk, map_bias, chunk_npages-map_bias);
Jason Evanse3d13062012-10-30 15:42:37 -0700737
Jason Evanse476f8a2010-01-16 09:53:50 -0800738 return (chunk);
739}
740
741static void
Jason Evanse2deab72014-05-15 22:22:27 -0700742arena_chunk_dalloc(arena_t *arena, arena_chunk_t *chunk)
Jason Evanse476f8a2010-01-16 09:53:50 -0800743{
Qinfan Wu04d60a12014-07-18 14:21:17 -0700744
Jason Evans30fe12b2012-05-10 17:09:17 -0700745 assert(arena_mapbits_allocated_get(chunk, map_bias) == 0);
746 assert(arena_mapbits_allocated_get(chunk, chunk_npages-1) == 0);
747 assert(arena_mapbits_unallocated_size_get(chunk, map_bias) ==
Jason Evans155bfa72014-10-05 17:54:10 -0700748 arena_maxrun);
Jason Evans30fe12b2012-05-10 17:09:17 -0700749 assert(arena_mapbits_unallocated_size_get(chunk, chunk_npages-1) ==
Jason Evans155bfa72014-10-05 17:54:10 -0700750 arena_maxrun);
Jason Evans30fe12b2012-05-10 17:09:17 -0700751 assert(arena_mapbits_dirty_get(chunk, map_bias) ==
752 arena_mapbits_dirty_get(chunk, chunk_npages-1));
Jason Evansde249c82015-08-09 16:47:27 -0700753 assert(arena_mapbits_decommitted_get(chunk, map_bias) ==
754 arena_mapbits_decommitted_get(chunk, chunk_npages-1));
Jason Evans30fe12b2012-05-10 17:09:17 -0700755
Dave Watson3417a302016-02-23 12:06:21 -0800756 /* Remove run from runs_avail, so that the arena does not use it. */
Qinfan Wu90737fc2014-07-21 19:39:20 -0700757 arena_avail_remove(arena, chunk, map_bias, chunk_npages-map_bias);
Jason Evanse476f8a2010-01-16 09:53:50 -0800758
Jason Evans8d4203c2010-04-13 20:53:21 -0700759 if (arena->spare != NULL) {
760 arena_chunk_t *spare = arena->spare;
Jason Evansb49a3342015-07-28 11:28:19 -0400761 chunk_hooks_t chunk_hooks = CHUNK_HOOKS_INITIALIZER;
Jason Evansde249c82015-08-09 16:47:27 -0700762 bool committed;
Jason Evans8d4203c2010-04-13 20:53:21 -0700763
764 arena->spare = chunk;
Jason Evans070b3c32014-08-14 14:45:58 -0700765 if (arena_mapbits_dirty_get(spare, map_bias) != 0) {
Jason Evansee41ad42015-02-15 18:04:46 -0800766 arena_run_dirty_remove(arena, spare, map_bias,
Jason Evans070b3c32014-08-14 14:45:58 -0700767 chunk_npages-map_bias);
768 }
Jason Evans99bd94f2015-02-18 16:40:53 -0800769
Jason Evanscbf3a6d2015-02-11 12:24:27 -0800770 chunk_deregister(spare, &spare->node);
Jason Evans99bd94f2015-02-18 16:40:53 -0800771
Jason Evansde249c82015-08-09 16:47:27 -0700772 committed = (arena_mapbits_decommitted_get(spare, map_bias) ==
773 0);
774 if (!committed) {
775 /*
776 * Decommit the header. Mark the chunk as decommitted
777 * even if header decommit fails, since treating a
778 * partially committed chunk as committed has a high
779 * potential for causing later access of decommitted
780 * memory.
781 */
782 chunk_hooks = chunk_hooks_get(arena);
783 chunk_hooks.decommit(spare, chunksize, 0, map_bias <<
784 LG_PAGE, arena->ind);
785 }
786
Jason Evansb49a3342015-07-28 11:28:19 -0400787 chunk_dalloc_cache(arena, &chunk_hooks, (void *)spare,
Jason Evansde249c82015-08-09 16:47:27 -0700788 chunksize, committed);
Jason Evans99bd94f2015-02-18 16:40:53 -0800789
Jason Evans4581b972014-11-27 17:22:36 -0200790 if (config_stats) {
Jason Evans9b41ac92014-10-14 22:20:00 -0700791 arena->stats.mapped -= chunksize;
Jason Evans4581b972014-11-27 17:22:36 -0200792 arena->stats.metadata_mapped -= (map_bias << LG_PAGE);
793 }
Jason Evans8d4203c2010-04-13 20:53:21 -0700794 } else
795 arena->spare = chunk;
Jason Evanse476f8a2010-01-16 09:53:50 -0800796}
797
Jason Evans9b41ac92014-10-14 22:20:00 -0700798static void
799arena_huge_malloc_stats_update(arena_t *arena, size_t usize)
800{
Jason Evansd01fd192015-08-19 15:21:32 -0700801 szind_t index = size2index(usize) - nlclasses - NBINS;
Jason Evans9b41ac92014-10-14 22:20:00 -0700802
803 cassert(config_stats);
804
805 arena->stats.nmalloc_huge++;
806 arena->stats.allocated_huge += usize;
807 arena->stats.hstats[index].nmalloc++;
808 arena->stats.hstats[index].curhchunks++;
809}
810
811static void
812arena_huge_malloc_stats_update_undo(arena_t *arena, size_t usize)
813{
Jason Evansd01fd192015-08-19 15:21:32 -0700814 szind_t index = size2index(usize) - nlclasses - NBINS;
Jason Evans9b41ac92014-10-14 22:20:00 -0700815
816 cassert(config_stats);
817
818 arena->stats.nmalloc_huge--;
819 arena->stats.allocated_huge -= usize;
820 arena->stats.hstats[index].nmalloc--;
821 arena->stats.hstats[index].curhchunks--;
822}
823
824static void
825arena_huge_dalloc_stats_update(arena_t *arena, size_t usize)
826{
Jason Evansd01fd192015-08-19 15:21:32 -0700827 szind_t index = size2index(usize) - nlclasses - NBINS;
Jason Evans9b41ac92014-10-14 22:20:00 -0700828
829 cassert(config_stats);
830
831 arena->stats.ndalloc_huge++;
832 arena->stats.allocated_huge -= usize;
833 arena->stats.hstats[index].ndalloc++;
834 arena->stats.hstats[index].curhchunks--;
835}
836
837static void
838arena_huge_dalloc_stats_update_undo(arena_t *arena, size_t usize)
839{
Jason Evansd01fd192015-08-19 15:21:32 -0700840 szind_t index = size2index(usize) - nlclasses - NBINS;
Jason Evans9b41ac92014-10-14 22:20:00 -0700841
842 cassert(config_stats);
843
844 arena->stats.ndalloc_huge--;
845 arena->stats.allocated_huge += usize;
846 arena->stats.hstats[index].ndalloc--;
847 arena->stats.hstats[index].curhchunks++;
848}
849
850static void
851arena_huge_ralloc_stats_update(arena_t *arena, size_t oldsize, size_t usize)
852{
853
854 arena_huge_dalloc_stats_update(arena, oldsize);
855 arena_huge_malloc_stats_update(arena, usize);
856}
857
858static void
859arena_huge_ralloc_stats_update_undo(arena_t *arena, size_t oldsize,
860 size_t usize)
861{
862
863 arena_huge_dalloc_stats_update_undo(arena, oldsize);
864 arena_huge_malloc_stats_update_undo(arena, usize);
865}
866
Jason Evanscbf3a6d2015-02-11 12:24:27 -0800867extent_node_t *
868arena_node_alloc(arena_t *arena)
869{
870 extent_node_t *node;
871
872 malloc_mutex_lock(&arena->node_cache_mtx);
Jason Evans2195ba42015-02-15 16:43:52 -0800873 node = ql_last(&arena->node_cache, ql_link);
Jason Evanscbf3a6d2015-02-11 12:24:27 -0800874 if (node == NULL) {
875 malloc_mutex_unlock(&arena->node_cache_mtx);
876 return (base_alloc(sizeof(extent_node_t)));
877 }
Jason Evans2195ba42015-02-15 16:43:52 -0800878 ql_tail_remove(&arena->node_cache, extent_node_t, ql_link);
Jason Evanscbf3a6d2015-02-11 12:24:27 -0800879 malloc_mutex_unlock(&arena->node_cache_mtx);
880 return (node);
881}
882
883void
884arena_node_dalloc(arena_t *arena, extent_node_t *node)
885{
886
887 malloc_mutex_lock(&arena->node_cache_mtx);
Jason Evans2195ba42015-02-15 16:43:52 -0800888 ql_elm_new(node, ql_link);
889 ql_tail_insert(&arena->node_cache, node, ql_link);
Jason Evanscbf3a6d2015-02-11 12:24:27 -0800890 malloc_mutex_unlock(&arena->node_cache_mtx);
891}
892
Jason Evans99bd94f2015-02-18 16:40:53 -0800893static void *
Jason Evansb49a3342015-07-28 11:28:19 -0400894arena_chunk_alloc_huge_hard(arena_t *arena, chunk_hooks_t *chunk_hooks,
Jason Evans99bd94f2015-02-18 16:40:53 -0800895 size_t usize, size_t alignment, bool *zero, size_t csize)
Jason Evans9b41ac92014-10-14 22:20:00 -0700896{
897 void *ret;
Jason Evans8fadb1a2015-08-04 10:49:46 -0700898 bool commit = true;
Jason Evans9b41ac92014-10-14 22:20:00 -0700899
Jason Evansb49a3342015-07-28 11:28:19 -0400900 ret = chunk_alloc_wrapper(arena, chunk_hooks, NULL, csize, alignment,
Jason Evans8fadb1a2015-08-04 10:49:46 -0700901 zero, &commit);
Jason Evans9b41ac92014-10-14 22:20:00 -0700902 if (ret == NULL) {
903 /* Revert optimistic stats updates. */
904 malloc_mutex_lock(&arena->lock);
905 if (config_stats) {
906 arena_huge_malloc_stats_update_undo(arena, usize);
907 arena->stats.mapped -= usize;
908 }
Jason Evans40ee9aa2016-02-27 12:34:50 -0800909 arena_nactive_sub(arena, usize >> LG_PAGE);
Jason Evans9b41ac92014-10-14 22:20:00 -0700910 malloc_mutex_unlock(&arena->lock);
Jason Evans9b41ac92014-10-14 22:20:00 -0700911 }
912
Jason Evans99bd94f2015-02-18 16:40:53 -0800913 return (ret);
914}
Jason Evans9b41ac92014-10-14 22:20:00 -0700915
Jason Evans99bd94f2015-02-18 16:40:53 -0800916void *
917arena_chunk_alloc_huge(arena_t *arena, size_t usize, size_t alignment,
918 bool *zero)
919{
920 void *ret;
Jason Evansb49a3342015-07-28 11:28:19 -0400921 chunk_hooks_t chunk_hooks = CHUNK_HOOKS_INITIALIZER;
Jason Evans99bd94f2015-02-18 16:40:53 -0800922 size_t csize = CHUNK_CEILING(usize);
923
924 malloc_mutex_lock(&arena->lock);
925
926 /* Optimistically update stats. */
927 if (config_stats) {
928 arena_huge_malloc_stats_update(arena, usize);
929 arena->stats.mapped += usize;
930 }
Jason Evans40ee9aa2016-02-27 12:34:50 -0800931 arena_nactive_add(arena, usize >> LG_PAGE);
Jason Evans99bd94f2015-02-18 16:40:53 -0800932
Jason Evansb49a3342015-07-28 11:28:19 -0400933 ret = chunk_alloc_cache(arena, &chunk_hooks, NULL, csize, alignment,
934 zero, true);
Jason Evans99bd94f2015-02-18 16:40:53 -0800935 malloc_mutex_unlock(&arena->lock);
936 if (ret == NULL) {
Jason Evansb49a3342015-07-28 11:28:19 -0400937 ret = arena_chunk_alloc_huge_hard(arena, &chunk_hooks, usize,
Jason Evans99bd94f2015-02-18 16:40:53 -0800938 alignment, zero, csize);
939 }
940
Jason Evans9b41ac92014-10-14 22:20:00 -0700941 return (ret);
942}
943
944void
945arena_chunk_dalloc_huge(arena_t *arena, void *chunk, size_t usize)
946{
Jason Evansb49a3342015-07-28 11:28:19 -0400947 chunk_hooks_t chunk_hooks = CHUNK_HOOKS_INITIALIZER;
Jason Evans99bd94f2015-02-18 16:40:53 -0800948 size_t csize;
Jason Evans9b41ac92014-10-14 22:20:00 -0700949
Jason Evans99bd94f2015-02-18 16:40:53 -0800950 csize = CHUNK_CEILING(usize);
Jason Evans9b41ac92014-10-14 22:20:00 -0700951 malloc_mutex_lock(&arena->lock);
Jason Evans9b41ac92014-10-14 22:20:00 -0700952 if (config_stats) {
953 arena_huge_dalloc_stats_update(arena, usize);
954 arena->stats.mapped -= usize;
Jason Evans9b41ac92014-10-14 22:20:00 -0700955 }
Jason Evans40ee9aa2016-02-27 12:34:50 -0800956 arena_nactive_sub(arena, usize >> LG_PAGE);
Jason Evans99bd94f2015-02-18 16:40:53 -0800957
Jason Evansde249c82015-08-09 16:47:27 -0700958 chunk_dalloc_cache(arena, &chunk_hooks, chunk, csize, true);
Jason Evansb49a3342015-07-28 11:28:19 -0400959 malloc_mutex_unlock(&arena->lock);
Jason Evans9b41ac92014-10-14 22:20:00 -0700960}
961
962void
963arena_chunk_ralloc_huge_similar(arena_t *arena, void *chunk, size_t oldsize,
964 size_t usize)
965{
966
967 assert(CHUNK_CEILING(oldsize) == CHUNK_CEILING(usize));
968 assert(oldsize != usize);
969
970 malloc_mutex_lock(&arena->lock);
971 if (config_stats)
972 arena_huge_ralloc_stats_update(arena, oldsize, usize);
Jason Evans40ee9aa2016-02-27 12:34:50 -0800973 if (oldsize < usize)
974 arena_nactive_add(arena, (usize - oldsize) >> LG_PAGE);
975 else
976 arena_nactive_sub(arena, (oldsize - usize) >> LG_PAGE);
Jason Evans9b41ac92014-10-14 22:20:00 -0700977 malloc_mutex_unlock(&arena->lock);
978}
979
980void
981arena_chunk_ralloc_huge_shrink(arena_t *arena, void *chunk, size_t oldsize,
982 size_t usize)
983{
Jason Evans9b41ac92014-10-14 22:20:00 -0700984 size_t udiff = oldsize - usize;
985 size_t cdiff = CHUNK_CEILING(oldsize) - CHUNK_CEILING(usize);
986
987 malloc_mutex_lock(&arena->lock);
Jason Evans9b41ac92014-10-14 22:20:00 -0700988 if (config_stats) {
989 arena_huge_ralloc_stats_update(arena, oldsize, usize);
Jason Evans40ee9aa2016-02-27 12:34:50 -0800990 if (cdiff != 0)
Jason Evans9b41ac92014-10-14 22:20:00 -0700991 arena->stats.mapped -= cdiff;
Jason Evans9b41ac92014-10-14 22:20:00 -0700992 }
Jason Evans40ee9aa2016-02-27 12:34:50 -0800993 arena_nactive_sub(arena, udiff >> LG_PAGE);
Jason Evans99bd94f2015-02-18 16:40:53 -0800994
Jason Evans2012d5a2014-11-17 09:54:49 -0800995 if (cdiff != 0) {
Jason Evansb49a3342015-07-28 11:28:19 -0400996 chunk_hooks_t chunk_hooks = CHUNK_HOOKS_INITIALIZER;
Jason Evans99bd94f2015-02-18 16:40:53 -0800997 void *nchunk = (void *)((uintptr_t)chunk +
998 CHUNK_CEILING(usize));
999
Jason Evansde249c82015-08-09 16:47:27 -07001000 chunk_dalloc_cache(arena, &chunk_hooks, nchunk, cdiff, true);
Jason Evansb49a3342015-07-28 11:28:19 -04001001 }
1002 malloc_mutex_unlock(&arena->lock);
Jason Evans99bd94f2015-02-18 16:40:53 -08001003}
1004
Jason Evansb49a3342015-07-28 11:28:19 -04001005static bool
1006arena_chunk_ralloc_huge_expand_hard(arena_t *arena, chunk_hooks_t *chunk_hooks,
1007 void *chunk, size_t oldsize, size_t usize, bool *zero, void *nchunk,
1008 size_t udiff, size_t cdiff)
Jason Evans99bd94f2015-02-18 16:40:53 -08001009{
1010 bool err;
Jason Evans8fadb1a2015-08-04 10:49:46 -07001011 bool commit = true;
Jason Evans99bd94f2015-02-18 16:40:53 -08001012
Jason Evansb49a3342015-07-28 11:28:19 -04001013 err = (chunk_alloc_wrapper(arena, chunk_hooks, nchunk, cdiff, chunksize,
Jason Evans8fadb1a2015-08-04 10:49:46 -07001014 zero, &commit) == NULL);
Jason Evans99bd94f2015-02-18 16:40:53 -08001015 if (err) {
1016 /* Revert optimistic stats updates. */
1017 malloc_mutex_lock(&arena->lock);
1018 if (config_stats) {
1019 arena_huge_ralloc_stats_update_undo(arena, oldsize,
1020 usize);
1021 arena->stats.mapped -= cdiff;
1022 }
Jason Evans40ee9aa2016-02-27 12:34:50 -08001023 arena_nactive_sub(arena, udiff >> LG_PAGE);
Jason Evans99bd94f2015-02-18 16:40:53 -08001024 malloc_mutex_unlock(&arena->lock);
Jason Evansb49a3342015-07-28 11:28:19 -04001025 } else if (chunk_hooks->merge(chunk, CHUNK_CEILING(oldsize), nchunk,
1026 cdiff, true, arena->ind)) {
Jason Evans8d8960f2016-03-30 18:36:04 -07001027 chunk_dalloc_wrapper(arena, chunk_hooks, nchunk, cdiff, *zero,
Jason Evans8fadb1a2015-08-04 10:49:46 -07001028 true);
Jason Evansb49a3342015-07-28 11:28:19 -04001029 err = true;
Jason Evans2012d5a2014-11-17 09:54:49 -08001030 }
Jason Evans99bd94f2015-02-18 16:40:53 -08001031 return (err);
Jason Evans9b41ac92014-10-14 22:20:00 -07001032}
1033
1034bool
1035arena_chunk_ralloc_huge_expand(arena_t *arena, void *chunk, size_t oldsize,
1036 size_t usize, bool *zero)
1037{
Jason Evans99bd94f2015-02-18 16:40:53 -08001038 bool err;
Jason Evans8fadb1a2015-08-04 10:49:46 -07001039 chunk_hooks_t chunk_hooks = chunk_hooks_get(arena);
Jason Evans99bd94f2015-02-18 16:40:53 -08001040 void *nchunk = (void *)((uintptr_t)chunk + CHUNK_CEILING(oldsize));
Jason Evans9b41ac92014-10-14 22:20:00 -07001041 size_t udiff = usize - oldsize;
1042 size_t cdiff = CHUNK_CEILING(usize) - CHUNK_CEILING(oldsize);
1043
1044 malloc_mutex_lock(&arena->lock);
Jason Evans99bd94f2015-02-18 16:40:53 -08001045
1046 /* Optimistically update stats. */
Jason Evans9b41ac92014-10-14 22:20:00 -07001047 if (config_stats) {
Jason Evans9b41ac92014-10-14 22:20:00 -07001048 arena_huge_ralloc_stats_update(arena, oldsize, usize);
1049 arena->stats.mapped += cdiff;
1050 }
Jason Evans40ee9aa2016-02-27 12:34:50 -08001051 arena_nactive_add(arena, udiff >> LG_PAGE);
Jason Evans9b41ac92014-10-14 22:20:00 -07001052
Jason Evans8d8960f2016-03-30 18:36:04 -07001053 err = (chunk_alloc_cache(arena, &chunk_hooks, nchunk, cdiff, chunksize,
1054 zero, true) == NULL);
Jason Evans99bd94f2015-02-18 16:40:53 -08001055 malloc_mutex_unlock(&arena->lock);
1056 if (err) {
Jason Evansb49a3342015-07-28 11:28:19 -04001057 err = arena_chunk_ralloc_huge_expand_hard(arena, &chunk_hooks,
1058 chunk, oldsize, usize, zero, nchunk, udiff,
1059 cdiff);
1060 } else if (chunk_hooks.merge(chunk, CHUNK_CEILING(oldsize), nchunk,
1061 cdiff, true, arena->ind)) {
Jason Evans8d8960f2016-03-30 18:36:04 -07001062 chunk_dalloc_wrapper(arena, &chunk_hooks, nchunk, cdiff, *zero,
Jason Evans8fadb1a2015-08-04 10:49:46 -07001063 true);
Jason Evansb49a3342015-07-28 11:28:19 -04001064 err = true;
Jason Evans9b41ac92014-10-14 22:20:00 -07001065 }
1066
Jason Evans99bd94f2015-02-18 16:40:53 -08001067 return (err);
Jason Evans9b41ac92014-10-14 22:20:00 -07001068}
1069
Jason Evansaa282662015-07-15 16:02:21 -07001070/*
1071 * Do first-best-fit run selection, i.e. select the lowest run that best fits.
Dave Watson3417a302016-02-23 12:06:21 -08001072 * Run sizes are indexed, so not all candidate runs are necessarily exactly the
1073 * same size.
Jason Evansaa282662015-07-15 16:02:21 -07001074 */
Jason Evans97c04a92015-03-06 19:57:36 -08001075static arena_run_t *
Jason Evansaa282662015-07-15 16:02:21 -07001076arena_run_first_best_fit(arena_t *arena, size_t size)
Jason Evans97c04a92015-03-06 19:57:36 -08001077{
Dave Watson3417a302016-02-23 12:06:21 -08001078 szind_t ind, i;
1079
1080 ind = size2index(run_quantize_ceil(size));
Dave Watsoncd86c142016-02-24 11:02:49 -08001081 for (i = ind; i < runs_avail_nclasses + runs_avail_bias; i++) {
Jason Evansae451422016-02-23 18:27:24 -08001082 arena_chunk_map_misc_t *miscelm = arena_run_tree_first(
Dave Watson3417a302016-02-23 12:06:21 -08001083 arena_runs_avail_get(arena, i));
1084 if (miscelm != NULL)
1085 return (&miscelm->run);
1086 }
1087
1088 return (NULL);
Jason Evans97c04a92015-03-06 19:57:36 -08001089}
1090
Jason Evanse476f8a2010-01-16 09:53:50 -08001091static arena_run_t *
Jason Evansaa5113b2014-01-14 16:23:03 -08001092arena_run_alloc_large_helper(arena_t *arena, size_t size, bool zero)
Jason Evanse476f8a2010-01-16 09:53:50 -08001093{
Jason Evansaa282662015-07-15 16:02:21 -07001094 arena_run_t *run = arena_run_first_best_fit(arena, s2u(size));
Jason Evans8fadb1a2015-08-04 10:49:46 -07001095 if (run != NULL) {
1096 if (arena_run_split_large(arena, run, size, zero))
1097 run = NULL;
1098 }
Jason Evans97c04a92015-03-06 19:57:36 -08001099 return (run);
Jason Evans5b0c9962012-05-10 15:47:24 -07001100}
1101
1102static arena_run_t *
Jason Evansaa5113b2014-01-14 16:23:03 -08001103arena_run_alloc_large(arena_t *arena, size_t size, bool zero)
Jason Evans5b0c9962012-05-10 15:47:24 -07001104{
1105 arena_chunk_t *chunk;
1106 arena_run_t *run;
1107
Jason Evansfc0b3b72014-10-09 17:54:06 -07001108 assert(size <= arena_maxrun);
Jason Evans8a03cf02015-05-04 09:58:36 -07001109 assert(size == PAGE_CEILING(size));
Jason Evans5b0c9962012-05-10 15:47:24 -07001110
1111 /* Search the arena's chunks for the lowest best fit. */
Jason Evansaa5113b2014-01-14 16:23:03 -08001112 run = arena_run_alloc_large_helper(arena, size, zero);
Jason Evans5b0c9962012-05-10 15:47:24 -07001113 if (run != NULL)
1114 return (run);
1115
Jason Evanse476f8a2010-01-16 09:53:50 -08001116 /*
1117 * No usable runs. Create a new chunk from which to allocate the run.
1118 */
1119 chunk = arena_chunk_alloc(arena);
Jason Evanse00572b2010-03-14 19:43:56 -07001120 if (chunk != NULL) {
Jason Evans0c5dd032014-09-29 01:31:39 -07001121 run = &arena_miscelm_get(chunk, map_bias)->run;
Jason Evans8fadb1a2015-08-04 10:49:46 -07001122 if (arena_run_split_large(arena, run, size, zero))
1123 run = NULL;
Jason Evanse00572b2010-03-14 19:43:56 -07001124 return (run);
1125 }
1126
1127 /*
1128 * arena_chunk_alloc() failed, but another thread may have made
1129 * sufficient memory available while this one dropped arena->lock in
1130 * arena_chunk_alloc(), so search one more time.
1131 */
Jason Evansaa5113b2014-01-14 16:23:03 -08001132 return (arena_run_alloc_large_helper(arena, size, zero));
1133}
1134
1135static arena_run_t *
Jason Evansd01fd192015-08-19 15:21:32 -07001136arena_run_alloc_small_helper(arena_t *arena, size_t size, szind_t binind)
Jason Evansaa5113b2014-01-14 16:23:03 -08001137{
Jason Evansaa282662015-07-15 16:02:21 -07001138 arena_run_t *run = arena_run_first_best_fit(arena, size);
Jason Evans8fadb1a2015-08-04 10:49:46 -07001139 if (run != NULL) {
1140 if (arena_run_split_small(arena, run, size, binind))
1141 run = NULL;
1142 }
Jason Evans97c04a92015-03-06 19:57:36 -08001143 return (run);
Jason Evansaa5113b2014-01-14 16:23:03 -08001144}
1145
1146static arena_run_t *
Jason Evansd01fd192015-08-19 15:21:32 -07001147arena_run_alloc_small(arena_t *arena, size_t size, szind_t binind)
Jason Evansaa5113b2014-01-14 16:23:03 -08001148{
1149 arena_chunk_t *chunk;
1150 arena_run_t *run;
1151
Jason Evansfc0b3b72014-10-09 17:54:06 -07001152 assert(size <= arena_maxrun);
Jason Evans8a03cf02015-05-04 09:58:36 -07001153 assert(size == PAGE_CEILING(size));
Jason Evansaa5113b2014-01-14 16:23:03 -08001154 assert(binind != BININD_INVALID);
1155
1156 /* Search the arena's chunks for the lowest best fit. */
1157 run = arena_run_alloc_small_helper(arena, size, binind);
1158 if (run != NULL)
1159 return (run);
1160
1161 /*
1162 * No usable runs. Create a new chunk from which to allocate the run.
1163 */
1164 chunk = arena_chunk_alloc(arena);
1165 if (chunk != NULL) {
Jason Evans0c5dd032014-09-29 01:31:39 -07001166 run = &arena_miscelm_get(chunk, map_bias)->run;
Jason Evans8fadb1a2015-08-04 10:49:46 -07001167 if (arena_run_split_small(arena, run, size, binind))
1168 run = NULL;
Jason Evansaa5113b2014-01-14 16:23:03 -08001169 return (run);
1170 }
1171
1172 /*
1173 * arena_chunk_alloc() failed, but another thread may have made
1174 * sufficient memory available while this one dropped arena->lock in
1175 * arena_chunk_alloc(), so search one more time.
1176 */
1177 return (arena_run_alloc_small_helper(arena, size, binind));
Jason Evanse476f8a2010-01-16 09:53:50 -08001178}
1179
Jason Evans8d6a3e82015-03-18 18:55:33 -07001180static bool
1181arena_lg_dirty_mult_valid(ssize_t lg_dirty_mult)
1182{
1183
Jason Evansbd16ea42015-03-24 15:59:28 -07001184 return (lg_dirty_mult >= -1 && lg_dirty_mult < (ssize_t)(sizeof(size_t)
1185 << 3));
Jason Evans8d6a3e82015-03-18 18:55:33 -07001186}
1187
1188ssize_t
1189arena_lg_dirty_mult_get(arena_t *arena)
1190{
1191 ssize_t lg_dirty_mult;
1192
1193 malloc_mutex_lock(&arena->lock);
1194 lg_dirty_mult = arena->lg_dirty_mult;
1195 malloc_mutex_unlock(&arena->lock);
1196
1197 return (lg_dirty_mult);
1198}
1199
1200bool
1201arena_lg_dirty_mult_set(arena_t *arena, ssize_t lg_dirty_mult)
1202{
1203
1204 if (!arena_lg_dirty_mult_valid(lg_dirty_mult))
1205 return (true);
1206
1207 malloc_mutex_lock(&arena->lock);
1208 arena->lg_dirty_mult = lg_dirty_mult;
1209 arena_maybe_purge(arena);
1210 malloc_mutex_unlock(&arena->lock);
1211
1212 return (false);
1213}
1214
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001215static void
Jason Evans243f7a02016-02-19 20:09:31 -08001216arena_decay_deadline_init(arena_t *arena)
1217{
1218
1219 assert(opt_purge == purge_mode_decay);
1220
1221 /*
1222 * Generate a new deadline that is uniformly random within the next
1223 * epoch after the current one.
1224 */
Jason Evans9bad0792016-02-21 11:25:02 -08001225 nstime_copy(&arena->decay_deadline, &arena->decay_epoch);
1226 nstime_add(&arena->decay_deadline, &arena->decay_interval);
Jason Evans243f7a02016-02-19 20:09:31 -08001227 if (arena->decay_time > 0) {
Jason Evans9bad0792016-02-21 11:25:02 -08001228 nstime_t jitter;
Jason Evans243f7a02016-02-19 20:09:31 -08001229
Jason Evans9bad0792016-02-21 11:25:02 -08001230 nstime_init(&jitter, prng_range(&arena->decay_jitter_state,
1231 nstime_ns(&arena->decay_interval)));
1232 nstime_add(&arena->decay_deadline, &jitter);
Jason Evans243f7a02016-02-19 20:09:31 -08001233 }
1234}
1235
1236static bool
Jason Evans9bad0792016-02-21 11:25:02 -08001237arena_decay_deadline_reached(const arena_t *arena, const nstime_t *time)
Jason Evans243f7a02016-02-19 20:09:31 -08001238{
1239
1240 assert(opt_purge == purge_mode_decay);
1241
Jason Evans9bad0792016-02-21 11:25:02 -08001242 return (nstime_compare(&arena->decay_deadline, time) <= 0);
Jason Evans243f7a02016-02-19 20:09:31 -08001243}
1244
1245static size_t
1246arena_decay_backlog_npages_limit(const arena_t *arena)
1247{
1248 static const uint64_t h_steps[] = {
1249#define STEP(step, h, x, y) \
1250 h,
1251 SMOOTHSTEP
1252#undef STEP
1253 };
1254 uint64_t sum;
1255 size_t npages_limit_backlog;
1256 unsigned i;
1257
1258 assert(opt_purge == purge_mode_decay);
1259
1260 /*
1261 * For each element of decay_backlog, multiply by the corresponding
1262 * fixed-point smoothstep decay factor. Sum the products, then divide
1263 * to round down to the nearest whole number of pages.
1264 */
1265 sum = 0;
1266 for (i = 0; i < SMOOTHSTEP_NSTEPS; i++)
1267 sum += arena->decay_backlog[i] * h_steps[i];
1268 npages_limit_backlog = (sum >> SMOOTHSTEP_BFP);
1269
1270 return (npages_limit_backlog);
1271}
1272
1273static void
Jason Evans9bad0792016-02-21 11:25:02 -08001274arena_decay_epoch_advance(arena_t *arena, const nstime_t *time)
Jason Evans243f7a02016-02-19 20:09:31 -08001275{
1276 uint64_t nadvance;
Jason Evans9bad0792016-02-21 11:25:02 -08001277 nstime_t delta;
Jason Evans243f7a02016-02-19 20:09:31 -08001278 size_t ndirty_delta;
1279
1280 assert(opt_purge == purge_mode_decay);
1281 assert(arena_decay_deadline_reached(arena, time));
1282
Jason Evans9bad0792016-02-21 11:25:02 -08001283 nstime_copy(&delta, time);
1284 nstime_subtract(&delta, &arena->decay_epoch);
1285 nadvance = nstime_divide(&delta, &arena->decay_interval);
Jason Evans243f7a02016-02-19 20:09:31 -08001286 assert(nadvance > 0);
1287
1288 /* Add nadvance decay intervals to epoch. */
Jason Evans9bad0792016-02-21 11:25:02 -08001289 nstime_copy(&delta, &arena->decay_interval);
1290 nstime_imultiply(&delta, nadvance);
1291 nstime_add(&arena->decay_epoch, &delta);
Jason Evans243f7a02016-02-19 20:09:31 -08001292
1293 /* Set a new deadline. */
1294 arena_decay_deadline_init(arena);
1295
1296 /* Update the backlog. */
1297 if (nadvance >= SMOOTHSTEP_NSTEPS) {
1298 memset(arena->decay_backlog, 0, (SMOOTHSTEP_NSTEPS-1) *
1299 sizeof(size_t));
1300 } else {
1301 memmove(arena->decay_backlog, &arena->decay_backlog[nadvance],
1302 (SMOOTHSTEP_NSTEPS - nadvance) * sizeof(size_t));
1303 if (nadvance > 1) {
1304 memset(&arena->decay_backlog[SMOOTHSTEP_NSTEPS -
1305 nadvance], 0, (nadvance-1) * sizeof(size_t));
1306 }
1307 }
1308 ndirty_delta = (arena->ndirty > arena->decay_ndirty) ? arena->ndirty -
1309 arena->decay_ndirty : 0;
1310 arena->decay_ndirty = arena->ndirty;
1311 arena->decay_backlog[SMOOTHSTEP_NSTEPS-1] = ndirty_delta;
1312 arena->decay_backlog_npages_limit =
1313 arena_decay_backlog_npages_limit(arena);
1314}
1315
1316static size_t
1317arena_decay_npages_limit(arena_t *arena)
1318{
1319 size_t npages_limit;
1320
1321 assert(opt_purge == purge_mode_decay);
1322
1323 npages_limit = arena->decay_backlog_npages_limit;
1324
1325 /* Add in any dirty pages created during the current epoch. */
1326 if (arena->ndirty > arena->decay_ndirty)
1327 npages_limit += arena->ndirty - arena->decay_ndirty;
1328
1329 return (npages_limit);
1330}
1331
1332static void
1333arena_decay_init(arena_t *arena, ssize_t decay_time)
1334{
1335
1336 arena->decay_time = decay_time;
1337 if (decay_time > 0) {
Jason Evans9bad0792016-02-21 11:25:02 -08001338 nstime_init2(&arena->decay_interval, decay_time, 0);
1339 nstime_idivide(&arena->decay_interval, SMOOTHSTEP_NSTEPS);
Jason Evans243f7a02016-02-19 20:09:31 -08001340 }
1341
Jason Evans9bad0792016-02-21 11:25:02 -08001342 nstime_init(&arena->decay_epoch, 0);
1343 nstime_update(&arena->decay_epoch);
Jason Evans243f7a02016-02-19 20:09:31 -08001344 arena->decay_jitter_state = (uint64_t)(uintptr_t)arena;
1345 arena_decay_deadline_init(arena);
1346 arena->decay_ndirty = arena->ndirty;
1347 arena->decay_backlog_npages_limit = 0;
1348 memset(arena->decay_backlog, 0, SMOOTHSTEP_NSTEPS * sizeof(size_t));
1349}
1350
1351static bool
1352arena_decay_time_valid(ssize_t decay_time)
1353{
1354
Jason Evans9bad0792016-02-21 11:25:02 -08001355 return (decay_time >= -1 && decay_time <= NSTIME_SEC_MAX);
Jason Evans243f7a02016-02-19 20:09:31 -08001356}
1357
1358ssize_t
1359arena_decay_time_get(arena_t *arena)
1360{
1361 ssize_t decay_time;
1362
1363 malloc_mutex_lock(&arena->lock);
1364 decay_time = arena->decay_time;
1365 malloc_mutex_unlock(&arena->lock);
1366
1367 return (decay_time);
1368}
1369
1370bool
1371arena_decay_time_set(arena_t *arena, ssize_t decay_time)
1372{
1373
1374 if (!arena_decay_time_valid(decay_time))
1375 return (true);
1376
1377 malloc_mutex_lock(&arena->lock);
1378 /*
1379 * Restart decay backlog from scratch, which may cause many dirty pages
1380 * to be immediately purged. It would conceptually be possible to map
1381 * the old backlog onto the new backlog, but there is no justification
1382 * for such complexity since decay_time changes are intended to be
1383 * infrequent, either between the {-1, 0, >0} states, or a one-time
1384 * arbitrary change during initial arena configuration.
1385 */
1386 arena_decay_init(arena, decay_time);
1387 arena_maybe_purge(arena);
1388 malloc_mutex_unlock(&arena->lock);
1389
1390 return (false);
1391}
1392
1393static void
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001394arena_maybe_purge_ratio(arena_t *arena)
Jason Evans05b21be2010-03-14 17:36:10 -07001395{
1396
Jason Evans243f7a02016-02-19 20:09:31 -08001397 assert(opt_purge == purge_mode_ratio);
1398
Jason Evanse3d13062012-10-30 15:42:37 -07001399 /* Don't purge if the option is disabled. */
Jason Evans8d6a3e82015-03-18 18:55:33 -07001400 if (arena->lg_dirty_mult < 0)
Jason Evanse3d13062012-10-30 15:42:37 -07001401 return;
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001402
Jason Evans0a9f9a42015-06-22 18:50:32 -07001403 /*
1404 * Iterate, since preventing recursive purging could otherwise leave too
1405 * many dirty pages.
1406 */
1407 while (true) {
1408 size_t threshold = (arena->nactive >> arena->lg_dirty_mult);
1409 if (threshold < chunk_npages)
1410 threshold = chunk_npages;
1411 /*
1412 * Don't purge unless the number of purgeable pages exceeds the
1413 * threshold.
1414 */
1415 if (arena->ndirty <= threshold)
1416 return;
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001417 arena_purge_to_limit(arena, threshold);
Jason Evans0a9f9a42015-06-22 18:50:32 -07001418 }
Jason Evans05b21be2010-03-14 17:36:10 -07001419}
1420
Jason Evans243f7a02016-02-19 20:09:31 -08001421static void
1422arena_maybe_purge_decay(arena_t *arena)
1423{
Jason Evans9bad0792016-02-21 11:25:02 -08001424 nstime_t time;
Jason Evans243f7a02016-02-19 20:09:31 -08001425 size_t ndirty_limit;
1426
1427 assert(opt_purge == purge_mode_decay);
1428
1429 /* Purge all or nothing if the option is disabled. */
1430 if (arena->decay_time <= 0) {
1431 if (arena->decay_time == 0)
1432 arena_purge_to_limit(arena, 0);
1433 return;
1434 }
1435
Jason Evans9bad0792016-02-21 11:25:02 -08001436 nstime_copy(&time, &arena->decay_epoch);
1437 if (unlikely(nstime_update(&time))) {
Jason Evans243f7a02016-02-19 20:09:31 -08001438 /* Time went backwards. Force an epoch advance. */
Jason Evans9bad0792016-02-21 11:25:02 -08001439 nstime_copy(&time, &arena->decay_deadline);
Jason Evans243f7a02016-02-19 20:09:31 -08001440 }
1441
1442 if (arena_decay_deadline_reached(arena, &time))
1443 arena_decay_epoch_advance(arena, &time);
1444
1445 ndirty_limit = arena_decay_npages_limit(arena);
1446
1447 /*
1448 * Don't try to purge unless the number of purgeable pages exceeds the
1449 * current limit.
1450 */
1451 if (arena->ndirty <= ndirty_limit)
1452 return;
1453 arena_purge_to_limit(arena, ndirty_limit);
1454}
1455
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001456void
1457arena_maybe_purge(arena_t *arena)
1458{
1459
1460 /* Don't recursively purge. */
1461 if (arena->purging)
1462 return;
1463
Jason Evans243f7a02016-02-19 20:09:31 -08001464 if (opt_purge == purge_mode_ratio)
1465 arena_maybe_purge_ratio(arena);
1466 else
1467 arena_maybe_purge_decay(arena);
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001468}
1469
Qinfan Wua244e502014-07-21 10:23:36 -07001470static size_t
1471arena_dirty_count(arena_t *arena)
1472{
1473 size_t ndirty = 0;
Jason Evans38e42d32015-03-10 18:15:40 -07001474 arena_runs_dirty_link_t *rdelm;
Jason Evansee41ad42015-02-15 18:04:46 -08001475 extent_node_t *chunkselm;
Qinfan Wua244e502014-07-21 10:23:36 -07001476
Jason Evans38e42d32015-03-10 18:15:40 -07001477 for (rdelm = qr_next(&arena->runs_dirty, rd_link),
Jason Evans738e0892015-02-18 01:15:50 -08001478 chunkselm = qr_next(&arena->chunks_cache, cc_link);
Jason Evans38e42d32015-03-10 18:15:40 -07001479 rdelm != &arena->runs_dirty; rdelm = qr_next(rdelm, rd_link)) {
Jason Evansee41ad42015-02-15 18:04:46 -08001480 size_t npages;
1481
Jason Evansf5c8f372015-03-10 18:29:49 -07001482 if (rdelm == &chunkselm->rd) {
Jason Evansee41ad42015-02-15 18:04:46 -08001483 npages = extent_node_size_get(chunkselm) >> LG_PAGE;
Jason Evans738e0892015-02-18 01:15:50 -08001484 chunkselm = qr_next(chunkselm, cc_link);
Jason Evansee41ad42015-02-15 18:04:46 -08001485 } else {
Jason Evans38e42d32015-03-10 18:15:40 -07001486 arena_chunk_t *chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(
1487 rdelm);
1488 arena_chunk_map_misc_t *miscelm =
1489 arena_rd_to_miscelm(rdelm);
1490 size_t pageind = arena_miscelm_to_pageind(miscelm);
Jason Evansee41ad42015-02-15 18:04:46 -08001491 assert(arena_mapbits_allocated_get(chunk, pageind) ==
1492 0);
1493 assert(arena_mapbits_large_get(chunk, pageind) == 0);
1494 assert(arena_mapbits_dirty_get(chunk, pageind) != 0);
1495 npages = arena_mapbits_unallocated_size_get(chunk,
1496 pageind) >> LG_PAGE;
1497 }
Qinfan Wua244e502014-07-21 10:23:36 -07001498 ndirty += npages;
1499 }
1500
Jason Evans2b2f6dc2014-11-01 02:29:10 -07001501 return (ndirty);
Jason Evansaa5113b2014-01-14 16:23:03 -08001502}
1503
1504static size_t
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001505arena_stash_dirty(arena_t *arena, chunk_hooks_t *chunk_hooks,
1506 size_t ndirty_limit, arena_runs_dirty_link_t *purge_runs_sentinel,
Jason Evansee41ad42015-02-15 18:04:46 -08001507 extent_node_t *purge_chunks_sentinel)
Jason Evansaa5113b2014-01-14 16:23:03 -08001508{
Jason Evans38e42d32015-03-10 18:15:40 -07001509 arena_runs_dirty_link_t *rdelm, *rdelm_next;
Jason Evansee41ad42015-02-15 18:04:46 -08001510 extent_node_t *chunkselm;
Qinfan Wue9708002014-07-21 18:09:04 -07001511 size_t nstashed = 0;
Jason Evansaa5113b2014-01-14 16:23:03 -08001512
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001513 /* Stash runs/chunks according to ndirty_limit. */
Jason Evans38e42d32015-03-10 18:15:40 -07001514 for (rdelm = qr_next(&arena->runs_dirty, rd_link),
Jason Evans738e0892015-02-18 01:15:50 -08001515 chunkselm = qr_next(&arena->chunks_cache, cc_link);
Jason Evans38e42d32015-03-10 18:15:40 -07001516 rdelm != &arena->runs_dirty; rdelm = rdelm_next) {
Jason Evansee41ad42015-02-15 18:04:46 -08001517 size_t npages;
Jason Evans38e42d32015-03-10 18:15:40 -07001518 rdelm_next = qr_next(rdelm, rd_link);
Jason Evansaa5113b2014-01-14 16:23:03 -08001519
Jason Evansf5c8f372015-03-10 18:29:49 -07001520 if (rdelm == &chunkselm->rd) {
Jason Evans99bd94f2015-02-18 16:40:53 -08001521 extent_node_t *chunkselm_next;
1522 bool zero;
Jason Evansee41ad42015-02-15 18:04:46 -08001523 UNUSED void *chunk;
Jason Evansaa5113b2014-01-14 16:23:03 -08001524
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001525 npages = extent_node_size_get(chunkselm) >> LG_PAGE;
Jason Evans243f7a02016-02-19 20:09:31 -08001526 if (opt_purge == purge_mode_decay && arena->ndirty -
1527 (nstashed + npages) < ndirty_limit)
1528 break;
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001529
Jason Evans738e0892015-02-18 01:15:50 -08001530 chunkselm_next = qr_next(chunkselm, cc_link);
Jason Evansee41ad42015-02-15 18:04:46 -08001531 /*
Jason Evans99bd94f2015-02-18 16:40:53 -08001532 * Allocate. chunkselm remains valid due to the
1533 * dalloc_node=false argument to chunk_alloc_cache().
Jason Evansee41ad42015-02-15 18:04:46 -08001534 */
Jason Evansee41ad42015-02-15 18:04:46 -08001535 zero = false;
Jason Evansb49a3342015-07-28 11:28:19 -04001536 chunk = chunk_alloc_cache(arena, chunk_hooks,
Jason Evans99bd94f2015-02-18 16:40:53 -08001537 extent_node_addr_get(chunkselm),
1538 extent_node_size_get(chunkselm), chunksize, &zero,
1539 false);
1540 assert(chunk == extent_node_addr_get(chunkselm));
1541 assert(zero == extent_node_zeroed_get(chunkselm));
1542 extent_node_dirty_insert(chunkselm, purge_runs_sentinel,
Jason Evans738e0892015-02-18 01:15:50 -08001543 purge_chunks_sentinel);
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001544 assert(npages == (extent_node_size_get(chunkselm) >>
1545 LG_PAGE));
Jason Evansee41ad42015-02-15 18:04:46 -08001546 chunkselm = chunkselm_next;
1547 } else {
1548 arena_chunk_t *chunk =
Jason Evans38e42d32015-03-10 18:15:40 -07001549 (arena_chunk_t *)CHUNK_ADDR2BASE(rdelm);
1550 arena_chunk_map_misc_t *miscelm =
1551 arena_rd_to_miscelm(rdelm);
1552 size_t pageind = arena_miscelm_to_pageind(miscelm);
1553 arena_run_t *run = &miscelm->run;
Jason Evansee41ad42015-02-15 18:04:46 -08001554 size_t run_size =
1555 arena_mapbits_unallocated_size_get(chunk, pageind);
Jason Evans070b3c32014-08-14 14:45:58 -07001556
Jason Evansee41ad42015-02-15 18:04:46 -08001557 npages = run_size >> LG_PAGE;
Jason Evans243f7a02016-02-19 20:09:31 -08001558 if (opt_purge == purge_mode_decay && arena->ndirty -
1559 (nstashed + npages) < ndirty_limit)
1560 break;
Jason Evansee41ad42015-02-15 18:04:46 -08001561
1562 assert(pageind + npages <= chunk_npages);
1563 assert(arena_mapbits_dirty_get(chunk, pageind) ==
1564 arena_mapbits_dirty_get(chunk, pageind+npages-1));
1565
1566 /*
1567 * If purging the spare chunk's run, make it available
1568 * prior to allocation.
1569 */
1570 if (chunk == arena->spare)
1571 arena_chunk_alloc(arena);
1572
1573 /* Temporarily allocate the free dirty run. */
1574 arena_run_split_large(arena, run, run_size, false);
Jason Evans339c2b22015-02-17 22:25:56 -08001575 /* Stash. */
Jason Evansee41ad42015-02-15 18:04:46 -08001576 if (false)
Jason Evans38e42d32015-03-10 18:15:40 -07001577 qr_new(rdelm, rd_link); /* Redundant. */
Jason Evansee41ad42015-02-15 18:04:46 -08001578 else {
Jason Evans38e42d32015-03-10 18:15:40 -07001579 assert(qr_next(rdelm, rd_link) == rdelm);
1580 assert(qr_prev(rdelm, rd_link) == rdelm);
Jason Evansee41ad42015-02-15 18:04:46 -08001581 }
Jason Evans38e42d32015-03-10 18:15:40 -07001582 qr_meld(purge_runs_sentinel, rdelm, rd_link);
Jason Evansee41ad42015-02-15 18:04:46 -08001583 }
Jason Evansaa5113b2014-01-14 16:23:03 -08001584
Qinfan Wue9708002014-07-21 18:09:04 -07001585 nstashed += npages;
Jason Evans243f7a02016-02-19 20:09:31 -08001586 if (opt_purge == purge_mode_ratio && arena->ndirty - nstashed <=
1587 ndirty_limit)
Qinfan Wue9708002014-07-21 18:09:04 -07001588 break;
Jason Evansaa5113b2014-01-14 16:23:03 -08001589 }
Qinfan Wue9708002014-07-21 18:09:04 -07001590
1591 return (nstashed);
Jason Evansaa5113b2014-01-14 16:23:03 -08001592}
1593
1594static size_t
Jason Evansb49a3342015-07-28 11:28:19 -04001595arena_purge_stashed(arena_t *arena, chunk_hooks_t *chunk_hooks,
Jason Evans38e42d32015-03-10 18:15:40 -07001596 arena_runs_dirty_link_t *purge_runs_sentinel,
Jason Evansee41ad42015-02-15 18:04:46 -08001597 extent_node_t *purge_chunks_sentinel)
Jason Evansaa5113b2014-01-14 16:23:03 -08001598{
Qinfan Wue9708002014-07-21 18:09:04 -07001599 size_t npurged, nmadvise;
Jason Evans38e42d32015-03-10 18:15:40 -07001600 arena_runs_dirty_link_t *rdelm;
Jason Evansee41ad42015-02-15 18:04:46 -08001601 extent_node_t *chunkselm;
Jason Evansaa5113b2014-01-14 16:23:03 -08001602
Jason Evansaa5113b2014-01-14 16:23:03 -08001603 if (config_stats)
1604 nmadvise = 0;
1605 npurged = 0;
Qinfan Wue9708002014-07-21 18:09:04 -07001606
1607 malloc_mutex_unlock(&arena->lock);
Jason Evans38e42d32015-03-10 18:15:40 -07001608 for (rdelm = qr_next(purge_runs_sentinel, rd_link),
Jason Evans738e0892015-02-18 01:15:50 -08001609 chunkselm = qr_next(purge_chunks_sentinel, cc_link);
Jason Evans38e42d32015-03-10 18:15:40 -07001610 rdelm != purge_runs_sentinel; rdelm = qr_next(rdelm, rd_link)) {
Jason Evansee41ad42015-02-15 18:04:46 -08001611 size_t npages;
Qinfan Wue9708002014-07-21 18:09:04 -07001612
Jason Evansf5c8f372015-03-10 18:29:49 -07001613 if (rdelm == &chunkselm->rd) {
Jason Evansb49a3342015-07-28 11:28:19 -04001614 /*
1615 * Don't actually purge the chunk here because 1)
1616 * chunkselm is embedded in the chunk and must remain
1617 * valid, and 2) we deallocate the chunk in
1618 * arena_unstash_purged(), where it is destroyed,
1619 * decommitted, or purged, depending on chunk
1620 * deallocation policy.
1621 */
Jason Evansee41ad42015-02-15 18:04:46 -08001622 size_t size = extent_node_size_get(chunkselm);
Jason Evansee41ad42015-02-15 18:04:46 -08001623 npages = size >> LG_PAGE;
Jason Evans738e0892015-02-18 01:15:50 -08001624 chunkselm = qr_next(chunkselm, cc_link);
Jason Evansee41ad42015-02-15 18:04:46 -08001625 } else {
Jason Evans45186f02015-08-10 23:03:34 -07001626 size_t pageind, run_size, flag_unzeroed, flags, i;
1627 bool decommitted;
Jason Evans8fadb1a2015-08-04 10:49:46 -07001628 arena_chunk_t *chunk =
1629 (arena_chunk_t *)CHUNK_ADDR2BASE(rdelm);
Jason Evans38e42d32015-03-10 18:15:40 -07001630 arena_chunk_map_misc_t *miscelm =
1631 arena_rd_to_miscelm(rdelm);
1632 pageind = arena_miscelm_to_pageind(miscelm);
Jason Evansee41ad42015-02-15 18:04:46 -08001633 run_size = arena_mapbits_large_size_get(chunk, pageind);
1634 npages = run_size >> LG_PAGE;
Qinfan Wue9708002014-07-21 18:09:04 -07001635
Jason Evansee41ad42015-02-15 18:04:46 -08001636 assert(pageind + npages <= chunk_npages);
Jason Evansde249c82015-08-09 16:47:27 -07001637 assert(!arena_mapbits_decommitted_get(chunk, pageind));
1638 assert(!arena_mapbits_decommitted_get(chunk,
1639 pageind+npages-1));
Jason Evans8fadb1a2015-08-04 10:49:46 -07001640 decommitted = !chunk_hooks->decommit(chunk, chunksize,
1641 pageind << LG_PAGE, npages << LG_PAGE, arena->ind);
1642 if (decommitted) {
Jason Evans45186f02015-08-10 23:03:34 -07001643 flag_unzeroed = 0;
1644 flags = CHUNK_MAP_DECOMMITTED;
Jason Evans8fadb1a2015-08-04 10:49:46 -07001645 } else {
Jason Evans45186f02015-08-10 23:03:34 -07001646 flag_unzeroed = chunk_purge_wrapper(arena,
Jason Evans8fadb1a2015-08-04 10:49:46 -07001647 chunk_hooks, chunk, chunksize, pageind <<
Jason Evans45186f02015-08-10 23:03:34 -07001648 LG_PAGE, run_size) ? CHUNK_MAP_UNZEROED : 0;
1649 flags = flag_unzeroed;
Jason Evans8fadb1a2015-08-04 10:49:46 -07001650 }
Jason Evans45186f02015-08-10 23:03:34 -07001651 arena_mapbits_large_set(chunk, pageind+npages-1, 0,
1652 flags);
1653 arena_mapbits_large_set(chunk, pageind, run_size,
1654 flags);
Jason Evansee41ad42015-02-15 18:04:46 -08001655
1656 /*
Jason Evans45186f02015-08-10 23:03:34 -07001657 * Set the unzeroed flag for internal pages, now that
Jason Evans8d6a3e82015-03-18 18:55:33 -07001658 * chunk_purge_wrapper() has returned whether the pages
1659 * were zeroed as a side effect of purging. This chunk
1660 * map modification is safe even though the arena mutex
Jason Evansee41ad42015-02-15 18:04:46 -08001661 * isn't currently owned by this thread, because the run
1662 * is marked as allocated, thus protecting it from being
1663 * modified by any other thread. As long as these
1664 * writes don't perturb the first and last elements'
1665 * CHUNK_MAP_ALLOCATED bits, behavior is well defined.
1666 */
Jason Evans45186f02015-08-10 23:03:34 -07001667 for (i = 1; i < npages-1; i++) {
1668 arena_mapbits_internal_set(chunk, pageind+i,
Jason Evansee41ad42015-02-15 18:04:46 -08001669 flag_unzeroed);
1670 }
Jason Evansaa5113b2014-01-14 16:23:03 -08001671 }
Qinfan Wue9708002014-07-21 18:09:04 -07001672
Jason Evansaa5113b2014-01-14 16:23:03 -08001673 npurged += npages;
1674 if (config_stats)
1675 nmadvise++;
1676 }
1677 malloc_mutex_lock(&arena->lock);
Qinfan Wue9708002014-07-21 18:09:04 -07001678
1679 if (config_stats) {
Jason Evansaa5113b2014-01-14 16:23:03 -08001680 arena->stats.nmadvise += nmadvise;
Qinfan Wue9708002014-07-21 18:09:04 -07001681 arena->stats.purged += npurged;
1682 }
Jason Evansaa5113b2014-01-14 16:23:03 -08001683
1684 return (npurged);
1685}
1686
1687static void
Jason Evansb49a3342015-07-28 11:28:19 -04001688arena_unstash_purged(arena_t *arena, chunk_hooks_t *chunk_hooks,
Jason Evans38e42d32015-03-10 18:15:40 -07001689 arena_runs_dirty_link_t *purge_runs_sentinel,
Jason Evansee41ad42015-02-15 18:04:46 -08001690 extent_node_t *purge_chunks_sentinel)
Jason Evansaa5113b2014-01-14 16:23:03 -08001691{
Jason Evans38e42d32015-03-10 18:15:40 -07001692 arena_runs_dirty_link_t *rdelm, *rdelm_next;
Jason Evansee41ad42015-02-15 18:04:46 -08001693 extent_node_t *chunkselm;
Jason Evansaa5113b2014-01-14 16:23:03 -08001694
Jason Evansb49a3342015-07-28 11:28:19 -04001695 /* Deallocate chunks/runs. */
Jason Evans38e42d32015-03-10 18:15:40 -07001696 for (rdelm = qr_next(purge_runs_sentinel, rd_link),
Jason Evans738e0892015-02-18 01:15:50 -08001697 chunkselm = qr_next(purge_chunks_sentinel, cc_link);
Jason Evans38e42d32015-03-10 18:15:40 -07001698 rdelm != purge_runs_sentinel; rdelm = rdelm_next) {
1699 rdelm_next = qr_next(rdelm, rd_link);
Jason Evansf5c8f372015-03-10 18:29:49 -07001700 if (rdelm == &chunkselm->rd) {
Jason Evansee41ad42015-02-15 18:04:46 -08001701 extent_node_t *chunkselm_next = qr_next(chunkselm,
Jason Evans738e0892015-02-18 01:15:50 -08001702 cc_link);
Jason Evans339c2b22015-02-17 22:25:56 -08001703 void *addr = extent_node_addr_get(chunkselm);
1704 size_t size = extent_node_size_get(chunkselm);
Jason Evans738e0892015-02-18 01:15:50 -08001705 bool zeroed = extent_node_zeroed_get(chunkselm);
Jason Evansde249c82015-08-09 16:47:27 -07001706 bool committed = extent_node_committed_get(chunkselm);
Jason Evans738e0892015-02-18 01:15:50 -08001707 extent_node_dirty_remove(chunkselm);
Jason Evansee41ad42015-02-15 18:04:46 -08001708 arena_node_dalloc(arena, chunkselm);
1709 chunkselm = chunkselm_next;
Jason Evans8d8960f2016-03-30 18:36:04 -07001710 chunk_dalloc_wrapper(arena, chunk_hooks, addr, size,
Jason Evansde249c82015-08-09 16:47:27 -07001711 zeroed, committed);
Jason Evansee41ad42015-02-15 18:04:46 -08001712 } else {
Jason Evans8fadb1a2015-08-04 10:49:46 -07001713 arena_chunk_t *chunk =
1714 (arena_chunk_t *)CHUNK_ADDR2BASE(rdelm);
Jason Evans38e42d32015-03-10 18:15:40 -07001715 arena_chunk_map_misc_t *miscelm =
1716 arena_rd_to_miscelm(rdelm);
Jason Evans8fadb1a2015-08-04 10:49:46 -07001717 size_t pageind = arena_miscelm_to_pageind(miscelm);
1718 bool decommitted = (arena_mapbits_decommitted_get(chunk,
1719 pageind) != 0);
Jason Evans38e42d32015-03-10 18:15:40 -07001720 arena_run_t *run = &miscelm->run;
1721 qr_remove(rdelm, rd_link);
Jason Evans8fadb1a2015-08-04 10:49:46 -07001722 arena_run_dalloc(arena, run, false, true, decommitted);
Jason Evansee41ad42015-02-15 18:04:46 -08001723 }
Jason Evansaa5113b2014-01-14 16:23:03 -08001724 }
1725}
1726
Jason Evans243f7a02016-02-19 20:09:31 -08001727/*
1728 * NB: ndirty_limit is interpreted differently depending on opt_purge:
1729 * - purge_mode_ratio: Purge as few dirty run/chunks as possible to reach the
1730 * desired state:
1731 * (arena->ndirty <= ndirty_limit)
1732 * - purge_mode_decay: Purge as many dirty runs/chunks as possible without
1733 * violating the invariant:
1734 * (arena->ndirty >= ndirty_limit)
1735 */
Jason Evans8d6a3e82015-03-18 18:55:33 -07001736static void
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001737arena_purge_to_limit(arena_t *arena, size_t ndirty_limit)
Jason Evanse476f8a2010-01-16 09:53:50 -08001738{
Jason Evans8fadb1a2015-08-04 10:49:46 -07001739 chunk_hooks_t chunk_hooks = chunk_hooks_get(arena);
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001740 size_t npurge, npurged;
Jason Evans38e42d32015-03-10 18:15:40 -07001741 arena_runs_dirty_link_t purge_runs_sentinel;
Jason Evansee41ad42015-02-15 18:04:46 -08001742 extent_node_t purge_chunks_sentinel;
Qinfan Wue9708002014-07-21 18:09:04 -07001743
Jason Evans0a9f9a42015-06-22 18:50:32 -07001744 arena->purging = true;
1745
Jason Evans2b2f6dc2014-11-01 02:29:10 -07001746 /*
1747 * Calls to arena_dirty_count() are disabled even for debug builds
1748 * because overhead grows nonlinearly as memory usage increases.
1749 */
1750 if (false && config_debug) {
Qinfan Wu90737fc2014-07-21 19:39:20 -07001751 size_t ndirty = arena_dirty_count(arena);
Qinfan Wua244e502014-07-21 10:23:36 -07001752 assert(ndirty == arena->ndirty);
Jason Evans2caa4712010-03-04 21:35:07 -08001753 }
Jason Evans243f7a02016-02-19 20:09:31 -08001754 assert(opt_purge != purge_mode_ratio || (arena->nactive >>
1755 arena->lg_dirty_mult) < arena->ndirty || ndirty_limit == 0);
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001756
1757 qr_new(&purge_runs_sentinel, rd_link);
1758 extent_node_dirty_linkage_init(&purge_chunks_sentinel);
1759
1760 npurge = arena_stash_dirty(arena, &chunk_hooks, ndirty_limit,
1761 &purge_runs_sentinel, &purge_chunks_sentinel);
1762 if (npurge == 0)
1763 goto label_return;
1764 npurged = arena_purge_stashed(arena, &chunk_hooks, &purge_runs_sentinel,
1765 &purge_chunks_sentinel);
1766 assert(npurged == npurge);
1767 arena_unstash_purged(arena, &chunk_hooks, &purge_runs_sentinel,
1768 &purge_chunks_sentinel);
Jason Evanse476f8a2010-01-16 09:53:50 -08001769
Jason Evans7372b152012-02-10 20:22:09 -08001770 if (config_stats)
1771 arena->stats.npurge++;
Jason Evanse476f8a2010-01-16 09:53:50 -08001772
Jason Evans1a4ad3c2016-02-19 19:51:23 -08001773label_return:
Jason Evans0a9f9a42015-06-22 18:50:32 -07001774 arena->purging = false;
Jason Evanse476f8a2010-01-16 09:53:50 -08001775}
1776
Jason Evans6005f072010-09-30 16:55:08 -07001777void
Jason Evans243f7a02016-02-19 20:09:31 -08001778arena_purge(arena_t *arena, bool all)
Jason Evans6005f072010-09-30 16:55:08 -07001779{
1780
1781 malloc_mutex_lock(&arena->lock);
Jason Evans243f7a02016-02-19 20:09:31 -08001782 if (all)
1783 arena_purge_to_limit(arena, 0);
1784 else
1785 arena_maybe_purge(arena);
Jason Evans6005f072010-09-30 16:55:08 -07001786 malloc_mutex_unlock(&arena->lock);
1787}
1788
Jason Evanse476f8a2010-01-16 09:53:50 -08001789static void
Jason Evansaa5113b2014-01-14 16:23:03 -08001790arena_run_coalesce(arena_t *arena, arena_chunk_t *chunk, size_t *p_size,
Jason Evans8fadb1a2015-08-04 10:49:46 -07001791 size_t *p_run_ind, size_t *p_run_pages, size_t flag_dirty,
1792 size_t flag_decommitted)
Jason Evanse476f8a2010-01-16 09:53:50 -08001793{
Jason Evansaa5113b2014-01-14 16:23:03 -08001794 size_t size = *p_size;
1795 size_t run_ind = *p_run_ind;
1796 size_t run_pages = *p_run_pages;
Jason Evanse476f8a2010-01-16 09:53:50 -08001797
1798 /* Try to coalesce forward. */
1799 if (run_ind + run_pages < chunk_npages &&
Jason Evans203484e2012-05-02 00:30:36 -07001800 arena_mapbits_allocated_get(chunk, run_ind+run_pages) == 0 &&
Jason Evans8fadb1a2015-08-04 10:49:46 -07001801 arena_mapbits_dirty_get(chunk, run_ind+run_pages) == flag_dirty &&
1802 arena_mapbits_decommitted_get(chunk, run_ind+run_pages) ==
1803 flag_decommitted) {
Jason Evans203484e2012-05-02 00:30:36 -07001804 size_t nrun_size = arena_mapbits_unallocated_size_get(chunk,
1805 run_ind+run_pages);
Jason Evansae4c7b42012-04-02 07:04:34 -07001806 size_t nrun_pages = nrun_size >> LG_PAGE;
Jason Evanse476f8a2010-01-16 09:53:50 -08001807
1808 /*
1809 * Remove successor from runs_avail; the coalesced run is
1810 * inserted later.
1811 */
Jason Evans203484e2012-05-02 00:30:36 -07001812 assert(arena_mapbits_unallocated_size_get(chunk,
1813 run_ind+run_pages+nrun_pages-1) == nrun_size);
1814 assert(arena_mapbits_dirty_get(chunk,
1815 run_ind+run_pages+nrun_pages-1) == flag_dirty);
Jason Evans8fadb1a2015-08-04 10:49:46 -07001816 assert(arena_mapbits_decommitted_get(chunk,
1817 run_ind+run_pages+nrun_pages-1) == flag_decommitted);
Qinfan Wu90737fc2014-07-21 19:39:20 -07001818 arena_avail_remove(arena, chunk, run_ind+run_pages, nrun_pages);
Jason Evanse476f8a2010-01-16 09:53:50 -08001819
Jason Evansee41ad42015-02-15 18:04:46 -08001820 /*
1821 * If the successor is dirty, remove it from the set of dirty
1822 * pages.
1823 */
Qinfan Wu04d60a12014-07-18 14:21:17 -07001824 if (flag_dirty != 0) {
Jason Evansee41ad42015-02-15 18:04:46 -08001825 arena_run_dirty_remove(arena, chunk, run_ind+run_pages,
Jason Evans070b3c32014-08-14 14:45:58 -07001826 nrun_pages);
Qinfan Wu04d60a12014-07-18 14:21:17 -07001827 }
1828
Jason Evanse476f8a2010-01-16 09:53:50 -08001829 size += nrun_size;
Jason Evans12ca9142010-10-17 19:56:09 -07001830 run_pages += nrun_pages;
Jason Evanse476f8a2010-01-16 09:53:50 -08001831
Jason Evans203484e2012-05-02 00:30:36 -07001832 arena_mapbits_unallocated_size_set(chunk, run_ind, size);
1833 arena_mapbits_unallocated_size_set(chunk, run_ind+run_pages-1,
1834 size);
Jason Evanse476f8a2010-01-16 09:53:50 -08001835 }
1836
1837 /* Try to coalesce backward. */
Jason Evansaa5113b2014-01-14 16:23:03 -08001838 if (run_ind > map_bias && arena_mapbits_allocated_get(chunk,
1839 run_ind-1) == 0 && arena_mapbits_dirty_get(chunk, run_ind-1) ==
Jason Evans8fadb1a2015-08-04 10:49:46 -07001840 flag_dirty && arena_mapbits_decommitted_get(chunk, run_ind-1) ==
1841 flag_decommitted) {
Jason Evans203484e2012-05-02 00:30:36 -07001842 size_t prun_size = arena_mapbits_unallocated_size_get(chunk,
1843 run_ind-1);
Jason Evansae4c7b42012-04-02 07:04:34 -07001844 size_t prun_pages = prun_size >> LG_PAGE;
Jason Evanse476f8a2010-01-16 09:53:50 -08001845
Jason Evans12ca9142010-10-17 19:56:09 -07001846 run_ind -= prun_pages;
Jason Evanse476f8a2010-01-16 09:53:50 -08001847
1848 /*
1849 * Remove predecessor from runs_avail; the coalesced run is
1850 * inserted later.
1851 */
Jason Evans203484e2012-05-02 00:30:36 -07001852 assert(arena_mapbits_unallocated_size_get(chunk, run_ind) ==
1853 prun_size);
1854 assert(arena_mapbits_dirty_get(chunk, run_ind) == flag_dirty);
Jason Evans8fadb1a2015-08-04 10:49:46 -07001855 assert(arena_mapbits_decommitted_get(chunk, run_ind) ==
1856 flag_decommitted);
Qinfan Wu90737fc2014-07-21 19:39:20 -07001857 arena_avail_remove(arena, chunk, run_ind, prun_pages);
Jason Evanse476f8a2010-01-16 09:53:50 -08001858
Jason Evansee41ad42015-02-15 18:04:46 -08001859 /*
1860 * If the predecessor is dirty, remove it from the set of dirty
1861 * pages.
1862 */
1863 if (flag_dirty != 0) {
1864 arena_run_dirty_remove(arena, chunk, run_ind,
1865 prun_pages);
1866 }
Qinfan Wu04d60a12014-07-18 14:21:17 -07001867
Jason Evanse476f8a2010-01-16 09:53:50 -08001868 size += prun_size;
Jason Evans12ca9142010-10-17 19:56:09 -07001869 run_pages += prun_pages;
Jason Evanse476f8a2010-01-16 09:53:50 -08001870
Jason Evans203484e2012-05-02 00:30:36 -07001871 arena_mapbits_unallocated_size_set(chunk, run_ind, size);
1872 arena_mapbits_unallocated_size_set(chunk, run_ind+run_pages-1,
1873 size);
Jason Evanse476f8a2010-01-16 09:53:50 -08001874 }
1875
Jason Evansaa5113b2014-01-14 16:23:03 -08001876 *p_size = size;
1877 *p_run_ind = run_ind;
1878 *p_run_pages = run_pages;
1879}
1880
Jason Evans8fadb1a2015-08-04 10:49:46 -07001881static size_t
1882arena_run_size_get(arena_t *arena, arena_chunk_t *chunk, arena_run_t *run,
1883 size_t run_ind)
1884{
1885 size_t size;
1886
1887 assert(run_ind >= map_bias);
1888 assert(run_ind < chunk_npages);
1889
1890 if (arena_mapbits_large_get(chunk, run_ind) != 0) {
1891 size = arena_mapbits_large_size_get(chunk, run_ind);
1892 assert(size == PAGE || arena_mapbits_large_size_get(chunk,
1893 run_ind+(size>>LG_PAGE)-1) == 0);
1894 } else {
1895 arena_bin_info_t *bin_info = &arena_bin_info[run->binind];
1896 size = bin_info->run_size;
1897 }
1898
1899 return (size);
1900}
1901
Jason Evansaa5113b2014-01-14 16:23:03 -08001902static void
Jason Evans8fadb1a2015-08-04 10:49:46 -07001903arena_run_dalloc(arena_t *arena, arena_run_t *run, bool dirty, bool cleaned,
1904 bool decommitted)
Jason Evansaa5113b2014-01-14 16:23:03 -08001905{
1906 arena_chunk_t *chunk;
Jason Evans0c5dd032014-09-29 01:31:39 -07001907 arena_chunk_map_misc_t *miscelm;
Jason Evans8fadb1a2015-08-04 10:49:46 -07001908 size_t size, run_ind, run_pages, flag_dirty, flag_decommitted;
Jason Evansaa5113b2014-01-14 16:23:03 -08001909
1910 chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(run);
Jason Evans0c5dd032014-09-29 01:31:39 -07001911 miscelm = arena_run_to_miscelm(run);
1912 run_ind = arena_miscelm_to_pageind(miscelm);
Jason Evansaa5113b2014-01-14 16:23:03 -08001913 assert(run_ind >= map_bias);
1914 assert(run_ind < chunk_npages);
Jason Evans8fadb1a2015-08-04 10:49:46 -07001915 size = arena_run_size_get(arena, chunk, run, run_ind);
Jason Evansaa5113b2014-01-14 16:23:03 -08001916 run_pages = (size >> LG_PAGE);
Jason Evans40ee9aa2016-02-27 12:34:50 -08001917 arena_nactive_sub(arena, run_pages);
Jason Evansaa5113b2014-01-14 16:23:03 -08001918
1919 /*
1920 * The run is dirty if the caller claims to have dirtied it, as well as
1921 * if it was already dirty before being allocated and the caller
1922 * doesn't claim to have cleaned it.
1923 */
1924 assert(arena_mapbits_dirty_get(chunk, run_ind) ==
1925 arena_mapbits_dirty_get(chunk, run_ind+run_pages-1));
Jason Evans8fadb1a2015-08-04 10:49:46 -07001926 if (!cleaned && !decommitted && arena_mapbits_dirty_get(chunk, run_ind)
1927 != 0)
Jason Evansaa5113b2014-01-14 16:23:03 -08001928 dirty = true;
1929 flag_dirty = dirty ? CHUNK_MAP_DIRTY : 0;
Jason Evans8fadb1a2015-08-04 10:49:46 -07001930 flag_decommitted = decommitted ? CHUNK_MAP_DECOMMITTED : 0;
Jason Evansaa5113b2014-01-14 16:23:03 -08001931
1932 /* Mark pages as unallocated in the chunk map. */
Jason Evans8fadb1a2015-08-04 10:49:46 -07001933 if (dirty || decommitted) {
1934 size_t flags = flag_dirty | flag_decommitted;
1935 arena_mapbits_unallocated_set(chunk, run_ind, size, flags);
Jason Evansaa5113b2014-01-14 16:23:03 -08001936 arena_mapbits_unallocated_set(chunk, run_ind+run_pages-1, size,
Jason Evans8fadb1a2015-08-04 10:49:46 -07001937 flags);
Jason Evansaa5113b2014-01-14 16:23:03 -08001938 } else {
1939 arena_mapbits_unallocated_set(chunk, run_ind, size,
1940 arena_mapbits_unzeroed_get(chunk, run_ind));
1941 arena_mapbits_unallocated_set(chunk, run_ind+run_pages-1, size,
1942 arena_mapbits_unzeroed_get(chunk, run_ind+run_pages-1));
1943 }
1944
Jason Evans8fadb1a2015-08-04 10:49:46 -07001945 arena_run_coalesce(arena, chunk, &size, &run_ind, &run_pages,
1946 flag_dirty, flag_decommitted);
Jason Evansaa5113b2014-01-14 16:23:03 -08001947
Jason Evanse476f8a2010-01-16 09:53:50 -08001948 /* Insert into runs_avail, now that coalescing is complete. */
Jason Evans203484e2012-05-02 00:30:36 -07001949 assert(arena_mapbits_unallocated_size_get(chunk, run_ind) ==
1950 arena_mapbits_unallocated_size_get(chunk, run_ind+run_pages-1));
1951 assert(arena_mapbits_dirty_get(chunk, run_ind) ==
1952 arena_mapbits_dirty_get(chunk, run_ind+run_pages-1));
Jason Evans8fadb1a2015-08-04 10:49:46 -07001953 assert(arena_mapbits_decommitted_get(chunk, run_ind) ==
1954 arena_mapbits_decommitted_get(chunk, run_ind+run_pages-1));
Qinfan Wu90737fc2014-07-21 19:39:20 -07001955 arena_avail_insert(arena, chunk, run_ind, run_pages);
Jason Evans8d4203c2010-04-13 20:53:21 -07001956
Jason Evans070b3c32014-08-14 14:45:58 -07001957 if (dirty)
Jason Evansee41ad42015-02-15 18:04:46 -08001958 arena_run_dirty_insert(arena, chunk, run_ind, run_pages);
Qinfan Wu04d60a12014-07-18 14:21:17 -07001959
Jason Evans203484e2012-05-02 00:30:36 -07001960 /* Deallocate chunk if it is now completely unused. */
Jason Evans155bfa72014-10-05 17:54:10 -07001961 if (size == arena_maxrun) {
Jason Evans203484e2012-05-02 00:30:36 -07001962 assert(run_ind == map_bias);
Jason Evans155bfa72014-10-05 17:54:10 -07001963 assert(run_pages == (arena_maxrun >> LG_PAGE));
Jason Evanse2deab72014-05-15 22:22:27 -07001964 arena_chunk_dalloc(arena, chunk);
Jason Evans203484e2012-05-02 00:30:36 -07001965 }
Jason Evanse476f8a2010-01-16 09:53:50 -08001966
Jason Evans4fb7f512010-01-27 18:27:09 -08001967 /*
Jason Evans8d4203c2010-04-13 20:53:21 -07001968 * It is okay to do dirty page processing here even if the chunk was
Jason Evans4fb7f512010-01-27 18:27:09 -08001969 * deallocated above, since in that case it is the spare. Waiting
1970 * until after possible chunk deallocation to do dirty processing
1971 * allows for an old spare to be fully deallocated, thus decreasing the
1972 * chances of spuriously crossing the dirty page purging threshold.
1973 */
Jason Evans8d4203c2010-04-13 20:53:21 -07001974 if (dirty)
Jason Evans05b21be2010-03-14 17:36:10 -07001975 arena_maybe_purge(arena);
Jason Evanse476f8a2010-01-16 09:53:50 -08001976}
1977
1978static void
1979arena_run_trim_head(arena_t *arena, arena_chunk_t *chunk, arena_run_t *run,
1980 size_t oldsize, size_t newsize)
1981{
Jason Evans0c5dd032014-09-29 01:31:39 -07001982 arena_chunk_map_misc_t *miscelm = arena_run_to_miscelm(run);
1983 size_t pageind = arena_miscelm_to_pageind(miscelm);
Jason Evansae4c7b42012-04-02 07:04:34 -07001984 size_t head_npages = (oldsize - newsize) >> LG_PAGE;
Jason Evans203484e2012-05-02 00:30:36 -07001985 size_t flag_dirty = arena_mapbits_dirty_get(chunk, pageind);
Jason Evans1f27abc2015-08-11 12:42:33 -07001986 size_t flag_decommitted = arena_mapbits_decommitted_get(chunk, pageind);
1987 size_t flag_unzeroed_mask = (flag_dirty | flag_decommitted) == 0 ?
1988 CHUNK_MAP_UNZEROED : 0;
Jason Evanse476f8a2010-01-16 09:53:50 -08001989
1990 assert(oldsize > newsize);
1991
1992 /*
1993 * Update the chunk map so that arena_run_dalloc() can treat the
Jason Evans940a2e02010-10-17 17:51:37 -07001994 * leading run as separately allocated. Set the last element of each
1995 * run first, in case of single-page runs.
Jason Evanse476f8a2010-01-16 09:53:50 -08001996 */
Jason Evans203484e2012-05-02 00:30:36 -07001997 assert(arena_mapbits_large_size_get(chunk, pageind) == oldsize);
Jason Evans1f27abc2015-08-11 12:42:33 -07001998 arena_mapbits_large_set(chunk, pageind+head_npages-1, 0, flag_dirty |
1999 (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk,
2000 pageind+head_npages-1)));
2001 arena_mapbits_large_set(chunk, pageind, oldsize-newsize, flag_dirty |
2002 (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk, pageind)));
Jason Evans940a2e02010-10-17 17:51:37 -07002003
Jason Evans7372b152012-02-10 20:22:09 -08002004 if (config_debug) {
Jason Evansae4c7b42012-04-02 07:04:34 -07002005 UNUSED size_t tail_npages = newsize >> LG_PAGE;
Jason Evans203484e2012-05-02 00:30:36 -07002006 assert(arena_mapbits_large_size_get(chunk,
2007 pageind+head_npages+tail_npages-1) == 0);
2008 assert(arena_mapbits_dirty_get(chunk,
2009 pageind+head_npages+tail_npages-1) == flag_dirty);
Jason Evans940a2e02010-10-17 17:51:37 -07002010 }
Jason Evansd8ceef62012-05-10 20:59:39 -07002011 arena_mapbits_large_set(chunk, pageind+head_npages, newsize,
Jason Evans1f27abc2015-08-11 12:42:33 -07002012 flag_dirty | (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk,
2013 pageind+head_npages)));
Jason Evanse476f8a2010-01-16 09:53:50 -08002014
Jason Evans1f27abc2015-08-11 12:42:33 -07002015 arena_run_dalloc(arena, run, false, false, (flag_decommitted != 0));
Jason Evanse476f8a2010-01-16 09:53:50 -08002016}
2017
2018static void
2019arena_run_trim_tail(arena_t *arena, arena_chunk_t *chunk, arena_run_t *run,
2020 size_t oldsize, size_t newsize, bool dirty)
2021{
Jason Evans0c5dd032014-09-29 01:31:39 -07002022 arena_chunk_map_misc_t *miscelm = arena_run_to_miscelm(run);
2023 size_t pageind = arena_miscelm_to_pageind(miscelm);
Jason Evansae4c7b42012-04-02 07:04:34 -07002024 size_t head_npages = newsize >> LG_PAGE;
Jason Evans203484e2012-05-02 00:30:36 -07002025 size_t flag_dirty = arena_mapbits_dirty_get(chunk, pageind);
Jason Evans1f27abc2015-08-11 12:42:33 -07002026 size_t flag_decommitted = arena_mapbits_decommitted_get(chunk, pageind);
2027 size_t flag_unzeroed_mask = (flag_dirty | flag_decommitted) == 0 ?
2028 CHUNK_MAP_UNZEROED : 0;
Jason Evans0c5dd032014-09-29 01:31:39 -07002029 arena_chunk_map_misc_t *tail_miscelm;
2030 arena_run_t *tail_run;
Jason Evanse476f8a2010-01-16 09:53:50 -08002031
2032 assert(oldsize > newsize);
2033
2034 /*
2035 * Update the chunk map so that arena_run_dalloc() can treat the
Jason Evans940a2e02010-10-17 17:51:37 -07002036 * trailing run as separately allocated. Set the last element of each
2037 * run first, in case of single-page runs.
Jason Evanse476f8a2010-01-16 09:53:50 -08002038 */
Jason Evans203484e2012-05-02 00:30:36 -07002039 assert(arena_mapbits_large_size_get(chunk, pageind) == oldsize);
Jason Evans1f27abc2015-08-11 12:42:33 -07002040 arena_mapbits_large_set(chunk, pageind+head_npages-1, 0, flag_dirty |
2041 (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk,
2042 pageind+head_npages-1)));
2043 arena_mapbits_large_set(chunk, pageind, newsize, flag_dirty |
2044 (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk, pageind)));
Jason Evans940a2e02010-10-17 17:51:37 -07002045
Jason Evans203484e2012-05-02 00:30:36 -07002046 if (config_debug) {
2047 UNUSED size_t tail_npages = (oldsize - newsize) >> LG_PAGE;
2048 assert(arena_mapbits_large_size_get(chunk,
2049 pageind+head_npages+tail_npages-1) == 0);
2050 assert(arena_mapbits_dirty_get(chunk,
2051 pageind+head_npages+tail_npages-1) == flag_dirty);
2052 }
2053 arena_mapbits_large_set(chunk, pageind+head_npages, oldsize-newsize,
Jason Evans1f27abc2015-08-11 12:42:33 -07002054 flag_dirty | (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk,
2055 pageind+head_npages)));
Jason Evanse476f8a2010-01-16 09:53:50 -08002056
Jason Evans0c5dd032014-09-29 01:31:39 -07002057 tail_miscelm = arena_miscelm_get(chunk, pageind + head_npages);
2058 tail_run = &tail_miscelm->run;
Jason Evans1f27abc2015-08-11 12:42:33 -07002059 arena_run_dalloc(arena, tail_run, dirty, false, (flag_decommitted !=
2060 0));
Jason Evanse476f8a2010-01-16 09:53:50 -08002061}
2062
2063static arena_run_t *
Jason Evanse7a10582012-02-13 17:36:52 -08002064arena_bin_runs_first(arena_bin_t *bin)
2065{
Qinfan Wuff6a31d2014-08-29 13:34:40 -07002066 arena_chunk_map_misc_t *miscelm = arena_run_tree_first(&bin->runs);
Jason Evans0c5dd032014-09-29 01:31:39 -07002067 if (miscelm != NULL)
2068 return (&miscelm->run);
Jason Evanse7a10582012-02-13 17:36:52 -08002069
2070 return (NULL);
2071}
2072
2073static void
2074arena_bin_runs_insert(arena_bin_t *bin, arena_run_t *run)
2075{
Jason Evans0c5dd032014-09-29 01:31:39 -07002076 arena_chunk_map_misc_t *miscelm = arena_run_to_miscelm(run);
Jason Evanse7a10582012-02-13 17:36:52 -08002077
Qinfan Wuff6a31d2014-08-29 13:34:40 -07002078 assert(arena_run_tree_search(&bin->runs, miscelm) == NULL);
Jason Evanse7a10582012-02-13 17:36:52 -08002079
Qinfan Wuff6a31d2014-08-29 13:34:40 -07002080 arena_run_tree_insert(&bin->runs, miscelm);
Jason Evanse7a10582012-02-13 17:36:52 -08002081}
2082
2083static void
2084arena_bin_runs_remove(arena_bin_t *bin, arena_run_t *run)
2085{
Jason Evans0c5dd032014-09-29 01:31:39 -07002086 arena_chunk_map_misc_t *miscelm = arena_run_to_miscelm(run);
Jason Evanse7a10582012-02-13 17:36:52 -08002087
Qinfan Wuff6a31d2014-08-29 13:34:40 -07002088 assert(arena_run_tree_search(&bin->runs, miscelm) != NULL);
Jason Evanse7a10582012-02-13 17:36:52 -08002089
Qinfan Wuff6a31d2014-08-29 13:34:40 -07002090 arena_run_tree_remove(&bin->runs, miscelm);
Jason Evanse7a10582012-02-13 17:36:52 -08002091}
2092
2093static arena_run_t *
2094arena_bin_nonfull_run_tryget(arena_bin_t *bin)
2095{
2096 arena_run_t *run = arena_bin_runs_first(bin);
2097 if (run != NULL) {
2098 arena_bin_runs_remove(bin, run);
2099 if (config_stats)
2100 bin->stats.reruns++;
2101 }
2102 return (run);
2103}
2104
2105static arena_run_t *
Jason Evanse476f8a2010-01-16 09:53:50 -08002106arena_bin_nonfull_run_get(arena_t *arena, arena_bin_t *bin)
2107{
Jason Evanse476f8a2010-01-16 09:53:50 -08002108 arena_run_t *run;
Jason Evansd01fd192015-08-19 15:21:32 -07002109 szind_t binind;
Jason Evans49f7e8f2011-03-15 13:59:15 -07002110 arena_bin_info_t *bin_info;
Jason Evanse476f8a2010-01-16 09:53:50 -08002111
2112 /* Look for a usable run. */
Jason Evanse7a10582012-02-13 17:36:52 -08002113 run = arena_bin_nonfull_run_tryget(bin);
2114 if (run != NULL)
Jason Evanse476f8a2010-01-16 09:53:50 -08002115 return (run);
Jason Evanse476f8a2010-01-16 09:53:50 -08002116 /* No existing runs have any space available. */
2117
Jason Evans49f7e8f2011-03-15 13:59:15 -07002118 binind = arena_bin_index(arena, bin);
2119 bin_info = &arena_bin_info[binind];
2120
Jason Evanse476f8a2010-01-16 09:53:50 -08002121 /* Allocate a new run. */
Jason Evanse00572b2010-03-14 19:43:56 -07002122 malloc_mutex_unlock(&bin->lock);
Jason Evanse69bee02010-03-15 22:25:23 -07002123 /******************************/
Jason Evans86815df2010-03-13 20:32:56 -08002124 malloc_mutex_lock(&arena->lock);
Jason Evansaa5113b2014-01-14 16:23:03 -08002125 run = arena_run_alloc_small(arena, bin_info->run_size, binind);
Jason Evanse00572b2010-03-14 19:43:56 -07002126 if (run != NULL) {
2127 /* Initialize run internals. */
Jason Evans381c23d2014-10-10 23:01:03 -07002128 run->binind = binind;
Jason Evans49f7e8f2011-03-15 13:59:15 -07002129 run->nfree = bin_info->nregs;
Jason Evans0c5dd032014-09-29 01:31:39 -07002130 bitmap_init(run->bitmap, &bin_info->bitmap_info);
Jason Evanse69bee02010-03-15 22:25:23 -07002131 }
2132 malloc_mutex_unlock(&arena->lock);
2133 /********************************/
2134 malloc_mutex_lock(&bin->lock);
2135 if (run != NULL) {
Jason Evans7372b152012-02-10 20:22:09 -08002136 if (config_stats) {
2137 bin->stats.nruns++;
2138 bin->stats.curruns++;
Jason Evans7372b152012-02-10 20:22:09 -08002139 }
Jason Evanse00572b2010-03-14 19:43:56 -07002140 return (run);
2141 }
2142
2143 /*
Jason Evansaa5113b2014-01-14 16:23:03 -08002144 * arena_run_alloc_small() failed, but another thread may have made
Jason Evans940a2e02010-10-17 17:51:37 -07002145 * sufficient memory available while this one dropped bin->lock above,
Jason Evanse00572b2010-03-14 19:43:56 -07002146 * so search one more time.
2147 */
Jason Evanse7a10582012-02-13 17:36:52 -08002148 run = arena_bin_nonfull_run_tryget(bin);
2149 if (run != NULL)
Jason Evanse00572b2010-03-14 19:43:56 -07002150 return (run);
Jason Evanse00572b2010-03-14 19:43:56 -07002151
2152 return (NULL);
Jason Evanse476f8a2010-01-16 09:53:50 -08002153}
2154
Jason Evans1e0a6362010-03-13 13:41:58 -08002155/* Re-fill bin->runcur, then call arena_run_reg_alloc(). */
Jason Evanse476f8a2010-01-16 09:53:50 -08002156static void *
2157arena_bin_malloc_hard(arena_t *arena, arena_bin_t *bin)
2158{
Jason Evansd01fd192015-08-19 15:21:32 -07002159 szind_t binind;
Jason Evans49f7e8f2011-03-15 13:59:15 -07002160 arena_bin_info_t *bin_info;
Jason Evanse00572b2010-03-14 19:43:56 -07002161 arena_run_t *run;
Jason Evanse476f8a2010-01-16 09:53:50 -08002162
Jason Evans49f7e8f2011-03-15 13:59:15 -07002163 binind = arena_bin_index(arena, bin);
2164 bin_info = &arena_bin_info[binind];
Jason Evanse00572b2010-03-14 19:43:56 -07002165 bin->runcur = NULL;
2166 run = arena_bin_nonfull_run_get(arena, bin);
2167 if (bin->runcur != NULL && bin->runcur->nfree > 0) {
2168 /*
2169 * Another thread updated runcur while this one ran without the
2170 * bin lock in arena_bin_nonfull_run_get().
2171 */
Dmitry-Mea306a602015-09-04 13:15:28 +03002172 void *ret;
Jason Evanse00572b2010-03-14 19:43:56 -07002173 assert(bin->runcur->nfree > 0);
Jason Evans49f7e8f2011-03-15 13:59:15 -07002174 ret = arena_run_reg_alloc(bin->runcur, bin_info);
Jason Evanse00572b2010-03-14 19:43:56 -07002175 if (run != NULL) {
Jason Evans940a2e02010-10-17 17:51:37 -07002176 arena_chunk_t *chunk;
2177
2178 /*
Jason Evansaa5113b2014-01-14 16:23:03 -08002179 * arena_run_alloc_small() may have allocated run, or
2180 * it may have pulled run from the bin's run tree.
2181 * Therefore it is unsafe to make any assumptions about
2182 * how run has previously been used, and
2183 * arena_bin_lower_run() must be called, as if a region
2184 * were just deallocated from the run.
Jason Evans940a2e02010-10-17 17:51:37 -07002185 */
2186 chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(run);
Jason Evans49f7e8f2011-03-15 13:59:15 -07002187 if (run->nfree == bin_info->nregs)
Jason Evans8de6a022010-10-17 20:57:30 -07002188 arena_dalloc_bin_run(arena, chunk, run, bin);
2189 else
2190 arena_bin_lower_run(arena, chunk, run, bin);
Jason Evanse00572b2010-03-14 19:43:56 -07002191 }
2192 return (ret);
2193 }
2194
2195 if (run == NULL)
Jason Evanse476f8a2010-01-16 09:53:50 -08002196 return (NULL);
Jason Evanse00572b2010-03-14 19:43:56 -07002197
2198 bin->runcur = run;
2199
Jason Evanse476f8a2010-01-16 09:53:50 -08002200 assert(bin->runcur->nfree > 0);
2201
Jason Evans49f7e8f2011-03-15 13:59:15 -07002202 return (arena_run_reg_alloc(bin->runcur, bin_info));
Jason Evanse476f8a2010-01-16 09:53:50 -08002203}
2204
Jason Evans86815df2010-03-13 20:32:56 -08002205void
Jason Evans243f7a02016-02-19 20:09:31 -08002206arena_tcache_fill_small(tsd_t *tsd, arena_t *arena, tcache_bin_t *tbin,
2207 szind_t binind, uint64_t prof_accumbytes)
Jason Evanse476f8a2010-01-16 09:53:50 -08002208{
2209 unsigned i, nfill;
2210 arena_bin_t *bin;
Jason Evanse476f8a2010-01-16 09:53:50 -08002211
2212 assert(tbin->ncached == 0);
2213
Jason Evans88c222c2013-02-06 11:59:30 -08002214 if (config_prof && arena_prof_accum(arena, prof_accumbytes))
2215 prof_idump();
Jason Evanse69bee02010-03-15 22:25:23 -07002216 bin = &arena->bins[binind];
2217 malloc_mutex_lock(&bin->lock);
Jason Evans1dcb4f82011-03-21 00:18:17 -07002218 for (i = 0, nfill = (tcache_bin_info[binind].ncached_max >>
2219 tbin->lg_fill_div); i < nfill; i++) {
Dmitry-Mea306a602015-09-04 13:15:28 +03002220 arena_run_t *run;
2221 void *ptr;
Jason Evanse476f8a2010-01-16 09:53:50 -08002222 if ((run = bin->runcur) != NULL && run->nfree > 0)
Jason Evans49f7e8f2011-03-15 13:59:15 -07002223 ptr = arena_run_reg_alloc(run, &arena_bin_info[binind]);
Jason Evanse476f8a2010-01-16 09:53:50 -08002224 else
2225 ptr = arena_bin_malloc_hard(arena, bin);
Jason Evansf11a6772014-10-05 13:05:10 -07002226 if (ptr == NULL) {
2227 /*
2228 * OOM. tbin->avail isn't yet filled down to its first
2229 * element, so the successful allocations (if any) must
Qi Wangf4a0f322015-10-27 15:12:10 -07002230 * be moved just before tbin->avail before bailing out.
Jason Evansf11a6772014-10-05 13:05:10 -07002231 */
2232 if (i > 0) {
Qi Wangf4a0f322015-10-27 15:12:10 -07002233 memmove(tbin->avail - i, tbin->avail - nfill,
Jason Evansf11a6772014-10-05 13:05:10 -07002234 i * sizeof(void *));
2235 }
Jason Evanse476f8a2010-01-16 09:53:50 -08002236 break;
Jason Evansf11a6772014-10-05 13:05:10 -07002237 }
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002238 if (config_fill && unlikely(opt_junk_alloc)) {
Jason Evans122449b2012-04-06 00:35:09 -07002239 arena_alloc_junk_small(ptr, &arena_bin_info[binind],
2240 true);
2241 }
Jason Evans9c43c132011-03-18 10:53:15 -07002242 /* Insert such that low regions get used first. */
Qi Wangf4a0f322015-10-27 15:12:10 -07002243 *(tbin->avail - nfill + i) = ptr;
Jason Evanse476f8a2010-01-16 09:53:50 -08002244 }
Jason Evans7372b152012-02-10 20:22:09 -08002245 if (config_stats) {
Jason Evans7372b152012-02-10 20:22:09 -08002246 bin->stats.nmalloc += i;
2247 bin->stats.nrequests += tbin->tstats.nrequests;
Jason Evans3c4d92e2014-10-12 22:53:59 -07002248 bin->stats.curregs += i;
Jason Evans7372b152012-02-10 20:22:09 -08002249 bin->stats.nfills++;
2250 tbin->tstats.nrequests = 0;
2251 }
Jason Evans86815df2010-03-13 20:32:56 -08002252 malloc_mutex_unlock(&bin->lock);
Jason Evanse476f8a2010-01-16 09:53:50 -08002253 tbin->ncached = i;
Jason Evans243f7a02016-02-19 20:09:31 -08002254 arena_decay_tick(tsd, arena);
Jason Evanse476f8a2010-01-16 09:53:50 -08002255}
Jason Evanse476f8a2010-01-16 09:53:50 -08002256
Jason Evans122449b2012-04-06 00:35:09 -07002257void
2258arena_alloc_junk_small(void *ptr, arena_bin_info_t *bin_info, bool zero)
2259{
2260
2261 if (zero) {
2262 size_t redzone_size = bin_info->redzone_size;
2263 memset((void *)((uintptr_t)ptr - redzone_size), 0xa5,
2264 redzone_size);
2265 memset((void *)((uintptr_t)ptr + bin_info->reg_size), 0xa5,
2266 redzone_size);
2267 } else {
2268 memset((void *)((uintptr_t)ptr - bin_info->redzone_size), 0xa5,
2269 bin_info->reg_interval);
2270 }
2271}
2272
Jason Evans0d6c5d82013-12-17 15:14:36 -08002273#ifdef JEMALLOC_JET
2274#undef arena_redzone_corruption
2275#define arena_redzone_corruption JEMALLOC_N(arena_redzone_corruption_impl)
2276#endif
2277static void
2278arena_redzone_corruption(void *ptr, size_t usize, bool after,
2279 size_t offset, uint8_t byte)
2280{
2281
Jason Evans5fae7dc2015-07-23 13:56:25 -07002282 malloc_printf("<jemalloc>: Corrupt redzone %zu byte%s %s %p "
2283 "(size %zu), byte=%#x\n", offset, (offset == 1) ? "" : "s",
Jason Evans0d6c5d82013-12-17 15:14:36 -08002284 after ? "after" : "before", ptr, usize, byte);
2285}
2286#ifdef JEMALLOC_JET
Jason Evans0d6c5d82013-12-17 15:14:36 -08002287#undef arena_redzone_corruption
Jason Evans6b694c42014-01-07 16:47:56 -08002288#define arena_redzone_corruption JEMALLOC_N(arena_redzone_corruption)
2289arena_redzone_corruption_t *arena_redzone_corruption =
2290 JEMALLOC_N(arena_redzone_corruption_impl);
Jason Evans0d6c5d82013-12-17 15:14:36 -08002291#endif
2292
2293static void
2294arena_redzones_validate(void *ptr, arena_bin_info_t *bin_info, bool reset)
Jason Evans122449b2012-04-06 00:35:09 -07002295{
Jason Evans122449b2012-04-06 00:35:09 -07002296 bool error = false;
2297
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002298 if (opt_junk_alloc) {
Dmitry-Mea306a602015-09-04 13:15:28 +03002299 size_t size = bin_info->reg_size;
2300 size_t redzone_size = bin_info->redzone_size;
2301 size_t i;
2302
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002303 for (i = 1; i <= redzone_size; i++) {
2304 uint8_t *byte = (uint8_t *)((uintptr_t)ptr - i);
2305 if (*byte != 0xa5) {
2306 error = true;
Jason Evans8fadb1a2015-08-04 10:49:46 -07002307 arena_redzone_corruption(ptr, size, false, i,
2308 *byte);
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002309 if (reset)
2310 *byte = 0xa5;
2311 }
2312 }
2313 for (i = 0; i < redzone_size; i++) {
2314 uint8_t *byte = (uint8_t *)((uintptr_t)ptr + size + i);
2315 if (*byte != 0xa5) {
2316 error = true;
Jason Evans8fadb1a2015-08-04 10:49:46 -07002317 arena_redzone_corruption(ptr, size, true, i,
2318 *byte);
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002319 if (reset)
2320 *byte = 0xa5;
2321 }
Jason Evans122449b2012-04-06 00:35:09 -07002322 }
2323 }
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002324
Jason Evans122449b2012-04-06 00:35:09 -07002325 if (opt_abort && error)
2326 abort();
Jason Evans0d6c5d82013-12-17 15:14:36 -08002327}
Jason Evans122449b2012-04-06 00:35:09 -07002328
Jason Evans6b694c42014-01-07 16:47:56 -08002329#ifdef JEMALLOC_JET
2330#undef arena_dalloc_junk_small
2331#define arena_dalloc_junk_small JEMALLOC_N(arena_dalloc_junk_small_impl)
2332#endif
Jason Evans0d6c5d82013-12-17 15:14:36 -08002333void
2334arena_dalloc_junk_small(void *ptr, arena_bin_info_t *bin_info)
2335{
2336 size_t redzone_size = bin_info->redzone_size;
2337
2338 arena_redzones_validate(ptr, bin_info, false);
Jason Evans122449b2012-04-06 00:35:09 -07002339 memset((void *)((uintptr_t)ptr - redzone_size), 0x5a,
2340 bin_info->reg_interval);
2341}
Jason Evans6b694c42014-01-07 16:47:56 -08002342#ifdef JEMALLOC_JET
2343#undef arena_dalloc_junk_small
2344#define arena_dalloc_junk_small JEMALLOC_N(arena_dalloc_junk_small)
2345arena_dalloc_junk_small_t *arena_dalloc_junk_small =
2346 JEMALLOC_N(arena_dalloc_junk_small_impl);
2347#endif
Jason Evans122449b2012-04-06 00:35:09 -07002348
Jason Evans0d6c5d82013-12-17 15:14:36 -08002349void
2350arena_quarantine_junk_small(void *ptr, size_t usize)
2351{
Jason Evansd01fd192015-08-19 15:21:32 -07002352 szind_t binind;
Jason Evans0d6c5d82013-12-17 15:14:36 -08002353 arena_bin_info_t *bin_info;
2354 cassert(config_fill);
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002355 assert(opt_junk_free);
Jason Evans0d6c5d82013-12-17 15:14:36 -08002356 assert(opt_quarantine);
2357 assert(usize <= SMALL_MAXCLASS);
2358
Jason Evans155bfa72014-10-05 17:54:10 -07002359 binind = size2index(usize);
Jason Evans0d6c5d82013-12-17 15:14:36 -08002360 bin_info = &arena_bin_info[binind];
2361 arena_redzones_validate(ptr, bin_info, true);
2362}
2363
Jason Evans578cd162016-02-19 18:40:03 -08002364static void *
Jason Evans0c516a02016-02-25 15:29:49 -08002365arena_malloc_small(tsd_t *tsd, arena_t *arena, szind_t binind, bool zero)
Jason Evanse476f8a2010-01-16 09:53:50 -08002366{
2367 void *ret;
2368 arena_bin_t *bin;
Jason Evans0c516a02016-02-25 15:29:49 -08002369 size_t usize;
Jason Evanse476f8a2010-01-16 09:53:50 -08002370 arena_run_t *run;
Jason Evanse476f8a2010-01-16 09:53:50 -08002371
Jason Evansb1726102012-02-28 16:50:47 -08002372 assert(binind < NBINS);
Jason Evanse476f8a2010-01-16 09:53:50 -08002373 bin = &arena->bins[binind];
Jason Evans0c516a02016-02-25 15:29:49 -08002374 usize = index2size(binind);
Jason Evanse476f8a2010-01-16 09:53:50 -08002375
Jason Evans86815df2010-03-13 20:32:56 -08002376 malloc_mutex_lock(&bin->lock);
Jason Evanse476f8a2010-01-16 09:53:50 -08002377 if ((run = bin->runcur) != NULL && run->nfree > 0)
Jason Evans49f7e8f2011-03-15 13:59:15 -07002378 ret = arena_run_reg_alloc(run, &arena_bin_info[binind]);
Jason Evanse476f8a2010-01-16 09:53:50 -08002379 else
2380 ret = arena_bin_malloc_hard(arena, bin);
2381
2382 if (ret == NULL) {
Jason Evans86815df2010-03-13 20:32:56 -08002383 malloc_mutex_unlock(&bin->lock);
Jason Evanse476f8a2010-01-16 09:53:50 -08002384 return (NULL);
2385 }
2386
Jason Evans7372b152012-02-10 20:22:09 -08002387 if (config_stats) {
Jason Evans7372b152012-02-10 20:22:09 -08002388 bin->stats.nmalloc++;
2389 bin->stats.nrequests++;
Jason Evans3c4d92e2014-10-12 22:53:59 -07002390 bin->stats.curregs++;
Jason Evans7372b152012-02-10 20:22:09 -08002391 }
Jason Evans86815df2010-03-13 20:32:56 -08002392 malloc_mutex_unlock(&bin->lock);
Jason Evans0c516a02016-02-25 15:29:49 -08002393 if (config_prof && !isthreaded && arena_prof_accum(arena, usize))
Jason Evans88c222c2013-02-06 11:59:30 -08002394 prof_idump();
Jason Evanse476f8a2010-01-16 09:53:50 -08002395
Jason Evans551ebc42014-10-03 10:16:09 -07002396 if (!zero) {
Jason Evans7372b152012-02-10 20:22:09 -08002397 if (config_fill) {
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002398 if (unlikely(opt_junk_alloc)) {
Jason Evans122449b2012-04-06 00:35:09 -07002399 arena_alloc_junk_small(ret,
2400 &arena_bin_info[binind], false);
Jason Evans9c640bf2014-09-11 16:20:44 -07002401 } else if (unlikely(opt_zero))
Jason Evans0c516a02016-02-25 15:29:49 -08002402 memset(ret, 0, usize);
Jason Evans7372b152012-02-10 20:22:09 -08002403 }
Jason Evans0c516a02016-02-25 15:29:49 -08002404 JEMALLOC_VALGRIND_MAKE_MEM_UNDEFINED(ret, usize);
Jason Evans122449b2012-04-06 00:35:09 -07002405 } else {
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002406 if (config_fill && unlikely(opt_junk_alloc)) {
Jason Evans122449b2012-04-06 00:35:09 -07002407 arena_alloc_junk_small(ret, &arena_bin_info[binind],
2408 true);
2409 }
Jason Evans0c516a02016-02-25 15:29:49 -08002410 JEMALLOC_VALGRIND_MAKE_MEM_UNDEFINED(ret, usize);
2411 memset(ret, 0, usize);
Jason Evans122449b2012-04-06 00:35:09 -07002412 }
Jason Evanse476f8a2010-01-16 09:53:50 -08002413
Jason Evans243f7a02016-02-19 20:09:31 -08002414 arena_decay_tick(tsd, arena);
Jason Evanse476f8a2010-01-16 09:53:50 -08002415 return (ret);
2416}
2417
2418void *
Jason Evans0c516a02016-02-25 15:29:49 -08002419arena_malloc_large(tsd_t *tsd, arena_t *arena, szind_t binind, bool zero)
Jason Evanse476f8a2010-01-16 09:53:50 -08002420{
2421 void *ret;
Jason Evans155bfa72014-10-05 17:54:10 -07002422 size_t usize;
Jason Evans8a03cf02015-05-04 09:58:36 -07002423 uintptr_t random_offset;
Jason Evans0c5dd032014-09-29 01:31:39 -07002424 arena_run_t *run;
2425 arena_chunk_map_misc_t *miscelm;
Dmitri Smirnovc3ab9042016-02-29 14:30:19 -08002426 UNUSED bool idump JEMALLOC_CC_SILENCE_INIT(false);
Jason Evanse476f8a2010-01-16 09:53:50 -08002427
2428 /* Large allocation. */
Qi Wangf4a0f322015-10-27 15:12:10 -07002429 usize = index2size(binind);
Jason Evanse476f8a2010-01-16 09:53:50 -08002430 malloc_mutex_lock(&arena->lock);
Jason Evans8a03cf02015-05-04 09:58:36 -07002431 if (config_cache_oblivious) {
Jason Evansbce61d62015-07-07 09:32:05 -07002432 uint64_t r;
2433
Jason Evans8a03cf02015-05-04 09:58:36 -07002434 /*
2435 * Compute a uniformly distributed offset within the first page
2436 * that is a multiple of the cacheline size, e.g. [0 .. 63) * 64
2437 * for 4 KiB pages and 64-byte cachelines.
2438 */
Jason Evans34676d32016-02-09 16:28:40 -08002439 r = prng_lg_range(&arena->offset_state, LG_PAGE - LG_CACHELINE);
Jason Evans8a03cf02015-05-04 09:58:36 -07002440 random_offset = ((uintptr_t)r) << LG_CACHELINE;
2441 } else
2442 random_offset = 0;
2443 run = arena_run_alloc_large(arena, usize + large_pad, zero);
Jason Evans0c5dd032014-09-29 01:31:39 -07002444 if (run == NULL) {
Jason Evanse476f8a2010-01-16 09:53:50 -08002445 malloc_mutex_unlock(&arena->lock);
2446 return (NULL);
2447 }
Jason Evans0c5dd032014-09-29 01:31:39 -07002448 miscelm = arena_run_to_miscelm(run);
Jason Evans8a03cf02015-05-04 09:58:36 -07002449 ret = (void *)((uintptr_t)arena_miscelm_to_rpages(miscelm) +
2450 random_offset);
Jason Evans7372b152012-02-10 20:22:09 -08002451 if (config_stats) {
Qi Wangf4a0f322015-10-27 15:12:10 -07002452 szind_t index = binind - NBINS;
Jason Evans155bfa72014-10-05 17:54:10 -07002453
Jason Evans7372b152012-02-10 20:22:09 -08002454 arena->stats.nmalloc_large++;
2455 arena->stats.nrequests_large++;
Jason Evans155bfa72014-10-05 17:54:10 -07002456 arena->stats.allocated_large += usize;
2457 arena->stats.lstats[index].nmalloc++;
2458 arena->stats.lstats[index].nrequests++;
2459 arena->stats.lstats[index].curruns++;
Jason Evanse476f8a2010-01-16 09:53:50 -08002460 }
Jason Evans7372b152012-02-10 20:22:09 -08002461 if (config_prof)
Jason Evans155bfa72014-10-05 17:54:10 -07002462 idump = arena_prof_accum_locked(arena, usize);
Jason Evanse476f8a2010-01-16 09:53:50 -08002463 malloc_mutex_unlock(&arena->lock);
Jason Evans88c222c2013-02-06 11:59:30 -08002464 if (config_prof && idump)
2465 prof_idump();
Jason Evanse476f8a2010-01-16 09:53:50 -08002466
Jason Evans551ebc42014-10-03 10:16:09 -07002467 if (!zero) {
Jason Evans7372b152012-02-10 20:22:09 -08002468 if (config_fill) {
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002469 if (unlikely(opt_junk_alloc))
Jason Evans155bfa72014-10-05 17:54:10 -07002470 memset(ret, 0xa5, usize);
Jason Evans9c640bf2014-09-11 16:20:44 -07002471 else if (unlikely(opt_zero))
Jason Evans155bfa72014-10-05 17:54:10 -07002472 memset(ret, 0, usize);
Jason Evans7372b152012-02-10 20:22:09 -08002473 }
Jason Evanse476f8a2010-01-16 09:53:50 -08002474 }
2475
Jason Evans243f7a02016-02-19 20:09:31 -08002476 arena_decay_tick(tsd, arena);
Jason Evanse476f8a2010-01-16 09:53:50 -08002477 return (ret);
2478}
2479
Jason Evans578cd162016-02-19 18:40:03 -08002480void *
2481arena_malloc_hard(tsd_t *tsd, arena_t *arena, size_t size, szind_t ind,
2482 bool zero, tcache_t *tcache)
2483{
2484
2485 arena = arena_choose(tsd, arena);
2486 if (unlikely(arena == NULL))
2487 return (NULL);
2488
2489 if (likely(size <= SMALL_MAXCLASS))
Jason Evans0c516a02016-02-25 15:29:49 -08002490 return (arena_malloc_small(tsd, arena, ind, zero));
Jason Evans578cd162016-02-19 18:40:03 -08002491 if (likely(size <= large_maxclass))
Jason Evans0c516a02016-02-25 15:29:49 -08002492 return (arena_malloc_large(tsd, arena, ind, zero));
2493 return (huge_malloc(tsd, arena, index2size(ind), zero, tcache));
Jason Evans578cd162016-02-19 18:40:03 -08002494}
2495
Jason Evanse476f8a2010-01-16 09:53:50 -08002496/* Only handles large allocations that require more than page alignment. */
Jason Evans88fef7c2015-02-12 14:06:37 -08002497static void *
Jason Evans50883de2015-07-23 17:13:18 -07002498arena_palloc_large(tsd_t *tsd, arena_t *arena, size_t usize, size_t alignment,
Jason Evans88fef7c2015-02-12 14:06:37 -08002499 bool zero)
Jason Evanse476f8a2010-01-16 09:53:50 -08002500{
2501 void *ret;
Jason Evans5ff709c2012-04-11 18:13:45 -07002502 size_t alloc_size, leadsize, trailsize;
2503 arena_run_t *run;
Jason Evanse476f8a2010-01-16 09:53:50 -08002504 arena_chunk_t *chunk;
Jason Evans0c5dd032014-09-29 01:31:39 -07002505 arena_chunk_map_misc_t *miscelm;
2506 void *rpages;
Jason Evanse476f8a2010-01-16 09:53:50 -08002507
Jason Evans50883de2015-07-23 17:13:18 -07002508 assert(usize == PAGE_CEILING(usize));
Jason Evans93443682010-10-20 17:39:18 -07002509
Jason Evans88fef7c2015-02-12 14:06:37 -08002510 arena = arena_choose(tsd, arena);
2511 if (unlikely(arena == NULL))
2512 return (NULL);
2513
Jason Evans93443682010-10-20 17:39:18 -07002514 alignment = PAGE_CEILING(alignment);
Jason Evans50883de2015-07-23 17:13:18 -07002515 alloc_size = usize + large_pad + alignment - PAGE;
Jason Evanse476f8a2010-01-16 09:53:50 -08002516
2517 malloc_mutex_lock(&arena->lock);
Jason Evansaa5113b2014-01-14 16:23:03 -08002518 run = arena_run_alloc_large(arena, alloc_size, false);
Jason Evans5ff709c2012-04-11 18:13:45 -07002519 if (run == NULL) {
Jason Evanse476f8a2010-01-16 09:53:50 -08002520 malloc_mutex_unlock(&arena->lock);
2521 return (NULL);
2522 }
Jason Evans5ff709c2012-04-11 18:13:45 -07002523 chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(run);
Jason Evans0c5dd032014-09-29 01:31:39 -07002524 miscelm = arena_run_to_miscelm(run);
2525 rpages = arena_miscelm_to_rpages(miscelm);
Jason Evanse476f8a2010-01-16 09:53:50 -08002526
Jason Evans0c5dd032014-09-29 01:31:39 -07002527 leadsize = ALIGNMENT_CEILING((uintptr_t)rpages, alignment) -
2528 (uintptr_t)rpages;
Jason Evans50883de2015-07-23 17:13:18 -07002529 assert(alloc_size >= leadsize + usize);
2530 trailsize = alloc_size - leadsize - usize - large_pad;
Jason Evans5ff709c2012-04-11 18:13:45 -07002531 if (leadsize != 0) {
Jason Evans0c5dd032014-09-29 01:31:39 -07002532 arena_chunk_map_misc_t *head_miscelm = miscelm;
2533 arena_run_t *head_run = run;
2534
2535 miscelm = arena_miscelm_get(chunk,
2536 arena_miscelm_to_pageind(head_miscelm) + (leadsize >>
2537 LG_PAGE));
2538 run = &miscelm->run;
2539
2540 arena_run_trim_head(arena, chunk, head_run, alloc_size,
2541 alloc_size - leadsize);
Jason Evans5ff709c2012-04-11 18:13:45 -07002542 }
2543 if (trailsize != 0) {
Jason Evans50883de2015-07-23 17:13:18 -07002544 arena_run_trim_tail(arena, chunk, run, usize + large_pad +
2545 trailsize, usize + large_pad, false);
Jason Evanse476f8a2010-01-16 09:53:50 -08002546 }
Jason Evans8fadb1a2015-08-04 10:49:46 -07002547 if (arena_run_init_large(arena, run, usize + large_pad, zero)) {
2548 size_t run_ind =
2549 arena_miscelm_to_pageind(arena_run_to_miscelm(run));
Jason Evansde249c82015-08-09 16:47:27 -07002550 bool dirty = (arena_mapbits_dirty_get(chunk, run_ind) != 0);
2551 bool decommitted = (arena_mapbits_decommitted_get(chunk,
2552 run_ind) != 0);
Jason Evans8fadb1a2015-08-04 10:49:46 -07002553
Jason Evansde249c82015-08-09 16:47:27 -07002554 assert(decommitted); /* Cause of OOM. */
2555 arena_run_dalloc(arena, run, dirty, false, decommitted);
Jason Evans8fadb1a2015-08-04 10:49:46 -07002556 malloc_mutex_unlock(&arena->lock);
2557 return (NULL);
2558 }
Jason Evans0c5dd032014-09-29 01:31:39 -07002559 ret = arena_miscelm_to_rpages(miscelm);
Jason Evanse476f8a2010-01-16 09:53:50 -08002560
Jason Evans7372b152012-02-10 20:22:09 -08002561 if (config_stats) {
Jason Evansd01fd192015-08-19 15:21:32 -07002562 szind_t index = size2index(usize) - NBINS;
Jason Evans155bfa72014-10-05 17:54:10 -07002563
Jason Evans7372b152012-02-10 20:22:09 -08002564 arena->stats.nmalloc_large++;
2565 arena->stats.nrequests_large++;
Jason Evans50883de2015-07-23 17:13:18 -07002566 arena->stats.allocated_large += usize;
Jason Evans155bfa72014-10-05 17:54:10 -07002567 arena->stats.lstats[index].nmalloc++;
2568 arena->stats.lstats[index].nrequests++;
2569 arena->stats.lstats[index].curruns++;
Jason Evanse476f8a2010-01-16 09:53:50 -08002570 }
Jason Evanse476f8a2010-01-16 09:53:50 -08002571 malloc_mutex_unlock(&arena->lock);
2572
Jason Evans551ebc42014-10-03 10:16:09 -07002573 if (config_fill && !zero) {
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002574 if (unlikely(opt_junk_alloc))
Jason Evans50883de2015-07-23 17:13:18 -07002575 memset(ret, 0xa5, usize);
Jason Evans9c640bf2014-09-11 16:20:44 -07002576 else if (unlikely(opt_zero))
Jason Evans50883de2015-07-23 17:13:18 -07002577 memset(ret, 0, usize);
Jason Evans8e3c3c62010-09-17 15:46:18 -07002578 }
Jason Evans243f7a02016-02-19 20:09:31 -08002579 arena_decay_tick(tsd, arena);
Jason Evanse476f8a2010-01-16 09:53:50 -08002580 return (ret);
2581}
2582
Jason Evans88fef7c2015-02-12 14:06:37 -08002583void *
2584arena_palloc(tsd_t *tsd, arena_t *arena, size_t usize, size_t alignment,
2585 bool zero, tcache_t *tcache)
2586{
2587 void *ret;
2588
Jason Evans8a03cf02015-05-04 09:58:36 -07002589 if (usize <= SMALL_MAXCLASS && (alignment < PAGE || (alignment == PAGE
Jason Evans51541752015-05-19 17:42:31 -07002590 && (usize & PAGE_MASK) == 0))) {
2591 /* Small; alignment doesn't require special run placement. */
Qi Wangf4a0f322015-10-27 15:12:10 -07002592 ret = arena_malloc(tsd, arena, usize, size2index(usize), zero,
2593 tcache, true);
Jason Evans676df882015-09-11 20:50:20 -07002594 } else if (usize <= large_maxclass && alignment <= PAGE) {
Jason Evans51541752015-05-19 17:42:31 -07002595 /*
2596 * Large; alignment doesn't require special run placement.
2597 * However, the cached pointer may be at a random offset from
2598 * the base of the run, so do some bit manipulation to retrieve
2599 * the base.
2600 */
Qi Wangf4a0f322015-10-27 15:12:10 -07002601 ret = arena_malloc(tsd, arena, usize, size2index(usize), zero,
2602 tcache, true);
Jason Evans51541752015-05-19 17:42:31 -07002603 if (config_cache_oblivious)
2604 ret = (void *)((uintptr_t)ret & ~PAGE_MASK);
2605 } else {
Jason Evans676df882015-09-11 20:50:20 -07002606 if (likely(usize <= large_maxclass)) {
Jason Evans88fef7c2015-02-12 14:06:37 -08002607 ret = arena_palloc_large(tsd, arena, usize, alignment,
2608 zero);
2609 } else if (likely(alignment <= chunksize))
2610 ret = huge_malloc(tsd, arena, usize, zero, tcache);
2611 else {
2612 ret = huge_palloc(tsd, arena, usize, alignment, zero,
2613 tcache);
2614 }
2615 }
2616 return (ret);
2617}
2618
Jason Evans0b270a92010-03-31 16:45:04 -07002619void
2620arena_prof_promoted(const void *ptr, size_t size)
2621{
2622 arena_chunk_t *chunk;
Jason Evans155bfa72014-10-05 17:54:10 -07002623 size_t pageind;
Jason Evansd01fd192015-08-19 15:21:32 -07002624 szind_t binind;
Jason Evans0b270a92010-03-31 16:45:04 -07002625
Jason Evans78f73522012-04-18 13:38:40 -07002626 cassert(config_prof);
Jason Evans0b270a92010-03-31 16:45:04 -07002627 assert(ptr != NULL);
2628 assert(CHUNK_ADDR2BASE(ptr) != ptr);
Jason Evans155bfa72014-10-05 17:54:10 -07002629 assert(isalloc(ptr, false) == LARGE_MINCLASS);
2630 assert(isalloc(ptr, true) == LARGE_MINCLASS);
Jason Evansb1726102012-02-28 16:50:47 -08002631 assert(size <= SMALL_MAXCLASS);
Jason Evans0b270a92010-03-31 16:45:04 -07002632
2633 chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(ptr);
Jason Evansae4c7b42012-04-02 07:04:34 -07002634 pageind = ((uintptr_t)ptr - (uintptr_t)chunk) >> LG_PAGE;
Jason Evans155bfa72014-10-05 17:54:10 -07002635 binind = size2index(size);
Jason Evansb1726102012-02-28 16:50:47 -08002636 assert(binind < NBINS);
Jason Evans203484e2012-05-02 00:30:36 -07002637 arena_mapbits_large_binind_set(chunk, pageind, binind);
Jason Evans0b270a92010-03-31 16:45:04 -07002638
Jason Evans155bfa72014-10-05 17:54:10 -07002639 assert(isalloc(ptr, false) == LARGE_MINCLASS);
Jason Evans122449b2012-04-06 00:35:09 -07002640 assert(isalloc(ptr, true) == size);
Jason Evans0b270a92010-03-31 16:45:04 -07002641}
Jason Evans6109fe02010-02-10 10:37:56 -08002642
Jason Evanse476f8a2010-01-16 09:53:50 -08002643static void
Jason Evans088e6a02010-10-18 00:04:44 -07002644arena_dissociate_bin_run(arena_chunk_t *chunk, arena_run_t *run,
Jason Evanse476f8a2010-01-16 09:53:50 -08002645 arena_bin_t *bin)
2646{
Jason Evanse476f8a2010-01-16 09:53:50 -08002647
Jason Evans19b3d612010-03-18 20:36:40 -07002648 /* Dissociate run from bin. */
Jason Evanse476f8a2010-01-16 09:53:50 -08002649 if (run == bin->runcur)
2650 bin->runcur = NULL;
Jason Evans49f7e8f2011-03-15 13:59:15 -07002651 else {
Jason Evansd01fd192015-08-19 15:21:32 -07002652 szind_t binind = arena_bin_index(extent_node_arena_get(
Jason Evansee41ad42015-02-15 18:04:46 -08002653 &chunk->node), bin);
Jason Evans49f7e8f2011-03-15 13:59:15 -07002654 arena_bin_info_t *bin_info = &arena_bin_info[binind];
2655
2656 if (bin_info->nregs != 1) {
Jason Evans49f7e8f2011-03-15 13:59:15 -07002657 /*
2658 * This block's conditional is necessary because if the
2659 * run only contains one region, then it never gets
2660 * inserted into the non-full runs tree.
2661 */
Jason Evanse7a10582012-02-13 17:36:52 -08002662 arena_bin_runs_remove(bin, run);
Jason Evans49f7e8f2011-03-15 13:59:15 -07002663 }
Jason Evanse476f8a2010-01-16 09:53:50 -08002664 }
Jason Evans088e6a02010-10-18 00:04:44 -07002665}
2666
2667static void
2668arena_dalloc_bin_run(arena_t *arena, arena_chunk_t *chunk, arena_run_t *run,
2669 arena_bin_t *bin)
2670{
Jason Evans088e6a02010-10-18 00:04:44 -07002671
2672 assert(run != bin->runcur);
Jason Evans0c5dd032014-09-29 01:31:39 -07002673 assert(arena_run_tree_search(&bin->runs, arena_run_to_miscelm(run)) ==
2674 NULL);
Jason Evans86815df2010-03-13 20:32:56 -08002675
Jason Evanse00572b2010-03-14 19:43:56 -07002676 malloc_mutex_unlock(&bin->lock);
2677 /******************************/
Jason Evans86815df2010-03-13 20:32:56 -08002678 malloc_mutex_lock(&arena->lock);
Mike Hommeyf97298b2015-09-03 20:32:57 +09002679 arena_run_dalloc(arena, run, true, false, false);
Jason Evans86815df2010-03-13 20:32:56 -08002680 malloc_mutex_unlock(&arena->lock);
Jason Evanse00572b2010-03-14 19:43:56 -07002681 /****************************/
2682 malloc_mutex_lock(&bin->lock);
Jason Evans7372b152012-02-10 20:22:09 -08002683 if (config_stats)
2684 bin->stats.curruns--;
Jason Evanse476f8a2010-01-16 09:53:50 -08002685}
2686
Jason Evans940a2e02010-10-17 17:51:37 -07002687static void
2688arena_bin_lower_run(arena_t *arena, arena_chunk_t *chunk, arena_run_t *run,
2689 arena_bin_t *bin)
Jason Evanse476f8a2010-01-16 09:53:50 -08002690{
Jason Evanse476f8a2010-01-16 09:53:50 -08002691
Jason Evans8de6a022010-10-17 20:57:30 -07002692 /*
Jason Evanse7a10582012-02-13 17:36:52 -08002693 * Make sure that if bin->runcur is non-NULL, it refers to the lowest
2694 * non-full run. It is okay to NULL runcur out rather than proactively
2695 * keeping it pointing at the lowest non-full run.
Jason Evans8de6a022010-10-17 20:57:30 -07002696 */
Jason Evanse7a10582012-02-13 17:36:52 -08002697 if ((uintptr_t)run < (uintptr_t)bin->runcur) {
Jason Evans8de6a022010-10-17 20:57:30 -07002698 /* Switch runcur. */
Jason Evanse7a10582012-02-13 17:36:52 -08002699 if (bin->runcur->nfree > 0)
2700 arena_bin_runs_insert(bin, bin->runcur);
Jason Evans8de6a022010-10-17 20:57:30 -07002701 bin->runcur = run;
Jason Evanse7a10582012-02-13 17:36:52 -08002702 if (config_stats)
2703 bin->stats.reruns++;
2704 } else
2705 arena_bin_runs_insert(bin, run);
Jason Evans940a2e02010-10-17 17:51:37 -07002706}
2707
Jason Evansfc0b3b72014-10-09 17:54:06 -07002708static void
2709arena_dalloc_bin_locked_impl(arena_t *arena, arena_chunk_t *chunk, void *ptr,
2710 arena_chunk_map_bits_t *bitselm, bool junked)
Jason Evans940a2e02010-10-17 17:51:37 -07002711{
Jason Evans0c5dd032014-09-29 01:31:39 -07002712 size_t pageind, rpages_ind;
Jason Evans940a2e02010-10-17 17:51:37 -07002713 arena_run_t *run;
2714 arena_bin_t *bin;
Mike Hommey8b499712012-04-24 23:22:02 +02002715 arena_bin_info_t *bin_info;
Jason Evansd01fd192015-08-19 15:21:32 -07002716 szind_t binind;
Jason Evans940a2e02010-10-17 17:51:37 -07002717
Jason Evansae4c7b42012-04-02 07:04:34 -07002718 pageind = ((uintptr_t)ptr - (uintptr_t)chunk) >> LG_PAGE;
Jason Evans0c5dd032014-09-29 01:31:39 -07002719 rpages_ind = pageind - arena_mapbits_small_runind_get(chunk, pageind);
2720 run = &arena_miscelm_get(chunk, rpages_ind)->run;
Jason Evans381c23d2014-10-10 23:01:03 -07002721 binind = run->binind;
2722 bin = &arena->bins[binind];
Mike Hommey8b499712012-04-24 23:22:02 +02002723 bin_info = &arena_bin_info[binind];
Jason Evans940a2e02010-10-17 17:51:37 -07002724
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002725 if (!junked && config_fill && unlikely(opt_junk_free))
Jason Evans122449b2012-04-06 00:35:09 -07002726 arena_dalloc_junk_small(ptr, bin_info);
Jason Evans940a2e02010-10-17 17:51:37 -07002727
2728 arena_run_reg_dalloc(run, ptr);
Jason Evans49f7e8f2011-03-15 13:59:15 -07002729 if (run->nfree == bin_info->nregs) {
Jason Evans088e6a02010-10-18 00:04:44 -07002730 arena_dissociate_bin_run(chunk, run, bin);
Jason Evans8de6a022010-10-17 20:57:30 -07002731 arena_dalloc_bin_run(arena, chunk, run, bin);
Jason Evans088e6a02010-10-18 00:04:44 -07002732 } else if (run->nfree == 1 && run != bin->runcur)
Jason Evans8de6a022010-10-17 20:57:30 -07002733 arena_bin_lower_run(arena, chunk, run, bin);
Jason Evanse476f8a2010-01-16 09:53:50 -08002734
Jason Evans7372b152012-02-10 20:22:09 -08002735 if (config_stats) {
Jason Evans7372b152012-02-10 20:22:09 -08002736 bin->stats.ndalloc++;
Jason Evans3c4d92e2014-10-12 22:53:59 -07002737 bin->stats.curregs--;
Jason Evans7372b152012-02-10 20:22:09 -08002738 }
Jason Evanse476f8a2010-01-16 09:53:50 -08002739}
2740
Jason Evanse476f8a2010-01-16 09:53:50 -08002741void
Jason Evansfc0b3b72014-10-09 17:54:06 -07002742arena_dalloc_bin_junked_locked(arena_t *arena, arena_chunk_t *chunk, void *ptr,
2743 arena_chunk_map_bits_t *bitselm)
2744{
2745
2746 arena_dalloc_bin_locked_impl(arena, chunk, ptr, bitselm, true);
2747}
2748
2749void
Jason Evans203484e2012-05-02 00:30:36 -07002750arena_dalloc_bin(arena_t *arena, arena_chunk_t *chunk, void *ptr,
Qinfan Wuff6a31d2014-08-29 13:34:40 -07002751 size_t pageind, arena_chunk_map_bits_t *bitselm)
Jason Evans203484e2012-05-02 00:30:36 -07002752{
2753 arena_run_t *run;
2754 arena_bin_t *bin;
Jason Evans0c5dd032014-09-29 01:31:39 -07002755 size_t rpages_ind;
Jason Evans203484e2012-05-02 00:30:36 -07002756
Jason Evans0c5dd032014-09-29 01:31:39 -07002757 rpages_ind = pageind - arena_mapbits_small_runind_get(chunk, pageind);
2758 run = &arena_miscelm_get(chunk, rpages_ind)->run;
Jason Evans381c23d2014-10-10 23:01:03 -07002759 bin = &arena->bins[run->binind];
Jason Evans203484e2012-05-02 00:30:36 -07002760 malloc_mutex_lock(&bin->lock);
Jason Evansfc0b3b72014-10-09 17:54:06 -07002761 arena_dalloc_bin_locked_impl(arena, chunk, ptr, bitselm, false);
Jason Evans203484e2012-05-02 00:30:36 -07002762 malloc_mutex_unlock(&bin->lock);
2763}
2764
2765void
Jason Evans243f7a02016-02-19 20:09:31 -08002766arena_dalloc_small(tsd_t *tsd, arena_t *arena, arena_chunk_t *chunk, void *ptr,
Jason Evans203484e2012-05-02 00:30:36 -07002767 size_t pageind)
2768{
Qinfan Wuff6a31d2014-08-29 13:34:40 -07002769 arena_chunk_map_bits_t *bitselm;
Jason Evans203484e2012-05-02 00:30:36 -07002770
2771 if (config_debug) {
Jason Evans80737c32012-05-02 16:11:03 -07002772 /* arena_ptr_small_binind_get() does extra sanity checking. */
2773 assert(arena_ptr_small_binind_get(ptr, arena_mapbits_get(chunk,
2774 pageind)) != BININD_INVALID);
Jason Evans203484e2012-05-02 00:30:36 -07002775 }
Qinfan Wuff6a31d2014-08-29 13:34:40 -07002776 bitselm = arena_bitselm_get(chunk, pageind);
2777 arena_dalloc_bin(arena, chunk, ptr, pageind, bitselm);
Jason Evans243f7a02016-02-19 20:09:31 -08002778 arena_decay_tick(tsd, arena);
Jason Evans203484e2012-05-02 00:30:36 -07002779}
Jason Evanse476f8a2010-01-16 09:53:50 -08002780
Jason Evans6b694c42014-01-07 16:47:56 -08002781#ifdef JEMALLOC_JET
2782#undef arena_dalloc_junk_large
2783#define arena_dalloc_junk_large JEMALLOC_N(arena_dalloc_junk_large_impl)
2784#endif
Jason Evansfc0b3b72014-10-09 17:54:06 -07002785void
Jason Evans6b694c42014-01-07 16:47:56 -08002786arena_dalloc_junk_large(void *ptr, size_t usize)
2787{
2788
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002789 if (config_fill && unlikely(opt_junk_free))
Jason Evans6b694c42014-01-07 16:47:56 -08002790 memset(ptr, 0x5a, usize);
2791}
2792#ifdef JEMALLOC_JET
2793#undef arena_dalloc_junk_large
2794#define arena_dalloc_junk_large JEMALLOC_N(arena_dalloc_junk_large)
2795arena_dalloc_junk_large_t *arena_dalloc_junk_large =
2796 JEMALLOC_N(arena_dalloc_junk_large_impl);
2797#endif
2798
Jason Evanse56b24e2015-09-20 09:58:10 -07002799static void
Jason Evansfc0b3b72014-10-09 17:54:06 -07002800arena_dalloc_large_locked_impl(arena_t *arena, arena_chunk_t *chunk,
2801 void *ptr, bool junked)
Jason Evanse476f8a2010-01-16 09:53:50 -08002802{
Jason Evans0c5dd032014-09-29 01:31:39 -07002803 size_t pageind = ((uintptr_t)ptr - (uintptr_t)chunk) >> LG_PAGE;
2804 arena_chunk_map_misc_t *miscelm = arena_miscelm_get(chunk, pageind);
2805 arena_run_t *run = &miscelm->run;
Jason Evans13668262010-01-31 03:57:29 -08002806
Jason Evans7372b152012-02-10 20:22:09 -08002807 if (config_fill || config_stats) {
Jason Evans8a03cf02015-05-04 09:58:36 -07002808 size_t usize = arena_mapbits_large_size_get(chunk, pageind) -
2809 large_pad;
Jason Evanse476f8a2010-01-16 09:53:50 -08002810
Jason Evansfc0b3b72014-10-09 17:54:06 -07002811 if (!junked)
2812 arena_dalloc_junk_large(ptr, usize);
Jason Evans7372b152012-02-10 20:22:09 -08002813 if (config_stats) {
Jason Evansd01fd192015-08-19 15:21:32 -07002814 szind_t index = size2index(usize) - NBINS;
Jason Evans155bfa72014-10-05 17:54:10 -07002815
Jason Evans7372b152012-02-10 20:22:09 -08002816 arena->stats.ndalloc_large++;
Jason Evans6b694c42014-01-07 16:47:56 -08002817 arena->stats.allocated_large -= usize;
Jason Evans155bfa72014-10-05 17:54:10 -07002818 arena->stats.lstats[index].ndalloc++;
2819 arena->stats.lstats[index].curruns--;
Jason Evans7372b152012-02-10 20:22:09 -08002820 }
Jason Evanse476f8a2010-01-16 09:53:50 -08002821 }
Jason Evanse476f8a2010-01-16 09:53:50 -08002822
Mike Hommeyf97298b2015-09-03 20:32:57 +09002823 arena_run_dalloc(arena, run, true, false, false);
Jason Evanse476f8a2010-01-16 09:53:50 -08002824}
2825
Jason Evans203484e2012-05-02 00:30:36 -07002826void
Jason Evansfc0b3b72014-10-09 17:54:06 -07002827arena_dalloc_large_junked_locked(arena_t *arena, arena_chunk_t *chunk,
2828 void *ptr)
2829{
2830
2831 arena_dalloc_large_locked_impl(arena, chunk, ptr, true);
2832}
2833
2834void
Jason Evans243f7a02016-02-19 20:09:31 -08002835arena_dalloc_large(tsd_t *tsd, arena_t *arena, arena_chunk_t *chunk, void *ptr)
Jason Evans203484e2012-05-02 00:30:36 -07002836{
2837
2838 malloc_mutex_lock(&arena->lock);
Jason Evansfc0b3b72014-10-09 17:54:06 -07002839 arena_dalloc_large_locked_impl(arena, chunk, ptr, false);
Jason Evans203484e2012-05-02 00:30:36 -07002840 malloc_mutex_unlock(&arena->lock);
Jason Evans243f7a02016-02-19 20:09:31 -08002841 arena_decay_tick(tsd, arena);
Jason Evans203484e2012-05-02 00:30:36 -07002842}
2843
Jason Evanse476f8a2010-01-16 09:53:50 -08002844static void
2845arena_ralloc_large_shrink(arena_t *arena, arena_chunk_t *chunk, void *ptr,
Jason Evans8e3c3c62010-09-17 15:46:18 -07002846 size_t oldsize, size_t size)
Jason Evanse476f8a2010-01-16 09:53:50 -08002847{
Jason Evans0c5dd032014-09-29 01:31:39 -07002848 size_t pageind = ((uintptr_t)ptr - (uintptr_t)chunk) >> LG_PAGE;
2849 arena_chunk_map_misc_t *miscelm = arena_miscelm_get(chunk, pageind);
2850 arena_run_t *run = &miscelm->run;
Jason Evanse476f8a2010-01-16 09:53:50 -08002851
2852 assert(size < oldsize);
2853
2854 /*
2855 * Shrink the run, and make trailing pages available for other
2856 * allocations.
2857 */
2858 malloc_mutex_lock(&arena->lock);
Jason Evans8a03cf02015-05-04 09:58:36 -07002859 arena_run_trim_tail(arena, chunk, run, oldsize + large_pad, size +
2860 large_pad, true);
Jason Evans7372b152012-02-10 20:22:09 -08002861 if (config_stats) {
Jason Evansd01fd192015-08-19 15:21:32 -07002862 szind_t oldindex = size2index(oldsize) - NBINS;
2863 szind_t index = size2index(size) - NBINS;
Jason Evans155bfa72014-10-05 17:54:10 -07002864
Jason Evans7372b152012-02-10 20:22:09 -08002865 arena->stats.ndalloc_large++;
2866 arena->stats.allocated_large -= oldsize;
Jason Evans155bfa72014-10-05 17:54:10 -07002867 arena->stats.lstats[oldindex].ndalloc++;
2868 arena->stats.lstats[oldindex].curruns--;
Jason Evans990d10c2010-01-31 03:49:35 -08002869
Jason Evans7372b152012-02-10 20:22:09 -08002870 arena->stats.nmalloc_large++;
2871 arena->stats.nrequests_large++;
2872 arena->stats.allocated_large += size;
Jason Evans155bfa72014-10-05 17:54:10 -07002873 arena->stats.lstats[index].nmalloc++;
2874 arena->stats.lstats[index].nrequests++;
2875 arena->stats.lstats[index].curruns++;
Jason Evanse476f8a2010-01-16 09:53:50 -08002876 }
Jason Evanse476f8a2010-01-16 09:53:50 -08002877 malloc_mutex_unlock(&arena->lock);
2878}
2879
2880static bool
2881arena_ralloc_large_grow(arena_t *arena, arena_chunk_t *chunk, void *ptr,
Jason Evans560a4e12015-09-11 16:18:53 -07002882 size_t oldsize, size_t usize_min, size_t usize_max, bool zero)
Jason Evanse476f8a2010-01-16 09:53:50 -08002883{
Jason Evansae4c7b42012-04-02 07:04:34 -07002884 size_t pageind = ((uintptr_t)ptr - (uintptr_t)chunk) >> LG_PAGE;
Jason Evans5716d972015-08-06 23:34:12 -07002885 size_t npages = (oldsize + large_pad) >> LG_PAGE;
Jason Evans8e3c3c62010-09-17 15:46:18 -07002886 size_t followsize;
Jason Evanse476f8a2010-01-16 09:53:50 -08002887
Jason Evans8a03cf02015-05-04 09:58:36 -07002888 assert(oldsize == arena_mapbits_large_size_get(chunk, pageind) -
2889 large_pad);
Jason Evanse476f8a2010-01-16 09:53:50 -08002890
2891 /* Try to extend the run. */
Jason Evanse476f8a2010-01-16 09:53:50 -08002892 malloc_mutex_lock(&arena->lock);
Jason Evans560a4e12015-09-11 16:18:53 -07002893 if (pageind+npages >= chunk_npages || arena_mapbits_allocated_get(chunk,
2894 pageind+npages) != 0)
2895 goto label_fail;
2896 followsize = arena_mapbits_unallocated_size_get(chunk, pageind+npages);
2897 if (oldsize + followsize >= usize_min) {
Jason Evanse476f8a2010-01-16 09:53:50 -08002898 /*
2899 * The next run is available and sufficiently large. Split the
2900 * following run, then merge the first part with the existing
2901 * allocation.
2902 */
Guilherme Goncalves9c6a8d32014-12-17 14:46:35 -02002903 arena_run_t *run;
Jason Evans560a4e12015-09-11 16:18:53 -07002904 size_t usize, splitsize, size, flag_dirty, flag_unzeroed_mask;
Jason Evans155bfa72014-10-05 17:54:10 -07002905
Jason Evans560a4e12015-09-11 16:18:53 -07002906 usize = usize_max;
Jason Evans155bfa72014-10-05 17:54:10 -07002907 while (oldsize + followsize < usize)
2908 usize = index2size(size2index(usize)-1);
2909 assert(usize >= usize_min);
Jason Evans560a4e12015-09-11 16:18:53 -07002910 assert(usize >= oldsize);
Jason Evans5716d972015-08-06 23:34:12 -07002911 splitsize = usize - oldsize;
Jason Evans560a4e12015-09-11 16:18:53 -07002912 if (splitsize == 0)
2913 goto label_fail;
Jason Evans155bfa72014-10-05 17:54:10 -07002914
Guilherme Goncalves9c6a8d32014-12-17 14:46:35 -02002915 run = &arena_miscelm_get(chunk, pageind+npages)->run;
Jason Evans560a4e12015-09-11 16:18:53 -07002916 if (arena_run_split_large(arena, run, splitsize, zero))
2917 goto label_fail;
Jason Evanse476f8a2010-01-16 09:53:50 -08002918
Jason Evansd260f442015-09-24 16:38:45 -07002919 if (config_cache_oblivious && zero) {
2920 /*
2921 * Zero the trailing bytes of the original allocation's
2922 * last page, since they are in an indeterminate state.
Jason Evansa784e412015-09-24 22:21:55 -07002923 * There will always be trailing bytes, because ptr's
2924 * offset from the beginning of the run is a multiple of
2925 * CACHELINE in [0 .. PAGE).
Jason Evansd260f442015-09-24 16:38:45 -07002926 */
Jason Evansa784e412015-09-24 22:21:55 -07002927 void *zbase = (void *)((uintptr_t)ptr + oldsize);
2928 void *zpast = PAGE_ADDR2BASE((void *)((uintptr_t)zbase +
2929 PAGE));
2930 size_t nzero = (uintptr_t)zpast - (uintptr_t)zbase;
2931 assert(nzero > 0);
2932 memset(zbase, 0, nzero);
Jason Evansd260f442015-09-24 16:38:45 -07002933 }
2934
Jason Evans088e6a02010-10-18 00:04:44 -07002935 size = oldsize + splitsize;
Jason Evans5716d972015-08-06 23:34:12 -07002936 npages = (size + large_pad) >> LG_PAGE;
Jason Evans940a2e02010-10-17 17:51:37 -07002937
2938 /*
2939 * Mark the extended run as dirty if either portion of the run
2940 * was dirty before allocation. This is rather pedantic,
2941 * because there's not actually any sequence of events that
2942 * could cause the resulting run to be passed to
2943 * arena_run_dalloc() with the dirty argument set to false
2944 * (which is when dirty flag consistency would really matter).
2945 */
Jason Evans203484e2012-05-02 00:30:36 -07002946 flag_dirty = arena_mapbits_dirty_get(chunk, pageind) |
2947 arena_mapbits_dirty_get(chunk, pageind+npages-1);
Jason Evans1f27abc2015-08-11 12:42:33 -07002948 flag_unzeroed_mask = flag_dirty == 0 ? CHUNK_MAP_UNZEROED : 0;
Jason Evans5716d972015-08-06 23:34:12 -07002949 arena_mapbits_large_set(chunk, pageind, size + large_pad,
Jason Evans1f27abc2015-08-11 12:42:33 -07002950 flag_dirty | (flag_unzeroed_mask &
2951 arena_mapbits_unzeroed_get(chunk, pageind)));
2952 arena_mapbits_large_set(chunk, pageind+npages-1, 0, flag_dirty |
2953 (flag_unzeroed_mask & arena_mapbits_unzeroed_get(chunk,
2954 pageind+npages-1)));
Jason Evanse476f8a2010-01-16 09:53:50 -08002955
Jason Evans7372b152012-02-10 20:22:09 -08002956 if (config_stats) {
Jason Evansd01fd192015-08-19 15:21:32 -07002957 szind_t oldindex = size2index(oldsize) - NBINS;
2958 szind_t index = size2index(size) - NBINS;
Jason Evans155bfa72014-10-05 17:54:10 -07002959
Jason Evans7372b152012-02-10 20:22:09 -08002960 arena->stats.ndalloc_large++;
2961 arena->stats.allocated_large -= oldsize;
Jason Evans155bfa72014-10-05 17:54:10 -07002962 arena->stats.lstats[oldindex].ndalloc++;
2963 arena->stats.lstats[oldindex].curruns--;
Jason Evans990d10c2010-01-31 03:49:35 -08002964
Jason Evans7372b152012-02-10 20:22:09 -08002965 arena->stats.nmalloc_large++;
2966 arena->stats.nrequests_large++;
2967 arena->stats.allocated_large += size;
Jason Evans155bfa72014-10-05 17:54:10 -07002968 arena->stats.lstats[index].nmalloc++;
2969 arena->stats.lstats[index].nrequests++;
2970 arena->stats.lstats[index].curruns++;
Jason Evans940a2e02010-10-17 17:51:37 -07002971 }
Jason Evanse476f8a2010-01-16 09:53:50 -08002972 malloc_mutex_unlock(&arena->lock);
2973 return (false);
2974 }
Jason Evans560a4e12015-09-11 16:18:53 -07002975label_fail:
Jason Evanse476f8a2010-01-16 09:53:50 -08002976 malloc_mutex_unlock(&arena->lock);
Jason Evanse476f8a2010-01-16 09:53:50 -08002977 return (true);
2978}
2979
Jason Evans6b694c42014-01-07 16:47:56 -08002980#ifdef JEMALLOC_JET
2981#undef arena_ralloc_junk_large
2982#define arena_ralloc_junk_large JEMALLOC_N(arena_ralloc_junk_large_impl)
2983#endif
2984static void
2985arena_ralloc_junk_large(void *ptr, size_t old_usize, size_t usize)
2986{
2987
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -02002988 if (config_fill && unlikely(opt_junk_free)) {
Jason Evans6b694c42014-01-07 16:47:56 -08002989 memset((void *)((uintptr_t)ptr + usize), 0x5a,
2990 old_usize - usize);
2991 }
2992}
2993#ifdef JEMALLOC_JET
2994#undef arena_ralloc_junk_large
2995#define arena_ralloc_junk_large JEMALLOC_N(arena_ralloc_junk_large)
2996arena_ralloc_junk_large_t *arena_ralloc_junk_large =
2997 JEMALLOC_N(arena_ralloc_junk_large_impl);
2998#endif
2999
Jason Evanse476f8a2010-01-16 09:53:50 -08003000/*
3001 * Try to resize a large allocation, in order to avoid copying. This will
3002 * always fail if growing an object, and the following run is already in use.
3003 */
3004static bool
Jason Evans560a4e12015-09-11 16:18:53 -07003005arena_ralloc_large(void *ptr, size_t oldsize, size_t usize_min,
3006 size_t usize_max, bool zero)
Jason Evanse476f8a2010-01-16 09:53:50 -08003007{
Jason Evans560a4e12015-09-11 16:18:53 -07003008 arena_chunk_t *chunk;
3009 arena_t *arena;
Jason Evanse476f8a2010-01-16 09:53:50 -08003010
Jason Evans560a4e12015-09-11 16:18:53 -07003011 if (oldsize == usize_max) {
3012 /* Current size class is compatible and maximal. */
Jason Evanse476f8a2010-01-16 09:53:50 -08003013 return (false);
Jason Evanse476f8a2010-01-16 09:53:50 -08003014 }
Jason Evans560a4e12015-09-11 16:18:53 -07003015
3016 chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(ptr);
3017 arena = extent_node_arena_get(&chunk->node);
3018
3019 if (oldsize < usize_max) {
3020 bool ret = arena_ralloc_large_grow(arena, chunk, ptr, oldsize,
3021 usize_min, usize_max, zero);
3022 if (config_fill && !ret && !zero) {
3023 if (unlikely(opt_junk_alloc)) {
3024 memset((void *)((uintptr_t)ptr + oldsize), 0xa5,
3025 isalloc(ptr, config_prof) - oldsize);
3026 } else if (unlikely(opt_zero)) {
3027 memset((void *)((uintptr_t)ptr + oldsize), 0,
3028 isalloc(ptr, config_prof) - oldsize);
3029 }
3030 }
3031 return (ret);
3032 }
3033
3034 assert(oldsize > usize_max);
3035 /* Fill before shrinking in order avoid a race. */
3036 arena_ralloc_junk_large(ptr, oldsize, usize_max);
3037 arena_ralloc_large_shrink(arena, chunk, ptr, oldsize, usize_max);
3038 return (false);
Jason Evanse476f8a2010-01-16 09:53:50 -08003039}
3040
Jason Evansb2c31662014-01-12 15:05:44 -08003041bool
Jason Evans243f7a02016-02-19 20:09:31 -08003042arena_ralloc_no_move(tsd_t *tsd, void *ptr, size_t oldsize, size_t size,
3043 size_t extra, bool zero)
Jason Evanse476f8a2010-01-16 09:53:50 -08003044{
Jason Evans560a4e12015-09-11 16:18:53 -07003045 size_t usize_min, usize_max;
Jason Evanse476f8a2010-01-16 09:53:50 -08003046
Jason Evans0c516a02016-02-25 15:29:49 -08003047 /* Calls with non-zero extra had to clamp extra. */
3048 assert(extra == 0 || size + extra <= HUGE_MAXCLASS);
3049
Jason Evans0c516a02016-02-25 15:29:49 -08003050 if (unlikely(size > HUGE_MAXCLASS))
3051 return (true);
3052
Jason Evans560a4e12015-09-11 16:18:53 -07003053 usize_min = s2u(size);
Jason Evans560a4e12015-09-11 16:18:53 -07003054 usize_max = s2u(size + extra);
Jason Evans676df882015-09-11 20:50:20 -07003055 if (likely(oldsize <= large_maxclass && usize_min <= large_maxclass)) {
Jason Evans243f7a02016-02-19 20:09:31 -08003056 arena_chunk_t *chunk;
3057
Jason Evans88fef7c2015-02-12 14:06:37 -08003058 /*
3059 * Avoid moving the allocation if the size class can be left the
3060 * same.
3061 */
Jason Evans560a4e12015-09-11 16:18:53 -07003062 if (oldsize <= SMALL_MAXCLASS) {
3063 assert(arena_bin_info[size2index(oldsize)].reg_size ==
3064 oldsize);
Jason Evans4985dc62016-02-19 19:24:58 -08003065 if ((usize_max > SMALL_MAXCLASS ||
3066 size2index(usize_max) != size2index(oldsize)) &&
3067 (size > oldsize || usize_max < oldsize))
3068 return (true);
Jason Evans560a4e12015-09-11 16:18:53 -07003069 } else {
Jason Evans4985dc62016-02-19 19:24:58 -08003070 if (usize_max <= SMALL_MAXCLASS)
3071 return (true);
3072 if (arena_ralloc_large(ptr, oldsize, usize_min,
3073 usize_max, zero))
3074 return (true);
Jason Evanse476f8a2010-01-16 09:53:50 -08003075 }
Jason Evanse476f8a2010-01-16 09:53:50 -08003076
Jason Evans243f7a02016-02-19 20:09:31 -08003077 chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(ptr);
3078 arena_decay_tick(tsd, extent_node_arena_get(&chunk->node));
Jason Evans4985dc62016-02-19 19:24:58 -08003079 return (false);
Jason Evans560a4e12015-09-11 16:18:53 -07003080 } else {
Jason Evans243f7a02016-02-19 20:09:31 -08003081 return (huge_ralloc_no_move(tsd, ptr, oldsize, usize_min,
3082 usize_max, zero));
Jason Evans560a4e12015-09-11 16:18:53 -07003083 }
3084}
3085
3086static void *
3087arena_ralloc_move_helper(tsd_t *tsd, arena_t *arena, size_t usize,
3088 size_t alignment, bool zero, tcache_t *tcache)
3089{
3090
3091 if (alignment == 0)
Qi Wangf4a0f322015-10-27 15:12:10 -07003092 return (arena_malloc(tsd, arena, usize, size2index(usize), zero,
3093 tcache, true));
Jason Evans560a4e12015-09-11 16:18:53 -07003094 usize = sa2u(usize, alignment);
Jason Evans0c516a02016-02-25 15:29:49 -08003095 if (unlikely(usize == 0 || usize > HUGE_MAXCLASS))
Jason Evans560a4e12015-09-11 16:18:53 -07003096 return (NULL);
3097 return (ipalloct(tsd, usize, alignment, zero, tcache, arena));
Jason Evans8e3c3c62010-09-17 15:46:18 -07003098}
Jason Evanse476f8a2010-01-16 09:53:50 -08003099
Jason Evans8e3c3c62010-09-17 15:46:18 -07003100void *
Jason Evans5460aa62014-09-22 21:09:23 -07003101arena_ralloc(tsd_t *tsd, arena_t *arena, void *ptr, size_t oldsize, size_t size,
Jason Evans560a4e12015-09-11 16:18:53 -07003102 size_t alignment, bool zero, tcache_t *tcache)
Jason Evans8e3c3c62010-09-17 15:46:18 -07003103{
3104 void *ret;
Jason Evans560a4e12015-09-11 16:18:53 -07003105 size_t usize;
Jason Evans8e3c3c62010-09-17 15:46:18 -07003106
Jason Evans560a4e12015-09-11 16:18:53 -07003107 usize = s2u(size);
Jason Evans0c516a02016-02-25 15:29:49 -08003108 if (unlikely(usize == 0 || size > HUGE_MAXCLASS))
Jason Evans560a4e12015-09-11 16:18:53 -07003109 return (NULL);
3110
Jason Evans676df882015-09-11 20:50:20 -07003111 if (likely(usize <= large_maxclass)) {
Jason Evans88fef7c2015-02-12 14:06:37 -08003112 size_t copysize;
Jason Evans8e3c3c62010-09-17 15:46:18 -07003113
Jason Evans88fef7c2015-02-12 14:06:37 -08003114 /* Try to avoid moving the allocation. */
Jason Evans243f7a02016-02-19 20:09:31 -08003115 if (!arena_ralloc_no_move(tsd, ptr, oldsize, usize, 0, zero))
Jason Evans88fef7c2015-02-12 14:06:37 -08003116 return (ptr);
Jason Evans8e3c3c62010-09-17 15:46:18 -07003117
Jason Evans88fef7c2015-02-12 14:06:37 -08003118 /*
3119 * size and oldsize are different enough that we need to move
3120 * the object. In that case, fall back to allocating new space
3121 * and copying.
3122 */
Jason Evans560a4e12015-09-11 16:18:53 -07003123 ret = arena_ralloc_move_helper(tsd, arena, usize, alignment,
3124 zero, tcache);
3125 if (ret == NULL)
3126 return (NULL);
Jason Evans88fef7c2015-02-12 14:06:37 -08003127
3128 /*
3129 * Junk/zero-filling were already done by
3130 * ipalloc()/arena_malloc().
3131 */
3132
Jason Evans560a4e12015-09-11 16:18:53 -07003133 copysize = (usize < oldsize) ? usize : oldsize;
Jason Evans88fef7c2015-02-12 14:06:37 -08003134 JEMALLOC_VALGRIND_MAKE_MEM_UNDEFINED(ret, copysize);
3135 memcpy(ret, ptr, copysize);
3136 isqalloc(tsd, ptr, oldsize, tcache);
3137 } else {
Jason Evans560a4e12015-09-11 16:18:53 -07003138 ret = huge_ralloc(tsd, arena, ptr, oldsize, usize, alignment,
3139 zero, tcache);
Jason Evans8e3c3c62010-09-17 15:46:18 -07003140 }
Jason Evanse476f8a2010-01-16 09:53:50 -08003141 return (ret);
Jason Evanse476f8a2010-01-16 09:53:50 -08003142}
3143
Jason Evans609ae592012-10-11 13:53:15 -07003144dss_prec_t
3145arena_dss_prec_get(arena_t *arena)
3146{
3147 dss_prec_t ret;
3148
3149 malloc_mutex_lock(&arena->lock);
3150 ret = arena->dss_prec;
3151 malloc_mutex_unlock(&arena->lock);
3152 return (ret);
3153}
3154
Jason Evans4d434ad2014-04-15 12:09:48 -07003155bool
Jason Evans609ae592012-10-11 13:53:15 -07003156arena_dss_prec_set(arena_t *arena, dss_prec_t dss_prec)
3157{
3158
Jason Evans551ebc42014-10-03 10:16:09 -07003159 if (!have_dss)
Jason Evans4d434ad2014-04-15 12:09:48 -07003160 return (dss_prec != dss_prec_disabled);
Jason Evans609ae592012-10-11 13:53:15 -07003161 malloc_mutex_lock(&arena->lock);
3162 arena->dss_prec = dss_prec;
3163 malloc_mutex_unlock(&arena->lock);
Jason Evans4d434ad2014-04-15 12:09:48 -07003164 return (false);
Jason Evans609ae592012-10-11 13:53:15 -07003165}
3166
Jason Evans8d6a3e82015-03-18 18:55:33 -07003167ssize_t
3168arena_lg_dirty_mult_default_get(void)
3169{
3170
3171 return ((ssize_t)atomic_read_z((size_t *)&lg_dirty_mult_default));
3172}
3173
3174bool
3175arena_lg_dirty_mult_default_set(ssize_t lg_dirty_mult)
3176{
3177
Jason Evans243f7a02016-02-19 20:09:31 -08003178 if (opt_purge != purge_mode_ratio)
3179 return (true);
Jason Evans8d6a3e82015-03-18 18:55:33 -07003180 if (!arena_lg_dirty_mult_valid(lg_dirty_mult))
3181 return (true);
3182 atomic_write_z((size_t *)&lg_dirty_mult_default, (size_t)lg_dirty_mult);
3183 return (false);
3184}
3185
Jason Evans243f7a02016-02-19 20:09:31 -08003186ssize_t
3187arena_decay_time_default_get(void)
3188{
3189
3190 return ((ssize_t)atomic_read_z((size_t *)&decay_time_default));
3191}
3192
3193bool
3194arena_decay_time_default_set(ssize_t decay_time)
3195{
3196
3197 if (opt_purge != purge_mode_decay)
3198 return (true);
3199 if (!arena_decay_time_valid(decay_time))
3200 return (true);
3201 atomic_write_z((size_t *)&decay_time_default, (size_t)decay_time);
3202 return (false);
3203}
3204
Jason Evans3c07f802016-02-27 20:40:13 -08003205static void
3206arena_basic_stats_merge_locked(arena_t *arena, unsigned *nthreads,
3207 const char **dss, ssize_t *lg_dirty_mult, ssize_t *decay_time,
3208 size_t *nactive, size_t *ndirty)
Jason Evans609ae592012-10-11 13:53:15 -07003209{
Jason Evans609ae592012-10-11 13:53:15 -07003210
Jason Evans3c07f802016-02-27 20:40:13 -08003211 *nthreads += arena_nthreads_get(arena);
Jason Evans609ae592012-10-11 13:53:15 -07003212 *dss = dss_prec_names[arena->dss_prec];
Jason Evans562d2662015-03-24 16:36:12 -07003213 *lg_dirty_mult = arena->lg_dirty_mult;
Jason Evans243f7a02016-02-19 20:09:31 -08003214 *decay_time = arena->decay_time;
Jason Evans609ae592012-10-11 13:53:15 -07003215 *nactive += arena->nactive;
3216 *ndirty += arena->ndirty;
Jason Evans3c07f802016-02-27 20:40:13 -08003217}
3218
3219void
3220arena_basic_stats_merge(arena_t *arena, unsigned *nthreads, const char **dss,
3221 ssize_t *lg_dirty_mult, ssize_t *decay_time, size_t *nactive,
3222 size_t *ndirty)
3223{
3224
3225 malloc_mutex_lock(&arena->lock);
3226 arena_basic_stats_merge_locked(arena, nthreads, dss, lg_dirty_mult,
3227 decay_time, nactive, ndirty);
3228 malloc_mutex_unlock(&arena->lock);
3229}
3230
3231void
3232arena_stats_merge(arena_t *arena, unsigned *nthreads, const char **dss,
3233 ssize_t *lg_dirty_mult, ssize_t *decay_time, size_t *nactive,
3234 size_t *ndirty, arena_stats_t *astats, malloc_bin_stats_t *bstats,
3235 malloc_large_stats_t *lstats, malloc_huge_stats_t *hstats)
3236{
3237 unsigned i;
3238
3239 cassert(config_stats);
3240
3241 malloc_mutex_lock(&arena->lock);
3242 arena_basic_stats_merge_locked(arena, nthreads, dss, lg_dirty_mult,
3243 decay_time, nactive, ndirty);
Jason Evans609ae592012-10-11 13:53:15 -07003244
3245 astats->mapped += arena->stats.mapped;
3246 astats->npurge += arena->stats.npurge;
3247 astats->nmadvise += arena->stats.nmadvise;
3248 astats->purged += arena->stats.purged;
Jason Evans4581b972014-11-27 17:22:36 -02003249 astats->metadata_mapped += arena->stats.metadata_mapped;
3250 astats->metadata_allocated += arena_metadata_allocated_get(arena);
Jason Evans609ae592012-10-11 13:53:15 -07003251 astats->allocated_large += arena->stats.allocated_large;
3252 astats->nmalloc_large += arena->stats.nmalloc_large;
3253 astats->ndalloc_large += arena->stats.ndalloc_large;
3254 astats->nrequests_large += arena->stats.nrequests_large;
Jason Evanse2deab72014-05-15 22:22:27 -07003255 astats->allocated_huge += arena->stats.allocated_huge;
3256 astats->nmalloc_huge += arena->stats.nmalloc_huge;
3257 astats->ndalloc_huge += arena->stats.ndalloc_huge;
Jason Evans609ae592012-10-11 13:53:15 -07003258
3259 for (i = 0; i < nlclasses; i++) {
3260 lstats[i].nmalloc += arena->stats.lstats[i].nmalloc;
3261 lstats[i].ndalloc += arena->stats.lstats[i].ndalloc;
3262 lstats[i].nrequests += arena->stats.lstats[i].nrequests;
3263 lstats[i].curruns += arena->stats.lstats[i].curruns;
3264 }
Jason Evans3c4d92e2014-10-12 22:53:59 -07003265
3266 for (i = 0; i < nhclasses; i++) {
3267 hstats[i].nmalloc += arena->stats.hstats[i].nmalloc;
3268 hstats[i].ndalloc += arena->stats.hstats[i].ndalloc;
3269 hstats[i].curhchunks += arena->stats.hstats[i].curhchunks;
3270 }
Jason Evans609ae592012-10-11 13:53:15 -07003271 malloc_mutex_unlock(&arena->lock);
3272
3273 for (i = 0; i < NBINS; i++) {
3274 arena_bin_t *bin = &arena->bins[i];
3275
3276 malloc_mutex_lock(&bin->lock);
Jason Evans609ae592012-10-11 13:53:15 -07003277 bstats[i].nmalloc += bin->stats.nmalloc;
3278 bstats[i].ndalloc += bin->stats.ndalloc;
3279 bstats[i].nrequests += bin->stats.nrequests;
Jason Evans3c4d92e2014-10-12 22:53:59 -07003280 bstats[i].curregs += bin->stats.curregs;
Jason Evans609ae592012-10-11 13:53:15 -07003281 if (config_tcache) {
3282 bstats[i].nfills += bin->stats.nfills;
3283 bstats[i].nflushes += bin->stats.nflushes;
3284 }
3285 bstats[i].nruns += bin->stats.nruns;
3286 bstats[i].reruns += bin->stats.reruns;
3287 bstats[i].curruns += bin->stats.curruns;
3288 malloc_mutex_unlock(&bin->lock);
3289 }
3290}
3291
Jason Evans767d8502016-02-24 23:58:10 -08003292unsigned
3293arena_nthreads_get(arena_t *arena)
3294{
3295
3296 return (atomic_read_u(&arena->nthreads));
3297}
3298
3299void
3300arena_nthreads_inc(arena_t *arena)
3301{
3302
3303 atomic_add_u(&arena->nthreads, 1);
3304}
3305
3306void
3307arena_nthreads_dec(arena_t *arena)
3308{
3309
3310 atomic_sub_u(&arena->nthreads, 1);
3311}
3312
Jason Evans8bb31982014-10-07 23:14:57 -07003313arena_t *
3314arena_new(unsigned ind)
Jason Evanse476f8a2010-01-16 09:53:50 -08003315{
Jason Evans8bb31982014-10-07 23:14:57 -07003316 arena_t *arena;
Dave Watson3417a302016-02-23 12:06:21 -08003317 size_t arena_size;
Jason Evanse476f8a2010-01-16 09:53:50 -08003318 unsigned i;
3319 arena_bin_t *bin;
Jason Evanse476f8a2010-01-16 09:53:50 -08003320
Dave Watson3417a302016-02-23 12:06:21 -08003321 /* Compute arena size to incorporate sufficient runs_avail elements. */
Jason Evansae451422016-02-23 18:27:24 -08003322 arena_size = offsetof(arena_t, runs_avail) + (sizeof(arena_run_tree_t) *
Dave Watson38127292016-02-24 20:10:02 -08003323 runs_avail_nclasses);
Jason Evans8bb31982014-10-07 23:14:57 -07003324 /*
Jason Evans3c4d92e2014-10-12 22:53:59 -07003325 * Allocate arena, arena->lstats, and arena->hstats contiguously, mainly
3326 * because there is no way to clean up if base_alloc() OOMs.
Jason Evans8bb31982014-10-07 23:14:57 -07003327 */
3328 if (config_stats) {
Dave Watson3417a302016-02-23 12:06:21 -08003329 arena = (arena_t *)base_alloc(CACHELINE_CEILING(arena_size) +
3330 QUANTUM_CEILING(nlclasses * sizeof(malloc_large_stats_t) +
Jason Evans3c4d92e2014-10-12 22:53:59 -07003331 nhclasses) * sizeof(malloc_huge_stats_t));
Jason Evans8bb31982014-10-07 23:14:57 -07003332 } else
Dave Watson3417a302016-02-23 12:06:21 -08003333 arena = (arena_t *)base_alloc(arena_size);
Jason Evans8bb31982014-10-07 23:14:57 -07003334 if (arena == NULL)
3335 return (NULL);
3336
Jason Evans6109fe02010-02-10 10:37:56 -08003337 arena->ind = ind;
Jason Evans597632b2011-03-18 13:41:33 -07003338 arena->nthreads = 0;
Jason Evanscbf3a6d2015-02-11 12:24:27 -08003339 if (malloc_mutex_init(&arena->lock))
3340 return (NULL);
Jason Evanse476f8a2010-01-16 09:53:50 -08003341
Jason Evans7372b152012-02-10 20:22:09 -08003342 if (config_stats) {
3343 memset(&arena->stats, 0, sizeof(arena_stats_t));
Jason Evansd49cb682014-11-17 10:31:59 -08003344 arena->stats.lstats = (malloc_large_stats_t *)((uintptr_t)arena
Dave Watson3417a302016-02-23 12:06:21 -08003345 + CACHELINE_CEILING(arena_size));
Jason Evans7372b152012-02-10 20:22:09 -08003346 memset(arena->stats.lstats, 0, nlclasses *
3347 sizeof(malloc_large_stats_t));
Jason Evansd49cb682014-11-17 10:31:59 -08003348 arena->stats.hstats = (malloc_huge_stats_t *)((uintptr_t)arena
Dave Watson3417a302016-02-23 12:06:21 -08003349 + CACHELINE_CEILING(arena_size) +
Jason Evans3c4d92e2014-10-12 22:53:59 -07003350 QUANTUM_CEILING(nlclasses * sizeof(malloc_large_stats_t)));
3351 memset(arena->stats.hstats, 0, nhclasses *
3352 sizeof(malloc_huge_stats_t));
Jason Evans7372b152012-02-10 20:22:09 -08003353 if (config_tcache)
3354 ql_new(&arena->tcache_ql);
3355 }
Jason Evanse476f8a2010-01-16 09:53:50 -08003356
Jason Evans7372b152012-02-10 20:22:09 -08003357 if (config_prof)
3358 arena->prof_accumbytes = 0;
Jason Evansd34f9e72010-02-11 13:19:21 -08003359
Jason Evans8a03cf02015-05-04 09:58:36 -07003360 if (config_cache_oblivious) {
3361 /*
3362 * A nondeterministic seed based on the address of arena reduces
3363 * the likelihood of lockstep non-uniform cache index
3364 * utilization among identical concurrent processes, but at the
3365 * cost of test repeatability. For debug builds, instead use a
3366 * deterministic seed.
3367 */
3368 arena->offset_state = config_debug ? ind :
3369 (uint64_t)(uintptr_t)arena;
3370 }
3371
Jason Evans609ae592012-10-11 13:53:15 -07003372 arena->dss_prec = chunk_dss_prec_get();
3373
Jason Evanse476f8a2010-01-16 09:53:50 -08003374 arena->spare = NULL;
3375
Jason Evans8d6a3e82015-03-18 18:55:33 -07003376 arena->lg_dirty_mult = arena_lg_dirty_mult_default_get();
Jason Evans0a9f9a42015-06-22 18:50:32 -07003377 arena->purging = false;
Jason Evanse476f8a2010-01-16 09:53:50 -08003378 arena->nactive = 0;
3379 arena->ndirty = 0;
3380
Dave Watson3417a302016-02-23 12:06:21 -08003381 for(i = 0; i < runs_avail_nclasses; i++)
Jason Evansae451422016-02-23 18:27:24 -08003382 arena_run_tree_new(&arena->runs_avail[i]);
Jason Evansee41ad42015-02-15 18:04:46 -08003383 qr_new(&arena->runs_dirty, rd_link);
Jason Evans738e0892015-02-18 01:15:50 -08003384 qr_new(&arena->chunks_cache, cc_link);
Jason Evansee41ad42015-02-15 18:04:46 -08003385
Jason Evans243f7a02016-02-19 20:09:31 -08003386 if (opt_purge == purge_mode_decay)
3387 arena_decay_init(arena, arena_decay_time_default_get());
3388
Jason Evansee41ad42015-02-15 18:04:46 -08003389 ql_new(&arena->huge);
3390 if (malloc_mutex_init(&arena->huge_mtx))
3391 return (NULL);
3392
Jason Evansb49a3342015-07-28 11:28:19 -04003393 extent_tree_szad_new(&arena->chunks_szad_cached);
3394 extent_tree_ad_new(&arena->chunks_ad_cached);
3395 extent_tree_szad_new(&arena->chunks_szad_retained);
3396 extent_tree_ad_new(&arena->chunks_ad_retained);
Jason Evansee41ad42015-02-15 18:04:46 -08003397 if (malloc_mutex_init(&arena->chunks_mtx))
3398 return (NULL);
3399 ql_new(&arena->node_cache);
3400 if (malloc_mutex_init(&arena->node_cache_mtx))
3401 return (NULL);
3402
Jason Evansb49a3342015-07-28 11:28:19 -04003403 arena->chunk_hooks = chunk_hooks_default;
Jason Evanse476f8a2010-01-16 09:53:50 -08003404
3405 /* Initialize bins. */
Jason Evansb1726102012-02-28 16:50:47 -08003406 for (i = 0; i < NBINS; i++) {
Jason Evanse476f8a2010-01-16 09:53:50 -08003407 bin = &arena->bins[i];
Jason Evans86815df2010-03-13 20:32:56 -08003408 if (malloc_mutex_init(&bin->lock))
Jason Evans8bb31982014-10-07 23:14:57 -07003409 return (NULL);
Jason Evanse476f8a2010-01-16 09:53:50 -08003410 bin->runcur = NULL;
3411 arena_run_tree_new(&bin->runs);
Jason Evans7372b152012-02-10 20:22:09 -08003412 if (config_stats)
3413 memset(&bin->stats, 0, sizeof(malloc_bin_stats_t));
Jason Evanse476f8a2010-01-16 09:53:50 -08003414 }
3415
Jason Evans8bb31982014-10-07 23:14:57 -07003416 return (arena);
Jason Evanse476f8a2010-01-16 09:53:50 -08003417}
3418
Jason Evans49f7e8f2011-03-15 13:59:15 -07003419/*
3420 * Calculate bin_info->run_size such that it meets the following constraints:
3421 *
Jason Evans155bfa72014-10-05 17:54:10 -07003422 * *) bin_info->run_size <= arena_maxrun
Jason Evans47e57f92011-03-22 09:00:56 -07003423 * *) bin_info->nregs <= RUN_MAXREGS
Jason Evans49f7e8f2011-03-15 13:59:15 -07003424 *
Jason Evans0c5dd032014-09-29 01:31:39 -07003425 * bin_info->nregs and bin_info->reg0_offset are also calculated here, since
3426 * these settings are all interdependent.
Jason Evans49f7e8f2011-03-15 13:59:15 -07003427 */
Jason Evans0c5dd032014-09-29 01:31:39 -07003428static void
3429bin_info_run_size_calc(arena_bin_info_t *bin_info)
Jason Evans49f7e8f2011-03-15 13:59:15 -07003430{
Jason Evans122449b2012-04-06 00:35:09 -07003431 size_t pad_size;
Jason Evans0c5dd032014-09-29 01:31:39 -07003432 size_t try_run_size, perfect_run_size, actual_run_size;
3433 uint32_t try_nregs, perfect_nregs, actual_nregs;
Jason Evans49f7e8f2011-03-15 13:59:15 -07003434
3435 /*
Jason Evans122449b2012-04-06 00:35:09 -07003436 * Determine redzone size based on minimum alignment and minimum
3437 * redzone size. Add padding to the end of the run if it is needed to
3438 * align the regions. The padding allows each redzone to be half the
3439 * minimum alignment; without the padding, each redzone would have to
3440 * be twice as large in order to maintain alignment.
3441 */
Jason Evans9c640bf2014-09-11 16:20:44 -07003442 if (config_fill && unlikely(opt_redzone)) {
Jason Evans9f4ee602016-02-24 10:32:45 -08003443 size_t align_min = ZU(1) << (ffs_zu(bin_info->reg_size) - 1);
Jason Evans122449b2012-04-06 00:35:09 -07003444 if (align_min <= REDZONE_MINSIZE) {
3445 bin_info->redzone_size = REDZONE_MINSIZE;
3446 pad_size = 0;
3447 } else {
3448 bin_info->redzone_size = align_min >> 1;
3449 pad_size = bin_info->redzone_size;
3450 }
3451 } else {
3452 bin_info->redzone_size = 0;
3453 pad_size = 0;
3454 }
3455 bin_info->reg_interval = bin_info->reg_size +
3456 (bin_info->redzone_size << 1);
3457
3458 /*
Jason Evans0c5dd032014-09-29 01:31:39 -07003459 * Compute run size under ideal conditions (no redzones, no limit on run
3460 * size).
Jason Evans49f7e8f2011-03-15 13:59:15 -07003461 */
Jason Evans0c5dd032014-09-29 01:31:39 -07003462 try_run_size = PAGE;
Jason Evans9e1810c2016-02-24 12:42:23 -08003463 try_nregs = (uint32_t)(try_run_size / bin_info->reg_size);
Jason Evans49f7e8f2011-03-15 13:59:15 -07003464 do {
Jason Evans0c5dd032014-09-29 01:31:39 -07003465 perfect_run_size = try_run_size;
3466 perfect_nregs = try_nregs;
Jason Evans49f7e8f2011-03-15 13:59:15 -07003467
Jason Evansae4c7b42012-04-02 07:04:34 -07003468 try_run_size += PAGE;
Jason Evans9e1810c2016-02-24 12:42:23 -08003469 try_nregs = (uint32_t)(try_run_size / bin_info->reg_size);
Jason Evans0c5dd032014-09-29 01:31:39 -07003470 } while (perfect_run_size != perfect_nregs * bin_info->reg_size);
3471 assert(perfect_nregs <= RUN_MAXREGS);
Jason Evans49f7e8f2011-03-15 13:59:15 -07003472
Jason Evans0c5dd032014-09-29 01:31:39 -07003473 actual_run_size = perfect_run_size;
Jason Evans9e1810c2016-02-24 12:42:23 -08003474 actual_nregs = (uint32_t)((actual_run_size - pad_size) /
3475 bin_info->reg_interval);
Jason Evans0c5dd032014-09-29 01:31:39 -07003476
3477 /*
3478 * Redzones can require enough padding that not even a single region can
3479 * fit within the number of pages that would normally be dedicated to a
3480 * run for this size class. Increase the run size until at least one
3481 * region fits.
3482 */
3483 while (actual_nregs == 0) {
3484 assert(config_fill && unlikely(opt_redzone));
3485
3486 actual_run_size += PAGE;
Jason Evans9e1810c2016-02-24 12:42:23 -08003487 actual_nregs = (uint32_t)((actual_run_size - pad_size) /
3488 bin_info->reg_interval);
Jason Evans0c5dd032014-09-29 01:31:39 -07003489 }
3490
3491 /*
3492 * Make sure that the run will fit within an arena chunk.
3493 */
Jason Evans155bfa72014-10-05 17:54:10 -07003494 while (actual_run_size > arena_maxrun) {
Jason Evans0c5dd032014-09-29 01:31:39 -07003495 actual_run_size -= PAGE;
Jason Evans9e1810c2016-02-24 12:42:23 -08003496 actual_nregs = (uint32_t)((actual_run_size - pad_size) /
3497 bin_info->reg_interval);
Jason Evans0c5dd032014-09-29 01:31:39 -07003498 }
3499 assert(actual_nregs > 0);
Jason Evans5707d6f2015-03-06 17:14:05 -08003500 assert(actual_run_size == s2u(actual_run_size));
Jason Evans49f7e8f2011-03-15 13:59:15 -07003501
3502 /* Copy final settings. */
Jason Evans0c5dd032014-09-29 01:31:39 -07003503 bin_info->run_size = actual_run_size;
3504 bin_info->nregs = actual_nregs;
Jason Evans9e1810c2016-02-24 12:42:23 -08003505 bin_info->reg0_offset = (uint32_t)(actual_run_size - (actual_nregs *
3506 bin_info->reg_interval) - pad_size + bin_info->redzone_size);
Jason Evans122449b2012-04-06 00:35:09 -07003507
Jason Evans8a03cf02015-05-04 09:58:36 -07003508 if (actual_run_size > small_maxrun)
3509 small_maxrun = actual_run_size;
3510
Jason Evans122449b2012-04-06 00:35:09 -07003511 assert(bin_info->reg0_offset - bin_info->redzone_size + (bin_info->nregs
3512 * bin_info->reg_interval) + pad_size == bin_info->run_size);
Jason Evans49f7e8f2011-03-15 13:59:15 -07003513}
3514
Jason Evansb1726102012-02-28 16:50:47 -08003515static void
Jason Evans49f7e8f2011-03-15 13:59:15 -07003516bin_info_init(void)
3517{
3518 arena_bin_info_t *bin_info;
Jason Evans49f7e8f2011-03-15 13:59:15 -07003519
Jason Evans8a03cf02015-05-04 09:58:36 -07003520#define BIN_INFO_INIT_bin_yes(index, size) \
Jason Evansd04047c2014-05-28 16:11:55 -07003521 bin_info = &arena_bin_info[index]; \
Jason Evansb1726102012-02-28 16:50:47 -08003522 bin_info->reg_size = size; \
Jason Evans0c5dd032014-09-29 01:31:39 -07003523 bin_info_run_size_calc(bin_info); \
Jason Evansb1726102012-02-28 16:50:47 -08003524 bitmap_info_init(&bin_info->bitmap_info, bin_info->nregs);
Jason Evansd04047c2014-05-28 16:11:55 -07003525#define BIN_INFO_INIT_bin_no(index, size)
3526#define SC(index, lg_grp, lg_delta, ndelta, bin, lg_delta_lookup) \
3527 BIN_INFO_INIT_bin_##bin(index, (ZU(1)<<lg_grp) + (ZU(ndelta)<<lg_delta))
Jason Evansb1726102012-02-28 16:50:47 -08003528 SIZE_CLASSES
Jason Evansd04047c2014-05-28 16:11:55 -07003529#undef BIN_INFO_INIT_bin_yes
3530#undef BIN_INFO_INIT_bin_no
3531#undef SC
Jason Evans49f7e8f2011-03-15 13:59:15 -07003532}
3533
Jason Evans8a03cf02015-05-04 09:58:36 -07003534static bool
3535small_run_size_init(void)
3536{
3537
3538 assert(small_maxrun != 0);
3539
3540 small_run_tab = (bool *)base_alloc(sizeof(bool) * (small_maxrun >>
3541 LG_PAGE));
3542 if (small_run_tab == NULL)
3543 return (true);
3544
3545#define TAB_INIT_bin_yes(index, size) { \
3546 arena_bin_info_t *bin_info = &arena_bin_info[index]; \
3547 small_run_tab[bin_info->run_size >> LG_PAGE] = true; \
3548 }
3549#define TAB_INIT_bin_no(index, size)
3550#define SC(index, lg_grp, lg_delta, ndelta, bin, lg_delta_lookup) \
3551 TAB_INIT_bin_##bin(index, (ZU(1)<<lg_grp) + (ZU(ndelta)<<lg_delta))
3552 SIZE_CLASSES
3553#undef TAB_INIT_bin_yes
3554#undef TAB_INIT_bin_no
3555#undef SC
3556
3557 return (false);
3558}
3559
Jason Evans0da8ce12016-02-22 16:20:56 -08003560static bool
3561run_quantize_init(void)
3562{
3563 unsigned i;
3564
3565 run_quantize_max = chunksize + large_pad;
3566
3567 run_quantize_floor_tab = (size_t *)base_alloc(sizeof(size_t) *
3568 (run_quantize_max >> LG_PAGE));
3569 if (run_quantize_floor_tab == NULL)
3570 return (true);
3571
3572 run_quantize_ceil_tab = (size_t *)base_alloc(sizeof(size_t) *
3573 (run_quantize_max >> LG_PAGE));
3574 if (run_quantize_ceil_tab == NULL)
3575 return (true);
3576
3577 for (i = 1; i <= run_quantize_max >> LG_PAGE; i++) {
3578 size_t run_size = i << LG_PAGE;
3579
3580 run_quantize_floor_tab[i-1] =
3581 run_quantize_floor_compute(run_size);
3582 run_quantize_ceil_tab[i-1] =
3583 run_quantize_ceil_compute(run_size);
3584 }
3585
3586 return (false);
3587}
3588
Jason Evans8a03cf02015-05-04 09:58:36 -07003589bool
Jason Evansa0bf2422010-01-29 14:30:41 -08003590arena_boot(void)
Jason Evanse476f8a2010-01-16 09:53:50 -08003591{
Jason Evans7393f442010-10-01 17:35:43 -07003592 unsigned i;
Jason Evanse476f8a2010-01-16 09:53:50 -08003593
Jason Evans8d6a3e82015-03-18 18:55:33 -07003594 arena_lg_dirty_mult_default_set(opt_lg_dirty_mult);
Jason Evans243f7a02016-02-19 20:09:31 -08003595 arena_decay_time_default_set(opt_decay_time);
Jason Evans8d6a3e82015-03-18 18:55:33 -07003596
Jason Evanse476f8a2010-01-16 09:53:50 -08003597 /*
3598 * Compute the header size such that it is large enough to contain the
Jason Evans7393f442010-10-01 17:35:43 -07003599 * page map. The page map is biased to omit entries for the header
3600 * itself, so some iteration is necessary to compute the map bias.
3601 *
3602 * 1) Compute safe header_size and map_bias values that include enough
3603 * space for an unbiased page map.
3604 * 2) Refine map_bias based on (1) to omit the header pages in the page
3605 * map. The resulting map_bias may be one too small.
3606 * 3) Refine map_bias based on (2). The result will be >= the result
3607 * from (2), and will always be correct.
Jason Evanse476f8a2010-01-16 09:53:50 -08003608 */
Jason Evans7393f442010-10-01 17:35:43 -07003609 map_bias = 0;
3610 for (i = 0; i < 3; i++) {
Dmitry-Mea306a602015-09-04 13:15:28 +03003611 size_t header_size = offsetof(arena_chunk_t, map_bits) +
Qinfan Wuff6a31d2014-08-29 13:34:40 -07003612 ((sizeof(arena_chunk_map_bits_t) +
3613 sizeof(arena_chunk_map_misc_t)) * (chunk_npages-map_bias));
Jason Evans0c5dd032014-09-29 01:31:39 -07003614 map_bias = (header_size + PAGE_MASK) >> LG_PAGE;
Jason Evans7393f442010-10-01 17:35:43 -07003615 }
3616 assert(map_bias > 0);
3617
Qinfan Wuff6a31d2014-08-29 13:34:40 -07003618 map_misc_offset = offsetof(arena_chunk_t, map_bits) +
3619 sizeof(arena_chunk_map_bits_t) * (chunk_npages-map_bias);
3620
Jason Evans155bfa72014-10-05 17:54:10 -07003621 arena_maxrun = chunksize - (map_bias << LG_PAGE);
Jason Evansfc0b3b72014-10-09 17:54:06 -07003622 assert(arena_maxrun > 0);
Jason Evans676df882015-09-11 20:50:20 -07003623 large_maxclass = index2size(size2index(chunksize)-1);
3624 if (large_maxclass > arena_maxrun) {
Jason Evans155bfa72014-10-05 17:54:10 -07003625 /*
3626 * For small chunk sizes it's possible for there to be fewer
3627 * non-header pages available than are necessary to serve the
3628 * size classes just below chunksize.
3629 */
Jason Evans676df882015-09-11 20:50:20 -07003630 large_maxclass = arena_maxrun;
Jason Evans155bfa72014-10-05 17:54:10 -07003631 }
Jason Evans676df882015-09-11 20:50:20 -07003632 assert(large_maxclass > 0);
3633 nlclasses = size2index(large_maxclass) - size2index(SMALL_MAXCLASS);
Jason Evans3c4d92e2014-10-12 22:53:59 -07003634 nhclasses = NSIZES - nlclasses - NBINS;
Jason Evansa0bf2422010-01-29 14:30:41 -08003635
Jason Evansb1726102012-02-28 16:50:47 -08003636 bin_info_init();
Jason Evans0da8ce12016-02-22 16:20:56 -08003637 if (small_run_size_init())
3638 return (true);
3639 if (run_quantize_init())
3640 return (true);
3641
Dave Watson3417a302016-02-23 12:06:21 -08003642 runs_avail_bias = size2index(PAGE);
3643 runs_avail_nclasses = size2index(run_quantize_max)+1 - runs_avail_bias;
3644
Jason Evans0da8ce12016-02-22 16:20:56 -08003645 return (false);
Jason Evanse476f8a2010-01-16 09:53:50 -08003646}
Jason Evans4e2e3dd2012-03-13 16:31:41 -07003647
3648void
3649arena_prefork(arena_t *arena)
3650{
3651 unsigned i;
3652
3653 malloc_mutex_prefork(&arena->lock);
Jason Evanscbf3a6d2015-02-11 12:24:27 -08003654 malloc_mutex_prefork(&arena->huge_mtx);
3655 malloc_mutex_prefork(&arena->chunks_mtx);
3656 malloc_mutex_prefork(&arena->node_cache_mtx);
Jason Evans4e2e3dd2012-03-13 16:31:41 -07003657 for (i = 0; i < NBINS; i++)
3658 malloc_mutex_prefork(&arena->bins[i].lock);
3659}
3660
3661void
3662arena_postfork_parent(arena_t *arena)
3663{
3664 unsigned i;
3665
3666 for (i = 0; i < NBINS; i++)
3667 malloc_mutex_postfork_parent(&arena->bins[i].lock);
Jason Evanscbf3a6d2015-02-11 12:24:27 -08003668 malloc_mutex_postfork_parent(&arena->node_cache_mtx);
3669 malloc_mutex_postfork_parent(&arena->chunks_mtx);
3670 malloc_mutex_postfork_parent(&arena->huge_mtx);
Jason Evans4e2e3dd2012-03-13 16:31:41 -07003671 malloc_mutex_postfork_parent(&arena->lock);
3672}
3673
3674void
3675arena_postfork_child(arena_t *arena)
3676{
3677 unsigned i;
3678
3679 for (i = 0; i < NBINS; i++)
3680 malloc_mutex_postfork_child(&arena->bins[i].lock);
Jason Evanscbf3a6d2015-02-11 12:24:27 -08003681 malloc_mutex_postfork_child(&arena->node_cache_mtx);
3682 malloc_mutex_postfork_child(&arena->chunks_mtx);
3683 malloc_mutex_postfork_child(&arena->huge_mtx);
Jason Evans4e2e3dd2012-03-13 16:31:41 -07003684 malloc_mutex_postfork_child(&arena->lock);
3685}