- synchronized与wait()/notify()
- JMM与synchronized
- ThreadLocal与synchronized
- ReentrantLock与synchronized
最重要一条:
synchronized是针对对象的隐式锁使用的,注意是对象!
举个小例子,该例子没有任何业务含义,只是为了说明synchronized的基本用法:
public Class Bank(){
float account[ACCOUNT_NUM];
...
public synchronized void transfer(int from, int to, float amount){
while(account[from]){
wait();
}
account[from] -= amount;
account[to] += amount;
notifyAll();
}
}
这样就满足需求了。
可见,用对象锁来管理试图进入synchronized方法的线程,
另外,由条件判断来管理已经进入同步方法中的线程即当前线程
这里还补充两点:
1. 调用wait()方法前的判断最好用while,而不用if;因为while可以实现被唤醒后线程再次作条件判断;而if则只能判断一次
2. 用notifyAll()优先于notify()。
另外注意一点:
能调用wait()/notify()的只有当前线程,前提是必须获得了对象锁,就是说必须要进入到synchronized方法中。
-------------------------------------我是分割线----------------------------------------
补充一点JMM的相关知识,对理解线程同步很有好处。
(说明一下:以下内容参考了一些网上零零碎碎的帖子,非照搬且无商业目的,请勿跨省。)
JVM中(留神:马上讲到的这两个存储区只在JVM内部与物理存储区无关)存在一个主内存(Main Memory),Java中所有的变量存储在主内存中,所有实例和实例的字段都在此区域,对于所有的线程是共享的(相当于黑板,其他人都可以看到的)。每个线程都有自己的工作内存(Working Memory),工作内存中保存的是主存中变量的拷贝,(相当于自己笔记本,只能自己看到),工作内存由缓存和堆栈组成,其中缓存保存的是主存中的变量的copy,堆栈保存的是线程局部变量。线程对所有变量的操作都是在工作内存中进行的,线程之间无法直接互相访问工作内存,变量的值得变化的传递需要主存来完成。在JMM中通过并发线程修改的变量值,必须通过线程变量同步到主存后,其他线程才能访问到。
看看这个图是不是更形象
![](http://photo2.bababian.com/usr832855/upload1/20090614/sBtYKP1GU1okcV3oHvBCcWyO9WOwCsqaK9YtCbHK70RnhSeacQjf2Mg==.jpg)
好啦,下面来看线程对某个变量的操作步骤:
1.从主内存中复制数据到工作内存
2.执行代码,对数据进行各种操作和计算
3.把操作后的变量值重新写回主内存中
现在举个例子,设想两个棋手要通过两个终端显示器(Working Memory)对奕,而观众要通过服务器大屏幕(Main Memory )观看他们的比赛过程。这两个棋手相当于是同步中的线程,观众相当于其它线程。棋手是无法直接操作服务器的大屏幕的,他只能看到自己的终端显示器,只能先从服务器上将当前结果先复制到自己的终端上(步骤1),然后在自己的终端上操作(步骤2),将操作的结果记录在终端上,然后在某一时刻同步到服务器上(步骤3)。他所能看到的结果就是从服务器上复制到自己的终端上的内容,而要想把自己操作后的结果让其他人看到必须同步到服务器上才行。至于什么时候同步,那要看终端和服务器的通信机制。
回到这三个步骤,这个顺序是我们希望的,但是,JVM并不保证第1步和第3步会严格按照上述次序立即执行。因为根据java语言规范的规定,线程的工作内存和主存间的数据交换是松耦合的,什么时候需要刷新工作内存或者什么时候更新主存的内容,可以由具体的虚拟机实现自行决定。由于JVM可以对特征代码进行调优,也就改变了某些运行步骤的次序的颠倒,那么每次线程调用变量时是直接取自己的工作存储器中的值还是先从主存储器复制再取是没有保证的,任何一种情况都可能发生。同样的,线程改变变量的值之后,是否马上写回到主存储器上也是不可保证的,也许马上写,也许过一段时间再写。那么,在多线程的应用场景下就会出现问题了,多个线程同时访问同一个代码块,很有可能某个线程已经改变了某变量的值,当然现在的改变仅仅是局限于工作内存中的改变,此时JVM并不能保证将改变后的值立马写到主内存中去,也就意味着有可能其他线程不能立马得到改变后的值,依然在旧的变量上进行各种操作和运算,最终导致不可预料的结果。
这可如何是好呢?还好有synchronized和volatile:
1.多个线程共有的字段应该用synchronized或volatile来保护.
2.synchronized负责线程间的互斥.即同一时候只有一个线程可以执行synchronized中的代码.
synchronized还有另外一个方面的作用:在线程进入synchronized块之前,会把工作存内存中的所有内容映射到主内存上,然后把工作内存清空再从主存储器上拷贝最新的值。而在线程退出synchronized块时,同样会把工作内存中的值映射到主内存,不过此时并不会清空工作内存。这样一来就可以强制其按照上面的顺序运行,以保证线程在执行完代码块后,工作内存中的值和主内存中的值是一致的,保证了数据的一致性!
3.volatile负责线程中的变量与主存储区同步.但不负责每个线程之间的同步.
volatile的含义是:线程在试图读取一个volatile变量时,会从主内存区中读取最新的值。现在很清楚了吧。
-------------------------------------我也是分割线----------------------------------------
说到synchronized,那就再来谈谈ThreadLocal。
在JDK的API文档中ThreadLocal的定义第一句道出:This class provides thread-local variables. 好,这个类提供了线程本地的变量。只看这一句,让我们结合到上面JMM的知识我们来分析一下理一下头绪:
我们已经知道了synchronized的含义是同步,也就是针对的是主存中的变量,只不过多线程执行时为了实现同步就需要每个线程在操作这个变量时要完成那三个步骤(对,就是主存与线程工作内存之间完成交互的那三步),我们很自然想到:
1. 使用目的:需要有某些变量在多个线程中共享,有共享才会需要同步。
2. 执行效率:直观上感觉一下,同步的执行效率肯定不高,事实上也的确是这样,为什么?看看那三步多麻烦。
好,现在再来看看ThreadLocal的定义,我们能想到什么?
首先让我们思考一个问题,并不是所有多线程程序都需要共享啊,这个时候还用同步那一套岂不是很多余?让每个线程维护自己的变量不就OK了,反正又不需要共享。对,ThreadLocal就是干这个事的。另一方面,那不用多说,性能上肯定优越喽。
小结一下:对比synchronized和ThreadLocal首先要清楚,两者的使用目的不同,关键点就在是否需要共享变量。就是说,ThreadLocal根本不是同步。再说啰嗦一点:ThreadLocal和Synchonized都用于解决多线程并发访问。但是ThreadLocal与synchronized有本质的区别,synchronized是利用锁的机制,使变量或代码块在某一时该只能被一个线程访问。而ThreadLocal为每一个线程都提供了变量的副本,使得每个线程在某一时间访问到的并不是同一个对象,这样就隔离了多个线程对数据的数据共享。Synchronized用于线程间的数据共享,而ThreadLocal则用于线程间的数据隔离。两者处于不同的问题域。这个都不清晰的话说再多都没用,只会更糊涂。
好了,上个例子看看ThreadLocal怎么用的(注:该例子来源于 http://www.iteye.com/topic/81936 这篇老帖子还是很值得看的):
public class ThreadLocalDemo implements Runnable {
private final static ThreadLocal studentLocal = new ThreadLocal(); //ThreadLocal对象在这
public static void main(String[] agrs) {
TreadLocalDemo td = new TreadLocalDemo();
Thread t1 = new Thread(td,"a");
Thread t2 = new Thread(td,"b");
t1.start();
t2.start();
}
public void run() {
accessStudent();
}
public void accessStudent() {
String currentThreadName = Thread.currentThread().getName();
System.out.println(currentThreadName+" is running!");
Random random = new Random();
int age = random.nextInt(100);
System.out.println("thread "+currentThreadName +" set age to:"+age);
Student student = getStudent(); //每个线程都独立维护一个Student变量
student.setAge(age);
System.out.println("thread "+currentThreadName+" first read age is:"+student.getAge());
try {
Thread.sleep(5000);
}
catch(InterruptedException ex) {
ex.printStackTrace();
}
System.out.println("thread "+currentThreadName +" second read age is:"+student.getAge());
}
protected Student getStudent() {
Student student = (Student)studentLocal.get(); //从ThreadLocal对象中取
if(student == null) {
student = new Student();
studentLocal.set(student); //如果没有就创建一个
}
return student;
}
protected void setStudent(Student student) {
studentLocal.set(student); //放入ThreadLocal对象中
}
}
ThreadLocal通过一个Map来为每个线程都持有一个变量副本,用ThreadLocal对象以键值对的方式来维护这些线程独立变量 。
-------------------------------呦这么巧,我也是分割线----------------------------------
既然说到了synchronized,顺便说说ReentrantLock吧。
ReentrantLock不熟悉?没事,concurrent包里的ArrayBlockingQueue知道吧,去看看源码,发现了吧,里面全是ReentrantLock。
好,言归正传,ReentrantLock是何方神圣?先这么说吧,你可以认为ReentrantLock是具有和synchronized类似功能的性能功能加强版同步锁。
让我们先来看看synchronized有什么缺点:
1. 只有一个condition与锁相关联,这个condition是什么?就是synchronized对针对的对象锁。
2. 多线程竞争一个锁时,其余未得到锁的线程只能不停的尝试获得锁,而不能中断。这种情况对于大量的竞争线程会造成性能的下降等后果。
针对synchronized的一系列缺点,JDK5提供了ReentrantLock,目的是为同步机制进行改善。下面来看看它是怎么改善上面这两个缺点的:
1. 一个ReentrantLock可以有多个Condition实例。
举个例子,还是刚才说的ArrayBlockingQueue类,看看源码(节选):
public class ArrayBlockingQueue<E> extends AbstractQueue<E> implements BlockingQueue<E>, java.io.Serializable {
...
private final ReentrantLock lock;
private final Condition notEmpty;
private final Condition notFull;
...
public ArrayBlockingQueue(int capacity, boolean fair) {
...
lock = new ReentrantLock(fair);
notEmpty = lock.newCondition();
notFull = lock.newCondition(); //为该ReentrantLock设置了两个Condition
}
public E take() throws InterruptedException {
final ReentrantLock lock = this.lock;
lock.lockInterruptibly();
try {
try {
while (count == 0)
notEmpty.await(); //这里针对notEmpty这个condition,如果队列为空则线程等待这个条件
} catch (InterruptedException ie) {
notEmpty.signal();
throw ie;
}
E x = extract();
return x;
} finally {
lock.unlock();
}
}
private E extract() {
final E[] items = this.items;
E x = items[takeIndex];
items[takeIndex] = null;
takeIndex = inc(takeIndex);
--count;
notFull.signal(); //这里针对notFull这个condition,唤醒因该条件而等待的线程
return x;
}
...
}
这里notEmpty和notFull作为lock的两个条件是可以分别负责管理想要加入元素的线程和想要取出元素的线程。例如put()方法在元素个数达到最大限制时会使用notFull条件把试图继续插入元素的线程都扔到等待集中,而执行了take()方法时如果顺利进入extract()则会空出空间,这时notFull负责随机的通知被其扔到等待集中的线程执行插入元素的操作。(这里没给出put方法,有兴趣的童鞋可以去查查源码,其实和take方法很类似)
2. ReentrantLock提供了lockInterruptibly()方法可以优先考虑响应中断,而不是像synchronized那样不响应interrupt()操作。
解释一下响应中断是什么意思:比如A、B两线程去竞争锁,A得到了锁,B等待,但是A有很多事情要处理,所以一直不返回。B可能就会等不及了,想中断自己,不再等待这个锁了,转而处理其他事情。在这种情况下,synchronized的做法是,B线程中断自己(或者别的线程中断它),我不去响应,继续让B线程等待,你再怎么中断,我全当耳边风。而lockInterruptibly()的做法是,B线程中断自己(或者别的线程中断它),ReentrantLock响应这个中断,不再让B等待这个锁的到来。
有了这个机制,使用ReentrantLock时就不会像synchronized那样产生死锁了。
由于ReentrantLock在提供了多样的同步功能(除了可响应中断,还能设置时间限制),因此在同步比较激烈的情况下,性能比synchronized大大提高。
不过,在同步竞争不激烈的情况下,synchronized还是非常合适的(因为JVM会进行优化,具体不清楚怎么优化的)。因此不能说ReentrantLock一定更好,只是两者适合情况不同而已,在同步竞争不激烈时用synchronized,激烈时用ReentrantLock。换句话说,ReentrantLock的可伸缩性可并发性要更好一些。除非您对 ReentrantLock的某个高级特性有明确的需要,或者有明确的证据(而不是仅仅是怀疑)表明在特定情况下,同步已经成为可伸缩性的瓶颈,否则还是应当继续使用 synchronized。(这里推荐一个帖子 http://www.ibm.com/developerworks/cn/java/j-jtp10264/ )
再补充一点,使用ReentrantLock时,切记要在finally中释放锁,这是与synchronized使用方式很大的一个不同。对于synchronized,JVM会自动释放锁,而ReentrantLock需要你自己来处理。给个代码片段吧:
//synchronized
public synchronized void increment() {
count++;
}
- //ReentrantLock
- public void increment() {
- lock.lockInterruptibly();//上锁
- try {
- count++;
- } finally {
- lock.unlock();//手动释放锁
- }
- }