C/C++的printf会调用malloc()

排查内存问题(或相关的疑难杂症)时,可能一句printf就能让bug出现,或者赶走bug。你可能觉得很神奇,但这并不神奇。

至少我们可以在 Linux-x64 下,通过 malloc hook,来验证当前的编译环境下, printf 确实是调用了 malloc。 而 malloc 底层也不是吃素的, 默认是 glibc 的 ptmalloc 这个内存管理器, 如果本身你的程序把内存控制块写坏了, 继续 malloc 那就容易出现问题, 也就表现为 printf 影响了 bug 的出现。

来看代码。 伸手党可以直接看 godbolt:

https://godbolt.org/z/PPYMW613d

hook.c

c 复制代码
#include <stdlib.h>
#include <stdio.h>
#include <unistd.h>
#include <dlfcn.h>
#include <malloc.h> // malloc_usable_size
#include <inttypes.h>
#include <pthread.h>

// 颜色定义
#define GREEN "\x1b[32m"
#define YELLOW "\x1b[33m"
#define BLUE "\x1b[34m"
#define RESET "\x1b[0m"

// 线程局部存储防止递归
static __thread int reentrancy_guard = 0;

// 真实函数指针
static void* (*real_malloc)(size_t size) = NULL;
static void (*real_free)(void* ptr) = NULL;
static void* (*real_realloc)(void* ptr, size_t size) = NULL;

// 初始化函数,使用 pthread_once 确保只初始化一次
static pthread_once_t init_once = PTHREAD_ONCE_INIT;

static void init_real_functions() {
    //real_malloc = dlsym(RTLD_NEXT, "malloc");
    real_malloc = (void* (*)(size_t))dlsym(RTLD_NEXT, "malloc");
    real_free = (void (*)(void*))dlsym(RTLD_NEXT, "free");
    real_realloc = (void* (*)(void*, size_t))dlsym(RTLD_NEXT, "realloc");
    if (!real_malloc || !real_free || !real_realloc) {
        const char *error = "Error in `dlsym`\n";
        write(STDERR_FILENO, error, sizeof("Error in `dlsym`\n") - 1);
        _exit(1);
    }
}

// malloc 钩子实现
void* malloc(size_t size) {
    if (reentrancy_guard) {
        return real_malloc ? real_malloc(size) : NULL;
    }

    pthread_once(&init_once, init_real_functions);

    reentrancy_guard++;
    void* ptr = real_malloc(size);
    reentrancy_guard--;

    if (ptr) {
        char buffer[256];
        int len = snprintf(buffer, sizeof(buffer), BLUE "malloc %ld %p\n" RESET, size, ptr);
        write(STDERR_FILENO, buffer, len);
    }

    return ptr;
}

// free 钩子实现
void free(void* ptr) {
    if (reentrancy_guard) {
        if (real_free) real_free(ptr);
        return;
    }

    pthread_once(&init_once, init_real_functions);

    reentrancy_guard++;
    if (ptr) {
        size_t size = malloc_usable_size(ptr);
        char buffer[256];
        int len = snprintf(buffer, sizeof(buffer), GREEN "free %ld %p\n" RESET, size, ptr);
        write(STDERR_FILENO, buffer, len);
    }
    real_free(ptr);
    reentrancy_guard--;
}

// realloc 钩子实现
void* realloc(void* ptr, size_t size) {
    if (reentrancy_guard) {
        return real_realloc ? real_realloc(ptr, size) : NULL;
    }

    pthread_once(&init_once, init_real_functions);

    reentrancy_guard++;
    void* new_ptr = real_realloc(ptr, size);
    reentrancy_guard--;

    if (new_ptr) {
        char buffer[256];
        int len = snprintf(buffer, sizeof(buffer), YELLOW "realloc %ld %p %p\n" RESET, size, ptr, new_ptr);
        write(STDERR_FILENO, buffer, len);
    }

    return new_ptr;
}

编译:

bash 复制代码
gcc -shared -fPIC hook4.c -o hook.so -ldl -O2

使用

cpp 复制代码
int main()
{
    printf("Hello, World");
    return 0;
}
bash 复制代码
g++ main.cpp
LD_PRELOAD=./hook.so ./a.out

输出内容:

bash 复制代码
malloc 4096 0x3a842b0
Hello, World
相关推荐
OTWOL40 分钟前
【C++编程入门基础(一)】
c++·算法
谏君之1 小时前
C语言实现的常见算法示例
c语言·算法·排序算法
曾浩轩1 小时前
51单片机学习之旅——C语言小知识
c语言·学习·51单片机
宇寒风暖1 小时前
侯捷 C++ 课程学习笔记:内存管理与工具应用
c++·笔记·学习
Smile丶凉轩2 小时前
数据库面试知识点总结
数据库·c++·mysql
Want5952 小时前
C/C++跳动的爱心
c语言·开发语言·c++
kongba0072 小时前
Cursor提示词模板,开发GD32,C语言开发GD32 ARM单片机编程规范提示词 大厂风格代码规范
c语言·arm开发·单片机
laimaxgg2 小时前
Qt常用控件之数字显示控件QLCDNumber
开发语言·c++·qt·qt5·qt6.3
蓝天扶光2 小时前
c++贪心系列
开发语言·c++
Alidme3 小时前
cs106x-lecture14(Autumn 2017)-SPL实现
c++·学习·算法·codestepbystep·cs106x