href="https://www.cnblogs.com/ljbguanli/p/19623276"

title="发布于

aria-level="2">完整教程：C/C++并发编程详解：如何写出优秀的并发程序

xmlns="http://www.w3.org/2000/svg">

d="M5,0

style="-webkit-tap-highlight-color:

rgba(0,

0)">

C/C++并发编程详解：如何写出优秀的并发程序

id="_2">前言

在当今多核处理器普及的时代，充分利用硬件资源的关键在于编写高效的并发程序。

C/C++作为系统级编程语言，提供了丰富的并发编程工具和机制。

本文将深入探讨C/C++并发编程的核心概念、最佳实践和常见陷阱，帮助您编写出优秀的并发程序。

一、并发编程基础

id="11__vs__9">1.1

线程

进程：独立的执行单元，拥有独立的地址空间

线程：轻量级进程，共享进程的资源，但有自己的栈和寄存器

operator">++中，我们主要使用线程来实现并发：

string"><iostream>

class="token

string"><thread>

class="token

punctuation">::endl

class="token

punctuation">(hello

class="token

punctuation">}

1.2

并发编程的挑战

竞态条件：多个线程同时访问共享资源

死锁：线程相互等待对方释放资源

活锁：线程不断响应对方但无法前进

资源饥饿：某些线程无法获得所需资源

互斥锁（Mutex）

互斥锁是最基本的同步机制，用于保护共享资源。

string"><iostream>

class="token

string"><thread>

class="token

string"><mutex>std

class="token

function">increment

class="token

punctuation">::lock_guard

class="token

punctuation">::mutex

class="token

operator">++counter

class="token

punctuation">(increment

class="token

punctuation">(increment

class="token

punctuation">::endl

class="token

punctuation">}

最佳实践：

使用std::lock_guard或std::unique_lock管理锁生命周期

锁的粒度尽可能小

避免在持有锁时执行耗时操作

id="22_Condition_Variable_90">2.2

条件变量（Condition

Variable）

条件变量用于线程间的条件同步。

string"><iostream>

class="token

string"><thread>

class="token

string"><mutex>

class="token

string"><condition_variable>

class="token

string"><queue>std

class="token

punctuation">::condition_variable

cv

punctuation">::queue

class="token

punctuation">::this_thread

class="token

function">sleep_for

class="token

punctuation">::chrono

class="token

function">milliseconds

class="token

punctuation">::lock_guard

class="token

punctuation">::mutex

class="token

punctuation">;data_queue

class="token

punctuation">::endl

class="token

function">notify_one

class="token

punctuation">::lock_guard

class="token

punctuation">::mutex

class="token

function">notify_all

class="token

punctuation">::unique_lock

class="token

punctuation">::mutex

class="token

operator">!data_queue

class="token

operator">!data_queue

class="token

punctuation">;data_queue

class="token

punctuation">::endl

class="token

punctuation">(finished

class="token

punctuation">(producer

class="token

punctuation">(consumer

class="token

punctuation">(consumer

class="token

punctuation">;cons1

class="token

punctuation">;cons2

class="token

punctuation">}

最佳实践：

使用谓词检查条件，避免虚假唤醒

在持有锁时尽可能减少操作

使用notify_all()通知所有等待线程，或notify_one()通知一个

id="23_ReadWrite_Lock_165">2.3

读写锁（Read-Write

Lock）

当读操作远多于写操作时，读写锁能提高性能。

string"><shared_mutex>std

class="token

punctuation">::shared_mutex

rw_mutex

punctuation">::shared_lock

class="token

punctuation">::shared_mutex

class="token

punctuation">(rw_mutex

class="token

punctuation">::unique_lock

class="token

punctuation">::shared_mutex

class="token

punctuation">(rw_mutex

class="token

punctuation">}

id="_187">三、原子操作

原子操作提供无锁的同步机制，适合简单计数器等场景。

string"><atomic>std

class="token

punctuation">::atomic

class="token

function">atomic_counter

class="token

function">increment_atomic

class="token

operator">++atomic_counter

class="token

punctuation">(increment_atomic

class="token

punctuation">(increment_atomic

class="token

punctuation">::endl

class="token

punctuation">}

内存顺序：

language-cpp">memory_order_relaxed：无顺序约束

memory_order_acquire：保证该操作之后的读写不会重排到该操作之前

memory_order_release：保证该操作之前的读写不会重排到该操作之后

punctuation">::atomic

class="token

punctuation">::memory_order_release

class="token

punctuation">::memory_order_acquire

class="token

punctuation">::endl

class="token

punctuation">}

id="41__247">4.1

线程池

线程池避免频繁创建销毁线程的开销。

