启用指定C++编译选项时，代码为何触发ThreadSanitizer报错？

你遇到的这个FATAL: ThreadSanitizer: unexpected memory mapping错误，和你代码里的std::mutex同步逻辑无关，代码本身的线程安全是没问题的，这个错误是ThreadSanitizer（TSAN）工具自身的内存映射冲突导致的。

你的代码如下：

#include <iostream>
#include <memory>
#include <thread>
#include <vector>
#include <mutex>

std::mutex mtx;

void checkAndUse(std::weak_ptr<int> weakPtr) {
    std::lock_guard<std::mutex> lck(mtx);
    if (auto sharedPtr = weakPtr.lock()) {
        std::cout << "Using shared resource: " << *sharedPtr << std::endl;
    } else {
        std::cout << "Shared resource has been destroyed." << std::endl;
    }
}

int main() {
    auto sharedPtr = std::make_shared<int>(1);
    std::weak_ptr<int> weakPtr = sharedPtr;

    std::vector<std::thread> threads;
    for (int i = 0; i < 10; ++i) {
        threads.emplace_back(checkAndUse, weakPtr);
    }

    {
        std::lock_guard<std::mutex> lck(mtx);
        sharedPtr.reset(); // Destroy the shared resource
    }

    for (auto& thread : threads) {
        thread.join();
    }

    return 0;
}

错误原因分析 #

1. TSAN工作机制限制
   TSAN通过修改进程内存映射表、给内存访问添加追踪逻辑来检测线程竞态。当程序运行时出现TSAN未预期的内存区域映射，就会抛出这个致命错误。

2. 编译选项问题
   你手动添加了-ltsan，但-fsanitize=thread已经会自动链接TSAN相关库，重复手动链接会引发符号冲突或内存映射异常。同时链接库顺序有误，-lpthread应放在TSAN相关选项之后，否则可能出现依赖问题。

3. 版本兼容性问题
   如果使用的编译器（如GCC/Clang）版本较旧，对C++11标准库的TSAN支持不完善，std::shared_ptr/std::weak_ptr的内部实现可能和TSAN的内存追踪逻辑冲突，导致异常内存映射。

解决方法 #

• 修正编译选项：移除手动的-ltsan，正确的编译命令为：

  g++ -std=c++11 -fsanitize=thread -lpthread your_code.cpp -o your_program
  

  -fsanitize=thread会自动处理TSAN的链接，无需额外添加-ltsan。
• 升级编译器：若使用GCC 6及以下版本，建议升级到GCC 7或更高版本，新版本TSAN对C++11标准库的兼容性更好。
• 检查运行环境：关闭可能占用特殊内存区域的工具（如其他内存调试工具），避免内存区域冲突后重新运行程序。

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