指令级并行,线程级并行,数据级并行区别?线程的概念是什么?-程序员宅基地

技术标签: Parallel Computing  

作者:林夕未晞
链接:https://www.zhihu.com/question/21823699/answer/111606716
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

前言:
对于这么一个棘手的问题,我也不确定是不是完全能解释的清楚,但我试试。我解答的思路是这样的。1.先讲基本的进程与线程的概念 2.分析并发与并行 3.全文穿插CPU和操作系统的发展史(因为这是操作都是cpu实现的,与它的发展息息相关) 4.从线程级,指令级,数据级依次,尽量把每个概念分析的细致。
说的不对的地方,欢迎指正。有待讨论的地方, 可以跟我提出不同的见解讨论。在评论区或私信都可以,我最近使用知乎的频率很低,但是看见的时候我会回复的。 废话到此结束,开始正文。
-------------------正文分割线-------------------
进程(processes)与线程(thread)
我们先说个例子:小明的一天(小明躺枪:D)
小明一天的包括这些事,上午:洗脸刷牙,吃早饭,听音乐,下午: 坐公交到公园玩, 晚上:看电视,睡觉。

那么对于小明来说,他可以把一天的可以分为上午,下午和晚上这三个部分。同理对一个程序来说,它分为若干个进程,Processs A,Process B,Process C. 比如用于用户输入,数据处理,数据输出,打个比方这三个进程。如果我们分的再细致一点,小明的可以把一天分为每个细致的小事,洗脸刷牙,吃早饭,看电视,等。那么对一个程序来说,它的线程就像发生在小明这些实实在在的小事。

在这个层面上,一个程序包含着若干进程,一个进程包含着若干个线程,每个线程对cpu来说是一个程序的细小部分,就是cpu当前要处理的一件事。

进程是操作系统处理一个程序时的抽象。
好比小明的一天,抽象成了三个部分。再看看我用于编辑文档的某道云程序,打开任务管理器看到了5个进程。实际上这些进程又是由许许多多的线程组成。

Figure 1
线程是基于进程的抽象,一个进程在系统层面上,进程是由大量的可执行的单元组成,叫做线程(threads) .

Figure 2 图片摘自Wikipedia
因此我们也可以进程是线程的在一定时间内有序集合。这些线程对于普通的用户是不可见的,但是是确实存在的。

-----------------------------------小分割线-------------------------------------------------------------

并发(Concurreny)与并行(Parallelism)
这个问题还是交给小明回答吧(小明继续躺枪)。
小明可以一边玩手机一边看电视,但是事实上,他的眼睛在看电视的时候不能看手机,他在看手机没法盯着屏幕,他的眼睛飞快在两个屏幕上切换。这不是真正意义上的同时进行,但又是客观存在同时进行两件事,这叫并发。
但是小明可以一天坐公交一边听音乐,这两件事同时进行互不干扰,做到真正意义的同步同时进行,这叫并行。理解并发和并行后面的就好懂了
----------------知乎排版真的很心累------------小分割线-------------------------------------------------

线程级并发(Thread-Lever Concurrency)与线程级并行( Thread-Lever Parallelism)

线程级并发(Thread-Lever Concurrency)

在计算机发展的早期,计算机每次只能运行一个进程,在OS中能拥有资源和独立运行基本单位。因此用户想运行下一个进程必须等上一个进程运行完。比如你想浏览这个网页就必须关闭上个网页,你想运行这个线程就必须关闭别的。
在1967年迎来的变化,首次在蓝色巨人IBM公司开发的OS /360系统 (Multiprogamming with a Variable Number of Tasks) 实现了多线程,那时候还没有建立线程(thread)的概念,他们称之为任务(Tasks)。并发与不并发这有什么不同之处呢?这是第一次实现了并发(Concurrency), 这次并发实现了用户可以运行不同的任务,比如网络服务商可以同时给大量用户提供网页,用户也可以使多个任务并发,比如可以一边上网一边听歌。
IBM只是开发了一个系统就改变这么多吗?注意我前面用的词是并发,因为对真正的计算机而言这些任务并不是真正意义上的同步,而是像小明的那个例子。那么这是怎么做到同时进行的的呢?操作系统通过高速的切换不同的线程,仿佛你在同时好多任务一样。借用一个例子"As a juggler keeps multple balls flying through the air(就像一个耍杂技的同时把小球扔在空中)" ,实际上, 玩杂耍的每次手只碰到了一个球,只是看起来就像能同时处理好多球一样的样子。这样的操作系统我们称之为 单处理系统,(A uniprocessor system is defined as a computer system that has a single central processing unit that is used to execute computer tasks)

