• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright (C) 2009 The Android Open Source Project
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions
7  * are met:
8  *  * Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions and the following disclaimer.
10  *  * Redistributions in binary form must reproduce the above copyright
11  *    notice, this list of conditions and the following disclaimer in
12  *    the documentation and/or other materials provided with the
13  *    distribution.
14  *
15  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
18  * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
19  * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
21  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
22  * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
23  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
25  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26  * SUCH DAMAGE.
27  */
28 
29 /*
30  * Contains definition of structures, global variables, and implementation of
31  * routines that are used by malloc leak detection code and other components in
32  * the system. The trick is that some components expect these data and
33  * routines to be defined / implemented in libc.so library, regardless
34  * whether or not MALLOC_LEAK_CHECK macro is defined. To make things even
35  * more tricky, malloc leak detection code, implemented in
36  * libc_malloc_debug.so also requires access to these variables and routines
37  * (to fill allocation entry hash table, for example). So, all relevant
38  * variables and routines are defined / implemented here and exported
39  * to all, leak detection code and other components via dynamic (libc.so),
40  * or static (libc.a) linking.
41  */
42 
43 #include "malloc_debug_common.h"
44 
45 #include <pthread.h>
46 #include <stdlib.h>
47 #include <unistd.h>
48 
49 #include "dlmalloc.h"
50 #include "ScopedPthreadMutexLocker.h"
51 
52 /*
53  * In a VM process, this is set to 1 after fork()ing out of zygote.
54  */
55 int gMallocLeakZygoteChild = 0;
56 
57 pthread_mutex_t gAllocationsMutex = PTHREAD_MUTEX_INITIALIZER;
58 HashTable gHashTable;
59 
60 // =============================================================================
61 // output functions
62 // =============================================================================
63 
hash_entry_compare(const void * arg1,const void * arg2)64 static int hash_entry_compare(const void* arg1, const void* arg2) {
65     int result;
66 
67     const HashEntry* e1 = *static_cast<HashEntry* const*>(arg1);
68     const HashEntry* e2 = *static_cast<HashEntry* const*>(arg2);
69 
70     // if one or both arg pointers are null, deal gracefully
71     if (e1 == NULL) {
72         result = (e2 == NULL) ? 0 : 1;
73     } else if (e2 == NULL) {
74         result = -1;
75     } else {
76         size_t nbAlloc1 = e1->allocations;
77         size_t nbAlloc2 = e2->allocations;
78         size_t size1 = e1->size & ~SIZE_FLAG_MASK;
79         size_t size2 = e2->size & ~SIZE_FLAG_MASK;
80         size_t alloc1 = nbAlloc1 * size1;
81         size_t alloc2 = nbAlloc2 * size2;
82 
83         // sort in descending order by:
84         // 1) total size
85         // 2) number of allocations
86         //
87         // This is used for sorting, not determination of equality, so we don't
88         // need to compare the bit flags.
89         if (alloc1 > alloc2) {
90             result = -1;
91         } else if (alloc1 < alloc2) {
92             result = 1;
93         } else {
94             if (nbAlloc1 > nbAlloc2) {
95                 result = -1;
96             } else if (nbAlloc1 < nbAlloc2) {
97                 result = 1;
98             } else {
99                 result = 0;
100             }
101         }
102     }
103     return result;
104 }
105 
106 /*
107  * Retrieve native heap information.
108  *
109  * "*info" is set to a buffer we allocate
110  * "*overallSize" is set to the size of the "info" buffer
111  * "*infoSize" is set to the size of a single entry
112  * "*totalMemory" is set to the sum of all allocations we're tracking; does
113  *   not include heap overhead
114  * "*backtraceSize" is set to the maximum number of entries in the back trace
115  */
get_malloc_leak_info(uint8_t ** info,size_t * overallSize,size_t * infoSize,size_t * totalMemory,size_t * backtraceSize)116 extern "C" void get_malloc_leak_info(uint8_t** info, size_t* overallSize,
117         size_t* infoSize, size_t* totalMemory, size_t* backtraceSize) {
118     // don't do anything if we have invalid arguments
119     if (info == NULL || overallSize == NULL || infoSize == NULL ||
120             totalMemory == NULL || backtraceSize == NULL) {
121         return;
122     }
123     *totalMemory = 0;
124 
125     ScopedPthreadMutexLocker locker(&gAllocationsMutex);
126 
127     if (gHashTable.count == 0) {
128         *info = NULL;
129         *overallSize = 0;
130         *infoSize = 0;
131         *backtraceSize = 0;
132         return;
133     }
134 
135     HashEntry** list = static_cast<HashEntry**>(dlmalloc(sizeof(void*) * gHashTable.count));
136 
137     // get the entries into an array to be sorted
138     int index = 0;
139     for (size_t i = 0 ; i < HASHTABLE_SIZE ; ++i) {
140         HashEntry* entry = gHashTable.slots[i];
141         while (entry != NULL) {
142             list[index] = entry;
143             *totalMemory = *totalMemory +
144                 ((entry->size & ~SIZE_FLAG_MASK) * entry->allocations);
145             index++;
146             entry = entry->next;
147         }
148     }
149 
150     // XXX: the protocol doesn't allow variable size for the stack trace (yet)
151     *infoSize = (sizeof(size_t) * 2) + (sizeof(uintptr_t) * BACKTRACE_SIZE);
152     *overallSize = *infoSize * gHashTable.count;
153     *backtraceSize = BACKTRACE_SIZE;
154 
155     // now get a byte array big enough for this
156     *info = static_cast<uint8_t*>(dlmalloc(*overallSize));
157 
158     if (*info == NULL) {
159         *overallSize = 0;
160         dlfree(list);
161         return;
162     }
163 
164     qsort(list, gHashTable.count, sizeof(void*), hash_entry_compare);
165 
166     uint8_t* head = *info;
167     const int count = gHashTable.count;
168     for (int i = 0 ; i < count ; ++i) {
169         HashEntry* entry = list[i];
170         size_t entrySize = (sizeof(size_t) * 2) + (sizeof(uintptr_t) * entry->numEntries);
171         if (entrySize < *infoSize) {
172             /* we're writing less than a full entry, clear out the rest */
173             memset(head + entrySize, 0, *infoSize - entrySize);
174         } else {
175             /* make sure the amount we're copying doesn't exceed the limit */
176             entrySize = *infoSize;
177         }
178         memcpy(head, &(entry->size), entrySize);
179         head += *infoSize;
180     }
181 
182     dlfree(list);
183 }
184 
free_malloc_leak_info(uint8_t * info)185 extern "C" void free_malloc_leak_info(uint8_t* info) {
186     dlfree(info);
187 }
188 
mallinfo()189 extern "C" struct mallinfo mallinfo() {
190     return dlmallinfo();
191 }
192 
valloc(size_t bytes)193 extern "C" void* valloc(size_t bytes) {
194     return dlvalloc(bytes);
195 }
196 
pvalloc(size_t bytes)197 extern "C" void* pvalloc(size_t bytes) {
198     return dlpvalloc(bytes);
199 }
200 
posix_memalign(void ** memptr,size_t alignment,size_t size)201 extern "C" int posix_memalign(void** memptr, size_t alignment, size_t size) {
202     return dlposix_memalign(memptr, alignment, size);
203 }
204 
205 /* Support for malloc debugging.
206  * Note that if USE_DL_PREFIX is not defined, it's assumed that memory
207  * allocation routines are implemented somewhere else, so all our custom
208  * malloc routines should not be compiled at all.
209  */
210 #ifdef USE_DL_PREFIX
211 
212 /* Table for dispatching malloc calls, initialized with default dispatchers. */
213 extern const MallocDebug __libc_malloc_default_dispatch;
214 const MallocDebug __libc_malloc_default_dispatch __attribute__((aligned(32))) =
215 {
216     dlmalloc, dlfree, dlcalloc, dlrealloc, dlmemalign, dlmalloc_usable_size,
217 };
218 
219 /* Selector of dispatch table to use for dispatching malloc calls. */
220 const MallocDebug* __libc_malloc_dispatch = &__libc_malloc_default_dispatch;
221 
malloc(size_t bytes)222 extern "C" void* malloc(size_t bytes) {
223     return __libc_malloc_dispatch->malloc(bytes);
224 }
225 
free(void * mem)226 extern "C" void free(void* mem) {
227     __libc_malloc_dispatch->free(mem);
228 }
229 
calloc(size_t n_elements,size_t elem_size)230 extern "C" void* calloc(size_t n_elements, size_t elem_size) {
231     return __libc_malloc_dispatch->calloc(n_elements, elem_size);
232 }
233 
realloc(void * oldMem,size_t bytes)234 extern "C" void* realloc(void* oldMem, size_t bytes) {
235     return __libc_malloc_dispatch->realloc(oldMem, bytes);
236 }
237 
memalign(size_t alignment,size_t bytes)238 extern "C" void* memalign(size_t alignment, size_t bytes) {
239     return __libc_malloc_dispatch->memalign(alignment, bytes);
240 }
241 
malloc_usable_size(const void * mem)242 extern "C" size_t malloc_usable_size(const void* mem) {
243     return __libc_malloc_dispatch->malloc_usable_size(mem);
244 }
245 
246 /* We implement malloc debugging only in libc.so, so code below
247  * must be excluded if we compile this file for static libc.a
248  */
249 #ifndef LIBC_STATIC
250 #include <sys/system_properties.h>
251 #include <dlfcn.h>
252 #include <stdio.h>
253 #include "libc_logging.h"
254 
255 /* Table for dispatching malloc calls, depending on environment. */
256 static MallocDebug gMallocUse __attribute__((aligned(32))) = {
257     dlmalloc, dlfree, dlcalloc, dlrealloc, dlmemalign, dlmalloc_usable_size
258 };
259 
260 extern const char* __progname;
261 
262 /* Handle to shared library where actual memory allocation is implemented.
263  * This library is loaded and memory allocation calls are redirected there
264  * when libc.debug.malloc environment variable contains value other than
265  * zero:
266  * 1  - For memory leak detections.
267  * 5  - For filling allocated / freed memory with patterns defined by
268  *      CHK_SENTINEL_VALUE, and CHK_FILL_FREE macros.
269  * 10 - For adding pre-, and post- allocation stubs in order to detect
270  *      buffer overruns.
271  * Note that emulator's memory allocation instrumentation is not controlled by
272  * libc.debug.malloc value, but rather by emulator, started with -memcheck
273  * option. Note also, that if emulator has started with -memcheck option,
274  * emulator's instrumented memory allocation will take over value saved in
275  * libc.debug.malloc. In other words, if emulator has started with -memcheck
276  * option, libc.debug.malloc value is ignored.
277  * Actual functionality for debug levels 1-10 is implemented in
278  * libc_malloc_debug_leak.so, while functionality for emultor's instrumented
279  * allocations is implemented in libc_malloc_debug_qemu.so and can be run inside
280  * the emulator only.
281  */
282 static void* libc_malloc_impl_handle = NULL;
283 
284 /* This variable is set to the value of property libc.debug.malloc.backlog,
285  * when the value of libc.debug.malloc = 10.  It determines the size of the
286  * backlog we use to detect multiple frees.  If the property is not set, the
287  * backlog length defaults to BACKLOG_DEFAULT_LEN.
288  */
289 unsigned int gMallocDebugBacklog;
290 #define BACKLOG_DEFAULT_LEN 100
291 
292 /* The value of libc.debug.malloc. */
293 int gMallocDebugLevel;
294 
295 template<typename FunctionType>
InitMallocFunction(void * malloc_impl_handler,FunctionType * func,const char * prefix,const char * suffix)296 void InitMallocFunction(void* malloc_impl_handler, FunctionType* func, const char* prefix, const char* suffix) {
297     char symbol[128];
298     snprintf(symbol, sizeof(symbol), "%s_%s", prefix, suffix);
299     *func = reinterpret_cast<FunctionType>(dlsym(malloc_impl_handler, symbol));
300     if (*func == NULL) {
301         error_log("%s: dlsym(\"%s\") failed", __progname, symbol);
302     }
303 }
304 
InitMalloc(void * malloc_impl_handler,MallocDebug * table,const char * prefix)305 static void InitMalloc(void* malloc_impl_handler, MallocDebug* table, const char* prefix) {
306     __libc_format_log(ANDROID_LOG_INFO, "libc", "%s: using libc.debug.malloc %d (%s)\n",
307                       __progname, gMallocDebugLevel, prefix);
308 
309     InitMallocFunction<MallocDebugMalloc>(malloc_impl_handler, &table->malloc, prefix, "malloc");
310     InitMallocFunction<MallocDebugFree>(malloc_impl_handler, &table->free, prefix, "free");
311     InitMallocFunction<MallocDebugCalloc>(malloc_impl_handler, &table->calloc, prefix, "calloc");
312     InitMallocFunction<MallocDebugRealloc>(malloc_impl_handler, &table->realloc, prefix, "realloc");
313     InitMallocFunction<MallocDebugMemalign>(malloc_impl_handler, &table->memalign, prefix, "memalign");
314     InitMallocFunction<MallocDebugMallocUsableSize>(malloc_impl_handler, &table->malloc_usable_size, prefix, "malloc_usable_size");
315 }
316 
317 /* Initializes memory allocation framework once per process. */
malloc_init_impl()318 static void malloc_init_impl() {
319     const char* so_name = NULL;
320     MallocDebugInit malloc_debug_initialize = NULL;
321     unsigned int qemu_running = 0;
322     unsigned int memcheck_enabled = 0;
323     char env[PROP_VALUE_MAX];
324     char memcheck_tracing[PROP_VALUE_MAX];
325     char debug_program[PROP_VALUE_MAX];
326 
327     /* Get custom malloc debug level. Note that emulator started with
328      * memory checking option will have priority over debug level set in
329      * libc.debug.malloc system property. */
330     if (__system_property_get("ro.kernel.qemu", env) && atoi(env)) {
331         qemu_running = 1;
332         if (__system_property_get("ro.kernel.memcheck", memcheck_tracing)) {
333             if (memcheck_tracing[0] != '0') {
334                 // Emulator has started with memory tracing enabled. Enforce it.
335                 gMallocDebugLevel = 20;
336                 memcheck_enabled = 1;
337             }
338         }
339     }
340 
341     /* If debug level has not been set by memcheck option in the emulator,
342      * lets grab it from libc.debug.malloc system property. */
343     if (gMallocDebugLevel == 0 && __system_property_get("libc.debug.malloc", env)) {
344         gMallocDebugLevel = atoi(env);
345     }
346 
347     /* Debug level 0 means that we should use dlxxx allocation
348      * routines (default). */
349     if (gMallocDebugLevel == 0) {
350         return;
351     }
352 
353     /* If libc.debug.malloc.program is set and is not a substring of progname,
354      * then exit.
355      */
356     if (__system_property_get("libc.debug.malloc.program", debug_program)) {
357         if (!strstr(__progname, debug_program)) {
358             return;
359         }
360     }
361 
362     // mksh is way too leaky. http://b/7291287.
363     if (gMallocDebugLevel >= 10) {
364         if (strcmp(__progname, "sh") == 0 || strcmp(__progname, "/system/bin/sh") == 0) {
365             return;
366         }
367     }
368 
369     // Choose the appropriate .so for the requested debug level.
370     switch (gMallocDebugLevel) {
371         case 1:
372         case 5:
373         case 10: {
374             char debug_backlog[PROP_VALUE_MAX];
375             if (__system_property_get("libc.debug.malloc.backlog", debug_backlog)) {
376                 gMallocDebugBacklog = atoi(debug_backlog);
377                 info_log("%s: setting backlog length to %d\n", __progname, gMallocDebugBacklog);
378             }
379             if (gMallocDebugBacklog == 0) {
380                 gMallocDebugBacklog = BACKLOG_DEFAULT_LEN;
381             }
382             so_name = "/system/lib/libc_malloc_debug_leak.so";
383             break;
384         }
385         case 20:
386             // Quick check: debug level 20 can only be handled in emulator.
387             if (!qemu_running) {
388                 error_log("%s: Debug level %d can only be set in emulator\n",
389                           __progname, gMallocDebugLevel);
390                 return;
391             }
392             // Make sure that memory checking has been enabled in emulator.
393             if (!memcheck_enabled) {
394                 error_log("%s: Memory checking is not enabled in the emulator\n",
395                           __progname);
396                 return;
397             }
398             so_name = "/system/lib/libc_malloc_debug_qemu.so";
399             break;
400         default:
401             error_log("%s: Debug level %d is unknown\n", __progname, gMallocDebugLevel);
402             return;
403     }
404 
405     // Load .so that implements the required malloc debugging functionality.
406     void* malloc_impl_handle = dlopen(so_name, RTLD_LAZY);
407     if (malloc_impl_handle == NULL) {
408         error_log("%s: Missing module %s required for malloc debug level %d: %s",
409                   __progname, so_name, gMallocDebugLevel, dlerror());
410         return;
411     }
412 
413     // Initialize malloc debugging in the loaded module.
414     malloc_debug_initialize = reinterpret_cast<MallocDebugInit>(dlsym(malloc_impl_handle,
415                                                                       "malloc_debug_initialize"));
416     if (malloc_debug_initialize == NULL) {
417         error_log("%s: Initialization routine is not found in %s\n",
418                   __progname, so_name);
419         dlclose(malloc_impl_handle);
420         return;
421     }
422     if (malloc_debug_initialize() == -1) {
423         dlclose(malloc_impl_handle);
424         return;
425     }
426 
427     if (gMallocDebugLevel == 20) {
428         // For memory checker we need to do extra initialization.
429         typedef int (*MemCheckInit)(int, const char*);
430         MemCheckInit memcheck_initialize =
431             reinterpret_cast<MemCheckInit>(dlsym(malloc_impl_handle,
432                                                  "memcheck_initialize"));
433         if (memcheck_initialize == NULL) {
434             error_log("%s: memcheck_initialize routine is not found in %s\n",
435                       __progname, so_name);
436             dlclose(malloc_impl_handle);
437             return;
438         }
439 
440         if (memcheck_initialize(MALLOC_ALIGNMENT, memcheck_tracing)) {
441             dlclose(malloc_impl_handle);
442             return;
443         }
444     }
445 
446 
447     // Initialize malloc dispatch table with appropriate routines.
448     switch (gMallocDebugLevel) {
449         case 1:
450             InitMalloc(malloc_impl_handle, &gMallocUse, "leak");
451             break;
452         case 5:
453             InitMalloc(malloc_impl_handle, &gMallocUse, "fill");
454             break;
455         case 10:
456             InitMalloc(malloc_impl_handle, &gMallocUse, "chk");
457             break;
458         case 20:
459             InitMalloc(malloc_impl_handle, &gMallocUse, "qemu_instrumented");
460             break;
461         default:
462             break;
463     }
464 
465     // Make sure dispatch table is initialized
466     if ((gMallocUse.malloc == NULL) ||
467         (gMallocUse.free == NULL) ||
468         (gMallocUse.calloc == NULL) ||
469         (gMallocUse.realloc == NULL) ||
470         (gMallocUse.memalign == NULL) ||
471         (gMallocUse.malloc_usable_size == NULL)) {
472         error_log("%s: some symbols for libc.debug.malloc level %d were not found (see above)",
473                   __progname, gMallocDebugLevel);
474         dlclose(malloc_impl_handle);
475     } else {
476         __libc_malloc_dispatch = &gMallocUse;
477         libc_malloc_impl_handle = malloc_impl_handle;
478     }
479 }
480 
malloc_fini_impl()481 static void malloc_fini_impl() {
482     // Our BSD stdio implementation doesn't close the standard streams, it only flushes them.
483     // And it doesn't do that until its atexit handler (_cleanup) is run, and we run first!
484     // It's great that other unclosed FILE*s show up as malloc leaks, but we need to manually
485     // clean up the standard streams ourselves.
486     fclose(stdin);
487     fclose(stdout);
488     fclose(stderr);
489 
490     if (libc_malloc_impl_handle != NULL) {
491         MallocDebugFini malloc_debug_finalize =
492             reinterpret_cast<MallocDebugFini>(dlsym(libc_malloc_impl_handle,
493                                                     "malloc_debug_finalize"));
494         if (malloc_debug_finalize != NULL) {
495             malloc_debug_finalize();
496         }
497     }
498 }
499 
500 static pthread_once_t  malloc_init_once_ctl = PTHREAD_ONCE_INIT;
501 static pthread_once_t  malloc_fini_once_ctl = PTHREAD_ONCE_INIT;
502 
503 #endif  // !LIBC_STATIC
504 #endif  // USE_DL_PREFIX
505 
506 /* Initializes memory allocation framework.
507  * This routine is called from __libc_init routines implemented
508  * in libc_init_static.c and libc_init_dynamic.c files.
509  */
malloc_debug_init()510 extern "C" __LIBC_HIDDEN__ void malloc_debug_init() {
511     /* We need to initialize malloc iff we implement here custom
512      * malloc routines (i.e. USE_DL_PREFIX is defined) for libc.so */
513 #if defined(USE_DL_PREFIX) && !defined(LIBC_STATIC)
514     if (pthread_once(&malloc_init_once_ctl, malloc_init_impl)) {
515         error_log("Unable to initialize malloc_debug component.");
516     }
517 #endif  // USE_DL_PREFIX && !LIBC_STATIC
518 }
519 
malloc_debug_fini()520 extern "C" __LIBC_HIDDEN__ void malloc_debug_fini() {
521     /* We need to finalize malloc iff we implement here custom
522      * malloc routines (i.e. USE_DL_PREFIX is defined) for libc.so */
523 #if defined(USE_DL_PREFIX) && !defined(LIBC_STATIC)
524     if (pthread_once(&malloc_fini_once_ctl, malloc_fini_impl)) {
525         error_log("Unable to finalize malloc_debug component.");
526     }
527 #endif  // USE_DL_PREFIX && !LIBC_STATIC
528 }
529