string"><vector>

class="token

string"><thread>

class="token

string"><queue>

class="token

string"><mutex>

class="token

string"><condition_variable>

class="token

string"><functional>

class="token

string"><future>

class="token

function">ThreadPool

class="token

punctuation">{workers

class="token

function">emplace_back

class="token

punctuation">::function

class="token

punctuation">::unique_lock

class="token

punctuation">::mutex

class="token

operator">->queue_mutex

class="token

operator">->tasks

class="token

operator">->tasks

class="token

operator">->tasks

class="token

operator">->tasks

class="token

operator">&&

class="token

punctuation">::future

class="token

punctuation">::result_of

class="token

punctuation">::type

class="token

punctuation">::result_of

class="token

punctuation">::type

class="token

function">make_shared

class="token

punctuation">::packaged_task

class="token

function">return_type

class="token

operator">>>

class="token

operator">>

class="token

operator">>

class="token

punctuation">::future

class="token

operator"><return_type

class="token

function">get_future

class="token

punctuation">::unique_lock

class="token

punctuation">::mutex

class="token

punctuation">(queue_mutex

class="token

function">runtime_error

class="token

punctuation">;tasks

class="token

function">notify_one

class="token

function">ThreadPool

class="token

punctuation">::unique_lock

class="token

punctuation">::mutex

class="token

punctuation">(queue_mutex

class="token

function">notify_all

class="token

punctuation">::thread

class="token

punctuation">)worker

class="token

punctuation">::vector

class="token

punctuation">::thread

class="token

punctuation">::queue

class="token

punctuation">::function

class="token

punctuation">::condition_variable

cv

punctuation">;

无锁数据结构

无锁数据结构通过原子操作实现同步，避免锁的开销。

class-name">LockFreeQueue

punctuation">::atomic

class="token

punctuation">::atomic

class="token

punctuation">::atomic

class="token

function">LockFreeQueue

class="token

punctuation">(dummy

class="token

punctuation">(dummy

class="token

function">LockFreeQueue

class="token

punctuation">(old_head

class="token

operator">->next

class="token

operator">->next

class="token

punctuation">(old_tail

class="token

operator">->next

class="token

function">compare_exchange_weak

class="token

punctuation">(old_next

class="token

function">compare_exchange_weak

class="token

punctuation">(old_tail

class="token

operator">->next

class="token

function">compare_exchange_weak

class="token

punctuation">(old_tail

class="token

operator">->next

class="token

function">compare_exchange_weak

class="token

punctuation">(old_tail

class="token

function">compare_exchange_weak

class="token

punctuation">(old_head

class="token

operator">->data

class="token

operator">->next

class="token

punctuation">;

language-cpp">最小化共享数据：尽可能使用线程本地存储

punctuation">::async、std

class="token

punctuation">::launch

class="token

punctuation">::async

class="token

punctuation">::scoped_lock同时获取多个锁

std

function">safe_operation

class="token

punctuation">::lock_guard

class="token

punctuation">::mutex

class="token

punctuation">::adopt_lock

class="token

punctuation">::lock_guard

class="token

punctuation">::mutex

class="token

punctuation">::adopt_lock

class="token

punctuation">}性能优化：减少锁的竞争（使用细粒度锁或无锁结构）避免虚假共享（padding或对齐）

class="token

punctuation">;

调试工具：

Valgrind的Helgrind工具

Clang

ThreadSanitizer（-fsanitize=thread）

GDB的线程调试功能

六、常见并发问题及解决方案

id="61__472">6.1

死锁检测与预防

银行家算法：模拟资源分配，预防死锁

检测方法：

记录资源分配图

定期检测图中是否存在环

6.2

性能瓶颈分析

使用性能分析工具：

Perf

VTune

gprof

识别热点：

高锁竞争区域

过度同步

缓存失效

id="C_510">七、现代C++并发特性

C++17新特性

punctuation">::scoped_lock：同时获取多个锁

std

punctuation">::shared_mutex改进

std

punctuation">::invoke与并发结合

punctuation">::jthread：自动join的线程

std

punctuation">::atomic_ref：对非原子对象的原子引用

std

punctuation">::counting_semaphore：计数信号量

string"><semaphore>std

class="token

punctuation">::counting_semaphore

class="token

punctuation">}

结语

优秀的并发程序需要深入理解底层机制和同步原语，同时掌握现代C++的高级抽象。

关键原则包括：

最小化共享状态

优先使用无锁结构

合理选择同步机制

全面测试并发场景

利用现代C++特性简化代码

通过本文介绍的技术和最佳实践，您应该能够编写出高效、安全且可维护的并发程序，充分利用现代硬件的多核能力。