pthread_cancel清理函数已加锁，ThreadSanitizer仍报数据竞争

问题 #

在多线程C++程序中使用pthread_cancel与清理处理器时，遇到ThreadSanitizer报告全局变量存在数据竞争，但该变量的所有访问均受同一mutex保护。以下是最小复现示例：

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

pthread_mutex_t mtx_test = PTHREAD_MUTEX_INITIALIZER;
int ga = 0;
void cleanup(void *arg)
{
    pthread_mutex_lock(&mtx_test);
    ga += 1;
    pthread_mutex_unlock(&mtx_test);
    printf("cleanup\n");
}

void* thr_fn(void * arg)
{
    pthread_cleanup_push(cleanup, arg);
    while(true)
    {
        pthread_mutex_lock(&mtx_test);
        ga += 1;
        pthread_mutex_unlock(&mtx_test);
        sleep(1);
    }
    pthread_cleanup_pop(1);
}

int main()
{
    pthread_t tid;
    pthread_create(&tid, NULL, thr_fn, nullptr);

    sleep(3);
    pthread_cancel(tid);

    pthread_mutex_lock(&mtx_test);
    printf("ga: %d\n", ga);
    pthread_mutex_unlock(&mtx_test);

    pthread_join(tid, nullptr);
}

ThreadSanitizer输出如下：

==================
WARNING: ThreadSanitizer: data race (pid=29924)
  Write of size 4 at 0x5593bd535068 by thread T1:
    #0 cleanup(void*) /tmp/test/test.cpp:10 (a.out+0x139b) (BuildId: ad9c32e6694e2996bfed96f0eb507bec0278f791)
    #1 __pthread_cleanup_class::~__pthread_cleanup_class() /usr/include/pthread.h:578 (a.out+0x16c9) (BuildId: ad9c32e6694e2996bfed96f0eb507bec0278f791)
    #2 thr_fn(void*) /tmp/test/test.cpp:25 (a.out+0x1493) (BuildId: ad9c32e6694e2996bfed96f0eb507bec0278f791)
    #3 thr_fn(void*) /tmp/test/test.cpp:23 (a.out+0x147e) (BuildId: ad9c32e6694e2996bfed96f0eb507bec0278f791)

  Previous read of size 4 at 0x5593bd535068 by main thread (mutexes: write M0):
    #0 main /tmp/test/test.cpp:37 (a.out+0x153c) (BuildId: ad9c32e6694e2996bfed96f0eb507bec0278f791)

  As if synchronized via sleep:
    #0 sleep ../../../../src/libsanitizer/tsan/tsan_interceptors_posix.cpp:383 (libtsan.so.2+0x58691) (BuildId: 38097064631f7912bd33117a9c83d08b42e15571)
    #1 thr_fn(void*) /tmp/test/test.cpp:23 (a.out+0x147e) (BuildId: ad9c32e6694e2996bfed96f0eb507bec0278f791)

  Location is global 'ga' of size 4 at 0x5593bd535068 (a.out+0x4068)

  Mutex M0 (0x5593bd535040) created at:
    #0 pthread_mutex_lock ../../../../src/libsanitizer/tsan/tsan_interceptors_posix.cpp:1341 (libtsan.so.2+0x59a13) (BuildId: 38097064631f7912bd33117a9c83d08b42e15571)
    #1 thr_fn(void*) /tmp/test/test.cpp:20 (a.out+0x1438) (BuildId: ad9c32e6694e2996bfed96f0eb507bec0278f791)

  Thread T1 (tid=29926, running) created by main thread at:
    #0 pthread_create ../../../../src/libsanitizer/tsan/tsan_interceptors_posix.cpp:1022 (libtsan.so.2+0x5ac1a) (BuildId: 38097064631f7912bd33117a9c83d08b42e15571)
    #1 main /tmp/test/test.cpp:31 (a.out+0x14fc) (BuildId: ad9c32e6694e2996bfed96f0eb507bec0278f791)

SUMMARY: ThreadSanitizer: data race /tmp/test/test.cpp:10 in cleanup(void*)
==================

全局变量ga仅在持有mtx_test mutex时被访问，清理函数与main函数中均显式调用pthread_mutex_lock确保互斥，但ThreadSanitizer仍报告数据竞争。请问这是ThreadSanitizer在使用pthread_cancel和清理处理器时的已知限制吗？还是代码存在疏漏？如何解决或抑制该误报？

分析与解决 #

问题根源 #

这是ThreadSanitizer的已知误报，核心原因是pthread_cancel触发的清理函数执行流程无法被TSAN正确追踪同步关系：
当主线程调用pthread_cancel后，目标线程在sleep（可取消点）被终止，系统自动调用pthread_cleanup_push注册的清理函数。TSAN能识别清理函数内的锁操作，但无法将这个被动触发的清理流程，与主线程后续的锁操作建立同步关联，因此误判为数据竞争。

你的代码本身没有逻辑错误，所有ga的访问都严格持有mutex，不存在实际的数据竞争。

解决/抑制方案 #

• 调整线程终止顺序：
  不要在调用pthread_cancel后立即访问共享变量，先调用pthread_join等待目标线程完全终止（包括清理函数执行完毕），再读取ga。修改后的main函数：

  int main()
  {
      pthread_t tid;
      pthread_create(&tid, NULL, thr_fn, nullptr);
  
      sleep(3);
      pthread_cancel(tid);
      pthread_join(tid, nullptr); // 先等待线程终止，再访问共享变量
  
      pthread_mutex_lock(&mtx_test);
      printf("ga: %d\n", ga);
      pthread_mutex_unlock(&mtx_test);
  }
  

  这样TSAN能清晰追踪到线程终止的同步点，不会再误报。

• 使用TSAN抑制文件：
  如果无法调整代码逻辑，可创建抑制文件（比如tsan_suppressions.txt），添加规则屏蔽该误报：

  race:ga
  

  运行时通过环境变量指定抑制文件：

  export TSAN_OPTIONS="suppressions=tsan_suppressions.txt"
  ./a.out
  

• 替换pthread_cancel为协作式终止：
  pthread_cancel本身属于强制终止，容易引发不可预测的状态。建议改用协作式方案：比如设置一个受mutex保护的全局标志位，线程循环中定期检查该标志，主动退出并执行清理逻辑，从根源上避免这类工具误报。

内容的提问来源于stack exchange，提问作者m. bs