Jason Evans | 0657f12 | 2011-03-18 17:56:14 -0700 | [diff] [blame] | 1 | #define JEMALLOC_RTREE_C_ |
Jason Evans | 2dbecf1 | 2010-09-05 10:35:13 -0700 | [diff] [blame] | 2 | #include "jemalloc/internal/jemalloc_internal.h" |
| 3 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 4 | static unsigned |
| 5 | hmin(unsigned ha, unsigned hb) |
Jason Evans | 2dbecf1 | 2010-09-05 10:35:13 -0700 | [diff] [blame] | 6 | { |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 7 | |
| 8 | return (ha < hb ? ha : hb); |
| 9 | } |
| 10 | |
| 11 | /* Only the most significant bits of keys passed to rtree_[gs]et() are used. */ |
| 12 | bool |
| 13 | rtree_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 Evans | 2dbecf1 | 2010-09-05 10:35:13 -0700 | [diff] [blame] | 17 | |
Jason Evans | 6c460ad | 2016-03-22 17:54:35 -0700 | [diff] [blame] | 18 | assert(RTREE_HEIGHT_MAX == ((ZU(1) << (LG_SIZEOF_PTR+3)) / |
| 19 | RTREE_BITS_PER_LEVEL)); |
Jason Evans | b980cc7 | 2014-01-02 16:08:28 -0800 | [diff] [blame] | 20 | assert(bits > 0 && bits <= (sizeof(uintptr_t) << 3)); |
| 21 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 22 | bits_in_leaf = (bits % RTREE_BITS_PER_LEVEL) == 0 ? RTREE_BITS_PER_LEVEL |
| 23 | : (bits % RTREE_BITS_PER_LEVEL); |
Jason Evans | b954bc5 | 2014-01-02 17:36:38 -0800 | [diff] [blame] | 24 | if (bits > bits_in_leaf) { |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 25 | height = 1 + (bits - bits_in_leaf) / RTREE_BITS_PER_LEVEL; |
| 26 | if ((height-1) * RTREE_BITS_PER_LEVEL + bits_in_leaf != bits) |
Jason Evans | b954bc5 | 2014-01-02 17:36:38 -0800 | [diff] [blame] | 27 | height++; |
Jason Evans | b954bc5 | 2014-01-02 17:36:38 -0800 | [diff] [blame] | 28 | } else |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 29 | height = 1; |
| 30 | assert((height-1) * RTREE_BITS_PER_LEVEL + bits_in_leaf == bits); |
Jason Evans | 2dbecf1 | 2010-09-05 10:35:13 -0700 | [diff] [blame] | 31 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 32 | 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 Evans | 2dbecf1 | 2010-09-05 10:35:13 -0700 | [diff] [blame] | 47 | } |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 48 | /* 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 Evans | 2dbecf1 | 2010-09-05 10:35:13 -0700 | [diff] [blame] | 54 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 55 | /* 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 Evans | 2dbecf1 | 2010-09-05 10:35:13 -0700 | [diff] [blame] | 62 | } |
Jason Evans | 20f1fc9 | 2012-10-09 14:46:22 -0700 | [diff] [blame] | 63 | |
Jason Evans | b980cc7 | 2014-01-02 16:08:28 -0800 | [diff] [blame] | 64 | static void |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 65 | rtree_delete_subtree(rtree_t *rtree, rtree_node_elm_t *node, unsigned level) |
Jason Evans | b980cc7 | 2014-01-02 16:08:28 -0800 | [diff] [blame] | 66 | { |
| 67 | |
Jason Evans | fbd8d77 | 2015-03-11 23:14:50 -0700 | [diff] [blame] | 68 | if (level + 1 < rtree->height) { |
Jason Evans | b980cc7 | 2014-01-02 16:08:28 -0800 | [diff] [blame] | 69 | size_t nchildren, i; |
| 70 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 71 | nchildren = ZU(1) << rtree->levels[level].bits; |
Jason Evans | b980cc7 | 2014-01-02 16:08:28 -0800 | [diff] [blame] | 72 | for (i = 0; i < nchildren; i++) { |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 73 | rtree_node_elm_t *child = node[i].child; |
Jason Evans | b980cc7 | 2014-01-02 16:08:28 -0800 | [diff] [blame] | 74 | if (child != NULL) |
| 75 | rtree_delete_subtree(rtree, child, level + 1); |
| 76 | } |
| 77 | } |
| 78 | rtree->dalloc(node); |
| 79 | } |
| 80 | |
| 81 | void |
| 82 | rtree_delete(rtree_t *rtree) |
| 83 | { |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 84 | unsigned i; |
Jason Evans | b980cc7 | 2014-01-02 16:08:28 -0800 | [diff] [blame] | 85 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 86 | 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 Evans | b980cc7 | 2014-01-02 16:08:28 -0800 | [diff] [blame] | 91 | } |
| 92 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 93 | static rtree_node_elm_t * |
| 94 | rtree_node_init(rtree_t *rtree, unsigned level, rtree_node_elm_t **elmp) |
Jason Evans | 20f1fc9 | 2012-10-09 14:46:22 -0700 | [diff] [blame] | 95 | { |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 96 | rtree_node_elm_t *node; |
Jason Evans | 20f1fc9 | 2012-10-09 14:46:22 -0700 | [diff] [blame] | 97 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 98 | if (atomic_cas_p((void **)elmp, NULL, RTREE_NODE_INITIALIZING)) { |
Jason Evans | 9737685 | 2016-10-13 14:47:50 -0700 | [diff] [blame] | 99 | spin_t spinner; |
| 100 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 101 | /* |
| 102 | * Another thread is already in the process of initializing. |
| 103 | * Spin-wait until initialization is complete. |
| 104 | */ |
Jason Evans | 9737685 | 2016-10-13 14:47:50 -0700 | [diff] [blame] | 105 | spin_init(&spinner); |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 106 | do { |
Jason Evans | 9737685 | 2016-10-13 14:47:50 -0700 | [diff] [blame] | 107 | spin_adaptive(&spinner); |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 108 | node = atomic_read_p((void **)elmp); |
| 109 | } while (node == RTREE_NODE_INITIALIZING); |
| 110 | } else { |
| 111 | node = rtree->alloc(ZU(1) << rtree->levels[level].bits); |
| 112 | if (node == NULL) |
| 113 | return (NULL); |
| 114 | atomic_write_p((void **)elmp, node); |
| 115 | } |
| 116 | |
| 117 | return (node); |
Jason Evans | 20f1fc9 | 2012-10-09 14:46:22 -0700 | [diff] [blame] | 118 | } |
| 119 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 120 | rtree_node_elm_t * |
| 121 | rtree_subtree_read_hard(rtree_t *rtree, unsigned level) |
Jason Evans | 20f1fc9 | 2012-10-09 14:46:22 -0700 | [diff] [blame] | 122 | { |
| 123 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 124 | return (rtree_node_init(rtree, level, &rtree->levels[level].subtree)); |
Jason Evans | 20f1fc9 | 2012-10-09 14:46:22 -0700 | [diff] [blame] | 125 | } |
| 126 | |
Jason Evans | 8d0e04d | 2015-01-30 22:54:08 -0800 | [diff] [blame] | 127 | rtree_node_elm_t * |
| 128 | rtree_child_read_hard(rtree_t *rtree, rtree_node_elm_t *elm, unsigned level) |
Jason Evans | 20f1fc9 | 2012-10-09 14:46:22 -0700 | [diff] [blame] | 129 | { |
| 130 | |
Jason Evans | dc553d5 | 2016-10-28 00:41:15 -0700 | [diff] [blame] | 131 | return (rtree_node_init(rtree, level+1, &elm->child)); |
Jason Evans | 20f1fc9 | 2012-10-09 14:46:22 -0700 | [diff] [blame] | 132 | } |