什么是线程安全
当多个线程同时访问一个对象的时候,不需要考虑什么额外的操作就能获取正确的值,就是线程安全的。
线程安全的程度
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操作代替互斥量,而偏向锁在无竞争的情况下取消了同步。