FTMPST:フォールトトレラントマルチパーティセッション型【JST・京大機械翻訳】

Peters Kirstin; Nestmann Uwe; Wagner Christoph

プレプリント

J-GLOBAL ID：202202218152816898 整理番号：22P0333016

FTMPST:フォールトトレラントマルチパーティセッション型【JST・京大機械翻訳】

FTMPST: Fault-Tolerant Multiparty Session Types

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年04月16日プレプリントサーバーでの情報更新日： 2023年11月24日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

マルチパーティセッションタイプを設計し,通信プロトコルの構造を抽象的に捉え,行動特性を検証した。1つの重要なそのような特性は,すなわちデッドロックの欠如である。分散アルゴリズムはマルチパーティ通信プロトコルにしばしば似ている。しかし,それらの特性を証明して,特に進歩に密接に関連する終端は精巧である。分散アルゴリズムが故障に対処するためにしばしば設計されるので,分散アルゴリズムを検証するためにセッションタイプを使用する最初のステップはフォールトトレランスを統合することである。著者らは,信頼できない通信やプロセス衝突のようなシステム故障に対処するために,マルチパーティセッションタイプを拡張した。さらに,システム要求(例えば,故障検出器)を表現するために使用できる故障パターンによって,プロセスの意味論を強化した。このアプローチを説明するために,ChandraとTouegによるよく知られた回転コーディネータアルゴリズムの変異体を解析した。【JST・京大機械翻訳】

, , , , , ,
, , , 【Automatic Indexing@JST】

データ保護 , 計算機網

前のページに戻る