著者

浜田 彰夫 岡部 寿男 大久保 英嗣 津田 孝夫

雑誌

全国大会講演論文集

巻号頁・発行日

vol.48, pp.83-84, 1994-03-07

---

分散OSでは、OSに必要な情報が複数のノードに分散されていることが多いので、システムの動作中に安易に一つのノードの電源を停止すると、他のノードにおいてOSとしての機能を続行させることが不可能となる場合がある。また、停電などによりすべてのノードの電源が一斉に停止すると、再び電源を投入しても以前の状態を回復することは通常不可能である。本研究では電源異常等によってシステムに障害が発生することを防ぐことを目的としている。電源の供給が予告無しに停止すると仮定すると、いつ電源が停止してもその時のシステムの状態情報を復活できる必要があり、したがって任意の時点におけるシステムの状態情報をすべて二次記憶等に保存しなければならないが、これは非常に効率が悪い。そのため、ここでは電源が停止するまでにある程度の時間的余裕があると仮定する。たとえば、突然に停電が起こった場合でも、自動的に予備電源が入り、残り数分間だけは電源が供給されるという場合などである。このような場合にシステムの実行状態を凍結したり、一部のノードを切り離したりすることによって、システムを安全な状態にとどめる方式に関して論ずる。我々は、現在開発中である分散OS DM-1においてこの機能を実現する予定である。

著者

市岡 秀俊 安東一真 大久保英嗣 津田 孝夫

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.32, no.11, pp.1401-1411, 1991-11-15

被引用文献数

1

---

われわれは オブジェクト指向オペレーティングシステムOzoneの開発を進めているOzoneプロジェクトの目標は オブジェクト指向に基づくオペレーティングシステムの構成法を確立することであるこれは 従来のオペレーティングシステムにおいては モジュール分割の基準がなく その構造モデルが明確でないことによるOzoneにおけるオブジェクト指向は次の点に要約されるすなわち システム構成要素の一様なメッセージの受渡しと システムのクラス階層による構造化である一様棟なそして統一されたインタフェースを使用することによって アプリケーションプログラムのみならずシステム自体の移植性や保守性が大幅に向上するまた システム構成要素をクラス化し 継承を利用することによって 再利用可能なソフトウェアが自然に推進されることになるさらに 動的結合により 構成要素内のアルゴリズム(メソッド)の動的な置き換え(あるいは選択)が可能となる現在 Ozoneのプロトタイプシステムが完成している本論文では Ozoneのプロトタイピングで得られた知見について述べるさらにOzoneのプロセス管理について詳述する

著者

大久保英嗣 津田 孝夫

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.25, no.1, pp.59-65, 1984-01-15

---

本論文では 各次元でキーを有する多次元データを 1次元のアドレス空間へ写像する順序保存関数を提案する.提案する関数は 線形なハッシュ関数を基本としており 分布依存ハッシュ関数のクラスに属している.本論文では まず 提案するハッシュ関数の諸性質について議論する.次に 関係データベースにおける代表的な関係代数演算であるジョイン操作へ適用する場合の方法について述べる.最後に 実験結果を示し 本ハッシュ関数の有効性について考察する.

著者

河原 功志 篠原 拓嗣 藤川 賢治 大久保 英嗣 津田 孝夫

雑誌

全国大会講演論文集

巻号頁・発行日

vol.51, pp.39-40, 1995-09-20

---

分散OSは従来のネットワークOSとは異なり、ユーザにネットワークの物理的配置を意識させないネットワーク透過性を実現している。ネットワーク透過性には位置透過性など様々な概念が含まれるが、規模透過性の実現をも分散OSには求められている。規模透過性とは分散システムの稼働中においても計算機の台数を増減することが可能で、かつ、システム構成の変更をユーザに意識させない性質である。本稿では規模透過性の実現する手法としてサイトの追加・切り離し方式を提案し、我々が現在開発中の分散OS DM-2に実現した。これらの機能によってDM-2は実行中のタスクを消滅や中断させずに、任意のサイトを停止して切り離したり追加して起動したりできるようになる。本稿ではサイトの動的な追加・切り離し機能を実現するために必要なローカルスタート・ローカルシャットダウン機能を提案する。

