多线程并发编程之--互斥、同步、死锁

同步：多个线程，执行速度有差异，在一定情况需要等待。

互斥：同一时刻，只有一个线程，能访问某个特定资源。

在计算机科学中，"互斥"（Mutual Exclusion）是一个非常重要的概念，特别是在多线程编程和并发控制中。它指的是在某一时刻，只有一个线程（或进程）能够访问某个特定的资源或执行某个特定的代码段（通常称为临界区）。这样做的目的是为了防止数据竞争（data races）和确保数据的一致性。

为什么要互斥？

在并发编程中，多个线程可能会同时尝试访问或修改共享资源（如内存中的变量、文件、数据库等）。如果没有适当的同步机制，这些访问可能会发生冲突，导致数据损坏、不一致或程序崩溃。互斥确保了在任何给定时间，只有一个线程能够访问或修改共享资源，从而避免了这些问题。

实现互斥的方法

实现互斥有多种方法，包括但不限于以下几种：

1. 互斥锁（Mutexes）：
   互斥锁是最常见的同步机制之一。当一个线程想要进入临界区时，它必须先获取（或锁定）与该临界区相关联的互斥锁。如果锁已经被另一个线程持有，那么该线程将被阻塞，直到锁被释放。

2. 信号量（Semaphores）：
   信号量是一种更通用的同步机制，它不仅可以用于实现互斥，还可以用于限制对资源的并发访问数量。当用于互斥时，信号量的初始值通常设置为1，表示只有一个线程可以访问资源。

3. 自旋锁（Spinlocks）：
   自旋锁是另一种互斥机制，但与互斥锁不同，当一个线程尝试获取已被另一个线程持有的自旋锁时，它不会立即阻塞，而是会不断循环检查锁是否可用（即“自旋”）。这种方法在锁持有时间非常短的情况下效率较高，但可能会浪费CPU资源。

4. 原子操作（Atomic Operations）：
   在某些情况下，可以使用原子操作来避免互斥锁的开销。原子操作是那些在执行过程中不会被线程调度机制中断的操作。例如，许多现代处理器提供了对整数的原子加载、存储和比较并交换（CAS）操作。

注意事项

• 死锁（Deadlocks）：在使用互斥锁等同步机制时，需要小心避免死锁，即两个或多个线程在等待对方释放资源而无法继续执行的情况。
• 活锁（Livelocks）：虽然较少见，但活锁也是并发编程中的一个问题，它指的是线程不断尝试执行但总是因为某些原因（如优先级反转）而失败。
• 性能影响：互斥锁等同步机制可能会对程序的性能产生负面影响，因为它们可能导致线程阻塞和上下文切换。因此，在设计并发程序时，应该仔细考虑何时以及如何使用这些机制。

死锁的四大条件（互斥、保持和等待、不剥夺、环路等待）

• 死锁的预防：打破四大条件（有序资源分配法、静态资源分配）
• 死锁的避免：银行家算法
• 死锁的检测与解除
• 鸵鸟策略（不予理睬）