【慕课网学习笔记】Java共享变量的可见性和原子性

1. Java内存模型(Java Memory Model, JMM)

Java的内存模型如下,所有变量都存储在主内存中,每个线程都有自己的工作内存。

共享变量:如果一个变量在多个线程中都使用到了,那么这个变量就是这几个线程的共享变量。

可见性:一个线程对共享变量的修改,能够及时地到主内存并且让其他的线程看到。

怎么理解上面的可见性的意思呢?

线程对共享变量的修改,只能在自己的工作内存里操作,不能直接对主内存中的共享变量进行修改。而且一个线程不能直接访问另一个线程中的变量的值,只能通过主内存进行共享传递。

那么就要求线程A对共享变量修改后,及时地更新到主内存中,线程B才可以及时地从主内存获取最新的值到工作内存。

比如一个共享变量int i = 0; 线程A将其改为i =1; 其他线程此时获取i的值,应该能及时地得到1,而不是0。

2. synchronized实现可见性

synchronized除了常见的原子性,还实现了可见性。这是因为:

1) 线程解锁前,必须把共享变量的最新值刷新到主内存中去;

2) 线程加锁时,将清空工作内存中的共享变量的值,使用到共享变量时,从主内存中获取最新的共享变量值(加锁和解锁需要同一把锁)

3. volatile实现可见性

通过内存屏障和禁止重排序优化来实现可见性。

1) 对共享变量进行写操作后,加入一条store屏障指令,强制将共享变量的值刷新到主内存;

2) 对共享变量进行读操作前,加入一条load屏障指令,强制从主内存中将最新值刷新到工作内存;

4.volatile不能保证原子性

一个比较典型的例子是++运算符。

在下面的代码中,一共创建了1000个线程,预期应该是加了1000次,那么number的值应该是1000,实际上有可能并不是。

这是因为,++运算符并不是一次操作。以number++为例,可以看作是,先从主内存中取出number的值,然后将其加1,刷新工作内存,刷新主内存,这么几个步骤。

而volatile并不能保证原子性,这就意味着,有可能出现这种情况:

1)线程A获取到主内存的number的值(假设为10)到工作内存

2)此时CPU调度,A暂停,线程B开始执行,同样从主内存中获取到number为10,number++后,number为11,刷新到主内存

3)线程A继续执行number++,它的工作内存中number为10,执行完毕刷新到主内存,此时,number的值为11. 也就是说,AB两个线程同时进行了+1操作,但最终的结果,只加了1

 1 public class VolatileDemo {
 2
 3     private int number = 0;
 4
 5     public void increase() {
 6         number++;
 7     }
 8
 9     public int getNumber() {
10         return number;
11     }
12
13     public static void main(String[] args) {
14         final VolatileDemo demo = new VolatileDemo();
15
16         for (int i = 0; i <= 999; i++) {
17             new Thread(new Runnable() {
18                 @Override
19                 public void run() {
20                     demo.increase();
21                 }
22             }).start();
23         }
24
25         //线程未执行完,主线程让出CPU资源
26         while(Thread.activeCount() > 1){
27             Thread.yield();
28         }
29
30         //待上面的线程都执行完了,再打印,避免打印的不是最后的数据
31         System.out.println(demo.getNumber());
32     }
33 }

5.volatile适用场景

1)对共享变量的写操作,不依赖于其之前的值

不合适:number++, number = number * 2, number += 1等

合适:boolean值

2)该变量没有包含在具有其他变量的不变式中,也就是说,不同的volatile变量之间,不能互相依赖

6.AtomicInteger实现递增

上面我们已经知道一个整型的共享变量要实现递增,如果使用++运算符,即使加上volatile关键字,也是无法保证其原子性的。而如果在访问变量时加上synchronized块,或者可重入锁,开销又太大。

JDK1.5之后,可以使用AtomicInteger进行递增。该类是线程安全的。

将上面的代码修改如下,就可以保证原子性和可见性。

 1 import java.util.concurrent.atomic.AtomicInteger;
 2
 3 public class VolatileDemo {
 4
 5     private AtomicInteger number = new AtomicInteger(0);
 6
 7     public void increase() {
 8         number.incrementAndGet();
 9     }
10
11     public int getNumber() {
12         return number.intValue();
13     }
14
15     public static void main(String[] args) {
16         final VolatileDemo demo = new VolatileDemo();
17
18         for (int i = 0; i <= 999; i++) {
19             new Thread(new Runnable() {
20                 @Override
21                 public void run() {
22                     demo.increase();
23                 }
24             }).start();
25         }
26
27         //线程未执行完,主线程让出CPU资源
28         while(Thread.activeCount() > 1){
29             Thread.yield();
30         }
31
32         //待上面的线程都执行完了,再打印,避免打印的不是最后的数据
33         System.out.println(demo.getNumber());
34     }
35 }
时间: 2024-07-30 06:55:56