著者

鈴来 和久 一柳 淑美 毛利 公一 大久保英嗣

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌コンピューティングシステム(ACS) (ISSN:18827829)

巻号頁・発行日

vol.47, no.3, pp.1-15, 2006-03-15

参考文献数

17

被引用文献数

9

---

我々は,個人情報をはじめとするプライバシデータの漏洩を防ぐOS Salvia を開発している.プライバシデータは,データ提供者とデータ管理者の合意に基づいて取り扱う必要がある.そのため,Salvia ではプライバシデータを含むファイルの保護方法をデータ保護ポリシとして記述可能としている.データ保護ポリシには,従来のファイルの読み出し,書き込み,実行の権限設定に加えて,アクセス制限を課するための条件として,ファイルアクセスが発生した際の状況を示すコンテキストを記述できる.これによって従来のOS よりも細かく,かつTrusted OS よりも柔軟な,プライバシデータに適したアクセス制御を実現できる.すなわち,Salvia は,データ保護ポリシが定義されたファイルにアクセスを試みたプロセスのアクセス要求のみをコンテキストに適応して制御可能としている.本論文では,Salvia の設計と実装について述べるとともに,データ保護が可能であることを実証的に示す.We have been developing a privacy-aware operating system Salvia that prevents the privacydata such as personal information from leaking. It is necessary to manipulate the privacydata based on a mutual agreement between the data owner and the data administrator. InSalvia, in order to realize such an agreement, the protection methods of files that include the privacy data can be described as the data protection policies. In addition to the conventional permissions (read/write/execution), the context that shows the situation when the file access is generated can be described in the data protection policies. In Salvia, by enforcing these policies, the access control that is more detailed than the conventional operating systems and is also more flexible than the trusted operating systems can be achieved. Namely, by adapting to the context, Salvia is enabled only for the access request of the processes that have tried to access to the file associated with the data protection policies. In this paper, the design and implementation of Salvia is described, and also confirmed the effectiveness of Salvia's context-aware data protection method by practical examples.

著者

國枝 和雄 各務 達人 大久保英嗣 津田 孝夫

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.35, no.6, pp.1185-1199, 1994-06-15

参考文献数

12

被引用文献数

2

---

本諭文では、分散トランザクションシステムIXIの設計と実現について述べる。IXIは分散アプリケーションの構築のためのプラットフォームである。すなわち、IXIは、分散アプリケーションの開発コストを軽減することを目的としている。分散トランザクションシステムとしては、Cammelot/Avalon,Argus,ISISなどがすでに開発されている。しかし、これらのシステムでは、(1)トランザクション処理に関する一貫性が強い一貫性(robust consistency)に限られる、(2)障害発生時に、システムが回復するまでサービスが停止する、などの問題点がある。そこで、IXIでは、(1)弱い一貫性(weak consistency)に基づく入れ子型トランザクションの実行機能、(2)代行プロセス機能とロギング機能、によってこれらの問題点を解決した。これによって、IXIでは処理効率・柔軟性、信頼性のいずれの点においても優れたアプリケーション構築プラットフォームを実現することができた。プログラマはIXIの提供するC言語ライブラリを用いてクライアントサーバ型のプログラムを記述することによって、分散アプリケーションを容易に構築することができる。本諭文では、IXIを構成する各部の処理の概要と特徴について説明した後、既存のトランザクションシステムと機能此較することによってその有効性を示す。

著者

市岡 秀俊 大久保 英嗣 津田 孝夫 白濱 和人 佐々木 克也 日野 耕二 宇都宮 敏行

雑誌

全国大会講演論文集

巻号頁・発行日

vol.37, pp.257-258, 1988-09-12

---

