Jason Evans | e476f8a | 2010-01-16 09:53:50 -0800 | [diff] [blame] | 1 | #define JEMALLOC_BASE_C_ |
Jason Evans | 376b152 | 2010-02-11 14:45:59 -0800 | [diff] [blame] | 2 | #include "jemalloc/internal/jemalloc_internal.h" |
Jason Evans | e476f8a | 2010-01-16 09:53:50 -0800 | [diff] [blame] | 3 | |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 4 | /******************************************************************************/ |
| 5 | /* Data. */ |
Jason Evans | e476f8a | 2010-01-16 09:53:50 -0800 | [diff] [blame] | 6 | |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 7 | static malloc_mutex_t base_mtx; |
Jason Evans | 5c77af9 | 2016-11-14 18:27:23 -0800 | [diff] [blame] | 8 | static size_t base_extent_sn_next; |
| 9 | static extent_tree_t base_avail_szsnad; |
Jason Evans | e476f8a | 2010-01-16 09:53:50 -0800 | [diff] [blame] | 10 | static extent_node_t *base_nodes; |
Jason Evans | 4581b97 | 2014-11-27 17:22:36 -0200 | [diff] [blame] | 11 | static size_t base_allocated; |
Jason Evans | 4acd75a | 2015-03-23 17:25:57 -0700 | [diff] [blame] | 12 | static size_t base_resident; |
| 13 | static size_t base_mapped; |
Jason Evans | 4581b97 | 2014-11-27 17:22:36 -0200 | [diff] [blame] | 14 | |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 15 | /******************************************************************************/ |
Jason Evans | e476f8a | 2010-01-16 09:53:50 -0800 | [diff] [blame] | 16 | |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 17 | static extent_node_t * |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 18 | base_node_try_alloc(tsdn_t *tsdn) |
Jason Evans | e476f8a | 2010-01-16 09:53:50 -0800 | [diff] [blame] | 19 | { |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 20 | extent_node_t *node; |
Jason Evans | e476f8a | 2010-01-16 09:53:50 -0800 | [diff] [blame] | 21 | |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 22 | malloc_mutex_assert_owner(tsdn, &base_mtx); |
Jason Evans | d9394d0 | 2016-04-17 12:33:39 -0700 | [diff] [blame] | 23 | |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 24 | if (base_nodes == NULL) |
| 25 | return (NULL); |
| 26 | node = base_nodes; |
| 27 | base_nodes = *(extent_node_t **)node; |
| 28 | JEMALLOC_VALGRIND_MAKE_MEM_UNDEFINED(node, sizeof(extent_node_t)); |
| 29 | return (node); |
Jason Evans | e476f8a | 2010-01-16 09:53:50 -0800 | [diff] [blame] | 30 | } |
| 31 | |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 32 | static void |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 33 | base_node_dalloc(tsdn_t *tsdn, extent_node_t *node) |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 34 | { |
| 35 | |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 36 | malloc_mutex_assert_owner(tsdn, &base_mtx); |
Jason Evans | d9394d0 | 2016-04-17 12:33:39 -0700 | [diff] [blame] | 37 | |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 38 | JEMALLOC_VALGRIND_MAKE_MEM_UNDEFINED(node, sizeof(extent_node_t)); |
| 39 | *(extent_node_t **)node = base_nodes; |
| 40 | base_nodes = node; |
| 41 | } |
| 42 | |
Jason Evans | 5c77af9 | 2016-11-14 18:27:23 -0800 | [diff] [blame] | 43 | static void |
| 44 | base_extent_node_init(extent_node_t *node, void *addr, size_t size) |
| 45 | { |
| 46 | size_t sn = atomic_add_z(&base_extent_sn_next, 1) - 1; |
| 47 | |
| 48 | extent_node_init(node, NULL, addr, size, sn, true, true); |
| 49 | } |
| 50 | |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 51 | static extent_node_t * |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 52 | base_chunk_alloc(tsdn_t *tsdn, size_t minsize) |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 53 | { |
| 54 | extent_node_t *node; |
| 55 | size_t csize, nsize; |
| 56 | void *addr; |
| 57 | |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 58 | malloc_mutex_assert_owner(tsdn, &base_mtx); |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 59 | assert(minsize != 0); |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 60 | node = base_node_try_alloc(tsdn); |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 61 | /* Allocate enough space to also carve a node out if necessary. */ |
| 62 | nsize = (node == NULL) ? CACHELINE_CEILING(sizeof(extent_node_t)) : 0; |
| 63 | csize = CHUNK_CEILING(minsize + nsize); |
| 64 | addr = chunk_alloc_base(csize); |
| 65 | if (addr == NULL) { |
| 66 | if (node != NULL) |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 67 | base_node_dalloc(tsdn, node); |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 68 | return (NULL); |
| 69 | } |
Jason Evans | 4acd75a | 2015-03-23 17:25:57 -0700 | [diff] [blame] | 70 | base_mapped += csize; |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 71 | if (node == NULL) { |
Jason Evans | 4acd75a | 2015-03-23 17:25:57 -0700 | [diff] [blame] | 72 | node = (extent_node_t *)addr; |
| 73 | addr = (void *)((uintptr_t)addr + nsize); |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 74 | csize -= nsize; |
Jason Evans | 4acd75a | 2015-03-23 17:25:57 -0700 | [diff] [blame] | 75 | if (config_stats) { |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 76 | base_allocated += nsize; |
Jason Evans | 4acd75a | 2015-03-23 17:25:57 -0700 | [diff] [blame] | 77 | base_resident += PAGE_CEILING(nsize); |
| 78 | } |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 79 | } |
Jason Evans | 5c77af9 | 2016-11-14 18:27:23 -0800 | [diff] [blame] | 80 | base_extent_node_init(node, addr, csize); |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 81 | return (node); |
| 82 | } |
| 83 | |
Jason Evans | cbf3a6d | 2015-02-11 12:24:27 -0800 | [diff] [blame] | 84 | /* |
| 85 | * base_alloc() guarantees demand-zeroed memory, in order to make multi-page |
| 86 | * sparse data structures such as radix tree nodes efficient with respect to |
| 87 | * physical memory usage. |
| 88 | */ |
| 89 | void * |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 90 | base_alloc(tsdn_t *tsdn, size_t size) |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 91 | { |
| 92 | void *ret; |
Jason Evans | 5707d6f | 2015-03-06 17:14:05 -0800 | [diff] [blame] | 93 | size_t csize, usize; |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 94 | extent_node_t *node; |
| 95 | extent_node_t key; |
| 96 | |
| 97 | /* |
| 98 | * Round size up to nearest multiple of the cacheline size, so that |
| 99 | * there is no chance of false cache line sharing. |
| 100 | */ |
| 101 | csize = CACHELINE_CEILING(size); |
| 102 | |
Jason Evans | 5707d6f | 2015-03-06 17:14:05 -0800 | [diff] [blame] | 103 | usize = s2u(csize); |
Jason Evans | 5c77af9 | 2016-11-14 18:27:23 -0800 | [diff] [blame] | 104 | extent_node_init(&key, NULL, NULL, usize, 0, false, false); |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 105 | malloc_mutex_lock(tsdn, &base_mtx); |
Jason Evans | 5c77af9 | 2016-11-14 18:27:23 -0800 | [diff] [blame] | 106 | node = extent_tree_szsnad_nsearch(&base_avail_szsnad, &key); |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 107 | if (node != NULL) { |
| 108 | /* Use existing space. */ |
Jason Evans | 5c77af9 | 2016-11-14 18:27:23 -0800 | [diff] [blame] | 109 | extent_tree_szsnad_remove(&base_avail_szsnad, node); |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 110 | } else { |
| 111 | /* Try to allocate more space. */ |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 112 | node = base_chunk_alloc(tsdn, csize); |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 113 | } |
Jason Evans | cbf3a6d | 2015-02-11 12:24:27 -0800 | [diff] [blame] | 114 | if (node == NULL) { |
| 115 | ret = NULL; |
| 116 | goto label_return; |
| 117 | } |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 118 | |
Jason Evans | ee41ad4 | 2015-02-15 18:04:46 -0800 | [diff] [blame] | 119 | ret = extent_node_addr_get(node); |
| 120 | if (extent_node_size_get(node) > csize) { |
| 121 | extent_node_addr_set(node, (void *)((uintptr_t)ret + csize)); |
| 122 | extent_node_size_set(node, extent_node_size_get(node) - csize); |
Jason Evans | 5c77af9 | 2016-11-14 18:27:23 -0800 | [diff] [blame] | 123 | extent_tree_szsnad_insert(&base_avail_szsnad, node); |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 124 | } else |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 125 | base_node_dalloc(tsdn, node); |
Jason Evans | 4acd75a | 2015-03-23 17:25:57 -0700 | [diff] [blame] | 126 | if (config_stats) { |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 127 | base_allocated += csize; |
Jason Evans | 4acd75a | 2015-03-23 17:25:57 -0700 | [diff] [blame] | 128 | /* |
| 129 | * Add one PAGE to base_resident for every page boundary that is |
| 130 | * crossed by the new allocation. |
| 131 | */ |
| 132 | base_resident += PAGE_CEILING((uintptr_t)ret + csize) - |
| 133 | PAGE_CEILING((uintptr_t)ret); |
| 134 | } |
Jason Evans | 4f6f2b1 | 2015-06-22 14:38:06 -0700 | [diff] [blame] | 135 | JEMALLOC_VALGRIND_MAKE_MEM_DEFINED(ret, csize); |
Jason Evans | cbf3a6d | 2015-02-11 12:24:27 -0800 | [diff] [blame] | 136 | label_return: |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 137 | malloc_mutex_unlock(tsdn, &base_mtx); |
Jason Evans | 41b6afb | 2012-02-02 22:04:57 -0800 | [diff] [blame] | 138 | return (ret); |
| 139 | } |
| 140 | |
Jason Evans | 4acd75a | 2015-03-23 17:25:57 -0700 | [diff] [blame] | 141 | void |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 142 | base_stats_get(tsdn_t *tsdn, size_t *allocated, size_t *resident, |
| 143 | size_t *mapped) |
Jason Evans | 4581b97 | 2014-11-27 17:22:36 -0200 | [diff] [blame] | 144 | { |
Jason Evans | 4581b97 | 2014-11-27 17:22:36 -0200 | [diff] [blame] | 145 | |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 146 | malloc_mutex_lock(tsdn, &base_mtx); |
Jason Evans | 56048ba | 2015-05-28 15:03:58 -0700 | [diff] [blame] | 147 | assert(base_allocated <= base_resident); |
| 148 | assert(base_resident <= base_mapped); |
Jason Evans | 4acd75a | 2015-03-23 17:25:57 -0700 | [diff] [blame] | 149 | *allocated = base_allocated; |
| 150 | *resident = base_resident; |
| 151 | *mapped = base_mapped; |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 152 | malloc_mutex_unlock(tsdn, &base_mtx); |
Jason Evans | 4581b97 | 2014-11-27 17:22:36 -0200 | [diff] [blame] | 153 | } |
| 154 | |
Jason Evans | e476f8a | 2010-01-16 09:53:50 -0800 | [diff] [blame] | 155 | bool |
| 156 | base_boot(void) |
| 157 | { |
| 158 | |
Jason Evans | b2c0d63 | 2016-04-13 23:36:15 -0700 | [diff] [blame] | 159 | if (malloc_mutex_init(&base_mtx, "base", WITNESS_RANK_BASE)) |
Jason Evans | e476f8a | 2010-01-16 09:53:50 -0800 | [diff] [blame] | 160 | return (true); |
Jason Evans | 5c77af9 | 2016-11-14 18:27:23 -0800 | [diff] [blame] | 161 | base_extent_sn_next = 0; |
| 162 | extent_tree_szsnad_new(&base_avail_szsnad); |
Jason Evans | f500a10 | 2015-01-30 21:49:19 -0800 | [diff] [blame] | 163 | base_nodes = NULL; |
Jason Evans | e476f8a | 2010-01-16 09:53:50 -0800 | [diff] [blame] | 164 | |
| 165 | return (false); |
| 166 | } |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 167 | |
| 168 | void |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 169 | base_prefork(tsdn_t *tsdn) |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 170 | { |
| 171 | |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 172 | malloc_mutex_prefork(tsdn, &base_mtx); |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 173 | } |
| 174 | |
| 175 | void |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 176 | base_postfork_parent(tsdn_t *tsdn) |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 177 | { |
| 178 | |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 179 | malloc_mutex_postfork_parent(tsdn, &base_mtx); |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 180 | } |
| 181 | |
| 182 | void |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 183 | base_postfork_child(tsdn_t *tsdn) |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 184 | { |
| 185 | |
Jason Evans | c1e00ef | 2016-05-10 22:21:10 -0700 | [diff] [blame] | 186 | malloc_mutex_postfork_child(tsdn, &base_mtx); |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 187 | } |