Java 中的'发生之前”一致性是什么？它是如何工作的？

理解发生前一致性

Java 语言规范 (JLS) 中发生前一致性的概念是指以下内容的一致顺序：在多线程环境中读取和写入。

Happens-Before 一致性的定义

如果对于每个读取 r，一组操作 A 是发生前一致的在 A 中，其中 W(r) 是 r 看到的写入操作：

• hb(r, W(r))（r 发生在 W(r) 之前）
• 或者A 中不存在写入 w，使得 w.v = r.v 且 hb(W(r), w) 和 hb(w, r) （r 和 w 之间没有不一致）

已回答的问题

1.你的理解正确吗？
是的，你的理解是正确的。 “它等于以下单词：...，情况是既不...也不...”是正式定义的逻辑等价物。

2. “w.v = r.v”是什么意思？
w.v 和 r.v 分别指写入 w 和读取 r 访问的变量的值。条件 w.v = r.v 表示两个操作中读取的值相同。

3.执行顺序中左边的数字代表什么？
左边的数字代表原始代码中的操作顺序。

4.您对 volatile 字段的理解正确吗？
是的，您的理解是正确的。在第一个执行顺序中，r2 和 r1 都看到初始写入 0，因为 A 和 B 是非易失性字段，允许延迟或不一致的读取。

5。这种情况（读后看到写）在现实世界中存在吗？
是的，它可以存在。一个例子是，当两个线程通过自己的寄存器访问共享数据时，优化会阻止读取线程检测写入线程所做的更改。

6.你能举一个真实的例子吗？
考虑以下示例：

线程 1

<code class="java">volatile boolean running = true;</code>

线程 2

<code class="java">while (running) {
  // Perform task
}</code>

在这个例子中，如果读取线程的优化阻止它加载更新的 running 值，它将继续看到过时的值并无限期地执行循环，即使线程 1 已经将 running 设置为错误。

以上是Java 中的'发生之前”一致性是什么？它是如何工作的？的详细内容。更多信息请关注PHP中文网其他相关文章！