乐观锁(Optimistic Locking)是一种并发控制机制,用于解决多个线程或进程同时访问共享资源时可能发生的冲突问题。与悲观锁不同,乐观锁假设冲突很少发生,因此不会对整个操作过程进行严格的加锁。
乐观锁的实现方式通常有以下几种:
版本号(Versioning): 在数据表中增加一个版本号字段,每次更新数据时,版本号会随之增加。在进行数据更新时,检查当前的版本号是否与自己持有的版本号一致,若一致则进行更新,否则表示已经有其他线程修改了数据。
时间戳(Timestamp): 类似于版本号,但是使用时间戳来标记数据的更新时间。每次更新数据时,将当前时间戳写入数据表中,更新时检查时间戳是否一致。
CAS(Compare and Swap): 使用原子操作的方式进行比较和交换。在更新数据时,比较当前值与期望值是否一致,如果一致则进行交换操作,否则表示已经有其他线程修改了数据。
对于常规博客介绍乐观锁可能就止步于此了,其实他们并没有真正讲清楚至关重要的问题;也就是实现的技术细节在哪里?
我个人观点,实现这个技术操作的核心在于乐观锁的思想。
乐观锁的基本思想是,在进行并发操作之前,先获取数据的版本或时间戳信息。当多个线程或进程同时访问相同的数据时,各自会获取到当前的版本或时间戳,并在操作完成后,比较自己的版本或时间戳与数据库中的版本或时间戳是否一致(关键一步,这一步必须是原子性的)。
我们可以分析到,无论是CAS,或者说是数据库层面上的基于版本号控制,其实都有一个关键技术,就是要确保修改的原子性,在读取这个版本号(比较期望值)或者说是读取内存中的值(比较期望值),之后如果判断成功是,则开始尝试去修改它,而修改这个操作需要是原子性的;CAS可以保证原子性,而数据库的update操作也是可以保证原子性;所以乐观锁才得以实现;都是需要基于底层提供的原子操作最终实现的乐观锁操作;
乐观锁需要操作和冲突检测这两个步骤具备原子性,这里就不能再使用互斥同步来保证了,只能靠硬件来完成。硬件支持的原子性操作最典型的是: 比较并交换(Compare-and-Swap,CAS)。CAS 指令需要有 3 个操作数,分别是内存地址 V、旧的预期值 A 和新值 B。当执行操作时,只有当 V 的值等于 A,才将 V 的值更新为 B。
AtomicReference实现乐观锁
通过对 AtomicInteger、AtomicBoolean 和 AtomicLong 分析我们发现,这三个原子类只能对单个变量进行原子操作,那么我们如果要对多个变量进行原子操作,这三个类就无法实现了。那如果要进行多个变量进行原子操作呢?操作方式就是,先把 多个变量封装成一个类,然后通过 AtomicReference 进行操作。
import java.util.concurrent.ThreadLocalRandom;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.atomic.AtomicReference;
import java.util.stream.IntStream;
/**
* @author 拾光
* @version 1.0
*/
public class TestAll {
static AtomicReference<DebitCard> reference = new AtomicReference<>(new DebitCard("zhangSan", 10));
public static void main(String[] args) {
IntStream.range(0, 10).forEach(i -> {
new Thread(() -> {
while (true){
DebitCard debitCard = reference.get();
DebitCard newDc = new DebitCard(debitCard.getName(), debitCard.getAccount() + 10);
if (reference.compareAndSet(debitCard, newDc)){
System.out.println(newDc);
}
try {
TimeUnit.SECONDS.sleep(ThreadLocalRandom.current().nextInt(10));
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}, "T-" + i).start();
});
}
}
class DebitCard {
private final String name;
private final int account;
public DebitCard(String name, int account) {
this.name = name;
this.account = account;
}
public String getName() {
return name;
}
public int getAccount() {
return account;
}
@Override
public String toString() {
return "DebitCard {name=\""+name+"\"," +
"account="+account+"}";
}
}