1 /* Malloc implementation for multiple threads without lock contention.
2 Copyright (C) 2001-2017 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4 Contributed by Wolfram Gloger <wg@malloc.de>, 2001.
6 The GNU C Library is free software; you can redistribute it and/or
7 modify it under the terms of the GNU Lesser General Public License as
8 published by the Free Software Foundation; either version 2.1 of the
9 License, or (at your option) any later version.
11 The GNU C Library is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 Lesser General Public License for more details.
16 You should have received a copy of the GNU Lesser General Public
17 License along with the GNU C Library; see the file COPYING.LIB. If
18 not, see <http://www.gnu.org/licenses/>. */
20 /* What to do if the standard debugging hooks are in place and a
21 corrupt pointer is detected: do nothing (0), print an error message
22 (1), or call abort() (2). */
24 /* Hooks for debugging versions. The initial hooks just call the
25 initialization routine, then do the normal work. */
28 malloc_hook_ini (size_t sz
, const void *caller
)
32 return __libc_malloc (sz
);
36 realloc_hook_ini (void *ptr
, size_t sz
, const void *caller
)
39 __realloc_hook
= NULL
;
41 return __libc_realloc (ptr
, sz
);
45 memalign_hook_ini (size_t alignment
, size_t sz
, const void *caller
)
47 __memalign_hook
= NULL
;
49 return __libc_memalign (alignment
, sz
);
52 /* Whether we are using malloc checking. */
53 static int using_malloc_checking
;
55 /* A flag that is set by malloc_set_state, to signal that malloc checking
56 must not be enabled on the request from the user (via the MALLOC_CHECK_
57 environment variable). It is reset by __malloc_check_init to tell
58 malloc_set_state that the user has requested malloc checking.
60 The purpose of this flag is to make sure that malloc checking is not
61 enabled when the heap to be restored was constructed without malloc
62 checking, and thus does not contain the required magic bytes.
63 Otherwise the heap would be corrupted by calls to free and realloc. If
64 it turns out that the heap was created with malloc checking and the
65 user has requested it malloc_set_state just calls __malloc_check_init
66 again to enable it. On the other hand, reusing such a heap without
67 further malloc checking is safe. */
68 static int disallow_malloc_check
;
70 /* Activate a standard set of debugging hooks. */
72 __malloc_check_init (void)
74 if (disallow_malloc_check
)
76 disallow_malloc_check
= 0;
79 using_malloc_checking
= 1;
80 __malloc_hook
= malloc_check
;
81 __free_hook
= free_check
;
82 __realloc_hook
= realloc_check
;
83 __memalign_hook
= memalign_check
;
86 /* A simple, standard set of debugging hooks. Overhead is `only' one
87 byte per chunk; still this will catch most cases of double frees or
88 overruns. The goal here is to avoid obscure crashes due to invalid
89 usage, unlike in the MALLOC_DEBUG code. */
92 magicbyte (const void *p
)
96 magic
= (((uintptr_t) p
>> 3) ^ ((uintptr_t) p
>> 11)) & 0xFF;
97 /* Do not return 1. See the comment in mem2mem_check(). */
104 /* Visualize the chunk as being partitioned into blocks of 255 bytes from the
105 highest address of the chunk, downwards. The end of each block tells
106 us the size of that block, up to the actual size of the requested
107 memory. Our magic byte is right at the end of the requested size, so we
108 must reach it with this iteration, otherwise we have witnessed a memory
111 malloc_check_get_size (mchunkptr p
)
115 unsigned char magic
= magicbyte (p
);
117 assert (using_malloc_checking
== 1);
119 for (size
= chunksize (p
) - 1 + (chunk_is_mmapped (p
) ? 0 : SIZE_SZ
);
120 (c
= ((unsigned char *) p
)[size
]) != magic
;
123 if (c
<= 0 || size
< (c
+ 2 * SIZE_SZ
))
125 malloc_printerr (check_action
, "malloc_check_get_size: memory corruption",
127 chunk_is_mmapped (p
) ? NULL
: arena_for_chunk (p
));
132 /* chunk2mem size. */
133 return size
- 2 * SIZE_SZ
;
136 /* Instrument a chunk with overrun detector byte(s) and convert it
137 into a user pointer with requested size req_sz. */
141 mem2mem_check (void *ptr
, size_t req_sz
)
144 unsigned char *m_ptr
= ptr
;
145 size_t max_sz
, block_sz
, i
;
152 magic
= magicbyte (p
);
153 max_sz
= chunksize (p
) - 2 * SIZE_SZ
;
154 if (!chunk_is_mmapped (p
))
156 for (i
= max_sz
- 1; i
> req_sz
; i
-= block_sz
)
158 block_sz
= MIN (i
- req_sz
, 0xff);
159 /* Don't allow the magic byte to appear in the chain of length bytes.
160 For the following to work, magicbyte cannot return 0x01. */
161 if (block_sz
== magic
)
166 m_ptr
[req_sz
] = magic
;
167 return (void *) m_ptr
;
170 /* Convert a pointer to be free()d or realloc()ed to a valid chunk
171 pointer. If the provided pointer is not valid, return NULL. */
175 mem2chunk_check (void *mem
, unsigned char **magic_p
)
178 INTERNAL_SIZE_T sz
, c
;
181 if (!aligned_OK (mem
))
186 magic
= magicbyte (p
);
187 if (!chunk_is_mmapped (p
))
189 /* Must be a chunk in conventional heap memory. */
190 int contig
= contiguous (&main_arena
);
192 ((char *) p
< mp_
.sbrk_base
||
193 ((char *) p
+ sz
) >= (mp_
.sbrk_base
+ main_arena
.system_mem
))) ||
194 sz
< MINSIZE
|| sz
& MALLOC_ALIGN_MASK
|| !inuse (p
) ||
195 (!prev_inuse (p
) && ((prev_size (p
) & MALLOC_ALIGN_MASK
) != 0 ||
196 (contig
&& (char *) prev_chunk (p
) < mp_
.sbrk_base
) ||
197 next_chunk (prev_chunk (p
)) != p
)))
200 for (sz
+= SIZE_SZ
- 1; (c
= ((unsigned char *) p
)[sz
]) != magic
; sz
-= c
)
202 if (c
== 0 || sz
< (c
+ 2 * SIZE_SZ
))
208 unsigned long offset
, page_mask
= GLRO (dl_pagesize
) - 1;
210 /* mmap()ed chunks have MALLOC_ALIGNMENT or higher power-of-two
211 alignment relative to the beginning of a page. Check this
213 offset
= (unsigned long) mem
& page_mask
;
214 if ((offset
!= MALLOC_ALIGNMENT
&& offset
!= 0 && offset
!= 0x10 &&
215 offset
!= 0x20 && offset
!= 0x40 && offset
!= 0x80 && offset
!= 0x100 &&
216 offset
!= 0x200 && offset
!= 0x400 && offset
!= 0x800 && offset
!= 0x1000 &&
218 !chunk_is_mmapped (p
) || prev_inuse (p
) ||
219 ((((unsigned long) p
- prev_size (p
)) & page_mask
) != 0) ||
220 ((prev_size (p
) + sz
) & page_mask
) != 0)
223 for (sz
-= 1; (c
= ((unsigned char *) p
)[sz
]) != magic
; sz
-= c
)
225 if (c
== 0 || sz
< (c
+ 2 * SIZE_SZ
))
229 ((unsigned char *) p
)[sz
] ^= 0xFF;
231 *magic_p
= (unsigned char *) p
+ sz
;
235 /* Check for corruption of the top chunk, and try to recover if
242 mchunkptr t
= top (&main_arena
);
244 INTERNAL_SIZE_T front_misalign
, sbrk_size
;
245 unsigned long pagesz
= GLRO (dl_pagesize
);
247 if (t
== initial_top (&main_arena
) ||
248 (!chunk_is_mmapped (t
) &&
249 chunksize (t
) >= MINSIZE
&&
251 (!contiguous (&main_arena
) ||
252 (char *) t
+ chunksize (t
) == mp_
.sbrk_base
+ main_arena
.system_mem
)))
255 malloc_printerr (check_action
, "malloc: top chunk is corrupt", t
,
258 /* Try to set up a new top chunk. */
260 front_misalign
= (unsigned long) chunk2mem (brk
) & MALLOC_ALIGN_MASK
;
261 if (front_misalign
> 0)
262 front_misalign
= MALLOC_ALIGNMENT
- front_misalign
;
263 sbrk_size
= front_misalign
+ mp_
.top_pad
+ MINSIZE
;
264 sbrk_size
+= pagesz
- ((unsigned long) (brk
+ sbrk_size
) & (pagesz
- 1));
265 new_brk
= (char *) (MORECORE (sbrk_size
));
266 if (new_brk
== (char *) (MORECORE_FAILURE
))
268 __set_errno (ENOMEM
);
271 /* Call the `morecore' hook if necessary. */
272 void (*hook
) (void) = atomic_forced_read (__after_morecore_hook
);
275 main_arena
.system_mem
= (new_brk
- mp_
.sbrk_base
) + sbrk_size
;
277 top (&main_arena
) = (mchunkptr
) (brk
+ front_misalign
);
278 set_head (top (&main_arena
), (sbrk_size
- front_misalign
) | PREV_INUSE
);
284 malloc_check (size_t sz
, const void *caller
)
290 __set_errno (ENOMEM
);
294 __libc_lock_lock (main_arena
.mutex
);
295 victim
= (top_check () >= 0) ? _int_malloc (&main_arena
, sz
+ 1) : NULL
;
296 __libc_lock_unlock (main_arena
.mutex
);
297 return mem2mem_check (victim
, sz
);
301 free_check (void *mem
, const void *caller
)
308 __libc_lock_lock (main_arena
.mutex
);
309 p
= mem2chunk_check (mem
, NULL
);
312 __libc_lock_unlock (main_arena
.mutex
);
314 malloc_printerr (check_action
, "free(): invalid pointer", mem
,
318 if (chunk_is_mmapped (p
))
320 __libc_lock_unlock (main_arena
.mutex
);
324 _int_free (&main_arena
, p
, 1);
325 __libc_lock_unlock (main_arena
.mutex
);
329 realloc_check (void *oldmem
, size_t bytes
, const void *caller
)
333 unsigned char *magic_p
;
337 __set_errno (ENOMEM
);
341 return malloc_check (bytes
, NULL
);
345 free_check (oldmem
, NULL
);
348 __libc_lock_lock (main_arena
.mutex
);
349 const mchunkptr oldp
= mem2chunk_check (oldmem
, &magic_p
);
350 __libc_lock_unlock (main_arena
.mutex
);
353 malloc_printerr (check_action
, "realloc(): invalid pointer", oldmem
,
355 return malloc_check (bytes
, NULL
);
357 const INTERNAL_SIZE_T oldsize
= chunksize (oldp
);
359 checked_request2size (bytes
+ 1, nb
);
360 __libc_lock_lock (main_arena
.mutex
);
362 if (chunk_is_mmapped (oldp
))
365 mchunkptr newp
= mremap_chunk (oldp
, nb
);
367 newmem
= chunk2mem (newp
);
371 /* Note the extra SIZE_SZ overhead. */
372 if (oldsize
- SIZE_SZ
>= nb
)
373 newmem
= oldmem
; /* do nothing */
376 /* Must alloc, copy, free. */
377 if (top_check () >= 0)
378 newmem
= _int_malloc (&main_arena
, bytes
+ 1);
381 memcpy (newmem
, oldmem
, oldsize
- 2 * SIZE_SZ
);
389 if (top_check () >= 0)
392 checked_request2size (bytes
+ 1, nb
);
393 newmem
= _int_realloc (&main_arena
, oldp
, oldsize
, nb
);
397 /* mem2chunk_check changed the magic byte in the old chunk.
398 If newmem is NULL, then the old chunk will still be used though,
399 so we need to invert that change here. */
403 __libc_lock_unlock (main_arena
.mutex
);
405 return mem2mem_check (newmem
, bytes
);
409 memalign_check (size_t alignment
, size_t bytes
, const void *caller
)
413 if (alignment
<= MALLOC_ALIGNMENT
)
414 return malloc_check (bytes
, NULL
);
416 if (alignment
< MINSIZE
)
419 /* If the alignment is greater than SIZE_MAX / 2 + 1 it cannot be a
420 power of 2 and will cause overflow in the check below. */
421 if (alignment
> SIZE_MAX
/ 2 + 1)
423 __set_errno (EINVAL
);
427 /* Check for overflow. */
428 if (bytes
> SIZE_MAX
- alignment
- MINSIZE
)
430 __set_errno (ENOMEM
);
434 /* Make sure alignment is power of 2. */
435 if (!powerof2 (alignment
))
437 size_t a
= MALLOC_ALIGNMENT
* 2;
438 while (a
< alignment
)
443 __libc_lock_lock (main_arena
.mutex
);
444 mem
= (top_check () >= 0) ? _int_memalign (&main_arena
, alignment
, bytes
+ 1) :
446 __libc_lock_unlock (main_arena
.mutex
);
447 return mem2mem_check (mem
, bytes
);
450 #if SHLIB_COMPAT (libc, GLIBC_2_0, GLIBC_2_25)
452 /* Get/set state: malloc_get_state() records the current state of all
453 malloc variables (_except_ for the actual heap contents and `hook'
454 function pointers) in a system dependent, opaque data structure.
455 This data structure is dynamically allocated and can be free()d
456 after use. malloc_set_state() restores the state of all malloc
457 variables to the previously obtained state. This is especially
458 useful when using this malloc as part of a shared library, and when
459 the heap contents are saved/restored via some other method. The
460 primary example for this is GNU Emacs with its `dumping' procedure.
461 `Hook' function pointers are never saved or restored by these
462 functions, with two exceptions: If malloc checking was in use when
463 malloc_get_state() was called, then malloc_set_state() calls
464 __malloc_check_init() if possible; if malloc checking was not in
465 use in the recorded state but the user requested malloc checking,
466 then the hooks are reset to 0. */
468 #define MALLOC_STATE_MAGIC 0x444c4541l
469 #define MALLOC_STATE_VERSION (0 * 0x100l + 5l) /* major*0x100 + minor */
471 struct malloc_save_state
475 mbinptr av
[NBINS
* 2 + 2];
477 int sbrked_mem_bytes
;
478 unsigned long trim_threshold
;
479 unsigned long top_pad
;
480 unsigned int n_mmaps_max
;
481 unsigned long mmap_threshold
;
483 unsigned long max_sbrked_mem
;
484 unsigned long max_total_mem
; /* Always 0, for backwards compatibility. */
485 unsigned int n_mmaps
;
486 unsigned int max_n_mmaps
;
487 unsigned long mmapped_mem
;
488 unsigned long max_mmapped_mem
;
489 int using_malloc_checking
;
490 unsigned long max_fast
;
491 unsigned long arena_test
;
492 unsigned long arena_max
;
493 unsigned long narenas
;
496 /* Dummy implementation which always fails. We need to provide this
497 symbol so that existing Emacs binaries continue to work with
500 attribute_compat_text_section
501 malloc_get_state (void)
503 __set_errno (ENOSYS
);
506 compat_symbol (libc
, malloc_get_state
, malloc_get_state
, GLIBC_2_0
);
509 attribute_compat_text_section
510 malloc_set_state (void *msptr
)
512 struct malloc_save_state
*ms
= (struct malloc_save_state
*) msptr
;
514 if (ms
->magic
!= MALLOC_STATE_MAGIC
)
517 /* Must fail if the major version is too high. */
518 if ((ms
->version
& ~0xffl
) > (MALLOC_STATE_VERSION
& ~0xffl
))
521 /* We do not need to perform locking here because __malloc_set_state
522 must be called before the first call into the malloc subsytem
523 (usually via __malloc_initialize_hook). pthread_create always
524 calls calloc and thus must be called only afterwards, so there
525 cannot be more than one thread when we reach this point. */
527 /* Disable the malloc hooks (and malloc checking). */
528 __malloc_hook
= NULL
;
529 __realloc_hook
= NULL
;
531 __memalign_hook
= NULL
;
532 using_malloc_checking
= 0;
534 /* Patch the dumped heap. We no longer try to integrate into the
535 existing heap. Instead, we mark the existing chunks as mmapped.
536 Together with the update to dumped_main_arena_start and
537 dumped_main_arena_end, realloc and free will recognize these
538 chunks as dumped fake mmapped chunks and never free them. */
540 /* Find the chunk with the lowest address with the heap. */
541 mchunkptr chunk
= NULL
;
543 size_t *candidate
= (size_t *) ms
->sbrk_base
;
544 size_t *end
= (size_t *) (ms
->sbrk_base
+ ms
->sbrked_mem_bytes
);
545 while (candidate
< end
)
548 chunk
= mem2chunk ((void *) (candidate
+ 1));
557 /* Iterate over the dumped heap and patch the chunks so that they
558 are treated as fake mmapped chunks. */
559 mchunkptr top
= ms
->av
[2];
564 /* Mark chunk as mmapped, to trigger the fallback path. */
565 size_t size
= chunksize (chunk
);
566 set_head (chunk
, size
| IS_MMAPPED
);
568 chunk
= next_chunk (chunk
);
571 /* The dumped fake mmapped chunks all lie in this address range. */
572 dumped_main_arena_start
= (mchunkptr
) ms
->sbrk_base
;
573 dumped_main_arena_end
= top
;
577 compat_symbol (libc
, malloc_set_state
, malloc_set_state
, GLIBC_2_0
);
579 #endif /* SHLIB_COMPAT */