PIMOSの例外処理方式
書誌事項
- タイトル別名
-
- Exception Handling in PIMOS
この論文をさがす
抄録
PIMOSは並列推論マシン用OSであり、ユーザ.プログラムを監視・制御しユーザの過ちからシステム全体、ひいてはユーザ自身を守ることを主な仕事としている。PIMOSはFlat GHC(FGHC)を基本とするKL1で記述され、ユーザ・プログラム自身もKL1で記述される。FGHCでは全てのゴールが論理積関係にあり、一つのゴールの失敗は全体の失敗を引き起こす。このことは、ユーザの異常状態がシステム全体に伝播することを意味している。また全てのゴールは同一レベルにあり、あるゴールが他のゴールを安全に監視・制御するのが難しい。そこでゴール間に何らかの階層を導入する機能が必要となる。このためにKL1に導入した機能が荘園機能である。荘園機能によって、監視・制御するプログラム(メタレベルプログラム)と監視・制御されるプログラム(オブジェクトレベルプログラム)を分離し階層化することができる。PIMOSはこの機能を利用してユーザレベルとOSレベルを分離し、ユーザプログラムを監視・制御している。荘園機能を用いることにより、ユーザレベルの失敗をOSレベルに侵出させないようにできる。また、異常状態からの復帰等も可能となる。本稿では、荘園機能を用いたPIMOSの例外処理方式について述べる。
収録刊行物
-
- 全国大会講演論文集
-
全国大会講演論文集 第37回 (オペレーティングシステム), 249-250, 1988-09-12
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050011097159455744
-
- NII論文ID
- 110002894960
-
- NII書誌ID
- AN00349328
-
- Web Site
- http://id.nii.ac.jp/1001/00115141/
-
- 本文言語コード
- ja
-
- 資料種別
- conference paper
-
- データソース種別
-
- IRDB
- CiNii Articles