java - Java中的volatile关键字-澄清

Question

这个问题在这里已经有了答案:

Difference between volatile and synchronized in Java (4 个回答)

关闭 6年前。

我对我读到的关于 volatile 关键字在 java 中的应用的内容感到非常困惑。

1. 下列说法正确吗？“对 volatile 字段的写入发生在每次后续读取同一字段之前”

2. 理想情况下应该在什么时候使用 volatile 关键字？

3. 有什么区别:

   class TestClass
   {  private int x;
   
      synchronized int get(){return x;}
      synchronized void set(int x){this.x = x;}
   
   }
   

和

class TestClass
{  private volatile int x;

   int get(){return x;}
   void set(int x){this.x = x;}

}

Answer 1

volatile是字段修饰符，而synchronized修饰代码块和方法。因此，我们可以使用这两个关键字指定简单访问器的三种变体:

     int i1;
     int geti1() {return i1;}

     volatile int i2;
     int geti2() {return i2;}

     int i3;
     synchronized int geti3() {return i3;}

geti1() 在当前线程中访问当前存储在 i1 中的值。线程可以有变量的本地副本，并且数据不必与其他线程中保存的数据相同。特别是，另一个线程可能已经更新了它的线程中的i1，但是其中的值当前线程可能与更新后的值不同。事实上，Java 有“主”内存的概念，这是保存变量当前“正确”值的内存。线程可以拥有自己的变量数据副本，并且线程副本可以不同于“主”内存。所以事实上，对于 i1，“主”内存的值可能为 1，线程 1 的值可能为 2 对于 i1 和对于 thread2 如果 thread1 对于 i1 的值为 3> 和 thread2 都更新了 i1，但这些更新的值尚未传播到“主”内存或其他线程。

另一方面，geti2() 有效地从“主”内存中访问 i2 的值。不允许 volatile 变量具有与“主”内存中当前保存的值不同的变量的本地副本。实际上，声明为 volatile 的变量必须在所有线程中同步其数据，这样每当您在任何线程中访问或更新变量时，所有其他线程都会立即看到相同的值。通常 volatile 变量比“普通”变量具有更高的访问和更新开销。通常允许线程拥有自己的数据副本是为了提高效率。

volitile 和 synchronized 有两个区别。

首先同步获取并释放监视器上的锁，该锁一次只能强制一个线程执行代码块。这是同步的众所周知的方面。但是 synchronized 也会同步内存。实际上 synchronized 将整个线程内存与“主”内存同步。所以执行 geti3() 会执行以下操作:

1. 线程获取对象 this 的监视器上的锁。
2. 线程内存刷新其所有变量，即它的所有变量都有效地从“主”内存中读取。
3. 执行代码块(在这种情况下，将返回值设置为 i3 的当前值，它可能刚刚从“主”内存中重置)。
4. (对变量的任何更改现在通常都会写入“主”内存，但对于 geti3()，我们没有任何更改。)
5. 线程释放对象 this 的监视器上的锁。

所以其中 volatile 只在线程内存和“主”内存之间同步一个变量的值，synchronized 在线程内存和“主”内存之间同步所有变量的值，并锁定和释放一个监视器以启动。显然，同步的开销可能比 volatile 的开销更大。

http://javaexp.blogspot.com/2007/12/difference-between-volatile-and.html