打造 Windows 高精度、持續更新的時間供應器：突破 10ms 系統時鐘粒度限制

Windows NT 系列（NT 4.0/2000/XP）的系統時間更新頻率受限於時鐘中斷週期（單核 10ms、多核 15ms），GetSystemTime 回傳的毫秒欄位實際精度僅止於此。但許多場景（線程同步、高頻事件排序、效能分析）需要亞毫秒甚至微秒級的時間戳。本文深入剖析性能計數器融合系統時間的方案，揭示其固有缺陷，並給出一套工業級可用的 time_provider 解決方案。

為什麼系統時間不夠用？

實測 GetSystemTimeAsFileTime 連續呼叫輸出：

20:12:23.479
20:12:23.479
20:12:23.494  ← 跳躍 15ms
20:12:23.494
...

根因：Windows 只在每個時鐘中斷（Clock Interrupt）更新系統時間，調度器也在同一週期觸發。單靠系統 API 無法突破此物理限制。

初嘗性能計數器：可行但有坑

常見做法：QueryPerformanceCounter (QPC) 提供高頻硬體計數器，配合 QueryPerformanceFrequency (QPF) 換算時間。同步邏輯如下：

1. 緊迴圈讀取 QPC 與系統時間。
2. 待系統時間變化瞬間，記錄該刻的 QPC 值與系統時間為「基準點」。
3. 後續任意時刻：CurrentTime = BaseSysTime + (QPC_Now - BaseQPC) / Frequency。

實測確能產出微秒級時間流：

21:23:22.296
21:23:22.297
21:23:22.298
...

但存在三大致命缺陷：

1. 同步不可靠：兩行 API 呼叫間可能發生線程切換、硬體中斷，導致基準點時間誤差不可控。
2. 頻率誤差累積：QPF 回報頻率非絕對精確（實測約 9 ppm 誤差），110 秒後偏離系統時間 1ms，長期運行誤差不可接受。
3. 系統時間被竄改無感知：用戶修改系統時間、NTP 同步、SetSystemTimeAdjustment 微調時鐘頻率，均會導致高精度時間瞬間失準。

工業級解決方案：time_provider 架構

1. 可靠同步演算法（圖 3/4）

• 持續採樣 QPC 與系統時間，檢測系統時間跳變。
• 引入 prev_diff 變量記錄連續兩次 QPC 差值，推算系統時間變化發生的可能區間。
• 同步結束時修正計數器值，保證基準點在期望精度（如 2μs）內。
• 無需提升進程/線程優先級，兼容惡劣驅動環境。

2. 後台線程週期性重同步 + 自適應頻率修正（圖 6）

• 專用線程每 N 秒執行一次同步，將 QPF 誤差實時估算並補償到內部頻率參數。
• 實測 13 分鐘內誤差穩定在 ±50μs 以內（藍線為平滑後偏差，黃線為原始偏差）。

3. 系統時間變更監控

• Win2K/XP：後台線程建立隱藏頂層視窗，接收 WM_TIMECHANGE 訊息立即觸發重同步。
• NT 4.0：依賴應用程式規範發送訊息，無法強制保證。

4. 時鐘頻率微調監控

• 週期性呼叫 GetSystemTimeAdjustment 讀取當前調整值。
• 檢測到頻率變化即時更新內部計算參數，防止偏離。

time_provider 類介面設計

template<
    typename counter_type,
    int KEEP_WITHIN_MICROS = 100,           // 最大允許偏差(μs)
    int SYNCHRONIZE_THREAD_PRIORITY = THREAD_PRIORITY_BELOW_NORMAL,
    int TUNING_LIMIT_PARTSPERBILLION = 100, // 頻率修正上限(ppb)
    int MAX_WAIT_MILLIS = 10000,
    int MIN_WAIT_MILLIS = 100
>
class time_provider;

使用方式極簡：

typedef hrt::time_provider<hrt::performance_counter> time_provider_t;
time_provider_t& provider = time_provider_t::instance();
SYSTEMTIME st;
provider.systemtime(&st);  // 獲取高精度系統時間

效能評估與替代計數器

表 9 對比 GetSystemTime 耗時百分比（雙核 SMP / 單核）：

• time_provider (QPC) 系統時間轉換：~300% / ~500%
• 原始計數器值讀取：~5% / ~15%（極低開銷，適合熱路徑）

提供實驗性 tsc_counter 直接讀取 Pentium TSC，效能大幅優於 QPC（系統時間轉換僅 133%、原始讀取 5.9%）。

已知限制與未來方向

• 硬體相容性：省電模式、CPU 超頻、非固定頻率 TSC 可能導致計數器異常。
• 可封裝為 COM/.NET 元件供多語言調用。
• 切記：搶佔式多任務系統下，時間戳讀取本身就有固有不確定性（最壞情況達數十毫秒），不可用於硬實時判斷。

附件含完整原始碼（VC++ 7.1 / XP 測試）、多線程範例與 tsc_counter 實驗實作。