有时候,仅仅为了读写一两个实例变量而采取线程同步机制的代价太大。不过,对于现代的处理器和编译器,还是会出现很多错误:
- 多处理器的计算机可在寄存器或本地缓存中临时保存内存值。因此,不同处理器上的线程可能在相同的内存区域看到不同的值
- 编译器为了优化性能,会对重新排序指令。编译器不会选择改变代码含义的排序,但它会假设内存变量只会在有显式代码的地方更改。然而,内存值却会被另一个线程改变
如果用锁机制保护代码,上述的问题就不会出现。不过,锁机制会导致代码性能下降~
有了volatile关键字。
volatile关键字提供一种锁自由的机制用于同步访问实例区域。如果声明一个域为volatile,编译器和虚拟机考虑该域可能会被其他线程同步更新。
例子如下:
suppose an object has a boolean flag done that is set by one thread and queried by another thread. You have two choices
Use a lock, for example:
public synchronized boolean isDone() { return done; }
private boolean done;
(This approach has a potential drawback: the isDone method can block if another thread has locked the object.)
-
Declare the field as volatile;
public boolean isDone() { return done; } private volatile boolean done;
归纳起来,在下面三种情况中,并发存取一个域是安全的:
1.域被声明为volatile;
2.域是final的,它在构造函数结束后被访问(怎么理解?)
3.域访问被锁保护起来
<Core Java 2 Volume II - Advanced Features, Seventh Edition>