1.乐观锁CAS:Unsafe类的compareAndSwap方法,乐观地认为共享变量未被其它线程修改,比较共享变量原值并修改为期望值,若比较失败则while循环重试,节省上锁的开销。需要搭配volatile一起使用,确保拿到变量最新值,并在修改后同步到主存。
2.ABA问题:若另一线程将共享变量从A变为B再变回A,compareAndSwap无法察觉变量已被其它线程改动过。则需要添加stamp表明版本号,例如juc提供的AtomicStampedReference。若只关注是否被修改过,也可以使用标记型原子引用AtomicMarkableReference。
3.获取unsafe,并手动cas: