オペレーティング・システムの構造記述に関する一試み

概要

論文の詳細を見る
オペレーティング・システム記述法の改善の試みは, とくに, 言語技術と関連して数多く行われてきた. このとき問題となるのは, オペレーティング・システムが内部に高い並行性を有している点であり, その制御構造が全体の記述に大きな影響を与える. そのため, 制御構造の明確化が重要な課題となるが, 従来の試みにおいてこの点が十分明らかにされているとはいいがたい. 本論文では, 制御構造の明確化を図る目的で, オペレーティング・システムを, 通信のみで結合されたプロセスを相互排除アクセスされる資源の管理単位に配置することにより設計する方式を提案する. このような設計法により, プロセスによる変数の抽象化が行われモジュラリティが向上するとともに, 従来のモニタを用いる方法等に比較して制御構造が簡素化し, 記述の改善が図れると期待される. また, システムの制御をプロセス内部の動作と通信の実行に分割して記述することにより記述が階層化され, 制御構造の明確化が図れる. さらに, 小型計算機用システムとして広く利用されているUNIXをその外部仕様を保存したまま提案方式により再設計を行い, その実現可能性を示した.
一般社団法人情報処理学会の論文
1984-07-15