thread_local 线程是全局的智能指针（可以这么理解），存储在TLS（差不多就是数据段），循环引用与线程非正常退出，会内存泄漏，

本文链接：https://blog.youkuaiyun.com/zjkyeah/article/details/147415124

C++ 中每个线程的局部变量 与 ThreadLocal 变量 在内存管理和线程隔离性方面有一些相似之处，但也存在一些关键的区别。让我们从几个方面来详细对比它们。

🧠 一、基本概念对比

1. C++ 中每个线程的局部变量

C++ 中，每个线程都有自己独立的栈空间，在栈内存中存储该线程的局部变量。这意味着每个线程执行时，其局部变量是 线程私有的，不同线程的局部变量不会相互干扰，彼此独立。

内存分配：每个线程的栈空间是由操作系统分配的，线程局部变量保存在该栈中。栈内存会随着线程的创建和销毁自动管理。
生命周期：局部变量的生命周期由其所在的函数或作用域决定，在线程结束时，栈内存会被销毁，局部变量会自动释放。

2. C++ 中 `thread_local` 变量

thread_local 是 C++11 引入的关键字，用于声明一个变量使其在每个线程中有 独立的副本。thread_local 变量的值对于每个线程都是独立的，即使是同一个变量名，不同线程中的值也是不同的。

内存分配：thread_local 变量的存储通常不在线程的栈内存中，而是分配在 线程局部存储区 (TLS)。它的生命周期从线程的开始到线程的结束。
生命周期：thread_local 变量在每个线程的生命周期内存在，当线程结束时，它所占用的内存会被释放。

🔑 二、主要区别

特性	C++ 每个线程的局部变量	C++ `thread_local` 变量
作用域	局部函数或代码块	跨函数、跨代码块
内存存储	在线程栈中（每个线程的栈内存）	在线程局部存储区 (TLS)，不属于栈内存
生命周期	随着栈帧的创建和销毁，线程结束时销毁	随线程的开始和结束，线程结束时销毁
线程独立性	每个线程都有独立的局部变量副本，但只能在当前函数/作用域内访问	每个线程都有独立副本，但可跨函数访问，适用于全局/静态作用域
内存管理	由操作系统自动管理	由编译器/操作系统管理，可能有额外的初始化/销毁逻辑
初始化方式	自动或显式在函数内初始化	由 `thread_local` 关键字标识，初始化在线程第一次使用时

1. 作用域和访问方式

C++ 局部变量：仅在函数内部有效，函数退出时栈帧销毁。
C++ thread_local 变量：虽然其访问类似于普通全局变量，但它的值是线程私有的。thread_local 变量通常用于跨多个函数的共享数据，并且不会因为函数调用返回而丢失。

2. 内存管理

C++ 局部变量：由操作系统或编译器管理，只要栈帧存在，局部变量就有效。栈内存随着线程的退出自动释放。
C++ thread_local 变量：其内存分配更接近全局变量，但它是线程私有的，内存分配通常不是在栈上。它的内存释放由系统和编译器自动管理，但需要额外的逻辑来确保线程结束时正确清理。

3. 跨函数访问

C++ 局部变量：只能在声明它的函数或作用域内访问，无法跨函数传递。
C++ thread_local 变量：可以在多个函数中共享，只要它在同一个线程内访问。

⚙️ 三、底层实现的差异

1. 线程栈 vs 线程局部存储（TLS）

线程栈：每个线程有独立的栈空间，当线程创建时，操作系统为每个线程分配栈内存。线程栈用于存储局部变量、函数调用信息等。栈内存会随着函数返回自动清理。
线程局部存储（TLS）：thread_local 变量的实现通常基于线程局部存储（TLS）。操作系统为每个线程维护一块线程局部存储区，用于存储线程私有的全局或静态变量。TLS 不依赖于栈，它通常由操作系统或者编译器来管理。

2. 初始化与销毁

局部变量：栈上的局部变量通常由编译器自动管理，在函数作用域结束时会自动销毁。栈内存空间由操作系统在线程结束时释放。
thread_local 变量：thread_local 变量在第一次访问时进行初始化，并且其生命周期随着线程的创建和销毁。在多线程程序中，编译器需要通过特定的机制确保每个线程对 thread_local 变量的独立性。一般来说，每个线程的 thread_local 变量会在线程开始时被初始化，而在线程结束时被销毁。

