Java volatile:修订间差异

来自WHY42
Riguz留言 | 贡献
Riguz留言 | 贡献
第35行: 第35行:
== happen before ==
== happen before ==
If one action <span class="article-label">happens-before</span> another, then the first is visible to and ordered before the second.
If one action <span class="article-label">happens-before</span> another, then the first is visible to and ordered before the second.
= volatile实现 =
* 对于 <span class="article-label">volatile</span>的变量,java保证每次都是从主存中读取(而不是线程的局部变量中)
* 其读取都是原子的(包括long和double)
volatile只保证可见性,但是JVM规范中没有提及其是否会禁止指令重排!


== 内存模型 ==
== 内存模型 ==

2021年4月28日 (三) 16:00的版本

Java内存模型

JSR-133(Java 5)中定义了Java的内存模型。

指令重排

一个例子:

  • 都是局部变量,是共享变量
  • 初始化A == B == 0
Thread 1	Thread 2
1: r2 = A;	3: r1 = B;
2: B = 1;	4: A = 2;

按照如上的代码运行,理论上不应该出现 的情形。因为r2如果为2说明线程2先执行,这时候B还是为0,所以r1应该为0。

但是实际上编译器在不改变单线程执行的语义的情况下,是可以对指令进行重新排序的,如:

Thread 1	Thread 2
B = 1;	        r1 = B;
r2 = A;	        A = 2;

因此会导致上述问题(forward substitution)。另一个例子(p==q,p.x=0):

Thread 1	Thread 2
r1 = p;	        r6 = p;
r2 = r1.x;	r6.x = 3;
r3 = q;	 
r4 = r3.x;	 
r5 = r1.x;	 

这里编译器可能会复用r2读取到的值给r5。

happen before

If one action another, then the first is visible to and ordered before the second.

volatile实现

  • 对于 的变量,java保证每次都是从主存中读取(而不是线程的局部变量中)
  • 其读取都是原子的(包括long和double)

volatile只保证可见性,但是JVM规范中没有提及其是否会禁止指令重排!

内存模型

线程变量存在于公共堆栈和私有堆栈中,当JVM以-server模式启动时,为了提高线程运行时效率,线程一直在私有堆栈中取值。设置成后,则会强制从公共堆栈中取值。使用volatile关键字增加了实例变量在多个线程之间的可见性。

volatile不能保证原子性。

volatile和synchronized比较

  1. volatile是线程同步的轻量级实现,性能稍优于,volatile只能修饰变量。
  2. 多线程访问volatile不会导致阻塞,但synchronized会出现阻塞
  3. volatile能保证数据的可见性,但不能保证原子性;而synchronized可以保证原子性,间接保证了可见性
  4. volatile解决变量在多个线程之间的可见性,而synchronized解决的是多个线程之间访问资源的同步性。
  5. synchronized可以保证互斥性和可见性,保证进入同步方法或者代码块的每个线程都看到由同一个锁保护之前所有的修改效果。

使用场景

  • 利用变量控制循环退出