Jason Evans | bbe29d3 | 2013-01-30 15:03:11 -0800 | [diff] [blame] | 1 | #define JEMALLOC_QUARANTINE_C_ |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 2 | #include "jemalloc/internal/jemalloc_internal.h" |
| 3 | |
Jason Evans | 577dd84 | 2012-04-23 21:14:26 -0700 | [diff] [blame] | 4 | /* |
Jason Evans | e12eaf9 | 2014-12-08 14:40:14 -0800 | [diff] [blame] | 5 | * Quarantine pointers close to NULL are used to encode state information that |
Jason Evans | 577dd84 | 2012-04-23 21:14:26 -0700 | [diff] [blame] | 6 | * is used for cleaning up during thread shutdown. |
| 7 | */ |
| 8 | #define QUARANTINE_STATE_REINCARNATED ((quarantine_t *)(uintptr_t)1) |
| 9 | #define QUARANTINE_STATE_PURGATORY ((quarantine_t *)(uintptr_t)2) |
| 10 | #define QUARANTINE_STATE_MAX QUARANTINE_STATE_PURGATORY |
| 11 | |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 12 | /******************************************************************************/ |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 13 | /* Function prototypes for non-inline static functions. */ |
| 14 | |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 15 | static quarantine_t *quarantine_grow(tsd_t *tsd, quarantine_t *quarantine); |
| 16 | static void quarantine_drain_one(tsd_t *tsd, quarantine_t *quarantine); |
| 17 | static void quarantine_drain(tsd_t *tsd, quarantine_t *quarantine, |
| 18 | size_t upper_bound); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 19 | |
| 20 | /******************************************************************************/ |
| 21 | |
Jason Evans | 9cf2be0 | 2014-11-07 14:50:38 -0800 | [diff] [blame] | 22 | static quarantine_t * |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 23 | quarantine_init(tsd_t *tsd, size_t lg_maxobjs) |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 24 | { |
| 25 | quarantine_t *quarantine; |
Qi Wang | f4a0f32 | 2015-10-27 15:12:10 -0700 | [diff] [blame] | 26 | size_t size; |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 27 | |
Jason Evans | c002a5c | 2014-11-04 18:03:11 -0800 | [diff] [blame] | 28 | assert(tsd_nominal(tsd)); |
| 29 | |
Qi Wang | f4a0f32 | 2015-10-27 15:12:10 -0700 | [diff] [blame] | 30 | size = offsetof(quarantine_t, objs) + ((ZU(1) << lg_maxobjs) * |
| 31 | sizeof(quarantine_obj_t)); |
| 32 | quarantine = (quarantine_t *)iallocztm(tsd, size, size2index(size), |
| 33 | false, tcache_get(tsd, true), true, NULL, true); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 34 | if (quarantine == NULL) |
| 35 | return (NULL); |
| 36 | quarantine->curbytes = 0; |
| 37 | quarantine->curobjs = 0; |
| 38 | quarantine->first = 0; |
| 39 | quarantine->lg_maxobjs = lg_maxobjs; |
| 40 | |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 41 | return (quarantine); |
| 42 | } |
| 43 | |
Jason Evans | c002a5c | 2014-11-04 18:03:11 -0800 | [diff] [blame] | 44 | void |
| 45 | quarantine_alloc_hook_work(tsd_t *tsd) |
| 46 | { |
| 47 | quarantine_t *quarantine; |
| 48 | |
| 49 | if (!tsd_nominal(tsd)) |
| 50 | return; |
| 51 | |
| 52 | quarantine = quarantine_init(tsd, LG_MAXOBJS_INIT); |
| 53 | /* |
| 54 | * Check again whether quarantine has been initialized, because |
Jason Evans | e12eaf9 | 2014-12-08 14:40:14 -0800 | [diff] [blame] | 55 | * quarantine_init() may have triggered recursive initialization. |
Jason Evans | c002a5c | 2014-11-04 18:03:11 -0800 | [diff] [blame] | 56 | */ |
| 57 | if (tsd_quarantine_get(tsd) == NULL) |
| 58 | tsd_quarantine_set(tsd, quarantine); |
| 59 | else |
Qi Wang | f4a0f32 | 2015-10-27 15:12:10 -0700 | [diff] [blame] | 60 | idalloctm(tsd, quarantine, tcache_get(tsd, false), true, true); |
Jason Evans | c002a5c | 2014-11-04 18:03:11 -0800 | [diff] [blame] | 61 | } |
| 62 | |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 63 | static quarantine_t * |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 64 | quarantine_grow(tsd_t *tsd, quarantine_t *quarantine) |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 65 | { |
| 66 | quarantine_t *ret; |
| 67 | |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 68 | ret = quarantine_init(tsd, quarantine->lg_maxobjs + 1); |
Jason Evans | d0e942e | 2013-01-31 14:42:41 -0800 | [diff] [blame] | 69 | if (ret == NULL) { |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 70 | quarantine_drain_one(tsd, quarantine); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 71 | return (quarantine); |
Jason Evans | d0e942e | 2013-01-31 14:42:41 -0800 | [diff] [blame] | 72 | } |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 73 | |
| 74 | ret->curbytes = quarantine->curbytes; |
Jason Evans | 7e06039 | 2012-04-23 22:07:30 -0700 | [diff] [blame] | 75 | ret->curobjs = quarantine->curobjs; |
| 76 | if (quarantine->first + quarantine->curobjs <= (ZU(1) << |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 77 | quarantine->lg_maxobjs)) { |
| 78 | /* objs ring buffer data are contiguous. */ |
| 79 | memcpy(ret->objs, &quarantine->objs[quarantine->first], |
Jason Evans | 9cd351d | 2012-04-23 21:43:18 -0700 | [diff] [blame] | 80 | quarantine->curobjs * sizeof(quarantine_obj_t)); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 81 | } else { |
| 82 | /* objs ring buffer data wrap around. */ |
Jason Evans | 7e06039 | 2012-04-23 22:07:30 -0700 | [diff] [blame] | 83 | size_t ncopy_a = (ZU(1) << quarantine->lg_maxobjs) - |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 84 | quarantine->first; |
Jason Evans | 7e06039 | 2012-04-23 22:07:30 -0700 | [diff] [blame] | 85 | size_t ncopy_b = quarantine->curobjs - ncopy_a; |
| 86 | |
| 87 | memcpy(ret->objs, &quarantine->objs[quarantine->first], ncopy_a |
| 88 | * sizeof(quarantine_obj_t)); |
| 89 | memcpy(&ret->objs[ncopy_a], quarantine->objs, ncopy_b * |
Jason Evans | 9cd351d | 2012-04-23 21:43:18 -0700 | [diff] [blame] | 90 | sizeof(quarantine_obj_t)); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 91 | } |
Qi Wang | f4a0f32 | 2015-10-27 15:12:10 -0700 | [diff] [blame] | 92 | idalloctm(tsd, quarantine, tcache_get(tsd, false), true, true); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 93 | |
Jason Evans | c002a5c | 2014-11-04 18:03:11 -0800 | [diff] [blame] | 94 | tsd_quarantine_set(tsd, ret); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 95 | return (ret); |
| 96 | } |
| 97 | |
| 98 | static void |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 99 | quarantine_drain_one(tsd_t *tsd, quarantine_t *quarantine) |
Jason Evans | d0e942e | 2013-01-31 14:42:41 -0800 | [diff] [blame] | 100 | { |
| 101 | quarantine_obj_t *obj = &quarantine->objs[quarantine->first]; |
| 102 | assert(obj->usize == isalloc(obj->ptr, config_prof)); |
Qi Wang | f4a0f32 | 2015-10-27 15:12:10 -0700 | [diff] [blame] | 103 | idalloctm(tsd, obj->ptr, NULL, false, true); |
Jason Evans | d0e942e | 2013-01-31 14:42:41 -0800 | [diff] [blame] | 104 | quarantine->curbytes -= obj->usize; |
| 105 | quarantine->curobjs--; |
| 106 | quarantine->first = (quarantine->first + 1) & ((ZU(1) << |
| 107 | quarantine->lg_maxobjs) - 1); |
| 108 | } |
| 109 | |
| 110 | static void |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 111 | quarantine_drain(tsd_t *tsd, quarantine_t *quarantine, size_t upper_bound) |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 112 | { |
| 113 | |
Jason Evans | d0e942e | 2013-01-31 14:42:41 -0800 | [diff] [blame] | 114 | while (quarantine->curbytes > upper_bound && quarantine->curobjs > 0) |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 115 | quarantine_drain_one(tsd, quarantine); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 116 | } |
| 117 | |
| 118 | void |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 119 | quarantine(tsd_t *tsd, void *ptr) |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 120 | { |
| 121 | quarantine_t *quarantine; |
| 122 | size_t usize = isalloc(ptr, config_prof); |
| 123 | |
Jason Evans | 78f7352 | 2012-04-18 13:38:40 -0700 | [diff] [blame] | 124 | cassert(config_fill); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 125 | assert(opt_quarantine); |
| 126 | |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 127 | if ((quarantine = tsd_quarantine_get(tsd)) == NULL) { |
Qi Wang | f4a0f32 | 2015-10-27 15:12:10 -0700 | [diff] [blame] | 128 | idalloctm(tsd, ptr, NULL, false, true); |
Jason Evans | bbe29d3 | 2013-01-30 15:03:11 -0800 | [diff] [blame] | 129 | return; |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 130 | } |
| 131 | /* |
| 132 | * Drain one or more objects if the quarantine size limit would be |
| 133 | * exceeded by appending ptr. |
| 134 | */ |
| 135 | if (quarantine->curbytes + usize > opt_quarantine) { |
| 136 | size_t upper_bound = (opt_quarantine >= usize) ? opt_quarantine |
| 137 | - usize : 0; |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 138 | quarantine_drain(tsd, quarantine, upper_bound); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 139 | } |
| 140 | /* Grow the quarantine ring buffer if it's full. */ |
| 141 | if (quarantine->curobjs == (ZU(1) << quarantine->lg_maxobjs)) |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 142 | quarantine = quarantine_grow(tsd, quarantine); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 143 | /* quarantine_grow() must free a slot if it fails to grow. */ |
| 144 | assert(quarantine->curobjs < (ZU(1) << quarantine->lg_maxobjs)); |
| 145 | /* Append ptr if its size doesn't exceed the quarantine size. */ |
| 146 | if (quarantine->curbytes + usize <= opt_quarantine) { |
| 147 | size_t offset = (quarantine->first + quarantine->curobjs) & |
| 148 | ((ZU(1) << quarantine->lg_maxobjs) - 1); |
Jason Evans | 9cd351d | 2012-04-23 21:43:18 -0700 | [diff] [blame] | 149 | quarantine_obj_t *obj = &quarantine->objs[offset]; |
| 150 | obj->ptr = ptr; |
| 151 | obj->usize = usize; |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 152 | quarantine->curbytes += usize; |
| 153 | quarantine->curobjs++; |
Guilherme Goncalves | 2c5cb61 | 2014-12-08 19:12:41 -0200 | [diff] [blame] | 154 | if (config_fill && unlikely(opt_junk_free)) { |
Jason Evans | 0d6c5d8 | 2013-12-17 15:14:36 -0800 | [diff] [blame] | 155 | /* |
| 156 | * Only do redzone validation if Valgrind isn't in |
| 157 | * operation. |
| 158 | */ |
Jason Evans | 9c640bf | 2014-09-11 16:20:44 -0700 | [diff] [blame] | 159 | if ((!config_valgrind || likely(!in_valgrind)) |
Jason Evans | 0d6c5d8 | 2013-12-17 15:14:36 -0800 | [diff] [blame] | 160 | && usize <= SMALL_MAXCLASS) |
| 161 | arena_quarantine_junk_small(ptr, usize); |
| 162 | else |
| 163 | memset(ptr, 0x5a, usize); |
| 164 | } |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 165 | } else { |
| 166 | assert(quarantine->curbytes == 0); |
Qi Wang | f4a0f32 | 2015-10-27 15:12:10 -0700 | [diff] [blame] | 167 | idalloctm(tsd, ptr, NULL, false, true); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 168 | } |
| 169 | } |
| 170 | |
Jason Evans | bbe29d3 | 2013-01-30 15:03:11 -0800 | [diff] [blame] | 171 | void |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 172 | quarantine_cleanup(tsd_t *tsd) |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 173 | { |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 174 | quarantine_t *quarantine; |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 175 | |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 176 | if (!config_fill) |
| 177 | return; |
| 178 | |
| 179 | quarantine = tsd_quarantine_get(tsd); |
| 180 | if (quarantine != NULL) { |
| 181 | quarantine_drain(tsd, quarantine, 0); |
Qi Wang | f4a0f32 | 2015-10-27 15:12:10 -0700 | [diff] [blame] | 182 | idalloctm(tsd, quarantine, tcache_get(tsd, false), true, true); |
Jason Evans | 5460aa6 | 2014-09-22 21:09:23 -0700 | [diff] [blame] | 183 | tsd_quarantine_set(tsd, NULL); |
Jason Evans | 122449b | 2012-04-06 00:35:09 -0700 | [diff] [blame] | 184 | } |
| 185 | } |