XFA 平台時鐘
單元:HPDFXFAPlatform
type
TXFAPlatformTime = record
EpochMilliseconds: UInt64;
RandomSeed: Cardinal;
end;
function HPDFXFAMonotonicMilliseconds: UInt64;
function HPDFXFAHighResolutionFrequency: Int64;
function HPDFXFAHighResolutionTicks: Int64;
function HPDFXFAWallClock: TXFAPlatformTime;
HPDFXFAMonotonicMilliseconds 回傳遞增的原生毫秒數,供耗時預算使用;其值不是日曆時間戳
HPDFXFAHighResolutionTicks 與 HPDFXFAHighResolutionFrequency 提供原生區間時鐘及其每秒 tick 數;tick 差值除以頻率即得經過秒數
Windows 使用 GetTickCount64 與 QueryPerformanceCounter;Linux 使用原生單調時鐘與奈秒級高解析頻率
HPDFXFAWallClock 記錄目前 UTC Unix epoch 毫秒值與由時鐘衍生的 RandomSeed(供確定性事件日誌使用);該 seed 不是密碼學隨機來源
Windows 牆上時鐘值來自 FILETIME,Linux 來自 CLOCK_REALTIME;原生時鐘失敗拋出 EOSError
script 重播使用已記錄的 epoch 與 seed 值,不會為先前記錄的求值讀取新的牆上時鐘值