NGWS Runtime 技術基礎：中間語言、JIT 編譯與虛擬物件系統

前言

NGWS（後來的 .NET Framework）Runtime 提供受管理的執行環境，管理程式碼執行並提供多項核心服務。本章深入探討 Runtime 運作機制，包含中間語言（IL）、中繼資料、即時編譯器（JIT）與虛擬物件系統（VOS），為理解 C# 程式執行奠定基礎。

NGWS Runtime 核心優勢

• 跨語言整合：透過 Common Language Specification (CLS)，允許從 VB 物件衍生 C# 類別。
• 自動記憶體管理：垃圾收集器在物件生命週期結束時自動釋放記憶體，解決記憶體洩漏問題。
• 跨語言例外處理：統一的堆疊展開機制。
• 增強安全性：包含型別安全。
• 版本支援：解決「DLL 地獄」問題，組件攜帶中繼資料確保版本相容。
• 簡化組件互通：無需註冊表，以中繼資料描述型別。

編譯器必須輸出中繼資料與受管理程式碼（Managed Code），中繼資料描述程式碼中的型別，與程式碼共同存在於擴展 PE 格式的檔案中。

中間語言（IL）與中繼資料

IL 程式碼特性

C# 編譯器產生的不是原生機器碼，而是 CPU 無關的 IL 程式碼。IL 程式碼需在目標機器上由 JIT 編譯器轉換為原生碼才能執行。IL 指令集涵蓋：

• 算術與邏輯運算
• 控制流程
• 直接記憶體存取
• 堆疊操作
• 參數與區域變數
• 物件模型操作
• 陣列處理
• 例外處理

中繼資料角色

中繼資料包含型別定義、成員簽章等資訊，相當於 COM 的型別庫與登錄資訊，但直接內嵌於執行檔中，不分離儲存。執行時 Runtime 從 PE 檔案定位並分離中繼資料與 IL。

即時編譯器（JITters）

JIT 編譯流程

型別載入時，載入器為每個方法建立存根。方法首次被呼叫時，存根將控制權交給 JIT，將 IL 編譯為原生碼並快取，後續呼叫直接執行原生碼。此機制避免編譯從未執行的程式碼（如文字處理器的郵件合併功能），提升啟動效能。

三種 JIT 編譯器

JIT 管理工具

SDK 提供 jitman.exe 圖形化工具，可設定：僅使用 EconoJIT、程式碼快取大小限制、優化目標（大小或速度）、啟用並行垃圾收集（Concurrent GC，僅 Windows 2000 支援）等選項。UI 密集型應用啟用 Concurrent GC 可減少回應延遲。

虛擬物件系統（VOS）

VOS 定義了型別系統的核心規範，包含值型別、參考型別、介面、繼承、多型等規則，確保跨語言的型別安全與互通性。所有 .NET 語言編譯器皆遵循 VOS 規範產生相容的 IL 與中繼資料。

總結

NGWS Runtime 透過 IL、中繼資料、JIT 編譯與 VOS，實現了跨語言整合、自動記憶體管理、版本控制與安全性等核心優勢。理解這些基礎機制，有助於撰寫高效能、可維護的 .NET 應用程式。