1 1.1 christos #include "test/jemalloc_test.h" 2 1.1 christos 3 1.1 christos #include "jemalloc/internal/rtree.h" 4 1.1 christos 5 1.1.1.2 christos #define INVALID_ARENA_IND ((1U << MALLOCX_ARENA_BITS) - 1) 6 1.1 christos 7 1.1 christos /* Potentially too large to safely place on the stack. */ 8 1.1 christos rtree_t test_rtree; 9 1.1 christos 10 1.1 christos TEST_BEGIN(test_rtree_read_empty) { 11 1.1 christos tsdn_t *tsdn; 12 1.1 christos 13 1.1 christos tsdn = tsdn_fetch(); 14 1.1 christos 15 1.1.1.2 christos base_t *base = base_new(tsdn, 0, &ehooks_default_extent_hooks, 16 1.1.1.2 christos /* metadata_use_hooks */ true); 17 1.1.1.2 christos expect_ptr_not_null(base, "Unexpected base_new failure"); 18 1.1.1.2 christos 19 1.1 christos rtree_t *rtree = &test_rtree; 20 1.1 christos rtree_ctx_t rtree_ctx; 21 1.1 christos rtree_ctx_data_init(&rtree_ctx); 22 1.1.1.2 christos expect_false(rtree_new(rtree, base, false), 23 1.1.1.2 christos "Unexpected rtree_new() failure"); 24 1.1.1.2 christos rtree_contents_t contents; 25 1.1.1.2 christos expect_true(rtree_read_independent(tsdn, rtree, &rtree_ctx, PAGE, 26 1.1.1.2 christos &contents), "rtree_read_independent() should fail on empty rtree."); 27 1.1.1.2 christos 28 1.1.1.2 christos base_delete(tsdn, base); 29 1.1 christos } 30 1.1 christos TEST_END 31 1.1 christos 32 1.1 christos #undef NTHREADS 33 1.1 christos #undef NITERS 34 1.1 christos #undef SEED 35 1.1 christos 36 1.1.1.2 christos static edata_t * 37 1.1.1.2 christos alloc_edata(void) { 38 1.1.1.2 christos void *ret = mallocx(sizeof(edata_t), MALLOCX_ALIGN(EDATA_ALIGNMENT)); 39 1.1.1.2 christos assert_ptr_not_null(ret, "Unexpected mallocx() failure"); 40 1.1.1.2 christos 41 1.1.1.2 christos return ret; 42 1.1.1.2 christos } 43 1.1.1.2 christos 44 1.1 christos TEST_BEGIN(test_rtree_extrema) { 45 1.1.1.2 christos edata_t *edata_a, *edata_b; 46 1.1.1.2 christos edata_a = alloc_edata(); 47 1.1.1.2 christos edata_b = alloc_edata(); 48 1.1.1.2 christos edata_init(edata_a, INVALID_ARENA_IND, NULL, SC_LARGE_MINCLASS, 49 1.1.1.2 christos false, sz_size2index(SC_LARGE_MINCLASS), 0, 50 1.1.1.2 christos extent_state_active, false, false, EXTENT_PAI_PAC, EXTENT_NOT_HEAD); 51 1.1.1.2 christos edata_init(edata_b, INVALID_ARENA_IND, NULL, 0, false, SC_NSIZES, 0, 52 1.1.1.2 christos extent_state_active, false, false, EXTENT_PAI_PAC, EXTENT_NOT_HEAD); 53 1.1 christos 54 1.1 christos tsdn_t *tsdn = tsdn_fetch(); 55 1.1 christos 56 1.1.1.2 christos base_t *base = base_new(tsdn, 0, &ehooks_default_extent_hooks, 57 1.1.1.2 christos /* metadata_use_hooks */ true); 58 1.1.1.2 christos expect_ptr_not_null(base, "Unexpected base_new failure"); 59 1.1.1.2 christos 60 1.1 christos rtree_t *rtree = &test_rtree; 61 1.1 christos rtree_ctx_t rtree_ctx; 62 1.1 christos rtree_ctx_data_init(&rtree_ctx); 63 1.1.1.2 christos expect_false(rtree_new(rtree, base, false), 64 1.1.1.2 christos "Unexpected rtree_new() failure"); 65 1.1 christos 66 1.1.1.2 christos rtree_contents_t contents_a; 67 1.1.1.2 christos contents_a.edata = edata_a; 68 1.1.1.2 christos contents_a.metadata.szind = edata_szind_get(edata_a); 69 1.1.1.2 christos contents_a.metadata.slab = edata_slab_get(edata_a); 70 1.1.1.2 christos contents_a.metadata.is_head = edata_is_head_get(edata_a); 71 1.1.1.2 christos contents_a.metadata.state = edata_state_get(edata_a); 72 1.1.1.2 christos expect_false(rtree_write(tsdn, rtree, &rtree_ctx, PAGE, contents_a), 73 1.1.1.2 christos "Unexpected rtree_write() failure"); 74 1.1.1.2 christos expect_false(rtree_write(tsdn, rtree, &rtree_ctx, PAGE, contents_a), 75 1.1 christos "Unexpected rtree_write() failure"); 76 1.1.1.2 christos rtree_contents_t read_contents_a = rtree_read(tsdn, rtree, &rtree_ctx, 77 1.1.1.2 christos PAGE); 78 1.1.1.2 christos expect_true(contents_a.edata == read_contents_a.edata 79 1.1.1.2 christos && contents_a.metadata.szind == read_contents_a.metadata.szind 80 1.1.1.2 christos && contents_a.metadata.slab == read_contents_a.metadata.slab 81 1.1.1.2 christos && contents_a.metadata.is_head == read_contents_a.metadata.is_head 82 1.1.1.2 christos && contents_a.metadata.state == read_contents_a.metadata.state, 83 1.1.1.2 christos "rtree_read() should return previously set value"); 84 1.1.1.2 christos 85 1.1.1.2 christos rtree_contents_t contents_b; 86 1.1.1.2 christos contents_b.edata = edata_b; 87 1.1.1.2 christos contents_b.metadata.szind = edata_szind_get_maybe_invalid(edata_b); 88 1.1.1.2 christos contents_b.metadata.slab = edata_slab_get(edata_b); 89 1.1.1.2 christos contents_b.metadata.is_head = edata_is_head_get(edata_b); 90 1.1.1.2 christos contents_b.metadata.state = edata_state_get(edata_b); 91 1.1.1.2 christos expect_false(rtree_write(tsdn, rtree, &rtree_ctx, ~((uintptr_t)0), 92 1.1.1.2 christos contents_b), "Unexpected rtree_write() failure"); 93 1.1.1.2 christos rtree_contents_t read_contents_b = rtree_read(tsdn, rtree, &rtree_ctx, 94 1.1.1.2 christos ~((uintptr_t)0)); 95 1.1.1.2 christos assert_true(contents_b.edata == read_contents_b.edata 96 1.1.1.2 christos && contents_b.metadata.szind == read_contents_b.metadata.szind 97 1.1.1.2 christos && contents_b.metadata.slab == read_contents_b.metadata.slab 98 1.1.1.2 christos && contents_b.metadata.is_head == read_contents_b.metadata.is_head 99 1.1.1.2 christos && contents_b.metadata.state == read_contents_b.metadata.state, 100 1.1.1.2 christos "rtree_read() should return previously set value"); 101 1.1 christos 102 1.1.1.2 christos base_delete(tsdn, base); 103 1.1 christos } 104 1.1 christos TEST_END 105 1.1 christos 106 1.1 christos TEST_BEGIN(test_rtree_bits) { 107 1.1 christos tsdn_t *tsdn = tsdn_fetch(); 108 1.1.1.2 christos base_t *base = base_new(tsdn, 0, &ehooks_default_extent_hooks, 109 1.1.1.2 christos /* metadata_use_hooks */ true); 110 1.1.1.2 christos expect_ptr_not_null(base, "Unexpected base_new failure"); 111 1.1 christos 112 1.1 christos uintptr_t keys[] = {PAGE, PAGE + 1, 113 1.1 christos PAGE + (((uintptr_t)1) << LG_PAGE) - 1}; 114 1.1.1.2 christos edata_t *edata_c = alloc_edata(); 115 1.1.1.2 christos edata_init(edata_c, INVALID_ARENA_IND, NULL, 0, false, SC_NSIZES, 0, 116 1.1.1.2 christos extent_state_active, false, false, EXTENT_PAI_PAC, EXTENT_NOT_HEAD); 117 1.1 christos 118 1.1 christos rtree_t *rtree = &test_rtree; 119 1.1 christos rtree_ctx_t rtree_ctx; 120 1.1 christos rtree_ctx_data_init(&rtree_ctx); 121 1.1.1.2 christos expect_false(rtree_new(rtree, base, false), 122 1.1.1.2 christos "Unexpected rtree_new() failure"); 123 1.1 christos 124 1.1 christos for (unsigned i = 0; i < sizeof(keys)/sizeof(uintptr_t); i++) { 125 1.1.1.2 christos rtree_contents_t contents; 126 1.1.1.2 christos contents.edata = edata_c; 127 1.1.1.2 christos contents.metadata.szind = SC_NSIZES; 128 1.1.1.2 christos contents.metadata.slab = false; 129 1.1.1.2 christos contents.metadata.is_head = false; 130 1.1.1.2 christos contents.metadata.state = extent_state_active; 131 1.1.1.2 christos 132 1.1.1.2 christos expect_false(rtree_write(tsdn, rtree, &rtree_ctx, keys[i], 133 1.1.1.2 christos contents), "Unexpected rtree_write() failure"); 134 1.1 christos for (unsigned j = 0; j < sizeof(keys)/sizeof(uintptr_t); j++) { 135 1.1.1.2 christos expect_ptr_eq(rtree_read(tsdn, rtree, &rtree_ctx, 136 1.1.1.2 christos keys[j]).edata, edata_c, 137 1.1.1.2 christos "rtree_edata_read() should return previously set " 138 1.1 christos "value and ignore insignificant key bits; i=%u, " 139 1.1 christos "j=%u, set key=%#"FMTxPTR", get key=%#"FMTxPTR, i, 140 1.1 christos j, keys[i], keys[j]); 141 1.1 christos } 142 1.1.1.2 christos expect_ptr_null(rtree_read(tsdn, rtree, &rtree_ctx, 143 1.1.1.2 christos (((uintptr_t)2) << LG_PAGE)).edata, 144 1.1 christos "Only leftmost rtree leaf should be set; i=%u", i); 145 1.1 christos rtree_clear(tsdn, rtree, &rtree_ctx, keys[i]); 146 1.1 christos } 147 1.1 christos 148 1.1.1.2 christos base_delete(tsdn, base); 149 1.1 christos } 150 1.1 christos TEST_END 151 1.1 christos 152 1.1 christos TEST_BEGIN(test_rtree_random) { 153 1.1 christos #define NSET 16 154 1.1 christos #define SEED 42 155 1.1 christos sfmt_t *sfmt = init_gen_rand(SEED); 156 1.1 christos tsdn_t *tsdn = tsdn_fetch(); 157 1.1.1.2 christos 158 1.1.1.2 christos base_t *base = base_new(tsdn, 0, &ehooks_default_extent_hooks, 159 1.1.1.2 christos /* metadata_use_hooks */ true); 160 1.1.1.2 christos expect_ptr_not_null(base, "Unexpected base_new failure"); 161 1.1.1.2 christos 162 1.1 christos uintptr_t keys[NSET]; 163 1.1 christos rtree_t *rtree = &test_rtree; 164 1.1 christos rtree_ctx_t rtree_ctx; 165 1.1 christos rtree_ctx_data_init(&rtree_ctx); 166 1.1 christos 167 1.1.1.2 christos edata_t *edata_d = alloc_edata(); 168 1.1.1.2 christos edata_init(edata_d, INVALID_ARENA_IND, NULL, 0, false, SC_NSIZES, 0, 169 1.1.1.2 christos extent_state_active, false, false, EXTENT_PAI_PAC, EXTENT_NOT_HEAD); 170 1.1 christos 171 1.1.1.2 christos expect_false(rtree_new(rtree, base, false), 172 1.1.1.2 christos "Unexpected rtree_new() failure"); 173 1.1 christos 174 1.1 christos for (unsigned i = 0; i < NSET; i++) { 175 1.1 christos keys[i] = (uintptr_t)gen_rand64(sfmt); 176 1.1 christos rtree_leaf_elm_t *elm = rtree_leaf_elm_lookup(tsdn, rtree, 177 1.1 christos &rtree_ctx, keys[i], false, true); 178 1.1.1.2 christos expect_ptr_not_null(elm, 179 1.1 christos "Unexpected rtree_leaf_elm_lookup() failure"); 180 1.1.1.2 christos rtree_contents_t contents; 181 1.1.1.2 christos contents.edata = edata_d; 182 1.1.1.2 christos contents.metadata.szind = SC_NSIZES; 183 1.1.1.2 christos contents.metadata.slab = false; 184 1.1.1.2 christos contents.metadata.is_head = false; 185 1.1.1.2 christos contents.metadata.state = edata_state_get(edata_d); 186 1.1.1.2 christos rtree_leaf_elm_write(tsdn, rtree, elm, contents); 187 1.1.1.2 christos expect_ptr_eq(rtree_read(tsdn, rtree, &rtree_ctx, 188 1.1.1.2 christos keys[i]).edata, edata_d, 189 1.1.1.2 christos "rtree_edata_read() should return previously set value"); 190 1.1 christos } 191 1.1 christos for (unsigned i = 0; i < NSET; i++) { 192 1.1.1.2 christos expect_ptr_eq(rtree_read(tsdn, rtree, &rtree_ctx, 193 1.1.1.2 christos keys[i]).edata, edata_d, 194 1.1.1.2 christos "rtree_edata_read() should return previously set value, " 195 1.1 christos "i=%u", i); 196 1.1 christos } 197 1.1 christos 198 1.1 christos for (unsigned i = 0; i < NSET; i++) { 199 1.1 christos rtree_clear(tsdn, rtree, &rtree_ctx, keys[i]); 200 1.1.1.2 christos expect_ptr_null(rtree_read(tsdn, rtree, &rtree_ctx, 201 1.1.1.2 christos keys[i]).edata, 202 1.1.1.2 christos "rtree_edata_read() should return previously set value"); 203 1.1 christos } 204 1.1 christos for (unsigned i = 0; i < NSET; i++) { 205 1.1.1.2 christos expect_ptr_null(rtree_read(tsdn, rtree, &rtree_ctx, 206 1.1.1.2 christos keys[i]).edata, 207 1.1.1.2 christos "rtree_edata_read() should return previously set value"); 208 1.1 christos } 209 1.1 christos 210 1.1.1.2 christos base_delete(tsdn, base); 211 1.1 christos fini_gen_rand(sfmt); 212 1.1 christos #undef NSET 213 1.1 christos #undef SEED 214 1.1 christos } 215 1.1 christos TEST_END 216 1.1 christos 217 1.1.1.2 christos static void 218 1.1.1.2 christos test_rtree_range_write(tsdn_t *tsdn, rtree_t *rtree, uintptr_t start, 219 1.1.1.2 christos uintptr_t end) { 220 1.1.1.2 christos rtree_ctx_t rtree_ctx; 221 1.1.1.2 christos rtree_ctx_data_init(&rtree_ctx); 222 1.1.1.2 christos 223 1.1.1.2 christos edata_t *edata_e = alloc_edata(); 224 1.1.1.2 christos edata_init(edata_e, INVALID_ARENA_IND, NULL, 0, false, SC_NSIZES, 0, 225 1.1.1.2 christos extent_state_active, false, false, EXTENT_PAI_PAC, EXTENT_NOT_HEAD); 226 1.1.1.2 christos rtree_contents_t contents; 227 1.1.1.2 christos contents.edata = edata_e; 228 1.1.1.2 christos contents.metadata.szind = SC_NSIZES; 229 1.1.1.2 christos contents.metadata.slab = false; 230 1.1.1.2 christos contents.metadata.is_head = false; 231 1.1.1.2 christos contents.metadata.state = extent_state_active; 232 1.1.1.2 christos 233 1.1.1.2 christos expect_false(rtree_write(tsdn, rtree, &rtree_ctx, start, 234 1.1.1.2 christos contents), "Unexpected rtree_write() failure"); 235 1.1.1.2 christos expect_false(rtree_write(tsdn, rtree, &rtree_ctx, end, 236 1.1.1.2 christos contents), "Unexpected rtree_write() failure"); 237 1.1.1.2 christos 238 1.1.1.2 christos rtree_write_range(tsdn, rtree, &rtree_ctx, start, end, contents); 239 1.1.1.2 christos for (uintptr_t i = 0; i < ((end - start) >> LG_PAGE); i++) { 240 1.1.1.2 christos expect_ptr_eq(rtree_read(tsdn, rtree, &rtree_ctx, 241 1.1.1.2 christos start + (i << LG_PAGE)).edata, edata_e, 242 1.1.1.2 christos "rtree_edata_read() should return previously set value"); 243 1.1.1.2 christos } 244 1.1.1.2 christos rtree_clear_range(tsdn, rtree, &rtree_ctx, start, end); 245 1.1.1.2 christos rtree_leaf_elm_t *elm; 246 1.1.1.2 christos for (uintptr_t i = 0; i < ((end - start) >> LG_PAGE); i++) { 247 1.1.1.2 christos elm = rtree_leaf_elm_lookup(tsdn, rtree, &rtree_ctx, 248 1.1.1.2 christos start + (i << LG_PAGE), false, false); 249 1.1.1.2 christos expect_ptr_not_null(elm, "Should have been initialized."); 250 1.1.1.2 christos expect_ptr_null(rtree_leaf_elm_read(tsdn, rtree, elm, 251 1.1.1.2 christos false).edata, "Should have been cleared."); 252 1.1.1.2 christos } 253 1.1.1.2 christos } 254 1.1.1.2 christos 255 1.1.1.2 christos TEST_BEGIN(test_rtree_range) { 256 1.1.1.2 christos tsdn_t *tsdn = tsdn_fetch(); 257 1.1.1.2 christos base_t *base = base_new(tsdn, 0, &ehooks_default_extent_hooks, 258 1.1.1.2 christos /* metadata_use_hooks */ true); 259 1.1.1.2 christos expect_ptr_not_null(base, "Unexpected base_new failure"); 260 1.1.1.2 christos 261 1.1.1.2 christos rtree_t *rtree = &test_rtree; 262 1.1.1.2 christos expect_false(rtree_new(rtree, base, false), 263 1.1.1.2 christos "Unexpected rtree_new() failure"); 264 1.1.1.2 christos 265 1.1.1.2 christos /* Not crossing rtree node boundary first. */ 266 1.1.1.2 christos uintptr_t start = ZU(1) << rtree_leaf_maskbits(); 267 1.1.1.2 christos uintptr_t end = start + (ZU(100) << LG_PAGE); 268 1.1.1.2 christos test_rtree_range_write(tsdn, rtree, start, end); 269 1.1.1.2 christos 270 1.1.1.2 christos /* Crossing rtree node boundary. */ 271 1.1.1.2 christos start = (ZU(1) << rtree_leaf_maskbits()) - (ZU(10) << LG_PAGE); 272 1.1.1.2 christos end = start + (ZU(100) << LG_PAGE); 273 1.1.1.2 christos assert_ptr_ne((void *)rtree_leafkey(start), (void *)rtree_leafkey(end), 274 1.1.1.2 christos "The range should span across two rtree nodes"); 275 1.1.1.2 christos test_rtree_range_write(tsdn, rtree, start, end); 276 1.1.1.2 christos 277 1.1.1.2 christos base_delete(tsdn, base); 278 1.1.1.2 christos } 279 1.1.1.2 christos TEST_END 280 1.1.1.2 christos 281 1.1 christos int 282 1.1 christos main(void) { 283 1.1 christos return test( 284 1.1 christos test_rtree_read_empty, 285 1.1 christos test_rtree_extrema, 286 1.1 christos test_rtree_bits, 287 1.1.1.2 christos test_rtree_random, 288 1.1.1.2 christos test_rtree_range); 289 1.1 christos } 290