锁策略, cas 与 synchronized 的优化过程

锁策略

• 乐观锁与悲观锁

乐观锁：预测接下来的锁冲突概率不大，成本较小，经常是轻量级锁

悲观锁：预测接下来的所冲突概率大，成本较大，经常是重量级锁

• 轻量级锁与重量级锁

轻量级锁：锁的开销较小，做的工作少，主要在用户态完成功能，尽量避免了使用操作系统提供的锁，用户态与内核态的切换较少，尽量避免了挂起等待。

重量级锁：锁的开销较大，做的工作比较多，主要使用操作系统提供的锁，容易产生阻塞等待。

• 公平锁与非公平锁

公平锁：符合先来后到的顺序。

非公平锁：所有竞争锁的线程获取锁的机会均等。

• 可重入锁与不可重入锁

可重入锁：一个线程可以对同一把锁反复加锁多次，记录这个锁是哪个线程获取到的，如果发现当前线程与锁持有线程是同一个则直接获取到锁。锁内部增加一个计数器，记录当前是第几次加锁，通过计数器控制什么时候释放锁。

• 普通锁与读写锁

普通锁：普通的互斥锁

读写锁：分为读锁和写锁

	读锁	写锁
读锁		互斥
写锁	互斥	互斥

• 自旋锁与挂起等待锁

自旋锁：是轻量级锁的具体实现，发生锁冲突时，不会挂起等待，会不断尝试能否获取到。

优点：当锁释放就会被立即获取到

缺点：如果锁长时间不释放就会消耗大量CPU

挂起等待锁：是重量级锁的具体实现，发生锁冲突时就挂起等待。

优点：在锁被其他线程占有时就会立即放弃CPU资源

缺点：锁被释放时不能第一时间获取到。

CAS

是操作系统提供的原子操作，CPU提供的一个特殊指令，compare and swap，比较内存和寄存器的值，如果二者相同则把寄存器的值和另一个内存中的值进行交换，否则不进行交换

• 应用场景：实现原子类，自旋锁。
• ABA问题：CAS无法区分是未修改还是经过多次修改会原值。
• 解决方法：可以通过引入版本号，每修改一次版本号增加，只增不减。

synchronized的优化

• 锁升级

1. 无锁。
2. 偏向锁：刚开始加锁，未产生竞争的时候，不是真正的加锁，只是对锁进行标记，直到有线程来竞争真正加锁。
3. 轻量级锁：多个线程获取同一把锁，产生锁竞争。
4. 重量级锁：产生了更剧烈的锁竞争。

• 锁粗化

      锁的粒度，编译器会据情况，粗化锁粒度。

      注意：synchronized包含的代码范围越大，锁的粒度越粗，范围越小锁的粒度细。锁的粒度细了，能够更好的提高线程的高并发，但是也会增加加锁解锁的次数。

• 锁消除

      编译器自动判定，如果不需要加锁，则会将这个锁消除