深入理解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指令实现。

  1. 编译器在同步块的开始和技术位置添加monitorenter和monitorexit指令;
  2. 这两个对象都需要一个reference类型的参数来指明要锁定和解锁的对象。
  3. 如果没有指明对象,那么把当前对象或者类作为锁对象。
  4. 这是一把可重入锁。会阻塞后面想要获取锁的线程。

当有线程要访问这段代码的时候,会先去尝试获取锁,如果锁的计数器值是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操作代替互斥量,而偏向锁在无竞争的情况下取消了同步。
上一篇:深入理解java虚拟机(6)---内存模型与线程 & Volatile


下一篇:How to Enable Multi-Touch