细说“乐观锁”

1，什么是乐观锁和悲观锁？
1.1，乐观锁
乐观锁认为当前的情况是最好的情况，即每次去拿数据的时候都认为别人不会修改，所以不会上锁，但是在更新的时候会判断一下在此期间别人有没有去更新这个数据。乐观锁适用于多读的应用类型，这样可以提高吞吐量，像数据库提供的类似于write_condition机制，其实都是提供的乐观锁。
1.2，悲观锁
悲观锁总是认为数据不可信的，每次去拿数据的时候都认为别人会修改，所以每次在拿数据的时候都会上锁，这样别人想拿这个数据就会阻塞直到它拿到锁（共享资源每次只给一个线程使用，其它线程阻塞，用完后再把资源转让给其它线程）。传统的关系型数据库里边就用到了很多这种锁机制，比如行锁，表锁等，读锁，写锁等，都是在做操作之前先上锁。
1.3，两种锁的使用场景
从上面对两种锁的介绍，我们知道两种锁各有优缺点，不可认为一种好于另一种，像乐观锁适用于写比较少的情况下（多读场景），即冲突真的很少发生的时候，这样可以省去了锁的开销，加大了系统的整个吞吐量。但如果是多写的情况，一般会经常产生冲突，这就会导致上层应用会不断的进行retry，这样反倒是降低了性能，所以一般多写的场景下用悲观锁就比较合适。

2，乐观锁的实现
乐观锁的常用算法是版本号机制算法和CAS算法。
2.1，版本号机制算法
举例：小张和小王都是库管员，现在有一件商品需要入库，原本记录有40件库存，小张和小王都需要入库20件。当他们同时查询到账目上记录的为40件，修改的版本号为1。小张重新将该物品的库存更改为60件，版本号设置为2。当小王开始更新该物品的库存的时候，发现版本号已经被设置为2，和自己获取的1不一致，那么就更新失败。需要重新获取库存和版本号。
2.2，CAS无锁算法
compare and swap（比较与交换），是一种有名的无锁算法。无锁编程，即不使用锁的情况下实现多线程之间的变量同步，也就是在没有线程被阻塞的情况下实现变量的同步，所以也叫非阻塞同步（Non-blocking Synchronization）。CAS是利用指令集来保障原子操作。在大多数处理器架构都含有CAS的指令集。
CAS 包含了三个操作数：
　　内存值 V
　　预估值 A
　　更新值 B
当且仅当 V == A 时，V 将被赋值为 B，否则循环着不断进行判断 V 与 A 是否相等。
3，CAS算法的缺陷
3.1，ABA 问题
什么是ABA问题？
考虑如下操作：
并发线程A（上）：获取出数据V的初始值是A，后续计划实施CAS乐观锁，期望数据仍是A的时候，修改才能为C
并发线程B：将数据修改成B
并发线程C：将数据修改回A
并发线程A（下）：CAS乐观锁，检测发现初始值还是A，进行数据修改。

如上面所示，其实V值已经被更改了一次，所以这时候线程A的操作很有可能出现问题。
3.2循环时间长开销大
长时间自旋可能导致开销大。假如CAS长时间不成功而一直自旋（不停的去重试），会给CPU带来很大的开销。
4 java.util.concurrent.atomic包的使用
Java从JDK1.5开始提供了java.util.concurrent.atomic包，方便程序员在多线程环境下，无锁的进行原子操作。原子变量的底层使用了处理器提供的原子指令，但是不同的CPU架构可能提供的原子指令不一样，也有可能需要某种形式的内部锁,所以该方法不能绝对保证线程不被阻塞。

介绍和具体的AtomicInteger类来讲解一下其相关的用法。
public final int getAndSet(int newValue) {
for (;? {
int current = get();
if (compareAndSet(current, newValue))
return current;
}
}
public final boolean compareAndSet(int expect, int update) {
return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}
getAndSet这个方法作用为将value值设置为newValue，并返回修改前的value值
在for循环中，保证每次如果compareAndSet这个方法失败之后，能重新进行尝试，直到成功将value值设置为newValue。
compareAndSet这个方法主要调用unsafe.compareAndSwapInt这个方法，这个方法有四个参数，其中第一个参数为需要改变的对象，第二个为偏移量(即之前求出来的valueOffset的值)，第三个参数为期待的值，第四个为更新后的值。整个方法的作用即为若调用该方法时，value的值与expect这个值相等，那么则将value修改为update这个值，并返回一个true，如果调用该方法时，value的值与expect这个值不相等，那么不做任何操作，并范围一个false。
因此之所以在getAndSet方法中调用一个for循环，即保证如果调用compareAndSet这个方法返回为false时，能再次尝试进行修改value的值，直到修改成功，并返回修改前value的值。
Java不能直接访问操作系统底层，而是通过本地方法来访问。Unsafe类提供了硬件级别的原子操作。public native boolean compareAndSwapInt(Object obj, long offset, int expect, int update)其中obj 需要更新的对象,offset obj中整型field的偏移量, expect 希望field中存在的值,update 如果期望值expect与field的当前值相同，设置filed的值为这个新值,如果field的值被更改返回true。