Home | History | Annotate | Download | only in bionic
      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 
     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  */
    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 
    185 extern "C" void free_malloc_leak_info(uint8_t* info) {
    186     dlfree(info);
    187 }
    188 
    189 extern "C" struct mallinfo mallinfo() {
    190     return dlmallinfo();
    191 }
    192 
    193 extern "C" void* valloc(size_t bytes) {
    194     return dlvalloc(bytes);
    195 }
    196 
    197 extern "C" void* pvalloc(size_t bytes) {
    198     return dlpvalloc(bytes);
    199 }
    200 
    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 
    222 extern "C" void* malloc(size_t bytes) {
    223     return __libc_malloc_dispatch->malloc(bytes);
    224 }
    225 
    226 extern "C" void free(void* mem) {
    227     __libc_malloc_dispatch->free(mem);
    228 }
    229 
    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 
    234 extern "C" void* realloc(void* oldMem, size_t bytes) {
    235     return __libc_malloc_dispatch->realloc(oldMem, bytes);
    236 }
    237 
    238 extern "C" void* memalign(size_t alignment, size_t bytes) {
    239     return __libc_malloc_dispatch->memalign(alignment, bytes);
    240 }
    241 
    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>
    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 
    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. */
    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 
    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  */
    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 
    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