线程安全与线程同步（多线程编程的核心指南）

什么是线程安全？

想象一个银行账户，你和你的家人同时用手机App取钱。如果程序没有做好线程安全处理，就可能出现余额扣除错误的情况。这是因为多个线程（取款操作）同时读取和修改同一个变量（账户余额），导致竞态条件。所谓竞态条件，就是程序的执行结果依赖于线程的执行顺序，当顺序不可控时，结果就会出错。因此，线程安全就是要消除竞态条件，保证共享资源在任何时候都被正确地操作。

线程同步：解决线程安全的武器

为了实现线程安全，我们需要引入线程同步机制。最常用的方法就是使用互斥锁（Mutex）。互斥锁就像厕所的门锁，当一个线程进入临界区（操作共享资源的代码段）时，它会锁上门，其他线程只能在门外等待，直到锁被释放。这样就保证了同一时刻只有一个线程能够访问共享资源，从而避免了竞态条件。

1. 互斥锁

在代码中，使用互斥锁非常简单：在访问共享资源前加锁（lock），操作完成后解锁（unlock）。如果另一个线程试图加一个已经被锁住的锁，它就会被阻塞，直到锁被释放。这是最基础也最重要的线程同步工具。

2. 信号量

信号量是一个计数器，用来控制同时访问某个资源的线程数量。比如限制同时下载的线程数为5，当信号量大于0时线程可以继续，否则等待。它也能用于线程同步，但比互斥锁更灵活。

3. 条件变量

条件变量用于线程间通信，比如生产者-消费者问题。当缓冲区满时，生产者线程等待，消费者消费后通过条件变量唤醒生产者。它通常与互斥锁配合使用，避免竞态条件。

4. 读写锁

读写锁区分读操作和写操作：读锁可以被多个线程同时持有（共享），写锁只能被一个线程持有（独占）。这适用于读多写少的场景，能提高并发性能，同时保证线程安全。

实际案例：模拟银行取款

假设账户余额为1000元，两个线程同时取款800元。如果没有线程同步，可能出现以下竞态条件：线程A读取余额1000，线程B也读取1000；线程A计算新余额200并写回，线程B同样计算200并写回，最终余额为200，但实际应该扣除1600元导致余额不足。正确做法是用互斥锁保护余额操作：线程A加锁后读取、计算、写回，再解锁；此时线程B才能进入，发现余额不足，取款失败。这就是线程同步的作用。

注意事项

• 死锁：多个线程互相等待对方释放锁，导致所有线程都无法继续。避免嵌套锁或使用超时机制。
• 锁粒度：锁的范围太大影响性能，太小可能无法保证线程安全，需要权衡。
• 性能开销：线程同步会带来上下文切换和阻塞，尽量减小临界区。

总结：线程安全是目标，线程同步是手段。掌握互斥锁等同步工具，是编写可靠多线程程序的基础。希望这篇教程能帮你理解这两个关键概念，并在实际开发中灵活运用。