多线程

✍ dations ◷ 2025-11-07 04:59:39 #电脑架构,中央处理器,微处理器,并发计算

多线程(英语:multithreading),是指从软件或者硬件上实现多个线程并发执行的技术。具有多线程能力的计算机因有硬件支持而能够在同一时间执行多于一个线程,进而提升整体处理性能。具有这种能力的系统包括对称多处理机、多核心处理器以及芯片级多处理(Chip-level multithreading)或同时多线程(Simultaneous multithreading)处理器。

软件多线程。即便处理器只能运行一个线程,操作系统也可以通过快速的在不同线程之间进行切换,由于时间间隔很小,来给用户造成一种多个线程同时运行的假象。这样的程序运行机制被称为软件多线程。如微软的Windows作业系统和Linux就是在各个不同的线程间来回切换,被称为单人多任务作业系统。而DOS这类文字接口作业系统在一个时间只能处理一项工作,被视为单人单工作业系统。

除此之外,许多系统及处理器也支持硬件多线程技术。对称多处理机(SMP)系统具有多个处理器,所以具有真正的同时执行多个线程的能力;CMP技术通过在一块芯片上集成多个核心(Core)也具有真正的多线程能力;CMT技术则稍有不同,有的是依靠硬件执行线程切换来获得多线程能力,操作系统不再负责线程切换,因而这部分开销可以减少甚至消除,这方面典型的例子是Sun的UltraSPARC T1,它同时综合了CMP和CMT。微软的Windows 2000以后的操作系统皆支持多线程与超线程技术。

由于程序代码中存在的数据及控制依赖关系,单线程中所能发掘的指令并行潜力是有限的。为了发掘有限的指令级并行潜力而一味强化乱序执行和分支预测,以至于处理器复杂度和功耗急剧上升,有时候是得不偿失的。因此,现代微处理器多采用硬件多线程技术来发掘线程之间的线程级并行潜力。这样子允许在接口转换的专业领域之运算能力大幅提升:

有两种提升运算能力的主要技术分别是多进程与多线程。

不过有些对多线程的批评如下:

一个线程持续运行,直到该线程被一个事件挡住而制造出长时间的延迟(可能是内存load/store操作,或者程序分支操作)。该延迟通常是因缓存失败而从核心外的内存读写,而这动作会使用到几百个CPU周期才能将数据回传。与其要等待延迟的时间,线程化处理器会切换运行到另一个已就绪的线程。只要当之前线程中的数据送达后,上一个线程就会变成已就绪的线程。这种方法来自各个线程的指令交替执行,可以有效的掩盖内存访问时延,填补流水线空洞。

举例来说:

在概念上,它与即时操作系统中使用的合作式多任务类似,在该任务需要为一个事件等待一段时间的时候会主动放弃运行时段。

此种多线程硬件支持的目标,是允许在挡住的线程与已就绪的线程中快速切换。为了要达成这个目标,硬件成本将复制程序看得见的寄存器与一些处理器控制寄存器(像是程序计算器)。从一个线程切换到另一个线程对硬件来讲意谓著从一个寄存器复制到另一个。

这些新增功能的硬件有这些优势:

为了要在各个现行中的线程有效率的切换,每个现行中的线程需要有自己的暂存设置(register set)。像是为了能在两个线程中快速切换,硬件的寄存器需要两次例示(instantiated)。

另一种更高性能的多线程做法是将所有 CPU 周期轮流切换至不同的线程,来自各线程的指令按顺序交替执行。执行过程很像桶形处理器(Barrel Processor)就像这样:

这种线程的效果是会将所有从运行管线中的数据从属(data dependency)关系移除掉。因为每个线程是相对独立,管线中的一个指令层次结构需要从已跑完管线中的较旧指令代入输出的机会就相对的变小了。

而在概念上,这种多线程与操作系统的核心先占多任务(pre-exemptive multitasking)相似。

除了讨论块状多线程的硬件成本,交错式多线程也因每层管线需要追踪运行中指令的线程代码而增加硬件成本。而且,当越来越多的线程同时在管线中运行,像是缓存与 TLB 等共享资源也要加大来避免不同线程之间的冲突。

