我想了解Thread-local storage (TLS) 类型的实现。在C++11 作为thread_local 关键字或C 作为__thread 关键字可用。这篇wikipedia 文章说：
有时希望两个线程引用同一个 静态或全局变量实际上是指不同的内存 位置，从而使变量 thread-local 成为规范的 示例是 C 错误代码变量
errno。
这用于将static 或global 变量设置为线程本地，以便其他线程无法访问它们。
我的问题是这些变量如何存储在内存中以使其成为线程的本地变量？
毕竟这些本质上是全局/静态变量，是什么阻止其他线程访问它们？它们是否保存在一些特殊的数据段中？
【问题讨论】：
标签： c linux multithreading memory c++11
TLS 在每个线程对象中实现为一个数据数组。每个线程对象都有自己的数组本地副本，并且每个数组的大小相同。当您将全局/静态变量声明为使用 TLS 时，它与这些数组的索引相关联（这就是编译器/操作系统知道要分配多少个数组插槽的方式）。因此，当您在运行时访问变量时，您实际上是在访问正在访问该变量的线程上下文的数据数组中的关联槽。
TLS 可能是 C++11 中的一个新的原生特性，但它已经在各种 OS API 中提供了很长时间。
TLS 在 Windows 上使用 Win32 API TlsAlloc()、TlsGetValue()、TlsSetValue() 和 TlsFree() 函数实现。以下是其工作原理的概述：Thread Local Storage
这里概述了 TLS 在 Linux 上的工作原理：ELF Handling For Thread-Local Storage
【讨论】：
index0 thread0 有一个TLS 变量var1，那么其他线程会有什么index0 他们的数组？同一变量var1 的副本？为什么它会跨线程复制，因为其他线程没有使用该变量？