上下文交換

上下文交換(英語:context switch),又稱環境切換,電腦術語,是一個儲存和重建CPU狀態上下文),因此令多個進程(process)可以分享單一CPU資源的計算過程。要交換CPU上的進程時,必須先行儲存目前進程的狀態,再將欲執行的進程之狀態讀回CPU中。 [1]

開銷

上下文切換通常是計算密集型的,操作系統中的許多設計都是針對上下文切換的優化。在進程間切換需要消耗一定的時間進行相關的管理工作——包括寄存器內存映射的保存與讀取、更新各種內部的表等等。處理器或者操作系統不同,上下文切換時所涉及的內容也不盡相同。比如在Linux內核中,上下文切換需要涉及寄存器(register)、棧指針(stack pointer)、程序計數器(program counter)的切換,但和地址空間的切換無關(雖然進程在進行上下文切換時也需要做地址空間的切換)[2][3]用戶態線程之間也會發生類似的上下文切換,但這樣的切換非常輕量

交換時機

有三種可能的情況會發生上下文交換,分別為:

多工

最常見的,在一些排程(scheduling)算法內,其中行程有時候需要暫時離開CPU,讓另一個行程進來CPU運作。在先佔式多工系統中,每一個行程都將輪流執行不定長度的時間,這些時間段落稱為時間片。如果行程並非自願讓出CPU(例如執行I/O操作時,行程就需放棄CPU使用權),當時限到時,系統將產生一個定時中斷,作業系統將排定由其它的行程來執行。此機制用以確保CPU不致被較依賴處理器運算的行程壟斷。若無定時中斷,除非行程自願讓出CPU,否則該行程將持續執行。對於擁有較多I/O指令的行程,往往執行不了多久,便需要讓出CPU;而較依賴處理器的行程相對而言I/O操作較少,反而能一直持續使用CPU,便形成了壟斷現象。

中斷處理

在接受到中斷(Interrupt)的時候,CPU必須要進行上下文交換。

用戶態或者內核態的交換

當用戶態和內核態交換發生的時候,並不需要進行上下文交換;並且用戶態和kernel mode的交換本身並不是一個上下文交換。不過,根據作業系統的不同,有時候會在此時進行一次上下文交換的步驟。

上下文交換:具體步驟

在一次交換中,第一個行程的狀態要被紀錄在某個地方,這樣當排程器(scheduler)要回到這個行程時,才可以重建這個行程並且繼續運算。

這裡所謂「行程的狀態」,包含了這個行程使用的所有暫存器(register),特別是程式計數器;加上所有作業系統可能需要的特定資料。這些資料一般以名為行程控制表(process control block,PCB)的資料結構儲存起來。

上下文交換:由軟體或硬體實現

上下文交換主要由軟體實現或由硬體實現。部分中央處理器,比如Intel 80386[4]或同系列更高階的處理器,就具備支持上下文交換的硬體設計。

參考資料

  1. ^ Silberschatz, Abraham; Peter Baer Galvin, Greg Gagne. Operating System Principles 7. John Wiley & Sons (Asia) Pte Ltd. ISBN 0-4717-2595-1. 
  2. ^ IA-64 Linux Kernel: Design and Implementation, 4.7 Switching Address Spaces頁面存檔備份,存於網際網路檔案館
  3. ^ Operating Systems, 5.6 The Context Switch, p. 118頁面存檔備份,存於網際網路檔案館
  4. ^ 存档副本. [2010-02-05]. (原始內容存檔於2010-02-18). 

外部連結