线程取消后pthread_cleanup_push注册的清理处理程序未执行问题求助

针对你的问题——线程已成功取消但注册的清理处理程序未触发，以下是排查和解决要点：

核心排查方向 #

1. 确保主线程等待子线程完成清理 #

如果主线程调用pthread_cancel后未调用pthread_join等待子线程退出，主线程可能直接终止整个进程，导致子线程来不及执行清理函数。必须在取消线程后加入等待逻辑：

pthread_cancel(tid);
pthread_join(tid, NULL); // 等待子线程完成清理并退出

2. 检查清理函数签名是否合规 #

pthread_cleanup_push要求清理函数的签名严格为void (*)(void *)，参数为void*类型。如果函数签名不匹配，会导致未定义行为，清理函数可能无法执行。示例正确的清理函数：

void cleanup_handler(void *arg) {
    printf("Thread canceled, executing cleanup...\n");
}

3. 确认pthread_cleanup_push/pop的配对与作用域 #

需严格保证二者成对出现，且处于同一词法作用域（哪怕循环不会正常退出，也必须保留pthread_cleanup_pop以配对宏定义）：

void *thread_func(void *arg) {
    pthread_cleanup_push(cleanup_handler, NULL);
    
    while (1) {
        printf("Thread running...\n");
        usleep(100000);
        pthread_testcancel();
    }
    
    pthread_cleanup_pop(1); // 必须与push配对，哪怕永远不会执行到这里
    return NULL;
}

4. 调整编译选项（Solaris环境） #

Solaris上使用gcc编译pthread程序时，推荐使用-pthread选项替代-threads -lpthread，该选项会自动处理线程库链接和编译标志：

gcc -o lab5 -pthread -std=c99 lab5.c

5. 验证取消点的有效性 #

可临时简化代码，仅保留pthread_testcancel来确认取消逻辑触发：

while (1) {
    printf("Thread running...\n");
    pthread_testcancel(); // 直接触发取消点
    usleep(100000);
}

完整示例代码 #

#include <stdio.h>
#include <pthread.h>
#include <unistd.h>

void cleanup_handler(void *arg) {
    printf("Thread canceled, cleanup message printed.\n");
}

void *thread_func(void *arg) {
    pthread_cleanup_push(cleanup_handler, NULL);
    
    while (1) {
        printf("Thread is running...\n");
        usleep(100000);
        pthread_testcancel();
    }
    
    pthread_cleanup_pop(1);
    return NULL;
}

int main() {
    pthread_t tid;
    pthread_create(&tid, NULL, thread_func, NULL);
    
    sleep(2);
    printf("Main thread canceling child thread...\n");
    pthread_cancel(tid);
    pthread_join(tid, NULL); // 等待子线程完成清理
    
    printf("Main thread exiting.\n");
    return 0;
}

编译运行（Solaris gcc）：

gcc -o lab5 -pthread -std=c99 lab5.c
./lab5

运行后应能看到清理函数的打印信息。

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