并发编程

C++内存模型通过顺序一致性与松散内存序控制多线程内存访问，影响程序正确性与性能。1. 顺序一致性（memory_order_seq_cst）保证所有线程看到统一操作顺序，适合默认使用但性能开销大；2. 松散内存序如memory_order_relaxed仅保证原子性，允许操作重排，适用于计数器等无…

std::async是C++11引入的轻量级异步机制，返回future用于取结果或等待；支持async（新线程立即执行）和deferred（调用get/wait时同步执行）策略，默认由实现决定，建议显式指定。 std::async 是 C++11 引入的轻量级异步启动机制，用来“扔一个任务去后台跑”…

std::packaged_task是C++11引入的单次执行可调用对象包装器，封装函数并关联std::future以解耦执行与结果获取；需先调用get_future()再执行task，仅可移动不可拷贝，异常自动捕获至future。 std::packaged_task 是 C++11 引入的一个可…

std::latch用于一次性线程同步，如主线程等待多线程完成；std::barrier支持重复使用，适用于多阶段并行计算的周期性同步，两者均提升C++20并发编程的简洁性与安全性。 在C++20中，std::latch 和 std::barrier 是两个新增的线程同步工具，它们用于协调多个线程之…

c++kquote>C++17通过std::execution策略引入并行算法支持，需编译器（如GCC 8+）和线程库（如TBB）配合；提供seq、par、par_unseq三种策略控制执行模式；可用于sort、for_each等算法提升大数据性能，但需避免数据竞争，推荐使用reduce等安全…

掌握C++关键字是写出正确、高效、可维护代码的基础，它们是编译器保留的特殊标识符，具有特定语法语义，不可用作普通标识符；需理解其在不同场景下的作用而非死记硬背。 掌握C++关键字，是写出正确、高效、可维护代码的基础。它们不是普通标识符，而是被编译器赋予特定语法和语义的保留字，不能用作变量名、函数名等…

线性一致性是C++并发中判断数据结构行为正确性的形式化模型，要求所有操作可排成与真实时间一致的全局顺序，且读操作返回其线性化点前最近写入的值；它保障行为可预测、可组合，seq_cst默认满足，而acq_rel等弱序需结合算法证明线性化点。 线性一致性（Linearizability）在 C++ 并发…

分段锁通过将哈希表划分为多个带独立锁的段，提升并发性能。基于std::unordered_map和std::mutex实现各段加锁，插入、查找、删除操作先定位段索引再加锁执行，减少竞争。段数通常设为CPU核心数2~4倍，可结合shared_mutex优化读多写少场景，避免哈希冲突集中以防锁热点。 在…

memory_order是控制原子操作可见性与执行顺序约束的机制，用于防止编译器/CPU重排并协调多线程间内存访问，而非保证原子性本身。 std::atomic 的内存序（memory_order）控制的是原子操作在多线程环境下的**可见性**和**执行顺序约束**，它不改变原子操作本身的原子性，而…

伪共享会导致多线程性能下降，因不同线程修改同一缓存行中的变量引发频繁同步；可通过 alignas 或填充使变量对齐缓存行边界，如用 std::hardware_destructive_interference_size 隔离，确保每个线程独占缓存行，避免无效刷新。 在C++多核并发编程中，伪共享（F…