21dfa4300d
```
grep -Irl assert_ test/ | xargs sed -i \
's/witness_assert/witness_do_not_replace/g';
grep -Irl assert_ test/ | xargs sed -i \
's/malloc_mutex_assert_owner/malloc_mutex_do_not_replace_owner/g';
grep -Ir assert_ test/ | grep -o "[_a-zA-Z]*assert_[_a-zA-Z]*" | \
grep -v "^assert_"; # confirm no output
grep -Irl assert_ test/ | xargs sed -i 's/assert_/expect_/g';
grep -Irl witness_do_not_replace test/ | xargs sed -i \
's/witness_do_not_replace/witness_assert/g';
grep -Irl malloc_mutex_do_not_replace_owner test/ | xargs sed -i \
's/malloc_mutex_do_not_replace_owner/malloc_mutex_assert_owner/g';
```
142 lines
4.2 KiB
C
142 lines
4.2 KiB
C
#include "test/jemalloc_test.h"
|
|
|
|
TEST_BEGIN(test_small_extent_size) {
|
|
unsigned nbins, i;
|
|
size_t sz, extent_size;
|
|
size_t mib[4];
|
|
size_t miblen = sizeof(mib) / sizeof(size_t);
|
|
|
|
/*
|
|
* Iterate over all small size classes, get their extent sizes, and
|
|
* verify that the quantized size is the same as the extent size.
|
|
*/
|
|
|
|
sz = sizeof(unsigned);
|
|
expect_d_eq(mallctl("arenas.nbins", (void *)&nbins, &sz, NULL, 0), 0,
|
|
"Unexpected mallctl failure");
|
|
|
|
expect_d_eq(mallctlnametomib("arenas.bin.0.slab_size", mib, &miblen), 0,
|
|
"Unexpected mallctlnametomib failure");
|
|
for (i = 0; i < nbins; i++) {
|
|
mib[2] = i;
|
|
sz = sizeof(size_t);
|
|
expect_d_eq(mallctlbymib(mib, miblen, (void *)&extent_size, &sz,
|
|
NULL, 0), 0, "Unexpected mallctlbymib failure");
|
|
expect_zu_eq(extent_size,
|
|
sz_psz_quantize_floor(extent_size),
|
|
"Small extent quantization should be a no-op "
|
|
"(extent_size=%zu)", extent_size);
|
|
expect_zu_eq(extent_size,
|
|
sz_psz_quantize_ceil(extent_size),
|
|
"Small extent quantization should be a no-op "
|
|
"(extent_size=%zu)", extent_size);
|
|
}
|
|
}
|
|
TEST_END
|
|
|
|
TEST_BEGIN(test_large_extent_size) {
|
|
bool cache_oblivious;
|
|
unsigned nlextents, i;
|
|
size_t sz, extent_size_prev, ceil_prev;
|
|
size_t mib[4];
|
|
size_t miblen = sizeof(mib) / sizeof(size_t);
|
|
|
|
/*
|
|
* Iterate over all large size classes, get their extent sizes, and
|
|
* verify that the quantized size is the same as the extent size.
|
|
*/
|
|
|
|
sz = sizeof(bool);
|
|
expect_d_eq(mallctl("config.cache_oblivious", (void *)&cache_oblivious,
|
|
&sz, NULL, 0), 0, "Unexpected mallctl failure");
|
|
|
|
sz = sizeof(unsigned);
|
|
expect_d_eq(mallctl("arenas.nlextents", (void *)&nlextents, &sz, NULL,
|
|
0), 0, "Unexpected mallctl failure");
|
|
|
|
expect_d_eq(mallctlnametomib("arenas.lextent.0.size", mib, &miblen), 0,
|
|
"Unexpected mallctlnametomib failure");
|
|
for (i = 0; i < nlextents; i++) {
|
|
size_t lextent_size, extent_size, floor, ceil;
|
|
|
|
mib[2] = i;
|
|
sz = sizeof(size_t);
|
|
expect_d_eq(mallctlbymib(mib, miblen, (void *)&lextent_size,
|
|
&sz, NULL, 0), 0, "Unexpected mallctlbymib failure");
|
|
extent_size = cache_oblivious ? lextent_size + PAGE :
|
|
lextent_size;
|
|
floor = sz_psz_quantize_floor(extent_size);
|
|
ceil = sz_psz_quantize_ceil(extent_size);
|
|
|
|
expect_zu_eq(extent_size, floor,
|
|
"Extent quantization should be a no-op for precise size "
|
|
"(lextent_size=%zu, extent_size=%zu)", lextent_size,
|
|
extent_size);
|
|
expect_zu_eq(extent_size, ceil,
|
|
"Extent quantization should be a no-op for precise size "
|
|
"(lextent_size=%zu, extent_size=%zu)", lextent_size,
|
|
extent_size);
|
|
|
|
if (i > 0) {
|
|
expect_zu_eq(extent_size_prev,
|
|
sz_psz_quantize_floor(extent_size - PAGE),
|
|
"Floor should be a precise size");
|
|
if (extent_size_prev < ceil_prev) {
|
|
expect_zu_eq(ceil_prev, extent_size,
|
|
"Ceiling should be a precise size "
|
|
"(extent_size_prev=%zu, ceil_prev=%zu, "
|
|
"extent_size=%zu)", extent_size_prev,
|
|
ceil_prev, extent_size);
|
|
}
|
|
}
|
|
if (i + 1 < nlextents) {
|
|
extent_size_prev = floor;
|
|
ceil_prev = sz_psz_quantize_ceil(extent_size +
|
|
PAGE);
|
|
}
|
|
}
|
|
}
|
|
TEST_END
|
|
|
|
TEST_BEGIN(test_monotonic) {
|
|
#define SZ_MAX ZU(4 * 1024 * 1024)
|
|
unsigned i;
|
|
size_t floor_prev, ceil_prev;
|
|
|
|
floor_prev = 0;
|
|
ceil_prev = 0;
|
|
for (i = 1; i <= SZ_MAX >> LG_PAGE; i++) {
|
|
size_t extent_size, floor, ceil;
|
|
|
|
extent_size = i << LG_PAGE;
|
|
floor = sz_psz_quantize_floor(extent_size);
|
|
ceil = sz_psz_quantize_ceil(extent_size);
|
|
|
|
expect_zu_le(floor, extent_size,
|
|
"Floor should be <= (floor=%zu, extent_size=%zu, ceil=%zu)",
|
|
floor, extent_size, ceil);
|
|
expect_zu_ge(ceil, extent_size,
|
|
"Ceiling should be >= (floor=%zu, extent_size=%zu, "
|
|
"ceil=%zu)", floor, extent_size, ceil);
|
|
|
|
expect_zu_le(floor_prev, floor, "Floor should be monotonic "
|
|
"(floor_prev=%zu, floor=%zu, extent_size=%zu, ceil=%zu)",
|
|
floor_prev, floor, extent_size, ceil);
|
|
expect_zu_le(ceil_prev, ceil, "Ceiling should be monotonic "
|
|
"(floor=%zu, extent_size=%zu, ceil_prev=%zu, ceil=%zu)",
|
|
floor, extent_size, ceil_prev, ceil);
|
|
|
|
floor_prev = floor;
|
|
ceil_prev = ceil;
|
|
}
|
|
}
|
|
TEST_END
|
|
|
|
int
|
|
main(void) {
|
|
return test(
|
|
test_small_extent_size,
|
|
test_large_extent_size,
|
|
test_monotonic);
|
|
}
|