数据竞争可通过原子操作和无锁结构解决。① 原子操作使用std::atomic确保变量访问不可分割，适合简单共享变量如计数器；注意选择合适的内存顺序以平衡性能与正确性。② 无锁队列（如moodycamel::concurrentqueue）适用于频繁读写场景，提升并发性能但实现复杂且调试困难。③ 内存顺序决定线程间操作可见性，memory_order_acquire/release用于同步数据可见性，memory_order_seq_cst提供最强一致性保障。合理选用机制并理解其限制是关键，避免为无锁而无锁。
在多线程编程中，数据竞争（data race）是常见的并发问题之一。C++ 提供了多种机制来解决这个问题，其中原子操作和无锁数据结构是两种非常实用的手段。它们不仅能减少锁带来的性能开销，还能提升程序的可扩展性和响应速度。
原子操作：最小代价的同步保障
C++11 引入了
建议用法：
立即学习“C++免费学习笔记（深入）”；
- 适用于简单的共享变量访问，如计数器、标志位。
- 避免在复杂逻辑中滥用，否则容易写出难以维护的代码。
示例：
std::atomiccounter(0); void increment() { for (int i = 0; i < 1000; ++i) { counter.fetch_add(1, std::memory_order_relaxed); } }
这里用了 fetch_add 来实现线程安全的自增操作。注意内存顺序（memory order）的选择会影响性能和正确性，比如：
-
memory_order_relaxed：最轻量，但不保证顺序一致性。 -
memory_order_acquire/release：用于更严格的同步需求。 -
memory_order_seq_cst：默认且最安全，但代价最高。
使用无锁队列提升并发性能
在需要频繁读写共享数据结构的场景下，比如任务队列、消息传递等，传统的互斥锁往往成为瓶颈。这时候可以考虑使用无锁队列（lock-free queue）来优化。
推荐做法：
- 使用现成的高性能无锁队列库，比如
moodycamel::ConcurrentQueue或boost::lockfree。 - 自己实现需谨慎，涉及 CAS（Compare and Swap）操作和 ABA 问题处理。
注意事项：
- 无锁结构虽然性能高，但调试难度大，出错后很难定位。
- 某些平台上可能因硬件支持不足导致性能不如预期。
例如使用 moodycamel 的基本方式：
moodycamel::ConcurrentQueuequeue; // 生产者 queue.enqueue(42); // 消费者 int value; if (queue.try_dequeue(value)) { // 处理 value }
这种结构内部通过原子操作和缓存对齐等方式实现了高效的线程安全访问。
内存模型与同步语义要搞清楚
很多人在使用原子操作时忽略了一个关键点：内存顺序（memory order）。它决定了不同线程看到的操作顺序，也影响着程序的正确性。
常用顺序类型及适用场景：
-
memory_order_relaxed：适合只关心当前值是否更新，不关心其他操作顺序。 -
memory_order_acquire/memory_order_release：用于同步两个线程之间的数据可见性。 -
memory_order_seq_cst：所有线程都看到一致的操作顺序，适合对一致性要求高的场合。
举个例子：一个线程设置一个标志，另一个线程等待这个标志为真才继续执行。这时就需要搭配 acquire/release 来确保数据同步。
std::atomicready(false); int data = 0; // 线程A data = 42; ready.store(true, std::memory_order_release); // 线程B while (!ready.load(std::memory_order_acquire)) { // 等待 } assert(data == 42); // 能保证成立
如果不使用正确的内存顺序，这段代码就可能失败。
基本上就这些。用好原子操作和无锁结构的关键在于理解它们的限制和适用场景。别为了“不用锁”而强行无锁，有时候简单加锁反而更容易维护。