R^2シミュレータは、実時間オペレーティングシステムR^2を用いたアプリケーションプログラムの開発支援システムD^2の中核をなすソフトウェアであり、実時間システムのデバッグおよびテスト効率の向上を目的としている。一般に、実時間システムは、以下のような要因によりデバッグおよびテストが困難であるとされている。(1)動作が非決定的である。すなわち、システム内のタスクのふるまいは内部状態にとどまらず、他のタスクや外部との相互作用によって決定される。(2)ソースプログラムのみで、システム全体の正当性を検証することが困難である。すなわち、プログラムテキストの文脈のみでは他のタスクの命令の実行順序を知ることができない。(3)テストケースに対応した実行環境の構築に時間がかかる。本稿では、以上の問題点を解決するために開発を行ったR^2シミュレータの機能と全体構成について述べる。

著者

白濱 和人 佐々木 克也 日野 耕二 宇都宮 敏行 市岡 秀俊 大久保 英嗣 津田 孝夫

雑誌

全国大会講演論文集

巻号頁・発行日

vol.37, pp.259-260, 1988-09-12

---

一般に、産業用ロボットやNC工作機械をはじめとする実時間制御システムにおいては、システムの開発環境と実行環境が異なる場合が多い。しかも、システム全体のテストを行うためにはどうしてもテスト項目に対応した実機テストに頼らざるを得ないのが現状である。また、実行環境におけるデバッグ手段として、ICEをはじめとする各種ツールが使用されているが、このようなICEを主体とした従来のデバッグにおいては、割込みの制御や入出力ドライバ等の非同期に実行されるソフトウェアのデバッグに非常に時間がかかっていた。さらに、レジスタや各種のフラグ等を意識した機械語レベルのデバッグであるため、プロセッサや機械が変更される度にそれらの詳細な知識の修得が必要となる。我々は、実時間制御システムに組込み可能な実時間オペレーティングシステムR^2の開発を行ってきた。R^2プロジェクトでは、このような実行環境で行われているテストを、開発環境においてもサポートするためにR^2用マルチタスクシミュレータ(以下r^2シミュレータと略す)の開発を行っている。本稿では、シミュレーションシステム構築のためのツールである即シミュレータの言語処理系に関し、その特徴と構成について述べる。

著者

津田 孝夫 中谷 いつ子 岡部 寿男 國枝 義敏 大久保 英嗣

出版者

京都大学

雑誌

試験研究(B)

巻号頁・発行日

1990

---

本研究は平成2年度から4年度まで実施された。作業としては、交付申請書の研究実施計画に沿って、自動ベクトル化/自動並列化コンパイラならびに仮想並列ベクトル計算機シミュレータを開発することとした。ただし、短期間で開発を進めるため、研究組織において既に開発した自動ベクトル化コンパイラV-Pascalを基にする。具体的な作業は、1.コンパイラの自動ベクトル化/自動並列化処理部の新規設計と作成、2.仮想並列ベクトル計算機シミュレータのための効率的なスタック機構/同期機構の設計と作成、3.コンパイラの目的コード生成部の新規作成、4.仮想並列ベクトル計算機シミュレータの作成、5.コンパイラのその他の各部の修正、6.システム全体の性能評価である。1.に際しては、他に類を見ない厳密な依存関係解析技術を新たに開発実装するとともに、粒度の大きな並列化を可能とするために、依存グラフをプログラム全体にわたって作成する手法を考案ならびに実現した。この依存グラフは、様々な並列実行の単位を想定して設計されている特徴を持つ。また、種々の粒度の並列タスクの候補を階層的に表現でき、かつ、タスク候補の分割・融合も容易なように設計されている。この新たに提案している階層的依存グラフを用い、各タスク候補の実行時間予測を行った上で、最適と思われる並列タスクを自動生成する技術を確立した。この時間予測では、本研究の設備備品費で購入した実験用計算機TITAN上で、各種実行時ライブラリの実行時間を計測したデータ等を基に、有効性を実際に検証した。2.のシミュレータとしては、日立のスーパーコンピュータS-820用のバージョンがベクトル命令のシミュレーションを含めて稼働している。並列同期/スケジューリング/スタック管理等の機構は、実行時ライブラリとして実現され、コンパイラが生成する目的コードと連携して、効率よく並列実行を進めるものである。