CPU架构层面提升性能的四个"黑科技"

来自 深入浅出计算机组成原理

现代CPU架构多采用流水线技术,即同一个时钟周期内存在多个"流水线"同时处理一条指令的"取指令"、"指令译码"、"执行指令"、"访存"、"写回"的不同阶段。流水线层面的优化方案有很多: 乱序执行和分支预测等。但是这些优化层面是远远不够的,下面介绍现代 cpu 性能优化方面的一些"黑科技"。

多发射和超标量

在指令的执行过程中,现代cpu的流水线技术在取指令的阶段是不能并行的,即使是多条流水线,取指令阶段也要等待其他流水线走完取指令这个时钟周期才能去取指令。如下图:

流水线cpu执行.png

既然取指令不可以并行,那么为什么不能在取指令阶段同时取多条指令在一条流水线取执行呢?从另一种方式达到并行(同一时钟周期执行多条指令)的效果。多发射与超标量就是这样一种通过增加硬件的方式来实现这样的方案,但是这样的设计也大大加重了cpu电路的复杂度,一次性取多条指令,需要判断指令之间是否存在依赖关系(一旦存在依赖关系就不能丢到执行阶段),对这种依赖关系的检测是cpu电路变得异常复杂。

动态多发射处理器.png

超长指令字设计VLIW(安腾处理器的失败)

多发射与超标量判断指令间的依赖关系是依靠cpu内部的硬件电路来检测,VLIW设想不依靠硬件电路来检测,而是依靠软件层面(编译器)来检测指令间的依赖关系。在编译器阶段,将没有依赖关系的指令代码交换位置,然后将多条连续的指令打包成一个指令包,cpu处理的时候不再是获取单条指令,而是获取一个指令包:

VLIW.png

这样的处理方式看似很好,但是无法向前兼容(不同的指令集)也无法向后兼容:如果需要提高指令的并发量,就需要增大指令包里面的最大指令数,而一旦增大了指令包里面的指令数,由于是在软件层面的处理(指令依赖检测),就需要编译器来重新编译才能满足程序运行条件,而不能直接运行。

超线程(Hyper-Threading)

不管是现代cpu的流水线架构,还是多发射和超标量。都是希望在同一时钟周期内支线多条指令,来提高cpu的吞吐率。超线程就是:cpu在处理指令的时候会遇到依赖检测,冒险问题。那就找一些和这些指令没有依赖的指令来运行,而这些没有依赖的指令就是其他程序。不同的程序是完全独立的,并行一定没有问题。

现在的cpu核心,不管是多个cpu核心上面运行不同的程序,还是单个cpu核心中通过切换线程执行不同的任务,在同一时间点上,一个物理的 CPU 核心只会运行一个线程的指令,所以其实我们并没有真正地做到指令的并行运行

而超线程是将物理层面上的cpu核心,"伪装"成两个逻辑层面的cpu核心(感觉像虚拟内存和物理内存的映射),使得在一个cpu核心内部维护两个线程的指令的信息。(只有寄存器会有双份)


超线程cpu核心.png

这样两个线程中的两个程序,就可以在线程1流水线等待(NOP操作)时去执行线程2的指令,线程2流水线等待时切换至执行线程1的操作。这样CPU就不必浪费太多时间在流水线停顿上。

单指令多数据流(SIMD)

不同的cpu支持的指令集不尽相同,从循环到向量化,看cpu的性能提升。

$ python
>>> import numpy as np
>>> import timeit
>>> a = list(range(1000))
>>> b = np.array(range(1000))
>>> timeit.timeit("[i + 1 for i in a]", setup="from __main__ import a", number=1000000)
32.82800309999993
>>> timeit.timeit("np.add(1, b)", setup="from __main__ import np, b", number=1000000)
0.9787889999997788
>>>

两段代码输出差异了30多倍。所有用 Python 讲解数据科学的教程里,往往在一开始就告诉你不要使用循环,而要把所有的计算都向量化(Vectorize)

而前面使用循环来一步一步计算的算法呢,一般被称为 SISD,也就是单指令单数据(Single Instruction Single Data)的处理方式。如果你手头的是一个多核 CPU 呢,那么它同时处理多个指令的方式可以叫作 MIMD,也就是多指令多数据(Multiple Instruction Multiple Dataa)。

SIMD 单条指令的执行:


SIMD单条指令执行.png

可以看出,SIMD指令不管在获取指令,还是执行指令,都是并行执行的,前面的demo只是进行自增1,是完全没有指令依赖的,也没有毛线问题需要去处理,自然可以省下很多时间。

基于SIMD的向量指令计算,指令集叫做MMX(Matrix Math eXtensions)矩阵数学拓展。基于此,cpu才有能力进行多媒体的处理。

思考

有一句名言:软硬件编程中任何情况都可以通过增加一个中间层来解决。

在程序执行执行过程中,通过增加一个虚拟内存层,映射到实际的物理内存来更有效的管理内存;多发射和超标量中通过增加硬件来保存从内存中取出的多条指令,然后分发给译码器;许多的软件中间件应该也是这个思想吧。

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

推荐阅读更多精彩内容