一个多线程共享变量的问题，请教下大家

Question

工作中遇到了这么一个问题，想请教下大家。伪码如下：

[code="java"]
public class AAAAA{

public boolean enable = true; // [b]非violate[/b]

// 线程A执行
public void methodA{
    while(enable){
        .........
    }
    system.out.println("----------------------");
}

// 线程B执行
public void methodB{
    enable = false;
}

}
[/code]

前提：线程A和线程B一定都会执行code。
问题：线程A是否有可能会永远退不出循环？如果存在这种可能，请详细说明下原因，谢谢。

本人认为不会存在这种情况，但是有同事说存在这种可能，原因是JVM指令重排序优化。我查了些资料，没有找到充足的证据来证明此事，所以想在这里请教下各位大侠，先行谢过了。 :)

Answer 1

看看effective java 中文版第二版 230页 如果没错的话 这个描述叫做火星失败 liveness failure 是因为 while（enable） 被jvm 优化成 if（！enable） {
while （true）
} 所以需要设置同步访问 或者是 在enable 前 加上 violate 这样 当enable变化时 这样他能保证任何一个线程在读取该域的时候能看见最新被修改的值

以上全是引用书中的话 若有不全的地方 请看书籍