powerpc: strstr optimization
[glibc.git] / malloc / hooks.c
blobec79f0a908868308ec292bf463a65f7508cc7b7d
1 /* Malloc implementation for multiple threads without lock contention.
2 Copyright (C) 2001-2015 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. */
27 static void *
28 malloc_hook_ini (size_t sz, const void *caller)
30 __malloc_hook = NULL;
31 ptmalloc_init ();
32 return __libc_malloc (sz);
35 static void *
36 realloc_hook_ini (void *ptr, size_t sz, const void *caller)
38 __malloc_hook = NULL;
39 __realloc_hook = NULL;
40 ptmalloc_init ();
41 return __libc_realloc (ptr, sz);
44 static void *
45 memalign_hook_ini (size_t alignment, size_t sz, const void *caller)
47 __memalign_hook = NULL;
48 ptmalloc_init ();
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. */
71 void
72 __malloc_check_init (void)
74 if (disallow_malloc_check)
76 disallow_malloc_check = 0;
77 return;
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. */
91 static unsigned char
92 magicbyte (const void *p)
94 unsigned char magic;
96 magic = (((uintptr_t) p >> 3) ^ ((uintptr_t) p >> 11)) & 0xFF;
97 /* Do not return 1. See the comment in mem2mem_check(). */
98 if (magic == 1)
99 ++magic;
100 return magic;
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
109 corruption. */
110 static size_t
111 malloc_check_get_size (mchunkptr p)
113 size_t size;
114 unsigned char c;
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;
121 size -= c)
123 if (c <= 0 || size < (c + 2 * SIZE_SZ))
125 malloc_printerr (check_action, "malloc_check_get_size: memory corruption",
126 chunk2mem (p),
127 chunk_is_mmapped (p) ? NULL : arena_for_chunk (p));
128 return 0;
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. */
139 static void *
140 internal_function
141 mem2mem_check (void *ptr, size_t req_sz)
143 mchunkptr p;
144 unsigned char *m_ptr = ptr;
145 size_t max_sz, block_sz, i;
146 unsigned char magic;
148 if (!ptr)
149 return ptr;
151 p = mem2chunk (ptr);
152 magic = magicbyte (p);
153 max_sz = chunksize (p) - 2 * SIZE_SZ;
154 if (!chunk_is_mmapped (p))
155 max_sz += SIZE_SZ;
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)
162 --block_sz;
164 m_ptr[i] = block_sz;
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. */
173 static mchunkptr
174 internal_function
175 mem2chunk_check (void *mem, unsigned char **magic_p)
177 mchunkptr p;
178 INTERNAL_SIZE_T sz, c;
179 unsigned char magic;
181 if (!aligned_OK (mem))
182 return NULL;
184 p = mem2chunk (mem);
185 sz = chunksize (p);
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);
191 if ((contig &&
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) && (p->prev_size & MALLOC_ALIGN_MASK ||
196 (contig && (char *) prev_chunk (p) < mp_.sbrk_base) ||
197 next_chunk (prev_chunk (p)) != p)))
198 return NULL;
200 for (sz += SIZE_SZ - 1; (c = ((unsigned char *) p)[sz]) != magic; sz -= c)
202 if (c == 0 || sz < (c + 2 * SIZE_SZ))
203 return NULL;
206 else
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
212 first. */
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 &&
217 offset < 0x2000) ||
218 !chunk_is_mmapped (p) || (p->size & PREV_INUSE) ||
219 ((((unsigned long) p - p->prev_size) & page_mask) != 0) ||
220 ((p->prev_size + sz) & page_mask) != 0)
221 return NULL;
223 for (sz -= 1; (c = ((unsigned char *) p)[sz]) != magic; sz -= c)
225 if (c == 0 || sz < (c + 2 * SIZE_SZ))
226 return NULL;
229 ((unsigned char *) p)[sz] ^= 0xFF;
230 if (magic_p)
231 *magic_p = (unsigned char *) p + sz;
232 return p;
235 /* Check for corruption of the top chunk, and try to recover if
236 necessary. */
238 static int
239 internal_function
240 top_check (void)
242 mchunkptr t = top (&main_arena);
243 char *brk, *new_brk;
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 &&
250 prev_inuse (t) &&
251 (!contiguous (&main_arena) ||
252 (char *) t + chunksize (t) == mp_.sbrk_base + main_arena.system_mem)))
253 return 0;
255 malloc_printerr (check_action, "malloc: top chunk is corrupt", t,
256 &main_arena);
258 /* Try to set up a new top chunk. */
259 brk = MORECORE (0);
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);
269 return -1;
271 /* Call the `morecore' hook if necessary. */
272 void (*hook) (void) = atomic_forced_read (__after_morecore_hook);
273 if (hook)
274 (*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);
280 return 0;
283 static void *
284 malloc_check (size_t sz, const void *caller)
286 void *victim;
288 if (sz + 1 == 0)
290 __set_errno (ENOMEM);
291 return NULL;
294 (void) mutex_lock (&main_arena.mutex);
295 victim = (top_check () >= 0) ? _int_malloc (&main_arena, sz + 1) : NULL;
296 (void) mutex_unlock (&main_arena.mutex);
297 return mem2mem_check (victim, sz);
300 static void
301 free_check (void *mem, const void *caller)
303 mchunkptr p;
305 if (!mem)
306 return;
308 (void) mutex_lock (&main_arena.mutex);
309 p = mem2chunk_check (mem, NULL);
310 if (!p)
312 (void) mutex_unlock (&main_arena.mutex);
314 malloc_printerr (check_action, "free(): invalid pointer", mem,
315 &main_arena);
316 return;
318 if (chunk_is_mmapped (p))
320 (void) mutex_unlock (&main_arena.mutex);
321 munmap_chunk (p);
322 return;
324 _int_free (&main_arena, p, 1);
325 (void) mutex_unlock (&main_arena.mutex);
328 static void *
329 realloc_check (void *oldmem, size_t bytes, const void *caller)
331 INTERNAL_SIZE_T nb;
332 void *newmem = 0;
333 unsigned char *magic_p;
335 if (bytes + 1 == 0)
337 __set_errno (ENOMEM);
338 return NULL;
340 if (oldmem == 0)
341 return malloc_check (bytes, NULL);
343 if (bytes == 0)
345 free_check (oldmem, NULL);
346 return NULL;
348 (void) mutex_lock (&main_arena.mutex);
349 const mchunkptr oldp = mem2chunk_check (oldmem, &magic_p);
350 (void) mutex_unlock (&main_arena.mutex);
351 if (!oldp)
353 malloc_printerr (check_action, "realloc(): invalid pointer", oldmem,
354 &main_arena);
355 return malloc_check (bytes, NULL);
357 const INTERNAL_SIZE_T oldsize = chunksize (oldp);
359 checked_request2size (bytes + 1, nb);
360 (void) mutex_lock (&main_arena.mutex);
362 if (chunk_is_mmapped (oldp))
364 #if HAVE_MREMAP
365 mchunkptr newp = mremap_chunk (oldp, nb);
366 if (newp)
367 newmem = chunk2mem (newp);
368 else
369 #endif
371 /* Note the extra SIZE_SZ overhead. */
372 if (oldsize - SIZE_SZ >= nb)
373 newmem = oldmem; /* do nothing */
374 else
376 /* Must alloc, copy, free. */
377 if (top_check () >= 0)
378 newmem = _int_malloc (&main_arena, bytes + 1);
379 if (newmem)
381 memcpy (newmem, oldmem, oldsize - 2 * SIZE_SZ);
382 munmap_chunk (oldp);
387 else
389 if (top_check () >= 0)
391 INTERNAL_SIZE_T nb;
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. */
400 if (newmem == NULL)
401 *magic_p ^= 0xFF;
403 (void) mutex_unlock (&main_arena.mutex);
405 return mem2mem_check (newmem, bytes);
408 static void *
409 memalign_check (size_t alignment, size_t bytes, const void *caller)
411 void *mem;
413 if (alignment <= MALLOC_ALIGNMENT)
414 return malloc_check (bytes, NULL);
416 if (alignment < MINSIZE)
417 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);
424 return 0;
427 /* Check for overflow. */
428 if (bytes > SIZE_MAX - alignment - MINSIZE)
430 __set_errno (ENOMEM);
431 return 0;
434 /* Make sure alignment is power of 2. */
435 if (!powerof2 (alignment))
437 size_t a = MALLOC_ALIGNMENT * 2;
438 while (a < alignment)
439 a <<= 1;
440 alignment = a;
443 (void) mutex_lock (&main_arena.mutex);
444 mem = (top_check () >= 0) ? _int_memalign (&main_arena, alignment, bytes + 1) :
445 NULL;
446 (void) mutex_unlock (&main_arena.mutex);
447 return mem2mem_check (mem, bytes);
451 /* Get/set state: malloc_get_state() records the current state of all
452 malloc variables (_except_ for the actual heap contents and `hook'
453 function pointers) in a system dependent, opaque data structure.
454 This data structure is dynamically allocated and can be free()d
455 after use. malloc_set_state() restores the state of all malloc
456 variables to the previously obtained state. This is especially
457 useful when using this malloc as part of a shared library, and when
458 the heap contents are saved/restored via some other method. The
459 primary example for this is GNU Emacs with its `dumping' procedure.
460 `Hook' function pointers are never saved or restored by these
461 functions, with two exceptions: If malloc checking was in use when
462 malloc_get_state() was called, then malloc_set_state() calls
463 __malloc_check_init() if possible; if malloc checking was not in
464 use in the recorded state but the user requested malloc checking,
465 then the hooks are reset to 0. */
467 #define MALLOC_STATE_MAGIC 0x444c4541l
468 #define MALLOC_STATE_VERSION (0 * 0x100l + 4l) /* major*0x100 + minor */
470 struct malloc_save_state
472 long magic;
473 long version;
474 mbinptr av[NBINS * 2 + 2];
475 char *sbrk_base;
476 int sbrked_mem_bytes;
477 unsigned long trim_threshold;
478 unsigned long top_pad;
479 unsigned int n_mmaps_max;
480 unsigned long mmap_threshold;
481 int check_action;
482 unsigned long max_sbrked_mem;
483 unsigned long max_total_mem;
484 unsigned int n_mmaps;
485 unsigned int max_n_mmaps;
486 unsigned long mmapped_mem;
487 unsigned long max_mmapped_mem;
488 int using_malloc_checking;
489 unsigned long max_fast;
490 unsigned long arena_test;
491 unsigned long arena_max;
492 unsigned long narenas;
495 void *
496 __malloc_get_state (void)
498 struct malloc_save_state *ms;
499 int i;
500 mbinptr b;
502 ms = (struct malloc_save_state *) __libc_malloc (sizeof (*ms));
503 if (!ms)
504 return 0;
506 (void) mutex_lock (&main_arena.mutex);
507 malloc_consolidate (&main_arena);
508 ms->magic = MALLOC_STATE_MAGIC;
509 ms->version = MALLOC_STATE_VERSION;
510 ms->av[0] = 0;
511 ms->av[1] = 0; /* used to be binblocks, now no longer used */
512 ms->av[2] = top (&main_arena);
513 ms->av[3] = 0; /* used to be undefined */
514 for (i = 1; i < NBINS; i++)
516 b = bin_at (&main_arena, i);
517 if (first (b) == b)
518 ms->av[2 * i + 2] = ms->av[2 * i + 3] = 0; /* empty bin */
519 else
521 ms->av[2 * i + 2] = first (b);
522 ms->av[2 * i + 3] = last (b);
525 ms->sbrk_base = mp_.sbrk_base;
526 ms->sbrked_mem_bytes = main_arena.system_mem;
527 ms->trim_threshold = mp_.trim_threshold;
528 ms->top_pad = mp_.top_pad;
529 ms->n_mmaps_max = mp_.n_mmaps_max;
530 ms->mmap_threshold = mp_.mmap_threshold;
531 ms->check_action = check_action;
532 ms->max_sbrked_mem = main_arena.max_system_mem;
533 ms->max_total_mem = 0;
534 ms->n_mmaps = mp_.n_mmaps;
535 ms->max_n_mmaps = mp_.max_n_mmaps;
536 ms->mmapped_mem = mp_.mmapped_mem;
537 ms->max_mmapped_mem = mp_.max_mmapped_mem;
538 ms->using_malloc_checking = using_malloc_checking;
539 ms->max_fast = get_max_fast ();
540 ms->arena_test = mp_.arena_test;
541 ms->arena_max = mp_.arena_max;
542 ms->narenas = narenas;
543 (void) mutex_unlock (&main_arena.mutex);
544 return (void *) ms;
548 __malloc_set_state (void *msptr)
550 struct malloc_save_state *ms = (struct malloc_save_state *) msptr;
551 size_t i;
552 mbinptr b;
554 disallow_malloc_check = 1;
555 ptmalloc_init ();
556 if (ms->magic != MALLOC_STATE_MAGIC)
557 return -1;
559 /* Must fail if the major version is too high. */
560 if ((ms->version & ~0xffl) > (MALLOC_STATE_VERSION & ~0xffl))
561 return -2;
563 (void) mutex_lock (&main_arena.mutex);
564 /* There are no fastchunks. */
565 clear_fastchunks (&main_arena);
566 if (ms->version >= 4)
567 set_max_fast (ms->max_fast);
568 else
569 set_max_fast (64); /* 64 used to be the value we always used. */
570 for (i = 0; i < NFASTBINS; ++i)
571 fastbin (&main_arena, i) = 0;
572 for (i = 0; i < BINMAPSIZE; ++i)
573 main_arena.binmap[i] = 0;
574 top (&main_arena) = ms->av[2];
575 main_arena.last_remainder = 0;
576 for (i = 1; i < NBINS; i++)
578 b = bin_at (&main_arena, i);
579 if (ms->av[2 * i + 2] == 0)
581 assert (ms->av[2 * i + 3] == 0);
582 first (b) = last (b) = b;
584 else
586 if (ms->version >= 3 &&
587 (i < NSMALLBINS || (largebin_index (chunksize (ms->av[2 * i + 2])) == i &&
588 largebin_index (chunksize (ms->av[2 * i + 3])) == i)))
590 first (b) = ms->av[2 * i + 2];
591 last (b) = ms->av[2 * i + 3];
592 /* Make sure the links to the bins within the heap are correct. */
593 first (b)->bk = b;
594 last (b)->fd = b;
595 /* Set bit in binblocks. */
596 mark_bin (&main_arena, i);
598 else
600 /* Oops, index computation from chunksize must have changed.
601 Link the whole list into unsorted_chunks. */
602 first (b) = last (b) = b;
603 b = unsorted_chunks (&main_arena);
604 ms->av[2 * i + 2]->bk = b;
605 ms->av[2 * i + 3]->fd = b->fd;
606 b->fd->bk = ms->av[2 * i + 3];
607 b->fd = ms->av[2 * i + 2];
611 if (ms->version < 3)
613 /* Clear fd_nextsize and bk_nextsize fields. */
614 b = unsorted_chunks (&main_arena)->fd;
615 while (b != unsorted_chunks (&main_arena))
617 if (!in_smallbin_range (chunksize (b)))
619 b->fd_nextsize = NULL;
620 b->bk_nextsize = NULL;
622 b = b->fd;
625 mp_.sbrk_base = ms->sbrk_base;
626 main_arena.system_mem = ms->sbrked_mem_bytes;
627 mp_.trim_threshold = ms->trim_threshold;
628 mp_.top_pad = ms->top_pad;
629 mp_.n_mmaps_max = ms->n_mmaps_max;
630 mp_.mmap_threshold = ms->mmap_threshold;
631 check_action = ms->check_action;
632 main_arena.max_system_mem = ms->max_sbrked_mem;
633 mp_.n_mmaps = ms->n_mmaps;
634 mp_.max_n_mmaps = ms->max_n_mmaps;
635 mp_.mmapped_mem = ms->mmapped_mem;
636 mp_.max_mmapped_mem = ms->max_mmapped_mem;
637 /* add version-dependent code here */
638 if (ms->version >= 1)
640 /* Check whether it is safe to enable malloc checking, or whether
641 it is necessary to disable it. */
642 if (ms->using_malloc_checking && !using_malloc_checking &&
643 !disallow_malloc_check)
644 __malloc_check_init ();
645 else if (!ms->using_malloc_checking && using_malloc_checking)
647 __malloc_hook = NULL;
648 __free_hook = NULL;
649 __realloc_hook = NULL;
650 __memalign_hook = NULL;
651 using_malloc_checking = 0;
654 if (ms->version >= 4)
656 mp_.arena_test = ms->arena_test;
657 mp_.arena_max = ms->arena_max;
658 narenas = ms->narenas;
660 check_malloc_state (&main_arena);
662 (void) mutex_unlock (&main_arena.mutex);
663 return 0;
667 * Local variables:
668 * c-basic-offset: 2
669 * End: