blob: 3166b45faeed89ca79c1c88cea2af569581ce2ce [file] [log] [blame]
Jason Evans0657f122011-03-18 17:56:14 -07001#define JEMALLOC_RTREE_C_
Jason Evans2dbecf12010-09-05 10:35:13 -07002#include "jemalloc/internal/jemalloc_internal.h"
3
Jason Evans8d0e04d2015-01-30 22:54:08 -08004static unsigned
5hmin(unsigned ha, unsigned hb)
Jason Evans2dbecf12010-09-05 10:35:13 -07006{
Jason Evans8d0e04d2015-01-30 22:54:08 -08007
8 return (ha < hb ? ha : hb);
9}
10
11/* Only the most significant bits of keys passed to rtree_[gs]et() are used. */
12bool
13rtree_new(rtree_t *rtree, unsigned bits, rtree_node_alloc_t *alloc,
14 rtree_node_dalloc_t *dalloc)
15{
16 unsigned bits_in_leaf, height, i;
Jason Evans2dbecf12010-09-05 10:35:13 -070017
Jason Evans6c460ad2016-03-22 17:54:35 -070018 assert(RTREE_HEIGHT_MAX == ((ZU(1) << (LG_SIZEOF_PTR+3)) /
19 RTREE_BITS_PER_LEVEL));
Jason Evansb980cc72014-01-02 16:08:28 -080020 assert(bits > 0 && bits <= (sizeof(uintptr_t) << 3));
21
Jason Evans8d0e04d2015-01-30 22:54:08 -080022 bits_in_leaf = (bits % RTREE_BITS_PER_LEVEL) == 0 ? RTREE_BITS_PER_LEVEL
23 : (bits % RTREE_BITS_PER_LEVEL);
Jason Evansb954bc52014-01-02 17:36:38 -080024 if (bits > bits_in_leaf) {
Jason Evans8d0e04d2015-01-30 22:54:08 -080025 height = 1 + (bits - bits_in_leaf) / RTREE_BITS_PER_LEVEL;
26 if ((height-1) * RTREE_BITS_PER_LEVEL + bits_in_leaf != bits)
Jason Evansb954bc52014-01-02 17:36:38 -080027 height++;
Jason Evansb954bc52014-01-02 17:36:38 -080028 } else
Jason Evans8d0e04d2015-01-30 22:54:08 -080029 height = 1;
30 assert((height-1) * RTREE_BITS_PER_LEVEL + bits_in_leaf == bits);
Jason Evans2dbecf12010-09-05 10:35:13 -070031
Jason Evans8d0e04d2015-01-30 22:54:08 -080032 rtree->alloc = alloc;
33 rtree->dalloc = dalloc;
34 rtree->height = height;
35
36 /* Root level. */
37 rtree->levels[0].subtree = NULL;
38 rtree->levels[0].bits = (height > 1) ? RTREE_BITS_PER_LEVEL :
39 bits_in_leaf;
40 rtree->levels[0].cumbits = rtree->levels[0].bits;
41 /* Interior levels. */
42 for (i = 1; i < height-1; i++) {
43 rtree->levels[i].subtree = NULL;
44 rtree->levels[i].bits = RTREE_BITS_PER_LEVEL;
45 rtree->levels[i].cumbits = rtree->levels[i-1].cumbits +
46 RTREE_BITS_PER_LEVEL;
Jason Evans2dbecf12010-09-05 10:35:13 -070047 }
Jason Evans8d0e04d2015-01-30 22:54:08 -080048 /* Leaf level. */
49 if (height > 1) {
50 rtree->levels[height-1].subtree = NULL;
51 rtree->levels[height-1].bits = bits_in_leaf;
52 rtree->levels[height-1].cumbits = bits;
53 }
Jason Evans2dbecf12010-09-05 10:35:13 -070054
Jason Evans8d0e04d2015-01-30 22:54:08 -080055 /* Compute lookup table to be used by rtree_start_level(). */
56 for (i = 0; i < RTREE_HEIGHT_MAX; i++) {
57 rtree->start_level[i] = hmin(RTREE_HEIGHT_MAX - 1 - i, height -
58 1);
59 }
60
61 return (false);
Jason Evans2dbecf12010-09-05 10:35:13 -070062}
Jason Evans20f1fc92012-10-09 14:46:22 -070063
Jason Evansb980cc72014-01-02 16:08:28 -080064static void
Jason Evans8d0e04d2015-01-30 22:54:08 -080065rtree_delete_subtree(rtree_t *rtree, rtree_node_elm_t *node, unsigned level)
Jason Evansb980cc72014-01-02 16:08:28 -080066{
67
Jason Evansfbd8d772015-03-11 23:14:50 -070068 if (level + 1 < rtree->height) {
Jason Evansb980cc72014-01-02 16:08:28 -080069 size_t nchildren, i;
70
Jason Evans8d0e04d2015-01-30 22:54:08 -080071 nchildren = ZU(1) << rtree->levels[level].bits;
Jason Evansb980cc72014-01-02 16:08:28 -080072 for (i = 0; i < nchildren; i++) {
Jason Evans8d0e04d2015-01-30 22:54:08 -080073 rtree_node_elm_t *child = node[i].child;
Jason Evansb980cc72014-01-02 16:08:28 -080074 if (child != NULL)
75 rtree_delete_subtree(rtree, child, level + 1);
76 }
77 }
78 rtree->dalloc(node);
79}
80
81void
82rtree_delete(rtree_t *rtree)
83{
Jason Evans8d0e04d2015-01-30 22:54:08 -080084 unsigned i;
Jason Evansb980cc72014-01-02 16:08:28 -080085
Jason Evans8d0e04d2015-01-30 22:54:08 -080086 for (i = 0; i < rtree->height; i++) {
87 rtree_node_elm_t *subtree = rtree->levels[i].subtree;
88 if (subtree != NULL)
89 rtree_delete_subtree(rtree, subtree, i);
90 }
Jason Evansb980cc72014-01-02 16:08:28 -080091}
92
Jason Evans8d0e04d2015-01-30 22:54:08 -080093static rtree_node_elm_t *
94rtree_node_init(rtree_t *rtree, unsigned level, rtree_node_elm_t **elmp)
Jason Evans20f1fc92012-10-09 14:46:22 -070095{
Jason Evans8d0e04d2015-01-30 22:54:08 -080096 rtree_node_elm_t *node;
Jason Evans20f1fc92012-10-09 14:46:22 -070097
Jason Evans8d0e04d2015-01-30 22:54:08 -080098 if (atomic_cas_p((void **)elmp, NULL, RTREE_NODE_INITIALIZING)) {
99 /*
100 * Another thread is already in the process of initializing.
101 * Spin-wait until initialization is complete.
102 */
103 do {
104 CPU_SPINWAIT;
105 node = atomic_read_p((void **)elmp);
106 } while (node == RTREE_NODE_INITIALIZING);
107 } else {
108 node = rtree->alloc(ZU(1) << rtree->levels[level].bits);
109 if (node == NULL)
110 return (NULL);
111 atomic_write_p((void **)elmp, node);
112 }
113
114 return (node);
Jason Evans20f1fc92012-10-09 14:46:22 -0700115}
116
Jason Evans8d0e04d2015-01-30 22:54:08 -0800117rtree_node_elm_t *
118rtree_subtree_read_hard(rtree_t *rtree, unsigned level)
Jason Evans20f1fc92012-10-09 14:46:22 -0700119{
120
Jason Evans8d0e04d2015-01-30 22:54:08 -0800121 return (rtree_node_init(rtree, level, &rtree->levels[level].subtree));
Jason Evans20f1fc92012-10-09 14:46:22 -0700122}
123
Jason Evans8d0e04d2015-01-30 22:54:08 -0800124rtree_node_elm_t *
125rtree_child_read_hard(rtree_t *rtree, rtree_node_elm_t *elm, unsigned level)
Jason Evans20f1fc92012-10-09 14:46:22 -0700126{
127
Jason Evans8d0e04d2015-01-30 22:54:08 -0800128 return (rtree_node_init(rtree, level, &elm->child));
Jason Evans20f1fc92012-10-09 14:46:22 -0700129}