ブロッキングなしの監視：協調型ランタイム向けOTPスタイルのフォールトトレランスのエビデンス主導型再設計

arXiv:2610.34521v1 発表タイプ：新規 要旨：主流のランタイム上のアクターフレームワークは、Erlang/OTPスタイルの監督を謳っていますが、OTPの整合性契約は同期的かつシングルスレッドの監督者を前提としており、ポートもその前提が欠如していることを未検証のリスクとして引き継いでいます。私たちは、固定されたリビジョンにおけるさらに3つのRust製アクターフレームワークのソースコードと、OTPのドキュメントおよびソースコードを逐語的に精読し、各監督に関する保証をすべて評価しました。そのうえで、各設計決定の背後にある根拠を記録しました。盲目的な対抗審査とフレームワーク間の比較研究により、24種類の不具合クラスが浮かび上がり、そのうち8つは単一の根本原因に帰着します。すなわち、同期的な監督者が暗黙的に得ているアトミック性を、明示的なメカニズムによって再構築しなければならないという問題です。私たちは、監督実行時環境を導入します…