blob: 622da3ad08fcd40688133feffa550fcfcf9e2446 [file] [log] [blame]
Tim Peters1221c0a2002-03-23 00:20:15 +00001#include "Python.h"
Victor Stinner621cebe2018-11-12 16:53:38 +01002#include "pycore_pymem.h"
Tim Peters1221c0a2002-03-23 00:20:15 +00003
Benjamin Peterson3924f932016-09-18 19:12:48 -07004#include <stdbool.h>
5
Victor Stinner0611c262016-03-15 22:22:13 +01006
7/* Defined in tracemalloc.c */
8extern void _PyMem_DumpTraceback(int fd, const void *ptr);
9
10
Victor Stinner0507bf52013-07-07 02:05:46 +020011/* Python's malloc wrappers (see pymem.h) */
12
Victor Stinner34be807c2016-03-14 12:04:26 +010013#undef uint
14#define uint unsigned int /* assuming >= 16 bits */
15
Victor Stinner0507bf52013-07-07 02:05:46 +020016/* Forward declaration */
Victor Stinnerc4aec362016-03-14 22:26:53 +010017static void* _PyMem_DebugRawMalloc(void *ctx, size_t size);
18static void* _PyMem_DebugRawCalloc(void *ctx, size_t nelem, size_t elsize);
19static void* _PyMem_DebugRawRealloc(void *ctx, void *ptr, size_t size);
Victor Stinner9ed83c42017-10-31 12:18:10 -070020static void _PyMem_DebugRawFree(void *ctx, void *ptr);
Victor Stinnerc4aec362016-03-14 22:26:53 +010021
Victor Stinner0507bf52013-07-07 02:05:46 +020022static void* _PyMem_DebugMalloc(void *ctx, size_t size);
Victor Stinnerdb067af2014-05-02 22:31:14 +020023static void* _PyMem_DebugCalloc(void *ctx, size_t nelem, size_t elsize);
Victor Stinner0507bf52013-07-07 02:05:46 +020024static void* _PyMem_DebugRealloc(void *ctx, void *ptr, size_t size);
Victor Stinnerc4aec362016-03-14 22:26:53 +010025static void _PyMem_DebugFree(void *ctx, void *p);
Victor Stinner0507bf52013-07-07 02:05:46 +020026
27static void _PyObject_DebugDumpAddress(const void *p);
28static void _PyMem_DebugCheckAddress(char api_id, const void *p);
Victor Stinner0507bf52013-07-07 02:05:46 +020029
Victor Stinner5d39e042017-11-29 17:20:38 +010030static void _PyMem_SetupDebugHooksDomain(PyMemAllocatorDomain domain);
31
Nick Coghlan6ba64f42013-09-29 00:28:55 +100032#if defined(__has_feature) /* Clang */
Alexey Izbyshevfd3a91c2018-11-12 02:14:51 +030033# if __has_feature(address_sanitizer) /* is ASAN enabled? */
34# define _Py_NO_ADDRESS_SAFETY_ANALYSIS \
Benjamin Peterson3924f932016-09-18 19:12:48 -070035 __attribute__((no_address_safety_analysis))
Alexey Izbyshevfd3a91c2018-11-12 02:14:51 +030036# endif
37# if __has_feature(thread_sanitizer) /* is TSAN enabled? */
38# define _Py_NO_SANITIZE_THREAD __attribute__((no_sanitize_thread))
39# endif
40# if __has_feature(memory_sanitizer) /* is MSAN enabled? */
41# define _Py_NO_SANITIZE_MEMORY __attribute__((no_sanitize_memory))
42# endif
43#elif defined(__GNUC__)
44# if defined(__SANITIZE_ADDRESS__) /* GCC 4.8+, is ASAN enabled? */
45# define _Py_NO_ADDRESS_SAFETY_ANALYSIS \
Benjamin Peterson3924f932016-09-18 19:12:48 -070046 __attribute__((no_address_safety_analysis))
Alexey Izbyshevfd3a91c2018-11-12 02:14:51 +030047# endif
48 // TSAN is supported since GCC 4.8, but __SANITIZE_THREAD__ macro
49 // is provided only since GCC 7.
50# if __GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 8)
51# define _Py_NO_SANITIZE_THREAD __attribute__((no_sanitize_thread))
52# endif
53#endif
54
55#ifndef _Py_NO_ADDRESS_SAFETY_ANALYSIS
56# define _Py_NO_ADDRESS_SAFETY_ANALYSIS
57#endif
58#ifndef _Py_NO_SANITIZE_THREAD
59# define _Py_NO_SANITIZE_THREAD
60#endif
61#ifndef _Py_NO_SANITIZE_MEMORY
62# define _Py_NO_SANITIZE_MEMORY
Nick Coghlan6ba64f42013-09-29 00:28:55 +100063#endif
64
Tim Peters1221c0a2002-03-23 00:20:15 +000065#ifdef WITH_PYMALLOC
66
Victor Stinner0507bf52013-07-07 02:05:46 +020067#ifdef MS_WINDOWS
68# include <windows.h>
69#elif defined(HAVE_MMAP)
70# include <sys/mman.h>
71# ifdef MAP_ANONYMOUS
72# define ARENAS_USE_MMAP
73# endif
Antoine Pitrou6f26be02011-05-03 18:18:59 +020074#endif
75
Victor Stinner0507bf52013-07-07 02:05:46 +020076/* Forward declaration */
77static void* _PyObject_Malloc(void *ctx, size_t size);
Victor Stinnerdb067af2014-05-02 22:31:14 +020078static void* _PyObject_Calloc(void *ctx, size_t nelem, size_t elsize);
Victor Stinner0507bf52013-07-07 02:05:46 +020079static void _PyObject_Free(void *ctx, void *p);
80static void* _PyObject_Realloc(void *ctx, void *ptr, size_t size);
Martin v. Löwiscd83fa82013-06-27 12:23:29 +020081#endif
82
Victor Stinner0507bf52013-07-07 02:05:46 +020083
Victor Stinner9e00e802018-10-25 13:31:16 +020084/* bpo-35053: Declare tracemalloc configuration here rather than
85 Modules/_tracemalloc.c because _tracemalloc can be compiled as dynamic
86 library, whereas _Py_NewReference() requires it. */
87struct _PyTraceMalloc_Config _Py_tracemalloc_config = _PyTraceMalloc_Config_INIT;
88
89
Victor Stinner0507bf52013-07-07 02:05:46 +020090static void *
91_PyMem_RawMalloc(void *ctx, size_t size)
92{
Victor Stinnerdb067af2014-05-02 22:31:14 +020093 /* PyMem_RawMalloc(0) means malloc(1). Some systems would return NULL
Victor Stinner0507bf52013-07-07 02:05:46 +020094 for malloc(0), which would be treated as an error. Some platforms would
95 return a pointer with no memory behind it, which would break pymalloc.
96 To solve these problems, allocate an extra byte. */
97 if (size == 0)
98 size = 1;
99 return malloc(size);
100}
101
102static void *
Victor Stinnerdb067af2014-05-02 22:31:14 +0200103_PyMem_RawCalloc(void *ctx, size_t nelem, size_t elsize)
104{
105 /* PyMem_RawCalloc(0, 0) means calloc(1, 1). Some systems would return NULL
106 for calloc(0, 0), which would be treated as an error. Some platforms
107 would return a pointer with no memory behind it, which would break
108 pymalloc. To solve these problems, allocate an extra byte. */
109 if (nelem == 0 || elsize == 0) {
110 nelem = 1;
111 elsize = 1;
112 }
113 return calloc(nelem, elsize);
114}
115
116static void *
Victor Stinner0507bf52013-07-07 02:05:46 +0200117_PyMem_RawRealloc(void *ctx, void *ptr, size_t size)
118{
119 if (size == 0)
120 size = 1;
121 return realloc(ptr, size);
122}
123
124static void
125_PyMem_RawFree(void *ctx, void *ptr)
126{
127 free(ptr);
128}
129
130
131#ifdef MS_WINDOWS
132static void *
133_PyObject_ArenaVirtualAlloc(void *ctx, size_t size)
134{
135 return VirtualAlloc(NULL, size,
136 MEM_COMMIT | MEM_RESERVE, PAGE_READWRITE);
137}
138
139static void
140_PyObject_ArenaVirtualFree(void *ctx, void *ptr, size_t size)
141{
Victor Stinner725e6682013-07-07 03:06:16 +0200142 VirtualFree(ptr, 0, MEM_RELEASE);
Victor Stinner0507bf52013-07-07 02:05:46 +0200143}
144
145#elif defined(ARENAS_USE_MMAP)
146static void *
147_PyObject_ArenaMmap(void *ctx, size_t size)
148{
149 void *ptr;
150 ptr = mmap(NULL, size, PROT_READ|PROT_WRITE,
151 MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
152 if (ptr == MAP_FAILED)
153 return NULL;
154 assert(ptr != NULL);
155 return ptr;
156}
157
158static void
159_PyObject_ArenaMunmap(void *ctx, void *ptr, size_t size)
160{
161 munmap(ptr, size);
162}
163
164#else
165static void *
166_PyObject_ArenaMalloc(void *ctx, size_t size)
167{
168 return malloc(size);
169}
170
171static void
172_PyObject_ArenaFree(void *ctx, void *ptr, size_t size)
173{
174 free(ptr);
175}
176#endif
177
Victor Stinner5d39e042017-11-29 17:20:38 +0100178#define MALLOC_ALLOC {NULL, _PyMem_RawMalloc, _PyMem_RawCalloc, _PyMem_RawRealloc, _PyMem_RawFree}
Victor Stinner0507bf52013-07-07 02:05:46 +0200179#ifdef WITH_PYMALLOC
Victor Stinner5d39e042017-11-29 17:20:38 +0100180# define PYMALLOC_ALLOC {NULL, _PyObject_Malloc, _PyObject_Calloc, _PyObject_Realloc, _PyObject_Free}
Victor Stinner0507bf52013-07-07 02:05:46 +0200181#endif
Victor Stinner5d39e042017-11-29 17:20:38 +0100182
183#define PYRAW_ALLOC MALLOC_ALLOC
184#ifdef WITH_PYMALLOC
185# define PYOBJ_ALLOC PYMALLOC_ALLOC
186#else
187# define PYOBJ_ALLOC MALLOC_ALLOC
188#endif
189#define PYMEM_ALLOC PYOBJ_ALLOC
Victor Stinner0507bf52013-07-07 02:05:46 +0200190
Victor Stinner0507bf52013-07-07 02:05:46 +0200191typedef struct {
192 /* We tag each block with an API ID in order to tag API violations */
193 char api_id;
Victor Stinnerd8f0d922014-06-02 21:57:10 +0200194 PyMemAllocatorEx alloc;
Victor Stinner0507bf52013-07-07 02:05:46 +0200195} debug_alloc_api_t;
196static struct {
197 debug_alloc_api_t raw;
198 debug_alloc_api_t mem;
199 debug_alloc_api_t obj;
200} _PyMem_Debug = {
Victor Stinner5d39e042017-11-29 17:20:38 +0100201 {'r', PYRAW_ALLOC},
202 {'m', PYMEM_ALLOC},
203 {'o', PYOBJ_ALLOC}
Victor Stinner0507bf52013-07-07 02:05:46 +0200204 };
205
Victor Stinner5d39e042017-11-29 17:20:38 +0100206#define PYDBGRAW_ALLOC \
207 {&_PyMem_Debug.raw, _PyMem_DebugRawMalloc, _PyMem_DebugRawCalloc, _PyMem_DebugRawRealloc, _PyMem_DebugRawFree}
208#define PYDBGMEM_ALLOC \
209 {&_PyMem_Debug.mem, _PyMem_DebugMalloc, _PyMem_DebugCalloc, _PyMem_DebugRealloc, _PyMem_DebugFree}
210#define PYDBGOBJ_ALLOC \
211 {&_PyMem_Debug.obj, _PyMem_DebugMalloc, _PyMem_DebugCalloc, _PyMem_DebugRealloc, _PyMem_DebugFree}
Victor Stinner0507bf52013-07-07 02:05:46 +0200212
Victor Stinner9e87e772017-11-24 12:09:24 +0100213#ifdef Py_DEBUG
Victor Stinner5d39e042017-11-29 17:20:38 +0100214static PyMemAllocatorEx _PyMem_Raw = PYDBGRAW_ALLOC;
215static PyMemAllocatorEx _PyMem = PYDBGMEM_ALLOC;
216static PyMemAllocatorEx _PyObject = PYDBGOBJ_ALLOC;
Victor Stinner9e87e772017-11-24 12:09:24 +0100217#else
Victor Stinner5d39e042017-11-29 17:20:38 +0100218static PyMemAllocatorEx _PyMem_Raw = PYRAW_ALLOC;
219static PyMemAllocatorEx _PyMem = PYMEM_ALLOC;
220static PyMemAllocatorEx _PyObject = PYOBJ_ALLOC;
Victor Stinner9e87e772017-11-24 12:09:24 +0100221#endif
Eric Snow2ebc5ce2017-09-07 23:51:28 -0600222
Victor Stinner0507bf52013-07-07 02:05:46 +0200223
Victor Stinner5d39e042017-11-29 17:20:38 +0100224static int
225pymem_set_default_allocator(PyMemAllocatorDomain domain, int debug,
226 PyMemAllocatorEx *old_alloc)
227{
228 if (old_alloc != NULL) {
229 PyMem_GetAllocator(domain, old_alloc);
230 }
Victor Stinnerf7e5b562017-11-15 15:48:08 -0800231
Victor Stinner5d39e042017-11-29 17:20:38 +0100232
233 PyMemAllocatorEx new_alloc;
234 switch(domain)
235 {
236 case PYMEM_DOMAIN_RAW:
237 new_alloc = (PyMemAllocatorEx)PYRAW_ALLOC;
238 break;
239 case PYMEM_DOMAIN_MEM:
240 new_alloc = (PyMemAllocatorEx)PYMEM_ALLOC;
241 break;
242 case PYMEM_DOMAIN_OBJ:
243 new_alloc = (PyMemAllocatorEx)PYOBJ_ALLOC;
244 break;
245 default:
246 /* unknown domain */
247 return -1;
248 }
249 PyMem_SetAllocator(domain, &new_alloc);
250 if (debug) {
251 _PyMem_SetupDebugHooksDomain(domain);
252 }
253 return 0;
254}
255
256
257int
258_PyMem_SetDefaultAllocator(PyMemAllocatorDomain domain,
259 PyMemAllocatorEx *old_alloc)
Victor Stinnerf7e5b562017-11-15 15:48:08 -0800260{
Victor Stinnerccb04422017-11-16 03:20:31 -0800261#ifdef Py_DEBUG
Victor Stinner5d39e042017-11-29 17:20:38 +0100262 const int debug = 1;
Victor Stinnerccb04422017-11-16 03:20:31 -0800263#else
Victor Stinner5d39e042017-11-29 17:20:38 +0100264 const int debug = 0;
Victor Stinnerccb04422017-11-16 03:20:31 -0800265#endif
Victor Stinner5d39e042017-11-29 17:20:38 +0100266 return pymem_set_default_allocator(domain, debug, old_alloc);
Victor Stinnerf7e5b562017-11-15 15:48:08 -0800267}
Victor Stinner0507bf52013-07-07 02:05:46 +0200268
Victor Stinner5d39e042017-11-29 17:20:38 +0100269
Victor Stinner34be807c2016-03-14 12:04:26 +0100270int
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200271_PyMem_GetAllocatorName(const char *name, PyMemAllocatorName *allocator)
Victor Stinner34be807c2016-03-14 12:04:26 +0100272{
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200273 if (name == NULL || *name == '\0') {
Victor Stinner34be807c2016-03-14 12:04:26 +0100274 /* PYTHONMALLOC is empty or is not set or ignored (-E/-I command line
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200275 nameions): use default memory allocators */
276 *allocator = PYMEM_ALLOCATOR_DEFAULT;
Victor Stinner34be807c2016-03-14 12:04:26 +0100277 }
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200278 else if (strcmp(name, "default") == 0) {
279 *allocator = PYMEM_ALLOCATOR_DEFAULT;
280 }
281 else if (strcmp(name, "debug") == 0) {
282 *allocator = PYMEM_ALLOCATOR_DEBUG;
283 }
284#ifdef WITH_PYMALLOC
285 else if (strcmp(name, "pymalloc") == 0) {
286 *allocator = PYMEM_ALLOCATOR_PYMALLOC;
287 }
288 else if (strcmp(name, "pymalloc_debug") == 0) {
289 *allocator = PYMEM_ALLOCATOR_PYMALLOC_DEBUG;
290 }
291#endif
292 else if (strcmp(name, "malloc") == 0) {
293 *allocator = PYMEM_ALLOCATOR_MALLOC;
294 }
295 else if (strcmp(name, "malloc_debug") == 0) {
296 *allocator = PYMEM_ALLOCATOR_MALLOC_DEBUG;
297 }
298 else {
299 /* unknown allocator */
300 return -1;
301 }
302 return 0;
303}
Victor Stinner34be807c2016-03-14 12:04:26 +0100304
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200305
306int
307_PyMem_SetupAllocators(PyMemAllocatorName allocator)
308{
309 switch (allocator) {
310 case PYMEM_ALLOCATOR_NOT_SET:
311 /* do nothing */
312 break;
313
314 case PYMEM_ALLOCATOR_DEFAULT:
Victor Stinner5d39e042017-11-29 17:20:38 +0100315 (void)_PyMem_SetDefaultAllocator(PYMEM_DOMAIN_RAW, NULL);
316 (void)_PyMem_SetDefaultAllocator(PYMEM_DOMAIN_MEM, NULL);
317 (void)_PyMem_SetDefaultAllocator(PYMEM_DOMAIN_OBJ, NULL);
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200318 break;
319
320 case PYMEM_ALLOCATOR_DEBUG:
Victor Stinner5d39e042017-11-29 17:20:38 +0100321 (void)pymem_set_default_allocator(PYMEM_DOMAIN_RAW, 1, NULL);
322 (void)pymem_set_default_allocator(PYMEM_DOMAIN_MEM, 1, NULL);
323 (void)pymem_set_default_allocator(PYMEM_DOMAIN_OBJ, 1, NULL);
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200324 break;
325
Victor Stinner34be807c2016-03-14 12:04:26 +0100326#ifdef WITH_PYMALLOC
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200327 case PYMEM_ALLOCATOR_PYMALLOC:
328 case PYMEM_ALLOCATOR_PYMALLOC_DEBUG:
329 {
Victor Stinner5d39e042017-11-29 17:20:38 +0100330 PyMemAllocatorEx malloc_alloc = MALLOC_ALLOC;
331 PyMem_SetAllocator(PYMEM_DOMAIN_RAW, &malloc_alloc);
Victor Stinner34be807c2016-03-14 12:04:26 +0100332
Victor Stinner5d39e042017-11-29 17:20:38 +0100333 PyMemAllocatorEx pymalloc = PYMALLOC_ALLOC;
334 PyMem_SetAllocator(PYMEM_DOMAIN_MEM, &pymalloc);
335 PyMem_SetAllocator(PYMEM_DOMAIN_OBJ, &pymalloc);
Victor Stinner34be807c2016-03-14 12:04:26 +0100336
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200337 if (allocator == PYMEM_ALLOCATOR_PYMALLOC_DEBUG) {
Victor Stinner34be807c2016-03-14 12:04:26 +0100338 PyMem_SetupDebugHooks();
Victor Stinner5d39e042017-11-29 17:20:38 +0100339 }
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200340 break;
Victor Stinner34be807c2016-03-14 12:04:26 +0100341 }
342#endif
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200343
344 case PYMEM_ALLOCATOR_MALLOC:
345 case PYMEM_ALLOCATOR_MALLOC_DEBUG:
346 {
Victor Stinner5d39e042017-11-29 17:20:38 +0100347 PyMemAllocatorEx malloc_alloc = MALLOC_ALLOC;
348 PyMem_SetAllocator(PYMEM_DOMAIN_RAW, &malloc_alloc);
349 PyMem_SetAllocator(PYMEM_DOMAIN_MEM, &malloc_alloc);
350 PyMem_SetAllocator(PYMEM_DOMAIN_OBJ, &malloc_alloc);
351
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200352 if (allocator == PYMEM_ALLOCATOR_MALLOC_DEBUG) {
Victor Stinner5d39e042017-11-29 17:20:38 +0100353 PyMem_SetupDebugHooks();
354 }
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200355 break;
Victor Stinner5d39e042017-11-29 17:20:38 +0100356 }
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200357
358 default:
Victor Stinner34be807c2016-03-14 12:04:26 +0100359 /* unknown allocator */
360 return -1;
361 }
362 return 0;
363}
364
Victor Stinner5d39e042017-11-29 17:20:38 +0100365
366static int
367pymemallocator_eq(PyMemAllocatorEx *a, PyMemAllocatorEx *b)
368{
369 return (memcmp(a, b, sizeof(PyMemAllocatorEx)) == 0);
370}
371
372
373const char*
Victor Stinnerb16b4e42019-05-17 15:20:52 +0200374_PyMem_GetCurrentAllocatorName(void)
Victor Stinner5d39e042017-11-29 17:20:38 +0100375{
376 PyMemAllocatorEx malloc_alloc = MALLOC_ALLOC;
377#ifdef WITH_PYMALLOC
378 PyMemAllocatorEx pymalloc = PYMALLOC_ALLOC;
379#endif
380
381 if (pymemallocator_eq(&_PyMem_Raw, &malloc_alloc) &&
382 pymemallocator_eq(&_PyMem, &malloc_alloc) &&
383 pymemallocator_eq(&_PyObject, &malloc_alloc))
384 {
385 return "malloc";
386 }
387#ifdef WITH_PYMALLOC
388 if (pymemallocator_eq(&_PyMem_Raw, &malloc_alloc) &&
389 pymemallocator_eq(&_PyMem, &pymalloc) &&
390 pymemallocator_eq(&_PyObject, &pymalloc))
391 {
392 return "pymalloc";
393 }
394#endif
395
396 PyMemAllocatorEx dbg_raw = PYDBGRAW_ALLOC;
397 PyMemAllocatorEx dbg_mem = PYDBGMEM_ALLOC;
398 PyMemAllocatorEx dbg_obj = PYDBGOBJ_ALLOC;
399
400 if (pymemallocator_eq(&_PyMem_Raw, &dbg_raw) &&
401 pymemallocator_eq(&_PyMem, &dbg_mem) &&
402 pymemallocator_eq(&_PyObject, &dbg_obj))
403 {
404 /* Debug hooks installed */
405 if (pymemallocator_eq(&_PyMem_Debug.raw.alloc, &malloc_alloc) &&
406 pymemallocator_eq(&_PyMem_Debug.mem.alloc, &malloc_alloc) &&
407 pymemallocator_eq(&_PyMem_Debug.obj.alloc, &malloc_alloc))
408 {
409 return "malloc_debug";
410 }
411#ifdef WITH_PYMALLOC
412 if (pymemallocator_eq(&_PyMem_Debug.raw.alloc, &malloc_alloc) &&
413 pymemallocator_eq(&_PyMem_Debug.mem.alloc, &pymalloc) &&
414 pymemallocator_eq(&_PyMem_Debug.obj.alloc, &pymalloc))
415 {
416 return "pymalloc_debug";
417 }
418#endif
419 }
420 return NULL;
421}
422
423
424#undef MALLOC_ALLOC
425#undef PYMALLOC_ALLOC
426#undef PYRAW_ALLOC
427#undef PYMEM_ALLOC
428#undef PYOBJ_ALLOC
429#undef PYDBGRAW_ALLOC
430#undef PYDBGMEM_ALLOC
431#undef PYDBGOBJ_ALLOC
432
Victor Stinner0507bf52013-07-07 02:05:46 +0200433
Victor Stinner9e87e772017-11-24 12:09:24 +0100434static PyObjectArenaAllocator _PyObject_Arena = {NULL,
Victor Stinnerf7e5b562017-11-15 15:48:08 -0800435#ifdef MS_WINDOWS
Victor Stinner9e87e772017-11-24 12:09:24 +0100436 _PyObject_ArenaVirtualAlloc, _PyObject_ArenaVirtualFree
Victor Stinnerf7e5b562017-11-15 15:48:08 -0800437#elif defined(ARENAS_USE_MMAP)
Victor Stinner9e87e772017-11-24 12:09:24 +0100438 _PyObject_ArenaMmap, _PyObject_ArenaMunmap
Victor Stinnerf7e5b562017-11-15 15:48:08 -0800439#else
Victor Stinner9e87e772017-11-24 12:09:24 +0100440 _PyObject_ArenaMalloc, _PyObject_ArenaFree
Victor Stinnerf7e5b562017-11-15 15:48:08 -0800441#endif
442 };
443
Victor Stinner0621e0e2016-04-19 17:02:55 +0200444#ifdef WITH_PYMALLOC
Victor Stinner34be807c2016-03-14 12:04:26 +0100445static int
446_PyMem_DebugEnabled(void)
447{
448 return (_PyObject.malloc == _PyMem_DebugMalloc);
449}
450
Victor Stinner6bf992a2017-12-06 17:26:10 +0100451static int
Victor Stinner34be807c2016-03-14 12:04:26 +0100452_PyMem_PymallocEnabled(void)
453{
454 if (_PyMem_DebugEnabled()) {
455 return (_PyMem_Debug.obj.alloc.malloc == _PyObject_Malloc);
456 }
457 else {
458 return (_PyObject.malloc == _PyObject_Malloc);
459 }
460}
461#endif
462
Victor Stinner5d39e042017-11-29 17:20:38 +0100463
464static void
465_PyMem_SetupDebugHooksDomain(PyMemAllocatorDomain domain)
Victor Stinner0507bf52013-07-07 02:05:46 +0200466{
Victor Stinnerd8f0d922014-06-02 21:57:10 +0200467 PyMemAllocatorEx alloc;
Victor Stinner0507bf52013-07-07 02:05:46 +0200468
Victor Stinner5d39e042017-11-29 17:20:38 +0100469 if (domain == PYMEM_DOMAIN_RAW) {
470 if (_PyMem_Raw.malloc == _PyMem_DebugRawMalloc) {
471 return;
472 }
Victor Stinner34be807c2016-03-14 12:04:26 +0100473
Victor Stinner0507bf52013-07-07 02:05:46 +0200474 PyMem_GetAllocator(PYMEM_DOMAIN_RAW, &_PyMem_Debug.raw.alloc);
Victor Stinner5d39e042017-11-29 17:20:38 +0100475 alloc.ctx = &_PyMem_Debug.raw;
476 alloc.malloc = _PyMem_DebugRawMalloc;
477 alloc.calloc = _PyMem_DebugRawCalloc;
478 alloc.realloc = _PyMem_DebugRawRealloc;
479 alloc.free = _PyMem_DebugRawFree;
Victor Stinner0507bf52013-07-07 02:05:46 +0200480 PyMem_SetAllocator(PYMEM_DOMAIN_RAW, &alloc);
481 }
Victor Stinner5d39e042017-11-29 17:20:38 +0100482 else if (domain == PYMEM_DOMAIN_MEM) {
483 if (_PyMem.malloc == _PyMem_DebugMalloc) {
484 return;
485 }
Victor Stinner0507bf52013-07-07 02:05:46 +0200486
Victor Stinnerad524372016-03-16 12:12:53 +0100487 PyMem_GetAllocator(PYMEM_DOMAIN_MEM, &_PyMem_Debug.mem.alloc);
Victor Stinner5d39e042017-11-29 17:20:38 +0100488 alloc.ctx = &_PyMem_Debug.mem;
489 alloc.malloc = _PyMem_DebugMalloc;
490 alloc.calloc = _PyMem_DebugCalloc;
491 alloc.realloc = _PyMem_DebugRealloc;
492 alloc.free = _PyMem_DebugFree;
Victor Stinnerad524372016-03-16 12:12:53 +0100493 PyMem_SetAllocator(PYMEM_DOMAIN_MEM, &alloc);
494 }
Victor Stinner5d39e042017-11-29 17:20:38 +0100495 else if (domain == PYMEM_DOMAIN_OBJ) {
496 if (_PyObject.malloc == _PyMem_DebugMalloc) {
497 return;
498 }
Victor Stinnerad524372016-03-16 12:12:53 +0100499
Victor Stinner0507bf52013-07-07 02:05:46 +0200500 PyMem_GetAllocator(PYMEM_DOMAIN_OBJ, &_PyMem_Debug.obj.alloc);
Victor Stinner5d39e042017-11-29 17:20:38 +0100501 alloc.ctx = &_PyMem_Debug.obj;
502 alloc.malloc = _PyMem_DebugMalloc;
503 alloc.calloc = _PyMem_DebugCalloc;
504 alloc.realloc = _PyMem_DebugRealloc;
505 alloc.free = _PyMem_DebugFree;
Victor Stinner0507bf52013-07-07 02:05:46 +0200506 PyMem_SetAllocator(PYMEM_DOMAIN_OBJ, &alloc);
507 }
Victor Stinner0507bf52013-07-07 02:05:46 +0200508}
509
Victor Stinner5d39e042017-11-29 17:20:38 +0100510
511void
512PyMem_SetupDebugHooks(void)
513{
514 _PyMem_SetupDebugHooksDomain(PYMEM_DOMAIN_RAW);
515 _PyMem_SetupDebugHooksDomain(PYMEM_DOMAIN_MEM);
516 _PyMem_SetupDebugHooksDomain(PYMEM_DOMAIN_OBJ);
517}
518
Victor Stinner0507bf52013-07-07 02:05:46 +0200519void
Victor Stinnerd8f0d922014-06-02 21:57:10 +0200520PyMem_GetAllocator(PyMemAllocatorDomain domain, PyMemAllocatorEx *allocator)
Victor Stinner0507bf52013-07-07 02:05:46 +0200521{
522 switch(domain)
523 {
524 case PYMEM_DOMAIN_RAW: *allocator = _PyMem_Raw; break;
525 case PYMEM_DOMAIN_MEM: *allocator = _PyMem; break;
526 case PYMEM_DOMAIN_OBJ: *allocator = _PyObject; break;
527 default:
Victor Stinnerdb067af2014-05-02 22:31:14 +0200528 /* unknown domain: set all attributes to NULL */
Victor Stinner0507bf52013-07-07 02:05:46 +0200529 allocator->ctx = NULL;
530 allocator->malloc = NULL;
Victor Stinnerdb067af2014-05-02 22:31:14 +0200531 allocator->calloc = NULL;
Victor Stinner0507bf52013-07-07 02:05:46 +0200532 allocator->realloc = NULL;
533 allocator->free = NULL;
534 }
535}
536
537void
Victor Stinnerd8f0d922014-06-02 21:57:10 +0200538PyMem_SetAllocator(PyMemAllocatorDomain domain, PyMemAllocatorEx *allocator)
Victor Stinner0507bf52013-07-07 02:05:46 +0200539{
540 switch(domain)
541 {
542 case PYMEM_DOMAIN_RAW: _PyMem_Raw = *allocator; break;
543 case PYMEM_DOMAIN_MEM: _PyMem = *allocator; break;
544 case PYMEM_DOMAIN_OBJ: _PyObject = *allocator; break;
545 /* ignore unknown domain */
546 }
Victor Stinner0507bf52013-07-07 02:05:46 +0200547}
548
549void
550PyObject_GetArenaAllocator(PyObjectArenaAllocator *allocator)
551{
Victor Stinner9e87e772017-11-24 12:09:24 +0100552 *allocator = _PyObject_Arena;
Victor Stinner0507bf52013-07-07 02:05:46 +0200553}
554
555void
556PyObject_SetArenaAllocator(PyObjectArenaAllocator *allocator)
557{
Victor Stinner9e87e772017-11-24 12:09:24 +0100558 _PyObject_Arena = *allocator;
Victor Stinner0507bf52013-07-07 02:05:46 +0200559}
560
561void *
562PyMem_RawMalloc(size_t size)
563{
564 /*
565 * Limit ourselves to PY_SSIZE_T_MAX bytes to prevent security holes.
566 * Most python internals blindly use a signed Py_ssize_t to track
567 * things without checking for overflows or negatives.
568 * As size_t is unsigned, checking for size < 0 is not required.
569 */
570 if (size > (size_t)PY_SSIZE_T_MAX)
571 return NULL;
Victor Stinner0507bf52013-07-07 02:05:46 +0200572 return _PyMem_Raw.malloc(_PyMem_Raw.ctx, size);
573}
574
Victor Stinnerdb067af2014-05-02 22:31:14 +0200575void *
576PyMem_RawCalloc(size_t nelem, size_t elsize)
577{
578 /* see PyMem_RawMalloc() */
579 if (elsize != 0 && nelem > (size_t)PY_SSIZE_T_MAX / elsize)
580 return NULL;
581 return _PyMem_Raw.calloc(_PyMem_Raw.ctx, nelem, elsize);
582}
583
Victor Stinner0507bf52013-07-07 02:05:46 +0200584void*
585PyMem_RawRealloc(void *ptr, size_t new_size)
586{
587 /* see PyMem_RawMalloc() */
588 if (new_size > (size_t)PY_SSIZE_T_MAX)
589 return NULL;
590 return _PyMem_Raw.realloc(_PyMem_Raw.ctx, ptr, new_size);
591}
592
Victor Stinner9e87e772017-11-24 12:09:24 +0100593void PyMem_RawFree(void *ptr)
Victor Stinner0507bf52013-07-07 02:05:46 +0200594{
595 _PyMem_Raw.free(_PyMem_Raw.ctx, ptr);
596}
597
Victor Stinner9ed83c42017-10-31 12:18:10 -0700598
Victor Stinner0507bf52013-07-07 02:05:46 +0200599void *
600PyMem_Malloc(size_t size)
601{
602 /* see PyMem_RawMalloc() */
603 if (size > (size_t)PY_SSIZE_T_MAX)
604 return NULL;
605 return _PyMem.malloc(_PyMem.ctx, size);
606}
607
608void *
Victor Stinnerdb067af2014-05-02 22:31:14 +0200609PyMem_Calloc(size_t nelem, size_t elsize)
610{
611 /* see PyMem_RawMalloc() */
612 if (elsize != 0 && nelem > (size_t)PY_SSIZE_T_MAX / elsize)
613 return NULL;
614 return _PyMem.calloc(_PyMem.ctx, nelem, elsize);
615}
616
617void *
Victor Stinner0507bf52013-07-07 02:05:46 +0200618PyMem_Realloc(void *ptr, size_t new_size)
619{
620 /* see PyMem_RawMalloc() */
621 if (new_size > (size_t)PY_SSIZE_T_MAX)
622 return NULL;
623 return _PyMem.realloc(_PyMem.ctx, ptr, new_size);
624}
625
626void
627PyMem_Free(void *ptr)
628{
629 _PyMem.free(_PyMem.ctx, ptr);
630}
631
Victor Stinner9ed83c42017-10-31 12:18:10 -0700632
Victor Stinner46972b72017-11-24 22:55:40 +0100633wchar_t*
634_PyMem_RawWcsdup(const wchar_t *str)
635{
Victor Stinnerb64de462017-12-01 18:27:09 +0100636 assert(str != NULL);
637
Victor Stinner46972b72017-11-24 22:55:40 +0100638 size_t len = wcslen(str);
639 if (len > (size_t)PY_SSIZE_T_MAX / sizeof(wchar_t) - 1) {
640 return NULL;
641 }
642
643 size_t size = (len + 1) * sizeof(wchar_t);
644 wchar_t *str2 = PyMem_RawMalloc(size);
645 if (str2 == NULL) {
646 return NULL;
647 }
648
649 memcpy(str2, str, size);
650 return str2;
651}
652
Victor Stinner49fc8ec2013-07-07 23:30:24 +0200653char *
654_PyMem_RawStrdup(const char *str)
655{
Victor Stinnerb64de462017-12-01 18:27:09 +0100656 assert(str != NULL);
657 size_t size = strlen(str) + 1;
658 char *copy = PyMem_RawMalloc(size);
659 if (copy == NULL) {
Victor Stinner49fc8ec2013-07-07 23:30:24 +0200660 return NULL;
Victor Stinnerb64de462017-12-01 18:27:09 +0100661 }
Victor Stinner49fc8ec2013-07-07 23:30:24 +0200662 memcpy(copy, str, size);
663 return copy;
664}
665
666char *
667_PyMem_Strdup(const char *str)
668{
Victor Stinnerb64de462017-12-01 18:27:09 +0100669 assert(str != NULL);
670 size_t size = strlen(str) + 1;
671 char *copy = PyMem_Malloc(size);
672 if (copy == NULL) {
Victor Stinner49fc8ec2013-07-07 23:30:24 +0200673 return NULL;
Victor Stinnerb64de462017-12-01 18:27:09 +0100674 }
Victor Stinner49fc8ec2013-07-07 23:30:24 +0200675 memcpy(copy, str, size);
676 return copy;
677}
678
Victor Stinner0507bf52013-07-07 02:05:46 +0200679void *
680PyObject_Malloc(size_t size)
681{
682 /* see PyMem_RawMalloc() */
683 if (size > (size_t)PY_SSIZE_T_MAX)
684 return NULL;
685 return _PyObject.malloc(_PyObject.ctx, size);
686}
687
688void *
Victor Stinnerdb067af2014-05-02 22:31:14 +0200689PyObject_Calloc(size_t nelem, size_t elsize)
690{
691 /* see PyMem_RawMalloc() */
692 if (elsize != 0 && nelem > (size_t)PY_SSIZE_T_MAX / elsize)
693 return NULL;
694 return _PyObject.calloc(_PyObject.ctx, nelem, elsize);
695}
696
697void *
Victor Stinner0507bf52013-07-07 02:05:46 +0200698PyObject_Realloc(void *ptr, size_t new_size)
699{
700 /* see PyMem_RawMalloc() */
701 if (new_size > (size_t)PY_SSIZE_T_MAX)
702 return NULL;
703 return _PyObject.realloc(_PyObject.ctx, ptr, new_size);
704}
705
706void
707PyObject_Free(void *ptr)
708{
709 _PyObject.free(_PyObject.ctx, ptr);
710}
711
712
713#ifdef WITH_PYMALLOC
714
Benjamin Peterson05159c42009-12-03 03:01:27 +0000715#ifdef WITH_VALGRIND
716#include <valgrind/valgrind.h>
717
718/* If we're using GCC, use __builtin_expect() to reduce overhead of
719 the valgrind checks */
720#if defined(__GNUC__) && (__GNUC__ > 2) && defined(__OPTIMIZE__)
721# define UNLIKELY(value) __builtin_expect((value), 0)
722#else
723# define UNLIKELY(value) (value)
724#endif
725
726/* -1 indicates that we haven't checked that we're running on valgrind yet. */
727static int running_on_valgrind = -1;
728#endif
729
Victor Stinner9ed83c42017-10-31 12:18:10 -0700730
Victor Stinner9e87e772017-11-24 12:09:24 +0100731/* An object allocator for Python.
732
733 Here is an introduction to the layers of the Python memory architecture,
734 showing where the object allocator is actually used (layer +2), It is
735 called for every object allocation and deallocation (PyObject_New/Del),
736 unless the object-specific allocators implement a proprietary allocation
737 scheme (ex.: ints use a simple free list). This is also the place where
738 the cyclic garbage collector operates selectively on container objects.
739
740
741 Object-specific allocators
742 _____ ______ ______ ________
743 [ int ] [ dict ] [ list ] ... [ string ] Python core |
744+3 | <----- Object-specific memory -----> | <-- Non-object memory --> |
745 _______________________________ | |
746 [ Python's object allocator ] | |
747+2 | ####### Object memory ####### | <------ Internal buffers ------> |
748 ______________________________________________________________ |
749 [ Python's raw memory allocator (PyMem_ API) ] |
750+1 | <----- Python memory (under PyMem manager's control) ------> | |
751 __________________________________________________________________
752 [ Underlying general-purpose allocator (ex: C library malloc) ]
753 0 | <------ Virtual memory allocated for the python process -------> |
754
755 =========================================================================
756 _______________________________________________________________________
757 [ OS-specific Virtual Memory Manager (VMM) ]
758-1 | <--- Kernel dynamic storage allocation & management (page-based) ---> |
759 __________________________________ __________________________________
760 [ ] [ ]
761-2 | <-- Physical memory: ROM/RAM --> | | <-- Secondary storage (swap) --> |
762
763*/
764/*==========================================================================*/
765
766/* A fast, special-purpose memory allocator for small blocks, to be used
767 on top of a general-purpose malloc -- heavily based on previous art. */
768
769/* Vladimir Marangozov -- August 2000 */
770
771/*
772 * "Memory management is where the rubber meets the road -- if we do the wrong
773 * thing at any level, the results will not be good. And if we don't make the
774 * levels work well together, we are in serious trouble." (1)
775 *
776 * (1) Paul R. Wilson, Mark S. Johnstone, Michael Neely, and David Boles,
777 * "Dynamic Storage Allocation: A Survey and Critical Review",
778 * in Proc. 1995 Int'l. Workshop on Memory Management, September 1995.
779 */
780
781/* #undef WITH_MEMORY_LIMITS */ /* disable mem limit checks */
782
783/*==========================================================================*/
784
785/*
786 * Allocation strategy abstract:
787 *
788 * For small requests, the allocator sub-allocates <Big> blocks of memory.
789 * Requests greater than SMALL_REQUEST_THRESHOLD bytes are routed to the
790 * system's allocator.
791 *
792 * Small requests are grouped in size classes spaced 8 bytes apart, due
793 * to the required valid alignment of the returned address. Requests of
794 * a particular size are serviced from memory pools of 4K (one VMM page).
795 * Pools are fragmented on demand and contain free lists of blocks of one
796 * particular size class. In other words, there is a fixed-size allocator
797 * for each size class. Free pools are shared by the different allocators
798 * thus minimizing the space reserved for a particular size class.
799 *
800 * This allocation strategy is a variant of what is known as "simple
801 * segregated storage based on array of free lists". The main drawback of
802 * simple segregated storage is that we might end up with lot of reserved
803 * memory for the different free lists, which degenerate in time. To avoid
804 * this, we partition each free list in pools and we share dynamically the
805 * reserved space between all free lists. This technique is quite efficient
806 * for memory intensive programs which allocate mainly small-sized blocks.
807 *
808 * For small requests we have the following table:
809 *
810 * Request in bytes Size of allocated block Size class idx
811 * ----------------------------------------------------------------
812 * 1-8 8 0
813 * 9-16 16 1
814 * 17-24 24 2
815 * 25-32 32 3
816 * 33-40 40 4
817 * 41-48 48 5
818 * 49-56 56 6
819 * 57-64 64 7
820 * 65-72 72 8
821 * ... ... ...
822 * 497-504 504 62
823 * 505-512 512 63
824 *
825 * 0, SMALL_REQUEST_THRESHOLD + 1 and up: routed to the underlying
826 * allocator.
827 */
828
829/*==========================================================================*/
830
831/*
832 * -- Main tunable settings section --
833 */
834
835/*
836 * Alignment of addresses returned to the user. 8-bytes alignment works
837 * on most current architectures (with 32-bit or 64-bit address busses).
838 * The alignment value is also used for grouping small requests in size
839 * classes spaced ALIGNMENT bytes apart.
840 *
841 * You shouldn't change this unless you know what you are doing.
842 */
Inada Naokif0be4bb2019-05-14 18:51:15 +0900843
844#if SIZEOF_VOID_P > 4
845#define ALIGNMENT 16 /* must be 2^N */
846#define ALIGNMENT_SHIFT 4
847#else
Victor Stinner9e87e772017-11-24 12:09:24 +0100848#define ALIGNMENT 8 /* must be 2^N */
849#define ALIGNMENT_SHIFT 3
Inada Naokif0be4bb2019-05-14 18:51:15 +0900850#endif
Victor Stinner9e87e772017-11-24 12:09:24 +0100851
852/* Return the number of bytes in size class I, as a uint. */
853#define INDEX2SIZE(I) (((uint)(I) + 1) << ALIGNMENT_SHIFT)
854
855/*
856 * Max size threshold below which malloc requests are considered to be
857 * small enough in order to use preallocated memory pools. You can tune
858 * this value according to your application behaviour and memory needs.
859 *
860 * Note: a size threshold of 512 guarantees that newly created dictionaries
861 * will be allocated from preallocated memory pools on 64-bit.
862 *
863 * The following invariants must hold:
864 * 1) ALIGNMENT <= SMALL_REQUEST_THRESHOLD <= 512
865 * 2) SMALL_REQUEST_THRESHOLD is evenly divisible by ALIGNMENT
866 *
867 * Although not required, for better performance and space efficiency,
868 * it is recommended that SMALL_REQUEST_THRESHOLD is set to a power of 2.
869 */
870#define SMALL_REQUEST_THRESHOLD 512
871#define NB_SMALL_SIZE_CLASSES (SMALL_REQUEST_THRESHOLD / ALIGNMENT)
872
873/*
874 * The system's VMM page size can be obtained on most unices with a
875 * getpagesize() call or deduced from various header files. To make
876 * things simpler, we assume that it is 4K, which is OK for most systems.
877 * It is probably better if this is the native page size, but it doesn't
878 * have to be. In theory, if SYSTEM_PAGE_SIZE is larger than the native page
879 * size, then `POOL_ADDR(p)->arenaindex' could rarely cause a segmentation
880 * violation fault. 4K is apparently OK for all the platforms that python
881 * currently targets.
882 */
883#define SYSTEM_PAGE_SIZE (4 * 1024)
884#define SYSTEM_PAGE_SIZE_MASK (SYSTEM_PAGE_SIZE - 1)
885
886/*
887 * Maximum amount of memory managed by the allocator for small requests.
888 */
889#ifdef WITH_MEMORY_LIMITS
890#ifndef SMALL_MEMORY_LIMIT
891#define SMALL_MEMORY_LIMIT (64 * 1024 * 1024) /* 64 MB -- more? */
892#endif
893#endif
894
895/*
896 * The allocator sub-allocates <Big> blocks of memory (called arenas) aligned
897 * on a page boundary. This is a reserved virtual address space for the
898 * current process (obtained through a malloc()/mmap() call). In no way this
899 * means that the memory arenas will be used entirely. A malloc(<Big>) is
900 * usually an address range reservation for <Big> bytes, unless all pages within
901 * this space are referenced subsequently. So malloc'ing big blocks and not
902 * using them does not mean "wasting memory". It's an addressable range
903 * wastage...
904 *
905 * Arenas are allocated with mmap() on systems supporting anonymous memory
906 * mappings to reduce heap fragmentation.
907 */
908#define ARENA_SIZE (256 << 10) /* 256KB */
909
910#ifdef WITH_MEMORY_LIMITS
911#define MAX_ARENAS (SMALL_MEMORY_LIMIT / ARENA_SIZE)
912#endif
913
914/*
915 * Size of the pools used for small blocks. Should be a power of 2,
916 * between 1K and SYSTEM_PAGE_SIZE, that is: 1k, 2k, 4k.
917 */
918#define POOL_SIZE SYSTEM_PAGE_SIZE /* must be 2^N */
919#define POOL_SIZE_MASK SYSTEM_PAGE_SIZE_MASK
920
Tim Peters1c263e32019-05-31 21:16:04 -0500921#define MAX_POOLS_IN_ARENA (ARENA_SIZE / POOL_SIZE)
922#if MAX_POOLS_IN_ARENA * POOL_SIZE != ARENA_SIZE
923# error "arena size not an exact multiple of pool size"
924#endif
925
Victor Stinner9e87e772017-11-24 12:09:24 +0100926/*
927 * -- End of tunable settings section --
928 */
929
930/*==========================================================================*/
931
Victor Stinner9e87e772017-11-24 12:09:24 +0100932/* When you say memory, my mind reasons in terms of (pointers to) blocks */
933typedef uint8_t block;
934
935/* Pool for small blocks. */
936struct pool_header {
937 union { block *_padding;
938 uint count; } ref; /* number of allocated blocks */
939 block *freeblock; /* pool's free list head */
940 struct pool_header *nextpool; /* next pool of this size class */
941 struct pool_header *prevpool; /* previous pool "" */
942 uint arenaindex; /* index into arenas of base adr */
943 uint szidx; /* block size class index */
944 uint nextoffset; /* bytes to virgin block */
945 uint maxnextoffset; /* largest valid nextoffset */
946};
947
948typedef struct pool_header *poolp;
949
950/* Record keeping for arenas. */
951struct arena_object {
952 /* The address of the arena, as returned by malloc. Note that 0
953 * will never be returned by a successful malloc, and is used
954 * here to mark an arena_object that doesn't correspond to an
955 * allocated arena.
956 */
957 uintptr_t address;
958
959 /* Pool-aligned pointer to the next pool to be carved off. */
960 block* pool_address;
961
962 /* The number of available pools in the arena: free pools + never-
963 * allocated pools.
964 */
965 uint nfreepools;
966
967 /* The total number of pools in the arena, whether or not available. */
968 uint ntotalpools;
969
970 /* Singly-linked list of available pools. */
971 struct pool_header* freepools;
972
973 /* Whenever this arena_object is not associated with an allocated
974 * arena, the nextarena member is used to link all unassociated
975 * arena_objects in the singly-linked `unused_arena_objects` list.
976 * The prevarena member is unused in this case.
977 *
978 * When this arena_object is associated with an allocated arena
979 * with at least one available pool, both members are used in the
980 * doubly-linked `usable_arenas` list, which is maintained in
981 * increasing order of `nfreepools` values.
982 *
983 * Else this arena_object is associated with an allocated arena
984 * all of whose pools are in use. `nextarena` and `prevarena`
985 * are both meaningless in this case.
986 */
987 struct arena_object* nextarena;
988 struct arena_object* prevarena;
989};
990
991#define POOL_OVERHEAD _Py_SIZE_ROUND_UP(sizeof(struct pool_header), ALIGNMENT)
992
993#define DUMMY_SIZE_IDX 0xffff /* size class of newly cached pools */
994
995/* Round pointer P down to the closest pool-aligned address <= P, as a poolp */
996#define POOL_ADDR(P) ((poolp)_Py_ALIGN_DOWN((P), POOL_SIZE))
997
998/* Return total number of blocks in pool of size index I, as a uint. */
999#define NUMBLOCKS(I) ((uint)(POOL_SIZE - POOL_OVERHEAD) / INDEX2SIZE(I))
1000
1001/*==========================================================================*/
1002
1003/*
Victor Stinner9e87e772017-11-24 12:09:24 +01001004 * Pool table -- headed, circular, doubly-linked lists of partially used pools.
1005
1006This is involved. For an index i, usedpools[i+i] is the header for a list of
1007all partially used pools holding small blocks with "size class idx" i. So
1008usedpools[0] corresponds to blocks of size 8, usedpools[2] to blocks of size
100916, and so on: index 2*i <-> blocks of size (i+1)<<ALIGNMENT_SHIFT.
1010
1011Pools are carved off an arena's highwater mark (an arena_object's pool_address
1012member) as needed. Once carved off, a pool is in one of three states forever
1013after:
1014
1015used == partially used, neither empty nor full
1016 At least one block in the pool is currently allocated, and at least one
1017 block in the pool is not currently allocated (note this implies a pool
1018 has room for at least two blocks).
1019 This is a pool's initial state, as a pool is created only when malloc
1020 needs space.
1021 The pool holds blocks of a fixed size, and is in the circular list headed
1022 at usedpools[i] (see above). It's linked to the other used pools of the
1023 same size class via the pool_header's nextpool and prevpool members.
1024 If all but one block is currently allocated, a malloc can cause a
1025 transition to the full state. If all but one block is not currently
1026 allocated, a free can cause a transition to the empty state.
1027
1028full == all the pool's blocks are currently allocated
1029 On transition to full, a pool is unlinked from its usedpools[] list.
1030 It's not linked to from anything then anymore, and its nextpool and
1031 prevpool members are meaningless until it transitions back to used.
1032 A free of a block in a full pool puts the pool back in the used state.
1033 Then it's linked in at the front of the appropriate usedpools[] list, so
1034 that the next allocation for its size class will reuse the freed block.
1035
1036empty == all the pool's blocks are currently available for allocation
1037 On transition to empty, a pool is unlinked from its usedpools[] list,
1038 and linked to the front of its arena_object's singly-linked freepools list,
1039 via its nextpool member. The prevpool member has no meaning in this case.
1040 Empty pools have no inherent size class: the next time a malloc finds
1041 an empty list in usedpools[], it takes the first pool off of freepools.
1042 If the size class needed happens to be the same as the size class the pool
1043 last had, some pool initialization can be skipped.
1044
1045
1046Block Management
1047
1048Blocks within pools are again carved out as needed. pool->freeblock points to
1049the start of a singly-linked list of free blocks within the pool. When a
1050block is freed, it's inserted at the front of its pool's freeblock list. Note
1051that the available blocks in a pool are *not* linked all together when a pool
1052is initialized. Instead only "the first two" (lowest addresses) blocks are
1053set up, returning the first such block, and setting pool->freeblock to a
1054one-block list holding the second such block. This is consistent with that
1055pymalloc strives at all levels (arena, pool, and block) never to touch a piece
1056of memory until it's actually needed.
1057
1058So long as a pool is in the used state, we're certain there *is* a block
1059available for allocating, and pool->freeblock is not NULL. If pool->freeblock
1060points to the end of the free list before we've carved the entire pool into
1061blocks, that means we simply haven't yet gotten to one of the higher-address
1062blocks. The offset from the pool_header to the start of "the next" virgin
1063block is stored in the pool_header nextoffset member, and the largest value
1064of nextoffset that makes sense is stored in the maxnextoffset member when a
1065pool is initialized. All the blocks in a pool have been passed out at least
1066once when and only when nextoffset > maxnextoffset.
1067
1068
1069Major obscurity: While the usedpools vector is declared to have poolp
1070entries, it doesn't really. It really contains two pointers per (conceptual)
1071poolp entry, the nextpool and prevpool members of a pool_header. The
1072excruciating initialization code below fools C so that
1073
1074 usedpool[i+i]
1075
1076"acts like" a genuine poolp, but only so long as you only reference its
1077nextpool and prevpool members. The "- 2*sizeof(block *)" gibberish is
1078compensating for that a pool_header's nextpool and prevpool members
1079immediately follow a pool_header's first two members:
1080
1081 union { block *_padding;
1082 uint count; } ref;
1083 block *freeblock;
1084
1085each of which consume sizeof(block *) bytes. So what usedpools[i+i] really
1086contains is a fudged-up pointer p such that *if* C believes it's a poolp
1087pointer, then p->nextpool and p->prevpool are both p (meaning that the headed
1088circular list is empty).
1089
1090It's unclear why the usedpools setup is so convoluted. It could be to
1091minimize the amount of cache required to hold this heavily-referenced table
1092(which only *needs* the two interpool pointer members of a pool_header). OTOH,
1093referencing code has to remember to "double the index" and doing so isn't
1094free, usedpools[0] isn't a strictly legal pointer, and we're crucially relying
1095on that C doesn't insert any padding anywhere in a pool_header at or before
1096the prevpool member.
1097**************************************************************************** */
1098
1099#define PTA(x) ((poolp )((uint8_t *)&(usedpools[2*(x)]) - 2*sizeof(block *)))
1100#define PT(x) PTA(x), PTA(x)
1101
1102static poolp usedpools[2 * ((NB_SMALL_SIZE_CLASSES + 7) / 8) * 8] = {
1103 PT(0), PT(1), PT(2), PT(3), PT(4), PT(5), PT(6), PT(7)
1104#if NB_SMALL_SIZE_CLASSES > 8
1105 , PT(8), PT(9), PT(10), PT(11), PT(12), PT(13), PT(14), PT(15)
1106#if NB_SMALL_SIZE_CLASSES > 16
1107 , PT(16), PT(17), PT(18), PT(19), PT(20), PT(21), PT(22), PT(23)
1108#if NB_SMALL_SIZE_CLASSES > 24
1109 , PT(24), PT(25), PT(26), PT(27), PT(28), PT(29), PT(30), PT(31)
1110#if NB_SMALL_SIZE_CLASSES > 32
1111 , PT(32), PT(33), PT(34), PT(35), PT(36), PT(37), PT(38), PT(39)
1112#if NB_SMALL_SIZE_CLASSES > 40
1113 , PT(40), PT(41), PT(42), PT(43), PT(44), PT(45), PT(46), PT(47)
1114#if NB_SMALL_SIZE_CLASSES > 48
1115 , PT(48), PT(49), PT(50), PT(51), PT(52), PT(53), PT(54), PT(55)
1116#if NB_SMALL_SIZE_CLASSES > 56
1117 , PT(56), PT(57), PT(58), PT(59), PT(60), PT(61), PT(62), PT(63)
1118#if NB_SMALL_SIZE_CLASSES > 64
1119#error "NB_SMALL_SIZE_CLASSES should be less than 64"
1120#endif /* NB_SMALL_SIZE_CLASSES > 64 */
1121#endif /* NB_SMALL_SIZE_CLASSES > 56 */
1122#endif /* NB_SMALL_SIZE_CLASSES > 48 */
1123#endif /* NB_SMALL_SIZE_CLASSES > 40 */
1124#endif /* NB_SMALL_SIZE_CLASSES > 32 */
1125#endif /* NB_SMALL_SIZE_CLASSES > 24 */
1126#endif /* NB_SMALL_SIZE_CLASSES > 16 */
1127#endif /* NB_SMALL_SIZE_CLASSES > 8 */
1128};
1129
1130/*==========================================================================
1131Arena management.
1132
1133`arenas` is a vector of arena_objects. It contains maxarenas entries, some of
1134which may not be currently used (== they're arena_objects that aren't
1135currently associated with an allocated arena). Note that arenas proper are
1136separately malloc'ed.
1137
1138Prior to Python 2.5, arenas were never free()'ed. Starting with Python 2.5,
1139we do try to free() arenas, and use some mild heuristic strategies to increase
1140the likelihood that arenas eventually can be freed.
1141
1142unused_arena_objects
1143
1144 This is a singly-linked list of the arena_objects that are currently not
1145 being used (no arena is associated with them). Objects are taken off the
1146 head of the list in new_arena(), and are pushed on the head of the list in
1147 PyObject_Free() when the arena is empty. Key invariant: an arena_object
1148 is on this list if and only if its .address member is 0.
1149
1150usable_arenas
1151
1152 This is a doubly-linked list of the arena_objects associated with arenas
1153 that have pools available. These pools are either waiting to be reused,
1154 or have not been used before. The list is sorted to have the most-
1155 allocated arenas first (ascending order based on the nfreepools member).
1156 This means that the next allocation will come from a heavily used arena,
1157 which gives the nearly empty arenas a chance to be returned to the system.
1158 In my unscientific tests this dramatically improved the number of arenas
1159 that could be freed.
1160
1161Note that an arena_object associated with an arena all of whose pools are
1162currently in use isn't on either list.
Tim Peters1c263e32019-05-31 21:16:04 -05001163
1164Changed in Python 3.8: keeping usable_arenas sorted by number of free pools
1165used to be done by one-at-a-time linear search when an arena's number of
1166free pools changed. That could, overall, consume time quadratic in the
1167number of arenas. That didn't really matter when there were only a few
1168hundred arenas (typical!), but could be a timing disaster when there were
1169hundreds of thousands. See bpo-37029.
1170
1171Now we have a vector of "search fingers" to eliminate the need to search:
1172nfp2lasta[nfp] returns the last ("rightmost") arena in usable_arenas
1173with nfp free pools. This is NULL if and only if there is no arena with
1174nfp free pools in usable_arenas.
Victor Stinner9e87e772017-11-24 12:09:24 +01001175*/
1176
1177/* Array of objects used to track chunks of memory (arenas). */
1178static struct arena_object* arenas = NULL;
1179/* Number of slots currently allocated in the `arenas` vector. */
1180static uint maxarenas = 0;
1181
1182/* The head of the singly-linked, NULL-terminated list of available
1183 * arena_objects.
1184 */
1185static struct arena_object* unused_arena_objects = NULL;
1186
1187/* The head of the doubly-linked, NULL-terminated at each end, list of
1188 * arena_objects associated with arenas that have pools available.
1189 */
1190static struct arena_object* usable_arenas = NULL;
1191
Tim Peters1c263e32019-05-31 21:16:04 -05001192/* nfp2lasta[nfp] is the last arena in usable_arenas with nfp free pools */
1193static struct arena_object* nfp2lasta[MAX_POOLS_IN_ARENA + 1] = { NULL };
1194
Victor Stinner9e87e772017-11-24 12:09:24 +01001195/* How many arena_objects do we initially allocate?
1196 * 16 = can allocate 16 arenas = 16 * ARENA_SIZE = 4MB before growing the
1197 * `arenas` vector.
1198 */
1199#define INITIAL_ARENA_OBJECTS 16
1200
1201/* Number of arenas allocated that haven't been free()'d. */
1202static size_t narenas_currently_allocated = 0;
1203
1204/* Total number of times malloc() called to allocate an arena. */
1205static size_t ntimes_arena_allocated = 0;
1206/* High water mark (max value ever seen) for narenas_currently_allocated. */
1207static size_t narenas_highwater = 0;
1208
1209static Py_ssize_t _Py_AllocatedBlocks = 0;
1210
Antoine Pitrouf9d0b122012-12-09 14:28:26 +01001211Py_ssize_t
1212_Py_GetAllocatedBlocks(void)
1213{
Victor Stinner9e87e772017-11-24 12:09:24 +01001214 return _Py_AllocatedBlocks;
Antoine Pitrouf9d0b122012-12-09 14:28:26 +01001215}
1216
1217
Thomas Woutersa9773292006-04-21 09:43:23 +00001218/* Allocate a new arena. If we run out of memory, return NULL. Else
1219 * allocate a new arena, and return the address of an arena_object
1220 * describing the new arena. It's expected that the caller will set
1221 * `usable_arenas` to the return value.
1222 */
1223static struct arena_object*
Tim Petersd97a1c02002-03-30 06:09:22 +00001224new_arena(void)
1225{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001226 struct arena_object* arenaobj;
1227 uint excess; /* number of bytes above pool alignment */
Victor Stinnerba108822012-03-10 00:21:44 +01001228 void *address;
Victor Stinner34be807c2016-03-14 12:04:26 +01001229 static int debug_stats = -1;
Tim Petersd97a1c02002-03-30 06:09:22 +00001230
Victor Stinner34be807c2016-03-14 12:04:26 +01001231 if (debug_stats == -1) {
Serhiy Storchaka4ae06c52017-12-12 13:55:04 +02001232 const char *opt = Py_GETENV("PYTHONMALLOCSTATS");
Victor Stinner34be807c2016-03-14 12:04:26 +01001233 debug_stats = (opt != NULL && *opt != '\0');
1234 }
1235 if (debug_stats)
David Malcolm49526f42012-06-22 14:55:41 -04001236 _PyObject_DebugMallocStats(stderr);
Victor Stinner34be807c2016-03-14 12:04:26 +01001237
Victor Stinner9e87e772017-11-24 12:09:24 +01001238 if (unused_arena_objects == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001239 uint i;
1240 uint numarenas;
1241 size_t nbytes;
Tim Peters0e871182002-04-13 08:29:14 +00001242
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001243 /* Double the number of arena objects on each allocation.
1244 * Note that it's possible for `numarenas` to overflow.
1245 */
Victor Stinner9e87e772017-11-24 12:09:24 +01001246 numarenas = maxarenas ? maxarenas << 1 : INITIAL_ARENA_OBJECTS;
1247 if (numarenas <= maxarenas)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001248 return NULL; /* overflow */
Martin v. Löwis5aca8822008-09-11 06:55:48 +00001249#if SIZEOF_SIZE_T <= SIZEOF_INT
Victor Stinner9e87e772017-11-24 12:09:24 +01001250 if (numarenas > SIZE_MAX / sizeof(*arenas))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001251 return NULL; /* overflow */
Martin v. Löwis5aca8822008-09-11 06:55:48 +00001252#endif
Victor Stinner9e87e772017-11-24 12:09:24 +01001253 nbytes = numarenas * sizeof(*arenas);
1254 arenaobj = (struct arena_object *)PyMem_RawRealloc(arenas, nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001255 if (arenaobj == NULL)
1256 return NULL;
Victor Stinner9e87e772017-11-24 12:09:24 +01001257 arenas = arenaobj;
Thomas Woutersa9773292006-04-21 09:43:23 +00001258
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001259 /* We might need to fix pointers that were copied. However,
1260 * new_arena only gets called when all the pages in the
1261 * previous arenas are full. Thus, there are *no* pointers
1262 * into the old array. Thus, we don't have to worry about
1263 * invalid pointers. Just to be sure, some asserts:
1264 */
Victor Stinner9e87e772017-11-24 12:09:24 +01001265 assert(usable_arenas == NULL);
1266 assert(unused_arena_objects == NULL);
Thomas Woutersa9773292006-04-21 09:43:23 +00001267
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001268 /* Put the new arenas on the unused_arena_objects list. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001269 for (i = maxarenas; i < numarenas; ++i) {
1270 arenas[i].address = 0; /* mark as unassociated */
1271 arenas[i].nextarena = i < numarenas - 1 ?
1272 &arenas[i+1] : NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001273 }
Thomas Woutersa9773292006-04-21 09:43:23 +00001274
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001275 /* Update globals. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001276 unused_arena_objects = &arenas[maxarenas];
1277 maxarenas = numarenas;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001278 }
Tim Petersd97a1c02002-03-30 06:09:22 +00001279
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001280 /* Take the next available arena object off the head of the list. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001281 assert(unused_arena_objects != NULL);
1282 arenaobj = unused_arena_objects;
1283 unused_arena_objects = arenaobj->nextarena;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001284 assert(arenaobj->address == 0);
Victor Stinner9e87e772017-11-24 12:09:24 +01001285 address = _PyObject_Arena.alloc(_PyObject_Arena.ctx, ARENA_SIZE);
Victor Stinner0507bf52013-07-07 02:05:46 +02001286 if (address == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001287 /* The allocation failed: return NULL after putting the
1288 * arenaobj back.
1289 */
Victor Stinner9e87e772017-11-24 12:09:24 +01001290 arenaobj->nextarena = unused_arena_objects;
1291 unused_arena_objects = arenaobj;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001292 return NULL;
1293 }
Benjamin Peterson5d4b09c2016-09-18 19:24:52 -07001294 arenaobj->address = (uintptr_t)address;
Tim Petersd97a1c02002-03-30 06:09:22 +00001295
Victor Stinner9e87e772017-11-24 12:09:24 +01001296 ++narenas_currently_allocated;
1297 ++ntimes_arena_allocated;
1298 if (narenas_currently_allocated > narenas_highwater)
1299 narenas_highwater = narenas_currently_allocated;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001300 arenaobj->freepools = NULL;
1301 /* pool_address <- first pool-aligned address in the arena
1302 nfreepools <- number of whole pools that fit after alignment */
Victor Stinner9e87e772017-11-24 12:09:24 +01001303 arenaobj->pool_address = (block*)arenaobj->address;
Tim Peters1c263e32019-05-31 21:16:04 -05001304 arenaobj->nfreepools = MAX_POOLS_IN_ARENA;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001305 excess = (uint)(arenaobj->address & POOL_SIZE_MASK);
1306 if (excess != 0) {
1307 --arenaobj->nfreepools;
1308 arenaobj->pool_address += POOL_SIZE - excess;
1309 }
1310 arenaobj->ntotalpools = arenaobj->nfreepools;
Thomas Woutersa9773292006-04-21 09:43:23 +00001311
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001312 return arenaobj;
Tim Petersd97a1c02002-03-30 06:09:22 +00001313}
1314
Victor Stinner9ed83c42017-10-31 12:18:10 -07001315
Thomas Woutersa9773292006-04-21 09:43:23 +00001316/*
Benjamin Peterson3924f932016-09-18 19:12:48 -07001317address_in_range(P, POOL)
Thomas Woutersa9773292006-04-21 09:43:23 +00001318
1319Return true if and only if P is an address that was allocated by pymalloc.
1320POOL must be the pool address associated with P, i.e., POOL = POOL_ADDR(P)
1321(the caller is asked to compute this because the macro expands POOL more than
1322once, and for efficiency it's best for the caller to assign POOL_ADDR(P) to a
Benjamin Peterson3924f932016-09-18 19:12:48 -07001323variable and pass the latter to the macro; because address_in_range is
Thomas Woutersa9773292006-04-21 09:43:23 +00001324called on every alloc/realloc/free, micro-efficiency is important here).
1325
1326Tricky: Let B be the arena base address associated with the pool, B =
1327arenas[(POOL)->arenaindex].address. Then P belongs to the arena if and only if
1328
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001329 B <= P < B + ARENA_SIZE
Thomas Woutersa9773292006-04-21 09:43:23 +00001330
1331Subtracting B throughout, this is true iff
1332
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001333 0 <= P-B < ARENA_SIZE
Thomas Woutersa9773292006-04-21 09:43:23 +00001334
1335By using unsigned arithmetic, the "0 <=" half of the test can be skipped.
1336
1337Obscure: A PyMem "free memory" function can call the pymalloc free or realloc
1338before the first arena has been allocated. `arenas` is still NULL in that
1339case. We're relying on that maxarenas is also 0 in that case, so that
1340(POOL)->arenaindex < maxarenas must be false, saving us from trying to index
1341into a NULL arenas.
1342
1343Details: given P and POOL, the arena_object corresponding to P is AO =
1344arenas[(POOL)->arenaindex]. Suppose obmalloc controls P. Then (barring wild
1345stores, etc), POOL is the correct address of P's pool, AO.address is the
1346correct base address of the pool's arena, and P must be within ARENA_SIZE of
1347AO.address. In addition, AO.address is not 0 (no arena can start at address 0
Benjamin Peterson3924f932016-09-18 19:12:48 -07001348(NULL)). Therefore address_in_range correctly reports that obmalloc
Thomas Woutersa9773292006-04-21 09:43:23 +00001349controls P.
1350
1351Now suppose obmalloc does not control P (e.g., P was obtained via a direct
1352call to the system malloc() or realloc()). (POOL)->arenaindex may be anything
1353in this case -- it may even be uninitialized trash. If the trash arenaindex
1354is >= maxarenas, the macro correctly concludes at once that obmalloc doesn't
1355control P.
1356
1357Else arenaindex is < maxarena, and AO is read up. If AO corresponds to an
1358allocated arena, obmalloc controls all the memory in slice AO.address :
1359AO.address+ARENA_SIZE. By case assumption, P is not controlled by obmalloc,
1360so P doesn't lie in that slice, so the macro correctly reports that P is not
1361controlled by obmalloc.
1362
1363Finally, if P is not controlled by obmalloc and AO corresponds to an unused
1364arena_object (one not currently associated with an allocated arena),
1365AO.address is 0, and the second test in the macro reduces to:
1366
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001367 P < ARENA_SIZE
Thomas Woutersa9773292006-04-21 09:43:23 +00001368
1369If P >= ARENA_SIZE (extremely likely), the macro again correctly concludes
1370that P is not controlled by obmalloc. However, if P < ARENA_SIZE, this part
1371of the test still passes, and the third clause (AO.address != 0) is necessary
1372to get the correct result: AO.address is 0 in this case, so the macro
1373correctly reports that P is not controlled by obmalloc (despite that P lies in
1374slice AO.address : AO.address + ARENA_SIZE).
1375
1376Note: The third (AO.address != 0) clause was added in Python 2.5. Before
13772.5, arenas were never free()'ed, and an arenaindex < maxarena always
1378corresponded to a currently-allocated arena, so the "P is not controlled by
1379obmalloc, AO corresponds to an unused arena_object, and P < ARENA_SIZE" case
1380was impossible.
1381
1382Note that the logic is excruciating, and reading up possibly uninitialized
1383memory when P is not controlled by obmalloc (to get at (POOL)->arenaindex)
1384creates problems for some memory debuggers. The overwhelming advantage is
1385that this test determines whether an arbitrary address is controlled by
1386obmalloc in a small constant time, independent of the number of arenas
1387obmalloc controls. Since this test is needed at every entry point, it's
1388extremely desirable that it be this fast.
1389*/
Thomas Woutersa9773292006-04-21 09:43:23 +00001390
Alexey Izbyshevfd3a91c2018-11-12 02:14:51 +03001391static bool _Py_NO_ADDRESS_SAFETY_ANALYSIS
1392 _Py_NO_SANITIZE_THREAD
1393 _Py_NO_SANITIZE_MEMORY
Benjamin Peterson3924f932016-09-18 19:12:48 -07001394address_in_range(void *p, poolp pool)
1395{
1396 // Since address_in_range may be reading from memory which was not allocated
1397 // by Python, it is important that pool->arenaindex is read only once, as
1398 // another thread may be concurrently modifying the value without holding
1399 // the GIL. The following dance forces the compiler to read pool->arenaindex
1400 // only once.
1401 uint arenaindex = *((volatile uint *)&pool->arenaindex);
Victor Stinner9e87e772017-11-24 12:09:24 +01001402 return arenaindex < maxarenas &&
1403 (uintptr_t)p - arenas[arenaindex].address < ARENA_SIZE &&
1404 arenas[arenaindex].address != 0;
Benjamin Peterson3924f932016-09-18 19:12:48 -07001405}
Tim Peters338e0102002-04-01 19:23:44 +00001406
Victor Stinner9ed83c42017-10-31 12:18:10 -07001407
Neil Schemenauera35c6882001-02-27 04:45:05 +00001408/*==========================================================================*/
1409
Victor Stinner9ed83c42017-10-31 12:18:10 -07001410/* pymalloc allocator
Neil Schemenauera35c6882001-02-27 04:45:05 +00001411
Victor Stinner9ed83c42017-10-31 12:18:10 -07001412 The basic blocks are ordered by decreasing execution frequency,
1413 which minimizes the number of jumps in the most common cases,
1414 improves branching prediction and instruction scheduling (small
1415 block allocations typically result in a couple of instructions).
1416 Unless the optimizer reorders everything, being too smart...
Neil Schemenauera35c6882001-02-27 04:45:05 +00001417
Victor Stinner9ed83c42017-10-31 12:18:10 -07001418 Return 1 if pymalloc allocated memory and wrote the pointer into *ptr_p.
1419
1420 Return 0 if pymalloc failed to allocate the memory block: on bigger
1421 requests, on error in the code below (as a last chance to serve the request)
1422 or when the max memory limit has been reached. */
1423static int
1424pymalloc_alloc(void *ctx, void **ptr_p, size_t nbytes)
Neil Schemenauera35c6882001-02-27 04:45:05 +00001425{
Victor Stinner9e87e772017-11-24 12:09:24 +01001426 block *bp;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001427 poolp pool;
1428 poolp next;
1429 uint size;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001430
Benjamin Peterson05159c42009-12-03 03:01:27 +00001431#ifdef WITH_VALGRIND
Victor Stinner9ed83c42017-10-31 12:18:10 -07001432 if (UNLIKELY(running_on_valgrind == -1)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001433 running_on_valgrind = RUNNING_ON_VALGRIND;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001434 }
1435 if (UNLIKELY(running_on_valgrind)) {
1436 return 0;
1437 }
Benjamin Peterson05159c42009-12-03 03:01:27 +00001438#endif
1439
Victor Stinner9ed83c42017-10-31 12:18:10 -07001440 if (nbytes == 0) {
1441 return 0;
1442 }
1443 if (nbytes > SMALL_REQUEST_THRESHOLD) {
1444 return 0;
1445 }
T. Wouters06bb4872017-03-31 10:10:19 -07001446
Victor Stinner9ed83c42017-10-31 12:18:10 -07001447 /*
1448 * Most frequent paths first
1449 */
1450 size = (uint)(nbytes - 1) >> ALIGNMENT_SHIFT;
Victor Stinner9e87e772017-11-24 12:09:24 +01001451 pool = usedpools[size + size];
Victor Stinner9ed83c42017-10-31 12:18:10 -07001452 if (pool != pool->nextpool) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001453 /*
Victor Stinner9ed83c42017-10-31 12:18:10 -07001454 * There is a used pool for this size class.
1455 * Pick up the head block of its free list.
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001456 */
Victor Stinner9ed83c42017-10-31 12:18:10 -07001457 ++pool->ref.count;
1458 bp = pool->freeblock;
1459 assert(bp != NULL);
Victor Stinner9e87e772017-11-24 12:09:24 +01001460 if ((pool->freeblock = *(block **)bp) != NULL) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07001461 goto success;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001462 }
Thomas Woutersa9773292006-04-21 09:43:23 +00001463
Victor Stinner9ed83c42017-10-31 12:18:10 -07001464 /*
1465 * Reached the end of the free list, try to extend it.
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001466 */
Victor Stinner9ed83c42017-10-31 12:18:10 -07001467 if (pool->nextoffset <= pool->maxnextoffset) {
1468 /* There is room for another block. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001469 pool->freeblock = (block*)pool +
Victor Stinner9ed83c42017-10-31 12:18:10 -07001470 pool->nextoffset;
1471 pool->nextoffset += INDEX2SIZE(size);
Victor Stinner9e87e772017-11-24 12:09:24 +01001472 *(block **)(pool->freeblock) = NULL;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001473 goto success;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001474 }
Thomas Woutersa9773292006-04-21 09:43:23 +00001475
Victor Stinner9ed83c42017-10-31 12:18:10 -07001476 /* Pool is full, unlink from used pools. */
1477 next = pool->nextpool;
1478 pool = pool->prevpool;
1479 next->prevpool = pool;
1480 pool->nextpool = next;
1481 goto success;
1482 }
Thomas Woutersa9773292006-04-21 09:43:23 +00001483
Victor Stinner9ed83c42017-10-31 12:18:10 -07001484 /* There isn't a pool of the right size class immediately
1485 * available: use a free pool.
1486 */
Victor Stinner9e87e772017-11-24 12:09:24 +01001487 if (usable_arenas == NULL) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07001488 /* No arena has a free pool: allocate a new arena. */
1489#ifdef WITH_MEMORY_LIMITS
Victor Stinner9e87e772017-11-24 12:09:24 +01001490 if (narenas_currently_allocated >= MAX_ARENAS) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07001491 goto failed;
1492 }
1493#endif
Victor Stinner9e87e772017-11-24 12:09:24 +01001494 usable_arenas = new_arena();
1495 if (usable_arenas == NULL) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07001496 goto failed;
1497 }
Victor Stinner9e87e772017-11-24 12:09:24 +01001498 usable_arenas->nextarena =
1499 usable_arenas->prevarena = NULL;
Tim Peters1c263e32019-05-31 21:16:04 -05001500 assert(nfp2lasta[usable_arenas->nfreepools] == NULL);
1501 nfp2lasta[usable_arenas->nfreepools] = usable_arenas;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001502 }
Victor Stinner9e87e772017-11-24 12:09:24 +01001503 assert(usable_arenas->address != 0);
Victor Stinner9ed83c42017-10-31 12:18:10 -07001504
Tim Peters1c263e32019-05-31 21:16:04 -05001505 /* This arena already had the smallest nfreepools value, so decreasing
1506 * nfreepools doesn't change that, and we don't need to rearrange the
1507 * usable_arenas list. However, if the arena becomes wholly allocated,
1508 * we need to remove its arena_object from usable_arenas.
1509 */
1510 assert(usable_arenas->nfreepools > 0);
1511 if (nfp2lasta[usable_arenas->nfreepools] == usable_arenas) {
1512 /* It's the last of this size, so there won't be any. */
1513 nfp2lasta[usable_arenas->nfreepools] = NULL;
1514 }
1515 /* If any free pools will remain, it will be the new smallest. */
1516 if (usable_arenas->nfreepools > 1) {
1517 assert(nfp2lasta[usable_arenas->nfreepools - 1] == NULL);
1518 nfp2lasta[usable_arenas->nfreepools - 1] = usable_arenas;
1519 }
1520
Victor Stinner9ed83c42017-10-31 12:18:10 -07001521 /* Try to get a cached free pool. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001522 pool = usable_arenas->freepools;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001523 if (pool != NULL) {
1524 /* Unlink from cached pools. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001525 usable_arenas->freepools = pool->nextpool;
Victor Stinner9e87e772017-11-24 12:09:24 +01001526 --usable_arenas->nfreepools;
1527 if (usable_arenas->nfreepools == 0) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07001528 /* Wholly allocated: remove. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001529 assert(usable_arenas->freepools == NULL);
1530 assert(usable_arenas->nextarena == NULL ||
1531 usable_arenas->nextarena->prevarena ==
1532 usable_arenas);
Victor Stinner9e87e772017-11-24 12:09:24 +01001533 usable_arenas = usable_arenas->nextarena;
1534 if (usable_arenas != NULL) {
1535 usable_arenas->prevarena = NULL;
1536 assert(usable_arenas->address != 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001537 }
1538 }
Victor Stinner9ed83c42017-10-31 12:18:10 -07001539 else {
1540 /* nfreepools > 0: it must be that freepools
1541 * isn't NULL, or that we haven't yet carved
1542 * off all the arena's pools for the first
1543 * time.
1544 */
Victor Stinner9e87e772017-11-24 12:09:24 +01001545 assert(usable_arenas->freepools != NULL ||
1546 usable_arenas->pool_address <=
1547 (block*)usable_arenas->address +
Victor Stinner9ed83c42017-10-31 12:18:10 -07001548 ARENA_SIZE - POOL_SIZE);
1549 }
Thomas Woutersa9773292006-04-21 09:43:23 +00001550
Victor Stinner9ed83c42017-10-31 12:18:10 -07001551 init_pool:
1552 /* Frontlink to used pools. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001553 next = usedpools[size + size]; /* == prev */
Victor Stinner9ed83c42017-10-31 12:18:10 -07001554 pool->nextpool = next;
1555 pool->prevpool = next;
1556 next->nextpool = pool;
1557 next->prevpool = pool;
1558 pool->ref.count = 1;
1559 if (pool->szidx == size) {
1560 /* Luckily, this pool last contained blocks
1561 * of the same size class, so its header
1562 * and free list are already initialized.
1563 */
1564 bp = pool->freeblock;
1565 assert(bp != NULL);
Victor Stinner9e87e772017-11-24 12:09:24 +01001566 pool->freeblock = *(block **)bp;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001567 goto success;
1568 }
1569 /*
1570 * Initialize the pool header, set up the free list to
1571 * contain just the second block, and return the first
1572 * block.
1573 */
1574 pool->szidx = size;
1575 size = INDEX2SIZE(size);
Victor Stinner9e87e772017-11-24 12:09:24 +01001576 bp = (block *)pool + POOL_OVERHEAD;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001577 pool->nextoffset = POOL_OVERHEAD + (size << 1);
1578 pool->maxnextoffset = POOL_SIZE - size;
1579 pool->freeblock = bp + size;
Victor Stinner9e87e772017-11-24 12:09:24 +01001580 *(block **)(pool->freeblock) = NULL;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001581 goto success;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001582 }
Neil Schemenauera35c6882001-02-27 04:45:05 +00001583
Victor Stinner9ed83c42017-10-31 12:18:10 -07001584 /* Carve off a new pool. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001585 assert(usable_arenas->nfreepools > 0);
1586 assert(usable_arenas->freepools == NULL);
1587 pool = (poolp)usable_arenas->pool_address;
1588 assert((block*)pool <= (block*)usable_arenas->address +
Victor Stinner9ed83c42017-10-31 12:18:10 -07001589 ARENA_SIZE - POOL_SIZE);
Victor Stinner9e87e772017-11-24 12:09:24 +01001590 pool->arenaindex = (uint)(usable_arenas - arenas);
1591 assert(&arenas[pool->arenaindex] == usable_arenas);
Victor Stinner9ed83c42017-10-31 12:18:10 -07001592 pool->szidx = DUMMY_SIZE_IDX;
Victor Stinner9e87e772017-11-24 12:09:24 +01001593 usable_arenas->pool_address += POOL_SIZE;
1594 --usable_arenas->nfreepools;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001595
Victor Stinner9e87e772017-11-24 12:09:24 +01001596 if (usable_arenas->nfreepools == 0) {
1597 assert(usable_arenas->nextarena == NULL ||
1598 usable_arenas->nextarena->prevarena ==
1599 usable_arenas);
Victor Stinner9ed83c42017-10-31 12:18:10 -07001600 /* Unlink the arena: it is completely allocated. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001601 usable_arenas = usable_arenas->nextarena;
1602 if (usable_arenas != NULL) {
1603 usable_arenas->prevarena = NULL;
1604 assert(usable_arenas->address != 0);
Victor Stinner9ed83c42017-10-31 12:18:10 -07001605 }
Antoine Pitrouf9d0b122012-12-09 14:28:26 +01001606 }
Victor Stinner9ed83c42017-10-31 12:18:10 -07001607
1608 goto init_pool;
1609
1610success:
Victor Stinner9ed83c42017-10-31 12:18:10 -07001611 assert(bp != NULL);
1612 *ptr_p = (void *)bp;
1613 return 1;
1614
1615failed:
Victor Stinner9ed83c42017-10-31 12:18:10 -07001616 return 0;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001617}
1618
Victor Stinner9ed83c42017-10-31 12:18:10 -07001619
Victor Stinnerdb067af2014-05-02 22:31:14 +02001620static void *
1621_PyObject_Malloc(void *ctx, size_t nbytes)
1622{
Victor Stinner9ed83c42017-10-31 12:18:10 -07001623 void* ptr;
1624 if (pymalloc_alloc(ctx, &ptr, nbytes)) {
Victor Stinner9e87e772017-11-24 12:09:24 +01001625 _Py_AllocatedBlocks++;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001626 return ptr;
1627 }
1628
1629 ptr = PyMem_RawMalloc(nbytes);
1630 if (ptr != NULL) {
Victor Stinner9e87e772017-11-24 12:09:24 +01001631 _Py_AllocatedBlocks++;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001632 }
1633 return ptr;
Victor Stinnerdb067af2014-05-02 22:31:14 +02001634}
1635
Victor Stinner9ed83c42017-10-31 12:18:10 -07001636
Victor Stinnerdb067af2014-05-02 22:31:14 +02001637static void *
1638_PyObject_Calloc(void *ctx, size_t nelem, size_t elsize)
1639{
Victor Stinner9ed83c42017-10-31 12:18:10 -07001640 void* ptr;
1641
1642 assert(elsize == 0 || nelem <= (size_t)PY_SSIZE_T_MAX / elsize);
1643 size_t nbytes = nelem * elsize;
1644
1645 if (pymalloc_alloc(ctx, &ptr, nbytes)) {
1646 memset(ptr, 0, nbytes);
Victor Stinner9e87e772017-11-24 12:09:24 +01001647 _Py_AllocatedBlocks++;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001648 return ptr;
1649 }
1650
1651 ptr = PyMem_RawCalloc(nelem, elsize);
1652 if (ptr != NULL) {
Victor Stinner9e87e772017-11-24 12:09:24 +01001653 _Py_AllocatedBlocks++;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001654 }
1655 return ptr;
Victor Stinnerdb067af2014-05-02 22:31:14 +02001656}
1657
Neil Schemenauera35c6882001-02-27 04:45:05 +00001658
Victor Stinner9ed83c42017-10-31 12:18:10 -07001659/* Free a memory block allocated by pymalloc_alloc().
1660 Return 1 if it was freed.
1661 Return 0 if the block was not allocated by pymalloc_alloc(). */
1662static int
1663pymalloc_free(void *ctx, void *p)
Neil Schemenauera35c6882001-02-27 04:45:05 +00001664{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001665 poolp pool;
Victor Stinner9e87e772017-11-24 12:09:24 +01001666 block *lastfree;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001667 poolp next, prev;
1668 uint size;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001669
Victor Stinner9ed83c42017-10-31 12:18:10 -07001670 assert(p != NULL);
Antoine Pitrouf9d0b122012-12-09 14:28:26 +01001671
Benjamin Peterson05159c42009-12-03 03:01:27 +00001672#ifdef WITH_VALGRIND
Victor Stinner9ed83c42017-10-31 12:18:10 -07001673 if (UNLIKELY(running_on_valgrind > 0)) {
1674 return 0;
1675 }
Benjamin Peterson05159c42009-12-03 03:01:27 +00001676#endif
1677
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001678 pool = POOL_ADDR(p);
Victor Stinner9ed83c42017-10-31 12:18:10 -07001679 if (!address_in_range(p, pool)) {
1680 return 0;
1681 }
1682 /* We allocated this address. */
Thomas Woutersa9773292006-04-21 09:43:23 +00001683
Victor Stinner9ed83c42017-10-31 12:18:10 -07001684 /* Link p to the start of the pool's freeblock list. Since
1685 * the pool had at least the p block outstanding, the pool
1686 * wasn't empty (so it's already in a usedpools[] list, or
1687 * was full and is in no list -- it's not in the freeblocks
1688 * list in any case).
1689 */
1690 assert(pool->ref.count > 0); /* else it was empty */
Victor Stinner9e87e772017-11-24 12:09:24 +01001691 *(block **)p = lastfree = pool->freeblock;
1692 pool->freeblock = (block *)p;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001693 if (!lastfree) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001694 /* Pool was full, so doesn't currently live in any list:
1695 * link it to the front of the appropriate usedpools[] list.
1696 * This mimics LRU pool usage for new allocations and
1697 * targets optimal filling when several pools contain
1698 * blocks of the same size class.
1699 */
1700 --pool->ref.count;
1701 assert(pool->ref.count > 0); /* else the pool is empty */
1702 size = pool->szidx;
Victor Stinner9e87e772017-11-24 12:09:24 +01001703 next = usedpools[size + size];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001704 prev = next->prevpool;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001705
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001706 /* insert pool before next: prev <-> pool <-> next */
1707 pool->nextpool = next;
1708 pool->prevpool = prev;
1709 next->prevpool = pool;
1710 prev->nextpool = pool;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001711 goto success;
1712 }
1713
1714 struct arena_object* ao;
1715 uint nf; /* ao->nfreepools */
1716
1717 /* freeblock wasn't NULL, so the pool wasn't full,
1718 * and the pool is in a usedpools[] list.
1719 */
1720 if (--pool->ref.count != 0) {
1721 /* pool isn't empty: leave it in usedpools */
1722 goto success;
1723 }
1724 /* Pool is now empty: unlink from usedpools, and
1725 * link to the front of freepools. This ensures that
1726 * previously freed pools will be allocated later
1727 * (being not referenced, they are perhaps paged out).
1728 */
1729 next = pool->nextpool;
1730 prev = pool->prevpool;
1731 next->prevpool = prev;
1732 prev->nextpool = next;
1733
1734 /* Link the pool to freepools. This is a singly-linked
1735 * list, and pool->prevpool isn't used there.
1736 */
Victor Stinner9e87e772017-11-24 12:09:24 +01001737 ao = &arenas[pool->arenaindex];
Victor Stinner9ed83c42017-10-31 12:18:10 -07001738 pool->nextpool = ao->freepools;
1739 ao->freepools = pool;
Tim Peters1c263e32019-05-31 21:16:04 -05001740 nf = ao->nfreepools;
1741 /* If this is the rightmost arena with this number of free pools,
1742 * nfp2lasta[nf] needs to change. Caution: if nf is 0, there
1743 * are no arenas in usable_arenas with that value.
1744 */
1745 struct arena_object* lastnf = nfp2lasta[nf];
1746 assert((nf == 0 && lastnf == NULL) ||
1747 (nf > 0 &&
1748 lastnf != NULL &&
1749 lastnf->nfreepools == nf &&
1750 (lastnf->nextarena == NULL ||
1751 nf < lastnf->nextarena->nfreepools)));
1752 if (lastnf == ao) { /* it is the rightmost */
1753 struct arena_object* p = ao->prevarena;
1754 nfp2lasta[nf] = (p != NULL && p->nfreepools == nf) ? p : NULL;
1755 }
1756 ao->nfreepools = ++nf;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001757
1758 /* All the rest is arena management. We just freed
1759 * a pool, and there are 4 cases for arena mgmt:
1760 * 1. If all the pools are free, return the arena to
Tim Petersd1c85a22019-06-12 22:41:03 -05001761 * the system free(). Except if this is the last
1762 * arena in the list, keep it to avoid thrashing:
1763 * keeping one wholly free arena in the list avoids
1764 * pathological cases where a simple loop would
1765 * otherwise provoke needing to allocate and free an
1766 * arena on every iteration. See bpo-37257.
Victor Stinner9ed83c42017-10-31 12:18:10 -07001767 * 2. If this is the only free pool in the arena,
1768 * add the arena back to the `usable_arenas` list.
1769 * 3. If the "next" arena has a smaller count of free
1770 * pools, we have to "slide this arena right" to
1771 * restore that usable_arenas is sorted in order of
1772 * nfreepools.
1773 * 4. Else there's nothing more to do.
1774 */
Tim Petersd1c85a22019-06-12 22:41:03 -05001775 if (nf == ao->ntotalpools && ao->nextarena != NULL) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07001776 /* Case 1. First unlink ao from usable_arenas.
1777 */
1778 assert(ao->prevarena == NULL ||
1779 ao->prevarena->address != 0);
1780 assert(ao ->nextarena == NULL ||
1781 ao->nextarena->address != 0);
1782
1783 /* Fix the pointer in the prevarena, or the
1784 * usable_arenas pointer.
1785 */
1786 if (ao->prevarena == NULL) {
Victor Stinner9e87e772017-11-24 12:09:24 +01001787 usable_arenas = ao->nextarena;
1788 assert(usable_arenas == NULL ||
1789 usable_arenas->address != 0);
Victor Stinner9ed83c42017-10-31 12:18:10 -07001790 }
1791 else {
1792 assert(ao->prevarena->nextarena == ao);
1793 ao->prevarena->nextarena =
1794 ao->nextarena;
1795 }
1796 /* Fix the pointer in the nextarena. */
1797 if (ao->nextarena != NULL) {
1798 assert(ao->nextarena->prevarena == ao);
1799 ao->nextarena->prevarena =
1800 ao->prevarena;
1801 }
1802 /* Record that this arena_object slot is
1803 * available to be reused.
1804 */
Victor Stinner9e87e772017-11-24 12:09:24 +01001805 ao->nextarena = unused_arena_objects;
1806 unused_arena_objects = ao;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001807
1808 /* Free the entire arena. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001809 _PyObject_Arena.free(_PyObject_Arena.ctx,
Victor Stinner9ed83c42017-10-31 12:18:10 -07001810 (void *)ao->address, ARENA_SIZE);
1811 ao->address = 0; /* mark unassociated */
Victor Stinner9e87e772017-11-24 12:09:24 +01001812 --narenas_currently_allocated;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001813
1814 goto success;
1815 }
1816
1817 if (nf == 1) {
1818 /* Case 2. Put ao at the head of
1819 * usable_arenas. Note that because
1820 * ao->nfreepools was 0 before, ao isn't
1821 * currently on the usable_arenas list.
1822 */
Victor Stinner9e87e772017-11-24 12:09:24 +01001823 ao->nextarena = usable_arenas;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001824 ao->prevarena = NULL;
Victor Stinner9e87e772017-11-24 12:09:24 +01001825 if (usable_arenas)
1826 usable_arenas->prevarena = ao;
1827 usable_arenas = ao;
1828 assert(usable_arenas->address != 0);
Tim Peters1c263e32019-05-31 21:16:04 -05001829 if (nfp2lasta[1] == NULL) {
1830 nfp2lasta[1] = ao;
1831 }
Victor Stinner9ed83c42017-10-31 12:18:10 -07001832
1833 goto success;
1834 }
1835
1836 /* If this arena is now out of order, we need to keep
1837 * the list sorted. The list is kept sorted so that
1838 * the "most full" arenas are used first, which allows
1839 * the nearly empty arenas to be completely freed. In
1840 * a few un-scientific tests, it seems like this
1841 * approach allowed a lot more memory to be freed.
1842 */
Tim Peters1c263e32019-05-31 21:16:04 -05001843 /* If this is the only arena with nf, record that. */
1844 if (nfp2lasta[nf] == NULL) {
1845 nfp2lasta[nf] = ao;
1846 } /* else the rightmost with nf doesn't change */
1847 /* If this was the rightmost of the old size, it remains in place. */
1848 if (ao == lastnf) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07001849 /* Case 4. Nothing to do. */
1850 goto success;
1851 }
Tim Peters1c263e32019-05-31 21:16:04 -05001852 /* If ao were the only arena in the list, the last block would have
1853 * gotten us out.
1854 */
1855 assert(ao->nextarena != NULL);
1856
1857 /* Case 3: We have to move the arena towards the end of the list,
1858 * because it has more free pools than the arena to its right. It needs
1859 * to move to follow lastnf.
Victor Stinner9ed83c42017-10-31 12:18:10 -07001860 * First unlink ao from usable_arenas.
1861 */
1862 if (ao->prevarena != NULL) {
1863 /* ao isn't at the head of the list */
1864 assert(ao->prevarena->nextarena == ao);
1865 ao->prevarena->nextarena = ao->nextarena;
1866 }
1867 else {
1868 /* ao is at the head of the list */
Victor Stinner9e87e772017-11-24 12:09:24 +01001869 assert(usable_arenas == ao);
1870 usable_arenas = ao->nextarena;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001871 }
1872 ao->nextarena->prevarena = ao->prevarena;
Tim Peters1c263e32019-05-31 21:16:04 -05001873 /* And insert after lastnf. */
1874 ao->prevarena = lastnf;
1875 ao->nextarena = lastnf->nextarena;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001876 if (ao->nextarena != NULL) {
1877 ao->nextarena->prevarena = ao;
1878 }
Tim Peters1c263e32019-05-31 21:16:04 -05001879 lastnf->nextarena = ao;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001880 /* Verify that the swaps worked. */
1881 assert(ao->nextarena == NULL || nf <= ao->nextarena->nfreepools);
1882 assert(ao->prevarena == NULL || nf > ao->prevarena->nfreepools);
1883 assert(ao->nextarena == NULL || ao->nextarena->prevarena == ao);
Victor Stinner9e87e772017-11-24 12:09:24 +01001884 assert((usable_arenas == ao && ao->prevarena == NULL)
Victor Stinner9ed83c42017-10-31 12:18:10 -07001885 || ao->prevarena->nextarena == ao);
1886
1887 goto success;
1888
1889success:
Victor Stinner9ed83c42017-10-31 12:18:10 -07001890 return 1;
1891}
1892
1893
1894static void
1895_PyObject_Free(void *ctx, void *p)
1896{
1897 /* PyObject_Free(NULL) has no effect */
1898 if (p == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001899 return;
1900 }
Neil Schemenauera35c6882001-02-27 04:45:05 +00001901
Victor Stinner9e87e772017-11-24 12:09:24 +01001902 _Py_AllocatedBlocks--;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001903 if (!pymalloc_free(ctx, p)) {
1904 /* pymalloc didn't allocate this address */
1905 PyMem_RawFree(p);
1906 }
Neil Schemenauera35c6882001-02-27 04:45:05 +00001907}
1908
Neil Schemenauera35c6882001-02-27 04:45:05 +00001909
Victor Stinner9ed83c42017-10-31 12:18:10 -07001910/* pymalloc realloc.
1911
1912 If nbytes==0, then as the Python docs promise, we do not treat this like
1913 free(p), and return a non-NULL result.
1914
1915 Return 1 if pymalloc reallocated memory and wrote the new pointer into
1916 newptr_p.
1917
1918 Return 0 if pymalloc didn't allocated p. */
1919static int
1920pymalloc_realloc(void *ctx, void **newptr_p, void *p, size_t nbytes)
Neil Schemenauera35c6882001-02-27 04:45:05 +00001921{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001922 void *bp;
1923 poolp pool;
1924 size_t size;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001925
Victor Stinner9ed83c42017-10-31 12:18:10 -07001926 assert(p != NULL);
Georg Brandld492ad82008-07-23 16:13:07 +00001927
Benjamin Peterson05159c42009-12-03 03:01:27 +00001928#ifdef WITH_VALGRIND
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001929 /* Treat running_on_valgrind == -1 the same as 0 */
Victor Stinner9ed83c42017-10-31 12:18:10 -07001930 if (UNLIKELY(running_on_valgrind > 0)) {
1931 return 0;
1932 }
Benjamin Peterson05159c42009-12-03 03:01:27 +00001933#endif
1934
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001935 pool = POOL_ADDR(p);
Victor Stinner9ed83c42017-10-31 12:18:10 -07001936 if (!address_in_range(p, pool)) {
1937 /* pymalloc is not managing this block.
1938
1939 If nbytes <= SMALL_REQUEST_THRESHOLD, it's tempting to try to take
1940 over this block. However, if we do, we need to copy the valid data
1941 from the C-managed block to one of our blocks, and there's no
1942 portable way to know how much of the memory space starting at p is
1943 valid.
1944
1945 As bug 1185883 pointed out the hard way, it's possible that the
1946 C-managed block is "at the end" of allocated VM space, so that a
1947 memory fault can occur if we try to copy nbytes bytes starting at p.
1948 Instead we punt: let C continue to manage this block. */
1949 return 0;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001950 }
Victor Stinner9ed83c42017-10-31 12:18:10 -07001951
1952 /* pymalloc is in charge of this block */
1953 size = INDEX2SIZE(pool->szidx);
1954 if (nbytes <= size) {
1955 /* The block is staying the same or shrinking.
1956
1957 If it's shrinking, there's a tradeoff: it costs cycles to copy the
1958 block to a smaller size class, but it wastes memory not to copy it.
1959
1960 The compromise here is to copy on shrink only if at least 25% of
1961 size can be shaved off. */
1962 if (4 * nbytes > 3 * size) {
1963 /* It's the same, or shrinking and new/old > 3/4. */
1964 *newptr_p = p;
1965 return 1;
1966 }
1967 size = nbytes;
1968 }
1969
1970 bp = _PyObject_Malloc(ctx, nbytes);
1971 if (bp != NULL) {
1972 memcpy(bp, p, size);
1973 _PyObject_Free(ctx, p);
1974 }
1975 *newptr_p = bp;
1976 return 1;
1977}
1978
1979
1980static void *
1981_PyObject_Realloc(void *ctx, void *ptr, size_t nbytes)
1982{
1983 void *ptr2;
1984
1985 if (ptr == NULL) {
1986 return _PyObject_Malloc(ctx, nbytes);
1987 }
1988
1989 if (pymalloc_realloc(ctx, &ptr2, ptr, nbytes)) {
1990 return ptr2;
1991 }
1992
1993 return PyMem_RawRealloc(ptr, nbytes);
Neil Schemenauera35c6882001-02-27 04:45:05 +00001994}
1995
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001996#else /* ! WITH_PYMALLOC */
Tim Petersddea2082002-03-23 10:03:50 +00001997
1998/*==========================================================================*/
Neil Schemenauerd2560cd2002-04-12 03:10:20 +00001999/* pymalloc not enabled: Redirect the entry points to malloc. These will
2000 * only be used by extensions that are compiled with pymalloc enabled. */
Tim Peters62c06ba2002-03-23 22:28:18 +00002001
Antoine Pitrou92840532012-12-17 23:05:59 +01002002Py_ssize_t
2003_Py_GetAllocatedBlocks(void)
2004{
2005 return 0;
2006}
2007
Tim Peters1221c0a2002-03-23 00:20:15 +00002008#endif /* WITH_PYMALLOC */
2009
Victor Stinner34be807c2016-03-14 12:04:26 +01002010
Tim Petersddea2082002-03-23 10:03:50 +00002011/*==========================================================================*/
Tim Peters62c06ba2002-03-23 22:28:18 +00002012/* A x-platform debugging allocator. This doesn't manage memory directly,
2013 * it wraps a real allocator, adding extra debugging info to the memory blocks.
2014 */
Tim Petersddea2082002-03-23 10:03:50 +00002015
Tim Petersf6fb5012002-04-12 07:38:53 +00002016/* Special bytes broadcast into debug memory blocks at appropriate times.
2017 * Strings of these are unlikely to be valid addresses, floats, ints or
Victor Stinner2b00db62019-04-11 11:33:27 +02002018 * 7-bit ASCII. If modified, _PyMem_IsPtrFreed() should be updated as well.
Victor Stinner4c409be2019-04-11 13:01:15 +02002019 *
2020 * Byte patterns 0xCB, 0xBB and 0xFB have been replaced with 0xCD, 0xDD and
2021 * 0xFD to use the same values than Windows CRT debug malloc() and free().
Tim Petersf6fb5012002-04-12 07:38:53 +00002022 */
2023#undef CLEANBYTE
2024#undef DEADBYTE
2025#undef FORBIDDENBYTE
Victor Stinner4c409be2019-04-11 13:01:15 +02002026#define CLEANBYTE 0xCD /* clean (newly allocated) memory */
2027#define DEADBYTE 0xDD /* dead (newly freed) memory */
2028#define FORBIDDENBYTE 0xFD /* untouchable bytes at each end of a block */
Tim Petersddea2082002-03-23 10:03:50 +00002029
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002030/* Uncomment this define to add the "serialno" field */
2031/* #define PYMEM_DEBUG_SERIALNO */
2032
2033#ifdef PYMEM_DEBUG_SERIALNO
Victor Stinner9e87e772017-11-24 12:09:24 +01002034static size_t serialno = 0; /* incremented on each debug {m,re}alloc */
2035
Tim Peterse0850172002-03-24 00:34:21 +00002036/* serialno is always incremented via calling this routine. The point is
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002037 * to supply a single place to set a breakpoint.
2038 */
Tim Peterse0850172002-03-24 00:34:21 +00002039static void
Neil Schemenauerbd02b142002-03-28 21:05:38 +00002040bumpserialno(void)
Tim Peterse0850172002-03-24 00:34:21 +00002041{
Victor Stinner9e87e772017-11-24 12:09:24 +01002042 ++serialno;
Tim Peterse0850172002-03-24 00:34:21 +00002043}
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002044#endif
Tim Peterse0850172002-03-24 00:34:21 +00002045
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002046#define SST SIZEOF_SIZE_T
Tim Peterse0850172002-03-24 00:34:21 +00002047
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002048#ifdef PYMEM_DEBUG_SERIALNO
2049# define PYMEM_DEBUG_EXTRA_BYTES 4 * SST
2050#else
2051# define PYMEM_DEBUG_EXTRA_BYTES 3 * SST
2052#endif
2053
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002054/* Read sizeof(size_t) bytes at p as a big-endian size_t. */
2055static size_t
2056read_size_t(const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002057{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002058 const uint8_t *q = (const uint8_t *)p;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002059 size_t result = *q++;
2060 int i;
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002061
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002062 for (i = SST; --i > 0; ++q)
2063 result = (result << 8) | *q;
2064 return result;
Tim Petersddea2082002-03-23 10:03:50 +00002065}
2066
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002067/* Write n as a big-endian size_t, MSB at address p, LSB at
2068 * p + sizeof(size_t) - 1.
2069 */
Tim Petersddea2082002-03-23 10:03:50 +00002070static void
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002071write_size_t(void *p, size_t n)
Tim Petersddea2082002-03-23 10:03:50 +00002072{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002073 uint8_t *q = (uint8_t *)p + SST - 1;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002074 int i;
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002075
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002076 for (i = SST; --i >= 0; --q) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07002077 *q = (uint8_t)(n & 0xff);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002078 n >>= 8;
2079 }
Tim Petersddea2082002-03-23 10:03:50 +00002080}
2081
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002082/* Let S = sizeof(size_t). The debug malloc asks for 4 * S extra bytes and
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002083 fills them with useful stuff, here calling the underlying malloc's result p:
Tim Petersddea2082002-03-23 10:03:50 +00002084
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002085p[0: S]
2086 Number of bytes originally asked for. This is a size_t, big-endian (easier
2087 to read in a memory dump).
Georg Brandl7cba5fd2013-09-25 09:04:23 +02002088p[S]
Tim Petersdf099f52013-09-19 21:06:37 -05002089 API ID. See PEP 445. This is a character, but seems undocumented.
2090p[S+1: 2*S]
Tim Petersf6fb5012002-04-12 07:38:53 +00002091 Copies of FORBIDDENBYTE. Used to catch under- writes and reads.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002092p[2*S: 2*S+n]
Tim Petersf6fb5012002-04-12 07:38:53 +00002093 The requested memory, filled with copies of CLEANBYTE.
Tim Petersddea2082002-03-23 10:03:50 +00002094 Used to catch reference to uninitialized memory.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002095 &p[2*S] is returned. Note that this is 8-byte aligned if pymalloc
Tim Petersddea2082002-03-23 10:03:50 +00002096 handled the request itself.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002097p[2*S+n: 2*S+n+S]
Tim Petersf6fb5012002-04-12 07:38:53 +00002098 Copies of FORBIDDENBYTE. Used to catch over- writes and reads.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002099p[2*S+n+S: 2*S+n+2*S]
Victor Stinner0507bf52013-07-07 02:05:46 +02002100 A serial number, incremented by 1 on each call to _PyMem_DebugMalloc
2101 and _PyMem_DebugRealloc.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002102 This is a big-endian size_t.
Tim Petersddea2082002-03-23 10:03:50 +00002103 If "bad memory" is detected later, the serial number gives an
2104 excellent way to set a breakpoint on the next run, to capture the
2105 instant at which this block was passed out.
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002106
2107If PYMEM_DEBUG_SERIALNO is not defined (default), the debug malloc only asks
2108for 3 * S extra bytes, and omits the last serialno field.
Tim Petersddea2082002-03-23 10:03:50 +00002109*/
2110
Victor Stinner0507bf52013-07-07 02:05:46 +02002111static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002112_PyMem_DebugRawAlloc(int use_calloc, void *ctx, size_t nbytes)
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00002113{
Victor Stinner0507bf52013-07-07 02:05:46 +02002114 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002115 uint8_t *p; /* base address of malloc'ed pad block */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002116 uint8_t *data; /* p + 2*SST == pointer to data bytes */
2117 uint8_t *tail; /* data + nbytes == pointer to tail pad bytes */
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002118 size_t total; /* nbytes + PYMEM_DEBUG_EXTRA_BYTES */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002119
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002120 if (nbytes > (size_t)PY_SSIZE_T_MAX - PYMEM_DEBUG_EXTRA_BYTES) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07002121 /* integer overflow: can't represent total as a Py_ssize_t */
2122 return NULL;
2123 }
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002124 total = nbytes + PYMEM_DEBUG_EXTRA_BYTES;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002125
2126 /* Layout: [SSSS IFFF CCCC...CCCC FFFF NNNN]
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002127 ^--- p ^--- data ^--- tail
Victor Stinner9ed83c42017-10-31 12:18:10 -07002128 S: nbytes stored as size_t
2129 I: API identifier (1 byte)
2130 F: Forbidden bytes (size_t - 1 bytes before, size_t bytes after)
2131 C: Clean bytes used later to store actual data
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002132 N: Serial number stored as size_t
2133
2134 If PYMEM_DEBUG_SERIALNO is not defined (default), the last NNNN field
2135 is omitted. */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002136
2137 if (use_calloc) {
2138 p = (uint8_t *)api->alloc.calloc(api->alloc.ctx, 1, total);
2139 }
2140 else {
2141 p = (uint8_t *)api->alloc.malloc(api->alloc.ctx, total);
2142 }
2143 if (p == NULL) {
2144 return NULL;
2145 }
2146 data = p + 2*SST;
Tim Petersddea2082002-03-23 10:03:50 +00002147
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002148#ifdef PYMEM_DEBUG_SERIALNO
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002149 bumpserialno();
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002150#endif
Tim Petersddea2082002-03-23 10:03:50 +00002151
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002152 /* at p, write size (SST bytes), id (1 byte), pad (SST-1 bytes) */
2153 write_size_t(p, nbytes);
Benjamin Peterson19517e42016-09-18 19:22:22 -07002154 p[SST] = (uint8_t)api->api_id;
Victor Stinner0507bf52013-07-07 02:05:46 +02002155 memset(p + SST + 1, FORBIDDENBYTE, SST-1);
Tim Petersddea2082002-03-23 10:03:50 +00002156
Victor Stinner9ed83c42017-10-31 12:18:10 -07002157 if (nbytes > 0 && !use_calloc) {
2158 memset(data, CLEANBYTE, nbytes);
2159 }
Tim Petersddea2082002-03-23 10:03:50 +00002160
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002161 /* at tail, write pad (SST bytes) and serialno (SST bytes) */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002162 tail = data + nbytes;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002163 memset(tail, FORBIDDENBYTE, SST);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002164#ifdef PYMEM_DEBUG_SERIALNO
Victor Stinner9e87e772017-11-24 12:09:24 +01002165 write_size_t(tail + SST, serialno);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002166#endif
Tim Petersddea2082002-03-23 10:03:50 +00002167
Victor Stinner9ed83c42017-10-31 12:18:10 -07002168 return data;
Tim Petersddea2082002-03-23 10:03:50 +00002169}
2170
Victor Stinnerdb067af2014-05-02 22:31:14 +02002171static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002172_PyMem_DebugRawMalloc(void *ctx, size_t nbytes)
Victor Stinnerdb067af2014-05-02 22:31:14 +02002173{
Victor Stinnerc4aec362016-03-14 22:26:53 +01002174 return _PyMem_DebugRawAlloc(0, ctx, nbytes);
Victor Stinnerdb067af2014-05-02 22:31:14 +02002175}
2176
2177static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002178_PyMem_DebugRawCalloc(void *ctx, size_t nelem, size_t elsize)
Victor Stinnerdb067af2014-05-02 22:31:14 +02002179{
2180 size_t nbytes;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002181 assert(elsize == 0 || nelem <= (size_t)PY_SSIZE_T_MAX / elsize);
Victor Stinnerdb067af2014-05-02 22:31:14 +02002182 nbytes = nelem * elsize;
Victor Stinnerc4aec362016-03-14 22:26:53 +01002183 return _PyMem_DebugRawAlloc(1, ctx, nbytes);
Victor Stinnerdb067af2014-05-02 22:31:14 +02002184}
2185
Victor Stinner9ed83c42017-10-31 12:18:10 -07002186
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002187/* 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 +00002188 particular, that the FORBIDDENBYTEs with the api ID are still intact).
Tim Petersf6fb5012002-04-12 07:38:53 +00002189 Then fills the original bytes with DEADBYTE.
Tim Petersddea2082002-03-23 10:03:50 +00002190 Then calls the underlying free.
2191*/
Victor Stinner0507bf52013-07-07 02:05:46 +02002192static void
Victor Stinnerc4aec362016-03-14 22:26:53 +01002193_PyMem_DebugRawFree(void *ctx, void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002194{
Victor Stinner9ed83c42017-10-31 12:18:10 -07002195 /* PyMem_Free(NULL) has no effect */
2196 if (p == NULL) {
2197 return;
2198 }
2199
Victor Stinner0507bf52013-07-07 02:05:46 +02002200 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Benjamin Peterson19517e42016-09-18 19:22:22 -07002201 uint8_t *q = (uint8_t *)p - 2*SST; /* address returned from malloc */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002202 size_t nbytes;
Tim Petersddea2082002-03-23 10:03:50 +00002203
Victor Stinner0507bf52013-07-07 02:05:46 +02002204 _PyMem_DebugCheckAddress(api->api_id, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002205 nbytes = read_size_t(q);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002206 nbytes += PYMEM_DEBUG_EXTRA_BYTES;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002207 memset(q, DEADBYTE, nbytes);
Victor Stinner0507bf52013-07-07 02:05:46 +02002208 api->alloc.free(api->alloc.ctx, q);
Tim Petersddea2082002-03-23 10:03:50 +00002209}
2210
Victor Stinner9ed83c42017-10-31 12:18:10 -07002211
Victor Stinner0507bf52013-07-07 02:05:46 +02002212static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002213_PyMem_DebugRawRealloc(void *ctx, void *p, size_t nbytes)
Tim Petersddea2082002-03-23 10:03:50 +00002214{
Victor Stinner9ed83c42017-10-31 12:18:10 -07002215 if (p == NULL) {
2216 return _PyMem_DebugRawAlloc(0, ctx, nbytes);
2217 }
2218
Victor Stinner0507bf52013-07-07 02:05:46 +02002219 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002220 uint8_t *head; /* base address of malloc'ed pad block */
2221 uint8_t *data; /* pointer to data bytes */
2222 uint8_t *r;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002223 uint8_t *tail; /* data + nbytes == pointer to tail pad bytes */
2224 size_t total; /* 2 * SST + nbytes + 2 * SST */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002225 size_t original_nbytes;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002226#define ERASED_SIZE 64
2227 uint8_t save[2*ERASED_SIZE]; /* A copy of erased bytes. */
Tim Petersddea2082002-03-23 10:03:50 +00002228
Victor Stinner0507bf52013-07-07 02:05:46 +02002229 _PyMem_DebugCheckAddress(api->api_id, p);
Victor Stinner9ed83c42017-10-31 12:18:10 -07002230
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002231 data = (uint8_t *)p;
2232 head = data - 2*SST;
2233 original_nbytes = read_size_t(head);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002234 if (nbytes > (size_t)PY_SSIZE_T_MAX - PYMEM_DEBUG_EXTRA_BYTES) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07002235 /* integer overflow: can't represent total as a Py_ssize_t */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002236 return NULL;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002237 }
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002238 total = nbytes + PYMEM_DEBUG_EXTRA_BYTES;
Tim Petersddea2082002-03-23 10:03:50 +00002239
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002240 tail = data + original_nbytes;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002241#ifdef PYMEM_DEBUG_SERIALNO
2242 size_t block_serialno = read_size_t(tail + SST);
2243#endif
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002244 /* Mark the header, the trailer, ERASED_SIZE bytes at the begin and
2245 ERASED_SIZE bytes at the end as dead and save the copy of erased bytes.
2246 */
2247 if (original_nbytes <= sizeof(save)) {
2248 memcpy(save, data, original_nbytes);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002249 memset(data - 2 * SST, DEADBYTE,
2250 original_nbytes + PYMEM_DEBUG_EXTRA_BYTES);
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002251 }
2252 else {
2253 memcpy(save, data, ERASED_SIZE);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002254 memset(head, DEADBYTE, ERASED_SIZE + 2 * SST);
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002255 memcpy(&save[ERASED_SIZE], tail - ERASED_SIZE, ERASED_SIZE);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002256 memset(tail - ERASED_SIZE, DEADBYTE,
2257 ERASED_SIZE + PYMEM_DEBUG_EXTRA_BYTES - 2 * SST);
Victor Stinner9ed83c42017-10-31 12:18:10 -07002258 }
Tim Peters85cc1c42002-04-12 08:52:50 +00002259
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002260 /* Resize and add decorations. */
2261 r = (uint8_t *)api->alloc.realloc(api->alloc.ctx, head, total);
2262 if (r == NULL) {
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002263 /* if realloc() failed: rewrite header and footer which have
2264 just been erased */
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002265 nbytes = original_nbytes;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002266 }
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002267 else {
2268 head = r;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002269#ifdef PYMEM_DEBUG_SERIALNO
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002270 bumpserialno();
Victor Stinner9e87e772017-11-24 12:09:24 +01002271 block_serialno = serialno;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002272#endif
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002273 }
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002274 data = head + 2*SST;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002275
2276 write_size_t(head, nbytes);
2277 head[SST] = (uint8_t)api->api_id;
2278 memset(head + SST + 1, FORBIDDENBYTE, SST-1);
Victor Stinnerc4266362013-07-09 00:44:43 +02002279
Victor Stinner9ed83c42017-10-31 12:18:10 -07002280 tail = data + nbytes;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002281 memset(tail, FORBIDDENBYTE, SST);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002282#ifdef PYMEM_DEBUG_SERIALNO
Victor Stinner9e87e772017-11-24 12:09:24 +01002283 write_size_t(tail + SST, block_serialno);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002284#endif
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002285
2286 /* Restore saved bytes. */
2287 if (original_nbytes <= sizeof(save)) {
2288 memcpy(data, save, Py_MIN(nbytes, original_nbytes));
2289 }
2290 else {
2291 size_t i = original_nbytes - ERASED_SIZE;
2292 memcpy(data, save, Py_MIN(nbytes, ERASED_SIZE));
2293 if (nbytes > i) {
2294 memcpy(data + i, &save[ERASED_SIZE],
2295 Py_MIN(nbytes - i, ERASED_SIZE));
2296 }
2297 }
2298
2299 if (r == NULL) {
2300 return NULL;
2301 }
Tim Peters85cc1c42002-04-12 08:52:50 +00002302
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002303 if (nbytes > original_nbytes) {
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002304 /* growing: mark new extra memory clean */
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002305 memset(data + original_nbytes, CLEANBYTE, nbytes - original_nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002306 }
Tim Peters85cc1c42002-04-12 08:52:50 +00002307
Victor Stinner9ed83c42017-10-31 12:18:10 -07002308 return data;
Tim Petersddea2082002-03-23 10:03:50 +00002309}
2310
Victor Stinnerc4aec362016-03-14 22:26:53 +01002311static void
2312_PyMem_DebugCheckGIL(void)
2313{
Victor Stinnerc4aec362016-03-14 22:26:53 +01002314 if (!PyGILState_Check())
2315 Py_FatalError("Python memory allocator called "
2316 "without holding the GIL");
Victor Stinnerc4aec362016-03-14 22:26:53 +01002317}
2318
2319static void *
2320_PyMem_DebugMalloc(void *ctx, size_t nbytes)
2321{
2322 _PyMem_DebugCheckGIL();
2323 return _PyMem_DebugRawMalloc(ctx, nbytes);
2324}
2325
2326static void *
2327_PyMem_DebugCalloc(void *ctx, size_t nelem, size_t elsize)
2328{
2329 _PyMem_DebugCheckGIL();
2330 return _PyMem_DebugRawCalloc(ctx, nelem, elsize);
2331}
2332
Victor Stinner9ed83c42017-10-31 12:18:10 -07002333
Victor Stinnerc4aec362016-03-14 22:26:53 +01002334static void
2335_PyMem_DebugFree(void *ctx, void *ptr)
2336{
2337 _PyMem_DebugCheckGIL();
Victor Stinner0aed3a42016-03-23 11:30:43 +01002338 _PyMem_DebugRawFree(ctx, ptr);
Victor Stinnerc4aec362016-03-14 22:26:53 +01002339}
2340
Victor Stinner9ed83c42017-10-31 12:18:10 -07002341
Victor Stinnerc4aec362016-03-14 22:26:53 +01002342static void *
2343_PyMem_DebugRealloc(void *ctx, void *ptr, size_t nbytes)
2344{
2345 _PyMem_DebugCheckGIL();
2346 return _PyMem_DebugRawRealloc(ctx, ptr, nbytes);
2347}
2348
Tim Peters7ccfadf2002-04-01 06:04:21 +00002349/* Check the forbidden bytes on both ends of the memory allocated for p.
Neil Schemenauerd2560cd2002-04-12 03:10:20 +00002350 * If anything is wrong, print info to stderr via _PyObject_DebugDumpAddress,
Tim Peters7ccfadf2002-04-01 06:04:21 +00002351 * and call Py_FatalError to kill the program.
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00002352 * The API id, is also checked.
Tim Peters7ccfadf2002-04-01 06:04:21 +00002353 */
Victor Stinner0507bf52013-07-07 02:05:46 +02002354static void
2355_PyMem_DebugCheckAddress(char api, const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002356{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002357 const uint8_t *q = (const uint8_t *)p;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002358 char msgbuf[64];
Serhiy Storchakae2f92de2017-11-11 13:06:26 +02002359 const char *msg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002360 size_t nbytes;
Benjamin Peterson19517e42016-09-18 19:22:22 -07002361 const uint8_t *tail;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002362 int i;
2363 char id;
Tim Petersddea2082002-03-23 10:03:50 +00002364
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002365 if (p == NULL) {
2366 msg = "didn't expect a NULL pointer";
2367 goto error;
2368 }
Tim Petersddea2082002-03-23 10:03:50 +00002369
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002370 /* Check the API id */
2371 id = (char)q[-SST];
2372 if (id != api) {
2373 msg = msgbuf;
Serhiy Storchakae2f92de2017-11-11 13:06:26 +02002374 snprintf(msgbuf, sizeof(msgbuf), "bad ID: Allocated using API '%c', verified using API '%c'", id, api);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002375 msgbuf[sizeof(msgbuf)-1] = 0;
2376 goto error;
2377 }
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00002378
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002379 /* Check the stuff at the start of p first: if there's underwrite
2380 * corruption, the number-of-bytes field may be nuts, and checking
2381 * the tail could lead to a segfault then.
2382 */
2383 for (i = SST-1; i >= 1; --i) {
2384 if (*(q-i) != FORBIDDENBYTE) {
2385 msg = "bad leading pad byte";
2386 goto error;
2387 }
2388 }
Tim Petersddea2082002-03-23 10:03:50 +00002389
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002390 nbytes = read_size_t(q - 2*SST);
2391 tail = q + nbytes;
2392 for (i = 0; i < SST; ++i) {
2393 if (tail[i] != FORBIDDENBYTE) {
2394 msg = "bad trailing pad byte";
2395 goto error;
2396 }
2397 }
Tim Petersddea2082002-03-23 10:03:50 +00002398
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002399 return;
Tim Petersd1139e02002-03-28 07:32:11 +00002400
2401error:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002402 _PyObject_DebugDumpAddress(p);
2403 Py_FatalError(msg);
Tim Petersddea2082002-03-23 10:03:50 +00002404}
2405
Tim Peters7ccfadf2002-04-01 06:04:21 +00002406/* Display info to stderr about the memory block at p. */
Victor Stinner0507bf52013-07-07 02:05:46 +02002407static void
Neil Schemenauerd2560cd2002-04-12 03:10:20 +00002408_PyObject_DebugDumpAddress(const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002409{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002410 const uint8_t *q = (const uint8_t *)p;
2411 const uint8_t *tail;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002412 size_t nbytes;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002413 int i;
2414 int ok;
2415 char id;
Tim Petersddea2082002-03-23 10:03:50 +00002416
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002417 fprintf(stderr, "Debug memory block at address p=%p:", p);
2418 if (p == NULL) {
2419 fprintf(stderr, "\n");
2420 return;
2421 }
2422 id = (char)q[-SST];
2423 fprintf(stderr, " API '%c'\n", id);
Tim Petersddea2082002-03-23 10:03:50 +00002424
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002425 nbytes = read_size_t(q - 2*SST);
2426 fprintf(stderr, " %" PY_FORMAT_SIZE_T "u bytes originally "
2427 "requested\n", nbytes);
Tim Petersddea2082002-03-23 10:03:50 +00002428
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002429 /* In case this is nuts, check the leading pad bytes first. */
2430 fprintf(stderr, " The %d pad bytes at p-%d are ", SST-1, SST-1);
2431 ok = 1;
2432 for (i = 1; i <= SST-1; ++i) {
2433 if (*(q-i) != FORBIDDENBYTE) {
2434 ok = 0;
2435 break;
2436 }
2437 }
2438 if (ok)
2439 fputs("FORBIDDENBYTE, as expected.\n", stderr);
2440 else {
2441 fprintf(stderr, "not all FORBIDDENBYTE (0x%02x):\n",
2442 FORBIDDENBYTE);
2443 for (i = SST-1; i >= 1; --i) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07002444 const uint8_t byte = *(q-i);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002445 fprintf(stderr, " at p-%d: 0x%02x", i, byte);
2446 if (byte != FORBIDDENBYTE)
2447 fputs(" *** OUCH", stderr);
2448 fputc('\n', stderr);
2449 }
Tim Peters449b5a82002-04-28 06:14:45 +00002450
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002451 fputs(" Because memory is corrupted at the start, the "
2452 "count of bytes requested\n"
2453 " may be bogus, and checking the trailing pad "
2454 "bytes may segfault.\n", stderr);
2455 }
Tim Petersddea2082002-03-23 10:03:50 +00002456
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002457 tail = q + nbytes;
Zackery Spytz1a2252e2019-05-06 10:56:51 -06002458 fprintf(stderr, " The %d pad bytes at tail=%p are ", SST, (void *)tail);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002459 ok = 1;
2460 for (i = 0; i < SST; ++i) {
2461 if (tail[i] != FORBIDDENBYTE) {
2462 ok = 0;
2463 break;
2464 }
2465 }
2466 if (ok)
2467 fputs("FORBIDDENBYTE, as expected.\n", stderr);
2468 else {
2469 fprintf(stderr, "not all FORBIDDENBYTE (0x%02x):\n",
Stefan Krah735bb122010-11-26 10:54:09 +00002470 FORBIDDENBYTE);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002471 for (i = 0; i < SST; ++i) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07002472 const uint8_t byte = tail[i];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002473 fprintf(stderr, " at tail+%d: 0x%02x",
Stefan Krah735bb122010-11-26 10:54:09 +00002474 i, byte);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002475 if (byte != FORBIDDENBYTE)
2476 fputs(" *** OUCH", stderr);
2477 fputc('\n', stderr);
2478 }
2479 }
Tim Petersddea2082002-03-23 10:03:50 +00002480
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002481#ifdef PYMEM_DEBUG_SERIALNO
2482 size_t serial = read_size_t(tail + SST);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002483 fprintf(stderr, " The block was made by call #%" PY_FORMAT_SIZE_T
2484 "u to debug malloc/realloc.\n", serial);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002485#endif
Tim Petersddea2082002-03-23 10:03:50 +00002486
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002487 if (nbytes > 0) {
2488 i = 0;
2489 fputs(" Data at p:", stderr);
2490 /* print up to 8 bytes at the start */
2491 while (q < tail && i < 8) {
2492 fprintf(stderr, " %02x", *q);
2493 ++i;
2494 ++q;
2495 }
2496 /* and up to 8 at the end */
2497 if (q < tail) {
2498 if (tail - q > 8) {
2499 fputs(" ...", stderr);
2500 q = tail - 8;
2501 }
2502 while (q < tail) {
2503 fprintf(stderr, " %02x", *q);
2504 ++q;
2505 }
2506 }
2507 fputc('\n', stderr);
2508 }
Victor Stinner0611c262016-03-15 22:22:13 +01002509 fputc('\n', stderr);
2510
2511 fflush(stderr);
2512 _PyMem_DumpTraceback(fileno(stderr), p);
Tim Petersddea2082002-03-23 10:03:50 +00002513}
2514
David Malcolm49526f42012-06-22 14:55:41 -04002515
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002516static size_t
David Malcolm49526f42012-06-22 14:55:41 -04002517printone(FILE *out, const char* msg, size_t value)
Tim Peters16bcb6b2002-04-05 05:45:31 +00002518{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002519 int i, k;
2520 char buf[100];
2521 size_t origvalue = value;
Tim Peters16bcb6b2002-04-05 05:45:31 +00002522
David Malcolm49526f42012-06-22 14:55:41 -04002523 fputs(msg, out);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002524 for (i = (int)strlen(msg); i < 35; ++i)
David Malcolm49526f42012-06-22 14:55:41 -04002525 fputc(' ', out);
2526 fputc('=', out);
Tim Peters49f26812002-04-06 01:45:35 +00002527
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002528 /* Write the value with commas. */
2529 i = 22;
2530 buf[i--] = '\0';
2531 buf[i--] = '\n';
2532 k = 3;
2533 do {
2534 size_t nextvalue = value / 10;
Benjamin Peterson2dba1ee2013-02-20 16:54:30 -05002535 unsigned int digit = (unsigned int)(value - nextvalue * 10);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002536 value = nextvalue;
2537 buf[i--] = (char)(digit + '0');
2538 --k;
2539 if (k == 0 && value && i >= 0) {
2540 k = 3;
2541 buf[i--] = ',';
2542 }
2543 } while (value && i >= 0);
Tim Peters49f26812002-04-06 01:45:35 +00002544
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002545 while (i >= 0)
2546 buf[i--] = ' ';
David Malcolm49526f42012-06-22 14:55:41 -04002547 fputs(buf, out);
Tim Peters49f26812002-04-06 01:45:35 +00002548
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002549 return origvalue;
Tim Peters16bcb6b2002-04-05 05:45:31 +00002550}
2551
David Malcolm49526f42012-06-22 14:55:41 -04002552void
2553_PyDebugAllocatorStats(FILE *out,
2554 const char *block_name, int num_blocks, size_t sizeof_block)
2555{
2556 char buf1[128];
2557 char buf2[128];
2558 PyOS_snprintf(buf1, sizeof(buf1),
Tim Peterseaa3bcc2013-09-05 22:57:04 -05002559 "%d %ss * %" PY_FORMAT_SIZE_T "d bytes each",
David Malcolm49526f42012-06-22 14:55:41 -04002560 num_blocks, block_name, sizeof_block);
2561 PyOS_snprintf(buf2, sizeof(buf2),
2562 "%48s ", buf1);
2563 (void)printone(out, buf2, num_blocks * sizeof_block);
2564}
2565
Victor Stinner34be807c2016-03-14 12:04:26 +01002566
David Malcolm49526f42012-06-22 14:55:41 -04002567#ifdef WITH_PYMALLOC
2568
Victor Stinner34be807c2016-03-14 12:04:26 +01002569#ifdef Py_DEBUG
2570/* Is target in the list? The list is traversed via the nextpool pointers.
2571 * The list may be NULL-terminated, or circular. Return 1 if target is in
2572 * list, else 0.
2573 */
2574static int
2575pool_is_in_list(const poolp target, poolp list)
2576{
2577 poolp origlist = list;
2578 assert(target != NULL);
2579 if (list == NULL)
2580 return 0;
2581 do {
2582 if (target == list)
2583 return 1;
2584 list = list->nextpool;
2585 } while (list != NULL && list != origlist);
2586 return 0;
2587}
2588#endif
2589
David Malcolm49526f42012-06-22 14:55:41 -04002590/* Print summary info to "out" about the state of pymalloc's structures.
Tim Peters08d82152002-04-18 22:25:03 +00002591 * In Py_DEBUG mode, also perform some expensive internal consistency
2592 * checks.
Victor Stinner6bf992a2017-12-06 17:26:10 +01002593 *
2594 * Return 0 if the memory debug hooks are not installed or no statistics was
Leo Ariasc3d95082018-02-03 18:36:10 -06002595 * written into out, return 1 otherwise.
Tim Peters08d82152002-04-18 22:25:03 +00002596 */
Victor Stinner6bf992a2017-12-06 17:26:10 +01002597int
David Malcolm49526f42012-06-22 14:55:41 -04002598_PyObject_DebugMallocStats(FILE *out)
Tim Peters7ccfadf2002-04-01 06:04:21 +00002599{
Victor Stinner6bf992a2017-12-06 17:26:10 +01002600 if (!_PyMem_PymallocEnabled()) {
2601 return 0;
2602 }
2603
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002604 uint i;
2605 const uint numclasses = SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT;
2606 /* # of pools, allocated blocks, and free blocks per class index */
2607 size_t numpools[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
2608 size_t numblocks[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
2609 size_t numfreeblocks[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
2610 /* total # of allocated bytes in used and full pools */
2611 size_t allocated_bytes = 0;
2612 /* total # of available bytes in used pools */
2613 size_t available_bytes = 0;
2614 /* # of free pools + pools not yet carved out of current arena */
2615 uint numfreepools = 0;
2616 /* # of bytes for arena alignment padding */
2617 size_t arena_alignment = 0;
2618 /* # of bytes in used and full pools used for pool_headers */
2619 size_t pool_header_bytes = 0;
2620 /* # of bytes in used and full pools wasted due to quantization,
2621 * i.e. the necessarily leftover space at the ends of used and
2622 * full pools.
2623 */
2624 size_t quantization = 0;
2625 /* # of arenas actually allocated. */
2626 size_t narenas = 0;
2627 /* running total -- should equal narenas * ARENA_SIZE */
2628 size_t total;
2629 char buf[128];
Tim Peters7ccfadf2002-04-01 06:04:21 +00002630
David Malcolm49526f42012-06-22 14:55:41 -04002631 fprintf(out, "Small block threshold = %d, in %u size classes.\n",
Stefan Krah735bb122010-11-26 10:54:09 +00002632 SMALL_REQUEST_THRESHOLD, numclasses);
Tim Peters7ccfadf2002-04-01 06:04:21 +00002633
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002634 for (i = 0; i < numclasses; ++i)
2635 numpools[i] = numblocks[i] = numfreeblocks[i] = 0;
Tim Peters7ccfadf2002-04-01 06:04:21 +00002636
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002637 /* Because full pools aren't linked to from anything, it's easiest
2638 * to march over all the arenas. If we're lucky, most of the memory
2639 * will be living in full pools -- would be a shame to miss them.
2640 */
Victor Stinner9e87e772017-11-24 12:09:24 +01002641 for (i = 0; i < maxarenas; ++i) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002642 uint j;
Victor Stinner9e87e772017-11-24 12:09:24 +01002643 uintptr_t base = arenas[i].address;
Thomas Woutersa9773292006-04-21 09:43:23 +00002644
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002645 /* Skip arenas which are not allocated. */
Victor Stinner9e87e772017-11-24 12:09:24 +01002646 if (arenas[i].address == (uintptr_t)NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002647 continue;
2648 narenas += 1;
Thomas Woutersa9773292006-04-21 09:43:23 +00002649
Victor Stinner9e87e772017-11-24 12:09:24 +01002650 numfreepools += arenas[i].nfreepools;
Tim Peters7ccfadf2002-04-01 06:04:21 +00002651
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002652 /* round up to pool alignment */
Benjamin Peterson5d4b09c2016-09-18 19:24:52 -07002653 if (base & (uintptr_t)POOL_SIZE_MASK) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002654 arena_alignment += POOL_SIZE;
Benjamin Peterson5d4b09c2016-09-18 19:24:52 -07002655 base &= ~(uintptr_t)POOL_SIZE_MASK;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002656 base += POOL_SIZE;
2657 }
Tim Peters7ccfadf2002-04-01 06:04:21 +00002658
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002659 /* visit every pool in the arena */
Victor Stinner9e87e772017-11-24 12:09:24 +01002660 assert(base <= (uintptr_t) arenas[i].pool_address);
2661 for (j = 0; base < (uintptr_t) arenas[i].pool_address;
Benjamin Peterson19517e42016-09-18 19:22:22 -07002662 ++j, base += POOL_SIZE) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002663 poolp p = (poolp)base;
2664 const uint sz = p->szidx;
2665 uint freeblocks;
Tim Peters08d82152002-04-18 22:25:03 +00002666
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002667 if (p->ref.count == 0) {
2668 /* currently unused */
Victor Stinner34be807c2016-03-14 12:04:26 +01002669#ifdef Py_DEBUG
Victor Stinner9e87e772017-11-24 12:09:24 +01002670 assert(pool_is_in_list(p, arenas[i].freepools));
Victor Stinner34be807c2016-03-14 12:04:26 +01002671#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002672 continue;
2673 }
2674 ++numpools[sz];
2675 numblocks[sz] += p->ref.count;
2676 freeblocks = NUMBLOCKS(sz) - p->ref.count;
2677 numfreeblocks[sz] += freeblocks;
Tim Peters08d82152002-04-18 22:25:03 +00002678#ifdef Py_DEBUG
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002679 if (freeblocks > 0)
Victor Stinner9e87e772017-11-24 12:09:24 +01002680 assert(pool_is_in_list(p, usedpools[sz + sz]));
Tim Peters08d82152002-04-18 22:25:03 +00002681#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002682 }
2683 }
Victor Stinner9e87e772017-11-24 12:09:24 +01002684 assert(narenas == narenas_currently_allocated);
Tim Peters7ccfadf2002-04-01 06:04:21 +00002685
David Malcolm49526f42012-06-22 14:55:41 -04002686 fputc('\n', out);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002687 fputs("class size num pools blocks in use avail blocks\n"
2688 "----- ---- --------- ------------- ------------\n",
David Malcolm49526f42012-06-22 14:55:41 -04002689 out);
Tim Peters7ccfadf2002-04-01 06:04:21 +00002690
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002691 for (i = 0; i < numclasses; ++i) {
2692 size_t p = numpools[i];
2693 size_t b = numblocks[i];
2694 size_t f = numfreeblocks[i];
2695 uint size = INDEX2SIZE(i);
2696 if (p == 0) {
2697 assert(b == 0 && f == 0);
2698 continue;
2699 }
David Malcolm49526f42012-06-22 14:55:41 -04002700 fprintf(out, "%5u %6u "
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002701 "%11" PY_FORMAT_SIZE_T "u "
2702 "%15" PY_FORMAT_SIZE_T "u "
2703 "%13" PY_FORMAT_SIZE_T "u\n",
Stefan Krah735bb122010-11-26 10:54:09 +00002704 i, size, p, b, f);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002705 allocated_bytes += b * size;
2706 available_bytes += f * size;
2707 pool_header_bytes += p * POOL_OVERHEAD;
2708 quantization += p * ((POOL_SIZE - POOL_OVERHEAD) % size);
2709 }
David Malcolm49526f42012-06-22 14:55:41 -04002710 fputc('\n', out);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002711#ifdef PYMEM_DEBUG_SERIALNO
2712 if (_PyMem_DebugEnabled()) {
Victor Stinner9e87e772017-11-24 12:09:24 +01002713 (void)printone(out, "# times object malloc called", serialno);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002714 }
2715#endif
Victor Stinner9e87e772017-11-24 12:09:24 +01002716 (void)printone(out, "# arenas allocated total", ntimes_arena_allocated);
2717 (void)printone(out, "# arenas reclaimed", ntimes_arena_allocated - narenas);
2718 (void)printone(out, "# arenas highwater mark", narenas_highwater);
David Malcolm49526f42012-06-22 14:55:41 -04002719 (void)printone(out, "# arenas allocated current", narenas);
Thomas Woutersa9773292006-04-21 09:43:23 +00002720
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002721 PyOS_snprintf(buf, sizeof(buf),
2722 "%" PY_FORMAT_SIZE_T "u arenas * %d bytes/arena",
2723 narenas, ARENA_SIZE);
David Malcolm49526f42012-06-22 14:55:41 -04002724 (void)printone(out, buf, narenas * ARENA_SIZE);
Tim Peters16bcb6b2002-04-05 05:45:31 +00002725
David Malcolm49526f42012-06-22 14:55:41 -04002726 fputc('\n', out);
Tim Peters16bcb6b2002-04-05 05:45:31 +00002727
David Malcolm49526f42012-06-22 14:55:41 -04002728 total = printone(out, "# bytes in allocated blocks", allocated_bytes);
2729 total += printone(out, "# bytes in available blocks", available_bytes);
Tim Peters49f26812002-04-06 01:45:35 +00002730
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002731 PyOS_snprintf(buf, sizeof(buf),
2732 "%u unused pools * %d bytes", numfreepools, POOL_SIZE);
David Malcolm49526f42012-06-22 14:55:41 -04002733 total += printone(out, buf, (size_t)numfreepools * POOL_SIZE);
Tim Peters16bcb6b2002-04-05 05:45:31 +00002734
David Malcolm49526f42012-06-22 14:55:41 -04002735 total += printone(out, "# bytes lost to pool headers", pool_header_bytes);
2736 total += printone(out, "# bytes lost to quantization", quantization);
2737 total += printone(out, "# bytes lost to arena alignment", arena_alignment);
2738 (void)printone(out, "Total", total);
Victor Stinner6bf992a2017-12-06 17:26:10 +01002739 return 1;
Tim Peters7ccfadf2002-04-01 06:04:21 +00002740}
2741
David Malcolm49526f42012-06-22 14:55:41 -04002742#endif /* #ifdef WITH_PYMALLOC */