blob: f420e197617417a7bcddad43aee79e2f55e3ac2e [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
Tim Petersf6fb5012002-04-12 07:38:53 +00002009/* Special bytes broadcast into debug memory blocks at appropriate times.
2010 * Strings of these are unlikely to be valid addresses, floats, ints or
Victor Stinner2b00db62019-04-11 11:33:27 +02002011 * 7-bit ASCII. If modified, _PyMem_IsPtrFreed() should be updated as well.
Victor Stinner4c409be2019-04-11 13:01:15 +02002012 *
2013 * Byte patterns 0xCB, 0xBB and 0xFB have been replaced with 0xCD, 0xDD and
2014 * 0xFD to use the same values than Windows CRT debug malloc() and free().
Tim Petersf6fb5012002-04-12 07:38:53 +00002015 */
2016#undef CLEANBYTE
2017#undef DEADBYTE
2018#undef FORBIDDENBYTE
Victor Stinner4c409be2019-04-11 13:01:15 +02002019#define CLEANBYTE 0xCD /* clean (newly allocated) memory */
2020#define DEADBYTE 0xDD /* dead (newly freed) memory */
2021#define FORBIDDENBYTE 0xFD /* untouchable bytes at each end of a block */
Tim Petersddea2082002-03-23 10:03:50 +00002022
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002023/* Uncomment this define to add the "serialno" field */
2024/* #define PYMEM_DEBUG_SERIALNO */
2025
2026#ifdef PYMEM_DEBUG_SERIALNO
Victor Stinner9e87e772017-11-24 12:09:24 +01002027static size_t serialno = 0; /* incremented on each debug {m,re}alloc */
2028
Tim Peterse0850172002-03-24 00:34:21 +00002029/* serialno is always incremented via calling this routine. The point is
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002030 * to supply a single place to set a breakpoint.
2031 */
Tim Peterse0850172002-03-24 00:34:21 +00002032static void
Neil Schemenauerbd02b142002-03-28 21:05:38 +00002033bumpserialno(void)
Tim Peterse0850172002-03-24 00:34:21 +00002034{
Victor Stinner9e87e772017-11-24 12:09:24 +01002035 ++serialno;
Tim Peterse0850172002-03-24 00:34:21 +00002036}
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002037#endif
Tim Peterse0850172002-03-24 00:34:21 +00002038
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002039#define SST SIZEOF_SIZE_T
Tim Peterse0850172002-03-24 00:34:21 +00002040
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002041#ifdef PYMEM_DEBUG_SERIALNO
2042# define PYMEM_DEBUG_EXTRA_BYTES 4 * SST
2043#else
2044# define PYMEM_DEBUG_EXTRA_BYTES 3 * SST
2045#endif
2046
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002047/* Read sizeof(size_t) bytes at p as a big-endian size_t. */
2048static size_t
2049read_size_t(const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002050{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002051 const uint8_t *q = (const uint8_t *)p;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002052 size_t result = *q++;
2053 int i;
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002054
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002055 for (i = SST; --i > 0; ++q)
2056 result = (result << 8) | *q;
2057 return result;
Tim Petersddea2082002-03-23 10:03:50 +00002058}
2059
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002060/* Write n as a big-endian size_t, MSB at address p, LSB at
2061 * p + sizeof(size_t) - 1.
2062 */
Tim Petersddea2082002-03-23 10:03:50 +00002063static void
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002064write_size_t(void *p, size_t n)
Tim Petersddea2082002-03-23 10:03:50 +00002065{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002066 uint8_t *q = (uint8_t *)p + SST - 1;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002067 int i;
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002068
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002069 for (i = SST; --i >= 0; --q) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07002070 *q = (uint8_t)(n & 0xff);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002071 n >>= 8;
2072 }
Tim Petersddea2082002-03-23 10:03:50 +00002073}
2074
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002075/* Let S = sizeof(size_t). The debug malloc asks for 4 * S extra bytes and
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002076 fills them with useful stuff, here calling the underlying malloc's result p:
Tim Petersddea2082002-03-23 10:03:50 +00002077
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002078p[0: S]
2079 Number of bytes originally asked for. This is a size_t, big-endian (easier
2080 to read in a memory dump).
Georg Brandl7cba5fd2013-09-25 09:04:23 +02002081p[S]
Tim Petersdf099f52013-09-19 21:06:37 -05002082 API ID. See PEP 445. This is a character, but seems undocumented.
2083p[S+1: 2*S]
Tim Petersf6fb5012002-04-12 07:38:53 +00002084 Copies of FORBIDDENBYTE. Used to catch under- writes and reads.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002085p[2*S: 2*S+n]
Tim Petersf6fb5012002-04-12 07:38:53 +00002086 The requested memory, filled with copies of CLEANBYTE.
Tim Petersddea2082002-03-23 10:03:50 +00002087 Used to catch reference to uninitialized memory.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002088 &p[2*S] is returned. Note that this is 8-byte aligned if pymalloc
Tim Petersddea2082002-03-23 10:03:50 +00002089 handled the request itself.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002090p[2*S+n: 2*S+n+S]
Tim Petersf6fb5012002-04-12 07:38:53 +00002091 Copies of FORBIDDENBYTE. Used to catch over- writes and reads.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002092p[2*S+n+S: 2*S+n+2*S]
Victor Stinner0507bf52013-07-07 02:05:46 +02002093 A serial number, incremented by 1 on each call to _PyMem_DebugMalloc
2094 and _PyMem_DebugRealloc.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002095 This is a big-endian size_t.
Tim Petersddea2082002-03-23 10:03:50 +00002096 If "bad memory" is detected later, the serial number gives an
2097 excellent way to set a breakpoint on the next run, to capture the
2098 instant at which this block was passed out.
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002099
2100If PYMEM_DEBUG_SERIALNO is not defined (default), the debug malloc only asks
2101for 3 * S extra bytes, and omits the last serialno field.
Tim Petersddea2082002-03-23 10:03:50 +00002102*/
2103
Victor Stinner0507bf52013-07-07 02:05:46 +02002104static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002105_PyMem_DebugRawAlloc(int use_calloc, void *ctx, size_t nbytes)
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00002106{
Victor Stinner0507bf52013-07-07 02:05:46 +02002107 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002108 uint8_t *p; /* base address of malloc'ed pad block */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002109 uint8_t *data; /* p + 2*SST == pointer to data bytes */
2110 uint8_t *tail; /* data + nbytes == pointer to tail pad bytes */
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002111 size_t total; /* nbytes + PYMEM_DEBUG_EXTRA_BYTES */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002112
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002113 if (nbytes > (size_t)PY_SSIZE_T_MAX - PYMEM_DEBUG_EXTRA_BYTES) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07002114 /* integer overflow: can't represent total as a Py_ssize_t */
2115 return NULL;
2116 }
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002117 total = nbytes + PYMEM_DEBUG_EXTRA_BYTES;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002118
2119 /* Layout: [SSSS IFFF CCCC...CCCC FFFF NNNN]
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002120 ^--- p ^--- data ^--- tail
Victor Stinner9ed83c42017-10-31 12:18:10 -07002121 S: nbytes stored as size_t
2122 I: API identifier (1 byte)
2123 F: Forbidden bytes (size_t - 1 bytes before, size_t bytes after)
2124 C: Clean bytes used later to store actual data
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002125 N: Serial number stored as size_t
2126
2127 If PYMEM_DEBUG_SERIALNO is not defined (default), the last NNNN field
2128 is omitted. */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002129
2130 if (use_calloc) {
2131 p = (uint8_t *)api->alloc.calloc(api->alloc.ctx, 1, total);
2132 }
2133 else {
2134 p = (uint8_t *)api->alloc.malloc(api->alloc.ctx, total);
2135 }
2136 if (p == NULL) {
2137 return NULL;
2138 }
2139 data = p + 2*SST;
Tim Petersddea2082002-03-23 10:03:50 +00002140
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002141#ifdef PYMEM_DEBUG_SERIALNO
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002142 bumpserialno();
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002143#endif
Tim Petersddea2082002-03-23 10:03:50 +00002144
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002145 /* at p, write size (SST bytes), id (1 byte), pad (SST-1 bytes) */
2146 write_size_t(p, nbytes);
Benjamin Peterson19517e42016-09-18 19:22:22 -07002147 p[SST] = (uint8_t)api->api_id;
Victor Stinner0507bf52013-07-07 02:05:46 +02002148 memset(p + SST + 1, FORBIDDENBYTE, SST-1);
Tim Petersddea2082002-03-23 10:03:50 +00002149
Victor Stinner9ed83c42017-10-31 12:18:10 -07002150 if (nbytes > 0 && !use_calloc) {
2151 memset(data, CLEANBYTE, nbytes);
2152 }
Tim Petersddea2082002-03-23 10:03:50 +00002153
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002154 /* at tail, write pad (SST bytes) and serialno (SST bytes) */
Victor Stinner9ed83c42017-10-31 12:18:10 -07002155 tail = data + nbytes;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002156 memset(tail, FORBIDDENBYTE, SST);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002157#ifdef PYMEM_DEBUG_SERIALNO
Victor Stinner9e87e772017-11-24 12:09:24 +01002158 write_size_t(tail + SST, serialno);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002159#endif
Tim Petersddea2082002-03-23 10:03:50 +00002160
Victor Stinner9ed83c42017-10-31 12:18:10 -07002161 return data;
Tim Petersddea2082002-03-23 10:03:50 +00002162}
2163
Victor Stinnerdb067af2014-05-02 22:31:14 +02002164static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002165_PyMem_DebugRawMalloc(void *ctx, size_t nbytes)
Victor Stinnerdb067af2014-05-02 22:31:14 +02002166{
Victor Stinnerc4aec362016-03-14 22:26:53 +01002167 return _PyMem_DebugRawAlloc(0, ctx, nbytes);
Victor Stinnerdb067af2014-05-02 22:31:14 +02002168}
2169
2170static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002171_PyMem_DebugRawCalloc(void *ctx, size_t nelem, size_t elsize)
Victor Stinnerdb067af2014-05-02 22:31:14 +02002172{
2173 size_t nbytes;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002174 assert(elsize == 0 || nelem <= (size_t)PY_SSIZE_T_MAX / elsize);
Victor Stinnerdb067af2014-05-02 22:31:14 +02002175 nbytes = nelem * elsize;
Victor Stinnerc4aec362016-03-14 22:26:53 +01002176 return _PyMem_DebugRawAlloc(1, ctx, nbytes);
Victor Stinnerdb067af2014-05-02 22:31:14 +02002177}
2178
Victor Stinner9ed83c42017-10-31 12:18:10 -07002179
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002180/* 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 +00002181 particular, that the FORBIDDENBYTEs with the api ID are still intact).
Tim Petersf6fb5012002-04-12 07:38:53 +00002182 Then fills the original bytes with DEADBYTE.
Tim Petersddea2082002-03-23 10:03:50 +00002183 Then calls the underlying free.
2184*/
Victor Stinner0507bf52013-07-07 02:05:46 +02002185static void
Victor Stinnerc4aec362016-03-14 22:26:53 +01002186_PyMem_DebugRawFree(void *ctx, void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002187{
Victor Stinner9ed83c42017-10-31 12:18:10 -07002188 /* PyMem_Free(NULL) has no effect */
2189 if (p == NULL) {
2190 return;
2191 }
2192
Victor Stinner0507bf52013-07-07 02:05:46 +02002193 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Benjamin Peterson19517e42016-09-18 19:22:22 -07002194 uint8_t *q = (uint8_t *)p - 2*SST; /* address returned from malloc */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002195 size_t nbytes;
Tim Petersddea2082002-03-23 10:03:50 +00002196
Victor Stinner0507bf52013-07-07 02:05:46 +02002197 _PyMem_DebugCheckAddress(api->api_id, p);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002198 nbytes = read_size_t(q);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002199 nbytes += PYMEM_DEBUG_EXTRA_BYTES;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002200 memset(q, DEADBYTE, nbytes);
Victor Stinner0507bf52013-07-07 02:05:46 +02002201 api->alloc.free(api->alloc.ctx, q);
Tim Petersddea2082002-03-23 10:03:50 +00002202}
2203
Victor Stinner9ed83c42017-10-31 12:18:10 -07002204
Victor Stinner0507bf52013-07-07 02:05:46 +02002205static void *
Victor Stinnerc4aec362016-03-14 22:26:53 +01002206_PyMem_DebugRawRealloc(void *ctx, void *p, size_t nbytes)
Tim Petersddea2082002-03-23 10:03:50 +00002207{
Victor Stinner9ed83c42017-10-31 12:18:10 -07002208 if (p == NULL) {
2209 return _PyMem_DebugRawAlloc(0, ctx, nbytes);
2210 }
2211
Victor Stinner0507bf52013-07-07 02:05:46 +02002212 debug_alloc_api_t *api = (debug_alloc_api_t *)ctx;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002213 uint8_t *head; /* base address of malloc'ed pad block */
2214 uint8_t *data; /* pointer to data bytes */
2215 uint8_t *r;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002216 uint8_t *tail; /* data + nbytes == pointer to tail pad bytes */
2217 size_t total; /* 2 * SST + nbytes + 2 * SST */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002218 size_t original_nbytes;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002219#define ERASED_SIZE 64
2220 uint8_t save[2*ERASED_SIZE]; /* A copy of erased bytes. */
Tim Petersddea2082002-03-23 10:03:50 +00002221
Victor Stinner0507bf52013-07-07 02:05:46 +02002222 _PyMem_DebugCheckAddress(api->api_id, p);
Victor Stinner9ed83c42017-10-31 12:18:10 -07002223
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002224 data = (uint8_t *)p;
2225 head = data - 2*SST;
2226 original_nbytes = read_size_t(head);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002227 if (nbytes > (size_t)PY_SSIZE_T_MAX - PYMEM_DEBUG_EXTRA_BYTES) {
Victor Stinner9ed83c42017-10-31 12:18:10 -07002228 /* integer overflow: can't represent total as a Py_ssize_t */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002229 return NULL;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002230 }
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002231 total = nbytes + PYMEM_DEBUG_EXTRA_BYTES;
Tim Petersddea2082002-03-23 10:03:50 +00002232
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002233 tail = data + original_nbytes;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002234#ifdef PYMEM_DEBUG_SERIALNO
2235 size_t block_serialno = read_size_t(tail + SST);
2236#endif
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002237 /* Mark the header, the trailer, ERASED_SIZE bytes at the begin and
2238 ERASED_SIZE bytes at the end as dead and save the copy of erased bytes.
2239 */
2240 if (original_nbytes <= sizeof(save)) {
2241 memcpy(save, data, original_nbytes);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002242 memset(data - 2 * SST, DEADBYTE,
2243 original_nbytes + PYMEM_DEBUG_EXTRA_BYTES);
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002244 }
2245 else {
2246 memcpy(save, data, ERASED_SIZE);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002247 memset(head, DEADBYTE, ERASED_SIZE + 2 * SST);
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002248 memcpy(&save[ERASED_SIZE], tail - ERASED_SIZE, ERASED_SIZE);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002249 memset(tail - ERASED_SIZE, DEADBYTE,
2250 ERASED_SIZE + PYMEM_DEBUG_EXTRA_BYTES - 2 * SST);
Victor Stinner9ed83c42017-10-31 12:18:10 -07002251 }
Tim Peters85cc1c42002-04-12 08:52:50 +00002252
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002253 /* Resize and add decorations. */
2254 r = (uint8_t *)api->alloc.realloc(api->alloc.ctx, head, total);
2255 if (r == NULL) {
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002256 /* if realloc() failed: rewrite header and footer which have
2257 just been erased */
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002258 nbytes = original_nbytes;
Victor Stinner9ed83c42017-10-31 12:18:10 -07002259 }
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002260 else {
2261 head = r;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002262#ifdef PYMEM_DEBUG_SERIALNO
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002263 bumpserialno();
Victor Stinner9e87e772017-11-24 12:09:24 +01002264 block_serialno = serialno;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002265#endif
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002266 }
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002267 data = head + 2*SST;
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002268
2269 write_size_t(head, nbytes);
2270 head[SST] = (uint8_t)api->api_id;
2271 memset(head + SST + 1, FORBIDDENBYTE, SST-1);
Victor Stinnerc4266362013-07-09 00:44:43 +02002272
Victor Stinner9ed83c42017-10-31 12:18:10 -07002273 tail = data + nbytes;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002274 memset(tail, FORBIDDENBYTE, SST);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002275#ifdef PYMEM_DEBUG_SERIALNO
Victor Stinner9e87e772017-11-24 12:09:24 +01002276 write_size_t(tail + SST, block_serialno);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002277#endif
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002278
2279 /* Restore saved bytes. */
2280 if (original_nbytes <= sizeof(save)) {
2281 memcpy(data, save, Py_MIN(nbytes, original_nbytes));
2282 }
2283 else {
2284 size_t i = original_nbytes - ERASED_SIZE;
2285 memcpy(data, save, Py_MIN(nbytes, ERASED_SIZE));
2286 if (nbytes > i) {
2287 memcpy(data + i, &save[ERASED_SIZE],
2288 Py_MIN(nbytes - i, ERASED_SIZE));
2289 }
2290 }
2291
2292 if (r == NULL) {
2293 return NULL;
2294 }
Tim Peters85cc1c42002-04-12 08:52:50 +00002295
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002296 if (nbytes > original_nbytes) {
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002297 /* growing: mark new extra memory clean */
Serhiy Storchaka3cc4c532017-11-07 12:46:42 +02002298 memset(data + original_nbytes, CLEANBYTE, nbytes - original_nbytes);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002299 }
Tim Peters85cc1c42002-04-12 08:52:50 +00002300
Victor Stinner9ed83c42017-10-31 12:18:10 -07002301 return data;
Tim Petersddea2082002-03-23 10:03:50 +00002302}
2303
Victor Stinnerc4aec362016-03-14 22:26:53 +01002304static void
2305_PyMem_DebugCheckGIL(void)
2306{
Victor Stinnerc4aec362016-03-14 22:26:53 +01002307 if (!PyGILState_Check())
2308 Py_FatalError("Python memory allocator called "
2309 "without holding the GIL");
Victor Stinnerc4aec362016-03-14 22:26:53 +01002310}
2311
2312static void *
2313_PyMem_DebugMalloc(void *ctx, size_t nbytes)
2314{
2315 _PyMem_DebugCheckGIL();
2316 return _PyMem_DebugRawMalloc(ctx, nbytes);
2317}
2318
2319static void *
2320_PyMem_DebugCalloc(void *ctx, size_t nelem, size_t elsize)
2321{
2322 _PyMem_DebugCheckGIL();
2323 return _PyMem_DebugRawCalloc(ctx, nelem, elsize);
2324}
2325
Victor Stinner9ed83c42017-10-31 12:18:10 -07002326
Victor Stinnerc4aec362016-03-14 22:26:53 +01002327static void
2328_PyMem_DebugFree(void *ctx, void *ptr)
2329{
2330 _PyMem_DebugCheckGIL();
Victor Stinner0aed3a42016-03-23 11:30:43 +01002331 _PyMem_DebugRawFree(ctx, ptr);
Victor Stinnerc4aec362016-03-14 22:26:53 +01002332}
2333
Victor Stinner9ed83c42017-10-31 12:18:10 -07002334
Victor Stinnerc4aec362016-03-14 22:26:53 +01002335static void *
2336_PyMem_DebugRealloc(void *ctx, void *ptr, size_t nbytes)
2337{
2338 _PyMem_DebugCheckGIL();
2339 return _PyMem_DebugRawRealloc(ctx, ptr, nbytes);
2340}
2341
Tim Peters7ccfadf2002-04-01 06:04:21 +00002342/* Check the forbidden bytes on both ends of the memory allocated for p.
Neil Schemenauerd2560cd2002-04-12 03:10:20 +00002343 * If anything is wrong, print info to stderr via _PyObject_DebugDumpAddress,
Tim Peters7ccfadf2002-04-01 06:04:21 +00002344 * and call Py_FatalError to kill the program.
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00002345 * The API id, is also checked.
Tim Peters7ccfadf2002-04-01 06:04:21 +00002346 */
Victor Stinner0507bf52013-07-07 02:05:46 +02002347static void
2348_PyMem_DebugCheckAddress(char api, const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002349{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002350 const uint8_t *q = (const uint8_t *)p;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002351 char msgbuf[64];
Serhiy Storchakae2f92de2017-11-11 13:06:26 +02002352 const char *msg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002353 size_t nbytes;
Benjamin Peterson19517e42016-09-18 19:22:22 -07002354 const uint8_t *tail;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002355 int i;
2356 char id;
Tim Petersddea2082002-03-23 10:03:50 +00002357
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002358 if (p == NULL) {
2359 msg = "didn't expect a NULL pointer";
2360 goto error;
2361 }
Tim Petersddea2082002-03-23 10:03:50 +00002362
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002363 /* Check the API id */
2364 id = (char)q[-SST];
2365 if (id != api) {
2366 msg = msgbuf;
Serhiy Storchakae2f92de2017-11-11 13:06:26 +02002367 snprintf(msgbuf, sizeof(msgbuf), "bad ID: Allocated using API '%c', verified using API '%c'", id, api);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002368 msgbuf[sizeof(msgbuf)-1] = 0;
2369 goto error;
2370 }
Kristján Valur Jónssonae4cfb12009-09-28 13:45:02 +00002371
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002372 /* Check the stuff at the start of p first: if there's underwrite
2373 * corruption, the number-of-bytes field may be nuts, and checking
2374 * the tail could lead to a segfault then.
2375 */
2376 for (i = SST-1; i >= 1; --i) {
2377 if (*(q-i) != FORBIDDENBYTE) {
2378 msg = "bad leading pad byte";
2379 goto error;
2380 }
2381 }
Tim Petersddea2082002-03-23 10:03:50 +00002382
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002383 nbytes = read_size_t(q - 2*SST);
2384 tail = q + nbytes;
2385 for (i = 0; i < SST; ++i) {
2386 if (tail[i] != FORBIDDENBYTE) {
2387 msg = "bad trailing pad byte";
2388 goto error;
2389 }
2390 }
Tim Petersddea2082002-03-23 10:03:50 +00002391
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002392 return;
Tim Petersd1139e02002-03-28 07:32:11 +00002393
2394error:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002395 _PyObject_DebugDumpAddress(p);
2396 Py_FatalError(msg);
Tim Petersddea2082002-03-23 10:03:50 +00002397}
2398
Tim Peters7ccfadf2002-04-01 06:04:21 +00002399/* Display info to stderr about the memory block at p. */
Victor Stinner0507bf52013-07-07 02:05:46 +02002400static void
Neil Schemenauerd2560cd2002-04-12 03:10:20 +00002401_PyObject_DebugDumpAddress(const void *p)
Tim Petersddea2082002-03-23 10:03:50 +00002402{
Benjamin Peterson19517e42016-09-18 19:22:22 -07002403 const uint8_t *q = (const uint8_t *)p;
2404 const uint8_t *tail;
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002405 size_t nbytes;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002406 int i;
2407 int ok;
2408 char id;
Tim Petersddea2082002-03-23 10:03:50 +00002409
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002410 fprintf(stderr, "Debug memory block at address p=%p:", p);
2411 if (p == NULL) {
2412 fprintf(stderr, "\n");
2413 return;
2414 }
2415 id = (char)q[-SST];
2416 fprintf(stderr, " API '%c'\n", id);
Tim Petersddea2082002-03-23 10:03:50 +00002417
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002418 nbytes = read_size_t(q - 2*SST);
2419 fprintf(stderr, " %" PY_FORMAT_SIZE_T "u bytes originally "
2420 "requested\n", nbytes);
Tim Petersddea2082002-03-23 10:03:50 +00002421
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002422 /* In case this is nuts, check the leading pad bytes first. */
2423 fprintf(stderr, " The %d pad bytes at p-%d are ", SST-1, SST-1);
2424 ok = 1;
2425 for (i = 1; i <= SST-1; ++i) {
2426 if (*(q-i) != FORBIDDENBYTE) {
2427 ok = 0;
2428 break;
2429 }
2430 }
2431 if (ok)
2432 fputs("FORBIDDENBYTE, as expected.\n", stderr);
2433 else {
2434 fprintf(stderr, "not all FORBIDDENBYTE (0x%02x):\n",
2435 FORBIDDENBYTE);
2436 for (i = SST-1; i >= 1; --i) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07002437 const uint8_t byte = *(q-i);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002438 fprintf(stderr, " at p-%d: 0x%02x", i, byte);
2439 if (byte != FORBIDDENBYTE)
2440 fputs(" *** OUCH", stderr);
2441 fputc('\n', stderr);
2442 }
Tim Peters449b5a82002-04-28 06:14:45 +00002443
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002444 fputs(" Because memory is corrupted at the start, the "
2445 "count of bytes requested\n"
2446 " may be bogus, and checking the trailing pad "
2447 "bytes may segfault.\n", stderr);
2448 }
Tim Petersddea2082002-03-23 10:03:50 +00002449
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002450 tail = q + nbytes;
Zackery Spytz1a2252e2019-05-06 10:56:51 -06002451 fprintf(stderr, " The %d pad bytes at tail=%p are ", SST, (void *)tail);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002452 ok = 1;
2453 for (i = 0; i < SST; ++i) {
2454 if (tail[i] != FORBIDDENBYTE) {
2455 ok = 0;
2456 break;
2457 }
2458 }
2459 if (ok)
2460 fputs("FORBIDDENBYTE, as expected.\n", stderr);
2461 else {
2462 fprintf(stderr, "not all FORBIDDENBYTE (0x%02x):\n",
Stefan Krah735bb122010-11-26 10:54:09 +00002463 FORBIDDENBYTE);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002464 for (i = 0; i < SST; ++i) {
Benjamin Peterson19517e42016-09-18 19:22:22 -07002465 const uint8_t byte = tail[i];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002466 fprintf(stderr, " at tail+%d: 0x%02x",
Stefan Krah735bb122010-11-26 10:54:09 +00002467 i, byte);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002468 if (byte != FORBIDDENBYTE)
2469 fputs(" *** OUCH", stderr);
2470 fputc('\n', stderr);
2471 }
2472 }
Tim Petersddea2082002-03-23 10:03:50 +00002473
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002474#ifdef PYMEM_DEBUG_SERIALNO
2475 size_t serial = read_size_t(tail + SST);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002476 fprintf(stderr, " The block was made by call #%" PY_FORMAT_SIZE_T
2477 "u to debug malloc/realloc.\n", serial);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002478#endif
Tim Petersddea2082002-03-23 10:03:50 +00002479
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002480 if (nbytes > 0) {
2481 i = 0;
2482 fputs(" Data at p:", stderr);
2483 /* print up to 8 bytes at the start */
2484 while (q < tail && i < 8) {
2485 fprintf(stderr, " %02x", *q);
2486 ++i;
2487 ++q;
2488 }
2489 /* and up to 8 at the end */
2490 if (q < tail) {
2491 if (tail - q > 8) {
2492 fputs(" ...", stderr);
2493 q = tail - 8;
2494 }
2495 while (q < tail) {
2496 fprintf(stderr, " %02x", *q);
2497 ++q;
2498 }
2499 }
2500 fputc('\n', stderr);
2501 }
Victor Stinner0611c262016-03-15 22:22:13 +01002502 fputc('\n', stderr);
2503
2504 fflush(stderr);
2505 _PyMem_DumpTraceback(fileno(stderr), p);
Tim Petersddea2082002-03-23 10:03:50 +00002506}
2507
David Malcolm49526f42012-06-22 14:55:41 -04002508
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00002509static size_t
David Malcolm49526f42012-06-22 14:55:41 -04002510printone(FILE *out, const char* msg, size_t value)
Tim Peters16bcb6b2002-04-05 05:45:31 +00002511{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002512 int i, k;
2513 char buf[100];
2514 size_t origvalue = value;
Tim Peters16bcb6b2002-04-05 05:45:31 +00002515
David Malcolm49526f42012-06-22 14:55:41 -04002516 fputs(msg, out);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002517 for (i = (int)strlen(msg); i < 35; ++i)
David Malcolm49526f42012-06-22 14:55:41 -04002518 fputc(' ', out);
2519 fputc('=', out);
Tim Peters49f26812002-04-06 01:45:35 +00002520
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002521 /* Write the value with commas. */
2522 i = 22;
2523 buf[i--] = '\0';
2524 buf[i--] = '\n';
2525 k = 3;
2526 do {
2527 size_t nextvalue = value / 10;
Benjamin Peterson2dba1ee2013-02-20 16:54:30 -05002528 unsigned int digit = (unsigned int)(value - nextvalue * 10);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002529 value = nextvalue;
2530 buf[i--] = (char)(digit + '0');
2531 --k;
2532 if (k == 0 && value && i >= 0) {
2533 k = 3;
2534 buf[i--] = ',';
2535 }
2536 } while (value && i >= 0);
Tim Peters49f26812002-04-06 01:45:35 +00002537
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002538 while (i >= 0)
2539 buf[i--] = ' ';
David Malcolm49526f42012-06-22 14:55:41 -04002540 fputs(buf, out);
Tim Peters49f26812002-04-06 01:45:35 +00002541
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002542 return origvalue;
Tim Peters16bcb6b2002-04-05 05:45:31 +00002543}
2544
David Malcolm49526f42012-06-22 14:55:41 -04002545void
2546_PyDebugAllocatorStats(FILE *out,
2547 const char *block_name, int num_blocks, size_t sizeof_block)
2548{
2549 char buf1[128];
2550 char buf2[128];
2551 PyOS_snprintf(buf1, sizeof(buf1),
Tim Peterseaa3bcc2013-09-05 22:57:04 -05002552 "%d %ss * %" PY_FORMAT_SIZE_T "d bytes each",
David Malcolm49526f42012-06-22 14:55:41 -04002553 num_blocks, block_name, sizeof_block);
2554 PyOS_snprintf(buf2, sizeof(buf2),
2555 "%48s ", buf1);
2556 (void)printone(out, buf2, num_blocks * sizeof_block);
2557}
2558
Victor Stinner34be807c2016-03-14 12:04:26 +01002559
David Malcolm49526f42012-06-22 14:55:41 -04002560#ifdef WITH_PYMALLOC
2561
Victor Stinner34be807c2016-03-14 12:04:26 +01002562#ifdef Py_DEBUG
2563/* Is target in the list? The list is traversed via the nextpool pointers.
2564 * The list may be NULL-terminated, or circular. Return 1 if target is in
2565 * list, else 0.
2566 */
2567static int
2568pool_is_in_list(const poolp target, poolp list)
2569{
2570 poolp origlist = list;
2571 assert(target != NULL);
2572 if (list == NULL)
2573 return 0;
2574 do {
2575 if (target == list)
2576 return 1;
2577 list = list->nextpool;
2578 } while (list != NULL && list != origlist);
2579 return 0;
2580}
2581#endif
2582
David Malcolm49526f42012-06-22 14:55:41 -04002583/* Print summary info to "out" about the state of pymalloc's structures.
Tim Peters08d82152002-04-18 22:25:03 +00002584 * In Py_DEBUG mode, also perform some expensive internal consistency
2585 * checks.
Victor Stinner6bf992a2017-12-06 17:26:10 +01002586 *
2587 * Return 0 if the memory debug hooks are not installed or no statistics was
Leo Ariasc3d95082018-02-03 18:36:10 -06002588 * written into out, return 1 otherwise.
Tim Peters08d82152002-04-18 22:25:03 +00002589 */
Victor Stinner6bf992a2017-12-06 17:26:10 +01002590int
David Malcolm49526f42012-06-22 14:55:41 -04002591_PyObject_DebugMallocStats(FILE *out)
Tim Peters7ccfadf2002-04-01 06:04:21 +00002592{
Victor Stinner6bf992a2017-12-06 17:26:10 +01002593 if (!_PyMem_PymallocEnabled()) {
2594 return 0;
2595 }
2596
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002597 uint i;
2598 const uint numclasses = SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT;
2599 /* # of pools, allocated blocks, and free blocks per class index */
2600 size_t numpools[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
2601 size_t numblocks[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
2602 size_t numfreeblocks[SMALL_REQUEST_THRESHOLD >> ALIGNMENT_SHIFT];
2603 /* total # of allocated bytes in used and full pools */
2604 size_t allocated_bytes = 0;
2605 /* total # of available bytes in used pools */
2606 size_t available_bytes = 0;
2607 /* # of free pools + pools not yet carved out of current arena */
2608 uint numfreepools = 0;
2609 /* # of bytes for arena alignment padding */
2610 size_t arena_alignment = 0;
2611 /* # of bytes in used and full pools used for pool_headers */
2612 size_t pool_header_bytes = 0;
2613 /* # of bytes in used and full pools wasted due to quantization,
2614 * i.e. the necessarily leftover space at the ends of used and
2615 * full pools.
2616 */
2617 size_t quantization = 0;
2618 /* # of arenas actually allocated. */
2619 size_t narenas = 0;
2620 /* running total -- should equal narenas * ARENA_SIZE */
2621 size_t total;
2622 char buf[128];
Tim Peters7ccfadf2002-04-01 06:04:21 +00002623
David Malcolm49526f42012-06-22 14:55:41 -04002624 fprintf(out, "Small block threshold = %d, in %u size classes.\n",
Stefan Krah735bb122010-11-26 10:54:09 +00002625 SMALL_REQUEST_THRESHOLD, numclasses);
Tim Peters7ccfadf2002-04-01 06:04:21 +00002626
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002627 for (i = 0; i < numclasses; ++i)
2628 numpools[i] = numblocks[i] = numfreeblocks[i] = 0;
Tim Peters7ccfadf2002-04-01 06:04:21 +00002629
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002630 /* Because full pools aren't linked to from anything, it's easiest
2631 * to march over all the arenas. If we're lucky, most of the memory
2632 * will be living in full pools -- would be a shame to miss them.
2633 */
Victor Stinner9e87e772017-11-24 12:09:24 +01002634 for (i = 0; i < maxarenas; ++i) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002635 uint j;
Victor Stinner9e87e772017-11-24 12:09:24 +01002636 uintptr_t base = arenas[i].address;
Thomas Woutersa9773292006-04-21 09:43:23 +00002637
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002638 /* Skip arenas which are not allocated. */
Victor Stinner9e87e772017-11-24 12:09:24 +01002639 if (arenas[i].address == (uintptr_t)NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002640 continue;
2641 narenas += 1;
Thomas Woutersa9773292006-04-21 09:43:23 +00002642
Victor Stinner9e87e772017-11-24 12:09:24 +01002643 numfreepools += arenas[i].nfreepools;
Tim Peters7ccfadf2002-04-01 06:04:21 +00002644
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002645 /* round up to pool alignment */
Benjamin Peterson5d4b09c2016-09-18 19:24:52 -07002646 if (base & (uintptr_t)POOL_SIZE_MASK) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002647 arena_alignment += POOL_SIZE;
Benjamin Peterson5d4b09c2016-09-18 19:24:52 -07002648 base &= ~(uintptr_t)POOL_SIZE_MASK;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002649 base += POOL_SIZE;
2650 }
Tim Peters7ccfadf2002-04-01 06:04:21 +00002651
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002652 /* visit every pool in the arena */
Victor Stinner9e87e772017-11-24 12:09:24 +01002653 assert(base <= (uintptr_t) arenas[i].pool_address);
2654 for (j = 0; base < (uintptr_t) arenas[i].pool_address;
Benjamin Peterson19517e42016-09-18 19:22:22 -07002655 ++j, base += POOL_SIZE) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002656 poolp p = (poolp)base;
2657 const uint sz = p->szidx;
2658 uint freeblocks;
Tim Peters08d82152002-04-18 22:25:03 +00002659
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002660 if (p->ref.count == 0) {
2661 /* currently unused */
Victor Stinner34be807c2016-03-14 12:04:26 +01002662#ifdef Py_DEBUG
Victor Stinner9e87e772017-11-24 12:09:24 +01002663 assert(pool_is_in_list(p, arenas[i].freepools));
Victor Stinner34be807c2016-03-14 12:04:26 +01002664#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002665 continue;
2666 }
2667 ++numpools[sz];
2668 numblocks[sz] += p->ref.count;
2669 freeblocks = NUMBLOCKS(sz) - p->ref.count;
2670 numfreeblocks[sz] += freeblocks;
Tim Peters08d82152002-04-18 22:25:03 +00002671#ifdef Py_DEBUG
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002672 if (freeblocks > 0)
Victor Stinner9e87e772017-11-24 12:09:24 +01002673 assert(pool_is_in_list(p, usedpools[sz + sz]));
Tim Peters08d82152002-04-18 22:25:03 +00002674#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002675 }
2676 }
Victor Stinner9e87e772017-11-24 12:09:24 +01002677 assert(narenas == narenas_currently_allocated);
Tim Peters7ccfadf2002-04-01 06:04:21 +00002678
David Malcolm49526f42012-06-22 14:55:41 -04002679 fputc('\n', out);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002680 fputs("class size num pools blocks in use avail blocks\n"
2681 "----- ---- --------- ------------- ------------\n",
David Malcolm49526f42012-06-22 14:55:41 -04002682 out);
Tim Peters7ccfadf2002-04-01 06:04:21 +00002683
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002684 for (i = 0; i < numclasses; ++i) {
2685 size_t p = numpools[i];
2686 size_t b = numblocks[i];
2687 size_t f = numfreeblocks[i];
2688 uint size = INDEX2SIZE(i);
2689 if (p == 0) {
2690 assert(b == 0 && f == 0);
2691 continue;
2692 }
David Malcolm49526f42012-06-22 14:55:41 -04002693 fprintf(out, "%5u %6u "
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002694 "%11" PY_FORMAT_SIZE_T "u "
2695 "%15" PY_FORMAT_SIZE_T "u "
2696 "%13" PY_FORMAT_SIZE_T "u\n",
Stefan Krah735bb122010-11-26 10:54:09 +00002697 i, size, p, b, f);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002698 allocated_bytes += b * size;
2699 available_bytes += f * size;
2700 pool_header_bytes += p * POOL_OVERHEAD;
2701 quantization += p * ((POOL_SIZE - POOL_OVERHEAD) % size);
2702 }
David Malcolm49526f42012-06-22 14:55:41 -04002703 fputc('\n', out);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002704#ifdef PYMEM_DEBUG_SERIALNO
2705 if (_PyMem_DebugEnabled()) {
Victor Stinner9e87e772017-11-24 12:09:24 +01002706 (void)printone(out, "# times object malloc called", serialno);
Victor Stinnere8f9acf2019-04-12 21:54:06 +02002707 }
2708#endif
Victor Stinner9e87e772017-11-24 12:09:24 +01002709 (void)printone(out, "# arenas allocated total", ntimes_arena_allocated);
2710 (void)printone(out, "# arenas reclaimed", ntimes_arena_allocated - narenas);
2711 (void)printone(out, "# arenas highwater mark", narenas_highwater);
David Malcolm49526f42012-06-22 14:55:41 -04002712 (void)printone(out, "# arenas allocated current", narenas);
Thomas Woutersa9773292006-04-21 09:43:23 +00002713
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002714 PyOS_snprintf(buf, sizeof(buf),
2715 "%" PY_FORMAT_SIZE_T "u arenas * %d bytes/arena",
2716 narenas, ARENA_SIZE);
David Malcolm49526f42012-06-22 14:55:41 -04002717 (void)printone(out, buf, narenas * ARENA_SIZE);
Tim Peters16bcb6b2002-04-05 05:45:31 +00002718
David Malcolm49526f42012-06-22 14:55:41 -04002719 fputc('\n', out);
Tim Peters16bcb6b2002-04-05 05:45:31 +00002720
David Malcolm49526f42012-06-22 14:55:41 -04002721 total = printone(out, "# bytes in allocated blocks", allocated_bytes);
2722 total += printone(out, "# bytes in available blocks", available_bytes);
Tim Peters49f26812002-04-06 01:45:35 +00002723
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002724 PyOS_snprintf(buf, sizeof(buf),
2725 "%u unused pools * %d bytes", numfreepools, POOL_SIZE);
David Malcolm49526f42012-06-22 14:55:41 -04002726 total += printone(out, buf, (size_t)numfreepools * POOL_SIZE);
Tim Peters16bcb6b2002-04-05 05:45:31 +00002727
David Malcolm49526f42012-06-22 14:55:41 -04002728 total += printone(out, "# bytes lost to pool headers", pool_header_bytes);
2729 total += printone(out, "# bytes lost to quantization", quantization);
2730 total += printone(out, "# bytes lost to arena alignment", arena_alignment);
2731 (void)printone(out, "Total", total);
Victor Stinner6bf992a2017-12-06 17:26:10 +01002732 return 1;
Tim Peters7ccfadf2002-04-01 06:04:21 +00002733}
2734
David Malcolm49526f42012-06-22 14:55:41 -04002735#endif /* #ifdef WITH_PYMALLOC */