深入理解Java虚拟机(十)——线程安全与锁优化
什么是线程安全
当多个线程同时访问一个对象的时候，不需要考虑什么额外的操作就能获取正确的值，就是线程安全的。
线程安全的程度
1.不可变
不可变的对象一定是线程安全的，因为值始终只有一个。
final，这种安全是最直接最纯粹的。
2.绝对线程安全
不管运行时环境如何，调用者都不需要任何额外的同步措施。
往往JDK中说自己是线程安全的，大多不是绝对安全的。
需要付出巨大的代价，往往不需要绝对安全。
3.相对线程安全
通常所说的线程安全，就是相对线程安全，需要保证对象单次的操作是安全的，不需要额外的保障措施，但是对于一些特定顺序的额外调用，就会需要额外的同步措施。
// 读线程
Thread t1 = new Thread( new Runnable(){
public void run(){
for(int i=0; i < vector.size(); i++){
System.out.println( vector.get(i) );
}
}
}).start();
// 写线程
Thread t2 = new Thread( new Runnable(){
public void run(){
for(int i=0; i < vector.size(); i++){
vector.remove(i);
}
}
}).start();
如果上述代码中，读循环被写线程打断了，还删除了所有的元素，但是读循环的越界下标还是原来的数组大小，这样就会出现越界异常。
需要对整个循环进行加锁。其实也可以采用迭代器进行遍历，如果在迭代的时候，集合被操作了，就会抛出异常。
// 读线程
Thread t1 = new Thread( new Runnable(){
public void run(){
synchronized( vector ){
for(int i=0; i<vector.size(); i++){
System.out.println( vector.get(i) );
}
}
}
}).start();
// 写线程
Thread t2 = new Thread( new Runnable(){
public void run(){
synchronized( vector ){
for(int i=0; i<vector.size(); i++){
vector.remove(i);
}
}
}
}).start();
4.线程对立
无论怎么同步，都不能实现线程安全，就是线程对立。
这是有害的，要避免。
线程安全的实现方法
互斥同步
是最常见最主要的并发手段。同步是指同一时刻数据只被一条线程使用。互斥是实现同步的手段。
属于阻塞同步。
优先考虑使用synchronized：
- synchronized是Java语法层面的同步，清晰简单。
- Lock需要求finally中释放锁，不然出现异常就可能无法释放锁。
synchronized
最基本的互斥同步手段是synchronized，通过monitorenter和monitorexit指令实现。
- 编译器在同步块的开始和技术位置添加monitorenter和monitorexit指令；
- 这两个对象都需要一个reference类型的参数来指明要锁定和解锁的对象。
- 如果没有指明对象，那么把当前对象或者类作为锁对象。
- 这是一把可重入锁。会阻塞后面想要获取锁的线程。
当有线程要访问这段代码的时候，会先去尝试获取锁，如果锁的计数器值是0，说明可以获得锁，然后执行monitorenter将计数器值加一，获得锁。在执行代码结束的时候，执行monitorexit将锁的计数器值加1，释放锁。
ReetrantLock
重入锁是Lock接口的最常见形式。是可重入的。相比synchronized具有更多高级功能。
- 等待可中断：线程长期无法获得锁的时候，可以放弃等待。
- 公平锁：按照等待的顺序释放锁。
- 绑定多个条件：synchronized可使用wait/notify来实现等待/通知机制，但一个synchronized同步块只能使用一次，若要使用多次，就需要嵌套同步块；但ReentrantLock可以通过newCondition创建多个条件。
非阻塞同步
是一种乐观锁，不对共享数据进行加锁，而是直接操作，再进行判断措施。
JUC中各种整形原子类的自增、自减等操作就使用了CAS。
CAS操作：存在三个值，分别是共享变量V、预期旧值A、新值B，弱V与A相同，则将V更新成B，不然就循环比较，直到更新完成。
可能出现ABA问题。通过modCount字段建立修改版本，防止ABA。
无同步方案
下面两种情况不需要同步：
- 可重入代码：某个方法，只要输入的值一样，结果就是一样的，线程怎么切换，值还是不变的。
- 线程本地存储：把所有共享变量的操作都放在一个线程中，就不存在多线程访问的安全问题了。
web服务器就是采用线程本地存储，把分别把每个请求封装在一个线程中处理。
锁优化
自旋锁
作用
避免线程阻塞，而是不断使用CPU循环去获取锁，减少线程切换时候上下文切换的开销。
问题
如果长时间不能获得锁，就是浪费CPU资源。
自适应自旋
根据以往自旋等待的时间，动态调整下次自旋的等待时间。
锁清除
移除不可能存在资源竞争处的锁，降低同步的开销。
锁粗化
如果虚拟机探测到对同一个对象反复加锁，则编译器会扩大锁的代码范围，从而降低锁的切换频率。
轻量级锁
原理
利用CAS方法取代互斥同步。
利用对象头的MarkWord进行CAS操作，具体原理可以看另一篇文章。
轻量级锁
与重量级锁比较
- 重量级锁是悲观锁，总是假设会出现线程竞争，所以总是要进行互斥同步。
- 轻量级锁是乐观锁，总是假设不会出现竞争，获取利用CAS操作来获得锁。
偏向锁
原理
当线程请求到锁对象后，将锁对象的状态标志位改为01，即偏向模式。然后使用CAS操作将线程的ID记录在锁对象的Mark Word中。以后该线程可以直接进入同步块，连CAS操作都不需要。如果出现其他线程的竞争，那么偏向锁被取消，进入轻量级锁。
与轻量级锁比较
- 都是乐观锁。
- 轻量级锁通过CAS操作代替互斥量，而偏向锁在无竞争的情况下取消了同步。
