Techoverse

在處理器架構中，例外（Exception）或中斷(Interrupt)是指由於某些異常情況（如illegla instruction, page fault, divide 0…etc.）發生而打斷程序正常執行的事件。處理這些通常需要專門的硬體和軟體機制，以下是處理器架構中處理例外的處理:

1. 識別例外

處理器會通過檢查狀態寄存器（如mcause, scause）來識別是哪一類型的例外。

當處理器執行指令時，如果檢測到異常情況（例如，訪問非法記憶體、數學錯誤等），會產生例外。

2.保存上下文

• 為了能夠在處理完例外後恢復正常執行，處理器需要保存當前指令的執行上下文，包括指令指針（PC）和其他相關寄存器的狀態。 Note: EPC(E register
• 一般會將這些資料保存到堆疊或專用的記憶體區域。

3. 轉移控制到例外處理程序

• 當例外發生時，處理器會中斷當前指令流，並根據例外的類型轉移到對應的例外處理程序（Exception Handler or Vectored Interrupt handlers）。
• 例外處理程序的入口地址通常預設在處理器的特殊寄存器中（例如mtvec寄存器在RISC-V中指向例外處理的起始位置）。

4. 執行例外處理

• 例外處理程序會根據不同的例外情況執行相應的處理邏輯，這可能包括修復錯誤、報告錯誤、或將程序控制轉交給預定的錯誤處理例程。
• 例如，當頁面錯誤（Page Fault）發生時，操作系統的例外處理程序會試圖加載缺失的頁面。

5. 恢復執行

• 當例外處理完成後，處理器會根據已保存的上下文恢復之前的執行狀態（如恢復PC到引發例外之前的指令）。
• 如果例外已經被完全處理（例如，錯誤被修復或問題已經解決），則程序會繼續執行；如果無法解決問題，可能會終止程序或觸發致命錯誤。

6. 不同類型的例外 or 中斷

• 同步例外（Synchronous Exceptions）：例如除零錯誤、非法指令、頁面錯誤，通常是由正在執行的指令引起的。
• 異步例外（Asynchronous Exceptions）：例如中斷，通常由外部事件觸發，並不直接與當前指令相關聯。
• 不精確中斷(Imprecise Interrupt): 不精確中斷指的是中斷源與中斷響應之間的時間和順序不完全一致。也就是說，處理器無法確定中斷究竟是在執行的哪一個指令上發生的，或者中斷發生時，處理器的狀態無法完全確定。在某些多核處理器系統中，當某個外部設備發送中斷時，該中斷可能會被不同的處理核心處理，並且這些處理器可能無法精確識別哪個具體的指令觸發了該中斷。這種情況下的中斷處理是不精確的。

7. 硬體支持

• 許多現代處理器架構提供了專門的硬體支持來協助處理例外。例如，ARM和RISC-V都有特殊的寄存器來捕捉例外的類型和狀態，並提供對異常和中斷的控制機制。

總結

例外處理的流程通常涉及以下幾個步驟：識別、保存上下文、轉移控制、執行處理，最後恢復執行。不同的處理器架構在具體的例外管理和處理方式上可能有所不同，但基本邏輯大致相同。