Revert to first-best-fit run/chunk allocation.

This effectively reverts 97c04a9383 (Use
first-fit rather than first-best-fit run/chunk allocation.).  In some
pathological cases, first-fit search dominates allocation time, and it
also tends not to converge as readily on a steady state of memory
layout, since precise allocation order has a bigger effect than for
first-best-fit.
This commit is contained in:
Jason Evans 2015-07-15 16:02:21 -07:00
parent 8693a9ea05
commit aa2826621e
3 changed files with 26 additions and 77 deletions

View File

@ -332,7 +332,7 @@ struct arena_s {
/* /*
* Size/address-ordered tree of this arena's available runs. The tree * Size/address-ordered tree of this arena's available runs. The tree
* is used for first-fit run allocation. * is used for first-best-fit run allocation.
*/ */
arena_avail_tree_t runs_avail; arena_avail_tree_t runs_avail;

View File

@ -979,53 +979,28 @@ arena_chunk_ralloc_huge_expand(arena_t *arena, void *chunk, size_t oldsize,
return (err); return (err);
} }
/* Do first-fit run selection. */ /*
* Do first-best-fit run selection, i.e. select the lowest run that best fits.
* Run sizes are quantized, so not all candidate runs are necessarily exactly
* the same size.
*/
static arena_run_t * static arena_run_t *
arena_run_first_fit(arena_t *arena, size_t size) arena_run_first_best_fit(arena_t *arena, size_t size)
{ {
arena_run_t *run; size_t search_size = run_quantize_first(size);
size_t search_size, max_size; arena_chunk_map_misc_t *key = (arena_chunk_map_misc_t *)
(search_size | CHUNK_MAP_KEY);
assert(size == s2u(size)); arena_chunk_map_misc_t *miscelm =
assert(size == PAGE_CEILING(size)); arena_avail_tree_nsearch(&arena->runs_avail, key);
if (miscelm == NULL)
/* return (NULL);
* Iterate over all size classes that are at least large enough to return (&miscelm->run);
* satisfy the request, search for the lowest run of each size class,
* and choose the lowest of the runs found.
*/
run = NULL;
for (search_size = run_quantize_first(size), max_size =
run_quantize(arena_maxclass + large_pad); search_size <= max_size;
search_size = run_quantize_next(search_size)) {
arena_run_t *currun;
arena_chunk_t *currun_chunk;
size_t currun_pageind, currun_size;
arena_chunk_map_misc_t *key = (arena_chunk_map_misc_t *)
(search_size | CHUNK_MAP_KEY);
arena_chunk_map_misc_t *miscelm =
arena_avail_tree_nsearch(&arena->runs_avail, key);
if (miscelm == NULL)
break;
currun = &miscelm->run;
if (run == NULL || (uintptr_t)currun < (uintptr_t)run)
run = currun;
/* Skip iteration(s) if run is larger than the search size. */
currun_chunk = (arena_chunk_t *)CHUNK_ADDR2BASE(currun);
currun_pageind = arena_miscelm_to_pageind(miscelm);
currun_size = arena_mapbits_unallocated_size_get(currun_chunk,
currun_pageind);
assert(currun_size >= search_size);
search_size = currun_size;
}
return (run);
} }
static arena_run_t * static arena_run_t *
arena_run_alloc_large_helper(arena_t *arena, size_t size, bool zero) arena_run_alloc_large_helper(arena_t *arena, size_t size, bool zero)
{ {
arena_run_t *run = arena_run_first_fit(arena, s2u(size)); arena_run_t *run = arena_run_first_best_fit(arena, s2u(size));
if (run != NULL) if (run != NULL)
arena_run_split_large(arena, run, size, zero); arena_run_split_large(arena, run, size, zero);
return (run); return (run);
@ -1066,7 +1041,7 @@ arena_run_alloc_large(arena_t *arena, size_t size, bool zero)
static arena_run_t * static arena_run_t *
arena_run_alloc_small_helper(arena_t *arena, size_t size, index_t binind) arena_run_alloc_small_helper(arena_t *arena, size_t size, index_t binind)
{ {
arena_run_t *run = arena_run_first_fit(arena, size); arena_run_t *run = arena_run_first_best_fit(arena, size);
if (run != NULL) if (run != NULL)
arena_run_split_small(arena, run, size, binind); arena_run_split_small(arena, run, size, binind);
return (run); return (run);

View File

@ -62,46 +62,20 @@ chunk_deregister(const void *chunk, const extent_node_t *node)
} }
} }
/* Do first-fit chunk selection. */ /*
* Do first-best-fit chunk selection, i.e. select the lowest chunk that best
* fits.
*/
static extent_node_t * static extent_node_t *
chunk_first_fit(arena_t *arena, extent_tree_t *chunks_szad, chunk_first_best_fit(arena_t *arena, extent_tree_t *chunks_szad,
extent_tree_t *chunks_ad, size_t size) extent_tree_t *chunks_ad, size_t size)
{ {
extent_node_t *node; extent_node_t key;
index_t index;
assert(size == CHUNK_CEILING(size)); assert(size == CHUNK_CEILING(size));
if (size == chunksize) { extent_node_init(&key, arena, NULL, size, false);
/* return (extent_tree_szad_nsearch(chunks_szad, &key));
* Any chunk will suffice, so simply select the one lowest in
* memory.
*/
return (extent_tree_ad_first(chunks_ad));
}
/*
* Iterate over all size classes that are at least large enough to
* satisfy the request, search for the lowest chunk of each size class,
* and choose the lowest of the chunks found.
*/
node = NULL;
for (index = size2index(size); index < NSIZES;) {
extent_node_t *curnode;
extent_node_t key;
extent_node_init(&key, arena, NULL,
CHUNK_CEILING(index2size(index)), false);
curnode = extent_tree_szad_nsearch(chunks_szad, &key);
if (curnode == NULL)
break;
if (node == NULL || (uintptr_t)extent_node_addr_get(curnode) <
(uintptr_t)extent_node_addr_get(node))
node = curnode;
assert(size2index(extent_node_size_get(curnode)) + 1 > index);
index = size2index(extent_node_size_get(curnode)) + 1;
}
return (node);
} }
static void * static void *
@ -127,7 +101,7 @@ chunk_recycle(arena_t *arena, extent_tree_t *chunks_szad,
extent_node_init(&key, arena, new_addr, alloc_size, false); extent_node_init(&key, arena, new_addr, alloc_size, false);
node = extent_tree_ad_search(chunks_ad, &key); node = extent_tree_ad_search(chunks_ad, &key);
} else { } else {
node = chunk_first_fit(arena, chunks_szad, chunks_ad, node = chunk_first_best_fit(arena, chunks_szad, chunks_ad,
alloc_size); alloc_size);
} }
if (node == NULL || (new_addr != NULL && extent_node_size_get(node) < if (node == NULL || (new_addr != NULL && extent_node_size_get(node) <