当前最先进的多线程技术是应用在超标量处理器上。超标量处理器内在每个CPU周期中,单独一个线程会发布众多的指令。套用同步多线程(SMT)之后,超标量处理器就可以在每个CPU周期中,从多个线程中发布指令。识别到任何一个单一线程拥有有限数量的指令平行处理,这种类型的多线程是试着利用并行的方式跨越多线程,以减少浪费与闲置的资源。举例来说:

交错式多线程如果不计硬件成本,SMT在每个管线层次结构的追踪线程指令会有多余的花费。而且,像是缓存与TLB这类共享的资源可能会因为多出来的线程而变得更大。

在大多数研究领域内是要求线程调度器要能够快速选择其中一个已就绪线程去运行,而不是一个一个运行而降低效率。所以要让调度器去分辨线程的优先级是很重要的。而线程调度器可能是以硬件、软件,或是软硬件并存的形式存在。

而另一个研究领域则是要研究何种事件(缓存失败、内部运行续连系、使用DMA等)会造成线程切换。

如果多线程的方案会复制所有软件可见的状态,包括特许的控制登录、TLB 等,那就能够让虚拟机去创造各式线程。这样子就允许在相同的处理器中每个线程跑各自的操作系统。换句话说,如果只有存储了用户模式的状态,就能够让相同的裸晶大小的芯片在一段时间内处理更多的线程。


相关

  • 新石器革命新石器革命泛指在公元前一万年左右在不同地区同时出现的社会模式改变现象。它的基本内容人类族群从狩猎采集社会向农耕社会的转型。这一转型导致到了人类族群的定居,和在科学
  • 16固体、 液体、 气体氧族元素是指元素周期表上第16族(ⅥA族)的元素,位于氮族元素和卤素之间。氧族元素包含氧(O)、硫(S)、硒(Se)、碲(Te)、钋(Po)、钅立(Lv),其中氧、硫、硒为非金属,碲为类金
  • 埃德蒙·比尔奈基埃德蒙·法图斯廷·比尔奈基(Edmund Faustyn Biernacki,1866年12月19日-1911年12月29日),波兰内科医师 。比尔奈基生于奥波奇诺,为第一位发现红细胞沉降率与身体关系的人,因此在某
  • 国际标准音像制品编码国际标准音像制品编码(英语:International Standard Recording Code,ISRC),由ISO 3901定义,是国际通用的录音及音乐录像制品出版物的代码。IFPI被ISO指定为注册ISRC编码的机构。TC
  • 保罗·沃尔福威茨保罗·邓迪斯·沃尔福威茨(英语:Paul Dundes Wolfowitz,1943年12月22日-),前世界银行行长,前美国国防部副部长,乃美国国防部军事策划人之一,亦是美国小布什阵营中著名鹰派人物之一。
  • 夏洛特·兰普林夏洛特·兰普林,OBE(英语:Charlotte Rampling,1946年2月5日-),英格兰女演员、歌手,在超过50年的演员生涯中曾参与演出许多英语、法语和意大利语电影。1960年代末期她便开始在法国与
  • 伊邪那美景气伊邪那美景气(いざなみ景気)是日本2002年2月开始到2008年2月间一次经济缓步复纾的时期,但是此一时期能否称为“景气”经济学界争论很大,经济学人杂志认为这是一次少数资方经济复
  • 奥普拉·温弗里奥普拉·盖尔·温弗里(英语:Oprah Gail Winfrey,1954年1月29日-),生于美国密西西比州,美国电视脱口秀主持人、制作人、投资家、慈善家及演员,美国最具影响力的非洲裔名人之一,时代百
  • 卢斯阿莱尔塞斯国家公园坐标:42°48′27″S 71°53′56″W / 42.80750°S 71.89889°W / -42.80750; -71.89889卢斯阿莱尔塞斯国家公园是阿根廷的国家公园,位于该国中部,由丘布特省负责管辖,面积2,630
  • 按加入联邦日期排列的美国州份列表这是美国州份依加入联邦顺序排列列表(英语:list of U.S. states by date of statehood),即依照各个美国州份加入联邦的日期排序。虽说前13州,被认为从独立宣言(1776年7月4日)或批准