blob: 3698cfc260e5dd0f32be5c96ba5ef9e727cd54bc [file] [log] [blame]
Tim Peters1221c0a2002-03-23 00:20:15 +00001#include "Python.h"
2
Benjamin Peterson3924f932016-09-18 19:12:48 -07003#include <stdbool.h>
4
Victor Stinner0611c262016-03-15 22:22:13 +01005
6/* Defined in tracemalloc.c */
7extern void _PyMem_DumpTraceback(int fd, const void *ptr);
8
9
Victor Stinner0507bf52013-07-07 02:05:46 +020010/* Python's malloc wrappers (see pymem.h) */
11
Victor Stinner34be807c2016-03-14 12:04:26 +010012#undef uint
13#define uint unsigned int /* assuming >= 16 bits */
14
Victor Stinner0507bf52013-07-07 02:05:46 +020015/* Forward declaration */
Victor Stinnerc4aec362016-03-14 22:26:53 +010016static void* _PyMem_DebugRawMalloc(void *ctx, size_t size);
17static void* _PyMem_DebugRawCalloc(void *ctx, size_t nelem, size_t elsize);
18static void* _PyMem_DebugRawRealloc(void *ctx, void *ptr, size_t size);
19static void _PyMem_DebugRawFree(void *ctx, void *p);
20
Victor Stinner0507bf52013-07-07 02:05:46 +020021static void* _PyMem_DebugMalloc(void *ctx, size_t size);
Victor Stinnerdb067af2014-05-02 22:31:14 +020022static void* _PyMem_DebugCalloc(void *ctx, size_t nelem, size_t elsize);
Victor Stinner0507bf52013-07-07 02:05:46 +020023static void* _PyMem_DebugRealloc(void *ctx, void *ptr, size_t size);
Victor Stinnerc4aec362016-03-14 22:26:53 +010024static void _PyMem_DebugFree(void *ctx, void *p);
Victor Stinner0507bf52013-07-07 02:05:46 +020025
26static void _PyObject_DebugDumpAddress(const void *p);
27static void _PyMem_DebugCheckAddress(char api_id, const void *p);
Victor Stinner0507bf52013-07-07 02:05:46 +020028
Nick Coghlan6ba64f42013-09-29 00:28:55 +100029#if defined(__has_feature) /* Clang */
30 #if __has_feature(address_sanitizer) /* is ASAN enabled? */
31 #define ATTRIBUTE_NO_ADDRESS_SAFETY_ANALYSIS \
Benjamin Peterson3924f932016-09-18 19:12:48 -070032 __attribute__((no_address_safety_analysis))
Nick Coghlan6ba64f42013-09-29 00:28:55 +100033 #else
34 #define ATTRIBUTE_NO_ADDRESS_SAFETY_ANALYSIS
35 #endif
36#else
37 #if defined(__SANITIZE_ADDRESS__) /* GCC 4.8.x, is ASAN enabled? */
38 #define ATTRIBUTE_NO_ADDRESS_SAFETY_ANALYSIS \
Benjamin Peterson3924f932016-09-18 19:12:48 -070039 __attribute__((no_address_safety_analysis))
Nick Coghlan6ba64f42013-09-29 00:28:55 +100040 #else
41 #define ATTRIBUTE_NO_ADDRESS_SAFETY_ANALYSIS
42 #endif
43#endif
44
Tim Peters1221c0a2002-03-23 00:20:15 +000045#ifdef WITH_PYMALLOC
46
Victor Stinner0507bf52013-07-07 02:05:46 +020047#ifdef MS_WINDOWS
48# include <windows.h>
49#elif defined(HAVE_MMAP)
50# include <sys/mman.h>
51# ifdef MAP_ANONYMOUS
52# define ARENAS_USE_MMAP
53# endif
Antoine Pitrou6f26be02011-05-03 18:18:59 +020054#endif
55
Victor Stinner0507bf52013-07-07 02:05:46 +020056/* Forward declaration */
57static void* _PyObject_Malloc(void *ctx, size_t size);
Victor Stinnerdb067af2014-05-02 22:31:14 +020058static void* _PyObject_Calloc(void *ctx, size_t nelem, size_t elsize);
Victor Stinner0507bf52013-07-07 02:05:46 +020059static void _PyObject_Free(void *ctx, void *p);
60static void* _PyObject_Realloc(void *ctx, void *ptr, size_t size);
Martin v. Löwiscd83fa82013-06-27 12:23:29 +020061#endif
62
Victor Stinner0507bf52013-07-07 02:05:46 +020063
64static void *
65_PyMem_RawMalloc(void *ctx, size_t size)
66{
Victor Stinnerdb067af2014-05-02 22:31:14 +020067 /* PyMem_RawMalloc(0) means malloc(1). Some systems would return NULL
Victor Stinner0507bf52013-07-07 02:05:46 +020068 for malloc(0), which would be treated as an error. Some platforms would
69 return a pointer with no memory behind it, which would break pymalloc.
70 To solve these problems, allocate an extra byte. */
71 if (size == 0)
72 size = 1;
73 return malloc(size);
74}
75
76static void *
Victor Stinnerdb067af2014-05-02 22:31:14 +020077_PyMem_RawCalloc(void *ctx, size_t nelem, size_t elsize)
78{
79 /* PyMem_RawCalloc(0, 0) means calloc(1, 1). Some systems would return NULL
80 for calloc(0, 0), which would be treated as an error. Some platforms
81 would return a pointer with no memory behind it, which would break
82 pymalloc. To solve these problems, allocate an extra byte. */
83 if (nelem == 0 || elsize == 0) {
84 nelem = 1;
85 elsize = 1;
86 }
87 return calloc(nelem, elsize);
88}
89
90static void *
Victor Stinner0507bf52013-07-07 02:05:46 +020091_PyMem_RawRealloc(void *ctx, void *ptr, size_t size)
92{
93 if (size == 0)
94 size = 1;
95 return realloc(ptr, size);
96}
97
98static void
99_PyMem_RawFree(void *ctx, void *ptr)
100{
101 free(ptr);
102}
103
104
105#ifdef MS_WINDOWS
106static void *
107_PyObject_ArenaVirtualAlloc(void *ctx, size_t size)
108{
109 return VirtualAlloc(NULL, size,
110 MEM_COMMIT | MEM_RESERVE, PAGE_READWRITE);
111}
112
113static void
114_PyObject_ArenaVirtualFree(void *ctx, void *ptr, size_t size)
115{
Victor Stinner725e6682013-07-07 03:06:16 +0200116 VirtualFree(ptr, 0, MEM_RELEASE);
Victor Stinner0507bf52013-07-07 02:05:46 +0200117}
118
119#elif defined(ARENAS_USE_MMAP)
120static void *
121_PyObject_ArenaMmap(void *ctx, size_t size)
122{
123 void *ptr;
124 ptr = mmap(NULL, size, PROT_READ|PROT_WRITE,
125 MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
126 if (ptr == MAP_FAILED)
127 return NULL;
128 assert(ptr != NULL);
129 return ptr;
130}
131
132static void
133_PyObject_ArenaMunmap(void *ctx, void *ptr, size_t size)
134{
135 munmap(ptr, size);
136}
137
138#else
139static void *
140_PyObject_ArenaMalloc(void *ctx, size_t size)
141{
142 return malloc(size);
143}
144
145static void
146_PyObject_ArenaFree(void *ctx, void *ptr, size_t size)
147{
148 free(ptr);
149}
150#endif
151
152
Victor Stinnerdb067af2014-05-02 22:31:14 +0200153#define PYRAW_FUNCS _PyMem_RawMalloc, _PyMem_RawCalloc, _PyMem_RawRealloc, _PyMem_RawFree
Victor Stinner0507bf52013-07-07 02:05:46 +0200154#ifdef WITH_PYMALLOC
Victor Stinnerdb067af2014-05-02 22:31:14 +0200155# define PYOBJ_FUNCS _PyObject_Malloc, _PyObject_Calloc, _PyObject_Realloc, _PyObject_Free
Victor Stinner0507bf52013-07-07 02:05:46 +0200156#else
Victor Stinner6cf185d2013-10-10 15:58:42 +0200157# define PYOBJ_FUNCS PYRAW_FUNCS
Victor Stinner0507bf52013-07-07 02:05:46 +0200158#endif
Victor Stinner15932592016-04-22 18:52:22 +0200159#define PYMEM_FUNCS PYOBJ_FUNCS
Victor Stinner0507bf52013-07-07 02:05:46 +0200160
Victor Stinner0507bf52013-07-07 02:05:46 +0200161typedef struct {
162 /* We tag each block with an API ID in order to tag API violations */
163 char api_id;
Victor Stinnerd8f0d922014-06-02 21:57:10 +0200164 PyMemAllocatorEx alloc;
Victor Stinner0507bf52013-07-07 02:05:46 +0200165} debug_alloc_api_t;
166static struct {
167 debug_alloc_api_t raw;
168 debug_alloc_api_t mem;
169 debug_alloc_api_t obj;
170} _PyMem_Debug = {
171 {'r', {NULL, PYRAW_FUNCS}},
Victor Stinner6cf185d2013-10-10 15:58:42 +0200172 {'m', {NULL, PYMEM_FUNCS}},
173 {'o', {NULL, PYOBJ_FUNCS}}
Victor Stinner0507bf52013-07-07 02:05:46 +0200174 };
175
Victor Stinnerc4aec362016-03-14 22:26:53 +0100176#define PYRAWDBG_FUNCS \
177 _PyMem_DebugRawMalloc, _PyMem_DebugRawCalloc, _PyMem_DebugRawRealloc, _PyMem_DebugRawFree
178#define PYDBG_FUNCS \
179 _PyMem_DebugMalloc, _PyMem_DebugCalloc, _PyMem_DebugRealloc, _PyMem_DebugFree
Victor Stinner0507bf52013-07-07 02:05:46 +0200180
Eric Snow76d5abc2017-09-05 18:26:16 -0700181
182#define _PyMem_Raw _PyRuntime.mem.allocators.raw
183static const PyMemAllocatorEx _pymem_raw = {
Victor Stinner34be807c2016-03-14 12:04:26 +0100184#ifdef Py_DEBUG
Victor Stinnerc4aec362016-03-14 22:26:53 +0100185 &_PyMem_Debug.raw, PYRAWDBG_FUNCS
Victor Stinner0507bf52013-07-07 02:05:46 +0200186#else
187 NULL, PYRAW_FUNCS
188#endif
189 };
190
Eric Snow76d5abc2017-09-05 18:26:16 -0700191#define _PyMem _PyRuntime.mem.allocators.mem
192static const PyMemAllocatorEx _pymem = {
Victor Stinner34be807c2016-03-14 12:04:26 +0100193#ifdef Py_DEBUG
Victor Stinner15932592016-04-22 18:52:22 +0200194 &_PyMem_Debug.mem, PYDBG_FUNCS
Victor Stinner0507bf52013-07-07 02:05:46 +0200195#else
Victor Stinner15932592016-04-22 18:52:22 +0200196 NULL, PYMEM_FUNCS
Victor Stinner0507bf52013-07-07 02:05:46 +0200197#endif
198 };
199
Eric Snow76d5abc2017-09-05 18:26:16 -0700200#define _PyObject _PyRuntime.mem.allocators.obj
201static const PyMemAllocatorEx _pyobject = {
Victor Stinner34be807c2016-03-14 12:04:26 +0100202#ifdef Py_DEBUG
Victor Stinner6cf185d2013-10-10 15:58:42 +0200203 &_PyMem_Debug.obj, PYDBG_FUNCS
Victor Stinner0507bf52013-07-07 02:05:46 +0200204#else
Victor Stinner6cf185d2013-10-10 15:58:42 +0200205 NULL, PYOBJ_FUNCS
Victor Stinner0507bf52013-07-07 02:05:46 +0200206#endif
207 };
208
Victor Stinner34be807c2016-03-14 12:04:26 +0100209int
210_PyMem_SetupAllocators(const char *opt)
211{
212 if (opt == NULL || *opt == '\0') {
213 /* PYTHONMALLOC is empty or is not set or ignored (-E/-I command line
214 options): use default allocators */
215#ifdef Py_DEBUG
216# ifdef WITH_PYMALLOC
217 opt = "pymalloc_debug";
218# else
219 opt = "malloc_debug";
220# endif
221#else
222 /* !Py_DEBUG */
223# ifdef WITH_PYMALLOC
224 opt = "pymalloc";
225# else
226 opt = "malloc";
227# endif
228#endif
229 }
230
231 if (strcmp(opt, "debug") == 0) {
232 PyMem_SetupDebugHooks();
233 }
234 else if (strcmp(opt, "malloc") == 0 || strcmp(opt, "malloc_debug") == 0)
235 {
236 PyMemAllocatorEx alloc = {NULL, PYRAW_FUNCS};
237
238 PyMem_SetAllocator(PYMEM_DOMAIN_RAW, &alloc);
239 PyMem_SetAllocator(PYMEM_DOMAIN_MEM, &alloc);
240 PyMem_SetAllocator(PYMEM_DOMAIN_OBJ, &alloc);
241
242 if (strcmp(opt, "malloc_debug") == 0)
243 PyMem_SetupDebugHooks();
244 }
245#ifdef WITH_PYMALLOC
246 else if (strcmp(opt, "pymalloc") == 0
247 || strcmp(opt, "pymalloc_debug") == 0)
248 {
Victor Stinner15932592016-04-22 18:52:22 +0200249 PyMemAllocatorEx raw_alloc = {NULL, PYRAW_FUNCS};
250 PyMemAllocatorEx mem_alloc = {NULL, PYMEM_FUNCS};
Victor Stinner34be807c2016-03-14 12:04:26 +0100251 PyMemAllocatorEx obj_alloc = {NULL, PYOBJ_FUNCS};
252
Victor Stinner15932592016-04-22 18:52:22 +0200253 PyMem_SetAllocator(PYMEM_DOMAIN_RAW, &raw_alloc);
254 PyMem_SetAllocator(PYMEM_DOMAIN_MEM, &mem_alloc);
Victor Stinner34be807c2016-03-14 12:04:26 +0100255 PyMem_SetAllocator(PYMEM_DOMAIN_OBJ, &obj_alloc);
256
257 if (strcmp(opt, "pymalloc_debug") == 0)
258 PyMem_SetupDebugHooks();
259 }
260#endif
261 else {
262 /* unknown allocator */
263 return -1;
264 }
265 return 0;
266}
267
Victor Stinner0507bf52013-07-07 02:05:46 +0200268#undef PYRAW_FUNCS
Victor Stinner6cf185d2013-10-10 15:58:42 +0200269#undef PYMEM_FUNCS
270#undef PYOBJ_FUNCS
Victor Stinnerc4aec362016-03-14 22:26:53 +0100271#undef PYRAWDBG_FUNCS
Victor Stinner6cf185d2013-10-10 15:58:42 +0200272#undef PYDBG_FUNCS
Victor Stinner0507bf52013-07-07 02:05:46 +0200273
Eric Snow76d5abc2017-09-05 18:26:16 -0700274static const PyObjectArenaAllocator _PyObject_Arena = {NULL,
Victor Stinner0507bf52013-07-07 02:05:46 +0200275#ifdef MS_WINDOWS
276 _PyObject_ArenaVirtualAlloc, _PyObject_ArenaVirtualFree
277#elif defined(ARENAS_USE_MMAP)
278 _PyObject_ArenaMmap, _PyObject_ArenaMunmap
279#else
280 _PyObject_ArenaMalloc, _PyObject_ArenaFree
281#endif
282 };
283
Eric Snow76d5abc2017-09-05 18:26:16 -0700284void
285_PyObject_Initialize(struct _pyobj_runtime_state *state)
286{
287 state->allocator_arenas = _PyObject_Arena;
288}
289
290void
291_PyMem_Initialize(struct _pymem_runtime_state *state)
292{
293 state->allocators.raw = _pymem_raw;
294 state->allocators.mem = _pymem;
295 state->allocators.obj = _pyobject;
296
297#ifdef WITH_PYMALLOC
298 for (int i = 0; i < 8; i++) {
299 if (NB_SMALL_SIZE_CLASSES <= i * 8)
300 break;
301 for (int j = 0; j < 8; j++) {
302 int x = i * 8 + j;
303 poolp *addr = &(state->usedpools[2*(x)]);
304 poolp val = (poolp)((uint8_t *)addr - 2*sizeof(pyblock *));
305 state->usedpools[x * 2] = val;
306 state->usedpools[x * 2 + 1] = val;
307 };
308 };
309#endif /* WITH_PYMALLOC */
310}
311
Victor Stinner0621e0e2016-04-19 17:02:55 +0200312#ifdef WITH_PYMALLOC
Victor Stinner34be807c2016-03-14 12:04:26 +0100313static int
314_PyMem_DebugEnabled(void)
315{
316 return (_PyObject.malloc == _PyMem_DebugMalloc);
317}
318
Victor Stinner34be807c2016-03-14 12:04:26 +0100319int
320_PyMem_PymallocEnabled(void)
321{
322 if (_PyMem_DebugEnabled()) {
323 return (_PyMem_Debug.obj.alloc.malloc == _PyObject_Malloc);
324 }
325 else {
326 return (_PyObject.malloc == _PyObject_Malloc);
327 }
328}
329#endif
330
Victor Stinner0507bf52013-07-07 02:05:46 +0200331void
332PyMem_SetupDebugHooks(void)
333{
Victor Stinnerd8f0d922014-06-02 21:57:10 +0200334 PyMemAllocatorEx alloc;
Victor Stinner0507bf52013-07-07 02:05:46 +0200335
Victor Stinnerc4aec362016-03-14 22:26:53 +0100336 alloc.malloc = _PyMem_DebugRawMalloc;
337 alloc.calloc = _PyMem_DebugRawCalloc;
338 alloc.realloc = _PyMem_DebugRawRealloc;
339 alloc.free = _PyMem_DebugRawFree;
Victor Stinner34be807c2016-03-14 12:04:26 +0100340
Victor Stinnerc4aec362016-03-14 22:26:53 +0100341 if (_PyMem_Raw.malloc != _PyMem_DebugRawMalloc) {
Victor Stinner0507bf52013-07-07 02:05:46 +0200342 alloc.ctx = &_PyMem_Debug.raw;
343 PyMem_GetAllocator(PYMEM_DOMAIN_RAW, &_PyMem_Debug.raw.alloc);
344 PyMem_SetAllocator(PYMEM_DOMAIN_RAW, &alloc);
345 }
346
Victor Stinnerc4aec362016-03-14 22:26:53 +0100347 alloc.malloc = _PyMem_DebugMalloc;
348 alloc.calloc = _PyMem_DebugCalloc;
349 alloc.realloc = _PyMem_DebugRealloc;
350 alloc.free = _PyMem_DebugFree;
351
Victor Stinnerad524372016-03-16 12:12:53 +0100352 if (_PyMem.malloc != _PyMem_DebugMalloc) {
353 alloc.ctx = &_PyMem_Debug.mem;
354 PyMem_GetAllocator(PYMEM_DOMAIN_MEM, &_PyMem_Debug.mem.alloc);
355 PyMem_SetAllocator(PYMEM_DOMAIN_MEM, &alloc);
356 }
357
Victor Stinner0507bf52013-07-07 02:05:46 +0200358 if (_PyObject.malloc != _PyMem_DebugMalloc) {
359 alloc.ctx = &_PyMem_Debug.obj;
360 PyMem_GetAllocator(PYMEM_DOMAIN_OBJ, &_PyMem_Debug.obj.alloc);
361 PyMem_SetAllocator(PYMEM_DOMAIN_OBJ, &alloc);
362 }
Victor Stinner0507bf52013-07-07 02:05:46 +0200363}
364
365void
Victor Stinnerd8f0d922014-06-02 21:57:10 +0200366PyMem_GetAllocator(PyMemAllocatorDomain domain, PyMemAllocatorEx *allocator)
Victor Stinner0507bf52013-07-07 02:05:46 +0200367{
368 switch(domain)
369 {
370 case PYMEM_DOMAIN_RAW: *allocator = _PyMem_Raw; break;
371 case PYMEM_DOMAIN_MEM: *allocator = _PyMem; break;
372 case PYMEM_DOMAIN_OBJ: *allocator = _PyObject; break;
373 default:
Victor Stinnerdb067af2014-05-02 22:31:14 +0200374 /* unknown domain: set all attributes to NULL */
Victor Stinner0507bf52013-07-07 02:05:46 +0200375 allocator->ctx = NULL;
376 allocator->malloc = NULL;
Victor Stinnerdb067af2014-05-02 22:31:14 +0200377 allocator->calloc = NULL;
Victor Stinner0507bf52013-07-07 02:05:46 +0200378 allocator->realloc = NULL;
379 allocator->free = NULL;
380 }
381}
382
383void
Victor Stinnerd8f0d922014-06-02 21:57:10 +0200384PyMem_SetAllocator(PyMemAllocatorDomain domain, PyMemAllocatorEx *allocator)
Victor Stinner0507bf52013-07-07 02:05:46 +0200385{
386 switch(domain)
387 {
388 case PYMEM_DOMAIN_RAW: _PyMem_Raw = *allocator; break;
389 case PYMEM_DOMAIN_MEM: _PyMem = *allocator; break;
390 case PYMEM_DOMAIN_OBJ: _PyObject = *allocator; break;
391 /* ignore unknown domain */
392 }
Victor Stinner0507bf52013-07-07 02:05:46 +0200393}
394
395void
396PyObject_GetArenaAllocator(PyObjectArenaAllocator *allocator)
397{
Eric Snow76d5abc2017-09-05 18:26:16 -0700398 *allocator = _PyRuntime.obj.allocator_arenas;
Victor Stinner0507bf52013-07-07 02:05:46 +0200399}
400
401void
402PyObject_SetArenaAllocator(PyObjectArenaAllocator *allocator)
403{
Eric Snow76d5abc2017-09-05 18:26:16 -0700404 _PyRuntime.obj.allocator_arenas = *allocator;
Victor Stinner0507bf52013-07-07 02:05:46 +0200405}
406
407void *
408PyMem_RawMalloc(size_t size)
409{
410 /*
411 * Limit ourselves to PY_SSIZE_T_MAX bytes to prevent security holes.
412 * Most python internals blindly use a signed Py_ssize_t to track
413 * things without checking for overflows or negatives.
414 * As size_t is unsigned, checking for size < 0 is not required.
415 */
416 if (size > (size_t)PY_SSIZE_T_MAX)
417 return NULL;
Victor Stinner0507bf52013-07-07 02:05:46 +0200418 return _PyMem_Raw.malloc(_PyMem_Raw.ctx, size);
419}
420
Victor Stinnerdb067af2014-05-02 22:31:14 +0200421void *
422PyMem_RawCalloc(size_t nelem, size_t elsize)
423{
424 /* see PyMem_RawMalloc() */
425 if (elsize != 0 && nelem > (size_t)PY_SSIZE_T_MAX / elsize)
426 return NULL;
427 return _PyMem_Raw.calloc(_PyMem_Raw.ctx, nelem, elsize);
428}
429
Victor Stinner0507bf52013-07-07 02:05:46 +0200430void*
431PyMem_RawRealloc(void *ptr, size_t new_size)
432{
433 /* see PyMem_RawMalloc() */
434 if (new_size > (size_t)PY_SSIZE_T_MAX)
435 return NULL;
436 return _PyMem_Raw.realloc(_PyMem_Raw.ctx, ptr, new_size);
437}
438
Eric Snow76d5abc2017-09-05 18:26:16 -0700439void
440PyMem_RawFree(void *ptr)
Victor Stinner0507bf52013-07-07 02:05:46 +0200441{
442 _PyMem_Raw.free(_PyMem_Raw.ctx, ptr);
443}
444
445void *
446PyMem_Malloc(size_t size)
447{
448 /* see PyMem_RawMalloc() */
449 if (size > (size_t)PY_SSIZE_T_MAX)
450 return NULL;
451 return _PyMem.malloc(_PyMem.ctx, size);
452}
453
454void *
Victor Stinnerdb067af2014-05-02 22:31:14 +0200455PyMem_Calloc(size_t nelem, size_t elsize)
456{
457 /* see PyMem_RawMalloc() */
458 if (elsize != 0 && nelem > (size_t)PY_SSIZE_T_MAX / elsize)
459 return NULL;
460 return _PyMem.calloc(_PyMem.ctx, nelem, elsize);
461}
462
463void *
Victor Stinner0507bf52013-07-07 02:05:46 +0200464PyMem_Realloc(void *ptr, size_t new_size)
465{
466 /* see PyMem_RawMalloc() */
467 if (new_size > (size_t)PY_SSIZE_T_MAX)
468 return NULL;
469 return _PyMem.realloc(_PyMem.ctx, ptr, new_size);
470}
471
472void
473PyMem_Free(void *ptr)
474{
475 _PyMem.free(_PyMem.ctx, ptr);
476}
477
Victor Stinner49fc8ec2013-07-07 23:30:24 +0200478char *
479_PyMem_RawStrdup(const char *str)
480{
481 size_t size;
482 char *copy;
483
484 size = strlen(str) + 1;
485 copy = PyMem_RawMalloc(size);
486 if (copy == NULL)
487 return NULL;
488 memcpy(copy, str, size);
489 return copy;
490}
491
492char *
493_PyMem_Strdup(const char *str)
494{
495 size_t size;
496 char *copy;
497
498 size = strlen(str) + 1;
499 copy = PyMem_Malloc(size);
500 if (copy == NULL)
501 return NULL;
502 memcpy(copy, str, size);
503 return copy;
504}
505
Victor Stinner0507bf52013-07-07 02:05:46 +0200506void *
507PyObject_Malloc(size_t size)
508{
509 /* see PyMem_RawMalloc() */
510 if (size > (size_t)PY_SSIZE_T_MAX)
511 return NULL;
512 return _PyObject.malloc(_PyObject.ctx, size);
513}
514
515void *
Victor Stinnerdb067af2014-05-02 22:31:14 +0200516PyObject_Calloc(size_t nelem, size_t elsize)
517{
518 /* see PyMem_RawMalloc() */
519 if (elsize != 0 && nelem > (size_t)PY_SSIZE_T_MAX / elsize)
520 return NULL;
521 return _PyObject.calloc(_PyObject.ctx, nelem, elsize);
522}
523
524void *
Victor Stinner0507bf52013-07-07 02:05:46 +0200525PyObject_Realloc(void *ptr, size_t new_size)
526{
527 /* see PyMem_RawMalloc() */
528 if (new_size > (size_t)PY_SSIZE_T_MAX)
529 return NULL;
530 return _PyObject.realloc(_PyObject.ctx, ptr, new_size);
531}
532
533void
534PyObject_Free(void *ptr)
535{
536 _PyObject.free(_PyObject.ctx, ptr);
537}
538
539
540#ifdef WITH_PYMALLOC
541
Benjamin Peterson05159c42009-12-03 03:01:27 +0000542#ifdef WITH_VALGRIND
543#include <valgrind/valgrind.h>
544
545/* If we're using GCC, use __builtin_expect() to reduce overhead of
546 the valgrind checks */
547#if defined(__GNUC__) && (__GNUC__ > 2) && defined(__OPTIMIZE__)
548# define UNLIKELY(value) __builtin_expect((value), 0)
549#else
550# define UNLIKELY(value) (value)
551#endif
552
553/* -1 indicates that we haven't checked that we're running on valgrind yet. */
554static int running_on_valgrind = -1;
555#endif
556
Antoine Pitrouf9d0b122012-12-09 14:28:26 +0100557Py_ssize_t
558_Py_GetAllocatedBlocks(void)
559{
Eric Snow76d5abc2017-09-05 18:26:16 -0700560 return _PyRuntime.mem.num_allocated_blocks;
Antoine Pitrouf9d0b122012-12-09 14:28:26 +0100561}
562
563
Thomas Woutersa9773292006-04-21 09:43:23 +0000564/* Allocate a new arena. If we run out of memory, return NULL. Else
565 * allocate a new arena, and return the address of an arena_object
566 * describing the new arena. It's expected that the caller will set
567 * `usable_arenas` to the return value.
568 */
569static struct arena_object*
Tim Petersd97a1c02002-03-30 06:09:22 +0000570new_arena(void)
571{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000572 struct arena_object* arenaobj;
573 uint excess; /* number of bytes above pool alignment */
Victor Stinnerba108822012-03-10 00:21:44 +0100574 void *address;
Victor Stinner34be807c2016-03-14 12:04:26 +0100575 static int debug_stats = -1;
Tim Petersd97a1c02002-03-30 06:09:22 +0000576
Victor Stinner34be807c2016-03-14 12:04:26 +0100577 if (debug_stats == -1) {
578 char *opt = Py_GETENV("PYTHONMALLOCSTATS");
579 debug_stats = (opt != NULL && *opt != '\0');
580 }
581 if (debug_stats)
David Malcolm49526f42012-06-22 14:55:41 -0400582 _PyObject_DebugMallocStats(stderr);
Victor Stinner34be807c2016-03-14 12:04:26 +0100583
Eric Snow76d5abc2017-09-05 18:26:16 -0700584 if (_PyRuntime.mem.unused_arena_objects == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000585 uint i;
586 uint numarenas;
587 size_t nbytes;
Tim Peters0e871182002-04-13 08:29:14 +0000588
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000589 /* Double the number of arena objects on each allocation.
590 * Note that it's possible for `numarenas` to overflow.
591 */
Eric Snow76d5abc2017-09-05 18:26:16 -0700592 numarenas = _PyRuntime.mem.maxarenas ? _PyRuntime.mem.maxarenas << 1 : INITIAL_ARENA_OBJECTS;
593 if (numarenas <= _PyRuntime.mem.maxarenas)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000594 return NULL; /* overflow */
Martin v. Löwis5aca8822008-09-11 06:55:48 +0000595#if SIZEOF_SIZE_T <= SIZEOF_INT
Eric Snow76d5abc2017-09-05 18:26:16 -0700596 if (numarenas > SIZE_MAX / sizeof(*_PyRuntime.mem.arenas))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000597 return NULL; /* overflow */
Martin v. Löwis5aca8822008-09-11 06:55:48 +0000598#endif
Eric Snow76d5abc2017-09-05 18:26:16 -0700599 nbytes = numarenas * sizeof(*_PyRuntime.mem.arenas);
600 arenaobj = (struct arena_object *)PyMem_RawRealloc(_PyRuntime.mem.arenas, nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000601 if (arenaobj == NULL)
602 return NULL;
Eric Snow76d5abc2017-09-05 18:26:16 -0700603 _PyRuntime.mem.arenas = arenaobj;
Thomas Woutersa9773292006-04-21 09:43:23 +0000604
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000605 /* We might need to fix pointers that were copied. However,
606 * new_arena only gets called when all the pages in the
607 * previous arenas are full. Thus, there are *no* pointers
608 * into the old array. Thus, we don't have to worry about
609 * invalid pointers. Just to be sure, some asserts:
610 */
Eric Snow76d5abc2017-09-05 18:26:16 -0700611 assert(_PyRuntime.mem.usable_arenas == NULL);
612 assert(_PyRuntime.mem.unused_arena_objects == NULL);
Thomas Woutersa9773292006-04-21 09:43:23 +0000613
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000614 /* Put the new arenas on the unused_arena_objects list. */
Eric Snow76d5abc2017-09-05 18:26:16 -0700615 for (i = _PyRuntime.mem.maxarenas; i < numarenas; ++i) {
616 _PyRuntime.mem.arenas[i].address = 0; /* mark as unassociated */
617 _PyRuntime.mem.arenas[i].nextarena = i < numarenas - 1 ?
618 &_PyRuntime.mem.arenas[i+1] : NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000619 }
Thomas Woutersa9773292006-04-21 09:43:23 +0000620
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000621 /* Update globals. */
Eric Snow76d5abc2017-09-05 18:26:16 -0700622 _PyRuntime.mem.unused_arena_objects = &_PyRuntime.mem.arenas[_PyRuntime.mem.maxarenas];
623 _PyRuntime.mem.maxarenas = numarenas;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000624 }
Tim Petersd97a1c02002-03-30 06:09:22 +0000625
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000626 /* Take the next available arena object off the head of the list. */
Eric Snow76d5abc2017-09-05 18:26:16 -0700627 assert(_PyRuntime.mem.unused_arena_objects != NULL);
628 arenaobj = _PyRuntime.mem.unused_arena_objects;
629 _PyRuntime.mem.unused_arena_objects = arenaobj->nextarena;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000630 assert(arenaobj->address == 0);
Eric Snow76d5abc2017-09-05 18:26:16 -0700631 address = _PyRuntime.obj.allocator_arenas.alloc(_PyRuntime.obj.allocator_arenas.ctx, ARENA_SIZE);
Victor Stinner0507bf52013-07-07 02:05:46 +0200632 if (address == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000633 /* The allocation failed: return NULL after putting the
634 * arenaobj back.
635 */
Eric Snow76d5abc2017-09-05 18:26:16 -0700636 arenaobj->nextarena = _PyRuntime.mem.unused_arena_objects;
637 _PyRuntime.mem.unused_arena_objects = arenaobj;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000638 return NULL;
639 }
Benjamin Peterson5d4b09c2016-09-18 19:24:52 -0700640 arenaobj->address = (uintptr_t)address;
Tim Petersd97a1c02002-03-30 06:09:22 +0000641
Eric Snow76d5abc2017-09-05 18:26:16 -0700642 ++_PyRuntime.mem.narenas_currently_allocated;
643 ++_PyRuntime.mem.ntimes_arena_allocated;
644 if (_PyRuntime.mem.narenas_currently_allocated > _PyRuntime.mem.narenas_highwater)
645 _PyRuntime.mem.narenas_highwater = _PyRuntime.mem.narenas_currently_allocated;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000646 arenaobj->freepools = NULL;
647 /* pool_address <- first pool-aligned address in the arena
648 nfreepools <- number of whole pools that fit after alignment */
Eric Snow76d5abc2017-09-05 18:26:16 -0700649 arenaobj->pool_address = (pyblock*)arenaobj->address;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000650 arenaobj->nfreepools = ARENA_SIZE / POOL_SIZE;
651 assert(POOL_SIZE * arenaobj->nfreepools == ARENA_SIZE);
652 excess = (uint)(arenaobj->address & POOL_SIZE_MASK);
653 if (excess != 0) {
654 --arenaobj->nfreepools;
655 arenaobj->pool_address += POOL_SIZE - excess;
656 }
657 arenaobj->ntotalpools = arenaobj->nfreepools;
Thomas Woutersa9773292006-04-21 09:43:23 +0000658
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000659 return arenaobj;
Tim Petersd97a1c02002-03-30 06:09:22 +0000660}
661
Thomas Woutersa9773292006-04-21 09:43:23 +0000662/*
Benjamin Peterson3924f932016-09-18 19:12:48 -0700663address_in_range(P, POOL)
Thomas Woutersa9773292006-04-21 09:43:23 +0000664
665Return true if and only if P is an address that was allocated by pymalloc.
666POOL must be the pool address associated with P, i.e., POOL = POOL_ADDR(P)
667(the caller is asked to compute this because the macro expands POOL more than
668once, and for efficiency it's best for the caller to assign POOL_ADDR(P) to a
Benjamin Peterson3924f932016-09-18 19:12:48 -0700669variable and pass the latter to the macro; because address_in_range is
Thomas Woutersa9773292006-04-21 09:43:23 +0000670called on every alloc/realloc/free, micro-efficiency is important here).
671
672Tricky: Let B be the arena base address associated with the pool, B =
673arenas[(POOL)->arenaindex].address. Then P belongs to the arena if and only if
674
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000675 B <= P < B + ARENA_SIZE
Thomas Woutersa9773292006-04-21 09:43:23 +0000676
677Subtracting B throughout, this is true iff
678
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000679 0 <= P-B < ARENA_SIZE
Thomas Woutersa9773292006-04-21 09:43:23 +0000680
681By using unsigned arithmetic, the "0 <=" half of the test can be skipped.
682
683Obscure: A PyMem "free memory" function can call the pymalloc free or realloc
684before the first arena has been allocated. `arenas` is still NULL in that
685case. We're relying on that maxarenas is also 0 in that case, so that
686(POOL)->arenaindex < maxarenas must be false, saving us from trying to index
687into a NULL arenas.
688
689Details: given P and POOL, the arena_object corresponding to P is AO =
690arenas[(POOL)->arenaindex]. Suppose obmalloc controls P. Then (barring wild
691stores, etc), POOL is the correct address of P's pool, AO.address is the
692correct base address of the pool's arena, and P must be within ARENA_SIZE of
693AO.address. In addition, AO.address is not 0 (no arena can start at address 0
Benjamin Peterson3924f932016-09-18 19:12:48 -0700694(NULL)). Therefore address_in_range correctly reports that obmalloc
Thomas Woutersa9773292006-04-21 09:43:23 +0000695controls P.
696
697Now suppose obmalloc does not control P (e.g., P was obtained via a direct
698call to the system malloc() or realloc()). (POOL)->arenaindex may be anything
699in this case -- it may even be uninitialized trash. If the trash arenaindex
700is >= maxarenas, the macro correctly concludes at once that obmalloc doesn't
701control P.
702
703Else arenaindex is < maxarena, and AO is read up. If AO corresponds to an
704allocated arena, obmalloc controls all the memory in slice AO.address :
705AO.address+ARENA_SIZE. By case assumption, P is not controlled by obmalloc,
706so P doesn't lie in that slice, so the macro correctly reports that P is not
707controlled by obmalloc.
708
709Finally, if P is not controlled by obmalloc and AO corresponds to an unused
710arena_object (one not currently associated with an allocated arena),
711AO.address is 0, and the second test in the macro reduces to:
712
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000713 P < ARENA_SIZE
Thomas Woutersa9773292006-04-21 09:43:23 +0000714
715If P >= ARENA_SIZE (extremely likely), the macro again correctly concludes
716that P is not controlled by obmalloc. However, if P < ARENA_SIZE, this part
717of the test still passes, and the third clause (AO.address != 0) is necessary
718to get the correct result: AO.address is 0 in this case, so the macro
719correctly reports that P is not controlled by obmalloc (despite that P lies in
720slice AO.address : AO.address + ARENA_SIZE).
721
722Note: The third (AO.address != 0) clause was added in Python 2.5. Before
7232.5, arenas were never free()'ed, and an arenaindex < maxarena always
724corresponded to a currently-allocated arena, so the "P is not controlled by
725obmalloc, AO corresponds to an unused arena_object, and P < ARENA_SIZE" case
726was impossible.
727
728Note that the logic is excruciating, and reading up possibly uninitialized
729memory when P is not controlled by obmalloc (to get at (POOL)->arenaindex)
730creates problems for some memory debuggers. The overwhelming advantage is
731that this test determines whether an arbitrary address is controlled by
732obmalloc in a small constant time, independent of the number of arenas
733obmalloc controls. Since this test is needed at every entry point, it's
734extremely desirable that it be this fast.
735*/
Thomas Woutersa9773292006-04-21 09:43:23 +0000736
Benjamin Peterson3924f932016-09-18 19:12:48 -0700737static bool ATTRIBUTE_NO_ADDRESS_SAFETY_ANALYSIS
738address_in_range(void *p, poolp pool)
739{
740 // Since address_in_range may be reading from memory which was not allocated
741 // by Python, it is important that pool->arenaindex is read only once, as
742 // another thread may be concurrently modifying the value without holding
743 // the GIL. The following dance forces the compiler to read pool->arenaindex
744 // only once.
745 uint arenaindex = *((volatile uint *)&pool->arenaindex);
Eric Snow76d5abc2017-09-05 18:26:16 -0700746 return arenaindex < _PyRuntime.mem.maxarenas &&
747 (uintptr_t)p - _PyRuntime.mem.arenas[arenaindex].address < ARENA_SIZE &&
748 _PyRuntime.mem.arenas[arenaindex].address != 0;
Benjamin Peterson3924f932016-09-18 19:12:48 -0700749}
Tim Peters338e0102002-04-01 19:23:44 +0000750
Neil Schemenauera35c6882001-02-27 04:45:05 +0000751/*==========================================================================*/
752
Tim Peters84c1b972002-04-04 04:44:32 +0000753/* malloc. Note that nbytes==0 tries to return a non-NULL pointer, distinct
754 * from all other currently live pointers. This may not be possible.
755 */
Neil Schemenauera35c6882001-02-27 04:45:05 +0000756
757/*
758 * The basic blocks are ordered by decreasing execution frequency,
759 * which minimizes the number of jumps in the most common cases,
760 * improves branching prediction and instruction scheduling (small
761 * block allocations typically result in a couple of instructions).
762 * Unless the optimizer reorders everything, being too smart...
763 */
764
Victor Stinner0507bf52013-07-07 02:05:46 +0200765static void *
Victor Stinnerdb067af2014-05-02 22:31:14 +0200766_PyObject_Alloc(int use_calloc, void *ctx, size_t nelem, size_t elsize)
Neil Schemenauera35c6882001-02-27 04:45:05 +0000767{
Victor Stinnerdb067af2014-05-02 22:31:14 +0200768 size_t nbytes;
Eric Snow76d5abc2017-09-05 18:26:16 -0700769 pyblock *bp;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000770 poolp pool;
771 poolp next;
772 uint size;
Neil Schemenauera35c6882001-02-27 04:45:05 +0000773
Eric Snow76d5abc2017-09-05 18:26:16 -0700774 _PyRuntime.mem.num_allocated_blocks++;
Antoine Pitrou0aaaa622013-04-06 01:15:30 +0200775
T. Wouters06bb4872017-03-31 10:10:19 -0700776 assert(elsize == 0 || nelem <= PY_SSIZE_T_MAX / elsize);
Victor Stinner3080d922014-05-06 11:32:29 +0200777 nbytes = nelem * elsize;
778
Benjamin Peterson05159c42009-12-03 03:01:27 +0000779#ifdef WITH_VALGRIND
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000780 if (UNLIKELY(running_on_valgrind == -1))
781 running_on_valgrind = RUNNING_ON_VALGRIND;
782 if (UNLIKELY(running_on_valgrind))
783 goto redirect;
Benjamin Peterson05159c42009-12-03 03:01:27 +0000784#endif
785
T. Wouters06bb4872017-03-31 10:10:19 -0700786 if (nelem == 0 || elsize == 0)
787 goto redirect;
788
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000789 if ((nbytes - 1) < SMALL_REQUEST_THRESHOLD) {
790 LOCK();
791 /*
792 * Most frequent paths first
793 */
794 size = (uint)(nbytes - 1) >> ALIGNMENT_SHIFT;
Eric Snow76d5abc2017-09-05 18:26:16 -0700795 pool = _PyRuntime.mem.usedpools[size + size];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000796 if (pool != pool->nextpool) {
797 /*
798 * There is a used pool for this size class.
799 * Pick up the head block of its free list.
800 */
801 ++pool->ref.count;
802 bp = pool->freeblock;
803 assert(bp != NULL);
Eric Snow76d5abc2017-09-05 18:26:16 -0700804 if ((pool->freeblock = *(pyblock **)bp) != NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000805 UNLOCK();
Victor Stinnerdb067af2014-05-02 22:31:14 +0200806 if (use_calloc)
807 memset(bp, 0, nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000808 return (void *)bp;
809 }
810 /*
811 * Reached the end of the free list, try to extend it.
812 */
813 if (pool->nextoffset <= pool->maxnextoffset) {
814 /* There is room for another block. */
Eric Snow76d5abc2017-09-05 18:26:16 -0700815 pool->freeblock = (pyblock*)pool +
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000816 pool->nextoffset;
817 pool->nextoffset += INDEX2SIZE(size);
Eric Snow76d5abc2017-09-05 18:26:16 -0700818 *(pyblock **)(pool->freeblock) = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000819 UNLOCK();
Victor Stinnerdb067af2014-05-02 22:31:14 +0200820 if (use_calloc)
821 memset(bp, 0, nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000822 return (void *)bp;
823 }
824 /* Pool is full, unlink from used pools. */
825 next = pool->nextpool;
826 pool = pool->prevpool;
827 next->prevpool = pool;
828 pool->nextpool = next;
829 UNLOCK();
Victor Stinnerdb067af2014-05-02 22:31:14 +0200830 if (use_calloc)
831 memset(bp, 0, nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000832 return (void *)bp;
833 }
Thomas Woutersa9773292006-04-21 09:43:23 +0000834
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000835 /* There isn't a pool of the right size class immediately
836 * available: use a free pool.
837 */
Eric Snow76d5abc2017-09-05 18:26:16 -0700838 if (_PyRuntime.mem.usable_arenas == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000839 /* No arena has a free pool: allocate a new arena. */
Thomas Woutersa9773292006-04-21 09:43:23 +0000840#ifdef WITH_MEMORY_LIMITS
Eric Snow76d5abc2017-09-05 18:26:16 -0700841 if (_PyRuntime.mem.narenas_currently_allocated >= MAX_ARENAS) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000842 UNLOCK();
843 goto redirect;
844 }
Thomas Woutersa9773292006-04-21 09:43:23 +0000845#endif
Eric Snow76d5abc2017-09-05 18:26:16 -0700846 _PyRuntime.mem.usable_arenas = new_arena();
847 if (_PyRuntime.mem.usable_arenas == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000848 UNLOCK();
849 goto redirect;
850 }
Eric Snow76d5abc2017-09-05 18:26:16 -0700851 _PyRuntime.mem.usable_arenas->nextarena =
852 _PyRuntime.mem.usable_arenas->prevarena = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000853 }
Eric Snow76d5abc2017-09-05 18:26:16 -0700854 assert(_PyRuntime.mem.usable_arenas->address != 0);
Thomas Woutersa9773292006-04-21 09:43:23 +0000855
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000856 /* Try to get a cached free pool. */
Eric Snow76d5abc2017-09-05 18:26:16 -0700857 pool = _PyRuntime.mem.usable_arenas->freepools;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000858 if (pool != NULL) {
859 /* Unlink from cached pools. */
Eric Snow76d5abc2017-09-05 18:26:16 -0700860 _PyRuntime.mem.usable_arenas->freepools = pool->nextpool;
Thomas Woutersa9773292006-04-21 09:43:23 +0000861
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000862 /* This arena already had the smallest nfreepools
863 * value, so decreasing nfreepools doesn't change
864 * that, and we don't need to rearrange the
865 * usable_arenas list. However, if the arena has
866 * become wholly allocated, we need to remove its
867 * arena_object from usable_arenas.
868 */
Eric Snow76d5abc2017-09-05 18:26:16 -0700869 --_PyRuntime.mem.usable_arenas->nfreepools;
870 if (_PyRuntime.mem.usable_arenas->nfreepools == 0) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000871 /* Wholly allocated: remove. */
Eric Snow76d5abc2017-09-05 18:26:16 -0700872 assert(_PyRuntime.mem.usable_arenas->freepools == NULL);
873 assert(_PyRuntime.mem.usable_arenas->nextarena == NULL ||
874 _PyRuntime.mem.usable_arenas->nextarena->prevarena ==
875 _PyRuntime.mem.usable_arenas);
Thomas Woutersa9773292006-04-21 09:43:23 +0000876
Eric Snow76d5abc2017-09-05 18:26:16 -0700877 _PyRuntime.mem.usable_arenas = _PyRuntime.mem.usable_arenas->nextarena;
878 if (_PyRuntime.mem.usable_arenas != NULL) {
879 _PyRuntime.mem.usable_arenas->prevarena = NULL;
880 assert(_PyRuntime.mem.usable_arenas->address != 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000881 }
882 }
883 else {
884 /* nfreepools > 0: it must be that freepools
885 * isn't NULL, or that we haven't yet carved
886 * off all the arena's pools for the first
887 * time.
888 */
Eric Snow76d5abc2017-09-05 18:26:16 -0700889 assert(_PyRuntime.mem.usable_arenas->freepools != NULL ||
890 _PyRuntime.mem.usable_arenas->pool_address <=
891 (pyblock*)_PyRuntime.mem.usable_arenas->address +
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000892 ARENA_SIZE - POOL_SIZE);
893 }
894 init_pool:
895 /* Frontlink to used pools. */
Eric Snow76d5abc2017-09-05 18:26:16 -0700896 next = _PyRuntime.mem.usedpools[size + size]; /* == prev */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000897 pool->nextpool = next;
898 pool->prevpool = next;
899 next->nextpool = pool;
900 next->prevpool = pool;
901 pool->ref.count = 1;
902 if (pool->szidx == size) {
903 /* Luckily, this pool last contained blocks
904 * of the same size class, so its header
905 * and free list are already initialized.
906 */
907 bp = pool->freeblock;
Antoine Pitrouf9d0b122012-12-09 14:28:26 +0100908 assert(bp != NULL);
Eric Snow76d5abc2017-09-05 18:26:16 -0700909 pool->freeblock = *(pyblock **)bp;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000910 UNLOCK();
Victor Stinnerdb067af2014-05-02 22:31:14 +0200911 if (use_calloc)
912 memset(bp, 0, nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000913 return (void *)bp;
914 }
915 /*
916 * Initialize the pool header, set up the free list to
917 * contain just the second block, and return the first
918 * block.
919 */
920 pool->szidx = size;
921 size = INDEX2SIZE(size);
Eric Snow76d5abc2017-09-05 18:26:16 -0700922 bp = (pyblock *)pool + POOL_OVERHEAD;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000923 pool->nextoffset = POOL_OVERHEAD + (size << 1);
924 pool->maxnextoffset = POOL_SIZE - size;
925 pool->freeblock = bp + size;
Eric Snow76d5abc2017-09-05 18:26:16 -0700926 *(pyblock **)(pool->freeblock) = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000927 UNLOCK();
Victor Stinnerdb067af2014-05-02 22:31:14 +0200928 if (use_calloc)
929 memset(bp, 0, nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000930 return (void *)bp;
931 }
Thomas Woutersa9773292006-04-21 09:43:23 +0000932
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000933 /* Carve off a new pool. */
Eric Snow76d5abc2017-09-05 18:26:16 -0700934 assert(_PyRuntime.mem.usable_arenas->nfreepools > 0);
935 assert(_PyRuntime.mem.usable_arenas->freepools == NULL);
936 pool = (poolp)_PyRuntime.mem.usable_arenas->pool_address;
937 assert((pyblock*)pool <= (pyblock*)_PyRuntime.mem.usable_arenas->address +
938 ARENA_SIZE - POOL_SIZE);
939 pool->arenaindex = (uint)(_PyRuntime.mem.usable_arenas - _PyRuntime.mem.arenas);
940 assert(&_PyRuntime.mem.arenas[pool->arenaindex] == _PyRuntime.mem.usable_arenas);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000941 pool->szidx = DUMMY_SIZE_IDX;
Eric Snow76d5abc2017-09-05 18:26:16 -0700942 _PyRuntime.mem.usable_arenas->pool_address += POOL_SIZE;
943 --_PyRuntime.mem.usable_arenas->nfreepools;
Thomas Woutersa9773292006-04-21 09:43:23 +0000944
Eric Snow76d5abc2017-09-05 18:26:16 -0700945 if (_PyRuntime.mem.usable_arenas->nfreepools == 0) {
946 assert(_PyRuntime.mem.usable_arenas->nextarena == NULL ||
947 _PyRuntime.mem.usable_arenas->nextarena->prevarena ==
948 _PyRuntime.mem.usable_arenas);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000949 /* Unlink the arena: it is completely allocated. */
Eric Snow76d5abc2017-09-05 18:26:16 -0700950 _PyRuntime.mem.usable_arenas = _PyRuntime.mem.usable_arenas->nextarena;
951 if (_PyRuntime.mem.usable_arenas != NULL) {
952 _PyRuntime.mem.usable_arenas->prevarena = NULL;
953 assert(_PyRuntime.mem.usable_arenas->address != 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000954 }
955 }
Thomas Woutersa9773292006-04-21 09:43:23 +0000956
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000957 goto init_pool;
958 }
Neil Schemenauera35c6882001-02-27 04:45:05 +0000959
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000960 /* The small block allocator ends here. */
Neil Schemenauera35c6882001-02-27 04:45:05 +0000961
Tim Petersd97a1c02002-03-30 06:09:22 +0000962redirect:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000963 /* Redirect the original request to the underlying (libc) allocator.
964 * We jump here on bigger requests, on error in the code above (as a
965 * last chance to serve the request) or when the max memory limit
966 * has been reached.
967 */
Antoine Pitrouf9d0b122012-12-09 14:28:26 +0100968 {
Victor Stinnerdb067af2014-05-02 22:31:14 +0200969 void *result;
970 if (use_calloc)
971 result = PyMem_RawCalloc(nelem, elsize);
972 else
973 result = PyMem_RawMalloc(nbytes);
Antoine Pitrouf9d0b122012-12-09 14:28:26 +0100974 if (!result)
Eric Snow76d5abc2017-09-05 18:26:16 -0700975 _PyRuntime.mem.num_allocated_blocks--;
Antoine Pitrouf9d0b122012-12-09 14:28:26 +0100976 return result;
977 }
Neil Schemenauera35c6882001-02-27 04:45:05 +0000978}
979
Victor Stinnerdb067af2014-05-02 22:31:14 +0200980static void *
981_PyObject_Malloc(void *ctx, size_t nbytes)
982{
983 return _PyObject_Alloc(0, ctx, 1, nbytes);
984}
985
986static void *
987_PyObject_Calloc(void *ctx, size_t nelem, size_t elsize)
988{
989 return _PyObject_Alloc(1, ctx, nelem, elsize);
990}
991
Neil Schemenauera35c6882001-02-27 04:45:05 +0000992/* free */
993
Victor Stinner0507bf52013-07-07 02:05:46 +0200994static void
995_PyObject_Free(void *ctx, void *p)
Neil Schemenauera35c6882001-02-27 04:45:05 +0000996{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000997 poolp pool;
Eric Snow76d5abc2017-09-05 18:26:16 -0700998 pyblock *lastfree;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000999 poolp next, prev;
1000 uint size;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001001
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001002 if (p == NULL) /* free(NULL) has no effect */
1003 return;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001004
Eric Snow76d5abc2017-09-05 18:26:16 -07001005 _PyRuntime.mem.num_allocated_blocks--;
Antoine Pitrouf9d0b122012-12-09 14:28:26 +01001006
Benjamin Peterson05159c42009-12-03 03:01:27 +00001007#ifdef WITH_VALGRIND
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001008 if (UNLIKELY(running_on_valgrind > 0))
1009 goto redirect;
Benjamin Peterson05159c42009-12-03 03:01:27 +00001010#endif
1011
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001012 pool = POOL_ADDR(p);
Benjamin Peterson3924f932016-09-18 19:12:48 -07001013 if (address_in_range(p, pool)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001014 /* We allocated this address. */
1015 LOCK();
1016 /* Link p to the start of the pool's freeblock list. Since
1017 * the pool had at least the p block outstanding, the pool
1018 * wasn't empty (so it's already in a usedpools[] list, or
1019 * was full and is in no list -- it's not in the freeblocks
1020 * list in any case).
1021 */
1022 assert(pool->ref.count > 0); /* else it was empty */
Eric Snow76d5abc2017-09-05 18:26:16 -07001023 *(pyblock **)p = lastfree = pool->freeblock;
1024 pool->freeblock = (pyblock *)p;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001025 if (lastfree) {
1026 struct arena_object* ao;
1027 uint nf; /* ao->nfreepools */
Thomas Woutersa9773292006-04-21 09:43:23 +00001028
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001029 /* freeblock wasn't NULL, so the pool wasn't full,
1030 * and the pool is in a usedpools[] list.
1031 */
1032 if (--pool->ref.count != 0) {
1033 /* pool isn't empty: leave it in usedpools */
1034 UNLOCK();
1035 return;
1036 }
1037 /* Pool is now empty: unlink from usedpools, and
1038 * link to the front of freepools. This ensures that
1039 * previously freed pools will be allocated later
1040 * (being not referenced, they are perhaps paged out).
1041 */
1042 next = pool->nextpool;
1043 prev = pool->prevpool;
1044 next->prevpool = prev;
1045 prev->nextpool = next;
Thomas Woutersa9773292006-04-21 09:43:23 +00001046
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001047 /* Link the pool to freepools. This is a singly-linked
1048 * list, and pool->prevpool isn't used there.
1049 */
Eric Snow76d5abc2017-09-05 18:26:16 -07001050 ao = &_PyRuntime.mem.arenas[pool->arenaindex];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001051 pool->nextpool = ao->freepools;
1052 ao->freepools = pool;
1053 nf = ++ao->nfreepools;
Thomas Woutersa9773292006-04-21 09:43:23 +00001054
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001055 /* All the rest is arena management. We just freed
1056 * a pool, and there are 4 cases for arena mgmt:
1057 * 1. If all the pools are free, return the arena to
1058 * the system free().
1059 * 2. If this is the only free pool in the arena,
1060 * add the arena back to the `usable_arenas` list.
1061 * 3. If the "next" arena has a smaller count of free
1062 * pools, we have to "slide this arena right" to
1063 * restore that usable_arenas is sorted in order of
1064 * nfreepools.
1065 * 4. Else there's nothing more to do.
1066 */
1067 if (nf == ao->ntotalpools) {
1068 /* Case 1. First unlink ao from usable_arenas.
1069 */
1070 assert(ao->prevarena == NULL ||
1071 ao->prevarena->address != 0);
1072 assert(ao ->nextarena == NULL ||
1073 ao->nextarena->address != 0);
Thomas Woutersa9773292006-04-21 09:43:23 +00001074
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001075 /* Fix the pointer in the prevarena, or the
1076 * usable_arenas pointer.
1077 */
1078 if (ao->prevarena == NULL) {
Eric Snow76d5abc2017-09-05 18:26:16 -07001079 _PyRuntime.mem.usable_arenas = ao->nextarena;
1080 assert(_PyRuntime.mem.usable_arenas == NULL ||
1081 _PyRuntime.mem.usable_arenas->address != 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001082 }
1083 else {
1084 assert(ao->prevarena->nextarena == ao);
1085 ao->prevarena->nextarena =
1086 ao->nextarena;
1087 }
1088 /* Fix the pointer in the nextarena. */
1089 if (ao->nextarena != NULL) {
1090 assert(ao->nextarena->prevarena == ao);
1091 ao->nextarena->prevarena =
1092 ao->prevarena;
1093 }
1094 /* Record that this arena_object slot is
1095 * available to be reused.
1096 */
Eric Snow76d5abc2017-09-05 18:26:16 -07001097 ao->nextarena = _PyRuntime.mem.unused_arena_objects;
1098 _PyRuntime.mem.unused_arena_objects = ao;
Thomas Woutersa9773292006-04-21 09:43:23 +00001099
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001100 /* Free the entire arena. */
Eric Snow76d5abc2017-09-05 18:26:16 -07001101 _PyRuntime.obj.allocator_arenas.free(_PyRuntime.obj.allocator_arenas.ctx,
Victor Stinner0507bf52013-07-07 02:05:46 +02001102 (void *)ao->address, ARENA_SIZE);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001103 ao->address = 0; /* mark unassociated */
Eric Snow76d5abc2017-09-05 18:26:16 -07001104 --_PyRuntime.mem.narenas_currently_allocated;
Thomas Woutersa9773292006-04-21 09:43:23 +00001105
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001106 UNLOCK();
1107 return;
1108 }
1109 if (nf == 1) {
1110 /* Case 2. Put ao at the head of
1111 * usable_arenas. Note that because
1112 * ao->nfreepools was 0 before, ao isn't
1113 * currently on the usable_arenas list.
1114 */
Eric Snow76d5abc2017-09-05 18:26:16 -07001115 ao->nextarena = _PyRuntime.mem.usable_arenas;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001116 ao->prevarena = NULL;
Eric Snow76d5abc2017-09-05 18:26:16 -07001117 if (_PyRuntime.mem.usable_arenas)
1118 _PyRuntime.mem.usable_arenas->prevarena = ao;
1119 _PyRuntime.mem.usable_arenas = ao;
1120 assert(_PyRuntime.mem.usable_arenas->address != 0);
Thomas Woutersa9773292006-04-21 09:43:23 +00001121
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001122 UNLOCK();
1123 return;
1124 }
1125 /* If this arena is now out of order, we need to keep
1126 * the list sorted. The list is kept sorted so that
1127 * the "most full" arenas are used first, which allows
1128 * the nearly empty arenas to be completely freed. In
1129 * a few un-scientific tests, it seems like this
1130 * approach allowed a lot more memory to be freed.
1131 */
1132 if (ao->nextarena == NULL ||
1133 nf <= ao->nextarena->nfreepools) {
1134 /* Case 4. Nothing to do. */
1135 UNLOCK();
1136 return;
1137 }
1138 /* Case 3: We have to move the arena towards the end
1139 * of the list, because it has more free pools than
1140 * the arena to its right.
1141 * First unlink ao from usable_arenas.
1142 */
1143 if (ao->prevarena != NULL) {
1144 /* ao isn't at the head of the list */
1145 assert(ao->prevarena->nextarena == ao);
1146 ao->prevarena->nextarena = ao->nextarena;
1147 }
1148 else {
1149 /* ao is at the head of the list */
Eric Snow76d5abc2017-09-05 18:26:16 -07001150 assert(_PyRuntime.mem.usable_arenas == ao);
1151 _PyRuntime.mem.usable_arenas = ao->nextarena;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001152 }
1153 ao->nextarena->prevarena = ao->prevarena;
Thomas Woutersa9773292006-04-21 09:43:23 +00001154
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001155 /* Locate the new insertion point by iterating over
1156 * the list, using our nextarena pointer.
1157 */
1158 while (ao->nextarena != NULL &&
1159 nf > ao->nextarena->nfreepools) {
1160 ao->prevarena = ao->nextarena;
1161 ao->nextarena = ao->nextarena->nextarena;
1162 }
Thomas Woutersa9773292006-04-21 09:43:23 +00001163
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001164 /* Insert ao at this point. */
1165 assert(ao->nextarena == NULL ||
1166 ao->prevarena == ao->nextarena->prevarena);
1167 assert(ao->prevarena->nextarena == ao->nextarena);
Thomas Woutersa9773292006-04-21 09:43:23 +00001168
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001169 ao->prevarena->nextarena = ao;
1170 if (ao->nextarena != NULL)
1171 ao->nextarena->prevarena = ao;
Thomas Woutersa9773292006-04-21 09:43:23 +00001172
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001173 /* Verify that the swaps worked. */
1174 assert(ao->nextarena == NULL ||
1175 nf <= ao->nextarena->nfreepools);
1176 assert(ao->prevarena == NULL ||
1177 nf > ao->prevarena->nfreepools);
1178 assert(ao->nextarena == NULL ||
1179 ao->nextarena->prevarena == ao);
Eric Snow76d5abc2017-09-05 18:26:16 -07001180 assert((_PyRuntime.mem.usable_arenas == ao &&
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001181 ao->prevarena == NULL) ||
1182 ao->prevarena->nextarena == ao);
Thomas Woutersa9773292006-04-21 09:43:23 +00001183
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001184 UNLOCK();
1185 return;
1186 }
1187 /* Pool was full, so doesn't currently live in any list:
1188 * link it to the front of the appropriate usedpools[] list.
1189 * This mimics LRU pool usage for new allocations and
1190 * targets optimal filling when several pools contain
1191 * blocks of the same size class.
1192 */
1193 --pool->ref.count;
1194 assert(pool->ref.count > 0); /* else the pool is empty */
1195 size = pool->szidx;
Eric Snow76d5abc2017-09-05 18:26:16 -07001196 next = _PyRuntime.mem.usedpools[size + size];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001197 prev = next->prevpool;
1198 /* insert pool before next: prev <-> pool <-> next */
1199 pool->nextpool = next;
1200 pool->prevpool = prev;
1201 next->prevpool = pool;
1202 prev->nextpool = pool;
1203 UNLOCK();
1204 return;
1205 }
Neil Schemenauera35c6882001-02-27 04:45:05 +00001206
Benjamin Peterson05159c42009-12-03 03:01:27 +00001207#ifdef WITH_VALGRIND
1208redirect:
1209#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001210 /* We didn't allocate this address. */
Victor Stinner6cf185d2013-10-10 15:58:42 +02001211 PyMem_RawFree(p);
Neil Schemenauera35c6882001-02-27 04:45:05 +00001212}
1213
Tim Peters84c1b972002-04-04 04:44:32 +00001214/* realloc. If p is NULL, this acts like malloc(nbytes). Else if nbytes==0,
1215 * then as the Python docs promise, we do not treat this like free(p), and
1216 * return a non-NULL result.
1217 */
Neil Schemenauera35c6882001-02-27 04:45:05 +00001218
Victor Stinner0507bf52013-07-07 02:05:46 +02001219static void *
1220_PyObject_Realloc(void *ctx, void *p, size_t nbytes)
Neil Schemenauera35c6882001-02-27 04:45:05 +00001221{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001222 void *bp;
1223 poolp pool;
1224 size_t size;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001225
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001226 if (p == NULL)
Victor Stinnerdb067af2014-05-02 22:31:14 +02001227 return _PyObject_Alloc(0, ctx, 1, nbytes);
Georg Brandld492ad82008-07-23 16:13:07 +00001228
Benjamin Peterson05159c42009-12-03 03:01:27 +00001229#ifdef WITH_VALGRIND
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001230 /* Treat running_on_valgrind == -1 the same as 0 */
1231 if (UNLIKELY(running_on_valgrind > 0))
1232 goto redirect;
Benjamin Peterson05159c42009-12-03 03:01:27 +00001233#endif
1234
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001235 pool = POOL_ADDR(p);
Benjamin Peterson3924f932016-09-18 19:12:48 -07001236 if (address_in_range(p, pool)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001237 /* We're in charge of this block */
1238 size = INDEX2SIZE(pool->szidx);
1239 if (nbytes <= size) {
1240 /* The block is staying the same or shrinking. If
1241 * it's shrinking, there's a tradeoff: it costs
1242 * cycles to copy the block to a smaller size class,
1243 * but it wastes memory not to copy it. The
1244 * compromise here is to copy on shrink only if at
1245 * least 25% of size can be shaved off.
1246 */
1247 if (4 * nbytes > 3 * size) {
1248 /* It's the same,
1249 * or shrinking and new/old > 3/4.
1250 */
1251 return p;
1252 }
1253 size = nbytes;
1254 }
Victor Stinnerdb067af2014-05-02 22:31:14 +02001255 bp = _PyObject_Alloc(0, ctx, 1, nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001256 if (bp != NULL) {
1257 memcpy(bp, p, size);
Victor Stinner0507bf52013-07-07 02:05:46 +02001258 _PyObject_Free(ctx, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001259 }
1260 return bp;
1261 }
Benjamin Peterson05159c42009-12-03 03:01:27 +00001262#ifdef WITH_VALGRIND
1263 redirect:
1264#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001265 /* We're not managing this block. If nbytes <=
1266 * SMALL_REQUEST_THRESHOLD, it's tempting to try to take over this
1267 * block. However, if we do, we need to copy the valid data from
1268 * the C-managed block to one of our blocks, and there's no portable
1269 * way to know how much of the memory space starting at p is valid.
1270 * As bug 1185883 pointed out the hard way, it's possible that the
1271 * C-managed block is "at the end" of allocated VM space, so that
1272 * a memory fault can occur if we try to copy nbytes bytes starting
1273 * at p. Instead we punt: let C continue to manage this block.
1274 */
1275 if (nbytes)
Victor Stinner6cf185d2013-10-10 15:58:42 +02001276 return PyMem_RawRealloc(p, nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001277 /* C doesn't define the result of realloc(p, 0) (it may or may not
1278 * return NULL then), but Python's docs promise that nbytes==0 never
1279 * returns NULL. We don't pass 0 to realloc(), to avoid that endcase
1280 * to begin with. Even then, we can't be sure that realloc() won't
1281 * return NULL.
1282 */
Victor Stinner6cf185d2013-10-10 15:58:42 +02001283 bp = PyMem_RawRealloc(p, 1);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001284 return bp ? bp : p;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001285}
1286
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001287#else /* ! WITH_PYMALLOC */
Tim Petersddea2082002-03-23 10:03:50 +00001288
1289/*==========================================================================*/
Neil Schemenauerd2560cd2002-04-12 03:10:20 +00001290/* pymalloc not enabled: Redirect the entry points to malloc. These will
1291 * only be used by extensions that are compiled with pymalloc enabled. */
Tim Peters62c06ba2002-03-23 22:28:18 +00001292
Antoine Pitrou92840532012-12-17 23:05:59 +01001293Py_ssize_t
1294_Py_GetAllocatedBlocks(void)
1295{
1296 return 0;
1297}
1298
Tim Peters1221c0a2002-03-23 00:20:15 +00001299#endif /* WITH_PYMALLOC */
1300
Victor Stinner34be807c2016-03-14 12:04:26 +01001301
Tim Petersddea2082002-03-23 10:03:50 +00001302/*==========================================================================*/
Tim Peters62c06ba2002-03-23 22:28:18 +00001303/* A x-platform debugging allocator. This doesn't manage memory directly,
1304 * it wraps a real allocator, adding extra debugging info to the memory blocks.
1305 */
Tim Petersddea2082002-03-23 10:03:50 +00001306
Tim Petersf6fb5012002-04-12 07:38:53 +00001307/* Special bytes broadcast into debug memory blocks at appropriate times.
1308 * Strings of these are unlikely to be valid addresses, floats, ints or
1309 * 7-bit ASCII.
1310 */
1311#undef CLEANBYTE
1312#undef DEADBYTE
1313#undef FORBIDDENBYTE
1314#define CLEANBYTE 0xCB /* clean (newly allocated) memory */
Tim Peters889f61d2002-07-10 19:29:49 +00001315#define DEADBYTE 0xDB /* dead (newly freed) memory */
Tim Petersf6fb5012002-04-12 07:38:53 +00001316#define FORBIDDENBYTE 0xFB /* untouchable bytes at each end of a block */
Tim Petersddea2082002-03-23 10:03:50 +00001317
Tim Peterse0850172002-03-24 00:34:21 +00001318/* serialno is always incremented via calling this routine. The point is
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001319 * to supply a single place to set a breakpoint.
1320 */
Tim Peterse0850172002-03-24 00:34:21 +00001321static void
Neil Schemenauerbd02b142002-03-28 21:05:38 +00001322bumpserialno(void)
Tim Peterse0850172002-03-24 00:34:21 +00001323{
Eric Snow76d5abc2017-09-05 18:26:16 -07001324 ++_PyRuntime.mem.serialno;
Tim Peterse0850172002-03-24 00:34:21 +00001325}
1326
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001327#define SST SIZEOF_SIZE_T
Tim Peterse0850172002-03-24 00:34:21 +00001328
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001329/* Read sizeof(size_t) bytes at p as a big-endian size_t. */
1330static size_t
1331read_size_t(const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00001332{
Benjamin Peterson19517e42016-09-18 19:22:22 -07001333 const uint8_t *q = (const uint8_t *)p;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001334 size_t result = *q++;
1335 int i;
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001336
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001337 for (i = SST; --i > 0; ++q)
1338 result = (result << 8) | *q;
1339 return result;
Tim Petersddea2082002-03-23 10:03:50 +00001340}
1341
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001342/* Write n as a big-endian size_t, MSB at address p, LSB at
1343 * p + sizeof(size_t) - 1.
1344 */
Tim Petersddea2082002-03-23 10:03:50 +00001345static void
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001346write_size_t(void *p, size_t n)
Tim Petersddea2082002-03-23 10:03:50 +00001347{
Benjamin Peterson19517e42016-09-18 19:22:22 -07001348 uint8_t *q = (uint8_t *)p + SST - 1;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001349 int i;
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001350
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001351 for (i = SST; --i >= 0; --q) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07001352 *q = (uint8_t)(n & 0xff);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001353 n >>= 8;
1354 }
Tim Petersddea2082002-03-23 10:03:50 +00001355}
1356
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001357/* Let S = sizeof(size_t). The debug malloc asks for 4*S extra bytes and
1358 fills them with useful stuff, here calling the underlying malloc's result p:
Tim Petersddea2082002-03-23 10:03:50 +00001359
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001360p[0: S]
1361 Number of bytes originally asked for. This is a size_t, big-endian (easier
1362 to read in a memory dump).
Georg Brandl7cba5fd2013-09-25 09:04:23 +02001363p[S]
Tim Petersdf099f52013-09-19 21:06:37 -05001364 API ID. See PEP 445. This is a character, but seems undocumented.
1365p[S+1: 2*S]
Tim Petersf6fb5012002-04-12 07:38:53 +00001366 Copies of FORBIDDENBYTE. Used to catch under- writes and reads.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001367p[2*S: 2*S+n]
Tim Petersf6fb5012002-04-12 07:38:53 +00001368 The requested memory, filled with copies of CLEANBYTE.
Tim Petersddea2082002-03-23 10:03:50 +00001369 Used to catch reference to uninitialized memory.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001370 &p[2*S] is returned. Note that this is 8-byte aligned if pymalloc
Tim Petersddea2082002-03-23 10:03:50 +00001371 handled the request itself.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001372p[2*S+n: 2*S+n+S]
Tim Petersf6fb5012002-04-12 07:38:53 +00001373 Copies of FORBIDDENBYTE. Used to catch over- writes and reads.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001374p[2*S+n+S: 2*S+n+2*S]
Victor Stinner0507bf52013-07-07 02:05:46 +02001375 A serial number, incremented by 1 on each call to _PyMem_DebugMalloc
1376 and _PyMem_DebugRealloc.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001377 This is a big-endian size_t.
Tim Petersddea2082002-03-23 10:03:50 +00001378 If "bad memory" is detected later, the serial number gives an
1379 excellent way to set a breakpoint on the next run, to capture the
1380 instant at which this block was passed out.
1381*/
1382
Victor Stinner0507bf52013-07-07 02:05:46 +02001383static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01001384_PyMem_DebugRawAlloc(int use_calloc, void *ctx, size_t nbytes)
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00001385{
Victor Stinner0507bf52013-07-07 02:05:46 +02001386 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Benjamin Peterson19517e42016-09-18 19:22:22 -07001387 uint8_t *p; /* base address of malloc'ed block */
1388 uint8_t *tail; /* p + 2*SST + nbytes == pointer to tail pad bytes */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001389 size_t total; /* nbytes + 4*SST */
Tim Petersddea2082002-03-23 10:03:50 +00001390
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001391 bumpserialno();
1392 total = nbytes + 4*SST;
Antoine Pitroucc231542014-11-02 18:40:09 +01001393 if (nbytes > PY_SSIZE_T_MAX - 4*SST)
1394 /* overflow: can't represent total as a Py_ssize_t */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001395 return NULL;
Tim Petersddea2082002-03-23 10:03:50 +00001396
Victor Stinnerdb067af2014-05-02 22:31:14 +02001397 if (use_calloc)
Benjamin Peterson19517e42016-09-18 19:22:22 -07001398 p = (uint8_t *)api->alloc.calloc(api->alloc.ctx, 1, total);
Victor Stinnerdb067af2014-05-02 22:31:14 +02001399 else
Benjamin Peterson19517e42016-09-18 19:22:22 -07001400 p = (uint8_t *)api->alloc.malloc(api->alloc.ctx, total);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001401 if (p == NULL)
1402 return NULL;
Tim Petersddea2082002-03-23 10:03:50 +00001403
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001404 /* at p, write size (SST bytes), id (1 byte), pad (SST-1 bytes) */
1405 write_size_t(p, nbytes);
Benjamin Peterson19517e42016-09-18 19:22:22 -07001406 p[SST] = (uint8_t)api->api_id;
Victor Stinner0507bf52013-07-07 02:05:46 +02001407 memset(p + SST + 1, FORBIDDENBYTE, SST-1);
Tim Petersddea2082002-03-23 10:03:50 +00001408
Victor Stinnerdb067af2014-05-02 22:31:14 +02001409 if (nbytes > 0 && !use_calloc)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001410 memset(p + 2*SST, CLEANBYTE, nbytes);
Tim Petersddea2082002-03-23 10:03:50 +00001411
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001412 /* at tail, write pad (SST bytes) and serialno (SST bytes) */
1413 tail = p + 2*SST + nbytes;
1414 memset(tail, FORBIDDENBYTE, SST);
Eric Snow76d5abc2017-09-05 18:26:16 -07001415 write_size_t(tail + SST, _PyRuntime.mem.serialno);
Tim Petersddea2082002-03-23 10:03:50 +00001416
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001417 return p + 2*SST;
Tim Petersddea2082002-03-23 10:03:50 +00001418}
1419
Victor Stinnerdb067af2014-05-02 22:31:14 +02001420static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01001421_PyMem_DebugRawMalloc(void *ctx, size_t nbytes)
Victor Stinnerdb067af2014-05-02 22:31:14 +02001422{
Victor Stinnerc4aec362016-03-14 22:26:53 +01001423 return _PyMem_DebugRawAlloc(0, ctx, nbytes);
Victor Stinnerdb067af2014-05-02 22:31:14 +02001424}
1425
1426static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01001427_PyMem_DebugRawCalloc(void *ctx, size_t nelem, size_t elsize)
Victor Stinnerdb067af2014-05-02 22:31:14 +02001428{
1429 size_t nbytes;
1430 assert(elsize == 0 || nelem <= PY_SSIZE_T_MAX / elsize);
1431 nbytes = nelem * elsize;
Victor Stinnerc4aec362016-03-14 22:26:53 +01001432 return _PyMem_DebugRawAlloc(1, ctx, nbytes);
Victor Stinnerdb067af2014-05-02 22:31:14 +02001433}
1434
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001435/* The debug free first checks the 2*SST bytes on each end for sanity (in
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00001436 particular, that the FORBIDDENBYTEs with the api ID are still intact).
Tim Petersf6fb5012002-04-12 07:38:53 +00001437 Then fills the original bytes with DEADBYTE.
Tim Petersddea2082002-03-23 10:03:50 +00001438 Then calls the underlying free.
1439*/
Victor Stinner0507bf52013-07-07 02:05:46 +02001440static void
Victor Stinnerc4aec362016-03-14 22:26:53 +01001441_PyMem_DebugRawFree(void *ctx, void *p)
Tim Petersddea2082002-03-23 10:03:50 +00001442{
Victor Stinner0507bf52013-07-07 02:05:46 +02001443 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Benjamin Peterson19517e42016-09-18 19:22:22 -07001444 uint8_t *q = (uint8_t *)p - 2*SST; /* address returned from malloc */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001445 size_t nbytes;
Tim Petersddea2082002-03-23 10:03:50 +00001446
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001447 if (p == NULL)
1448 return;
Victor Stinner0507bf52013-07-07 02:05:46 +02001449 _PyMem_DebugCheckAddress(api->api_id, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001450 nbytes = read_size_t(q);
1451 nbytes += 4*SST;
1452 if (nbytes > 0)
1453 memset(q, DEADBYTE, nbytes);
Victor Stinner0507bf52013-07-07 02:05:46 +02001454 api->alloc.free(api->alloc.ctx, q);
Tim Petersddea2082002-03-23 10:03:50 +00001455}
1456
Victor Stinner0507bf52013-07-07 02:05:46 +02001457static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01001458_PyMem_DebugRawRealloc(void *ctx, void *p, size_t nbytes)
Tim Petersddea2082002-03-23 10:03:50 +00001459{
Victor Stinner0507bf52013-07-07 02:05:46 +02001460 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Benjamin Peterson19517e42016-09-18 19:22:22 -07001461 uint8_t *q = (uint8_t *)p, *oldq;
1462 uint8_t *tail;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001463 size_t total; /* nbytes + 4*SST */
1464 size_t original_nbytes;
1465 int i;
Tim Petersddea2082002-03-23 10:03:50 +00001466
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001467 if (p == NULL)
Victor Stinnerc4aec362016-03-14 22:26:53 +01001468 return _PyMem_DebugRawAlloc(0, ctx, nbytes);
Tim Petersddea2082002-03-23 10:03:50 +00001469
Victor Stinner0507bf52013-07-07 02:05:46 +02001470 _PyMem_DebugCheckAddress(api->api_id, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001471 bumpserialno();
1472 original_nbytes = read_size_t(q - 2*SST);
1473 total = nbytes + 4*SST;
Antoine Pitroucc231542014-11-02 18:40:09 +01001474 if (nbytes > PY_SSIZE_T_MAX - 4*SST)
1475 /* overflow: can't represent total as a Py_ssize_t */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001476 return NULL;
Tim Petersddea2082002-03-23 10:03:50 +00001477
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001478 /* Resize and add decorations. We may get a new pointer here, in which
1479 * case we didn't get the chance to mark the old memory with DEADBYTE,
1480 * but we live with that.
1481 */
Victor Stinnerc4266362013-07-09 00:44:43 +02001482 oldq = q;
Benjamin Peterson19517e42016-09-18 19:22:22 -07001483 q = (uint8_t *)api->alloc.realloc(api->alloc.ctx, q - 2*SST, total);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001484 if (q == NULL)
1485 return NULL;
Tim Peters85cc1c42002-04-12 08:52:50 +00001486
Victor Stinnerc4266362013-07-09 00:44:43 +02001487 if (q == oldq && nbytes < original_nbytes) {
1488 /* shrinking: mark old extra memory dead */
1489 memset(q + nbytes, DEADBYTE, original_nbytes - nbytes);
1490 }
1491
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001492 write_size_t(q, nbytes);
Benjamin Peterson19517e42016-09-18 19:22:22 -07001493 assert(q[SST] == (uint8_t)api->api_id);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001494 for (i = 1; i < SST; ++i)
1495 assert(q[SST + i] == FORBIDDENBYTE);
1496 q += 2*SST;
Victor Stinnerc4266362013-07-09 00:44:43 +02001497
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001498 tail = q + nbytes;
1499 memset(tail, FORBIDDENBYTE, SST);
Eric Snow76d5abc2017-09-05 18:26:16 -07001500 write_size_t(tail + SST, _PyRuntime.mem.serialno);
Tim Peters85cc1c42002-04-12 08:52:50 +00001501
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001502 if (nbytes > original_nbytes) {
1503 /* growing: mark new extra memory clean */
1504 memset(q + original_nbytes, CLEANBYTE,
Stefan Krah735bb122010-11-26 10:54:09 +00001505 nbytes - original_nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001506 }
Tim Peters85cc1c42002-04-12 08:52:50 +00001507
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001508 return q;
Tim Petersddea2082002-03-23 10:03:50 +00001509}
1510
Victor Stinnerc4aec362016-03-14 22:26:53 +01001511static void
1512_PyMem_DebugCheckGIL(void)
1513{
1514#ifdef WITH_THREAD
1515 if (!PyGILState_Check())
1516 Py_FatalError("Python memory allocator called "
1517 "without holding the GIL");
1518#endif
1519}
1520
1521static void *
1522_PyMem_DebugMalloc(void *ctx, size_t nbytes)
1523{
1524 _PyMem_DebugCheckGIL();
1525 return _PyMem_DebugRawMalloc(ctx, nbytes);
1526}
1527
1528static void *
1529_PyMem_DebugCalloc(void *ctx, size_t nelem, size_t elsize)
1530{
1531 _PyMem_DebugCheckGIL();
1532 return _PyMem_DebugRawCalloc(ctx, nelem, elsize);
1533}
1534
1535static void
1536_PyMem_DebugFree(void *ctx, void *ptr)
1537{
1538 _PyMem_DebugCheckGIL();
Victor Stinner0aed3a42016-03-23 11:30:43 +01001539 _PyMem_DebugRawFree(ctx, ptr);
Victor Stinnerc4aec362016-03-14 22:26:53 +01001540}
1541
1542static void *
1543_PyMem_DebugRealloc(void *ctx, void *ptr, size_t nbytes)
1544{
1545 _PyMem_DebugCheckGIL();
1546 return _PyMem_DebugRawRealloc(ctx, ptr, nbytes);
1547}
1548
Tim Peters7ccfadf2002-04-01 06:04:21 +00001549/* Check the forbidden bytes on both ends of the memory allocated for p.
Neil Schemenauerd2560cd2002-04-12 03:10:20 +00001550 * If anything is wrong, print info to stderr via _PyObject_DebugDumpAddress,
Tim Peters7ccfadf2002-04-01 06:04:21 +00001551 * and call Py_FatalError to kill the program.
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00001552 * The API id, is also checked.
Tim Peters7ccfadf2002-04-01 06:04:21 +00001553 */
Victor Stinner0507bf52013-07-07 02:05:46 +02001554static void
1555_PyMem_DebugCheckAddress(char api, const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00001556{
Benjamin Peterson19517e42016-09-18 19:22:22 -07001557 const uint8_t *q = (const uint8_t *)p;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001558 char msgbuf[64];
1559 char *msg;
1560 size_t nbytes;
Benjamin Peterson19517e42016-09-18 19:22:22 -07001561 const uint8_t *tail;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001562 int i;
1563 char id;
Tim Petersddea2082002-03-23 10:03:50 +00001564
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001565 if (p == NULL) {
1566 msg = "didn't expect a NULL pointer";
1567 goto error;
1568 }
Tim Petersddea2082002-03-23 10:03:50 +00001569
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001570 /* Check the API id */
1571 id = (char)q[-SST];
1572 if (id != api) {
1573 msg = msgbuf;
1574 snprintf(msg, sizeof(msgbuf), "bad ID: Allocated using API '%c', verified using API '%c'", id, api);
1575 msgbuf[sizeof(msgbuf)-1] = 0;
1576 goto error;
1577 }
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00001578
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001579 /* Check the stuff at the start of p first: if there's underwrite
1580 * corruption, the number-of-bytes field may be nuts, and checking
1581 * the tail could lead to a segfault then.
1582 */
1583 for (i = SST-1; i >= 1; --i) {
1584 if (*(q-i) != FORBIDDENBYTE) {
1585 msg = "bad leading pad byte";
1586 goto error;
1587 }
1588 }
Tim Petersddea2082002-03-23 10:03:50 +00001589
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001590 nbytes = read_size_t(q - 2*SST);
1591 tail = q + nbytes;
1592 for (i = 0; i < SST; ++i) {
1593 if (tail[i] != FORBIDDENBYTE) {
1594 msg = "bad trailing pad byte";
1595 goto error;
1596 }
1597 }
Tim Petersddea2082002-03-23 10:03:50 +00001598
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001599 return;
Tim Petersd1139e02002-03-28 07:32:11 +00001600
1601error:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001602 _PyObject_DebugDumpAddress(p);
1603 Py_FatalError(msg);
Tim Petersddea2082002-03-23 10:03:50 +00001604}
1605
Tim Peters7ccfadf2002-04-01 06:04:21 +00001606/* Display info to stderr about the memory block at p. */
Victor Stinner0507bf52013-07-07 02:05:46 +02001607static void
Neil Schemenauerd2560cd2002-04-12 03:10:20 +00001608_PyObject_DebugDumpAddress(const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00001609{
Benjamin Peterson19517e42016-09-18 19:22:22 -07001610 const uint8_t *q = (const uint8_t *)p;
1611 const uint8_t *tail;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001612 size_t nbytes, serial;
1613 int i;
1614 int ok;
1615 char id;
Tim Petersddea2082002-03-23 10:03:50 +00001616
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001617 fprintf(stderr, "Debug memory block at address p=%p:", p);
1618 if (p == NULL) {
1619 fprintf(stderr, "\n");
1620 return;
1621 }
1622 id = (char)q[-SST];
1623 fprintf(stderr, " API '%c'\n", id);
Tim Petersddea2082002-03-23 10:03:50 +00001624
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001625 nbytes = read_size_t(q - 2*SST);
1626 fprintf(stderr, " %" PY_FORMAT_SIZE_T "u bytes originally "
1627 "requested\n", nbytes);
Tim Petersddea2082002-03-23 10:03:50 +00001628
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001629 /* In case this is nuts, check the leading pad bytes first. */
1630 fprintf(stderr, " The %d pad bytes at p-%d are ", SST-1, SST-1);
1631 ok = 1;
1632 for (i = 1; i <= SST-1; ++i) {
1633 if (*(q-i) != FORBIDDENBYTE) {
1634 ok = 0;
1635 break;
1636 }
1637 }
1638 if (ok)
1639 fputs("FORBIDDENBYTE, as expected.\n", stderr);
1640 else {
1641 fprintf(stderr, "not all FORBIDDENBYTE (0x%02x):\n",
1642 FORBIDDENBYTE);
1643 for (i = SST-1; i >= 1; --i) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07001644 const uint8_t byte = *(q-i);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001645 fprintf(stderr, " at p-%d: 0x%02x", i, byte);
1646 if (byte != FORBIDDENBYTE)
1647 fputs(" *** OUCH", stderr);
1648 fputc('\n', stderr);
1649 }
Tim Peters449b5a82002-04-28 06:14:45 +00001650
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001651 fputs(" Because memory is corrupted at the start, the "
1652 "count of bytes requested\n"
1653 " may be bogus, and checking the trailing pad "
1654 "bytes may segfault.\n", stderr);
1655 }
Tim Petersddea2082002-03-23 10:03:50 +00001656
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001657 tail = q + nbytes;
1658 fprintf(stderr, " The %d pad bytes at tail=%p are ", SST, tail);
1659 ok = 1;
1660 for (i = 0; i < SST; ++i) {
1661 if (tail[i] != FORBIDDENBYTE) {
1662 ok = 0;
1663 break;
1664 }
1665 }
1666 if (ok)
1667 fputs("FORBIDDENBYTE, as expected.\n", stderr);
1668 else {
1669 fprintf(stderr, "not all FORBIDDENBYTE (0x%02x):\n",
Stefan Krah735bb122010-11-26 10:54:09 +00001670 FORBIDDENBYTE);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001671 for (i = 0; i < SST; ++i) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07001672 const uint8_t byte = tail[i];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001673 fprintf(stderr, " at tail+%d: 0x%02x",
Stefan Krah735bb122010-11-26 10:54:09 +00001674 i, byte);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001675 if (byte != FORBIDDENBYTE)
1676 fputs(" *** OUCH", stderr);
1677 fputc('\n', stderr);
1678 }
1679 }
Tim Petersddea2082002-03-23 10:03:50 +00001680
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001681 serial = read_size_t(tail + SST);
1682 fprintf(stderr, " The block was made by call #%" PY_FORMAT_SIZE_T
1683 "u to debug malloc/realloc.\n", serial);
Tim Petersddea2082002-03-23 10:03:50 +00001684
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001685 if (nbytes > 0) {
1686 i = 0;
1687 fputs(" Data at p:", stderr);
1688 /* print up to 8 bytes at the start */
1689 while (q < tail && i < 8) {
1690 fprintf(stderr, " %02x", *q);
1691 ++i;
1692 ++q;
1693 }
1694 /* and up to 8 at the end */
1695 if (q < tail) {
1696 if (tail - q > 8) {
1697 fputs(" ...", stderr);
1698 q = tail - 8;
1699 }
1700 while (q < tail) {
1701 fprintf(stderr, " %02x", *q);
1702 ++q;
1703 }
1704 }
1705 fputc('\n', stderr);
1706 }
Victor Stinner0611c262016-03-15 22:22:13 +01001707 fputc('\n', stderr);
1708
1709 fflush(stderr);
1710 _PyMem_DumpTraceback(fileno(stderr), p);
Tim Petersddea2082002-03-23 10:03:50 +00001711}
1712
David Malcolm49526f42012-06-22 14:55:41 -04001713
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001714static size_t
David Malcolm49526f42012-06-22 14:55:41 -04001715printone(FILE *out, const char* msg, size_t value)
Tim Peters16bcb6b2002-04-05 05:45:31 +00001716{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001717 int i, k;
1718 char buf[100];
1719 size_t origvalue = value;
Tim Peters16bcb6b2002-04-05 05:45:31 +00001720
David Malcolm49526f42012-06-22 14:55:41 -04001721 fputs(msg, out);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001722 for (i = (int)strlen(msg); i < 35; ++i)
David Malcolm49526f42012-06-22 14:55:41 -04001723 fputc(' ', out);
1724 fputc('=', out);
Tim Peters49f26812002-04-06 01:45:35 +00001725
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001726 /* Write the value with commas. */
1727 i = 22;
1728 buf[i--] = '\0';
1729 buf[i--] = '\n';
1730 k = 3;
1731 do {
1732 size_t nextvalue = value / 10;
Benjamin Peterson2dba1ee2013-02-20 16:54:30 -05001733 unsigned int digit = (unsigned int)(value - nextvalue * 10);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001734 value = nextvalue;
1735 buf[i--] = (char)(digit + '0');
1736 --k;
1737 if (k == 0 && value && i >= 0) {
1738 k = 3;
1739 buf[i--] = ',';
1740 }
1741 } while (value && i >= 0);
Tim Peters49f26812002-04-06 01:45:35 +00001742
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001743 while (i >= 0)
1744 buf[i--] = ' ';
David Malcolm49526f42012-06-22 14:55:41 -04001745 fputs(buf, out);
Tim Peters49f26812002-04-06 01:45:35 +00001746
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001747 return origvalue;
Tim Peters16bcb6b2002-04-05 05:45:31 +00001748}
1749
David Malcolm49526f42012-06-22 14:55:41 -04001750void
1751_PyDebugAllocatorStats(FILE *out,
1752 const char *block_name, int num_blocks, size_t sizeof_block)
1753{
1754 char buf1[128];
1755 char buf2[128];
1756 PyOS_snprintf(buf1, sizeof(buf1),
Tim Peterseaa3bcc2013-09-05 22:57:04 -05001757 "%d %ss * %" PY_FORMAT_SIZE_T "d bytes each",
David Malcolm49526f42012-06-22 14:55:41 -04001758 num_blocks, block_name, sizeof_block);
1759 PyOS_snprintf(buf2, sizeof(buf2),
1760 "%48s ", buf1);
1761 (void)printone(out, buf2, num_blocks * sizeof_block);
1762}
1763
Victor Stinner34be807c2016-03-14 12:04:26 +01001764
David Malcolm49526f42012-06-22 14:55:41 -04001765#ifdef WITH_PYMALLOC
1766
Victor Stinner34be807c2016-03-14 12:04:26 +01001767#ifdef Py_DEBUG
1768/* Is target in the list? The list is traversed via the nextpool pointers.
1769 * The list may be NULL-terminated, or circular. Return 1 if target is in
1770 * list, else 0.
1771 */
1772static int
1773pool_is_in_list(const poolp target, poolp list)
1774{
1775 poolp origlist = list;
1776 assert(target != NULL);
1777 if (list == NULL)
1778 return 0;
1779 do {
1780 if (target == list)
1781 return 1;
1782 list = list->nextpool;
1783 } while (list != NULL && list != origlist);
1784 return 0;
1785}
1786#endif
1787
David Malcolm49526f42012-06-22 14:55:41 -04001788/* Print summary info to "out" about the state of pymalloc's structures.
Tim Peters08d82152002-04-18 22:25:03 +00001789 * In Py_DEBUG mode, also perform some expensive internal consistency
1790 * checks.
1791 */
Tim Peters7ccfadf2002-04-01 06:04:21 +00001792void
David Malcolm49526f42012-06-22 14:55:41 -04001793_PyObject_DebugMallocStats(FILE *out)
Tim Peters7ccfadf2002-04-01 06:04:21 +00001794{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001795 uint i;
1796 const uint numclasses = SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT;
1797 /* # of pools, allocated blocks, and free blocks per class index */
1798 size_t numpools[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
1799 size_t numblocks[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
1800 size_t numfreeblocks[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
1801 /* total # of allocated bytes in used and full pools */
1802 size_t allocated_bytes = 0;
1803 /* total # of available bytes in used pools */
1804 size_t available_bytes = 0;
1805 /* # of free pools + pools not yet carved out of current arena */
1806 uint numfreepools = 0;
1807 /* # of bytes for arena alignment padding */
1808 size_t arena_alignment = 0;
1809 /* # of bytes in used and full pools used for pool_headers */
1810 size_t pool_header_bytes = 0;
1811 /* # of bytes in used and full pools wasted due to quantization,
1812 * i.e. the necessarily leftover space at the ends of used and
1813 * full pools.
1814 */
1815 size_t quantization = 0;
1816 /* # of arenas actually allocated. */
1817 size_t narenas = 0;
1818 /* running total -- should equal narenas * ARENA_SIZE */
1819 size_t total;
1820 char buf[128];
Tim Peters7ccfadf2002-04-01 06:04:21 +00001821
David Malcolm49526f42012-06-22 14:55:41 -04001822 fprintf(out, "Small block threshold = %d, in %u size classes.\n",
Stefan Krah735bb122010-11-26 10:54:09 +00001823 SMALL_REQUEST_THRESHOLD, numclasses);
Tim Peters7ccfadf2002-04-01 06:04:21 +00001824
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001825 for (i = 0; i < numclasses; ++i)
1826 numpools[i] = numblocks[i] = numfreeblocks[i] = 0;
Tim Peters7ccfadf2002-04-01 06:04:21 +00001827
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001828 /* Because full pools aren't linked to from anything, it's easiest
1829 * to march over all the arenas. If we're lucky, most of the memory
1830 * will be living in full pools -- would be a shame to miss them.
1831 */
Eric Snow76d5abc2017-09-05 18:26:16 -07001832 for (i = 0; i < _PyRuntime.mem.maxarenas; ++i) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001833 uint j;
Eric Snow76d5abc2017-09-05 18:26:16 -07001834 uintptr_t base = _PyRuntime.mem.arenas[i].address;
Thomas Woutersa9773292006-04-21 09:43:23 +00001835
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001836 /* Skip arenas which are not allocated. */
Eric Snow76d5abc2017-09-05 18:26:16 -07001837 if (_PyRuntime.mem.arenas[i].address == (uintptr_t)NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001838 continue;
1839 narenas += 1;
Thomas Woutersa9773292006-04-21 09:43:23 +00001840
Eric Snow76d5abc2017-09-05 18:26:16 -07001841 numfreepools += _PyRuntime.mem.arenas[i].nfreepools;
Tim Peters7ccfadf2002-04-01 06:04:21 +00001842
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001843 /* round up to pool alignment */
Benjamin Peterson5d4b09c2016-09-18 19:24:52 -07001844 if (base & (uintptr_t)POOL_SIZE_MASK) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001845 arena_alignment += POOL_SIZE;
Benjamin Peterson5d4b09c2016-09-18 19:24:52 -07001846 base &= ~(uintptr_t)POOL_SIZE_MASK;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001847 base += POOL_SIZE;
1848 }
Tim Peters7ccfadf2002-04-01 06:04:21 +00001849
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001850 /* visit every pool in the arena */
Eric Snow76d5abc2017-09-05 18:26:16 -07001851 assert(base <= (uintptr_t) _PyRuntime.mem.arenas[i].pool_address);
1852 for (j = 0; base < (uintptr_t) _PyRuntime.mem.arenas[i].pool_address;
Benjamin Peterson19517e42016-09-18 19:22:22 -07001853 ++j, base += POOL_SIZE) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001854 poolp p = (poolp)base;
1855 const uint sz = p->szidx;
1856 uint freeblocks;
Tim Peters08d82152002-04-18 22:25:03 +00001857
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001858 if (p->ref.count == 0) {
1859 /* currently unused */
Victor Stinner34be807c2016-03-14 12:04:26 +01001860#ifdef Py_DEBUG
Eric Snow76d5abc2017-09-05 18:26:16 -07001861 assert(pool_is_in_list(p, _PyRuntime.mem.arenas[i].freepools));
Victor Stinner34be807c2016-03-14 12:04:26 +01001862#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001863 continue;
1864 }
1865 ++numpools[sz];
1866 numblocks[sz] += p->ref.count;
1867 freeblocks = NUMBLOCKS(sz) - p->ref.count;
1868 numfreeblocks[sz] += freeblocks;
Tim Peters08d82152002-04-18 22:25:03 +00001869#ifdef Py_DEBUG
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001870 if (freeblocks > 0)
Eric Snow76d5abc2017-09-05 18:26:16 -07001871 assert(pool_is_in_list(p, _PyRuntime.mem.usedpools[sz + sz]));
Tim Peters08d82152002-04-18 22:25:03 +00001872#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001873 }
1874 }
Eric Snow76d5abc2017-09-05 18:26:16 -07001875 assert(narenas == _PyRuntime.mem.narenas_currently_allocated);
Tim Peters7ccfadf2002-04-01 06:04:21 +00001876
David Malcolm49526f42012-06-22 14:55:41 -04001877 fputc('\n', out);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001878 fputs("class size num pools blocks in use avail blocks\n"
1879 "----- ---- --------- ------------- ------------\n",
David Malcolm49526f42012-06-22 14:55:41 -04001880 out);
Tim Peters7ccfadf2002-04-01 06:04:21 +00001881
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001882 for (i = 0; i < numclasses; ++i) {
1883 size_t p = numpools[i];
1884 size_t b = numblocks[i];
1885 size_t f = numfreeblocks[i];
1886 uint size = INDEX2SIZE(i);
1887 if (p == 0) {
1888 assert(b == 0 && f == 0);
1889 continue;
1890 }
David Malcolm49526f42012-06-22 14:55:41 -04001891 fprintf(out, "%5u %6u "
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001892 "%11" PY_FORMAT_SIZE_T "u "
1893 "%15" PY_FORMAT_SIZE_T "u "
1894 "%13" PY_FORMAT_SIZE_T "u\n",
Stefan Krah735bb122010-11-26 10:54:09 +00001895 i, size, p, b, f);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001896 allocated_bytes += b * size;
1897 available_bytes += f * size;
1898 pool_header_bytes += p * POOL_OVERHEAD;
1899 quantization += p * ((POOL_SIZE - POOL_OVERHEAD) % size);
1900 }
David Malcolm49526f42012-06-22 14:55:41 -04001901 fputc('\n', out);
Victor Stinner34be807c2016-03-14 12:04:26 +01001902 if (_PyMem_DebugEnabled())
Eric Snow76d5abc2017-09-05 18:26:16 -07001903 (void)printone(out, "# times object malloc called", _PyRuntime.mem.serialno);
1904 (void)printone(out, "# arenas allocated total", _PyRuntime.mem.ntimes_arena_allocated);
1905 (void)printone(out, "# arenas reclaimed", _PyRuntime.mem.ntimes_arena_allocated - narenas);
1906 (void)printone(out, "# arenas highwater mark", _PyRuntime.mem.narenas_highwater);
David Malcolm49526f42012-06-22 14:55:41 -04001907 (void)printone(out, "# arenas allocated current", narenas);
Thomas Woutersa9773292006-04-21 09:43:23 +00001908
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001909 PyOS_snprintf(buf, sizeof(buf),
1910 "%" PY_FORMAT_SIZE_T "u arenas * %d bytes/arena",
1911 narenas, ARENA_SIZE);
David Malcolm49526f42012-06-22 14:55:41 -04001912 (void)printone(out, buf, narenas * ARENA_SIZE);
Tim Peters16bcb6b2002-04-05 05:45:31 +00001913
David Malcolm49526f42012-06-22 14:55:41 -04001914 fputc('\n', out);
Tim Peters16bcb6b2002-04-05 05:45:31 +00001915
David Malcolm49526f42012-06-22 14:55:41 -04001916 total = printone(out, "# bytes in allocated blocks", allocated_bytes);
1917 total += printone(out, "# bytes in available blocks", available_bytes);
Tim Peters49f26812002-04-06 01:45:35 +00001918
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001919 PyOS_snprintf(buf, sizeof(buf),
1920 "%u unused pools * %d bytes", numfreepools, POOL_SIZE);
David Malcolm49526f42012-06-22 14:55:41 -04001921 total += printone(out, buf, (size_t)numfreepools * POOL_SIZE);
Tim Peters16bcb6b2002-04-05 05:45:31 +00001922
David Malcolm49526f42012-06-22 14:55:41 -04001923 total += printone(out, "# bytes lost to pool headers", pool_header_bytes);
1924 total += printone(out, "# bytes lost to quantization", quantization);
1925 total += printone(out, "# bytes lost to arena alignment", arena_alignment);
1926 (void)printone(out, "Total", total);
Tim Peters7ccfadf2002-04-01 06:04:21 +00001927}
1928
David Malcolm49526f42012-06-22 14:55:41 -04001929#endif /* #ifdef WITH_PYMALLOC */