我有以下类:
public class SeqGenerator {
int last = 0;
volatile int lastVolatile = 0;
public int getNext() {
return last++;
}
public synchronized int getNextSync() {
return last++;
}
public int getNextVolatile() {
return lastVolatile++;
}
pu
我有一条线
write a = 0
write a = 1
write volatile flag = 1
在第二条线上
read volatile flag // This always happens after I write volatile flag in thread 1
read a
是否可以进行重新排序,以便在第二个线程中看到read a返回0?
如果没有,能请人详细解释原因吗?
我之所以问这个问题,是因为我对JLS的定义感到困惑:
在每个线程t执行的所有线程间操作中,t的程序顺序是一个总顺序,它反映了根据t的线程内语义执行这些操作的顺序。
在这种情况下,似乎允许重新排