劉 小竜
概要
本論文では，TCP ソケットや UNIX ドメインソケットに基づく同期型並行通信を行うソフトウェアの型安全性を確保するための Rust ベースのセッション型ライブラリを提案する．本ライブラリは，正式な同期型並行通信プロトコルとしてセッション型を規定する. 独立して動作する複数のホストやプロセスの実体が協調して特定の動作を行う必要がある場合，本ライブラリは，渡されるデータの型と方向，およびその順序の点で，型安全なセッションを作成することができる．また，ATM システムの伝統的な C/S 通信モデルを基づいて新しい通信モデルを設計した．アクセス認証制御機能を新しい通信モデルに加えた．本研究のライブラリを用いて新しい通信モデルの実装を例として型安全な通信モデルを構築する方法を説明する．本ライブラリは分散システムに適用可能であり，システム全体の運用性能を向上させることができる．