------------------------------小小分割线-----------------------------------------------------------------
线程级并行(Thread-Lever Parallelism)
虽然IBM实现了多线程的并发,但这对cpu而言并不是真正意义上的同时进行,只是让它的效率更高而已,因此人们期望能同时处理多个线程,实现线程的并行。自从1980s开始,系统开发人员也就已经发出了多处理系统Multiprpcessor system,由单一的操作系统核心控制的多进程的系统。cpu的晶体管也遵循摩尔定律高速发展。
但问题是——依旧不能同时处理多个线程,仅仅提高单核芯片的速度会产生过多热量且无法带来相应的性能改善,也永远不能实现真正意义上的同时处理多任务。
比如2000年,奔腾四,使用了英特尔发布最新的NetBurst架构,按预测,奔腾四在该架构下,最终可以把主频提高到10GHz,但是更高的主频却带来了功耗增加,使其性能上反而还不如早些时推出的产品(摘自百度百科)
英特尔和AMD也意识到,当主频接近4GHz时,速度也会遇到自己的极限:那就是单靠的主频提升,已经无法明显提升系统整体性能。
因此迫切需要一个能支持同时处理2个线程以上的处理器,来提升CPU的瓶颈。
需求推动了技术,线程级并行应运而生。

线程级并发和超线程技术(Hyper-Threading,简称HT)
2004年,奔腾4实现了hyperthreading.(单核心双线程)
2005年,并宣布他的第一个双核心 EM64T 处理器,和 Pentium D840(次年发布,双核心双线程,蹩脚双核)
2006年,Core 2(双核心双线程,但不支持HT)大概才算真正意义上单芯片多核心处理器的诞生。

而后迎来了 Multi-Core Processor 多内核处理器时代,而且伴随着多线程技术。也就常说的几核几线程。核一般指的是物理核心的数目,线程是计算机能同时进行的线程。

简单的画了下Multprocessors的示意图。

Figure 3
超线程技术实现了单个物理核心同时两个线程,也就是别人常说的虚拟内核数,这个图是单物理核心实现的双线程,它同时可以处理两个线程,它的物理核心数其实是是1个,通过Hyperthreading实现的线程级并行( Thread Lever Parallelism)
其次是多核心技术,因为多个物理核心的存在,所以也能同时处理多个线程。
实现了线程并行就这上面两种方式了,都是在2005附近诞生的技术。
比如拥有Core i7的每个核心有带着HP技术,可以同时处理2个线程,i7有4个物理核心,因此能8线程并行。
附上core i7的架构示意图

Figure 4 图片来自网络

再扯回来,小明可以一边吃饭一边听音乐,做到了一心两用。这叫并行。

线程级并行的好处:
1.当运行多任务时,它减少了之前的模拟出来的并发,那么用户进行多任务处理时可以运行更多的程序进行并发了。
2.它可以使单个程序运行更快。(仅当该程序有大量线程可以并行处理时)

从1960s到2000s年,花了50多年的时间,直到多核和超线程系统的出现,才从线程级并发实现线程级并行。

-----------------------------------小分割线-----------------------------------------------------------------

指令集并行 Instruction-Level Parallelism
指令集的是更低层次的概念。
计算机处理问题是通过指令实现的。早期的电脑一次只能执行一条指令,就好像小明吃饭的同时不允许吃菜,等吃了一口饭才允许夹菜吃。在1978年的 Intel 8086 处理器都只能一次只能单指令。
科技发展太快了,继i486处理器发布之后,1993年,奔腾处理器诞生,首次使用了ILP技术,实现了指令集并行

打比方饭菜可以一口吞就是指令集并行。当指令之间不存在相关时,它们在流水线中是可以重叠起来并行执行叫指令级并行。

