2017-01-20 13:41:41 +08:00
|
|
|
#define JEMALLOC_RTREE_C_
|
2010-09-06 01:35:13 +08:00
|
|
|
#include "jemalloc/internal/jemalloc_internal.h"
|
|
|
|
|
2016-03-28 18:06:35 +08:00
|
|
|
/*
|
|
|
|
* Only the most significant bits of keys passed to rtree_{read,write}() are
|
|
|
|
* used.
|
|
|
|
*/
|
2015-01-31 14:54:08 +08:00
|
|
|
bool
|
2017-02-07 05:17:12 +08:00
|
|
|
rtree_new(rtree_t *rtree) {
|
2017-03-10 06:49:32 +08:00
|
|
|
atomic_store_p(&rtree->root, NULL, ATOMIC_RELAXED);
|
2017-02-07 05:17:12 +08:00
|
|
|
if (malloc_mutex_init(&rtree->init_lock, "rtree", WITNESS_RANK_RTREE)) {
|
|
|
|
return true;
|
2015-01-31 14:54:08 +08:00
|
|
|
}
|
2010-09-06 01:35:13 +08:00
|
|
|
|
2017-01-20 10:15:45 +08:00
|
|
|
return false;
|
2010-09-06 01:35:13 +08:00
|
|
|
}
|
2012-10-10 05:46:22 +08:00
|
|
|
|
2016-04-16 15:36:11 +08:00
|
|
|
#ifdef JEMALLOC_JET
|
|
|
|
#undef rtree_node_alloc
|
2017-01-20 13:41:41 +08:00
|
|
|
#define rtree_node_alloc JEMALLOC_N(rtree_node_alloc_impl)
|
2016-04-16 15:36:11 +08:00
|
|
|
#endif
|
|
|
|
static rtree_elm_t *
|
2017-01-16 08:56:30 +08:00
|
|
|
rtree_node_alloc(tsdn_t *tsdn, rtree_t *rtree, size_t nelms) {
|
2017-01-20 10:15:45 +08:00
|
|
|
return (rtree_elm_t *)base_alloc(tsdn, b0get(), nelms *
|
|
|
|
sizeof(rtree_elm_t), CACHELINE);
|
2016-04-16 15:36:11 +08:00
|
|
|
}
|
|
|
|
#ifdef JEMALLOC_JET
|
|
|
|
#undef rtree_node_alloc
|
2017-01-20 13:41:41 +08:00
|
|
|
#define rtree_node_alloc JEMALLOC_N(rtree_node_alloc)
|
2016-04-16 15:36:11 +08:00
|
|
|
rtree_node_alloc_t *rtree_node_alloc = JEMALLOC_N(rtree_node_alloc_impl);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifdef JEMALLOC_JET
|
|
|
|
#undef rtree_node_dalloc
|
2017-01-20 13:41:41 +08:00
|
|
|
#define rtree_node_dalloc JEMALLOC_N(rtree_node_dalloc_impl)
|
2016-04-16 15:36:11 +08:00
|
|
|
#endif
|
|
|
|
UNUSED static void
|
2017-01-16 08:56:30 +08:00
|
|
|
rtree_node_dalloc(tsdn_t *tsdn, rtree_t *rtree, rtree_elm_t *node) {
|
2016-04-16 15:36:11 +08:00
|
|
|
/* Nodes are never deleted during normal operation. */
|
|
|
|
not_reached();
|
|
|
|
}
|
|
|
|
#ifdef JEMALLOC_JET
|
|
|
|
#undef rtree_node_dalloc
|
2017-01-20 13:41:41 +08:00
|
|
|
#define rtree_node_dalloc JEMALLOC_N(rtree_node_dalloc)
|
2016-04-16 15:36:11 +08:00
|
|
|
rtree_node_dalloc_t *rtree_node_dalloc = JEMALLOC_N(rtree_node_dalloc_impl);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifdef JEMALLOC_JET
|
2014-01-03 08:08:28 +08:00
|
|
|
static void
|
2016-04-16 15:36:11 +08:00
|
|
|
rtree_delete_subtree(tsdn_t *tsdn, rtree_t *rtree, rtree_elm_t *node,
|
2017-01-16 08:56:30 +08:00
|
|
|
unsigned level) {
|
2017-02-07 05:17:12 +08:00
|
|
|
if (level + 1 < RTREE_HEIGHT) {
|
2014-01-03 08:08:28 +08:00
|
|
|
size_t nchildren, i;
|
|
|
|
|
2017-02-07 05:17:12 +08:00
|
|
|
nchildren = ZU(1) << rtree_levels[level].bits;
|
2014-01-03 08:08:28 +08:00
|
|
|
for (i = 0; i < nchildren; i++) {
|
2017-03-10 06:49:32 +08:00
|
|
|
rtree_elm_t *child = (rtree_elm_t *)atomic_load_p(
|
|
|
|
&node[i].child_or_extent, ATOMIC_RELAXED);
|
2016-04-16 15:36:11 +08:00
|
|
|
if (child != NULL) {
|
|
|
|
rtree_delete_subtree(tsdn, rtree, child, level +
|
|
|
|
1);
|
|
|
|
}
|
2014-01-03 08:08:28 +08:00
|
|
|
}
|
|
|
|
}
|
2016-04-16 15:36:11 +08:00
|
|
|
rtree_node_dalloc(tsdn, rtree, node);
|
2014-01-03 08:08:28 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2017-01-16 08:56:30 +08:00
|
|
|
rtree_delete(tsdn_t *tsdn, rtree_t *rtree) {
|
2017-03-10 06:49:32 +08:00
|
|
|
rtree_elm_t *rtree_root = (rtree_elm_t *)atomic_load_p(&rtree->root,
|
|
|
|
ATOMIC_RELAXED);
|
|
|
|
if (rtree_root != NULL) {
|
|
|
|
rtree_delete_subtree(tsdn, rtree, rtree_root, 0);
|
2015-01-31 14:54:08 +08:00
|
|
|
}
|
2014-01-03 08:08:28 +08:00
|
|
|
}
|
2016-04-16 15:36:11 +08:00
|
|
|
#endif
|
2014-01-03 08:08:28 +08:00
|
|
|
|
2016-03-28 18:06:35 +08:00
|
|
|
static rtree_elm_t *
|
2016-04-16 15:36:11 +08:00
|
|
|
rtree_node_init(tsdn_t *tsdn, rtree_t *rtree, unsigned level,
|
2017-03-10 06:49:32 +08:00
|
|
|
atomic_p_t *elmp) {
|
2016-03-28 18:06:35 +08:00
|
|
|
rtree_elm_t *node;
|
2015-01-31 14:54:08 +08:00
|
|
|
|
2016-11-01 07:23:33 +08:00
|
|
|
malloc_mutex_lock(tsdn, &rtree->init_lock);
|
2017-03-10 06:49:32 +08:00
|
|
|
/*
|
|
|
|
* If *elmp is non-null, then it was initialized with the init lock
|
|
|
|
* held, so we can get by with 'relaxed' here.
|
|
|
|
*/
|
|
|
|
node = atomic_load_p(elmp, ATOMIC_RELAXED);
|
2016-11-01 07:23:33 +08:00
|
|
|
if (node == NULL) {
|
2016-04-16 15:36:11 +08:00
|
|
|
node = rtree_node_alloc(tsdn, rtree, ZU(1) <<
|
2017-02-07 05:17:12 +08:00
|
|
|
rtree_levels[level].bits);
|
2016-11-01 07:23:33 +08:00
|
|
|
if (node == NULL) {
|
|
|
|
malloc_mutex_unlock(tsdn, &rtree->init_lock);
|
2017-01-20 10:15:45 +08:00
|
|
|
return NULL;
|
2016-11-01 07:23:33 +08:00
|
|
|
}
|
2017-03-10 06:49:32 +08:00
|
|
|
/*
|
|
|
|
* Even though we hold the lock, a later reader might not; we
|
|
|
|
* need release semantics.
|
|
|
|
*/
|
|
|
|
atomic_store_p(elmp, node, ATOMIC_RELEASE);
|
2015-01-31 14:54:08 +08:00
|
|
|
}
|
2016-11-01 07:23:33 +08:00
|
|
|
malloc_mutex_unlock(tsdn, &rtree->init_lock);
|
2012-10-10 05:46:22 +08:00
|
|
|
|
2017-01-20 10:15:45 +08:00
|
|
|
return node;
|
2012-10-10 05:46:22 +08:00
|
|
|
}
|
|
|
|
|
2017-02-04 11:44:33 +08:00
|
|
|
static bool
|
|
|
|
rtree_node_valid(rtree_elm_t *node) {
|
|
|
|
return ((uintptr_t)node != (uintptr_t)0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static rtree_elm_t *
|
|
|
|
rtree_child_tryread(rtree_elm_t *elm, bool dependent) {
|
|
|
|
rtree_elm_t *child;
|
|
|
|
|
2017-03-10 06:49:32 +08:00
|
|
|
if (dependent) {
|
|
|
|
child = (rtree_elm_t *)atomic_load_p(&elm->child_or_extent,
|
|
|
|
ATOMIC_RELAXED);
|
|
|
|
} else {
|
|
|
|
child = (rtree_elm_t *)atomic_load_p(&elm->child_or_extent,
|
|
|
|
ATOMIC_ACQUIRE);
|
2017-02-04 11:44:33 +08:00
|
|
|
}
|
2017-03-10 06:49:32 +08:00
|
|
|
|
2017-02-04 11:44:33 +08:00
|
|
|
assert(!dependent || child != NULL);
|
|
|
|
return child;
|
|
|
|
}
|
|
|
|
|
|
|
|
static rtree_elm_t *
|
|
|
|
rtree_child_read(tsdn_t *tsdn, rtree_t *rtree, rtree_elm_t *elm, unsigned level,
|
|
|
|
bool dependent) {
|
|
|
|
rtree_elm_t *child;
|
|
|
|
|
|
|
|
child = rtree_child_tryread(elm, dependent);
|
|
|
|
if (!dependent && unlikely(!rtree_node_valid(child))) {
|
2017-03-10 06:49:32 +08:00
|
|
|
child = rtree_node_init(tsdn, rtree, level + 1,
|
|
|
|
&elm->child_or_extent);
|
2017-02-04 11:44:33 +08:00
|
|
|
}
|
|
|
|
assert(!dependent || child != NULL);
|
|
|
|
return child;
|
|
|
|
}
|
|
|
|
|
|
|
|
static rtree_elm_t *
|
2017-02-05 15:08:48 +08:00
|
|
|
rtree_subtree_tryread(rtree_t *rtree, bool dependent) {
|
2017-03-10 06:49:32 +08:00
|
|
|
rtree_elm_t *subtree;
|
|
|
|
if (dependent) {
|
|
|
|
subtree = (rtree_elm_t *)atomic_load_p(&rtree->root,
|
|
|
|
ATOMIC_RELAXED);
|
|
|
|
} else {
|
|
|
|
subtree = (rtree_elm_t *)atomic_load_p(&rtree->root,
|
|
|
|
ATOMIC_ACQUIRE);
|
2017-02-04 11:44:33 +08:00
|
|
|
}
|
|
|
|
assert(!dependent || subtree != NULL);
|
|
|
|
return subtree;
|
|
|
|
}
|
|
|
|
|
|
|
|
static rtree_elm_t *
|
2017-02-05 15:08:48 +08:00
|
|
|
rtree_subtree_read(tsdn_t *tsdn, rtree_t *rtree, bool dependent) {
|
|
|
|
rtree_elm_t *subtree = rtree_subtree_tryread(rtree, dependent);
|
2017-02-04 11:44:33 +08:00
|
|
|
if (!dependent && unlikely(!rtree_node_valid(subtree))) {
|
2017-02-05 15:08:48 +08:00
|
|
|
subtree = rtree_node_init(tsdn, rtree, 0, &rtree->root);
|
2017-02-04 11:44:33 +08:00
|
|
|
}
|
|
|
|
assert(!dependent || subtree != NULL);
|
|
|
|
return subtree;
|
2012-10-10 05:46:22 +08:00
|
|
|
}
|
2016-04-18 03:55:10 +08:00
|
|
|
|
2017-02-04 12:12:49 +08:00
|
|
|
rtree_elm_t *
|
|
|
|
rtree_elm_lookup_hard(tsdn_t *tsdn, rtree_t *rtree, rtree_ctx_t *rtree_ctx,
|
|
|
|
uintptr_t key, bool dependent, bool init_missing) {
|
|
|
|
rtree_elm_t *node = init_missing ? rtree_subtree_read(tsdn, rtree,
|
2017-02-05 15:08:48 +08:00
|
|
|
dependent) : rtree_subtree_tryread(rtree, dependent);
|
2017-02-04 12:12:49 +08:00
|
|
|
|
2017-02-07 05:17:12 +08:00
|
|
|
#define RTREE_GET_SUBTREE(level) { \
|
|
|
|
assert(level < RTREE_HEIGHT-1); \
|
2017-02-04 12:12:49 +08:00
|
|
|
if (!dependent && unlikely(!rtree_node_valid(node))) { \
|
|
|
|
return NULL; \
|
|
|
|
} \
|
2017-02-07 05:17:12 +08:00
|
|
|
uintptr_t subkey = rtree_subkey(key, level); \
|
2017-02-04 12:12:49 +08:00
|
|
|
node = init_missing ? rtree_child_read(tsdn, rtree, \
|
2017-02-07 05:17:12 +08:00
|
|
|
&node[subkey], level, dependent) : \
|
2017-02-04 12:12:49 +08:00
|
|
|
rtree_child_tryread(&node[subkey], dependent); \
|
|
|
|
}
|
2017-02-07 05:17:12 +08:00
|
|
|
#define RTREE_GET_LEAF(level) { \
|
|
|
|
assert(level == RTREE_HEIGHT-1); \
|
2017-02-04 12:12:49 +08:00
|
|
|
if (!dependent && unlikely(!rtree_node_valid(node))) { \
|
|
|
|
return NULL; \
|
|
|
|
} \
|
|
|
|
/* \
|
|
|
|
* node is a leaf, so it contains values rather than \
|
|
|
|
* child pointers. \
|
|
|
|
*/ \
|
2017-02-05 18:50:59 +08:00
|
|
|
if (RTREE_CTX_NCACHE > 1) { \
|
|
|
|
memmove(&rtree_ctx->cache[1], \
|
|
|
|
&rtree_ctx->cache[0], \
|
|
|
|
sizeof(rtree_ctx_cache_elm_t) * \
|
|
|
|
(RTREE_CTX_NCACHE-1)); \
|
2017-02-04 12:12:49 +08:00
|
|
|
} \
|
2017-02-05 18:50:59 +08:00
|
|
|
uintptr_t leafkey = rtree_leafkey(key); \
|
|
|
|
rtree_ctx->cache[0].leafkey = leafkey; \
|
|
|
|
rtree_ctx->cache[0].leaf = node; \
|
2017-02-07 05:17:12 +08:00
|
|
|
uintptr_t subkey = rtree_subkey(key, level); \
|
2017-02-04 12:12:49 +08:00
|
|
|
return &node[subkey]; \
|
|
|
|
}
|
2017-02-07 05:17:12 +08:00
|
|
|
if (RTREE_HEIGHT > 1) {
|
|
|
|
RTREE_GET_SUBTREE(0)
|
|
|
|
}
|
|
|
|
if (RTREE_HEIGHT > 2) {
|
|
|
|
RTREE_GET_SUBTREE(1)
|
|
|
|
}
|
|
|
|
if (RTREE_HEIGHT > 3) {
|
|
|
|
for (unsigned i = 2; i < RTREE_HEIGHT-1; i++) {
|
|
|
|
RTREE_GET_SUBTREE(i)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
RTREE_GET_LEAF(RTREE_HEIGHT-1)
|
2017-02-04 12:12:49 +08:00
|
|
|
#undef RTREE_GET_SUBTREE
|
|
|
|
#undef RTREE_GET_LEAF
|
|
|
|
not_reached();
|
|
|
|
}
|
|
|
|
|
2016-04-18 03:55:10 +08:00
|
|
|
static int
|
|
|
|
rtree_elm_witness_comp(const witness_t *a, void *oa, const witness_t *b,
|
2017-01-16 08:56:30 +08:00
|
|
|
void *ob) {
|
2016-04-18 03:55:10 +08:00
|
|
|
uintptr_t ka = (uintptr_t)oa;
|
|
|
|
uintptr_t kb = (uintptr_t)ob;
|
|
|
|
|
|
|
|
assert(ka != 0);
|
|
|
|
assert(kb != 0);
|
|
|
|
|
2017-01-20 10:15:45 +08:00
|
|
|
return (ka > kb) - (ka < kb);
|
2016-04-18 03:55:10 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
static witness_t *
|
2017-01-16 08:56:30 +08:00
|
|
|
rtree_elm_witness_alloc(tsd_t *tsd, uintptr_t key, const rtree_elm_t *elm) {
|
2016-04-18 03:55:10 +08:00
|
|
|
witness_t *witness;
|
|
|
|
size_t i;
|
|
|
|
rtree_elm_witness_tsd_t *witnesses = tsd_rtree_elm_witnessesp_get(tsd);
|
|
|
|
|
|
|
|
/* Iterate over entire array to detect double allocation attempts. */
|
|
|
|
witness = NULL;
|
|
|
|
for (i = 0; i < sizeof(rtree_elm_witness_tsd_t) / sizeof(witness_t);
|
|
|
|
i++) {
|
|
|
|
rtree_elm_witness_t *rew = &witnesses->witnesses[i];
|
|
|
|
|
|
|
|
assert(rew->elm != elm);
|
|
|
|
if (rew->elm == NULL && witness == NULL) {
|
|
|
|
rew->elm = elm;
|
|
|
|
witness = &rew->witness;
|
|
|
|
witness_init(witness, "rtree_elm",
|
|
|
|
WITNESS_RANK_RTREE_ELM, rtree_elm_witness_comp,
|
|
|
|
(void *)key);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
assert(witness != NULL);
|
2017-01-20 10:15:45 +08:00
|
|
|
return witness;
|
2016-04-18 03:55:10 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
static witness_t *
|
2017-01-16 08:56:30 +08:00
|
|
|
rtree_elm_witness_find(tsd_t *tsd, const rtree_elm_t *elm) {
|
2016-04-18 03:55:10 +08:00
|
|
|
size_t i;
|
|
|
|
rtree_elm_witness_tsd_t *witnesses = tsd_rtree_elm_witnessesp_get(tsd);
|
|
|
|
|
|
|
|
for (i = 0; i < sizeof(rtree_elm_witness_tsd_t) / sizeof(witness_t);
|
|
|
|
i++) {
|
|
|
|
rtree_elm_witness_t *rew = &witnesses->witnesses[i];
|
|
|
|
|
2017-01-16 08:56:30 +08:00
|
|
|
if (rew->elm == elm) {
|
2017-01-20 10:15:45 +08:00
|
|
|
return &rew->witness;
|
2017-01-16 08:56:30 +08:00
|
|
|
}
|
2016-04-18 03:55:10 +08:00
|
|
|
}
|
|
|
|
not_reached();
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2017-01-16 08:56:30 +08:00
|
|
|
rtree_elm_witness_dalloc(tsd_t *tsd, witness_t *witness,
|
|
|
|
const rtree_elm_t *elm) {
|
2016-04-18 03:55:10 +08:00
|
|
|
size_t i;
|
|
|
|
rtree_elm_witness_tsd_t *witnesses = tsd_rtree_elm_witnessesp_get(tsd);
|
|
|
|
|
|
|
|
for (i = 0; i < sizeof(rtree_elm_witness_tsd_t) / sizeof(witness_t);
|
|
|
|
i++) {
|
|
|
|
rtree_elm_witness_t *rew = &witnesses->witnesses[i];
|
|
|
|
|
|
|
|
if (rew->elm == elm) {
|
|
|
|
rew->elm = NULL;
|
|
|
|
witness_init(&rew->witness, "rtree_elm",
|
|
|
|
WITNESS_RANK_RTREE_ELM, rtree_elm_witness_comp,
|
|
|
|
NULL);
|
2017-02-07 05:17:12 +08:00
|
|
|
return;
|
2016-04-18 03:55:10 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
not_reached();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
rtree_elm_witness_acquire(tsdn_t *tsdn, const rtree_t *rtree, uintptr_t key,
|
2017-01-16 08:56:30 +08:00
|
|
|
const rtree_elm_t *elm) {
|
2016-04-18 03:55:10 +08:00
|
|
|
witness_t *witness;
|
|
|
|
|
2017-01-16 08:56:30 +08:00
|
|
|
if (tsdn_null(tsdn)) {
|
2016-04-18 03:55:10 +08:00
|
|
|
return;
|
2017-01-16 08:56:30 +08:00
|
|
|
}
|
2016-04-18 03:55:10 +08:00
|
|
|
|
|
|
|
witness = rtree_elm_witness_alloc(tsdn_tsd(tsdn), key, elm);
|
|
|
|
witness_lock(tsdn, witness);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
rtree_elm_witness_access(tsdn_t *tsdn, const rtree_t *rtree,
|
2017-01-16 08:56:30 +08:00
|
|
|
const rtree_elm_t *elm) {
|
2016-04-18 03:55:10 +08:00
|
|
|
witness_t *witness;
|
|
|
|
|
2017-01-16 08:56:30 +08:00
|
|
|
if (tsdn_null(tsdn)) {
|
2016-04-18 03:55:10 +08:00
|
|
|
return;
|
2017-01-16 08:56:30 +08:00
|
|
|
}
|
2016-04-18 03:55:10 +08:00
|
|
|
|
|
|
|
witness = rtree_elm_witness_find(tsdn_tsd(tsdn), elm);
|
|
|
|
witness_assert_owner(tsdn, witness);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
rtree_elm_witness_release(tsdn_t *tsdn, const rtree_t *rtree,
|
2017-01-16 08:56:30 +08:00
|
|
|
const rtree_elm_t *elm) {
|
2016-04-18 03:55:10 +08:00
|
|
|
witness_t *witness;
|
|
|
|
|
2017-01-16 08:56:30 +08:00
|
|
|
if (tsdn_null(tsdn)) {
|
2016-04-18 03:55:10 +08:00
|
|
|
return;
|
2017-01-16 08:56:30 +08:00
|
|
|
}
|
2016-04-18 03:55:10 +08:00
|
|
|
|
|
|
|
witness = rtree_elm_witness_find(tsdn_tsd(tsdn), elm);
|
|
|
|
witness_unlock(tsdn, witness);
|
|
|
|
rtree_elm_witness_dalloc(tsdn_tsd(tsdn), witness, elm);
|
|
|
|
}
|