java 内存模型
1 主存区和工作区
主存区是所有线程共享数据的地方,工作区是单个线程执行的地方,工作区修改数据后再写入主存区。
所有线程都是从主存区复制一份到工作区
2 并发线程引出来一些属性或者 三个基本概念 (这样问题 利用synchronized 和lock 锁都 可以解决)
1) 原子性, 2) 有序性, 3) 可见性 ,另外还有个 happens-before(先行原则)
写先行与读,工作区修改后会立刻更新到主存区其它线程工作区的这个变量缓存就失效,需要重新去主存区取
解释:无法保证原子性,是因为自增类型遇到线程阻塞后,就失去原子性,如 i++ 例子 线程1先拿到变量是不=10 然后线程2也拿到变量值10,然后线程1阻塞,线程2自增变量写入主存区,i=11 这时候线程1的变量缓存并没有失效,并且是只读,又是先于线程2拿到变量值,线程1再运行的时候就把10自增一个,变成11写入主存区,这样两次操作就只自增一次,无法保证原子性了。
int i=0;
void incint(){
i++;
}
多个线程循环调用 incint() 方法,就会产生数据不一致

1 volatile 保证可见性,不保证原子性 2 禁止指令重排序
1对变量的写操作不依赖当前值;

2该变量没有包含在具有其他变量的不变式中。
volatile则是轻量级的synchronized 为了提高性能而采取的措施


标签: none

相关文章推荐

添加新评论,含*的栏目为必填