GCC C环境下是否存在可调用__attribute__(cleanup)函数的exit()等效接口？

首先明确：标准C没有原生提供符合你需求的终止函数——你提到的cleanup注册回调通常是pthread_cleanup_push()绑定的线程级清理函数，系统自带的exit()只会触发atexit()注册的进程级清理回调，不会执行线程级的cleanup逻辑。你可以根据使用场景选择以下两种实现方案：

方案1：自定义可控终止流程（信号处理场景首选，异步信号安全） #

• 不要在信号处理函数里直接调用终止逻辑，改为设置一个全局原子终止标记（必须用sig_atomic_t类型保证异步信号安全）
• 所有业务线程的工作逻辑中定期检查该标记，检测到终止标记后，先主动调用pthread_exit(NULL)触发本线程的所有cleanup回调，最后由主线程等待所有子线程完全退出后，再调用exit()完成程序终止

注意：信号处理函数内只能调用异步信号安全的函数，直接调用任何非安全的清理逻辑都可能触发死锁或者内存崩溃，自定义标记的方案是工业界最常用的兼容做法。

方案2：封装自定义终止函数（适合非信号处理的普通函数调用场景） #

你可以自己封装一个类似exit()的函数，统一维护所有已注册的cleanup回调链表，调用时遍历执行所有回调后再调用系统exit()，简化实现示例如下：

#include <stdlib.h>
#include <pthread.h>

// 全局维护清理函数链表，加锁保证多线程安全
typedef void (*cleanup_func)(void*);
struct cleanup_node {
    cleanup_func func;
    void* arg;
    struct cleanup_node* next;
};
static struct cleanup_node* cleanup_head = NULL;
static pthread_mutex_t cleanup_mtx = PTHREAD_MUTEX_INITIALIZER;

// 替换系统原生的pthread_cleanup_push，同时将回调注册到全局链表
void my_cleanup_push(cleanup_func func, void* arg) {
    pthread_mutex_lock(&cleanup_mtx);
    struct cleanup_node* node = malloc(sizeof(struct cleanup_node));
    node->func = func;
    node->arg = arg;
    node->next = cleanup_head;
    cleanup_head = node;
    pthread_mutex_unlock(&cleanup_mtx);
    pthread_cleanup_push(func, arg);
}

// 自定义带cleanup触发的终止函数
void my_exit(int status) {
    pthread_mutex_lock(&cleanup_mtx);
    struct cleanup_node* p = cleanup_head;
    while (p) {
        p->func(p->arg);
        p = p->next;
    }
    pthread_mutex_unlock(&cleanup_mtx);
    exit(status);
}

注意：这个封装的my_exit()不能在信号处理函数中调用，因为malloc、pthread_mutex_lock都不属于异步信号安全的函数。

额外说明 #

• 标准C的atexit()注册的函数只会在exit()正常调用、或者main函数正常返回时执行，不会触发pthread_cleanup_push注册的线程级清理回调
• 不要尝试在信号处理函数中手动实现栈展开逻辑，C语言本身没有原生栈展开能力，手动实现的逻辑大概率存在并发安全问题

内容的提问来源于stack exchange，提问作者Noam Elul