Java语言的关键字,当它用来修饰一个方法或者一个代码块的时候,能够保证在同一时刻最多只有一个线程执行该段代码。
- 当两个并发线程访问同一个对象object中的这个synchronized(this)同步代码块时,一个时间内只能有一个线程得到执行。另一个线程必须等待当前线程执行完这个代码块以后才能执行该代码块。
- 然而,当一个线程访问object的一个synchronized(this)同步代码块时,另一个线程仍然可以访问该object中的非synchronized(this)同步代码块。
- 尤其关键的是,当一个线程访问object的一个synchronized(this)同步代码块时,其他线程对object中所有其它synchronized(this)同步代码块的访问将被阻塞。
- 第三个例子同样适用其它同步代码块。也就是说,当一个线程访问object的一个synchronized(this)同步代码块时,它就获得了这个object的对象锁。结果,其它线程对该object对象所有同步代码部分的访问都被暂时阻塞。
- 以上规则对其它对象锁同样适用.
举例说明(使用synchronized):
在编写一个类时,如果该类中的代码可能运行于多线程环境下,那么就要考虑同步的问题。在Java中内置了语言级的同步原语--synchronized,这也大大简化了Java中多线程同步的使用。我们首先编写一个非常简单的多线程的程序,是模拟银行中的多个线程同时对同一个储蓄账户进行存款、取款操作的。
在程序中我们使用了一个简化版本的Account类,代表了一个银行账户的信息。在主程序中我们首先生成了10000个线程,然后启动它们,每一个线程都对John的账户进行存100元,然后马上又取出100元。这样,对于John的账户来说,最终账户的余额应该是还是1000元才对。然而运行的结果却超出我们的想像,首先来看看我们的演示代码:
1 package com.zb.notify; 2 3 /** 4 * 内部类 5 * 模拟银行账户,测试多线程环境下的存钱、取钱 6 * 7 * 作者: zhoubang 8 * 日期:2015年6月2日 上午10:09:52 9 */ 10 class Account { 11 /**账户金额*/ 12 float amount; 13 14 public Account(float amount) { 15 this.amount = amount; 16 } 17 18 /**存钱*/ 19 public void deposit(float amt) { 20 float tmp = amount; 21 tmp += amt; 22 23 try { 24 /**模拟其它处理所需要的时间,比如存完钱,后台系统更新数据库字段值等*/ 25 Thread.sleep(100); 26 } catch (InterruptedException e) { 27 } 28 29 amount = tmp; 30 } 31 32 /**取钱*/ 33 public void withdraw(float amt) { 34 float tmp = amount; 35 tmp -= amt; 36 37 try { 38 /**模拟其它处理所需要的时间,比如存完钱,后台系统更新数据库字段值等*/ 39 Thread.sleep(100); 40 } catch (InterruptedException e) { 41 } 42 43 amount = tmp; 44 } 45 46 public float getBalance() { 47 return amount; 48 } 49 } 50 51 /** 52 * 账户存取金额 多线程测试 53 * 54 * 作者: zhoubang 55 * 日期:2015年6月2日 上午10:05:05 56 */ 57 public class AccountTest { 58 /**模拟多个线程同时操作该账户*/ 59 private static int NUM_OF_THREAD = 10000; 60 61 static Thread[] threads = new Thread[NUM_OF_THREAD]; 62 63 public static void main(String[] args) { 64 /**为账户初始化1000元*/ 65 final Account acc = new Account(1000.0f); 66 67 /**遍历线程,多个线程同时存取账户金额:每一个线程调用存钱的方法之后,立即调用取钱。*/ 68 for (int i = 0; i < NUM_OF_THREAD; i++) { 69 threads[i] = new Thread(new Runnable() { 70 public void run() { 71 acc.deposit(100.0f); 72 acc.withdraw(100.0f); 73 } 74 }); 75 threads[i].start(); 76 } 77 78 /** 主线程等待所有线程运行结束 */ 79 for (int i = 0; i < NUM_OF_THREAD; i++) { 80 try { 81 threads[i].join();/**等待所有线程运行结束*/ 82 } catch (InterruptedException e) { 83 } 84 } 85 86 System.out.println("所有线程执行完毕,最终的账户余额为:" + acc.getBalance()); 87 } 88 89 }
注意,上面在Account的deposit和withdraw方法中之所以要把对amount的运算使用一个临时变量首先存储,sleep一段时间,然后,再赋值给amount,是为了模拟真实运行时的情况。因为在真实系统中,账户信息肯定是存储在持久媒介中,比如RDBMS中,此处的睡眠的时间相当于比较耗时的数据库操作,最后把临时变量tmp的值赋值给amount相当于把amount的改动写入数据库中。
运行AccountTest,结果如下(每一次结果都会不同):
所有线程执行完毕,最终的账户余额为:1500.0
所有线程执行完毕,最终的账户余额为:1700.0
所有线程执行完毕,最终的账户余额为:1300.0
。。。
为什么会出现这样的问题?这就是多线程中的同步的问题。
在我们的程序中,Account中的amount会同时被多个线程所访问,这就是一个竞争资源,通常称作竞态条件。
对于这样的多个线程共享的资源我们必须进行同步,以避免一个线程的改动被另一个线程所覆盖。
在我们这个程序中,Account中的amount是一个竞态条件,所以所有对amount的修改访问都要进行同步,
我们将deposit()和withdraw()方法进行同步,修改为:
1 package com.zb.notify; 2 3 /** 4 * 内部类 5 * 模拟银行账户,测试多线程环境下的存钱、取钱 6 * 7 * 作者: zhoubang 8 * 日期:2015年6月2日 上午10:09:52 9 */ 10 class Account { 11 /**账户金额*/ 12 float amount; 13 14 public Account(float amount) { 15 this.amount = amount; 16 } 17 18 /**存钱*/ 19 public synchronized void deposit(float amt) { 20 float tmp = amount; 21 tmp += amt; 22 23 try { 24 /**模拟其它处理所需要的时间,比如存完钱,后台系统更新数据库字段值等*/ 25 Thread.sleep(100); 26 } catch (InterruptedException e) { 27 } 28 29 amount = tmp; 30 } 31 32 /**取钱*/ 33 public synchronized void withdraw(float amt) { 34 float tmp = amount; 35 tmp -= amt; 36 37 try { 38 /**模拟其它处理所需要的时间,比如存完钱,后台系统更新数据库字段值等*/ 39 Thread.sleep(100); 40 } catch (InterruptedException e) { 41 } 42 43 amount = tmp; 44 } 45 46 public float getBalance() { 47 return amount; 48 } 49 } 50 51 /** 52 * 账户存取金额 多线程测试 53 * 54 * 作者: zhoubang 55 * 日期:2015年6月2日 上午10:05:05 56 */ 57 public class AccountTest { 58 /**模拟多个线程同时操作该账户*/ 59 private static int NUM_OF_THREAD = 10000; 60 61 static Thread[] threads = new Thread[NUM_OF_THREAD]; 62 63 public static void main(String[] args) { 64 /**为账户初始化1000元*/ 65 final Account acc = new Account(1000.0f); 66 67 /**遍历线程,多个线程同时存取账户金额:每一个线程调用存钱的方法之后,立即调用取钱。*/ 68 for (int i = 0; i < NUM_OF_THREAD; i++) { 69 threads[i] = new Thread(new Runnable() { 70 public void run() { 71 acc.deposit(100.0f); 72 acc.withdraw(100.0f); 73 } 74 }); 75 threads[i].start(); 76 } 77 78 /** 主线程等待所有线程运行结束 */ 79 for (int i = 0; i < NUM_OF_THREAD; i++) { 80 try { 81 threads[i].join();/**等待所有线程运行结束*/ 82 } catch (InterruptedException e) { 83 } 84 } 85 86 System.out.println("所有线程执行完毕,最终的账户余额为:" + acc.getBalance()); 87 } 88 89 }
此时,再运行,我们就能够得到正确的结果了。
Account中的getBalance()也访问了amount,为什么不对getBalance()同步呢?
因为getBalance()并不会修改amount的值,所以,同时多个线程对它访问不会造成数据的混乱。
同步加锁的是对象,而不是代码。
因此,如果你的类中有一个同步方法,这个方法可以被两个不同的线程同时执行,只要每个线程自己创建一个的该类的实例即可。
参考下面的代码:
1 package com.zb.notify; 2 3 class Foo extends Thread { 4 private int val; 5 6 public Foo(int v) { 7 val = v; 8 } 9 10 public synchronized void printVal(int v) { 11 while (true) 12 System.out.println(v); 13 } 14 15 public void run() { 16 printVal(val); 17 } 18 } 19 20 class SyncTest { 21 public static void main(String args[]) { 22 Foo f1 = new Foo(1); 23 f1.start(); 24 Foo f2 = new Foo(3); 25 f2.start(); 26 } 27 }
运行SyncTest产生的输出是1和3交叉的。
如果printVal是断面,你看到的输出只能是1或者只能是3而不能是两者同时出现。
程序运行的结果证明两个线程都在并发的执行printVal方法,即使该方法是同步的并且由于是一个无限循环而没有终止。
类的同步:
要实现真正的断面,你必须同步一个全局对象或者对类进行同步。下面的代码给出了一个这样的范例。
1 package com.zb.notify; 2 3 class Foo extends Thread { 4 private int val; 5 6 public Foo(int v) { 7 val = v; 8 } 9 10 public void printVal(int v) { 11 synchronized(Foo.class){ 12 while (true) 13 System.out.println(v); 14 } 15 } 16 17 public void run() { 18 printVal(val); 19 } 20 }
上面的类不再对个别的类实例同步而是对类进行同步。
对于类Foo而言,它只有唯一的类定义,两个线程在相同的锁上同步,因此只有一个线程可以执行printVal方法。
这个代码也可以通过对公共对象加锁。例如给Foo添加一个静态成员。两个方法都可以同步这个对象而达到线程安全。
下面给出一个参考实现,给出同步公共对象的两种通常方法:
1、
1 package com.zb.notify; 2 3 class Foo extends Thread { 4 private int val; 5 private static Object lock = new Object(); 6 7 public Foo(int v) { 8 val = v; 9 } 10 11 public void printVal(int v) { 12 synchronized (lock) { 13 while (true) 14 System.out.println(v); 15 } 16 } 17 18 public void run() { 19 printVal(val); 20 } 21 }
上面的这个例子比原文给出的例子要好一些,因为原文中的加锁是针对类定义的,一个类只能有一个类定义,而同步的一般原理是应该尽量减小同步的粒度以到达更好的性能。这里给出的范例的同步粒度比原文的要小。
2、
1 package com.zb.notify; 2 3 class Foo extends Thread { 4 private String name; 5 private String val; 6 7 public Foo(String name, String v) { 8 this.name = name; 9 val = v; 10 } 11 12 public void printVal() { 13 synchronized (val) { 14 while (true) 15 System.out.println(name + val); 16 } 17 } 18 19 public void run() { 20 printVal(); 21 } 22 }
1 public class SyncMethodTest { 2 public static void main(String args[]) { 3 Foo f1 = new Foo("Foo 1:", "printVal"); 4 f1.start(); 5 Foo f2 = new Foo("Foo 2:", "printVal"); 6 f2.start(); 7 } 8 }
上面这个代码需要进行一些额外的说明,因为JVM有一种优化机制,因为String类型的对象是不可变的,因此当你使用""的形式引用字符串时,如果JVM发现内存已经有一个这样的对象,那么它就使用那个对象而不再生成一个新的String对象,这样是为了减小内存的使用。
上面的main方法其实等同于:
1 public static void main(String args[]) { 2 String value="printVal"; 3 Foo f1 = new Foo("Foo 1:",value); 4 f1.start(); 5 Foo f2 = new Foo("Foo 2:",value); 6 f2.start(); 7 }
下面开始举第二个例子:
一、当两个并发线程访问同一个对象object中的这个synchronized(this)同步代码块时,一个时间内只能有一个线程得到执行。
另一个线程必须等待当前线程执行完这个代码块以后才能执行该代码块。
1 package com.zb.notify; 2 3 public class Thread1 implements Runnable { 4 public void run() { 5 synchronized (this) { 6 for (int i = 0; i < 5; i++) { 7 System.out.println(Thread.currentThread().getName() + " synchronized loop " + i); 8 } 9 } 10 } 11 12 public static void main(String[] args) { 13 Thread1 t1 = new Thread1(); 14 Thread ta = new Thread(t1, "A"); 15 Thread tb = new Thread(t1, "B"); 16 ta.start(); 17 tb.start(); 18 } 19 }
结果:
A synchronized loop 0
A synchronized loop 1
A synchronized loop 2
A synchronized loop 3
A synchronized loop 4
B synchronized loop 0
B synchronized loop 1
B synchronized loop 2
B synchronized loop 3
B synchronized loop 4
二、然而,当一个线程访问object的一个synchronized(this)同步代码块时,另一个线程仍然可以访问该object中的非synchronized(this)同步代码块。
1 package com.zb.notify; 2 3 public class Thread2 { 4 public void m4t1() { 5 synchronized (this) { 6 int i = 5; 7 while (i-- > 0) { 8 System.out.println(Thread.currentThread().getName() + " : " + i); 9 try { 10 Thread.sleep(500); 11 } catch (InterruptedException ie) { 12 } 13 } 14 } 15 } 16 17 public void m4t2() { 18 int i = 5; 19 while (i-- > 0) { 20 System.out.println(Thread.currentThread().getName() + " : " + i); 21 try { 22 Thread.sleep(500); 23 } catch (InterruptedException ie) { 24 } 25 } 26 } 27 28 public static void main(String[] args) { 29 final Thread2 myt2 = new Thread2(); 30 Thread t1 = new Thread(new Runnable() { 31 public void run() { 32 myt2.m4t1(); 33 } 34 }, "t1"); 35 Thread t2 = new Thread(new Runnable() { 36 public void run() { 37 myt2.m4t2(); 38 } 39 }, "t2"); 40 t1.start(); 41 t2.start(); 42 } 43 }
结果:
t1 : 4
t2 : 4
t1 : 3
t2 : 3
t1 : 2
t2 : 2
t1 : 1
t2 : 1
t1 : 0
t2 : 0
三、尤其关键的是,当一个线程访问object的一个synchronized(this)同步代码块时,其他线程对object中所有其它synchronized(this)同步代码块的访问将被阻塞。
1 // 修改Thread2.m4t2()方法: 2 public void m4t2() { 3 synchronized (this) { 4 int i = 5; 5 while (i-- > 0) { 6 System.out 7 .println(Thread.currentThread().getName() + " : " + i); 8 try { 9 Thread.sleep(500); 10 } catch (InterruptedException ie) { 11 } 12 } 13 } 14 }
结果:
t1 : 4
t1 : 3
t1 : 2
t1 : 1
t1 : 0
t2 : 4
t2 : 3
t2 : 2
t2 : 1
t2 : 0
四、第三个例子同样适用其它同步代码块。也就是说,当一个线程访问object的一个synchronized(this)同步代码块时,它就获得了这个object的对象锁。结果,其它线程对该object对象所有同步代码部分的访问都被暂时阻塞。
1 // 修改Thread2.m4t2()方法如下: 2 public synchronized void m4t2() { 3 int i = 5; 4 while (i-- > 0) { 5 System.out.println(Thread.currentThread().getName() + " : " + i); 6 try { 7 Thread.sleep(500); 8 } catch (InterruptedException ie) { 9 } 10 } 11 }
结果:
t1 : 4
t1 : 3
t1 : 2
t1 : 1
t1 : 0
t2 : 4
t2 : 3
t2 : 2
t2 : 1
t2 : 0
五、以上规则对其它对象锁同样适用:
1 package com.zb.notify; 2 3 public class Thread3 { 4 class Inner { 5 private void m4t1() { 6 int i = 5; 7 while (i-- > 0) { 8 System.out.println(Thread.currentThread().getName() + " : Inner.m4t1()=" + i); 9 try { 10 Thread.sleep(500); 11 } catch (InterruptedException ie) { 12 } 13 } 14 } 15 16 private void m4t2() { 17 int i = 5; 18 while (i-- > 0) { 19 System.out.println(Thread.currentThread().getName() + " : Inner.m4t2()=" + i); 20 try { 21 Thread.sleep(500); 22 } catch (InterruptedException ie) { 23 } 24 } 25 } 26 } 27 28 private void m4t1(Inner inner) { 29 synchronized(inner) { //使用对象锁 30 inner.m4t1(); 31 } 32 } 33 private void m4t2(Inner inner) { 34 inner.m4t2(); 35 } 36 37 public static void main(String[] args) { 38 final Foo myt3 = new Foo(); 39 final Inner inner = myt3.new Inner(); 40 Thread t1 = new Thread(new Runnable() { 41 public void run() { 42 myt3.m4t1(inner); 43 } 44 }, "t1"); 45 Thread t2 = new Thread(new Runnable() { 46 public void run() { 47 myt3.m4t2(inner); 48 } 49 }, "t2"); 50 t1.start(); 51 t2.start(); 52 } 53 }
结果:
尽管线程t1获得了对Inner的对象锁,但由于线程t2访问的是同一个Inner中的非同步部分。所以两个线程互不干扰。
t1 : Inner.m4t1()=4
t2 : Inner.m4t2()=4
t1 : Inner.m4t1()=3
t2 : Inner.m4t2()=3
t1 : Inner.m4t1()=2
t2 : Inner.m4t2()=2
t1 : Inner.m4t1()=1
t2 : Inner.m4t2()=1
t1 : Inner.m4t1()=0
t2 : Inner.m4t2()=0
现在在Inner.m4t2()前面加上synchronized:
1 private synchronized void m4t2() { 2 int i = 5; 3 while (i-- > 0) { 4 System.out.println(Thread.currentThread().getName() + " : Inner.m4t2()=" + i); 5 try { 6 Thread.sleep(500); 7 } catch (InterruptedException ie) { 8 } 9 } 10 }
结果:
尽管线程t1与t2访问了同一个Inner对象中两个毫不相关的部分,但因为t1先获得了对Inner的对象锁,所以t2对Inner.m4t2()的访问也被阻塞,因为m4t2()是Inner中的一个同步方法。
t1 : Inner.m4t1()=4
t1 : Inner.m4t1()=3
t1 : Inner.m4t1()=2
t1 : Inner.m4t1()=1
t1 : Inner.m4t1()=0
t2 : Inner.m4t2()=4
t2 : Inner.m4t2()=3
t2 : Inner.m4t2()=2
t2 : Inner.m4t2()=1
t2 : Inner.m4t2()=0
java中synchronized用法:
打个比方:一个object就像一个大房子,大门永远打开。房子里有 很多房间(也就是方法)。
这些房间有上锁的(synchronized方法), 和不上锁之分(普通方法)。房门口放着一把钥匙(key),这把钥匙可以打开所有上锁的房间。
另外我把所有想调用该对象方法的线程比喻成想进入这房子某个 房间的人。所有的东西就这么多了,下面我们看看这些东西之间如何作用的。
在此我们先来明确一下我们的前提条件。该对象至少有一个synchronized方法,否则这个key还有啥意义。当然也就不会有我们的这个主题了。
一个人想进入某间上了锁的房间,他来到房子门口,看见钥匙在那儿(说明暂时还没有其他人要使用上锁的 房间)。于是他走上去拿到了钥匙
,并且按照自己 的计划使用那些房间。注意一点,他每次使用完一次上锁的房间后会马上把钥匙还回去。即使他要连续使用两间上锁的房间,
中间他也要把钥匙还回去,再取回来。
因此,普通情况下钥匙的使用原则是:“随用随借,用完即还。”
这时其他人可以不受限制的使用那些不上锁的房间,一个人用一间可以,两个人用一间也可以,没限制。但是如果当某个人想要进入上锁的房
间,他就要跑到大门口去看看了。有钥匙当然拿了就走,没有的话,就只能等了。
要是很多人在等这把钥匙,等钥匙还回来以后,谁会优先得到钥匙?Not guaranteed。象前面例子里那个想连续使用两个上锁房间的家伙,他
中间还钥匙的时候如果还有其他人在等钥匙,那么没有任何保证这家伙能再次拿到。 (JAVA规范在很多地方都明确说明不保证,象
Thread.sleep()休息后多久会返回运行,相同优先权的线程那个首先被执行,当要访问对象的锁被 释放后处于等待池的多个线程哪个会优先得
到,等等。我想最终的决定权是在JVM,之所以不保证,就是因为JVM在做出上述决定的时候,绝不是简简单单根据 一个条件来做出判断,而是
根据很多条。而由于判断条件太多,如果说出来可能会影响JAVA的推广,也可能是因为知识产权保护的原因吧。SUN给了个不保证 就混过去了
。无可厚非。但我相信这些不确定,并非完全不确定。因为计算机这东西本身就是按指令运行的。即使看起来很随机的现象,其实都是有规律
可寻。学过 计算机的都知道,计算机里随机数的学名是伪随机数,是人运用一定的方法写出来的,看上去随机罢了。另外,或许是因为要想弄
的确定太费事,也没多大意义,所 以不确定就不确定了吧。)
再来看看同步代码块。和同步方法有小小的不同。
1.从尺寸上讲,同步代码块比同步方法小。你可以把同步代码块看成是没上锁房间里的一块用带锁的屏风隔开的空间。
2.同步代码块还可以人为的指定获得某个其它对象的key。就像是指定用哪一把钥匙才能开这个屏风的锁,你可以用本房的钥匙;你也可以指定
用另一个房子的钥匙才能开,这样的话,你要跑到另一栋房子那儿把那个钥匙拿来,并用那个房子的钥匙来打开这个房子的带锁的屏风。
记住你获得的那另一栋房子的钥匙,并不影响其他人进入那栋房子没有锁的房间。
为什么要使用同步代码块呢?我想应该是这样的:首先对程序来讲同步的部分很影响运行效率,而一个方法通常是先创建一些局部变
量,再对这些变量做一些 操作,如运算,显示等等;而同步所覆盖的代码越多,对效率的影响就越严重。因此我们通常尽量缩小其影响范围。
如何做?同步代码块。我们只把一个方法中该同 步的地方同步,比如运算。
另外,同步代码块可以指定钥匙这一特点有个额外的好处,是可以在一定时期内霸占某个对象的key。还记得前面说过普通情况下钥
匙的使用原则吗。现在不是普通情况了。你所取得的那把钥匙不是永远不还,而是在退出同步代码块时才还。
还用前面那个想连续用两个上锁房间的家伙打比方。怎样才能在用完一间以后,继续使用另一间呢。用同步代码块吧。先创建另外
一个线程,做一个同步代码 块,把那个代码块的锁指向这个房子的钥匙。然后启动那个线程。只要你能在进入那个代码块时抓到这房子的钥匙
,你就可以一直保留到退出那个代码块。也就是说 你甚至可以对本房内所有上锁的房间遍历,甚至再sleep(10*60*1000),而房门口却还有
1000个线程在等这把钥匙呢。很过瘾吧。
在此对sleep()方法和钥匙的关联性讲一下。一个线程在拿到key后,且没有完成同步的内容时,如果被强制sleep()了,那key还一
直在 它那儿。直到它再次运行,做完所有同步内容,才会归还key。记住,那家伙只是干活干累了,去休息一下,他并没干完他要干的事。为
了避免别人进入那个房间 把里面搞的一团糟,即使在睡觉的时候他也要把那唯一的钥匙戴在身上。
最后,也许有人会问,为什么要一把钥匙通开,而不是一个钥匙一个门呢?我想这纯粹是因为复杂性问题。一个钥匙一个门当然更
安全,但是会牵扯好多问题。钥匙 的产生,保管,获得,归还等等。其复杂性有可能随同步方法的增加呈几何级数增加,严重影响效率。这也
算是一个权衡的问题吧。为了增加一点点安全性,导致效 率大大降低,是多么不可取啊。
synchronized的一个简单例子:
1 package com.zb.notify; 2 3 public class TextThread { 4 5 public static void main(String[] args) { 6 TxtThread tt = new TxtThread(); 7 new Thread(tt).start(); 8 new Thread(tt).start(); 9 new Thread(tt).start(); 10 new Thread(tt).start(); 11 } 12 } 13 14 class TxtThread implements Runnable { 15 int num = 100; 16 String str = new String(); 17 18 public void run() { 19 synchronized (str) { 20 while (num > 0) { 21 try { 22 Thread.sleep(1); 23 } catch (Exception e) { 24 e.getMessage(); 25 } 26 System.out.println(Thread.currentThread().getName() + "this is " + num--); 27 } 28 } 29 } 30 }
上面的例子中为了制造一个时间差,也就是出错的机会,使用了Thread.sleep(10)
Java对多线程的支持与同步机制深受大家的喜爱,似乎看起来使用了synchronized关键字就可以轻松地解决多线程共享数据同步问题。到底如
何?――还得对synchronized关键字的作用进行深入了解才可定论。
总的说来,synchronized关键字可以作为函数的修饰符,也可作为函数内的语句,也就是平时说的同步方法和同步语句块。
如果再细的分类,synchronized可作用于instance变量、object reference(对象引用)、static函数和class literals(类名称字面常量)身上。
在进一步阐述之前,我们需要明确几点:
A.无论synchronized关键字加在方法上还是对象上,它取得的锁都是对象,而不是把一段代码或函数当作锁――而且同步方法很可能还会被其他线程的对象访问。
B.每个对象只有一个锁(lock)与之相关联。
C.实现同步是要很大的系统开销作为代价的,甚至可能造成死锁,所以尽量避免无谓的同步控制。
接着来讨论synchronized用到不同地方对代码产生的影响:
假设P1、P2是同一个类的不同对象,这个类中定义了以下几种情况的同步块或同步方法,P1、P2就都可以调用它们。
1. 把synchronized当作函数修饰符时,示例代码如下:
1 public synchronized void methodAAA() 2 { 3 //…. 4 }
这也就是同步方法,那这时synchronized锁定的是哪个对象呢?它锁定的是调用这个同步方法对象。也就是说,当一个对象P1在不同的线程中
执行这个同步方法时,它们之间会形成互斥,达到同步的效果。但是这个对象所属的Class所产生的另一对象P2却可以任意调用这个被加了synchronized关键字的方法。
上边的示例代码等同于如下代码:
1 public void methodAAA(){ 2 synchronized (this)// (1) 3 { 4 //… 5 } 6 }
(1)处的this指的是什么呢?它指的就是调用这个方法的对象,如P1。可见同步方法实质是将synchronized作用于object reference。那个
拿到了P1对象锁的线程,才可以调用P1的同步方法,而对P2而言,P1这个锁与它毫不相干,程序也可能在这种情形下摆脱同步机制的控制,造
成数据混乱。
2.同步块,示例代码如下:
1 public void method3(SomeObject so){ 2 synchronized(so){ 3 //… 4 } 5 }
这时,锁就是so这个对象,谁拿到这个锁谁就可以运行它所控制的那段代码。当有一个明确的对象作为锁时,就可以这样写程序,但当没有明
确的对象作为锁,只是想让一段代码同步时,可以创建一个特殊的instance变量(它得是一个对象)来充当锁:
1 class Foo implements Runnable{ 2 private byte[] lock = new byte[0]; // 特殊的instance变量 3 Public void methodA() { 4 synchronized(lock) { 5 //… 6 } 7 } 8 //… 9 }
注:零长度的byte数组对象创建起来将比任何对象都经济――查看编译后的字节码:生成零长度的byte[]对象只需3条操作码,而Object lock = new Object()则需要7行操作码。
3.将synchronized作用于static 函数,示例代码如下:
1 class Foo{ 2 public synchronized static void methodAAA() // 同步的static 函数 3 { 4 //… 5 } 6 public void methodBBB() { 7 synchronized(Foo.class);// class literal(类名称字面常量) 8 } 9 }
代码中的methodBBB()方法是把class literal作为锁的情况,它和同步的static函数产生的效果是一样的,取得的锁很特别,是当前调用这
个方法的对象所属的类(Class,而不再是由这个Class产生的某个具体对象了)。
《Effective Java》一书中看到过将 Foo.class和 P1.getClass()用于作同步锁还不一样,不能用P1.getClass()来达到锁这个Class的
目的。P1指的是由Foo类产生的对象。
可以推断:如果一个类中定义了一个synchronized的static函数A,也定义了一个synchronized 的instance函数B,那么这个类的同一对象Obj
在多线程中分别访问A和B两个方法时,不会构成同步,因为它们的锁都不一样。B方法的锁是Obj这个对象,而A的锁是Obj所属的那个Class。
小结如下:
搞清楚synchronized锁定的是哪个对象,就能帮助我们设计更安全的多线程程序。
还有一些技巧可以让我们对共享资源的同步访问更加安全:
1. 定义private 的instance变量+它的 get方法,而不要定义public/protected的instance变量。如果将变量定义为public,对象在外界可以
绕过同步方法的控制而直接取得它,并改动它。这也是JavaBean的标准实现方式之一。
2. 如果instance变量是一个对象,如数组或ArrayList什么的,那上述方法仍然不安全,因为当外界对象通过get方法拿到这个instance对象
的引用后,又将其指向另一个对象,那么这个private变量也就变了,岂不是很危险。 这个时候就需要将get方法也加上synchronized同步,并
且,只返回这个private对象的clone()――这样,调用端得到的就是对象副本的引用了