穷人的解决方案是只记录每个呼叫malloc
,free
然后梳理日志并寻找模式。
ld
提供了一个可以在这里提供帮助的惊人功能。
--wrap=symbol
对符号使用包装函数。任何未定义的符号引用都将解析为“__wrap_symbol”。任何对“__real_symbol”的未定义引用都将被解析为符号。
This can be used to provide a wrapper for a system function. The
wrapper function should be called "__wrap_symbol". If it wishes to
call the system function, it should call "__real_symbol".
Here is a trivial example:
void *
__wrap_malloc (size_t c)
{
printf ("malloc called with %zu\n", c);
return __real_malloc (c);
}
If you link other code with this file using --wrap malloc, then all
calls to "malloc" will call the function "__wrap_malloc" instead.
The call to "__real_malloc" in "__wrap_malloc" will call the real
"malloc" function.
You may wish to provide a "__real_malloc" function as well, so that
links without the --wrap option will succeed. If you do this, you
should not put the definition of "__real_malloc" in the same file
as "__wrap_malloc"; if you do, the assembler may resolve the call
before the linker has a chance to wrap it to "malloc".
Update
Just to be clear on how this is useful.
- Add a custom file to Upstart's build.
Like this:
void*__wrap_malloc( size_t c )
{
void *malloced = __real_malloc(c);
/* log malloced with its associated backtrace*/
/* something like: <malloced>: <bt-symbol-1>, <bt-symbol-2>, .. */
return malloced
}
void __wrap_free( void* addr )
{
/* log addr with its associated backtrace*/
/* something like: <addr>: <bt-symbol-1>, <bt-symbol-2>, .. */
__real_free(addr);
}
Recompile upstart with debug symbols (-g
) so you can get some nice backtraces. You can still optimize (-O2/-O3
) the code if you wish.
Link Upstart with the extra LD_FLAGS
--wrap=malloc
, --wrap=free
.
Now anywhere Upstart calls malloc
the symbol will be magically resolved to your new symbol __wrap_malloc
. Beautifully this is all transparent to the compiled code as it happens at link time.
It's like shimming or instrumenting with out any of the mess.
Run the recompiled Upstart as usual until you're sure the leak has occured.
Look through the logs for mismatch malloced
s and addr
s.
A couple of notes:
- The
--wrap=symbol
feature does not work with function names that are actually macros. So watch out for #define malloc nih_malloc
. The this is what libnih does you'd need to use --wrap=nih_malloc
and __wrap_nih_malloc
instead.
- Use gcc's builtin backtracing features.
- All of these changes only affect the recompiled Upstart executable.
- You could dump the logs to an sqlite DB instead with may make it easier to find mismatch mallocs and frees.
- you can make you log format an SQL insert statement then just insert them into a database post-mortem for further analysis.