由于同一进程内的多个线程共享内存空间,在Java中,就是共享实例,当多个线程试图同时修改某个实例的内容时,就会造成冲突,因此,线程必须实现共享互斥,使多线程同步。
最简单的同步是将一个方法标记为synchronized,对同一个实例来说,任一时刻只能有一个synchronized方法在执行。当一个方法正在执行某个synchronized方法时,其他线程如果想要执行这个实例的任意一个synchronized方法,都必须等待当前执行 synchronized方法的线程退出此方法后,才能依次执行。
但是,非synchronized方法不受影响,不管当前有没有执行synchronized方法,非synchronized方法都可以被多个线程同时执行。
此外,必须注意,只有同一实例的synchronized方法同一时间只能被一个线程执行,不同实例的synchronized方法是可以并发的。例如,class A定义了synchronized方法sync(),则不同实例a1.sync()和a2.sync()可以同时由两个线程来执行。
多线程同步的实现最终依赖锁机制。我们可以想象某一共享资源是一间屋子,每个人都是一个线程。当A希望进入房间时,他必须获得门锁,一旦A获得门锁,他进去后就立刻将门锁上,于是B,C,D就不得不在门外等待,直到A释放锁出来后,B,C,D中的某一人抢到了该锁(具体抢法依赖于 JVM的实现,可以先到先得,也可以随机挑选),然后进屋又将门锁上。这样,任一时刻最多有一人在屋内(使用共享资源)。
Java语言规范内置了对多线程的支持。对于Java程序来说,每一个对象实例都有一把"锁",一旦某个线程获得了该锁,别的线程如果希望获得该锁,只能等待这个线程释放锁之后。获得锁的方法只有一个,就是synchronized关键字。例如:
- public class SharedResource {
- private int count = 0;
- public int getCount() { return count; }
- public synchronized void setCount(int count) { this.count = count; }
- }
同步方法public synchronized void setCount(int count) { this.count = count; } 事实上相当于:
- public void setCount(int count) {
- synchronized(this) { // 在此获得this锁
- this.count = count;
- } // 在此释放this锁
- }
红色部分表示需要同步的代码段,该区域为"危险区域",如果两个以上的线程同时执行,会引发冲突,因此,要更改SharedResource的内部状态,必须先获得SharedResource实例的锁。
退出synchronized块时,线程拥有的锁自动释放,于是,别的线程又可以获取该锁了。
为了提高性能,不一定要锁定this,例如,SharedResource有两个独立变化的变量:
- public class SharedResouce {
- private int a = 0;
- private int b = 0;
- public synchronized void setA(int a) { this.a = a; }
- public synchronized void setB(int b) { this.b = b; }
- }
若同步整个方法,则setA()的时候无法setB(),setB()时无法setA()。为了提高性能,可以使用不同对象的锁:
- public class SharedResouce {
- private int a = 0;
- private int b = 0;
- private Object sync_a = new Object();
- private Object sync_b = new Object();
- public void setA(int a) {
- synchronized(sync_a) {
- this.a = a;
- }
- }
- public synchronized void setB(int b) {
- synchronized(sync_b) {
- this.b = b;
- }
- }