版本号机制
使用版本号时,可以在数据初始化时指定一个版本号,每次对数据的更新操作都对版本号执行+1操作。并判断当前版本号是不是该数据的最新的版本号
1.查询出商品信息
select (status,status,version) from t_goods where id=#{id}
2.根据商品信息生成订单
3.修改商品status为2
update t_goods
set status=2,version=version+1
where id=#{id} and version=#{version};
CAS算法
cup执行程序最终是以指令的形式执行的,cup在执行一条指令是不会被打断,指令是最小单元,具有原子性,但执行完一条指令后都可能被其他线程抢占,所以CAS算法就是要实现原子性操作,
通常的形式是这样的compareandswap(A,B,C),A代表内存中的值,B代表期望的值,C代表要更新的值,cmpxchg 指令实现了这一操作,这样就可以实现了,Java中Java.Util.Comcurrent.Atomic包下就是用CAS思想实现的。
ABA问题
程序最终期望内存中的值是A,而内存中的值其实是A->B->A,这样,虽然值是A,但依旧不能保证之没有被修改过。(可以加入版本号,比如用时间戳来记录版本号,在JDK中提供了AtomicStampedReference类来解决这个问题,思路是一样的。这个类也维护了一个int类型的标记stamp,每次更新数据的时候顺带更新一下stamp。)
CAS自旋操作
当内存地址V与预期值B不相等时会一直循环比较直到相等。