ThreadPool，Function局部变量和Thread局部存储

Question

在线程池中，线程被复用，避免了线程的创建和销毁。 线程池在重用一个线程时，不会清除线程本地存储中的数据。 因此，当方法检查线程本地存储时，它找到的值是先前使用线程池线程遗留下来的。

Function 局部变量对于 function 是局部的，而不是线程。 但是，当我使用 boost::asio::thread_pool 创建线程池时，在 function 内部创建的局部变量的 memory 与同一线程共享相同的 memory。

因此，我几乎没有问题......

1. 是 function 局部变量存储在线程本地存储中。 是因为我在相同的线程上得到相同的 memory 吗？
2. 对于按值传递的 function 参数，同样的问题？
3. 在重用线程之前有没有办法清除线程本地存储？

程序

#include <boost/asio.hpp>
#include <boost/thread.hpp>
#include <boost/asio/thread_pool.hpp>
#include <BoostThreading/UtilBoost.hpp>
#include <iostream>
boost::mutex mutex;
void my_task(int g)
{
    boost::lock_guard<boost::mutex> lock(mutex);
    int i=0;
    i++;
    std::cout<<boost::this_thread::get_id()<<" "<<&i<<" "<<i<<" "<<&g<<" "<<g<<"\n";
    SleepMs(30);
}
int main()
{
    boost::asio::thread_pool pool(4);
    for(int i=0;i<10;i++)
        boost::asio::post(pool, boost::bind(my_task,i));
    pool.join();
}

Output

第一个是线程 ID，第二个是我在 function 中创建的变量的地址，第三个地址是通过值传递传递给 my_task 的变量 g 的地址。

Answer 1

1. 是 function 局部变量存储在线程本地存储中。 是因为我在相同的线程上得到相同的 memory 吗？

Function 个局部变量存在于堆栈中。

堆栈实际上总是（隐含地）线程本地的。 这是 CPU 设计的直接结果。

唯一的例外可能是上下文切换库，例如 Boost Context（例如，实现堆栈协程或纤程）。

阅读这个绝对棒的答案以了解堆栈分配和堆栈重用： Can a local variable's memory be accessed outside its scope?

2. 对于按值传递的 function 参数，同样的问题？

同样的答案。

3. 在重用线程之前有没有办法清除线程本地存储？

这实际上是一个有趣的问题。 它概括为“C++ 中是否有一个包含具有自动存储持续时间的对象的安全擦除分配器？”。

不，那不存在。 它可以被近似，但它将涉及将所有原始类型包装成非平凡类型。 在任务结束时使用明确的 function 主动清除堆栈可能会更有效。

上层框架必须保持完整，因为它们可能（并且将）包含正确线程管理所需的信息（例如，如果您使用boost::thread它将包含允许线程中断的结构，线程本地存储的可移植仿真使用boost::thread_specific_ptr等）

如果您需要这样的东西，请寻找围绕“安全擦除”的现有库，因为它很容易出错。 例如，一个简单的memset调用可以（并且将会）经常被编译器优化掉。