2009年10月11日星期日

[note]Java的两个关键字:synchronize和volatile

Volatile修饰的成员变量在每次被线程访问时,都强迫从共享内存中重读该成员变量的值。而且,当成员变量发生变化时,强迫线程将变化值回写到共享内存。这样在任何时刻,两个不同的线程总是看到某个成员变量的同一个值。
Java语言规范中指出:为了获得最佳速度,允许线程保存共享成员变量的私有拷贝,而且只当线程进入或者离开同步代码块时才与共享成员变量的原始值对比。
这样当多个线程同时与某个对象交互时,就必须要注意到要让线程及时的得到共享成员变量的变化。
volatile关键字就是提示VM:对于这个成员变量不能保存它的私有拷贝,而应直接与共享成员变量交互。
由于使用volatile屏蔽掉了VM中必要的代码优化,所以在效率上比较低,因此一定在必要时才使用此关键字。
Synchronize修饰的变量或者方法在每次被线程访问时,都会先锁定此资源,然后操作,操作完成后解锁。与Volatile最大的不同在于锁定和解锁,保证了操作的原子性,而Volatile只能保证read-write等
原子操作的原子性,当三者混合执行时就会出错,如:
  1. public class TestRaceCondition {  
  2.     private volatile int i = 0;  
  3.   
  4.     public void increase() {  
  5.        i++;  
  6.     }  
  7.   
  8.     public int getValue() {  
  9.        return i;  
  10.     }  

i++这一步等于:i = i + 1;先read i,然后执行+操作,最后赋值更新。当多线程执行时,这些一个个操作之间夹杂着其他线程的操作,就会出现错误。

没有评论: