java – 易失性关键字和内存一致性错误

原子性是Java内存模型解决的一个问题.但是,比Atomicity更重要的是以下问题：

>内存架构,例如CPU缓存对读写操作的影响
> CPU优化,例如重新装载货物和商店
>编译器优化,例如添加和删??除装载和存储

以下清单包含一个经常使用的示例.对x和y的操作是原子的.不过,该程序可以打印两行.

int x = 0,y = 0;

// thread 1
x = 1
if (y == 0) System.out.println("foo");

// thread 2
y = 1
if (x == 0) System.out.println("bar");

但是,如果将x和y声明为volatile,则只能打印两行中的一行.

使用volatile时,内存一致性错误如何仍然存在？

以下示例使用volatile.但是,更新可能仍会丢失.

int x = 0;

// thread 1
x += 1;

// thread 2
x += 1;

如果说将volatile放在非双非长基元上的唯一效果是启用与其他线程后续读取的“先发生”关系吗？

以前发生的事情经常被误解.由before-before定义的一致性模型很弱并且难以正确使用.这可以通过以下示例进行演示,该示例称为独立写入独立读取(IRIW)：

volatile int x = 0,y = 0;

// thread 1
x = 1;

// thread 2
y = 1;

// thread 3
if (x == 1) System.out.println(y);

// thread 4
if (y == 1) System.out.println(x);

只有在发生之前,两个0才是有效的结果.然而,这显然是违反直觉的.因此,Java提供了更严格的一致性模型,禁止出现此相关性问题,并称为sequential consistency.您可以在Java语言规范的§17.4.3和§17.4.5节中找到它.最重要的部分是：

A program is correctly synchronized if and only if all sequentially consistent executions are free of data races. If a program is correctly synchronized,then all executions of the program will appear to be sequentially consistent (§17.4.3).

这意味着,volatile比以前发生的更多.如果用于所有冲突的访问,它会为您提供顺序一致性(§17.4.3).