数据级并行 Multiple-Data parallelism
这是最低的层次。
现代的处理器可以允许单一指令运行多个操作数并行计算。
我们考虑下面这个程序:
1. e = a +b
2. f = c +d
3. m = e * f
早期的计算机一次只能处理一条指令,它要先算1,再算2,最后算3。需要三步得到答案。
我们观察:3的结果依赖于1和2,而1和2都单纯的加法操作,所以开始想办法让它们同时计算,cpu只要两步得到答案,1和2一次算出来,进行乘法运算。它运用了SIMD(Single -Instruction ,Multple -Data)单指令多数据流技术。一个指令处理了4个操作数。SIMD指令集可以提供更快的图像,声音,视频数据等运行速度。

打了不少字了,就此结束吧,如同有人关注的话,下次再更,转载随意。

参考资料:
Wikipedia
Computer Systems : A Programmers's Perspective.
版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/Bruce_0712/article/details/65937691

智能推荐

如何配置DNS服务的正反向解析_dns反向解析-程序员宅基地

文章浏览阅读3k次,点赞3次,收藏13次。root@server ~]# vim /etc/named.rfc1912.zones #添加如下内容,也可直接更改模板。[root@server ~]# vim /etc/named.conf #打开主配置文件,将如下两处地方修改为。注意:ip地址必须反向书写,这里文件名需要和反向解析数据文件名相同。新建或者拷贝一份进行修改。nslookup命令。_dns反向解析

设置PWM占空比中TIM_SetCompare1,TIM_SetCompare2,TIM_SetCompare3,TIM_SetCompare4分别对应引脚和ADC通道对应引脚-程序员宅基地

文章浏览阅读2.5w次,点赞16次,收藏103次。这个函数TIM_SetCompare1,这个函数有四个,分别是TIM_SetCompare1,TIM_SetCompare2,TIM_SetCompare3,TIM_SetCompare4。位于CH1那一行的GPIO口使用TIM_SetCompare1这个函数,位于CH2那一行的GPIO口使用TIM_SetCompare2这个函数。使用stm32f103的除了tim6和tim7没有PWM..._tim_setcompare1

多线程_进程和线程,并发与并行,线程优先级,守护线程,实现线程的四种方式,线程周期;线程同步,线程中的锁,Lock类,死锁,生产者和消费者案例-程序员宅基地

文章浏览阅读950次,点赞33次,收藏19次。多线程_进程和线程,并发与并行,线程优先级,守护线程,实现线程的四种方式,线程周期;线程同步,线程中的锁,Lock类,死锁,生产者和消费者案例

在 Linux 系统的用户目录下安装 ifort 和 MKL 库并配置_在linux系统的用户目录下安装ifort和mkl库并配置-程序员宅基地

文章浏览阅读2.9k次。ifort 编译器的安装ifort 编译器可以在 intel 官网上下载。打开https://software.intel.com/content/www/us/en/develop/tools/oneapi/components/fortran-compiler.html#gs.7iqrsm点击网页中下方处的 Download, 选择 Intel Fortran Compiler Classic and Intel Fortran Compiler(Beta) 下方对应的版本。我选择的是 l_在linux系统的用户目录下安装ifort和mkl库并配置

使用ftl文件生成图片中图片展示无样式,不显示_ftl格式pdf的样式调整-程序员宅基地

文章浏览阅读689次,点赞7次,收藏8次。些项目时需要一个生成图片的方法,我在网上找到比较方便且适合我去设置一些样式的生成方式之一就是使用Freemarker,在对应位置上先写好一个html格式的ftl文件,在对应位置用${参数名}填写上。还记得当时为了解决图片大小设置不上,搜索了好久资料,不记得是在哪看到的需要在里面使用width与height直接设置,而我当时用style去设置,怎么都不对。找不到,自己测试链接,准备将所有含有中文的图片链接复制一份,在服务器上存储一份不带中文的文件。突然发现就算无中文,有的链接也是打不开的。_ftl格式pdf的样式调整

orin Ubuntu 20.04 配置 Realsense-ROS_opt/ros/noetic/lib/nodelet/nodelet: symbol lookup -程序员宅基地

文章浏览阅读1.5k次,点赞6次,收藏12次。拉取librealsense。_opt/ros/noetic/lib/nodelet/nodelet: symbol lookup error: /home/admin07/reals

随便推点

操作系统精选习题——第四章_系统抖动现象的发生由什么引起的-程序员宅基地

