blob: 943d0e98dde71420413c2cdc4f5147cf0234e1af [file] [log] [blame]
Jason Evans4201af02010-01-24 02:53:40 -08001#define JEMALLOC_CHUNK_DSS_C_
Jason Evans376b1522010-02-11 14:45:59 -08002#include "jemalloc/internal/jemalloc_internal.h"
Jason Evans4201af02010-01-24 02:53:40 -08003/******************************************************************************/
4/* Data. */
5
Jason Evans609ae592012-10-11 13:53:15 -07006const 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. */
14static dss_prec_t dss_prec_default = DSS_PREC_DEFAULT;
15
Jason Evans4e2e3dd2012-03-13 16:31:41 -070016/*
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 */
20static malloc_mutex_t dss_mtx;
Jason Evans4201af02010-01-24 02:53:40 -080021
22/* Base address of the DSS. */
Jason Evans4e2e3dd2012-03-13 16:31:41 -070023static void *dss_base;
Jason Evans4201af02010-01-24 02:53:40 -080024/* Current end of the DSS, or ((void *)-1) if the DSS is exhausted. */
Jason Evans4e2e3dd2012-03-13 16:31:41 -070025static void *dss_prev;
Jason Evans4201af02010-01-24 02:53:40 -080026/* Current upper limit on DSS addresses. */
Jason Evans4e2e3dd2012-03-13 16:31:41 -070027static void *dss_max;
Jason Evans4201af02010-01-24 02:53:40 -080028
Jason Evans4201af02010-01-24 02:53:40 -080029/******************************************************************************/
30
31static void *
Jason Evans66688532013-12-03 21:49:36 -080032chunk_dss_sbrk(intptr_t increment)
Jason Evans4201af02010-01-24 02:53:40 -080033{
Jason Evans4201af02010-01-24 02:53:40 -080034
Jason Evans4d434ad2014-04-15 12:09:48 -070035#ifdef JEMALLOC_DSS
Jason Evans66688532013-12-03 21:49:36 -080036 return (sbrk(increment));
37#else
Jason Evans7ca0fdf2012-04-12 20:20:58 -070038 not_implemented();
Jason Evans7ca0fdf2012-04-12 20:20:58 -070039 return (NULL);
Jason Evans7ca0fdf2012-04-12 20:20:58 -070040#endif
Jason Evans66688532013-12-03 21:49:36 -080041}
Jason Evans4201af02010-01-24 02:53:40 -080042
Jason Evans609ae592012-10-11 13:53:15 -070043dss_prec_t
44chunk_dss_prec_get(void)
45{
46 dss_prec_t ret;
47
Jason Evans551ebc42014-10-03 10:16:09 -070048 if (!have_dss)
Jason Evans609ae592012-10-11 13:53:15 -070049 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
56bool
57chunk_dss_prec_set(dss_prec_t dss_prec)
58{
59
Jason Evans551ebc42014-10-03 10:16:09 -070060 if (!have_dss)
Jason Evans4d434ad2014-04-15 12:09:48 -070061 return (dss_prec != dss_prec_disabled);
Jason Evans609ae592012-10-11 13:53:15 -070062 malloc_mutex_lock(&dss_mtx);
63 dss_prec_default = dss_prec;
64 malloc_mutex_unlock(&dss_mtx);
65 return (false);
66}
67
Jason Evans4201af02010-01-24 02:53:40 -080068void *
Jason Evanscbf3a6d2015-02-11 12:24:27 -080069chunk_alloc_dss(arena_t *arena, void *new_addr, size_t size, size_t alignment,
Jason Evans8fadb1a2015-08-04 10:49:46 -070070 bool *zero, bool *commit)
Jason Evans4201af02010-01-24 02:53:40 -080071{
Jason Evans4d434ad2014-04-15 12:09:48 -070072 cassert(have_dss);
Mike Hommeyeae26902012-04-10 19:50:33 +020073 assert(size > 0 && (size & chunksize_mask) == 0);
74 assert(alignment > 0 && (alignment & chunksize_mask) == 0);
Jason Evans7372b152012-02-10 20:22:09 -080075
Jason Evans4201af02010-01-24 02:53:40 -080076 /*
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 Evans4201af02010-01-24 02:53:40 -080085
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-Me78ae1ac2015-09-08 15:09:20 +030092 void *ret, *cpad, *dss_next;
93 size_t gap_size, cpad_size;
94 intptr_t incr;
Daniel Micay879e76a2014-11-03 14:02:52 -050095 /* Avoid an unnecessary system call. */
96 if (new_addr != NULL && dss_max != new_addr)
97 break;
98
Jason Evans4201af02010-01-24 02:53:40 -080099 /* Get the current end of the DSS. */
Jason Evans66688532013-12-03 21:49:36 -0800100 dss_max = chunk_dss_sbrk(0);
Daniel Micay879e76a2014-11-03 14:02:52 -0500101
102 /* Make sure the earlier condition still holds. */
103 if (new_addr != NULL && dss_max != new_addr)
104 break;
105
Jason Evans4201af02010-01-24 02:53:40 -0800106 /*
107 * Calculate how much padding is necessary to
108 * chunk-align the end of the DSS.
109 */
Mike Hommeyeae26902012-04-10 19:50:33 +0200110 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 Evans5ff709c2012-04-11 18:13:45 -0700118 ret = (void *)ALIGNMENT_CEILING((uintptr_t)dss_max,
119 alignment);
Mike Hommeyeae26902012-04-10 19:50:33 +0200120 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 Evans4201af02010-01-24 02:53:40 -0800127 }
Mike Hommeyeae26902012-04-10 19:50:33 +0200128 incr = gap_size + cpad_size + size;
Jason Evans66688532013-12-03 21:49:36 -0800129 dss_prev = chunk_dss_sbrk(incr);
Jason Evans4201af02010-01-24 02:53:40 -0800130 if (dss_prev == dss_max) {
131 /* Success. */
Mike Hommeyeae26902012-04-10 19:50:33 +0200132 dss_max = dss_next;
Jason Evans4201af02010-01-24 02:53:40 -0800133 malloc_mutex_unlock(&dss_mtx);
Jason Evansee41ad42015-02-15 18:04:46 -0800134 if (cpad_size != 0) {
Jason Evansb49a3342015-07-28 11:28:19 -0400135 chunk_hooks_t chunk_hooks =
136 CHUNK_HOOKS_INITIALIZER;
137 chunk_dalloc_wrapper(arena,
Jason Evans8fadb1a2015-08-04 10:49:46 -0700138 &chunk_hooks, cpad, cpad_size,
Jason Evans1ae92872016-03-30 18:36:04 -0700139 false, true);
Jason Evansee41ad42015-02-15 18:04:46 -0800140 }
Jason Evans7ad54c12012-04-21 16:04:51 -0700141 if (*zero) {
Jason Evansbd87b012014-04-15 16:35:08 -0700142 JEMALLOC_VALGRIND_MAKE_MEM_UNDEFINED(
143 ret, size);
Jason Evans7ad54c12012-04-21 16:04:51 -0700144 memset(ret, 0, size);
145 }
Jason Evans03bf5b62015-08-12 10:26:54 -0700146 if (!*commit)
147 *commit = pages_decommit(ret, size);
Jason Evans4201af02010-01-24 02:53:40 -0800148 return (ret);
149 }
150 } while (dss_prev != (void *)-1);
151 }
152 malloc_mutex_unlock(&dss_mtx);
153
154 return (NULL);
155}
156
Jason Evans4201af02010-01-24 02:53:40 -0800157bool
Jason Evanscfdc8cf2010-11-30 16:50:58 -0800158chunk_in_dss(void *chunk)
159{
160 bool ret;
161
Jason Evans4d434ad2014-04-15 12:09:48 -0700162 cassert(have_dss);
Jason Evans7372b152012-02-10 20:22:09 -0800163
Jason Evanscfdc8cf2010-11-30 16:50:58 -0800164 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
175bool
Jason Evans4201af02010-01-24 02:53:40 -0800176chunk_dss_boot(void)
177{
178
Jason Evans4d434ad2014-04-15 12:09:48 -0700179 cassert(have_dss);
Jason Evans7372b152012-02-10 20:22:09 -0800180
Jason Evans4201af02010-01-24 02:53:40 -0800181 if (malloc_mutex_init(&dss_mtx))
182 return (true);
Jason Evans66688532013-12-03 21:49:36 -0800183 dss_base = chunk_dss_sbrk(0);
Jason Evans4201af02010-01-24 02:53:40 -0800184 dss_prev = dss_base;
185 dss_max = dss_base;
Jason Evans4201af02010-01-24 02:53:40 -0800186
187 return (false);
188}
189
Jason Evans4e2e3dd2012-03-13 16:31:41 -0700190void
191chunk_dss_prefork(void)
192{
193
Jason Evans4d434ad2014-04-15 12:09:48 -0700194 if (have_dss)
Jason Evans4e2e3dd2012-03-13 16:31:41 -0700195 malloc_mutex_prefork(&dss_mtx);
196}
197
198void
199chunk_dss_postfork_parent(void)
200{
201
Jason Evans4d434ad2014-04-15 12:09:48 -0700202 if (have_dss)
Jason Evans4e2e3dd2012-03-13 16:31:41 -0700203 malloc_mutex_postfork_parent(&dss_mtx);
204}
205
206void
207chunk_dss_postfork_child(void)
208{
209
Jason Evans4d434ad2014-04-15 12:09:48 -0700210 if (have_dss)
Jason Evans4e2e3dd2012-03-13 16:31:41 -0700211 malloc_mutex_postfork_child(&dss_mtx);
212}
213
Jason Evans4201af02010-01-24 02:53:40 -0800214/******************************************************************************/