🔄 四、使用场景

C++ 局部变量：适用于线程内短期使用的数据，不需要跨函数/跨线程共享。
- 典型使用场景：函数内部的临时变量。
C++ thread_local 变量：适用于需要在多个函数之间共享的数据，且每个线程需要独立的副本。
- 典型使用场景：线程池中每个线程独立的缓存、数据库连接池、线程私有的日志记录等。

🧹 五、清理机制

如果你使用 thread_local 变量，并且它存储的是占用大量内存的资源（比如数据库连接或大文件缓存），请确保：

在不再使用时，显式地清理它。
在多线程环境下，使用 try-finally 或 RAII 设计模式（如智能指针）来确保资源的及时释放。

总结

局部变量：仅在函数内有效，每个线程的栈内存是独立的，不需要特别的机制来管理线程局部数据。
thread_local 变量：适用于需要在多个函数之间共享的线程私有数据，内存通常不在栈上，而是在线程局部存储区中，需要编译器和操作系统提供的额外机制来管理其生命周期。

线程局部存储区（TLS, Thread-Local Storage） 是用于存储每个线程私有数据的区域。不同于栈和堆内存，TLS 是专门为每个线程分配的，因此每个线程可以访问自己私有的存储区域。

1. TLS的存储位置

TLS 通常存储在 数据段（Data Segment） 或者 BSS段 中，具体存储位置取决于操作系统、编译器、以及链接器如何实现线程局部存储。

数据段 (Data Segment)

已初始化的静态变量和全局变量 存储在数据段中，包括 thread_local 变量。如果你在 C++ 中使用 thread_local 声明了一个静态变量，并且给它赋了初值，那么这个变量的值通常会存储在 已初始化数据段 中。

BSS段 (BSS Segment)

未初始化的静态变量和全局变量 存储在 BSS段 中。thread_local 变量如果没有显式地初始化，则它的存储空间会放在 BSS 段中。

BSS段的特点是：编译时不会占用实际的磁盘空间，操作系统在程序加载时会为其分配内存，并将该内存区域清零。

TLS段 (Thread-Local Storage Segment)

在一些实现中，操作系统或编译器（例如，GNU C库）会为 每个线程分配一个专门的 TLS 段，其中包含该线程的私有 thread_local 变量。这是操作系统级别的管理，通常被称作 TLS 段，有时也会有 TLS descriptor（TLS 描述符）来维护每个线程的私有存储位置。

具体实现（GNU实现）

在 GNU C 库的实现中，TLS 变量的存储由系统的 _tls 段管理，每个线程都会有自己的 TLS 段，并通过一个线程局部存储描述符来访问该段。
线程创建时，操作系统为每个线程分配一个新的 TLS 段，用于存放该线程的私有 thread_local 变量。
这种实现会将 线程的私有数据 和 共享数据（如全局变量和静态变量）区分开来。

2. 编译和链接过程

编译：编译器会将 thread_local 变量标记为线程局部存储，并将其位置放置到合适的段中（数据段、BSS段或者 TLS 段）。
链接：链接器将会根据操作系统和编译器的实现，把线程局部存储区的变量放到合适的内存位置。当多个线程访问该数据时，操作系统或运行时库确保每个线程使用自己的 TLS 数据。

3. 线程局部存储区的访问

为了访问线程局部存储区中的数据，编译器通常会通过特定的寄存器或内存寻址来定位每个线程的 TLS 区域。每个线程有一个指向其 线程局部存储描述符 的指针，该描述符指向线程私有的数据段。

总结：

TLS存储位置：线程局部存储区的具体实现可能会有所不同，但通常它存储在 数据段（初始化的 thread_local 变量）或者 BSS段（未初始化的 thread_local 变量）中。某些操作系统和编译器可能使用专门的 TLS 段 来存储每个线程的私有数据。
线程隔离：TLS 保证每个线程都有自己独立的变量副本，确保线程安全。
实现依赖：具体的实现（如 Linux 下的 glibc）可能会将 TLS 数据放在独立的段中。