多线程

(重定向自多執行緒

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

「多线程」的各地常用名稱
中国大陸多线程
臺灣多線、多執行緒
港澳多線程
一個行程(process)含有兩個執行緒(threads)的執行

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

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

概觀 编辑

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

  • 既使這樣做對於提升單一程式或是執行緒的效能相當困難,但是目前多數的系統都是使用多工的方式作業。
  • 能夠明顯的提升整體系統運算能力,总体吞吐量获得提升。

有兩種提升運算能力的主要技術分別是多进程與多執行緒。

不過有些對多執行緒的批評如下:

  • 當共享硬體資源(像是快取或是TLB)時多執行緒會造成干預。
  • 單執行緒的執行時間可能不會因為多執行緒而變短。硬件侦测技术有可能改变这一状况。
  • 多執行緒的硬體支援會牽涉到軟體支援,如此程式與作業系統就需要比多程序化更大幅度的修改。

粗粒度交替多线程 编辑

概念 编辑

一個執行緒持續執行,直到該執行緒被一個事件擋住而製造出長時間的延遲(可能是記憶體load/store操作,或者程式分支操作)。該延遲通常是因快取失敗而從核心外的記憶體讀寫,而這動作會使用到幾百個CPU週期才能將資料回傳。與其要等待延遲的時間,執行緒化處理器會切換執行到另一個已就緒的執行緒。只要當之前執行緒中的資料送達後,上一個執行緒就會變成已就緒的執行緒。这种方法来自各个线程的指令交替执行,可以有效的掩盖内存存取时延,填补流水线空洞。

舉例來說:

  1. 週期 i :接收執行緒 A 的指令 j
  2. 週期 i+1:接收執行緒 A 的指令 j+1
  3. 週期 i+2:接收執行緒 A 的指令 j+2,而這指令快取失敗
  4. 週期 i+3:執行緒排程器介入,切換到執行緒 B
  5. 週期 i+4:接收執行緒 B 的指令 k
  6. 週期 i+5:接收執行緒 B 的指令 k+1

在概念上,它與即時作業系統中使用的合作式多工類似,在該任務需要為一個事件等待一段時間的時候會主動放棄執行時段。

硬體成本 编辑

此種多執行緒硬體支援的目標,是允許在擋住的執行緒與已就緒的執行緒中快速切換。為了要達成這個目標,硬體成本將複製程式看得見的暫存器與一些處理器控制暫存器(像是程式計算器)。從一個執行緒切換到另一個執行緒對硬體來講意謂著從一個暫存器複製到另一個。

這些新增功能的硬體有這些優勢:

  • 執行緒切換能夠在一個 CPU 週期內完成(实际上可以没有开销,上个周期在執行线程A,下个周期就已在运行线程B)。
  • 這樣子看起來像是每個執行緒是獨自執行的,沒有其他執行緒與目前共享硬體資源。对操作系统来说,通常每个虚拟线程都被视做一个处理器。這樣就不需要很大的軟體變更(像是特別寫支援多執行緒的作業系統)。

為了要在各個現行中的執行緒有效率的切換,每個現行中的執行緒需要有自己的暫存設置(register set)。像是為了能在兩個執行緒中快速切換,硬體的暫存器需要兩次例示(instantiated)。

範例 编辑

  • 許多微控制器與嵌入式處理器有多重的暫存器列,就能夠在中斷時快速環境切換。這樣架構可以視為程式的執行緒與中斷執行緒之間的塊狀多執行緒處理。

细粒度交替式多线程 编辑

概念 编辑

另一種更高效能的多執行緒做法是將所有 CPU 週期輪流切換至不同的執行緒,来自各线程的指令按顺序交替执行。执行过程很像桶形处理器(Barrel Processor)就像這樣:

  1. 週期 i :接收執行緒 A 的一個指令
  2. 週期 i+1:接收執行緒 B 的一個指令
  3. 週期 i+2:接收執行緒 C 的一個指令

這種執行緒的效果是會將所有從執行管線中的資料從屬(data dependency)關係移除掉。因為每個執行緒是相對獨立,管線中的一個指令階層需要從已跑完管線中的較舊指令代入輸出的機會就相對的變小了。

而在概念上,這種多執行緒與作業系統的核心先佔多工(pre-exemptive multitasking)相似。

硬體成本 编辑

除了討論塊狀多執行緒的硬體成本,交錯式多執行緒也因每層管線需要追蹤執行中指令的執行緒代碼而增加硬體成本。而且,當越來越多的執行緒同時在管線中執行,像是快取與 TLB 等共享資源也要加大來避免不同執行緒之間的衝突。

範例 编辑

同步多執行緒 编辑

概念 编辑

目前最先進的多執行緒技術是應用在超純量處理器上。超純量處理器內在每個CPU周期中,單獨一個執行緒會釋出眾多的指令。套用同步多執行緒(SMT)之後,超純量處理器就可以在每個CPU周期中,從多個執行緒中釋出指令。辨識到任何一個單一執行緒擁有有限數量的指令平行處理,這種類型的多執行緒是試著利用並行的方式跨越多執行緒,以減少浪費與閒置的資源。 舉例來說:

  1. 週期 i:執行緒 A 的 j 指令 與 j+1 指令,還有 B 執行緒的指令 k 同時釋出
  2. 週期 i+1:執行緒 A 的 j+2 指令、執行緒 B 的 k+1指令,與執行緒 C 的 m 指令同時釋出
  3. 週期 i+2:執行緒 A 的 j+3 指令,與執行緒 C 的 m+1 與 m+2 指令同時釋出

硬體成本 编辑

交錯式多執行緒如果不計硬體成本,SMT在每個管線階層的追蹤執行緒指令會有多餘的花費。而且,像是快取與TLB這類共享的資源可能會因為多出來的執行緒而變得更大。

範例 编辑

實作 编辑

在大多數研究領域內是要求執行緒排程器要能夠快速選擇其中一個已就緒執行緒去執行,而不是一個一個執行而降低效率。所以要讓排程器去分辨執行緒的優先順序是很重要的。而執行緒排程器可能是以硬體、軟體,或是軟硬體並存的形式存在。

而另一個研究領域則是要研究何種事件(快取失敗、內部執行續連繫、使用DMA等)會造成執行緒切換。

如果多執行緒的方案會複製所有軟體可見的狀態,包括特許的控制登錄、TLB 等,那就能夠讓虛擬機器去創造各式執行緒。這樣子就允許在相同的處理器中每個執行緒跑各自的作業系統。換句話說,如果只有儲存了使用者模式的狀態,就能夠讓相同的裸晶大小的晶片在一段時間內處理更多的執行緒。

参见 编辑

外部链接 编辑