一.结论

synchronized:保证了程序执行的可见性和原子性
volatile:保证了可见性和有序性,不保证原子性

二.性质

1. 概念

原子性:和数据库事务中的原子性一样,满足原子性特性的操作是不可中断的,要么全部执行成功要么全部执行失败

有序性:编译器和处理器为了优化程序性能而对指令序列进行重排序,也就是你编写的代码顺序和最终执行的指令顺序是不一致的,重排序可能会导致多线程程序出现内存可见性问题

可见性:多个线程访问同一个共享变量时,其中一个线程对这个共享变量值的修改,其他线程能够立刻获得修改以后的值

2. 概念解析

2.1原子性

最小的操作单元,就是一个原子性操作,例如 i = 1;

多个处理器同时对共享变量进行读改写操作(i++就是经典的读改写操作),那么

共享变量就会被多个处理器同时进行操作(详细看原子操作原理)

,这样读改写操作就不是原子的,操作完之后共享变量的值会和期望的不一致。

2.2有序性

instance = new Instance();创建了一个新对象,这一 行代码可以分解为如下的3行伪代码。

memory = allocate(); // 1:分配对象的内存空间 ctorInstance(memory); // 2:初始化对象
instance = memory; // 3:设置instance指向刚分配的内存地址

我们知道,编辑器和处理器会进行代码优化,而其中重要的一点是会将指令进行重排序。 上边的代码经过重排序后可能会变为

memory = allocate(); // 1:分配对象的内存空间 instance = memory; //
3:设置instance指向刚分配的内存地址
// 注意:此时对象尚未初始化 ctorInstance(memory); // 2:初始化对象

这样会引起一些问题,打个比方,有一个线程A在创建对象,另一个线程B判断对象是否为空if (instance ==
null),如果指令被重排序,那么当A尚未初始化对象但已分配内存地址时,若B在做判断,会得到错误的结果。 所以,用 volatile
来禁止上述指令的重排序,使B的判断不会出错。

2.3可见性

volatile与synchronized关键字笔记

多个线程将同一个数据读取到各自的缓存区后,某个cpu修改了缓存的数据之后,会立马同步给主存,volatile就是这么实现可见性的

参考链接

原子操作的实现原理
volatile 禁止指令重排序
volatile是如何是实现可见性的

相关文章:

  • 2021-12-24
  • 2021-09-05
  • 2021-06-08
  • 2022-12-23
  • 2021-09-28
  • 2021-10-03
  • 2021-06-03
猜你喜欢
  • 2022-12-23
  • 2021-08-23
  • 2021-12-08
  • 2021-08-05
  • 2021-12-24
相关资源
相似解决方案