【慕课网学习笔记】Java共享变量的可见性和原子性的相关文章

JavaScript进阶--慕课网学习笔记

                     JAVASCRIPT-进阶篇 给变量取个名字(变量命名) 变量名字可以任意取,只不过取名字要遵循一些规则: 1.必须以字母.下划线或美元符号开头,后面可以跟字母.下划线.美元符号和数字.如下: 正确: mysum _mychar $numa1 错误: 6num  //开头不能用数字 %sum //开头不能用除(_ $)外特殊符号,如(%  + /等) sum+num //开头中间不能使用除(_ $)外特殊符号,如(%  + /等) 2.变量名区分大小写,

JavaScript入门--慕课网学习笔记

 JAVASCRIPT-(慕课网)入门篇 我们来看看如何写入JS代码?你只需一步操作,使用<script>标签在HTML网页中插入JavaScript代码.注意, <script>标签要成对出现,并把JavaScript代码写在<script></script>之间. <script type="text/javascript">表示在<script></script>之间的是文本类型(text),ja

慕课网学习笔记02

如何利用CSS进行网页布局 内容来自慕课网 浮动(float)和 绝对定位(position:absolute)可以让元素脱离文档流. 清除浮动可以理解为打破横向排列. 清除浮动的关键字是clear,官方定义如下: 语法: clear : none | left | right | both 取值: none : 默认值.允许两边都可以有浮动对象 left : 不允许左边有浮动对象 right : 不允许右边有浮动对象 both : 不允许有浮动对象 CSS浮动及清除浮动通俗讲解 网页布局基础

vagrant 慕课网 学习笔记

搭建一个环境,不需要重复配置,直接利用vagrant复制就可以了 vagrant 和 virtualbox 的版本必须匹配, 不匹配的话可能会出很多未知的错误 搭配问题可以去官网查看 所有源码在 githup.com/apanly/mooc 如果不能FQ 就请访问 git.oschina.net/apanly/mooc 安装git sudo apt-get install git http://www.imooc.com/video/14218 3-5 vagrant ThinkPHP5运行环境

Java基础__慕课网学习(22):Java中的instanceof关键字

instanceof是Java的一个二元操作符,和==,>,<是同一类东东.由于它是由字母组成的,所以也是Java的保留关键字.它的作用是测试它左边的对象是否是它右边的类的实例,返回boolean类型的数据.举个例子: String s = "I AM an Object!"; boolean isObject = s instanceof Object; 我们声明了一个String对象引用,指向一个String对象,然后用instancof来测试它所指向的对象是否是Obj

Java基础__慕课网学习(25):Java第二季4.7 UML与PowerDesigner在Java设计中的应用,找了一篇比较好的博客,转载在这里

面向对象模型 面向对象模型是利用UML(统一建模语言)的图形来描述系统结构的模型,它从不同角度实现系统的工作状态.这些图形有助于用户,管理人员,系统分析人员,开发人员,测试人员和其他人员之间进行信息交流.这里主要介绍用例图,序列图和类图.   1.面向对象模型OOM 面向对象模型是利用UML的图形描述系统结构的模型,可以利用PowerDesigner的面向对象模型进行创建.PowerDesigner支持UML的下列图形. 用例图(User Case Diagram):通常用来定义系统的高层次草图

php慕课网学习笔记

模板赋值在action.php里面$name='yz'; $this->name2=$name; 然后在html里面就可以直接调用此name <?php echo $name2; ?> 第二种方法: this->assign('变量名',变量值)   (可以连续的赋值) $date=date('Y-M-D'); $this->assign('name2',$name)->assign('sex','man')->assign('today',$date); <

Java基础__慕课网学习(24):深入理解抽象类与接口(转)

深入理解Java的接口和抽象类 对于面向对象编程来说,抽象是它的一大特征之一.在Java中,可以通过两种形式来体现OOP的抽象:接口和抽象类.这两者有太多相似的地方,又有太多不同的地方.很多人在初学的时候会以为它们可以随意互换使用,但是实际则不然.今天我们就一起来学习一下Java中的接口和抽象类.下面是本文的目录大纲: 一.抽象类 二.接口 三.抽象类和接口的区别 一.抽象类 在了解抽象类之前,先来了解一下抽象方法.抽象方法是一种特殊的方法:它只有声明,而没有具体的实现.抽象方法的声明格式为:

React官网学习笔记

欢迎指导与讨论 : ) 前言 本文主要是笔者在React英文官网学习时整理的笔记.由于笔者水平有限,如有错误恳请指出 O(∩_∩)O 一 .Tutoial 篇 1 . React的组件类名的首字母必须是大写  var Comment = React.creatClass({..})  class Comment extends Component(){...} 2 . 我们需要往一个对象里传入一些方法,并把这个对象以参数的形式传到React.creatClass( )里.其中最重要的方法是ren