blob: bd6480a625e8a845fdc93b40f79a0c23eec22087 [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
Miss Islington (bot)364a1d32019-08-14 03:08:46 -070048 // TSAN is supported since GCC 5.1, but __SANITIZE_THREAD__ macro
Alexey Izbyshevfd3a91c2018-11-12 02:14:51 +030049 // is provided only since GCC 7.
Miss Islington (bot)364a1d32019-08-14 03:08:46 -070050# if __GNUC__ > 5 || (__GNUC__ == 5 && __GNUC_MINOR__ >= 1)
Alexey Izbyshevfd3a91c2018-11-12 02:14:51 +030051# 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 Stinner30e5aff2019-08-20 13:44:32 +01001418 Return a pointer to newly allocated memory if pymalloc allocated memory.
Victor Stinner9ed83c42017-10-31 12:18:10 -07001419
Victor Stinner30e5aff2019-08-20 13:44:32 +01001420 Return NULL if pymalloc failed to allocate the memory block: on bigger
Victor Stinner9ed83c42017-10-31 12:18:10 -07001421 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. */
Victor Stinner30e5aff2019-08-20 13:44:32 +01001423static void*
1424pymalloc_alloc(void *ctx, 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)) {
Victor Stinner30e5aff2019-08-20 13:44:32 +01001436 return NULL;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001437 }
Benjamin Peterson05159c42009-12-03 03:01:27 +00001438#endif
1439
Victor Stinner9ed83c42017-10-31 12:18:10 -07001440 if (nbytes == 0) {
Victor Stinner30e5aff2019-08-20 13:44:32 +01001441 return NULL;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001442 }
1443 if (nbytes > SMALL_REQUEST_THRESHOLD) {
Victor Stinner30e5aff2019-08-20 13:44:32 +01001444 return NULL;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001445 }
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);
Victor Stinner30e5aff2019-08-20 13:44:32 +01001612 return (void *)bp;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001613
1614failed:
Victor Stinner30e5aff2019-08-20 13:44:32 +01001615 return NULL;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001616}
1617
Victor Stinner9ed83c42017-10-31 12:18:10 -07001618
Victor Stinnerdb067af2014-05-02 22:31:14 +02001619static void *
1620_PyObject_Malloc(void *ctx, size_t nbytes)
1621{
Victor Stinner30e5aff2019-08-20 13:44:32 +01001622 void* ptr = pymalloc_alloc(ctx, nbytes);
1623 if (ptr != NULL) {
Victor Stinner9e87e772017-11-24 12:09:24 +01001624 _Py_AllocatedBlocks++;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001625 return ptr;
1626 }
1627
1628 ptr = PyMem_RawMalloc(nbytes);
1629 if (ptr != NULL) {
Victor Stinner9e87e772017-11-24 12:09:24 +01001630 _Py_AllocatedBlocks++;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001631 }
1632 return ptr;
Victor Stinnerdb067af2014-05-02 22:31:14 +02001633}
1634
Victor Stinner9ed83c42017-10-31 12:18:10 -07001635
Victor Stinnerdb067af2014-05-02 22:31:14 +02001636static void *
1637_PyObject_Calloc(void *ctx, size_t nelem, size_t elsize)
1638{
Victor Stinner9ed83c42017-10-31 12:18:10 -07001639 assert(elsize == 0 || nelem <= (size_t)PY_SSIZE_T_MAX / elsize);
1640 size_t nbytes = nelem * elsize;
1641
Victor Stinner30e5aff2019-08-20 13:44:32 +01001642 void *ptr = pymalloc_alloc(ctx, nbytes);
1643 if (ptr != NULL) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07001644 memset(ptr, 0, nbytes);
Victor Stinner9e87e772017-11-24 12:09:24 +01001645 _Py_AllocatedBlocks++;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001646 return ptr;
1647 }
1648
1649 ptr = PyMem_RawCalloc(nelem, elsize);
1650 if (ptr != NULL) {
Victor Stinner9e87e772017-11-24 12:09:24 +01001651 _Py_AllocatedBlocks++;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001652 }
1653 return ptr;
Victor Stinnerdb067af2014-05-02 22:31:14 +02001654}
1655
Neil Schemenauera35c6882001-02-27 04:45:05 +00001656
Victor Stinner9ed83c42017-10-31 12:18:10 -07001657/* Free a memory block allocated by pymalloc_alloc().
1658 Return 1 if it was freed.
1659 Return 0 if the block was not allocated by pymalloc_alloc(). */
1660static int
1661pymalloc_free(void *ctx, void *p)
Neil Schemenauera35c6882001-02-27 04:45:05 +00001662{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001663 poolp pool;
Victor Stinner9e87e772017-11-24 12:09:24 +01001664 block *lastfree;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001665 poolp next, prev;
1666 uint size;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001667
Victor Stinner9ed83c42017-10-31 12:18:10 -07001668 assert(p != NULL);
Antoine Pitrouf9d0b122012-12-09 14:28:26 +01001669
Benjamin Peterson05159c42009-12-03 03:01:27 +00001670#ifdef WITH_VALGRIND
Victor Stinner9ed83c42017-10-31 12:18:10 -07001671 if (UNLIKELY(running_on_valgrind > 0)) {
1672 return 0;
1673 }
Benjamin Peterson05159c42009-12-03 03:01:27 +00001674#endif
1675
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001676 pool = POOL_ADDR(p);
Victor Stinner9ed83c42017-10-31 12:18:10 -07001677 if (!address_in_range(p, pool)) {
1678 return 0;
1679 }
1680 /* We allocated this address. */
Thomas Woutersa9773292006-04-21 09:43:23 +00001681
Victor Stinner9ed83c42017-10-31 12:18:10 -07001682 /* Link p to the start of the pool's freeblock list. Since
1683 * the pool had at least the p block outstanding, the pool
1684 * wasn't empty (so it's already in a usedpools[] list, or
1685 * was full and is in no list -- it's not in the freeblocks
1686 * list in any case).
1687 */
1688 assert(pool->ref.count > 0); /* else it was empty */
Victor Stinner9e87e772017-11-24 12:09:24 +01001689 *(block **)p = lastfree = pool->freeblock;
1690 pool->freeblock = (block *)p;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001691 if (!lastfree) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001692 /* Pool was full, so doesn't currently live in any list:
1693 * link it to the front of the appropriate usedpools[] list.
1694 * This mimics LRU pool usage for new allocations and
1695 * targets optimal filling when several pools contain
1696 * blocks of the same size class.
1697 */
1698 --pool->ref.count;
1699 assert(pool->ref.count > 0); /* else the pool is empty */
1700 size = pool->szidx;
Victor Stinner9e87e772017-11-24 12:09:24 +01001701 next = usedpools[size + size];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001702 prev = next->prevpool;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001703
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001704 /* insert pool before next: prev <-> pool <-> next */
1705 pool->nextpool = next;
1706 pool->prevpool = prev;
1707 next->prevpool = pool;
1708 prev->nextpool = pool;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001709 goto success;
1710 }
1711
1712 struct arena_object* ao;
1713 uint nf; /* ao->nfreepools */
1714
1715 /* freeblock wasn't NULL, so the pool wasn't full,
1716 * and the pool is in a usedpools[] list.
1717 */
1718 if (--pool->ref.count != 0) {
1719 /* pool isn't empty: leave it in usedpools */
1720 goto success;
1721 }
1722 /* Pool is now empty: unlink from usedpools, and
1723 * link to the front of freepools. This ensures that
1724 * previously freed pools will be allocated later
1725 * (being not referenced, they are perhaps paged out).
1726 */
1727 next = pool->nextpool;
1728 prev = pool->prevpool;
1729 next->prevpool = prev;
1730 prev->nextpool = next;
1731
1732 /* Link the pool to freepools. This is a singly-linked
1733 * list, and pool->prevpool isn't used there.
1734 */
Victor Stinner9e87e772017-11-24 12:09:24 +01001735 ao = &arenas[pool->arenaindex];
Victor Stinner9ed83c42017-10-31 12:18:10 -07001736 pool->nextpool = ao->freepools;
1737 ao->freepools = pool;
Tim Peters1c263e32019-05-31 21:16:04 -05001738 nf = ao->nfreepools;
1739 /* If this is the rightmost arena with this number of free pools,
1740 * nfp2lasta[nf] needs to change. Caution: if nf is 0, there
1741 * are no arenas in usable_arenas with that value.
1742 */
1743 struct arena_object* lastnf = nfp2lasta[nf];
Victor Stinner30e5aff2019-08-20 13:44:32 +01001744 assert((nf == 0 && lastnf == NULL) ||
1745 (nf > 0 &&
Tim Peters1c263e32019-05-31 21:16:04 -05001746 lastnf != NULL &&
1747 lastnf->nfreepools == nf &&
1748 (lastnf->nextarena == NULL ||
1749 nf < lastnf->nextarena->nfreepools)));
1750 if (lastnf == ao) { /* it is the rightmost */
1751 struct arena_object* p = ao->prevarena;
1752 nfp2lasta[nf] = (p != NULL && p->nfreepools == nf) ? p : NULL;
1753 }
1754 ao->nfreepools = ++nf;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001755
1756 /* All the rest is arena management. We just freed
1757 * a pool, and there are 4 cases for arena mgmt:
1758 * 1. If all the pools are free, return the arena to
1759 * the system free().
1760 * 2. If this is the only free pool in the arena,
1761 * add the arena back to the `usable_arenas` list.
1762 * 3. If the "next" arena has a smaller count of free
1763 * pools, we have to "slide this arena right" to
1764 * restore that usable_arenas is sorted in order of
1765 * nfreepools.
1766 * 4. Else there's nothing more to do.
1767 */
1768 if (nf == ao->ntotalpools) {
1769 /* Case 1. First unlink ao from usable_arenas.
1770 */
1771 assert(ao->prevarena == NULL ||
1772 ao->prevarena->address != 0);
1773 assert(ao ->nextarena == NULL ||
1774 ao->nextarena->address != 0);
1775
1776 /* Fix the pointer in the prevarena, or the
1777 * usable_arenas pointer.
1778 */
1779 if (ao->prevarena == NULL) {
Victor Stinner9e87e772017-11-24 12:09:24 +01001780 usable_arenas = ao->nextarena;
1781 assert(usable_arenas == NULL ||
1782 usable_arenas->address != 0);
Victor Stinner9ed83c42017-10-31 12:18:10 -07001783 }
1784 else {
1785 assert(ao->prevarena->nextarena == ao);
1786 ao->prevarena->nextarena =
1787 ao->nextarena;
1788 }
1789 /* Fix the pointer in the nextarena. */
1790 if (ao->nextarena != NULL) {
1791 assert(ao->nextarena->prevarena == ao);
1792 ao->nextarena->prevarena =
1793 ao->prevarena;
1794 }
1795 /* Record that this arena_object slot is
1796 * available to be reused.
1797 */
Victor Stinner9e87e772017-11-24 12:09:24 +01001798 ao->nextarena = unused_arena_objects;
1799 unused_arena_objects = ao;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001800
1801 /* Free the entire arena. */
Victor Stinner9e87e772017-11-24 12:09:24 +01001802 _PyObject_Arena.free(_PyObject_Arena.ctx,
Victor Stinner9ed83c42017-10-31 12:18:10 -07001803 (void *)ao->address, ARENA_SIZE);
1804 ao->address = 0; /* mark unassociated */
Victor Stinner9e87e772017-11-24 12:09:24 +01001805 --narenas_currently_allocated;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001806
1807 goto success;
1808 }
1809
1810 if (nf == 1) {
1811 /* Case 2. Put ao at the head of
1812 * usable_arenas. Note that because
1813 * ao->nfreepools was 0 before, ao isn't
1814 * currently on the usable_arenas list.
1815 */
Victor Stinner9e87e772017-11-24 12:09:24 +01001816 ao->nextarena = usable_arenas;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001817 ao->prevarena = NULL;
Victor Stinner9e87e772017-11-24 12:09:24 +01001818 if (usable_arenas)
1819 usable_arenas->prevarena = ao;
1820 usable_arenas = ao;
1821 assert(usable_arenas->address != 0);
Tim Peters1c263e32019-05-31 21:16:04 -05001822 if (nfp2lasta[1] == NULL) {
1823 nfp2lasta[1] = ao;
1824 }
Victor Stinner9ed83c42017-10-31 12:18:10 -07001825
1826 goto success;
1827 }
1828
1829 /* If this arena is now out of order, we need to keep
1830 * the list sorted. The list is kept sorted so that
1831 * the "most full" arenas are used first, which allows
1832 * the nearly empty arenas to be completely freed. In
1833 * a few un-scientific tests, it seems like this
1834 * approach allowed a lot more memory to be freed.
1835 */
Tim Peters1c263e32019-05-31 21:16:04 -05001836 /* If this is the only arena with nf, record that. */
1837 if (nfp2lasta[nf] == NULL) {
1838 nfp2lasta[nf] = ao;
1839 } /* else the rightmost with nf doesn't change */
1840 /* If this was the rightmost of the old size, it remains in place. */
1841 if (ao == lastnf) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07001842 /* Case 4. Nothing to do. */
1843 goto success;
1844 }
Tim Peters1c263e32019-05-31 21:16:04 -05001845 /* If ao were the only arena in the list, the last block would have
1846 * gotten us out.
1847 */
1848 assert(ao->nextarena != NULL);
1849
1850 /* Case 3: We have to move the arena towards the end of the list,
1851 * because it has more free pools than the arena to its right. It needs
1852 * to move to follow lastnf.
Victor Stinner9ed83c42017-10-31 12:18:10 -07001853 * First unlink ao from usable_arenas.
1854 */
1855 if (ao->prevarena != NULL) {
1856 /* ao isn't at the head of the list */
1857 assert(ao->prevarena->nextarena == ao);
1858 ao->prevarena->nextarena = ao->nextarena;
1859 }
1860 else {
1861 /* ao is at the head of the list */
Victor Stinner9e87e772017-11-24 12:09:24 +01001862 assert(usable_arenas == ao);
1863 usable_arenas = ao->nextarena;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001864 }
1865 ao->nextarena->prevarena = ao->prevarena;
Tim Peters1c263e32019-05-31 21:16:04 -05001866 /* And insert after lastnf. */
1867 ao->prevarena = lastnf;
1868 ao->nextarena = lastnf->nextarena;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001869 if (ao->nextarena != NULL) {
1870 ao->nextarena->prevarena = ao;
1871 }
Tim Peters1c263e32019-05-31 21:16:04 -05001872 lastnf->nextarena = ao;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001873 /* Verify that the swaps worked. */
1874 assert(ao->nextarena == NULL || nf <= ao->nextarena->nfreepools);
1875 assert(ao->prevarena == NULL || nf > ao->prevarena->nfreepools);
1876 assert(ao->nextarena == NULL || ao->nextarena->prevarena == ao);
Victor Stinner9e87e772017-11-24 12:09:24 +01001877 assert((usable_arenas == ao && ao->prevarena == NULL)
Victor Stinner9ed83c42017-10-31 12:18:10 -07001878 || ao->prevarena->nextarena == ao);
1879
1880 goto success;
1881
1882success:
Victor Stinner9ed83c42017-10-31 12:18:10 -07001883 return 1;
1884}
1885
1886
1887static void
1888_PyObject_Free(void *ctx, void *p)
1889{
1890 /* PyObject_Free(NULL) has no effect */
1891 if (p == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001892 return;
1893 }
Neil Schemenauera35c6882001-02-27 04:45:05 +00001894
Victor Stinner9e87e772017-11-24 12:09:24 +01001895 _Py_AllocatedBlocks--;
Victor Stinner9ed83c42017-10-31 12:18:10 -07001896 if (!pymalloc_free(ctx, p)) {
1897 /* pymalloc didn't allocate this address */
1898 PyMem_RawFree(p);
1899 }
Neil Schemenauera35c6882001-02-27 04:45:05 +00001900}
1901
Neil Schemenauera35c6882001-02-27 04:45:05 +00001902
Victor Stinner9ed83c42017-10-31 12:18:10 -07001903/* pymalloc realloc.
1904
1905 If nbytes==0, then as the Python docs promise, we do not treat this like
1906 free(p), and return a non-NULL result.
1907
1908 Return 1 if pymalloc reallocated memory and wrote the new pointer into
1909 newptr_p.
1910
1911 Return 0 if pymalloc didn't allocated p. */
1912static int
1913pymalloc_realloc(void *ctx, void **newptr_p, void *p, size_t nbytes)
Neil Schemenauera35c6882001-02-27 04:45:05 +00001914{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001915 void *bp;
1916 poolp pool;
1917 size_t size;
Neil Schemenauera35c6882001-02-27 04:45:05 +00001918
Victor Stinner9ed83c42017-10-31 12:18:10 -07001919 assert(p != NULL);
Georg Brandld492ad82008-07-23 16:13:07 +00001920
Benjamin Peterson05159c42009-12-03 03:01:27 +00001921#ifdef WITH_VALGRIND
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001922 /* Treat running_on_valgrind == -1 the same as 0 */
Victor Stinner9ed83c42017-10-31 12:18:10 -07001923 if (UNLIKELY(running_on_valgrind > 0)) {
1924 return 0;
1925 }
Benjamin Peterson05159c42009-12-03 03:01:27 +00001926#endif
1927
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001928 pool = POOL_ADDR(p);
Victor Stinner9ed83c42017-10-31 12:18:10 -07001929 if (!address_in_range(p, pool)) {
1930 /* pymalloc is not managing this block.
1931
1932 If nbytes <= SMALL_REQUEST_THRESHOLD, it's tempting to try to take
1933 over this block. However, if we do, we need to copy the valid data
1934 from the C-managed block to one of our blocks, and there's no
1935 portable way to know how much of the memory space starting at p is
1936 valid.
1937
1938 As bug 1185883 pointed out the hard way, it's possible that the
1939 C-managed block is "at the end" of allocated VM space, so that a
1940 memory fault can occur if we try to copy nbytes bytes starting at p.
1941 Instead we punt: let C continue to manage this block. */
1942 return 0;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001943 }
Victor Stinner9ed83c42017-10-31 12:18:10 -07001944
1945 /* pymalloc is in charge of this block */
1946 size = INDEX2SIZE(pool->szidx);
1947 if (nbytes <= size) {
1948 /* The block is staying the same or shrinking.
1949
1950 If it's shrinking, there's a tradeoff: it costs cycles to copy the
1951 block to a smaller size class, but it wastes memory not to copy it.
1952
1953 The compromise here is to copy on shrink only if at least 25% of
1954 size can be shaved off. */
1955 if (4 * nbytes > 3 * size) {
1956 /* It's the same, or shrinking and new/old > 3/4. */
1957 *newptr_p = p;
1958 return 1;
1959 }
1960 size = nbytes;
1961 }
1962
1963 bp = _PyObject_Malloc(ctx, nbytes);
1964 if (bp != NULL) {
1965 memcpy(bp, p, size);
1966 _PyObject_Free(ctx, p);
1967 }
1968 *newptr_p = bp;
1969 return 1;
1970}
1971
1972
1973static void *
1974_PyObject_Realloc(void *ctx, void *ptr, size_t nbytes)
1975{
1976 void *ptr2;
1977
1978 if (ptr == NULL) {
1979 return _PyObject_Malloc(ctx, nbytes);
1980 }
1981
1982 if (pymalloc_realloc(ctx, &ptr2, ptr, nbytes)) {
1983 return ptr2;
1984 }
1985
1986 return PyMem_RawRealloc(ptr, nbytes);
Neil Schemenauera35c6882001-02-27 04:45:05 +00001987}
1988
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001989#else /* ! WITH_PYMALLOC */
Tim Petersddea2082002-03-23 10:03:50 +00001990
1991/*==========================================================================*/
Neil Schemenauerd2560cd2002-04-12 03:10:20 +00001992/* pymalloc not enabled: Redirect the entry points to malloc. These will
1993 * only be used by extensions that are compiled with pymalloc enabled. */
Tim Peters62c06ba2002-03-23 22:28:18 +00001994
Antoine Pitrou92840532012-12-17 23:05:59 +01001995Py_ssize_t
1996_Py_GetAllocatedBlocks(void)
1997{
1998 return 0;
1999}
2000
Tim Peters1221c0a2002-03-23 00:20:15 +00002001#endif /* WITH_PYMALLOC */
2002
Victor Stinner34be807c2016-03-14 12:04:26 +01002003
Tim Petersddea2082002-03-23 10:03:50 +00002004/*==========================================================================*/
Tim Peters62c06ba2002-03-23 22:28:18 +00002005/* A x-platform debugging allocator. This doesn't manage memory directly,
2006 * it wraps a real allocator, adding extra debugging info to the memory blocks.
2007 */
Tim Petersddea2082002-03-23 10:03:50 +00002008
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002009/* Uncomment this define to add the "serialno" field */
2010/* #define PYMEM_DEBUG_SERIALNO */
2011
2012#ifdef PYMEM_DEBUG_SERIALNO
Victor Stinner9e87e772017-11-24 12:09:24 +01002013static size_t serialno = 0; /* incremented on each debug {m,re}alloc */
2014
Tim Peterse0850172002-03-24 00:34:21 +00002015/* serialno is always incremented via calling this routine. The point is
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002016 * to supply a single place to set a breakpoint.
2017 */
Tim Peterse0850172002-03-24 00:34:21 +00002018static void
Neil Schemenauerbd02b142002-03-28 21:05:38 +00002019bumpserialno(void)
Tim Peterse0850172002-03-24 00:34:21 +00002020{
Victor Stinner9e87e772017-11-24 12:09:24 +01002021 ++serialno;
Tim Peterse0850172002-03-24 00:34:21 +00002022}
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002023#endif
Tim Peterse0850172002-03-24 00:34:21 +00002024
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002025#define SST SIZEOF_SIZE_T
Tim Peterse0850172002-03-24 00:34:21 +00002026
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002027#ifdef PYMEM_DEBUG_SERIALNO
2028# define PYMEM_DEBUG_EXTRA_BYTES 4 * SST
2029#else
2030# define PYMEM_DEBUG_EXTRA_BYTES 3 * SST
2031#endif
2032
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002033/* Read sizeof(size_t) bytes at p as a big-endian size_t. */
2034static size_t
2035read_size_t(const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002036{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002037 const uint8_t *q = (const uint8_t *)p;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002038 size_t result = *q++;
2039 int i;
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002040
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002041 for (i = SST; --i > 0; ++q)
2042 result = (result << 8) | *q;
2043 return result;
Tim Petersddea2082002-03-23 10:03:50 +00002044}
2045
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002046/* Write n as a big-endian size_t, MSB at address p, LSB at
2047 * p + sizeof(size_t) - 1.
2048 */
Tim Petersddea2082002-03-23 10:03:50 +00002049static void
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002050write_size_t(void *p, size_t n)
Tim Petersddea2082002-03-23 10:03:50 +00002051{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002052 uint8_t *q = (uint8_t *)p + SST - 1;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002053 int i;
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002054
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002055 for (i = SST; --i >= 0; --q) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07002056 *q = (uint8_t)(n & 0xff);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002057 n >>= 8;
2058 }
Tim Petersddea2082002-03-23 10:03:50 +00002059}
2060
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002061/* Let S = sizeof(size_t). The debug malloc asks for 4 * S extra bytes and
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002062 fills them with useful stuff, here calling the underlying malloc's result p:
Tim Petersddea2082002-03-23 10:03:50 +00002063
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002064p[0: S]
2065 Number of bytes originally asked for. This is a size_t, big-endian (easier
2066 to read in a memory dump).
Georg Brandl7cba5fd2013-09-25 09:04:23 +02002067p[S]
Tim Petersdf099f52013-09-19 21:06:37 -05002068 API ID. See PEP 445. This is a character, but seems undocumented.
2069p[S+1: 2*S]
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002070 Copies of PYMEM_FORBIDDENBYTE. Used to catch under- writes and reads.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002071p[2*S: 2*S+n]
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002072 The requested memory, filled with copies of PYMEM_CLEANBYTE.
Tim Petersddea2082002-03-23 10:03:50 +00002073 Used to catch reference to uninitialized memory.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002074 &p[2*S] is returned. Note that this is 8-byte aligned if pymalloc
Tim Petersddea2082002-03-23 10:03:50 +00002075 handled the request itself.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002076p[2*S+n: 2*S+n+S]
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002077 Copies of PYMEM_FORBIDDENBYTE. Used to catch over- writes and reads.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002078p[2*S+n+S: 2*S+n+2*S]
Victor Stinner0507bf52013-07-07 02:05:46 +02002079 A serial number, incremented by 1 on each call to _PyMem_DebugMalloc
2080 and _PyMem_DebugRealloc.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002081 This is a big-endian size_t.
Tim Petersddea2082002-03-23 10:03:50 +00002082 If "bad memory" is detected later, the serial number gives an
2083 excellent way to set a breakpoint on the next run, to capture the
2084 instant at which this block was passed out.
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002085
2086If PYMEM_DEBUG_SERIALNO is not defined (default), the debug malloc only asks
2087for 3 * S extra bytes, and omits the last serialno field.
Tim Petersddea2082002-03-23 10:03:50 +00002088*/
2089
Victor Stinner0507bf52013-07-07 02:05:46 +02002090static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002091_PyMem_DebugRawAlloc(int use_calloc, void *ctx, size_t nbytes)
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00002092{
Victor Stinner0507bf52013-07-07 02:05:46 +02002093 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002094 uint8_t *p; /* base address of malloc'ed pad block */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002095 uint8_t *data; /* p + 2*SST == pointer to data bytes */
2096 uint8_t *tail; /* data + nbytes == pointer to tail pad bytes */
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002097 size_t total; /* nbytes + PYMEM_DEBUG_EXTRA_BYTES */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002098
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002099 if (nbytes > (size_t)PY_SSIZE_T_MAX - PYMEM_DEBUG_EXTRA_BYTES) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07002100 /* integer overflow: can't represent total as a Py_ssize_t */
2101 return NULL;
2102 }
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002103 total = nbytes + PYMEM_DEBUG_EXTRA_BYTES;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002104
2105 /* Layout: [SSSS IFFF CCCC...CCCC FFFF NNNN]
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002106 ^--- p ^--- data ^--- tail
Victor Stinner9ed83c42017-10-31 12:18:10 -07002107 S: nbytes stored as size_t
2108 I: API identifier (1 byte)
2109 F: Forbidden bytes (size_t - 1 bytes before, size_t bytes after)
2110 C: Clean bytes used later to store actual data
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002111 N: Serial number stored as size_t
2112
2113 If PYMEM_DEBUG_SERIALNO is not defined (default), the last NNNN field
2114 is omitted. */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002115
2116 if (use_calloc) {
2117 p = (uint8_t *)api->alloc.calloc(api->alloc.ctx, 1, total);
2118 }
2119 else {
2120 p = (uint8_t *)api->alloc.malloc(api->alloc.ctx, total);
2121 }
2122 if (p == NULL) {
2123 return NULL;
2124 }
2125 data = p + 2*SST;
Tim Petersddea2082002-03-23 10:03:50 +00002126
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002127#ifdef PYMEM_DEBUG_SERIALNO
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002128 bumpserialno();
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002129#endif
Tim Petersddea2082002-03-23 10:03:50 +00002130
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002131 /* at p, write size (SST bytes), id (1 byte), pad (SST-1 bytes) */
2132 write_size_t(p, nbytes);
Benjamin Peterson19517e42016-09-18 19:22:22 -07002133 p[SST] = (uint8_t)api->api_id;
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002134 memset(p + SST + 1, PYMEM_FORBIDDENBYTE, SST-1);
Tim Petersddea2082002-03-23 10:03:50 +00002135
Victor Stinner9ed83c42017-10-31 12:18:10 -07002136 if (nbytes > 0 && !use_calloc) {
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002137 memset(data, PYMEM_CLEANBYTE, nbytes);
Victor Stinner9ed83c42017-10-31 12:18:10 -07002138 }
Tim Petersddea2082002-03-23 10:03:50 +00002139
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002140 /* at tail, write pad (SST bytes) and serialno (SST bytes) */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002141 tail = data + nbytes;
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002142 memset(tail, PYMEM_FORBIDDENBYTE, SST);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002143#ifdef PYMEM_DEBUG_SERIALNO
Victor Stinner9e87e772017-11-24 12:09:24 +01002144 write_size_t(tail + SST, serialno);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002145#endif
Tim Petersddea2082002-03-23 10:03:50 +00002146
Victor Stinner9ed83c42017-10-31 12:18:10 -07002147 return data;
Tim Petersddea2082002-03-23 10:03:50 +00002148}
2149
Victor Stinnerdb067af2014-05-02 22:31:14 +02002150static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002151_PyMem_DebugRawMalloc(void *ctx, size_t nbytes)
Victor Stinnerdb067af2014-05-02 22:31:14 +02002152{
Victor Stinnerc4aec362016-03-14 22:26:53 +01002153 return _PyMem_DebugRawAlloc(0, ctx, nbytes);
Victor Stinnerdb067af2014-05-02 22:31:14 +02002154}
2155
2156static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002157_PyMem_DebugRawCalloc(void *ctx, size_t nelem, size_t elsize)
Victor Stinnerdb067af2014-05-02 22:31:14 +02002158{
2159 size_t nbytes;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002160 assert(elsize == 0 || nelem <= (size_t)PY_SSIZE_T_MAX / elsize);
Victor Stinnerdb067af2014-05-02 22:31:14 +02002161 nbytes = nelem * elsize;
Victor Stinnerc4aec362016-03-14 22:26:53 +01002162 return _PyMem_DebugRawAlloc(1, ctx, nbytes);
Victor Stinnerdb067af2014-05-02 22:31:14 +02002163}
2164
Victor Stinner9ed83c42017-10-31 12:18:10 -07002165
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002166/* 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 +00002167 particular, that the FORBIDDENBYTEs with the api ID are still intact).
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002168 Then fills the original bytes with PYMEM_DEADBYTE.
Tim Petersddea2082002-03-23 10:03:50 +00002169 Then calls the underlying free.
2170*/
Victor Stinner0507bf52013-07-07 02:05:46 +02002171static void
Victor Stinnerc4aec362016-03-14 22:26:53 +01002172_PyMem_DebugRawFree(void *ctx, void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002173{
Victor Stinner9ed83c42017-10-31 12:18:10 -07002174 /* PyMem_Free(NULL) has no effect */
2175 if (p == NULL) {
2176 return;
2177 }
2178
Victor Stinner0507bf52013-07-07 02:05:46 +02002179 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Benjamin Peterson19517e42016-09-18 19:22:22 -07002180 uint8_t *q = (uint8_t *)p - 2*SST; /* address returned from malloc */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002181 size_t nbytes;
Tim Petersddea2082002-03-23 10:03:50 +00002182
Victor Stinner0507bf52013-07-07 02:05:46 +02002183 _PyMem_DebugCheckAddress(api->api_id, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002184 nbytes = read_size_t(q);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002185 nbytes += PYMEM_DEBUG_EXTRA_BYTES;
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002186 memset(q, PYMEM_DEADBYTE, nbytes);
Victor Stinner0507bf52013-07-07 02:05:46 +02002187 api->alloc.free(api->alloc.ctx, q);
Tim Petersddea2082002-03-23 10:03:50 +00002188}
2189
Victor Stinner9ed83c42017-10-31 12:18:10 -07002190
Victor Stinner0507bf52013-07-07 02:05:46 +02002191static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002192_PyMem_DebugRawRealloc(void *ctx, void *p, size_t nbytes)
Tim Petersddea2082002-03-23 10:03:50 +00002193{
Victor Stinner9ed83c42017-10-31 12:18:10 -07002194 if (p == NULL) {
2195 return _PyMem_DebugRawAlloc(0, ctx, nbytes);
2196 }
2197
Victor Stinner0507bf52013-07-07 02:05:46 +02002198 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002199 uint8_t *head; /* base address of malloc'ed pad block */
2200 uint8_t *data; /* pointer to data bytes */
2201 uint8_t *r;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002202 uint8_t *tail; /* data + nbytes == pointer to tail pad bytes */
2203 size_t total; /* 2 * SST + nbytes + 2 * SST */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002204 size_t original_nbytes;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002205#define ERASED_SIZE 64
2206 uint8_t save[2*ERASED_SIZE]; /* A copy of erased bytes. */
Tim Petersddea2082002-03-23 10:03:50 +00002207
Victor Stinner0507bf52013-07-07 02:05:46 +02002208 _PyMem_DebugCheckAddress(api->api_id, p);
Victor Stinner9ed83c42017-10-31 12:18:10 -07002209
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002210 data = (uint8_t *)p;
2211 head = data - 2*SST;
2212 original_nbytes = read_size_t(head);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002213 if (nbytes > (size_t)PY_SSIZE_T_MAX - PYMEM_DEBUG_EXTRA_BYTES) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07002214 /* integer overflow: can't represent total as a Py_ssize_t */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002215 return NULL;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002216 }
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002217 total = nbytes + PYMEM_DEBUG_EXTRA_BYTES;
Tim Petersddea2082002-03-23 10:03:50 +00002218
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002219 tail = data + original_nbytes;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002220#ifdef PYMEM_DEBUG_SERIALNO
2221 size_t block_serialno = read_size_t(tail + SST);
2222#endif
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002223 /* Mark the header, the trailer, ERASED_SIZE bytes at the begin and
2224 ERASED_SIZE bytes at the end as dead and save the copy of erased bytes.
2225 */
2226 if (original_nbytes <= sizeof(save)) {
2227 memcpy(save, data, original_nbytes);
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002228 memset(data - 2 * SST, PYMEM_DEADBYTE,
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002229 original_nbytes + PYMEM_DEBUG_EXTRA_BYTES);
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002230 }
2231 else {
2232 memcpy(save, data, ERASED_SIZE);
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002233 memset(head, PYMEM_DEADBYTE, ERASED_SIZE + 2 * SST);
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002234 memcpy(&save[ERASED_SIZE], tail - ERASED_SIZE, ERASED_SIZE);
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002235 memset(tail - ERASED_SIZE, PYMEM_DEADBYTE,
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002236 ERASED_SIZE + PYMEM_DEBUG_EXTRA_BYTES - 2 * SST);
Victor Stinner9ed83c42017-10-31 12:18:10 -07002237 }
Tim Peters85cc1c42002-04-12 08:52:50 +00002238
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002239 /* Resize and add decorations. */
2240 r = (uint8_t *)api->alloc.realloc(api->alloc.ctx, head, total);
2241 if (r == NULL) {
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002242 /* if realloc() failed: rewrite header and footer which have
2243 just been erased */
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002244 nbytes = original_nbytes;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002245 }
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002246 else {
2247 head = r;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002248#ifdef PYMEM_DEBUG_SERIALNO
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002249 bumpserialno();
Victor Stinner9e87e772017-11-24 12:09:24 +01002250 block_serialno = serialno;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002251#endif
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002252 }
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002253 data = head + 2*SST;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002254
2255 write_size_t(head, nbytes);
2256 head[SST] = (uint8_t)api->api_id;
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002257 memset(head + SST + 1, PYMEM_FORBIDDENBYTE, SST-1);
Victor Stinnerc4266362013-07-09 00:44:43 +02002258
Victor Stinner9ed83c42017-10-31 12:18:10 -07002259 tail = data + nbytes;
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002260 memset(tail, PYMEM_FORBIDDENBYTE, SST);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002261#ifdef PYMEM_DEBUG_SERIALNO
Victor Stinner9e87e772017-11-24 12:09:24 +01002262 write_size_t(tail + SST, block_serialno);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002263#endif
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002264
2265 /* Restore saved bytes. */
2266 if (original_nbytes <= sizeof(save)) {
2267 memcpy(data, save, Py_MIN(nbytes, original_nbytes));
2268 }
2269 else {
2270 size_t i = original_nbytes - ERASED_SIZE;
2271 memcpy(data, save, Py_MIN(nbytes, ERASED_SIZE));
2272 if (nbytes > i) {
2273 memcpy(data + i, &save[ERASED_SIZE],
2274 Py_MIN(nbytes - i, ERASED_SIZE));
2275 }
2276 }
2277
2278 if (r == NULL) {
2279 return NULL;
2280 }
Tim Peters85cc1c42002-04-12 08:52:50 +00002281
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002282 if (nbytes > original_nbytes) {
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002283 /* growing: mark new extra memory clean */
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002284 memset(data + original_nbytes, PYMEM_CLEANBYTE,
2285 nbytes - original_nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002286 }
Tim Peters85cc1c42002-04-12 08:52:50 +00002287
Victor Stinner9ed83c42017-10-31 12:18:10 -07002288 return data;
Tim Petersddea2082002-03-23 10:03:50 +00002289}
2290
Victor Stinnerc4aec362016-03-14 22:26:53 +01002291static void
2292_PyMem_DebugCheckGIL(void)
2293{
Victor Stinnerc4aec362016-03-14 22:26:53 +01002294 if (!PyGILState_Check())
2295 Py_FatalError("Python memory allocator called "
2296 "without holding the GIL");
Victor Stinnerc4aec362016-03-14 22:26:53 +01002297}
2298
2299static void *
2300_PyMem_DebugMalloc(void *ctx, size_t nbytes)
2301{
2302 _PyMem_DebugCheckGIL();
2303 return _PyMem_DebugRawMalloc(ctx, nbytes);
2304}
2305
2306static void *
2307_PyMem_DebugCalloc(void *ctx, size_t nelem, size_t elsize)
2308{
2309 _PyMem_DebugCheckGIL();
2310 return _PyMem_DebugRawCalloc(ctx, nelem, elsize);
2311}
2312
Victor Stinner9ed83c42017-10-31 12:18:10 -07002313
Victor Stinnerc4aec362016-03-14 22:26:53 +01002314static void
2315_PyMem_DebugFree(void *ctx, void *ptr)
2316{
2317 _PyMem_DebugCheckGIL();
Victor Stinner0aed3a42016-03-23 11:30:43 +01002318 _PyMem_DebugRawFree(ctx, ptr);
Victor Stinnerc4aec362016-03-14 22:26:53 +01002319}
2320
Victor Stinner9ed83c42017-10-31 12:18:10 -07002321
Victor Stinnerc4aec362016-03-14 22:26:53 +01002322static void *
2323_PyMem_DebugRealloc(void *ctx, void *ptr, size_t nbytes)
2324{
2325 _PyMem_DebugCheckGIL();
2326 return _PyMem_DebugRawRealloc(ctx, ptr, nbytes);
2327}
2328
Tim Peters7ccfadf2002-04-01 06:04:21 +00002329/* Check the forbidden bytes on both ends of the memory allocated for p.
Neil Schemenauerd2560cd2002-04-12 03:10:20 +00002330 * If anything is wrong, print info to stderr via _PyObject_DebugDumpAddress,
Tim Peters7ccfadf2002-04-01 06:04:21 +00002331 * and call Py_FatalError to kill the program.
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00002332 * The API id, is also checked.
Tim Peters7ccfadf2002-04-01 06:04:21 +00002333 */
Victor Stinner0507bf52013-07-07 02:05:46 +02002334static void
2335_PyMem_DebugCheckAddress(char api, const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002336{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002337 const uint8_t *q = (const uint8_t *)p;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002338 char msgbuf[64];
Serhiy Storchakae2f92de2017-11-11 13:06:26 +02002339 const char *msg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002340 size_t nbytes;
Benjamin Peterson19517e42016-09-18 19:22:22 -07002341 const uint8_t *tail;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002342 int i;
2343 char id;
Tim Petersddea2082002-03-23 10:03:50 +00002344
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002345 if (p == NULL) {
2346 msg = "didn't expect a NULL pointer";
2347 goto error;
2348 }
Tim Petersddea2082002-03-23 10:03:50 +00002349
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002350 /* Check the API id */
2351 id = (char)q[-SST];
2352 if (id != api) {
2353 msg = msgbuf;
Serhiy Storchakae2f92de2017-11-11 13:06:26 +02002354 snprintf(msgbuf, sizeof(msgbuf), "bad ID: Allocated using API '%c', verified using API '%c'", id, api);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002355 msgbuf[sizeof(msgbuf)-1] = 0;
2356 goto error;
2357 }
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00002358
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002359 /* Check the stuff at the start of p first: if there's underwrite
2360 * corruption, the number-of-bytes field may be nuts, and checking
2361 * the tail could lead to a segfault then.
2362 */
2363 for (i = SST-1; i >= 1; --i) {
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002364 if (*(q-i) != PYMEM_FORBIDDENBYTE) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002365 msg = "bad leading pad byte";
2366 goto error;
2367 }
2368 }
Tim Petersddea2082002-03-23 10:03:50 +00002369
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002370 nbytes = read_size_t(q - 2*SST);
2371 tail = q + nbytes;
2372 for (i = 0; i < SST; ++i) {
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002373 if (tail[i] != PYMEM_FORBIDDENBYTE) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002374 msg = "bad trailing pad byte";
2375 goto error;
2376 }
2377 }
Tim Petersddea2082002-03-23 10:03:50 +00002378
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002379 return;
Tim Petersd1139e02002-03-28 07:32:11 +00002380
2381error:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002382 _PyObject_DebugDumpAddress(p);
2383 Py_FatalError(msg);
Tim Petersddea2082002-03-23 10:03:50 +00002384}
2385
Tim Peters7ccfadf2002-04-01 06:04:21 +00002386/* Display info to stderr about the memory block at p. */
Victor Stinner0507bf52013-07-07 02:05:46 +02002387static void
Neil Schemenauerd2560cd2002-04-12 03:10:20 +00002388_PyObject_DebugDumpAddress(const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002389{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002390 const uint8_t *q = (const uint8_t *)p;
2391 const uint8_t *tail;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002392 size_t nbytes;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002393 int i;
2394 int ok;
2395 char id;
Tim Petersddea2082002-03-23 10:03:50 +00002396
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002397 fprintf(stderr, "Debug memory block at address p=%p:", p);
2398 if (p == NULL) {
2399 fprintf(stderr, "\n");
2400 return;
2401 }
2402 id = (char)q[-SST];
2403 fprintf(stderr, " API '%c'\n", id);
Tim Petersddea2082002-03-23 10:03:50 +00002404
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002405 nbytes = read_size_t(q - 2*SST);
2406 fprintf(stderr, " %" PY_FORMAT_SIZE_T "u bytes originally "
2407 "requested\n", nbytes);
Tim Petersddea2082002-03-23 10:03:50 +00002408
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002409 /* In case this is nuts, check the leading pad bytes first. */
2410 fprintf(stderr, " The %d pad bytes at p-%d are ", SST-1, SST-1);
2411 ok = 1;
2412 for (i = 1; i <= SST-1; ++i) {
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002413 if (*(q-i) != PYMEM_FORBIDDENBYTE) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002414 ok = 0;
2415 break;
2416 }
2417 }
2418 if (ok)
2419 fputs("FORBIDDENBYTE, as expected.\n", stderr);
2420 else {
2421 fprintf(stderr, "not all FORBIDDENBYTE (0x%02x):\n",
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002422 PYMEM_FORBIDDENBYTE);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002423 for (i = SST-1; i >= 1; --i) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07002424 const uint8_t byte = *(q-i);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002425 fprintf(stderr, " at p-%d: 0x%02x", i, byte);
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002426 if (byte != PYMEM_FORBIDDENBYTE)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002427 fputs(" *** OUCH", stderr);
2428 fputc('\n', stderr);
2429 }
Tim Peters449b5a82002-04-28 06:14:45 +00002430
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002431 fputs(" Because memory is corrupted at the start, the "
2432 "count of bytes requested\n"
2433 " may be bogus, and checking the trailing pad "
2434 "bytes may segfault.\n", stderr);
2435 }
Tim Petersddea2082002-03-23 10:03:50 +00002436
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002437 tail = q + nbytes;
Zackery Spytz1a2252e2019-05-06 10:56:51 -06002438 fprintf(stderr, " The %d pad bytes at tail=%p are ", SST, (void *)tail);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002439 ok = 1;
2440 for (i = 0; i < SST; ++i) {
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002441 if (tail[i] != PYMEM_FORBIDDENBYTE) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002442 ok = 0;
2443 break;
2444 }
2445 }
2446 if (ok)
2447 fputs("FORBIDDENBYTE, as expected.\n", stderr);
2448 else {
2449 fprintf(stderr, "not all FORBIDDENBYTE (0x%02x):\n",
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002450 PYMEM_FORBIDDENBYTE);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002451 for (i = 0; i < SST; ++i) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07002452 const uint8_t byte = tail[i];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002453 fprintf(stderr, " at tail+%d: 0x%02x",
Stefan Krah735bb122010-11-26 10:54:09 +00002454 i, byte);
Victor Stinnerf82ce5b2019-10-15 03:06:16 +02002455 if (byte != PYMEM_FORBIDDENBYTE)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002456 fputs(" *** OUCH", stderr);
2457 fputc('\n', stderr);
2458 }
2459 }
Tim Petersddea2082002-03-23 10:03:50 +00002460
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002461#ifdef PYMEM_DEBUG_SERIALNO
2462 size_t serial = read_size_t(tail + SST);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002463 fprintf(stderr, " The block was made by call #%" PY_FORMAT_SIZE_T
2464 "u to debug malloc/realloc.\n", serial);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002465#endif
Tim Petersddea2082002-03-23 10:03:50 +00002466
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002467 if (nbytes > 0) {
2468 i = 0;
2469 fputs(" Data at p:", stderr);
2470 /* print up to 8 bytes at the start */
2471 while (q < tail && i < 8) {
2472 fprintf(stderr, " %02x", *q);
2473 ++i;
2474 ++q;
2475 }
2476 /* and up to 8 at the end */
2477 if (q < tail) {
2478 if (tail - q > 8) {
2479 fputs(" ...", stderr);
2480 q = tail - 8;
2481 }
2482 while (q < tail) {
2483 fprintf(stderr, " %02x", *q);
2484 ++q;
2485 }
2486 }
2487 fputc('\n', stderr);
2488 }
Victor Stinner0611c262016-03-15 22:22:13 +01002489 fputc('\n', stderr);
2490
2491 fflush(stderr);
2492 _PyMem_DumpTraceback(fileno(stderr), p);
Tim Petersddea2082002-03-23 10:03:50 +00002493}
2494
David Malcolm49526f42012-06-22 14:55:41 -04002495
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002496static size_t
David Malcolm49526f42012-06-22 14:55:41 -04002497printone(FILE *out, const char* msg, size_t value)
Tim Peters16bcb6b2002-04-05 05:45:31 +00002498{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002499 int i, k;
2500 char buf[100];
2501 size_t origvalue = value;
Tim Peters16bcb6b2002-04-05 05:45:31 +00002502
David Malcolm49526f42012-06-22 14:55:41 -04002503 fputs(msg, out);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002504 for (i = (int)strlen(msg); i < 35; ++i)
David Malcolm49526f42012-06-22 14:55:41 -04002505 fputc(' ', out);
2506 fputc('=', out);
Tim Peters49f26812002-04-06 01:45:35 +00002507
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002508 /* Write the value with commas. */
2509 i = 22;
2510 buf[i--] = '\0';
2511 buf[i--] = '\n';
2512 k = 3;
2513 do {
2514 size_t nextvalue = value / 10;
Benjamin Peterson2dba1ee2013-02-20 16:54:30 -05002515 unsigned int digit = (unsigned int)(value - nextvalue * 10);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002516 value = nextvalue;
2517 buf[i--] = (char)(digit + '0');
2518 --k;
2519 if (k == 0 && value && i >= 0) {
2520 k = 3;
2521 buf[i--] = ',';
2522 }
2523 } while (value && i >= 0);
Tim Peters49f26812002-04-06 01:45:35 +00002524
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002525 while (i >= 0)
2526 buf[i--] = ' ';
David Malcolm49526f42012-06-22 14:55:41 -04002527 fputs(buf, out);
Tim Peters49f26812002-04-06 01:45:35 +00002528
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002529 return origvalue;
Tim Peters16bcb6b2002-04-05 05:45:31 +00002530}
2531
David Malcolm49526f42012-06-22 14:55:41 -04002532void
2533_PyDebugAllocatorStats(FILE *out,
2534 const char *block_name, int num_blocks, size_t sizeof_block)
2535{
2536 char buf1[128];
2537 char buf2[128];
2538 PyOS_snprintf(buf1, sizeof(buf1),
Tim Peterseaa3bcc2013-09-05 22:57:04 -05002539 "%d %ss * %" PY_FORMAT_SIZE_T "d bytes each",
David Malcolm49526f42012-06-22 14:55:41 -04002540 num_blocks, block_name, sizeof_block);
2541 PyOS_snprintf(buf2, sizeof(buf2),
2542 "%48s ", buf1);
2543 (void)printone(out, buf2, num_blocks * sizeof_block);
2544}
2545
Victor Stinner34be807c2016-03-14 12:04:26 +01002546
David Malcolm49526f42012-06-22 14:55:41 -04002547#ifdef WITH_PYMALLOC
2548
Victor Stinner34be807c2016-03-14 12:04:26 +01002549#ifdef Py_DEBUG
2550/* Is target in the list? The list is traversed via the nextpool pointers.
2551 * The list may be NULL-terminated, or circular. Return 1 if target is in
2552 * list, else 0.
2553 */
2554static int
2555pool_is_in_list(const poolp target, poolp list)
2556{
2557 poolp origlist = list;
2558 assert(target != NULL);
2559 if (list == NULL)
2560 return 0;
2561 do {
2562 if (target == list)
2563 return 1;
2564 list = list->nextpool;
2565 } while (list != NULL && list != origlist);
2566 return 0;
2567}
2568#endif
2569
David Malcolm49526f42012-06-22 14:55:41 -04002570/* Print summary info to "out" about the state of pymalloc's structures.
Tim Peters08d82152002-04-18 22:25:03 +00002571 * In Py_DEBUG mode, also perform some expensive internal consistency
2572 * checks.
Victor Stinner6bf992a2017-12-06 17:26:10 +01002573 *
2574 * Return 0 if the memory debug hooks are not installed or no statistics was
Leo Ariasc3d95082018-02-03 18:36:10 -06002575 * written into out, return 1 otherwise.
Tim Peters08d82152002-04-18 22:25:03 +00002576 */
Victor Stinner6bf992a2017-12-06 17:26:10 +01002577int
David Malcolm49526f42012-06-22 14:55:41 -04002578_PyObject_DebugMallocStats(FILE *out)
Tim Peters7ccfadf2002-04-01 06:04:21 +00002579{
Victor Stinner6bf992a2017-12-06 17:26:10 +01002580 if (!_PyMem_PymallocEnabled()) {
2581 return 0;
2582 }
2583
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002584 uint i;
2585 const uint numclasses = SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT;
2586 /* # of pools, allocated blocks, and free blocks per class index */
2587 size_t numpools[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
2588 size_t numblocks[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
2589 size_t numfreeblocks[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
2590 /* total # of allocated bytes in used and full pools */
2591 size_t allocated_bytes = 0;
2592 /* total # of available bytes in used pools */
2593 size_t available_bytes = 0;
2594 /* # of free pools + pools not yet carved out of current arena */
2595 uint numfreepools = 0;
2596 /* # of bytes for arena alignment padding */
2597 size_t arena_alignment = 0;
2598 /* # of bytes in used and full pools used for pool_headers */
2599 size_t pool_header_bytes = 0;
2600 /* # of bytes in used and full pools wasted due to quantization,
2601 * i.e. the necessarily leftover space at the ends of used and
2602 * full pools.
2603 */
2604 size_t quantization = 0;
2605 /* # of arenas actually allocated. */
2606 size_t narenas = 0;
2607 /* running total -- should equal narenas * ARENA_SIZE */
2608 size_t total;
2609 char buf[128];
Tim Peters7ccfadf2002-04-01 06:04:21 +00002610
David Malcolm49526f42012-06-22 14:55:41 -04002611 fprintf(out, "Small block threshold = %d, in %u size classes.\n",
Stefan Krah735bb122010-11-26 10:54:09 +00002612 SMALL_REQUEST_THRESHOLD, numclasses);
Tim Peters7ccfadf2002-04-01 06:04:21 +00002613
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002614 for (i = 0; i < numclasses; ++i)
2615 numpools[i] = numblocks[i] = numfreeblocks[i] = 0;
Tim Peters7ccfadf2002-04-01 06:04:21 +00002616
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002617 /* Because full pools aren't linked to from anything, it's easiest
2618 * to march over all the arenas. If we're lucky, most of the memory
2619 * will be living in full pools -- would be a shame to miss them.
2620 */
Victor Stinner9e87e772017-11-24 12:09:24 +01002621 for (i = 0; i < maxarenas; ++i) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002622 uint j;
Victor Stinner9e87e772017-11-24 12:09:24 +01002623 uintptr_t base = arenas[i].address;
Thomas Woutersa9773292006-04-21 09:43:23 +00002624
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002625 /* Skip arenas which are not allocated. */
Victor Stinner9e87e772017-11-24 12:09:24 +01002626 if (arenas[i].address == (uintptr_t)NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002627 continue;
2628 narenas += 1;
Thomas Woutersa9773292006-04-21 09:43:23 +00002629
Victor Stinner9e87e772017-11-24 12:09:24 +01002630 numfreepools += arenas[i].nfreepools;
Tim Peters7ccfadf2002-04-01 06:04:21 +00002631
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002632 /* round up to pool alignment */
Benjamin Peterson5d4b09c2016-09-18 19:24:52 -07002633 if (base & (uintptr_t)POOL_SIZE_MASK) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002634 arena_alignment += POOL_SIZE;
Benjamin Peterson5d4b09c2016-09-18 19:24:52 -07002635 base &= ~(uintptr_t)POOL_SIZE_MASK;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002636 base += POOL_SIZE;
2637 }
Tim Peters7ccfadf2002-04-01 06:04:21 +00002638
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002639 /* visit every pool in the arena */
Victor Stinner9e87e772017-11-24 12:09:24 +01002640 assert(base <= (uintptr_t) arenas[i].pool_address);
2641 for (j = 0; base < (uintptr_t) arenas[i].pool_address;
Benjamin Peterson19517e42016-09-18 19:22:22 -07002642 ++j, base += POOL_SIZE) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002643 poolp p = (poolp)base;
2644 const uint sz = p->szidx;
2645 uint freeblocks;
Tim Peters08d82152002-04-18 22:25:03 +00002646
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002647 if (p->ref.count == 0) {
2648 /* currently unused */
Victor Stinner34be807c2016-03-14 12:04:26 +01002649#ifdef Py_DEBUG
Victor Stinner9e87e772017-11-24 12:09:24 +01002650 assert(pool_is_in_list(p, arenas[i].freepools));
Victor Stinner34be807c2016-03-14 12:04:26 +01002651#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002652 continue;
2653 }
2654 ++numpools[sz];
2655 numblocks[sz] += p->ref.count;
2656 freeblocks = NUMBLOCKS(sz) - p->ref.count;
2657 numfreeblocks[sz] += freeblocks;
Tim Peters08d82152002-04-18 22:25:03 +00002658#ifdef Py_DEBUG
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002659 if (freeblocks > 0)
Victor Stinner9e87e772017-11-24 12:09:24 +01002660 assert(pool_is_in_list(p, usedpools[sz + sz]));
Tim Peters08d82152002-04-18 22:25:03 +00002661#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002662 }
2663 }
Victor Stinner9e87e772017-11-24 12:09:24 +01002664 assert(narenas == narenas_currently_allocated);
Tim Peters7ccfadf2002-04-01 06:04:21 +00002665
David Malcolm49526f42012-06-22 14:55:41 -04002666 fputc('\n', out);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002667 fputs("class size num pools blocks in use avail blocks\n"
2668 "----- ---- --------- ------------- ------------\n",
David Malcolm49526f42012-06-22 14:55:41 -04002669 out);
Tim Peters7ccfadf2002-04-01 06:04:21 +00002670
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002671 for (i = 0; i < numclasses; ++i) {
2672 size_t p = numpools[i];
2673 size_t b = numblocks[i];
2674 size_t f = numfreeblocks[i];
2675 uint size = INDEX2SIZE(i);
2676 if (p == 0) {
2677 assert(b == 0 && f == 0);
2678 continue;
2679 }
David Malcolm49526f42012-06-22 14:55:41 -04002680 fprintf(out, "%5u %6u "
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002681 "%11" PY_FORMAT_SIZE_T "u "
2682 "%15" PY_FORMAT_SIZE_T "u "
2683 "%13" PY_FORMAT_SIZE_T "u\n",
Stefan Krah735bb122010-11-26 10:54:09 +00002684 i, size, p, b, f);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002685 allocated_bytes += b * size;
2686 available_bytes += f * size;
2687 pool_header_bytes += p * POOL_OVERHEAD;
2688 quantization += p * ((POOL_SIZE - POOL_OVERHEAD) % size);
2689 }
David Malcolm49526f42012-06-22 14:55:41 -04002690 fputc('\n', out);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002691#ifdef PYMEM_DEBUG_SERIALNO
2692 if (_PyMem_DebugEnabled()) {
Victor Stinner9e87e772017-11-24 12:09:24 +01002693 (void)printone(out, "# times object malloc called", serialno);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002694 }
2695#endif
Victor Stinner9e87e772017-11-24 12:09:24 +01002696 (void)printone(out, "# arenas allocated total", ntimes_arena_allocated);
2697 (void)printone(out, "# arenas reclaimed", ntimes_arena_allocated - narenas);
2698 (void)printone(out, "# arenas highwater mark", narenas_highwater);
David Malcolm49526f42012-06-22 14:55:41 -04002699 (void)printone(out, "# arenas allocated current", narenas);
Thomas Woutersa9773292006-04-21 09:43:23 +00002700
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002701 PyOS_snprintf(buf, sizeof(buf),
2702 "%" PY_FORMAT_SIZE_T "u arenas * %d bytes/arena",
2703 narenas, ARENA_SIZE);
David Malcolm49526f42012-06-22 14:55:41 -04002704 (void)printone(out, buf, narenas * ARENA_SIZE);
Tim Peters16bcb6b2002-04-05 05:45:31 +00002705
David Malcolm49526f42012-06-22 14:55:41 -04002706 fputc('\n', out);
Tim Peters16bcb6b2002-04-05 05:45:31 +00002707
David Malcolm49526f42012-06-22 14:55:41 -04002708 total = printone(out, "# bytes in allocated blocks", allocated_bytes);
2709 total += printone(out, "# bytes in available blocks", available_bytes);
Tim Peters49f26812002-04-06 01:45:35 +00002710
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002711 PyOS_snprintf(buf, sizeof(buf),
2712 "%u unused pools * %d bytes", numfreepools, POOL_SIZE);
David Malcolm49526f42012-06-22 14:55:41 -04002713 total += printone(out, buf, (size_t)numfreepools * POOL_SIZE);
Tim Peters16bcb6b2002-04-05 05:45:31 +00002714
David Malcolm49526f42012-06-22 14:55:41 -04002715 total += printone(out, "# bytes lost to pool headers", pool_header_bytes);
2716 total += printone(out, "# bytes lost to quantization", quantization);
2717 total += printone(out, "# bytes lost to arena alignment", arena_alignment);
2718 (void)printone(out, "Total", total);
Victor Stinner6bf992a2017-12-06 17:26:10 +01002719 return 1;
Tim Peters7ccfadf2002-04-01 06:04:21 +00002720}
2721
David Malcolm49526f42012-06-22 14:55:41 -04002722#endif /* #ifdef WITH_PYMALLOC */