java并发三大特性

       在Java内存模型中,有三大性质:原子性、有序性和可见性。

一、原子性:熟悉数据库特性的我们都知道数据库sql执行中也有原子性,数据库中的原子性是这样定义的在一个事务中要么所有的sql都执行,要么都不执行。

       java内存模型中的原子性也是类似,要么所有的指令都执行,要么都不执行。这样才能保证并发操作的安全性和一致性。但是并发在带给我们方便的同时,却不能很好的

解决原子性的问题。下面我们看一下Java并发操作中是怎么产生原子性问题的。

操作系统为了提高并行处理问题的能力,会将时间分成一个个小的分片,例如50毫秒,过了50毫秒操作系统就会重新选择一个进程来执行(我们称为“任务切换”)

图1 线程切换

      针对同一个cpu,线程A获取到cpu的使用权后开始执行自己的任务,但是当时间超过一个时间分片之后需要将cpu的使用权让出来,此时线程B会占有cpu的使用权。但是如果此时线程A的任务没有执行完成,又进行了线程切换,此时线程A的操作就无法保证原子性了。下面举一个例子 针对代码 count+=1;至少需要三条 CPU 指令.

(1) 将count的值从内存中读取到寄存器中。

(2) 在寄存器中进行+1操作。

(3) 将结果写入内存中。

但是当上述三个过程中线程A 刚执行完步骤(1)后,进行了线程切换,线程B重新执行上述操作,最后内存中存储的数据是1而不是2。具体流程如图2所示。


图2

以上便是线程切换带来的Java并发原子性问题。

二、可见性:一个线程对共享变量的修改,另外一个线程能够立刻看到,我们称为可见性。

        每颗 CPU 都有自己的缓存,这时 CPU 缓存与内存的数据一致性就没那么容易解决了,当多个线程在不同的 CPU 上执行时,这些线程操作的是不同的 CPU 缓存。比如下图中,线程 A 操作的是 CPU-1 上的缓存,而线程 B 操作的是 CPU-2 上的缓存,很明显,这个时候线程 A 对变量 V 的操作对于线程 B 而言就不具备可见性了。这个就属于硬件程序员给软件程序员挖的“坑”。


图3

针对前面的理论看下面一段代码

public class Test {

  private int count = 0;

  private void add() {

    int idx = 0;

    while(idx++ < 1000) {

      count += 1;

    }

  }

  public static long calc() {

    final Test test = new Test();

    // 创建两个线程,执行add()操作

    Thread th1 = new Thread(()->{

      test.add();

    });

    Thread th2 = new Thread(()->{

      test.add();

    });

    // 启动两个线程

    th1.start();

    th2.start();

    // 等待两个线程执行结束

    th1.join();

    th2.join();

    return count;

  }

}

启动了2个线程分别对一个从0开始的数字分别加1000次,最后返回的结果一定是介于1000--2000中间的数字。出现这个问题的原因是多线程操作时一个线程修改了内存中的数值时没有来得及通知其他线程所在cpu的缓存中。导致另外一个线程从缓存中读到的数据还是原来的数据,所以最后的结果达不到2000。这也就是并发问题中的可见性问题。

三、有序性

有序性指的是程序按照代码的先后顺序执行。编译器为了优化性能,有时候会改变程序中语句的先后顺序,但是不会影响最终的执行结果。有序性比较经典的例子就是利用双重检查创建单例对象。

public class Singleton {

  static Singleton instance;

  static Singleton getInstance(){

    if (instance == null) {

      synchronized(Singleton.class) {

        if (instance == null)

          instance = new Singleton();

        }

    }

    return instance;

  }

}

在Java创建对象的时候主要进行以下几个步骤:

(1)分配一块内存区域W;

(2)在内存W上初始化 Singleton 对象;

  (3) 然后 W 的地址赋值给 instance 变量。

但是Java在编译的时候会进行编译优化,把方法的执行顺序修改成

(1)分配一块内存区域W;

  (2) 然后 W 的地址赋值给 instance 变量。

(3)在内存W上初始化 Singleton 对象;

如果线程A按照优化好的逻辑执行到第(2)步骤给开辟的内存地址分配给instance对象后,线程B的请求也打过来,此时getInstance()方法时 instance 是不等于null的,线程B会认为已经创建好单例对象,直接返回,后面的业务代码在进行对象操作的时候会出现空指针的问题。具体流程如下图所示。


图4


        以上便是java并发的三大特性以及并发给程序带来的问题,后续我将针对Java并发带来的问题更新相关的解决办法以及Java并发的其他相关知识,敬请期待。

最后:打一个小广告,后续的文章会在微信公众号“程序员之家QAQ”推送,欢迎大家搜索关注~~

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 214,128评论 6 493
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,316评论 3 388
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 159,737评论 0 349
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,283评论 1 287
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,384评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,458评论 1 292
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,467评论 3 412
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,251评论 0 269
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,688评论 1 306
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,980评论 2 328
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,155评论 1 342
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,818评论 4 337
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,492评论 3 322
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,142评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,382评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,020评论 2 365
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,044评论 2 352

推荐阅读更多精彩内容