1996 Fiscal Year Annual Research Report
大規模分散システムのための実時間オブジェクトアーキテクチャ
| Project/Area Number |
06452244
|
|---|
| Research Institution | Faculty of Science and Technology, Keio University |
|---|
Principal Investigator |
所 真理雄 慶應義塾大学, 理工学部, 教授 (10051898)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
高汐 一紀 電気通信大学, 電気通信学部, 助手 (40272752)
|
|---|
| Keywords | 大規模分散システム / 実時間計算 / オブジェクト指向 / 並行プロセス計算 / スケジューリング・アルゴリズム / DROL / DtCCS |
|---|
| Research Abstract |
原子力プラント,航空機管制システム,月面作業ロボット,人工衛星制御システム,分散マルチメディアシステム等,実時間性を要する大規模分散システムに対する需要がますます高まっている.これらを支援する計算機システムもまた,ネットワーク上などでの本格的な大規模分散の時代を迎えているところである.
本研究課題では,従来,その場凌ぎ的なアドホックな手法によってなされてきた大規模分散処理記述を,(1)記述:並行オブジェクト指向に柔軟な実時間性を取り入れた分散実時間オブジェクト指向,(2)実行環境:動的負荷分散,実時間スケジューリング等による動的かつ実時間的実行計算制御,さらに(3)理論:非同期名前渡しプロセス計算及び時間的並行プロセス計算という3点に焦点を絞り議論した.
具体的には,(a)分散実時間プログラミング言語DROLのARTSカーネル及びRT-Mach実時間カーネル上への実装,分散計算システム実験環境(慶應義塾大学,電気通信大学,IBM PC-AT互換機10台)上での性能や応用可能性の評価,(b)動的実時間システムのための柔軟なスケジューリング アルゴリズムの提案,(c)局所時間性を考慮した分散オブジェクトの形式化及びプロセス代数による実時間プログラミング言語の意味論の確立という3つのテーマを軸に研究を発展,それぞれの分野において得られた有意義な成果を統合,大規模分散実時間アプリケーションを安全かつ効率的に記述可能なプログラミングパラダイム及びその基礎理論を構築した.
|
Research Products
(4 results)
-
[Publications] 佐藤一郎、所真理雄: "分散計算のための局所時間性に基づく形式系" コンピュータソフトウェア. 11・2. 32-44 (1994)
-
[Publications] 佐藤一郎、所真理雄: "プロセス代数によるリアルタイムオブジェクト指向プログラミング言語の意味論" 情報処理学会論文誌. 35・11. (1994)
-
[Publications] 高汐一紀、所真理雄: "分散実時間システム記述言語DROLにおける最小被害戦略の実現" コンピュータソフトウェア. 12・6. 17-34 (1995)
-
[Publications] Kazunori Takashio and Mario Tokoro: "Least Suffering Strategy in Distributed Real-Time Programming Language DROL" Real-Time Systems Journal. 11・1. 41-70 (1996)
