# PICKER GPU カーネルのべき等性(idempotency)をインスタンス単位で実行前に動的検証する初のシステム。起動引数(launch arguments)だけを用い、SASS 命令を記号実行で解析した記号アドレスから読み書きの重なりを検査して判定する。全インスタンスを 5µs 以内に検証でき、偽陽性 0・偽陰性率 18.54% でべき等インスタンスを特定する。(Source: [[@2024__arXiv__Microsecond-scale Dynamic Validation of Idempotency for GPU Kernels]], Abstract, §4, §7) - アセンブリ(SASS)解析のためクローズドソース・動的生成カーネルにも適用できる。 - 既存の耐障害システム [[Asymmetric Resilience]](AR)へ統合するとチェックポイントコストを 4% 未満へ、プリエンプティブスケジューラ [[Chimera]] へ統合するとプリエンプション待ち時間を平均 84.2% 削減できる。 ## 関連 - ソース: [[@2024__arXiv__Microsecond-scale Dynamic Validation of Idempotency for GPU Kernels]] - エンティティ: [[Asymmetric Resilience]] / [[Chimera]]