Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 1 | #define JEMALLOC_CHUNK_DSS_C_ |
Jason Evans | 376b152 | 2010-02-11 14:45:59 -0800 | [diff] [blame] | 2 | #include "jemalloc/internal/jemalloc_internal.h" |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 3 | /******************************************************************************/ |
| 4 | /* Data. */ |
| 5 | |
Jason Evans | 609ae59 | 2012-10-11 13:53:15 -0700 | [diff] [blame] | 6 | const char *dss_prec_names[] = { |
| 7 | "disabled", |
| 8 | "primary", |
| 9 | "secondary", |
| 10 | "N/A" |
| 11 | }; |
| 12 | |
| 13 | /* Current dss precedence default, used when creating new arenas. */ |
| 14 | static dss_prec_t dss_prec_default = DSS_PREC_DEFAULT; |
| 15 | |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 16 | /* |
| 17 | * Protects sbrk() calls. This avoids malloc races among threads, though it |
| 18 | * does not protect against races with threads that call sbrk() directly. |
| 19 | */ |
| 20 | static malloc_mutex_t dss_mtx; |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 21 | |
| 22 | /* Base address of the DSS. */ |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 23 | static void *dss_base; |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 24 | /* Current end of the DSS, or ((void *)-1) if the DSS is exhausted. */ |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 25 | static void *dss_prev; |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 26 | /* Current upper limit on DSS addresses. */ |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 27 | static void *dss_max; |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 28 | |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 29 | /******************************************************************************/ |
| 30 | |
| 31 | static void * |
Jason Evans | 6668853 | 2013-12-03 21:49:36 -0800 | [diff] [blame] | 32 | chunk_dss_sbrk(intptr_t increment) |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 33 | { |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 34 | |
Jason Evans | 4d434ad | 2014-04-15 12:09:48 -0700 | [diff] [blame] | 35 | #ifdef JEMALLOC_DSS |
Jason Evans | 6668853 | 2013-12-03 21:49:36 -0800 | [diff] [blame] | 36 | return (sbrk(increment)); |
| 37 | #else |
Jason Evans | 7ca0fdf | 2012-04-12 20:20:58 -0700 | [diff] [blame] | 38 | not_implemented(); |
Jason Evans | 7ca0fdf | 2012-04-12 20:20:58 -0700 | [diff] [blame] | 39 | return (NULL); |
Jason Evans | 7ca0fdf | 2012-04-12 20:20:58 -0700 | [diff] [blame] | 40 | #endif |
Jason Evans | 6668853 | 2013-12-03 21:49:36 -0800 | [diff] [blame] | 41 | } |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 42 | |
Jason Evans | 609ae59 | 2012-10-11 13:53:15 -0700 | [diff] [blame] | 43 | dss_prec_t |
| 44 | chunk_dss_prec_get(void) |
| 45 | { |
| 46 | dss_prec_t ret; |
| 47 | |
Jason Evans | 551ebc4 | 2014-10-03 10:16:09 -0700 | [diff] [blame] | 48 | if (!have_dss) |
Jason Evans | 609ae59 | 2012-10-11 13:53:15 -0700 | [diff] [blame] | 49 | return (dss_prec_disabled); |
| 50 | malloc_mutex_lock(&dss_mtx); |
| 51 | ret = dss_prec_default; |
| 52 | malloc_mutex_unlock(&dss_mtx); |
| 53 | return (ret); |
| 54 | } |
| 55 | |
| 56 | bool |
| 57 | chunk_dss_prec_set(dss_prec_t dss_prec) |
| 58 | { |
| 59 | |
Jason Evans | 551ebc4 | 2014-10-03 10:16:09 -0700 | [diff] [blame] | 60 | if (!have_dss) |
Jason Evans | 4d434ad | 2014-04-15 12:09:48 -0700 | [diff] [blame] | 61 | return (dss_prec != dss_prec_disabled); |
Jason Evans | 609ae59 | 2012-10-11 13:53:15 -0700 | [diff] [blame] | 62 | malloc_mutex_lock(&dss_mtx); |
| 63 | dss_prec_default = dss_prec; |
| 64 | malloc_mutex_unlock(&dss_mtx); |
| 65 | return (false); |
| 66 | } |
| 67 | |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 68 | void * |
Jason Evans | cbf3a6d | 2015-02-11 12:24:27 -0800 | [diff] [blame] | 69 | chunk_alloc_dss(arena_t *arena, void *new_addr, size_t size, size_t alignment, |
Jason Evans | 8fadb1a | 2015-08-04 10:49:46 -0700 | [diff] [blame] | 70 | bool *zero, bool *commit) |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 71 | { |
Jason Evans | 4d434ad | 2014-04-15 12:09:48 -0700 | [diff] [blame] | 72 | cassert(have_dss); |
Mike Hommey | eae2690 | 2012-04-10 19:50:33 +0200 | [diff] [blame] | 73 | assert(size > 0 && (size & chunksize_mask) == 0); |
| 74 | assert(alignment > 0 && (alignment & chunksize_mask) == 0); |
Jason Evans | 7372b15 | 2012-02-10 20:22:09 -0800 | [diff] [blame] | 75 | |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 76 | /* |
| 77 | * sbrk() uses a signed increment argument, so take care not to |
| 78 | * interpret a huge allocation request as a negative increment. |
| 79 | */ |
| 80 | if ((intptr_t)size < 0) |
| 81 | return (NULL); |
| 82 | |
| 83 | malloc_mutex_lock(&dss_mtx); |
| 84 | if (dss_prev != (void *)-1) { |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 85 | |
| 86 | /* |
| 87 | * The loop is necessary to recover from races with other |
| 88 | * threads that are using the DSS for something other than |
| 89 | * malloc. |
| 90 | */ |
| 91 | do { |
Dmitry-Me | 78ae1ac | 2015-09-08 15:09:20 +0300 | [diff] [blame] | 92 | void *ret, *cpad, *dss_next; |
| 93 | size_t gap_size, cpad_size; |
| 94 | intptr_t incr; |
Daniel Micay | 879e76a | 2014-11-03 14:02:52 -0500 | [diff] [blame] | 95 | /* Avoid an unnecessary system call. */ |
| 96 | if (new_addr != NULL && dss_max != new_addr) |
| 97 | break; |
| 98 | |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 99 | /* Get the current end of the DSS. */ |
Jason Evans | 6668853 | 2013-12-03 21:49:36 -0800 | [diff] [blame] | 100 | dss_max = chunk_dss_sbrk(0); |
Daniel Micay | 879e76a | 2014-11-03 14:02:52 -0500 | [diff] [blame] | 101 | |
| 102 | /* Make sure the earlier condition still holds. */ |
| 103 | if (new_addr != NULL && dss_max != new_addr) |
| 104 | break; |
| 105 | |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 106 | /* |
| 107 | * Calculate how much padding is necessary to |
| 108 | * chunk-align the end of the DSS. |
| 109 | */ |
Mike Hommey | eae2690 | 2012-04-10 19:50:33 +0200 | [diff] [blame] | 110 | gap_size = (chunksize - CHUNK_ADDR2OFFSET(dss_max)) & |
| 111 | chunksize_mask; |
| 112 | /* |
| 113 | * Compute how much chunk-aligned pad space (if any) is |
| 114 | * necessary to satisfy alignment. This space can be |
| 115 | * recycled for later use. |
| 116 | */ |
| 117 | cpad = (void *)((uintptr_t)dss_max + gap_size); |
Jason Evans | 5ff709c | 2012-04-11 18:13:45 -0700 | [diff] [blame] | 118 | ret = (void *)ALIGNMENT_CEILING((uintptr_t)dss_max, |
| 119 | alignment); |
Mike Hommey | eae2690 | 2012-04-10 19:50:33 +0200 | [diff] [blame] | 120 | cpad_size = (uintptr_t)ret - (uintptr_t)cpad; |
| 121 | dss_next = (void *)((uintptr_t)ret + size); |
| 122 | if ((uintptr_t)ret < (uintptr_t)dss_max || |
| 123 | (uintptr_t)dss_next < (uintptr_t)dss_max) { |
| 124 | /* Wrap-around. */ |
| 125 | malloc_mutex_unlock(&dss_mtx); |
| 126 | return (NULL); |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 127 | } |
Mike Hommey | eae2690 | 2012-04-10 19:50:33 +0200 | [diff] [blame] | 128 | incr = gap_size + cpad_size + size; |
Jason Evans | 6668853 | 2013-12-03 21:49:36 -0800 | [diff] [blame] | 129 | dss_prev = chunk_dss_sbrk(incr); |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 130 | if (dss_prev == dss_max) { |
| 131 | /* Success. */ |
Mike Hommey | eae2690 | 2012-04-10 19:50:33 +0200 | [diff] [blame] | 132 | dss_max = dss_next; |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 133 | malloc_mutex_unlock(&dss_mtx); |
Jason Evans | ee41ad4 | 2015-02-15 18:04:46 -0800 | [diff] [blame] | 134 | if (cpad_size != 0) { |
Jason Evans | b49a334 | 2015-07-28 11:28:19 -0400 | [diff] [blame] | 135 | chunk_hooks_t chunk_hooks = |
| 136 | CHUNK_HOOKS_INITIALIZER; |
| 137 | chunk_dalloc_wrapper(arena, |
Jason Evans | 8fadb1a | 2015-08-04 10:49:46 -0700 | [diff] [blame] | 138 | &chunk_hooks, cpad, cpad_size, |
Jason Evans | 1ae9287 | 2016-03-30 18:36:04 -0700 | [diff] [blame] | 139 | false, true); |
Jason Evans | ee41ad4 | 2015-02-15 18:04:46 -0800 | [diff] [blame] | 140 | } |
Jason Evans | 7ad54c1 | 2012-04-21 16:04:51 -0700 | [diff] [blame] | 141 | if (*zero) { |
Jason Evans | bd87b01 | 2014-04-15 16:35:08 -0700 | [diff] [blame] | 142 | JEMALLOC_VALGRIND_MAKE_MEM_UNDEFINED( |
| 143 | ret, size); |
Jason Evans | 7ad54c1 | 2012-04-21 16:04:51 -0700 | [diff] [blame] | 144 | memset(ret, 0, size); |
| 145 | } |
Jason Evans | 03bf5b6 | 2015-08-12 10:26:54 -0700 | [diff] [blame] | 146 | if (!*commit) |
| 147 | *commit = pages_decommit(ret, size); |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 148 | return (ret); |
| 149 | } |
| 150 | } while (dss_prev != (void *)-1); |
| 151 | } |
| 152 | malloc_mutex_unlock(&dss_mtx); |
| 153 | |
| 154 | return (NULL); |
| 155 | } |
| 156 | |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 157 | bool |
Jason Evans | cfdc8cf | 2010-11-30 16:50:58 -0800 | [diff] [blame] | 158 | chunk_in_dss(void *chunk) |
| 159 | { |
| 160 | bool ret; |
| 161 | |
Jason Evans | 4d434ad | 2014-04-15 12:09:48 -0700 | [diff] [blame] | 162 | cassert(have_dss); |
Jason Evans | 7372b15 | 2012-02-10 20:22:09 -0800 | [diff] [blame] | 163 | |
Jason Evans | cfdc8cf | 2010-11-30 16:50:58 -0800 | [diff] [blame] | 164 | malloc_mutex_lock(&dss_mtx); |
| 165 | if ((uintptr_t)chunk >= (uintptr_t)dss_base |
| 166 | && (uintptr_t)chunk < (uintptr_t)dss_max) |
| 167 | ret = true; |
| 168 | else |
| 169 | ret = false; |
| 170 | malloc_mutex_unlock(&dss_mtx); |
| 171 | |
| 172 | return (ret); |
| 173 | } |
| 174 | |
| 175 | bool |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 176 | chunk_dss_boot(void) |
| 177 | { |
| 178 | |
Jason Evans | 4d434ad | 2014-04-15 12:09:48 -0700 | [diff] [blame] | 179 | cassert(have_dss); |
Jason Evans | 7372b15 | 2012-02-10 20:22:09 -0800 | [diff] [blame] | 180 | |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 181 | if (malloc_mutex_init(&dss_mtx)) |
| 182 | return (true); |
Jason Evans | 6668853 | 2013-12-03 21:49:36 -0800 | [diff] [blame] | 183 | dss_base = chunk_dss_sbrk(0); |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 184 | dss_prev = dss_base; |
| 185 | dss_max = dss_base; |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 186 | |
| 187 | return (false); |
| 188 | } |
| 189 | |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 190 | void |
| 191 | chunk_dss_prefork(void) |
| 192 | { |
| 193 | |
Jason Evans | 4d434ad | 2014-04-15 12:09:48 -0700 | [diff] [blame] | 194 | if (have_dss) |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 195 | malloc_mutex_prefork(&dss_mtx); |
| 196 | } |
| 197 | |
| 198 | void |
| 199 | chunk_dss_postfork_parent(void) |
| 200 | { |
| 201 | |
Jason Evans | 4d434ad | 2014-04-15 12:09:48 -0700 | [diff] [blame] | 202 | if (have_dss) |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 203 | malloc_mutex_postfork_parent(&dss_mtx); |
| 204 | } |
| 205 | |
| 206 | void |
| 207 | chunk_dss_postfork_child(void) |
| 208 | { |
| 209 | |
Jason Evans | 4d434ad | 2014-04-15 12:09:48 -0700 | [diff] [blame] | 210 | if (have_dss) |
Jason Evans | 4e2e3dd | 2012-03-13 16:31:41 -0700 | [diff] [blame] | 211 | malloc_mutex_postfork_child(&dss_mtx); |
| 212 | } |
| 213 | |
Jason Evans | 4201af0 | 2010-01-24 02:53:40 -0800 | [diff] [blame] | 214 | /******************************************************************************/ |