2.1 内存可见性
内存可见性(Memory Visibility )是指当某个线程正在使用对象状态而另一个线程在同时修改该状态,需要确保当一个线程修改了对象状态后,其他线程能够看到发生的状态变化。可见性错误是指当读操作与写操作在不同的线程中执行时,我们无法确保执行读操作的线程能适时地看到其他线程写入的值,有时甚至是根本不可能的事情。我们可以通过同 步来保证对象被安全地发布。除此之外我们也可以使用一种更加轻量级的 volatile 变量。
public class TestVolatile {
public static void main( String[] args ) {
ThreadDemo td = new ThreadDemo();
new Thread(td).start();
while(true){
if(td.isFlag()){
System.out.println( "-------------------" );
break;
}
}
}
}
class ThreadDemo implements Runnable{
private boolean flag = false;
@Override
public void run() {
try {
Thread.sleep( 200 );
} catch ( Exception e ) {
}
flag = true;
System.out.println( "falg = " + flag );
}
public boolean isFlag() {
return flag;
}
public void setFlag( boolean flag ) {
this.flag = flag;
}
}
程序启动后,JVM会为每一个线程独立分配一块内存,ThreadDemo和main线程同时启动,复制一份共有变量flag到私有内存。由于main线程使用while-true,执行速度非常快,当ThreadDemo线程将变量flag变为true后,main线程仍然在使用私有内存中的变量。这就是内存可见性问题:当多个线程操作共享数据时,彼此不可见。
2.2 volatile关键字
Java 提供了一种稍弱的同步机制,即 volatile 变量,用来确保将变量的更新操作通知到其他线程。可以将 volatile 看做一个轻量级的锁,但是又与锁有些不同:
对于多线程,不是一种互斥关系。
不能保证变量状态的“原子性操作”。
Private volatile boolean flag = false;