多线程并发编程：锁的核心作用以及体系梳理

一、锁的核心作用多线程并发访问共享资源时会出现“竞态条件race condition”如多个线程同时读写同一变量导致数据混乱锁的核心作用是实现互斥访问保证同一时间只有一个线程能操作共享资源同时通过同步机制实现线程间有序协作避免数据异常。解决并发安全问题保证数据一致性实现线程间有序协作。二、底层原始锁原始锁是所有锁的基础需手动管理加锁/解锁通常作为上层自动锁的底层依赖。1. std::mutex独占锁核心操作lock()阻塞加锁拿不到锁则一直等待、unlock()手动解锁特点独占性同一时间仅一个线程能持有、非递归同一线程不能重复加锁缺陷需手动解锁遗漏解锁会导致死锁无超时机制可能永久阻塞2. 其它原始锁std::recursive_mutex递归锁允许同一线程多次加锁解锁次数需与加锁次数一致适用于递归函数、嵌套加锁场景std::timed_mutex超时锁新增try_lock_for()、try_lock_until()接口拿不到锁时不会永久阻塞适用于需超时控制的场景std::shared_mutex读写锁底层C17引入为读写分离提供基础支撑读共享、写独占的逻辑三、RAII 自动锁管理RAII资源获取即初始化机制通过对象构造/析构自动管理锁的生命周期彻底解决原始锁手动解锁遗漏、异常死锁的问题。1. std::lock_guard最简单自动锁核心逻辑构造函数自动执行lock()析构函数自动执行unlock()特点轻量、高效不可手动解锁、不可复制、不可移动适用场景简单临界区代码段短无需中途解锁仅需保证互斥std::lock_guardstd::mutex lock(mtx);2. std::unique_lock最灵活自动锁lock_guard 的加强版兼顾自动管理与灵活操作是线程同步的核心锁。基础功能自动加锁/解锁支持手动lock()、unlock()、try_lock()核心特性支持延迟上锁、锁所有权转移std::move()可配合条件变量使用适用场景复杂同步场景需中途解锁、等待唤醒std::unique_lockstd::mutex lock(mtx);3. std::shared_lock读写锁自动管理配合std::shared_mutex使用实现“读共享、写独占”特点读操作可多线程同时进行写操作独占提升高并发读场景的效率适用场景读多写少如配置读取、日志查询四、线程同步锁仅能实现“互斥”若需线程间有序协作如等待某个条件成立、唤醒其他线程需结合条件变量且仅std::unique_lock可配合使用1. 核心组件std::condition_variable条件变量核心作用实现线程间“等待-唤醒”通信需与std::unique_lock配合唯一支持的锁类型核心操作cv.wait(lock, 谓词)自动解锁、阻塞、重新加锁防止虚假唤醒cv.notify_one()唤醒一个等待的线程cv.notify_all()唤醒所有等待的线程适用场景生产者-消费者、线程池、交替执行等需要协作的场景2. 同步逻辑总结互斥锁保证“同一时间仅一个线程操作资源”同步条件变量保证“线程按预期顺序执行”二者结合构成完整的多线程并发逻辑。五、锁的使用场景选择场景描述推荐锁类型核心原因简单临界区无需中途解锁std::lock_guard轻量高效自动管理无多余操作需中途解锁、等待唤醒或灵活加锁std::unique_lock支持手动加解锁、延迟上锁可配合条件变量读多写少高并发读场景std::shared_lock std::shared_mutex读共享提升并发写独占保证安全递归函数、嵌套加锁std::recursive_mutex允许同一线程多次加锁避免递归死锁需超时控制避免永久阻塞std::timed_mutex支持超时加锁防止死锁六、锁的使用铁律最小临界区原则仅对操作共享资源的代码段加锁锁的范围越小、时间越短并发效率越高禁止使用裸锁手动加解锁优先使用RAII自动锁lock_guard/unique_lock条件变量必须配合std::unique_lock不可用其他锁类型避免交叉加锁如线程A锁mtx1再锁mtx2线程B锁mtx2再锁mtx1防止死锁读多写少场景优先用shared_mutex提升并发效率C锁体系的核心逻辑原始锁提供底层互斥能力RAII自动锁简化管理条件变量实现线程协作根据场景选择对应锁类型既保证并发安全又提升程序效率。