PIMOSの例外処理方式
スポンサーリンク
概要
- 論文の詳細を見る
PIMOSは並列推論マシン用OSであり、ユーザ.プログラムを監視・制御しユーザの過ちからシステム全体、ひいてはユーザ自身を守ることを主な仕事としている。PIMOSはFlat GHC(FGHC)を基本とするKL1で記述され、ユーザ・プログラム自身もKL1で記述される。FGHCでは全てのゴールが論理積関係にあり、一つのゴールの失敗は全体の失敗を引き起こす。このことは、ユーザの異常状態がシステム全体に伝播することを意味している。また全てのゴールは同一レベルにあり、あるゴールが他のゴールを安全に監視・制御するのが難しい。そこでゴール間に何らかの階層を導入する機能が必要となる。このためにKL1に導入した機能が荘園機能である。荘園機能によって、監視・制御するプログラム(メタレベルプログラム)と監視・制御されるプログラム(オブジェクトレベルプログラム)を分離し階層化することができる。PIMOSはこの機能を利用してユーザレベルとOSレベルを分離し、ユーザプログラムを監視・制御している。荘園機能を用いることにより、ユーザレベルの失敗をOSレベルに侵出させないようにできる。また、異常状態からの復帰等も可能となる。本稿では、荘園機能を用いたPIMOSの例外処理方式について述べる。
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
-
藤瀬 哲朗
(株)三菱総合研究所
-
近山 隆
(財)新世代コンピュータ技術開発機構第二研究室
-
佐藤 裕幸
東京農工大学工学部電子情報工学科
-
松尾 正浩
(株)三菱総合研究所
-
佐藤 裕幸
(財)新世代コンピュータ技術開発機構
-
越村 三幸
(財)新世代コンピュータ技術開発機構
関連論文
- フィｰルドと仮想空間を結ぶ情報アクセスインタフェｰス
- PIMOSの資源管理方式
- PIMOSの設計方針
- PIMOSの例外処理方式
- 分散環境における構造体管理
- MRB-GCの評価 : アクティブセル量とヒープ消費
- KLIC分散メモリ処理系におけるメッセージ通信の実現と評価
- KLIC処理系の分散メモリ実装方式
- ポータブルKL1処理系KLICの概要
- A'UM-90のボラタイルオブジェクトの実装方式
- ストリームに基づく並列オブジェクト指向言語A'UM-90 : ストリーム分散実装方式
- PIMOSのトレーサ
- 並列論理型言語KL1のクローズインデキシング方式
- SIMPOSのプログラミング環境 : テキスト・エディタPmacs
- KL1抽象命令セットの改良について
- 並列推論マシンPIM : 中期PIMの処理方式について
- スタック領域が不要な深さ優先順コピー型ゴミ集め方式
- KLICの共有メモリ並列実装方式
- KLIC処理系核の評価
- 分散環境におけるデッドロックのWTC方式を用いた検出方式
- PIMOSのセルフ・コンパイラ
- PIMOSの評価
- オブジェクト指向論理型言語Common ESP
- SIMPOSのプログラミング環境 : フォントエディタ
- SIMPOSのプログラミング環境 : 概要
- "未"ウィンドウシステムにおけるデバッガの設計と実現
- PIMOS上でのシェルの実現 : 共有資源管理
- PIMOSの階層的資源管理
- SIMPOSのプログラミング環境 : 文書処理
- 内外CSIRTの現状(ネットワークセキュリティ)
- システム・インテグレーション基盤技術開発計画(III) : (2)プロジェクト計画支援ツール
- 段階的詳細化を基礎としたLispプログラム開発支援ツール : FASET(5)自然言語記述による開発支援ツール
- 分散環境におけるユニフィケーションの実現
- 記号行列式の一階微分の評価法
- 並列推論マシンPIM (「第五世代コンピュータ」)
- WOOC'89に参加して
- オブジェクト指向言語によるOSの開発例 (オブジェクト指向プログラミング)