并发编程始末

说到并发编程可能是很多开发者的梦魇,那么今天我们就揭开并发编程神秘的面纱

为什么出现并发编程?

可能我们研究并发编程出现的原因,需要我们对计算机原理有一定的了解,比如操作系统的cpu,内存等等都是什么东西。

看下图,我们的存储设备按照运行速度从快到慢排序方式依次是cpu,内存,磁盘。他们之间运行速度相差都是在100倍。所以对于一次计算机任务的运算,瓶颈自然在最慢的磁盘操作上,cpu永远会有空闲。

image.png

所以,为了提供高速cpu和内存的利用率,平衡三者的运算速度差异,计算机体系机构,操作系统,编译程序都为之做出了改变:

  1. cpu芯片上增加缓存(L1,L2,L3),保存取于内存的数据块,来均衡与内存的运算速度
  2. 操作系统增加了进程,线程的分时复用cpu,最大程度的提高cpu的利用率,进而均衡cpu和磁盘设备速度差异
  3. 编译程序优化指令执行次序,使得缓存能够得到更加合理地利用

也正是这些优化,导致了并发场景下的一些诡异问题。

线程切换导致的原子性问题

对于操作系统来说,早期就能支持多进程的方式来解决磁盘io慢的问题,在单核的cpu上我们也能一边听歌一边写bug。

在多进程运行的场景下,每个进程运行都需要申请到cpu分配的时间片,这个时间片就是操作系统允许进程运行的一小段时间,比如50毫秒,50毫秒之后操作系统将会选取另外一个进程来运行(任务切换)


任务切换

当进程在等待io时将cpu让出来,cpu将会去做别的事情,这样cpu的使用率将会大大提高了。

操作系统中,不同进程的内存空间是不同的,对于进程的切换,将会设计到进程的内存映射的切换。而进程创建的所有线程,都是共享进程的内存空间的,所以通过线程来进行任务切换的代价就会很低。

Java并发程序就是通过线程切换实现的。Java是一门高级编程语言,高级语言中一条语句一般需要多条cpu指令才能完成,比如count+=1,至少需要三条CPU指令。


非原子操作

那么,这种非原子性操作,在执行过程中可能会遇到线程切换,那么就会导致非原子性操作执行到一半,切换到另外一个线程执行,从而导致脏数据的产生。

如果count+=1是一个原子性的操作,线程的切换要么是在count+=1之前,要么是在count+=1之后,就不会产生并发问题了。

从单核时代到多核时代带来的可见性问题

早期的计算机只有一个CPU,如果是多个线程都在这一个CPU上运行,CPU缓存和内存数据的一致性在每次线程切换时都会被同步,所以一个线程对于缓存的写对于另外一个线程的读一定是可见的。


CPU缓存和内存

但是随着计算机不断的发展,硬件层面,多核时代下,一个计算机拥有多个CPU,并且每个CPU都会有自己的缓存。此时,多个线程同时运行,处于不同CPU上的操作,可能修改是CPU的缓存,而没有真正同步到内存中。

CPU缓存和内存

如上图,线程A和线程B想要同时操作同一块内存。但是线程A在CPU-1上修改的是CPU-1的缓存,对于CPU-2是不可见的。与此同时,CPU-2也在操作这块内存,但是他修改的是CPU-2的缓存。此次如果CPU同步缓存至内存中,必然会内存值不准确的情况。这种就是因为多核情况下,CPU缓存的不可见性导致的并发问题。

编译优化同样会有并发问题

Java语言中比较出名的DCL,就是为编译优化的指令重排序导致的并发问题:
例如下面的代码:

public class Singleton {
  static Singleton instance;
  static Singleton getInstance(){
    if (instance == null) {
      synchronized(Singleton.class) {
        if (instance == null)
          instance = new Singleton();
        }
    }
    return instance;
  }
}

new Singleton()操作对于CPU指令会有三个操作:

  1. 分配一块内存
  2. 在内存上初始化Singleton对象
  3. 将内存地址赋值给instance变量

但是如果经过指令重排序的优化:

  1. 分配一块内存
  2. 将内存地址赋值给instance变量
  3. 在内存上初始化Singleton对象

线程A执行时,先给instance变量分配了内存地址,后初始化的对象,那么就很雪崩;线程B执行instance == null判断时,将会返回一个未初始化的instance,我们再调用insatance的成员变量时将会触发空指针异常。

总结

综观上述的三个问题,只要我们能够深刻理解可见性、原子性、有序性在并发场景下的原理,并发bug还是能够避免的。其实缓存、线程、编译优化的目的和我们写并发程序的目的是相同的,都是为了提供程序的性能

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

推荐阅读更多精彩内容