Java并发编程（16）—— 乐观锁、悲观锁和CAS算法实现

### Java 中乐观锁和悲观锁的实现机制 #### 悲观锁的实现机制 悲观锁假设最坏的情况，在整个数据处理过程中锁定资源，防止其他线程修改同一份数据。这种方式适用于高并发且写操作频繁的场景[^2]。 在Java中，可以通过`synchronized`关键字或显式的锁（如ReentrantLock）来实现悲观锁： ```java public class PessimisticLockExample { private final Object lock = new Object(); public void writeData() { synchronized (lock) { // 执行写入逻辑 } } public void readData() { synchronized (lock) { // 执行读取逻辑 } } } ``` 上述代码展示了如何利用内置同步机制保护共享资源访问。当一个线程进入临界区时，它会阻止任何其他尝试获取相同监视器对象的线程直到当前线程退出该区域为止。 #### 乐观锁的实现机制 与悲观锁不同的是，乐观锁认为大多数情况下不会发生冲突，因此不需要在整个事务期间保持锁定状态；只有在提交更新前才会检查是否有其他更改发生过。如果检测到变化，则回滚并重试交易过程[^3]。 一种常见的乐观锁实现方法是使用版本号控制——每当记录被修改时增加其版本计数，并在每次更新之前验证这个值是否未改变。另一种更高效的方式是在硬件层面支持原子指令集的基础上构建高级抽象APIs, 如 `java.util.concurrent.atomic` 包下的类所提供的功能[^1]。 下面是一个简单的例子展示如何运用`AtomicInteger` 类来进行无锁编程: ```java import java.util.concurrent.atomic.AtomicInteger; public class OptimisticLockExample { private AtomicInteger value = new AtomicInteger(); public int getValue() { return value.get(); } /** * 尝试设置新数值. */ public boolean trySetValue(int expectedValue, int newValue) { while (true) { int currentValue = this.value.get(); if (currentValue != expectedValue) { return false; } else { if (this.value.compareAndSet(currentValue, newValue)) { return true; } } } } } ``` 在这个案例里，`trySetValue()` 方法试图仅当现有值等于预期旧值时才应用新的变更。这正是CAS(compare-and-swap)算法的核心思想之一，也是许多现代CPU架构所原生支持的一种低级机器码级别上的优化措施。