多线程的共享变量的内存不可见性
线程的开销 :
- 线程的创建和销毁
- 线程的上下文切换和调度
- 线程的同步
多线程的内存模型: 线程独有的工作内存(线程缓存用于提高效率)---------所有线程共享的主内存
线程读取在主内存的成员变量(即共享变量)的过程:
- 线程的工作内存会去读取主内存的成员变量并保存副本
- 线程在工作内存中修改副本
- 将修改后的副本的值推送给主空间并改写主空间该成员变量的值
- 主空间成员变量修改后的值将不会主动推送给其他线程, 这就造成了线程的工作内存的共享变量的不同步
问题: 各个线程的工作内存不可见
即 A线程先读取共享变量a, B线程修改了共享变量a后为a`,推送给主内存并改写, 主内存不会推送给A线程,A和B的变量会不同步
解决办法
- synchroized可以同步值
- volatile关键字 会使得主内存的共享变量每经过一次改变都会推送给其他的线程, 其他线程会修改其副本
同步值之synchronized和volatile的区别
相同点:
synchronized 和 volatile都能用来同步共享变量
不同点:
1. volatile是轻量级的同步策略, 可以修饰基本类型的变量,如int, synchronized是重量级的同步策略,基于对象的同步锁
2. volatile不具备互斥性, 一个线程访问共享变量 , 其他线程也可以访问共享变量
synchronized是互斥锁, 具备互斥性, 在被锁的代码块上只能有一个线程访问共享变量
3. volatile不能保证变量的原子性, 即一组对共享变量的操作不具备事务(要么全部完成,要么全部不完成) 如 i++/i--
即一个线程在进行一组操作中还没完成时, 其他线程也能进入这组操作对共享变量进行修改
而 synchronized则能保证一组对共享变量操作的原子性, 即这组操作全部完成,才能进行下一轮操作
即在被锁的代码块中只能允许一个线程去执行这组操作, 其他需要执行这组操作的线程会进入阻塞状态,等待其完成
总结:
主内存 工作内存
共享变量 副本
工作内存中会主动去拉取主内存的共享变量并创建其副本
工作内存中的副本修改后会推送给主内存改写共享变量
volatile 会使得主内存修改后的共享变量推送其他线程
内存不可见的本质 : 线程之间有互相独立的缓存区, 当多个线程对共享数据进行操作时, 其操作彼此不可见
可以直接理解： 使用volatile之后该共享该变量线程不在工作内存缓存其副本, 所有线程对该变量的操作全是在主内存中完成
即不在存在操作的不可见,所有线程的操作的变量是位于主内存的变量
https://www.cnblogs.com/huangleshu/p/10026222.html
