驅動程式驗證程式

驅動程式驗證程式（Driver Verifier）是Microsoft Windows中包含的一個工具，該工具的功能是將作業系統默認的子程式替換為專門為開發者捕獲驅動程式缺陷所用的子程式

基本介紹

• 中文名：驅動程式驗證程式
• 外文名：Driver Verifier

簡介

在啟用該工具後，它將監控和凸顯可能因驅動程式導致系統損壞的非法函式調用或操作。它可以模擬一些條件，如低記憶體、I/O驗證、記憶池跟蹤、IRQL檢查、死鎖檢測、DMA檢測、IRP記錄等。檢查器通過迫使驅動程式以最少的資源運行使其凸顯不太容易發生的潛在缺陷。

驅動程式驗證程式（Verifier.exe）在Windows 2000中作為一個命令行實用工具引入。Windows XP起則有了一個便於使用的圖形用戶界面，稱為驅動程式驗證程式管理器（Driver Verifier Manager）。每個新版本Windows都會引入一些新的、更加嚴格檢查，用以測試和驗證驅動程式是否存在缺陷。

驅動程式驗證程式通常不會在生產用途機器上使用。它可能觸發某些未被發現並且不太有害的缺陷，從而導致藍屏，這更容易發生在那些沒有經過WHQL測試並數字簽名的驅動程式上。如果驗證器施加的約束沒有在調試後解除，它也會導致驅動程式資源匱乏，從而表現不佳和速度放緩。微軟建議不要同時為所有驅動程式進行驗證。

數字簽名

數字簽名（又稱公鑰數字簽名，英語：Digital Signature）是一種類似寫在紙上的普通的物理簽名，但是使用了公鑰加密領域的技術實現，用於鑑別數字信息的方法。一套數字簽名通常定義兩種互補的運算，一個用於簽名，另一個用於驗證，但法條中的電子簽章與數字簽名，代表之意義並不相同，電子簽章用以辨識及確認電子檔案簽署人身份、資格及電子檔案真偽者。而數字簽名則是以數學算法或其他方式運算對其加密，才形成電子簽章，意即使用數字簽名才創造出電子簽章。

數字簽名不是指將簽名掃描成數字圖像，或者用觸摸板獲取的簽名，更不是落款。

數字簽名了的檔案的完整性是很容易驗證的（不需要騎縫章、騎縫簽名，也不需要筆跡鑑定），而且數字簽名具有不可抵賴性（即不可否認性），不需要筆跡專家來驗證。

記憶體池

記憶體池 (Memory Pool)，又被稱為固定大小區塊規劃 (fixed-size-blocks allocation)，允許程式設計師以類似C語言的malloc或是C++的 new 運算對象進行動態的存儲器規劃。對於其它動態存儲器規劃的實踐來說，因為會變動存儲器區塊大小導致的碎片問題，導致在實時系統上受限於性能因此，根本無法使用。記憶體池提供了一個更有效率的解決方案：預先規劃一定數量的存儲器區塊，使得整個程式可以在運行期規劃 (allocate)、使用 (access)、歸還 (free) 存儲器區塊。

有許多實時作業系統採用了記憶體池，IBM的Transaction Processing Facility便是其中一個例子。

死鎖

死鎖（英語：Deadlock），又譯為死結，計算機科學名詞。當兩個以上的運算單元，雙方都在等待對方停止運行，以獲取系統資源，但是沒有一方提前退出時，就稱為死鎖。在多任務作業系統中，作業系統為了協調不同進程，能否獲取系統資源時，為了讓系統運作，必須要解決這個問題。

這裡指的是進程死鎖，是個計算機技術名詞。它是作業系統或軟體運行的一種狀態：在多任務系統下，當一個或多個進程等待系統資源，而資源又被進程本身或其他進程占用時，就形成了死鎖。有個變種叫活鎖。