文章浏览阅读3.4k次,点赞3次,收藏29次。一.单选题二.填空题三.判断题一.单选题静态链接是在( )进行的。A、编译某段程序时B、装入某段程序时C、紧凑时D、装入程序之前Pentium处理器(32位)最大可寻址的虚拟存储器地址空间为( )。A、由内存的容量而定B、4GC、2GD、1G分页系统中,主存分配的单位是( )。A、字节B、物理块C、作业D、段在段页式存储管理中,当执行一段程序时,至少访问()次内存。A、1B、2C、3D、4在分段管理中,( )。A、以段为单位分配,每._系统抖动现象的发生由什么引起的

UG NX 12零件工程图基础_ug-nx工程图-程序员宅基地

文章浏览阅读2.4k次。在实际的工作生产中,零件的加工制造一般都需要二维工程图来辅助设计。UG NX 的工程图主要是为了满足二维出图需要。在绘制工程图时,需要先确定所绘制图形要表达的内容,然后根据需要并按照视图的选择原则,绘制工程图的主视图、其他视图以及某些特殊视图,最后标注图形的尺寸、技术说明等信息,即可完成工程图的绘制。1.视图选择原则工程图合理的表达方案要综合运用各种表达方法,清晰完整地表达出零件的结构形状,并便于看图。确定工程图表达方案的一般步骤如下:口分析零件结构形状由于零件的结构形状以及加工位置或工作位置的不._ug-nx工程图

智能制造数字化工厂智慧供应链大数据解决方案(PPT)-程序员宅基地

文章浏览阅读920次,点赞29次,收藏18次。原文《智能制造数字化工厂智慧供应链大数据解决方案》PPT格式主要从智能制造数字化工厂智慧供应链大数据解决方案框架图、销量预测+S&OP大数据解决方案、计划统筹大数据解决方案、订单履约大数据解决方案、库存周转大数据解决方案、采购及供应商管理大数据模块、智慧工厂大数据解决方案、设备管理大数据解决方案、质量管理大数据解决方案、仓储物流与网络优化大数据解决方案、供应链决策分析大数据解决方案进行建设。适用于售前项目汇报、项目规划、领导汇报。

网络编程socket accept函数的理解_当在函数 'main' 中调用 'open_socket_accept'时.line: 8. con-程序员宅基地

文章浏览阅读2w次,点赞38次,收藏102次。在服务器端,socket()返回的套接字用于监听(listen)和接受(accept)客户端的连接请求。这个套接字不能用于与客户端之间发送和接收数据。 accept()接受一个客户端的连接请求,并返回一个新的套接字。所谓“新的”就是说这个套接字与socket()返回的用于监听和接受客户端的连接请求的套接字不是同一个套接字。与本次接受的客户端的通信是通过在这个新的套接字上发送和接收数_当在函数 'main' 中调用 'open_socket_accept'时.line: 8. connection request fa

C#对象销毁_c# 销毁对象及其所有引用-程序员宅基地

文章浏览阅读4.3k次。对象销毁对象销毁的标准语法Close和Stop何时销毁对象销毁对象时清除字段对象销毁的标准语法Framework在销毁对象的逻辑方面遵循一套规则,这些规则并不限用于.NET Framework或C#语言;这些规则的目的是定义一套便于使用的协议。这些协议如下:一旦销毁,对象不可恢复。对象不能被再次激活,调用对象的方法或者属性抛出ObjectDisposedException异常重复地调用对象的Disposal方法会导致错误如果一个可销毁对象x 包含或包装或处理另外一个可销毁对象y,那么x的Disp_c# 销毁对象及其所有引用

笔记-中项/高项学习期间的错题笔记1_大型设备可靠性测试可否拆解为几个部分进行测试-程序员宅基地

文章浏览阅读1.1w次。这是记录,在中项、高项过程中的错题笔记;https://www.zenwu.site/post/2b6d.html1. 信息系统的规划工具在制订计划时,可以利用PERT图和甘特图;访谈时,可以应用各种调查表和调查提纲;在确定各部门、各层管理人员的需求,梳理流程时,可以采用会谈和正式会议的方法。为把企业组织结构与企业过程联系起来,说明每个过程与组织的联系,指出过程决策人,可以采用建立过程/组织(Process/Organization,P/O)矩阵的方法。例如,一个简单的P/O矩阵示例,其中._大型设备可靠性测试可否拆解为几个部分进行测试