blob: ff8801cb7c7cc1ef63fededfb081030bbbc12ff2 [file] [log] [blame]
Jason Evansbbe29d32013-01-30 15:03:11 -08001#define JEMALLOC_QUARANTINE_C_
Jason Evans122449b2012-04-06 00:35:09 -07002#include "jemalloc/internal/jemalloc_internal.h"
3
Jason Evans577dd842012-04-23 21:14:26 -07004/*
Jason Evanse12eaf92014-12-08 14:40:14 -08005 * Quarantine pointers close to NULL are used to encode state information that
Jason Evans577dd842012-04-23 21:14:26 -07006 * 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 Evans122449b2012-04-06 00:35:09 -070012/******************************************************************************/
Jason Evans122449b2012-04-06 00:35:09 -070013/* Function prototypes for non-inline static functions. */
14
Jason Evans5460aa62014-09-22 21:09:23 -070015static quarantine_t *quarantine_grow(tsd_t *tsd, quarantine_t *quarantine);
16static void quarantine_drain_one(tsd_t *tsd, quarantine_t *quarantine);
17static void quarantine_drain(tsd_t *tsd, quarantine_t *quarantine,
18 size_t upper_bound);
Jason Evans122449b2012-04-06 00:35:09 -070019
20/******************************************************************************/
21
Jason Evans9cf2be02014-11-07 14:50:38 -080022static quarantine_t *
Jason Evans5460aa62014-09-22 21:09:23 -070023quarantine_init(tsd_t *tsd, size_t lg_maxobjs)
Jason Evans122449b2012-04-06 00:35:09 -070024{
25 quarantine_t *quarantine;
Qi Wangf4a0f322015-10-27 15:12:10 -070026 size_t size;
Jason Evans122449b2012-04-06 00:35:09 -070027
Jason Evansc002a5c2014-11-04 18:03:11 -080028 assert(tsd_nominal(tsd));
29
Qi Wangf4a0f322015-10-27 15:12:10 -070030 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 Evans122449b2012-04-06 00:35:09 -070034 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 Evans122449b2012-04-06 00:35:09 -070041 return (quarantine);
42}
43
Jason Evansc002a5c2014-11-04 18:03:11 -080044void
45quarantine_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 Evanse12eaf92014-12-08 14:40:14 -080055 * quarantine_init() may have triggered recursive initialization.
Jason Evansc002a5c2014-11-04 18:03:11 -080056 */
57 if (tsd_quarantine_get(tsd) == NULL)
58 tsd_quarantine_set(tsd, quarantine);
59 else
Qi Wangf4a0f322015-10-27 15:12:10 -070060 idalloctm(tsd, quarantine, tcache_get(tsd, false), true, true);
Jason Evansc002a5c2014-11-04 18:03:11 -080061}
62
Jason Evans122449b2012-04-06 00:35:09 -070063static quarantine_t *
Jason Evans5460aa62014-09-22 21:09:23 -070064quarantine_grow(tsd_t *tsd, quarantine_t *quarantine)
Jason Evans122449b2012-04-06 00:35:09 -070065{
66 quarantine_t *ret;
67
Jason Evans5460aa62014-09-22 21:09:23 -070068 ret = quarantine_init(tsd, quarantine->lg_maxobjs + 1);
Jason Evansd0e942e2013-01-31 14:42:41 -080069 if (ret == NULL) {
Jason Evans5460aa62014-09-22 21:09:23 -070070 quarantine_drain_one(tsd, quarantine);
Jason Evans122449b2012-04-06 00:35:09 -070071 return (quarantine);
Jason Evansd0e942e2013-01-31 14:42:41 -080072 }
Jason Evans122449b2012-04-06 00:35:09 -070073
74 ret->curbytes = quarantine->curbytes;
Jason Evans7e060392012-04-23 22:07:30 -070075 ret->curobjs = quarantine->curobjs;
76 if (quarantine->first + quarantine->curobjs <= (ZU(1) <<
Jason Evans122449b2012-04-06 00:35:09 -070077 quarantine->lg_maxobjs)) {
78 /* objs ring buffer data are contiguous. */
79 memcpy(ret->objs, &quarantine->objs[quarantine->first],
Jason Evans9cd351d2012-04-23 21:43:18 -070080 quarantine->curobjs * sizeof(quarantine_obj_t));
Jason Evans122449b2012-04-06 00:35:09 -070081 } else {
82 /* objs ring buffer data wrap around. */
Jason Evans7e060392012-04-23 22:07:30 -070083 size_t ncopy_a = (ZU(1) << quarantine->lg_maxobjs) -
Jason Evans122449b2012-04-06 00:35:09 -070084 quarantine->first;
Jason Evans7e060392012-04-23 22:07:30 -070085 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 Evans9cd351d2012-04-23 21:43:18 -070090 sizeof(quarantine_obj_t));
Jason Evans122449b2012-04-06 00:35:09 -070091 }
Qi Wangf4a0f322015-10-27 15:12:10 -070092 idalloctm(tsd, quarantine, tcache_get(tsd, false), true, true);
Jason Evans122449b2012-04-06 00:35:09 -070093
Jason Evansc002a5c2014-11-04 18:03:11 -080094 tsd_quarantine_set(tsd, ret);
Jason Evans122449b2012-04-06 00:35:09 -070095 return (ret);
96}
97
98static void
Jason Evans5460aa62014-09-22 21:09:23 -070099quarantine_drain_one(tsd_t *tsd, quarantine_t *quarantine)
Jason Evansd0e942e2013-01-31 14:42:41 -0800100{
101 quarantine_obj_t *obj = &quarantine->objs[quarantine->first];
102 assert(obj->usize == isalloc(obj->ptr, config_prof));
Qi Wangf4a0f322015-10-27 15:12:10 -0700103 idalloctm(tsd, obj->ptr, NULL, false, true);
Jason Evansd0e942e2013-01-31 14:42:41 -0800104 quarantine->curbytes -= obj->usize;
105 quarantine->curobjs--;
106 quarantine->first = (quarantine->first + 1) & ((ZU(1) <<
107 quarantine->lg_maxobjs) - 1);
108}
109
110static void
Jason Evans5460aa62014-09-22 21:09:23 -0700111quarantine_drain(tsd_t *tsd, quarantine_t *quarantine, size_t upper_bound)
Jason Evans122449b2012-04-06 00:35:09 -0700112{
113
Jason Evansd0e942e2013-01-31 14:42:41 -0800114 while (quarantine->curbytes > upper_bound && quarantine->curobjs > 0)
Jason Evans5460aa62014-09-22 21:09:23 -0700115 quarantine_drain_one(tsd, quarantine);
Jason Evans122449b2012-04-06 00:35:09 -0700116}
117
118void
Jason Evans5460aa62014-09-22 21:09:23 -0700119quarantine(tsd_t *tsd, void *ptr)
Jason Evans122449b2012-04-06 00:35:09 -0700120{
121 quarantine_t *quarantine;
122 size_t usize = isalloc(ptr, config_prof);
123
Jason Evans78f73522012-04-18 13:38:40 -0700124 cassert(config_fill);
Jason Evans122449b2012-04-06 00:35:09 -0700125 assert(opt_quarantine);
126
Jason Evans5460aa62014-09-22 21:09:23 -0700127 if ((quarantine = tsd_quarantine_get(tsd)) == NULL) {
Qi Wangf4a0f322015-10-27 15:12:10 -0700128 idalloctm(tsd, ptr, NULL, false, true);
Jason Evansbbe29d32013-01-30 15:03:11 -0800129 return;
Jason Evans122449b2012-04-06 00:35:09 -0700130 }
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 Evans5460aa62014-09-22 21:09:23 -0700138 quarantine_drain(tsd, quarantine, upper_bound);
Jason Evans122449b2012-04-06 00:35:09 -0700139 }
140 /* Grow the quarantine ring buffer if it's full. */
141 if (quarantine->curobjs == (ZU(1) << quarantine->lg_maxobjs))
Jason Evans5460aa62014-09-22 21:09:23 -0700142 quarantine = quarantine_grow(tsd, quarantine);
Jason Evans122449b2012-04-06 00:35:09 -0700143 /* 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 Evans9cd351d2012-04-23 21:43:18 -0700149 quarantine_obj_t *obj = &quarantine->objs[offset];
150 obj->ptr = ptr;
151 obj->usize = usize;
Jason Evans122449b2012-04-06 00:35:09 -0700152 quarantine->curbytes += usize;
153 quarantine->curobjs++;
Guilherme Goncalves2c5cb612014-12-08 19:12:41 -0200154 if (config_fill && unlikely(opt_junk_free)) {
Jason Evans0d6c5d82013-12-17 15:14:36 -0800155 /*
156 * Only do redzone validation if Valgrind isn't in
157 * operation.
158 */
Jason Evans9c640bf2014-09-11 16:20:44 -0700159 if ((!config_valgrind || likely(!in_valgrind))
Jason Evans0d6c5d82013-12-17 15:14:36 -0800160 && usize <= SMALL_MAXCLASS)
161 arena_quarantine_junk_small(ptr, usize);
162 else
163 memset(ptr, 0x5a, usize);
164 }
Jason Evans122449b2012-04-06 00:35:09 -0700165 } else {
166 assert(quarantine->curbytes == 0);
Qi Wangf4a0f322015-10-27 15:12:10 -0700167 idalloctm(tsd, ptr, NULL, false, true);
Jason Evans122449b2012-04-06 00:35:09 -0700168 }
169}
170
Jason Evansbbe29d32013-01-30 15:03:11 -0800171void
Jason Evans5460aa62014-09-22 21:09:23 -0700172quarantine_cleanup(tsd_t *tsd)
Jason Evans122449b2012-04-06 00:35:09 -0700173{
Jason Evans5460aa62014-09-22 21:09:23 -0700174 quarantine_t *quarantine;
Jason Evans122449b2012-04-06 00:35:09 -0700175
Jason Evans5460aa62014-09-22 21:09:23 -0700176 if (!config_fill)
177 return;
178
179 quarantine = tsd_quarantine_get(tsd);
180 if (quarantine != NULL) {
181 quarantine_drain(tsd, quarantine, 0);
Qi Wangf4a0f322015-10-27 15:12:10 -0700182 idalloctm(tsd, quarantine, tcache_get(tsd, false), true, true);
Jason Evans5460aa62014-09-22 21:09:23 -0700183 tsd_quarantine_set(tsd, NULL);
Jason Evans122449b2012-04-06 00:35:09 -0700184 }
185}