C++ 多线程：std::thread 与互斥锁

阶段一：编译环境配置与核心对象声明

1. 确认编译器支持 C++11 或更高标准。打开终端并运行 g++ --version。若版本号低于 4.8.1，安装 GCC 9.0 及以上版本或升级 MSVC/Clang，旧版工具链无法识别现代线程语法。
2. 引入标准库头文件。在源文件顶部书写 #include <thread> 启用线程创建能力，书写 #include <mutex> 启用互斥锁保护机制，书写 #include <iostream> 启用控制台输出验证。
3. 声明互斥锁实例。将 std::mutex 定义为全局变量或类成员变量（例如 std::mutex print_mutex;）。互斥锁相当于“资源通行证”，仅允许持证的线程进入特定代码区域，未持证线程强制挂起等待。
4. 封装线程任务函数。定义返回类型为 void 的普通函数。该函数内部仅包含需要并行执行的独立逻辑，避免直接依赖主函数的局部栈变量，防止作用域失效引发悬垂指针。

使用以下参数传递规范对照表，避免线程参数拷贝引发性能损耗或数据不同步：

5. 规划线程生命周期策略。在编码前决定每个子线程属于“必须等待完成型”还是“完全后台独立型”，该决策直接决定后续使用 join() 还是 detach() 接管流程。

阶段二：线程实例化与生命周期接管

1. 实例化线程对象。在主控逻辑中书写 std::thread worker_thread(task_func, args);。该语句立即触发操作系统底层线程创建请求，任务函数随即脱离主控制流并行运行。
2. 验证线程活跃状态。调用 worker_thread.joinable() 返回布尔值。若结果为 true，表示线程仍在运行或尚未绑定结束处理句柄；若为 false，表示已执行过 join 或 detach，重复操作将抛出运行时异常。
3. 阻塞主线程等待（同步模式）。针对需汇总结果的任务，调用 worker_thread.join();。主线程在此挂起并释放 CPU 调度权，直至子线程函数执行至末尾或抛出异常，控制权返回主流程。
4. 释放线程控制权（异步模式）。针对日志记录、网络心跳等无需主线程干预的长驻任务，调用 worker_thread.detach();。该操作剥离线程句柄关联，线程转由操作系统资源管理器自动回收，当前 worker_thread 对象进入不可用状态。
5. 隔离线程创建循环。采用容器（如 std::vector<std::thread>）统一管理批量生成的线程。遍历容器时逐一调用 .join()，确保所有并发任务彻底结束后再继续执行后续清理逻辑。

阶段三：临界区防护与锁机制应用

1. 识别竞态条件触发点。定位代码中被多个线程同时读取且至少被一个线程写入的变量（如全局计数器 global_count、共享容器 std::vector）。未加保护的并发读写会导致“数据撕裂”，即读取到只写入了一半的残损状态。
2. 声明锁保护范围。将涉及共享数据读取、判断、修改的连续指令标记为“临界区”。临界区应尽可能短，仅包含真正触及共享内存的指令，剔除独立计算与 I/O 等待。
3. 实例化自动锁守卫。替换手动的 mutex.lock() 与 mutex.unlock()，改用 std::lock_guard<std::mutex> guard(print_mutex);。该对象在构造时自动获取锁，在离开当前 {} 作用域时自动调用析构函数释放锁。
4. 执行作用域锁测试。将临界区代码包裹于独立作用域块 { ... } 中。验证锁守卫对象的生命周期，确保离开花括号后其他等待线程能立即获取执行权，避免锁持有时间过长拖垮并发吞吐量。
5. 重构手动加锁代码（仅特殊场景）。若需在条件不满足时主动提前退出临界区，采用 std::unique_lock 替代 std::lock_guard。该模板类支持中途调用 .unlock() 手动放行，或配合条件变量 .wait() 实现精准同步。

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

std::mutex g_mtx;
int g_counter = 0;

void increment_task(int id) {
    // 独立计算阶段：完全自由，不占用锁资源
    int local_val = id * 2;

    // 临界区开始：自动申请锁，阻塞直到成功获取
    {
        std::lock_guard<std::mutex> lock(g_mtx);
        g_counter += local_val; // 安全读写共享数据
    } // 临界区结束：作用域销毁，lock_guard 自动释放锁

    std::cout << "Task " << id << " finished computation.\n";
}

阶段四：编译构建与并发行为验证

1. 指定标准库与线程链接标志。打开终端并导航至源码目录。输入构建命令 g++ main.cpp -o concurrent_app -std=c++17 -pthread -O2。参数 -pthread 负责链接 POSIX 线程库，缺失该参数将报 undefined reference to 'pthread_xxx' 链接错误。
2. 运行编译产物。在终端执行 ./concurrent_app。观察控制台输出，验证数据累加结果是否符合数学预期（如启动 5 个线程分别加 10，最终 g_counter 必须精确等于 50）。
3. 实施压力重复测试。使用 Shell 循环命令 for i in {1..20}; do ./concurrent_app; done 连续触发执行。多线程调度具有随机性，单次通过无法证明代码健壮，多次捕捉偶发性数据错乱或崩溃现象。
4. 捕获死锁僵局。若程序运行后终端无输出且 CPU 占用率极低，按下 Ctrl + C 强制中断。回溯代码逻辑，检查是否存在同一线程双重加锁未释放，或线程 A 持锁等待线程 B 的资源、同时线程 B 持锁等待线程 A 的资源。
5. 调整调度优先级（可选）。在 Linux 环境下引入 <sched.h> 头文件。调用 pthread_setschedparam() 修改底层调度策略。仅对实时性要求极高的控制回路提升优先级，避免常规业务线程抢占系统响应窗口。