【Java & 多线程】synchronized 和 死锁问题

synchronized

1. synchronized 的特性

synchronized 是 Java 中用于实现线程同步的关键字, 其特性主要包括:

1. 互斥性: synchronized 保证了在同一时刻, 只有一个线程可以访问共享资源
2. 可见性: 当一个线程退出 synchronized 块时, 它会清空工作内存中的共享变量值, 当线程退出 synchronized 块时, 它会将工作内存中的共享变量的最新值刷新回主内存
3. 有序性: synchronized 可以防止JVM的指令重排序

2. synchronized 的使用

synchronized 的使用主要有两种方式: 同步代码块和同步方法

1. 同步代码块: synchronized (锁对象){// 需要同步的代码}。其中，锁对象是用来定义同步锁的，可以是任何对象
2. 同步方法：当一个方法被声明为synchronized时，它的锁时当前对象实例（对于实例方法）或类的class对象（对于静态方法）

3. synchronized 的锁机制

synchronized 的锁机制是基于 JVM 层面的，主要涉及到以下几个概念：

1. 锁：synchronized 的锁是基于对象头的 Mark Word来实现的，当一个线程访问一个对象时，它会获取该对象的锁
2. 偏向锁：当锁对象被一个线程访问后，会在对象头的Mark Word 中济洛路下该线程的 ID，此时锁处于偏向模式。下一次该线程再次访问该对象时，不需要再次竞争锁
3. 轻量级锁：当有另一个线程访问该对象，并且该对象处于偏向锁状态是，偏向模式会失效，锁会升级为轻量级锁。轻量级锁是通过对象中记录下线程ID，并通过CAS操作实现的。
4. 重量级锁：当多个线程竞争同一个锁时，轻量级锁会升级为重量级锁。重量级是通过操作系统层面的互斥量（Mutex）来实现同步的

通过以上对synchronized的特性、使用和锁机制的总结，我们可以更好地理解和使用synchronized来实现线程同步，从而避免并发中的线程安全问题。

死锁问题

1. 死锁的成因

死锁是多线程编程中的一种常见问题, 它发生在两个或多个线程永久性地阻塞, 每个线程等待其他线程释放锁, 但这些锁又被其他线程持有, 导致没有线程能够继续执行, 形成了一个闭环的等待的关系。死锁的原因通常包括以下几个方面：

1. 互斥条件：资源不能被多个线程使用，只能由一个线程独占
2. 持有和等待条件：线程至少持有一个资源，并且正在等待获取额外的资源，而该资源又被其他线程持有。
3. 不剥夺条件：线程持有的资源在未使用完毕之前不能被其他线程强行剥夺。
4. 循环等待条件：存在一个线程与资源之间的循环等待链，每个线程都在等待下一个线程持有的资源

2. 解决方案

为了避免死锁的发生，可以采取以下几种策略：

1. 避免循环等待：破坏循环等待条件，可以通过资源编号和线程请求资源时的顺序来实现。线程只能按照资源编号的升序请求资源，这样就可以避免形成闭环的等待链
2. 锁排序：确保线程在请求资源时按照一定的顺序来避免死锁
3. 资源预分配：预分配所需的全部资源给线程，然后再执行。这种方法可以避免线程在执行过程中因等待资源而陷入阻塞
4. 超时尝试：线程在请求资源时设置超时事件，如果在规定时间内没有获取到资源，则放弃请求，回退到等待状态
5. 死锁检测与恢复：运行时检测死锁，并采取措施解除死锁。比如，撤销某个线程或回滚操作到安全状态。
6. 使用锁协议：采用严格的锁获取和释放协议，如两段锁协议，确保在有锁的情况下不会释放其他锁，从而避免死锁。
7. 避免使用抢占资源：如果资源可以被抢占，那么当系统检测到死锁的潜在情况时，可以抢占某些资源来打破死锁。
8. 使用死锁预防算法：如银行家算法，它在资源分配时计算出是否会导致死锁，如果可能发生死锁，则不进行资源分配。

总结：死锁是多线程编程中需要特别注意的问题。通过理解死锁的成因，我们可以采取相应的策略来避免或解决死锁。在设计多线程程序时，合理地管理锁和资源，遵循锁的使用规范，可以大大降低死锁发生的可能性。