Development of kernel for basic software with adaptability and toughness

• Project/Area Number: 18300010
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: Okayama University
• Principal Investigator: TANIGUCHI Hideo Okayama University, 大学院・自然科学研究科, 教授 (70253507)
• Co-Investigator(Kenkyū-buntansha): TABATA Toshihiro 岡山大学, 大学院・自然科学研究科, 准教授 (80359942) ; NOMURA Yoshinari 岡山大学, 大学院・自然科学研究科, 准教授 (70274496)
• Project Period (FY): 2006 – 2008
• Project Status: Completed (Fiscal Year 2008)
• Budget Amount: ¥11,660,000 (Direct Cost: ¥10,100,000、Indirect Cost: ¥1,560,000); Fiscal Year 2008: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000); Fiscal Year 2007: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000); Fiscal Year 2006: ¥4,900,000 (Direct Cost: ¥4,900,000)
• Keywords: オペレーティングシステム / マイクロカーネル / 適応制御 / 信頼性 / プロセス / 実行制御 / ゼロコピー通信

Research Abstract

将来の計算機の利用を支える事ができる適応性と頑健性を有する基盤ソフトウェアについて、中核ソフトウェア(カーネル)を研究開発した。具体的には、利用する計算機の環境に合わせ必要なプログラムを自動的に適応動作させる機構を示した。また、低品質ソフトウェアが高品質ソフトウェアに悪影響を与えない頑健なプログラム機構を示した。いずれの機構も試作し、その有効性を確認した

Research Products

• [Journal Article] AnT におけるOSサーバ入れ替え機能 (2008)
  • Author(s): 藤原康行, 岡本幸大, 田端利宏, 乃村能成, 谷口秀夫
  • Journal Title: マルチメディア通信と分散処理ワークショップ論文集 vol.2008, no.14 Pages: 201-206
  • NAID: 170000074929
  • Peer Reviewed
• [Journal Article] 応用プログラムの走行モード変更を可能にするプロセス制御機構 (2008)
  • Author(s): 横山和俊, 乃村能成, 谷口秀夫, 丸山勝巳
  • Journal Title: 電子情報通信学会論文誌(D) vol.J91-D, no.3 Pages: 696-708
  • NAID: 110007381006
  • Peer Reviewed
• [Journal Article] ファイルの格納ディレクトリを考慮したバッファキャッシュ制御法の実現と評価 (2008)
  • Author(s): 田端利宏, 小峠みゆき, 乃村能成, 谷口秀夫
  • Journal Title: 電子情報通信学会論文誌(D) vol.J91-D, no.2 Pages: 435-448
  • NAID: 110007385926
  • Peer Reviewed
• [Journal Article] 通信デバイスドライバの動的な更新手法の評価 (2008)
  • Author(s): 田中裕之, 乃村能成, 谷口秀夫
  • Journal Title: マルチメディア, 分散, 協調とモバイル(DICOMO2008)シンポジウム論文集 Pages: 1838-1843
  • Peer Reviewed
• [Journal Article] AnTにおけるOSサーバ入れ替え機能 (2008)
  • Author(s): 藤原康行, 岡本幸大, 田端利宏, 乃村能成, 谷口秀夫
  • Journal Title: マルチメデイア通信と分散処理ワークショップ論文集 no. 14 Pages: 201-206
  • NAID: 170000074929
  • Peer Reviewed
• [Journal Article] ファイルの格納ディレクトリを考慮したバッファキャッシュ制御法の実現と評価 (2008)
  • Author(s): 田端利宏, 小峠みゆき, 乃村能成, 乃村能成, 谷口秀夫
  • Journal Title: 電子情報通信学会論文誌D J91-D No.2 Pages: 435-448
  • NAID: 110007385926
  • Peer Reviewed
• [Journal Article] 応用プログラムの走行モード変更を可能にするプロセス制御機構 (2008)
  • Author(s): 横山和俊, 乃村能成, 谷口秀夫, 丸山勝巳
  • Journal Title: 電子情報通信学会論文誌D J91-D No.3 Pages: 696-708
  • NAID: 110007381006
  • Peer Reviewed
• [Journal Article] AnTにおけるサーバ間の高速なプログラム間通信機構 (2007)
  • Author(s): 岡本 幸大, 谷口 秀夫
  • Journal Title: マルチメディア通信と分散処理ワークショップ論文集 Pages: 61-66
  • NAID: 170000074852
  • Peer Reviewed
• [Journal Article] AnTオペレーティングシステムにおけるメモリ領域管理の設計と実現 (2007)
  • Author(s): 梅本 昌典, 田端 利宏, 乃村 能成, 谷口 秀夫
  • Journal Title: 情報処理学会研究報告 Vol.2007,No.10 Pages: 33-40
  • NAID: 110006203223
• [Journal Article] ドライバプログラムの効率的な構成制御法 (2007)
  • Author(s): 滝口 真一, 田端 利宏, 乃村 能成, 谷口 秀夫
  • Journal Title: 情報処理学会第69回全国大会講演論文集 第1分冊 Pages: 27-28
  • NAID: 170000172215
• [Journal Article] AnTにおけるNICドライバプロセスの実現 (2007)
  • Author(s): 岡本 幸大, 乃村 能成, 田端 利宏, 谷口 秀夫
  • Journal Title: 情報処理学会第69回全国大会講演論文集 第1分冊 Pages: 29-30
  • NAID: 170000172216
• [Journal Article] AnTにおける利用要求を契機としたドライバプロセスの起動方法 (2007)
  • Author(s): 仁科 匡人, 野村 裕佑, 田端 利宏, 谷口 秀夫
  • Journal Title: 電子情報通信学会2007年総合大会講演論文集 Pages: 22-22
• [Journal Article] AnTにおけるハードウェア検出を契機としたドライバプロセスの起動方法 (2007)
  • Author(s): 野村 裕佑, 仁科 匡人, 乃村 能成, 谷口 秀夫
  • Journal Title: 電子情報通信学会2007年総合大会講演論文集 Pages: 21-21
• [Journal Article] デバイスドライバのプロセス化の実現と評価 (2006)
  • Author(s): 野村裕佑, 岡本幸大, 乃村能成, 谷口秀夫, 横山和俊, 丸山勝巳
  • Journal Title: コンピュータシステム・シンポジウム論文集 vol.2006, no.14 Pages: 45-52
  • Peer Reviewed
• [Journal Article] 適応性と堅牢性をあわせ持つAnTオペレーティングシステム (2006)
  • Author(s): 谷口 秀夫, 乃村 能成, 田端 利宏, 安達 俊光, 野村 裕佑, 梅本 昌典, 仁科 匡人
  • Journal Title: 情報処理学会研究会報告 Vol.2006 No.86 Pages: 71-78
  • NAID: 110004821163
• [Journal Article] プログラムの動作を利用形態に適応させる適応制御機能 (2006)
  • Author(s): 仁科 匡人, 谷口 秀夫
  • Journal Title: 情報処理学会研究報告 Vol.2006 No.86 Pages: 95-102
  • NAID: 110004821166
• [Journal Article] AnTにおける高速なプロセス間通信の実現 (2006)
  • Author(s): 梅本昌典, 田端利宏, 乃村能成, 谷口秀夫
  • Journal Title: 第5回情報科学技術フォーラム講演論文集 Pages: 135-136
• [Journal Article] プロセスとして実現したデバイスドライバにおける仮想空間切り替えの影響 (2006)
  • Author(s): 野村裕佑, 岡本幸大, 乃村能成, 谷口秀夫, 丸山勝巳
  • Journal Title: 第5回情報科学技術フォーラム講演論文集 Pages: 139-140
• [Journal Article] デバイスドライバのプロセス化の実現と評価 (2006)
  • Author(s): 野村 裕佑, 岡本 幸大, 乃村 能成, 谷口 秀夫, 横山 和俊, 丸山 勝巳
  • Journal Title: コンピュータシステム・シンポジウム論文集 Vol.2006,No.14 Pages: 45-52
• [Presentation] プログラム実行速度調整法におけるフィードバックを利用した高精度な制御法の提案 (2009)
  • Author(s): 境講一, 田端利宏, 谷口秀夫, 箱守聰
  • Organizer: 電子情報通信学会2009年総合大会
  • Place of Presentation: 愛媛大学
  • Year and Date: 2009-03-20
• [Presentation] AnTにおけるOSサーバ入れ替え機能の基本評価 (2009)
  • Author(s): 藤原康行, 谷口秀夫
  • Organizer: 電子情報通信学会2009年総合大会
  • Place of Presentation: 愛媛大学
  • Year and Date: 2009-03-20
• [Presentation] 出入力機器の動作履歴を考慮したドライバプログラム起動制御法の評価 (2009)
  • Author(s): 滝口真一, 谷口秀夫
  • Organizer: 電子情報通信学会 信学技報 組込技術とネットワークに関するワークショップ ETNET2009
  • Place of Presentation: 佐渡島開発総合センター
  • Year and Date: 2009-03-06
• [Presentation] 出人力機器の動作履歴を考慮したドライバプログラム起動制御法の評価 (2009)
  • Author(s): 滝口真一, 谷口秀夫
  • Organizer: 組込技術とネットワークに関するワークショップETNET2009
  • Place of Presentation: 佐渡島開発総合センター
  • Year and Date: 2009-03-06
• [Presentation] プログラムの走行モードを考慮した実行速度調整 (2009)
  • Author(s): 境講一, 田端利宏, 谷口秀夫, 箱守聰
  • Organizer: 第110回システムソフトウェアとオペレーティングシステム研究会
  • Place of Presentation: 蒲郡情報ネットワークセンター
  • Year and Date: 2009-01-29
• [Presentation] AnTにおけるサーバプログラム間通信機構の評価 (2008)
  • Author(s): 岡本幸大, 谷口秀夫
  • Organizer: 情報処理学会研究報告2008-EVA-27
  • Place of Presentation: 長崎大学(vol.2008, no.119)
  • Year and Date: 2008-12-01
• [Presentation] ファイルの使用頻度に基づくバッファキャッシュ制御法の評価 (2008)
  • Author(s): 片上達也, 田端利宏, 谷口秀夫
  • Organizer: 第27回システム評価研究会
  • Place of Presentation: 長崎大学
  • Year and Date: 2008-12-01
• [Presentation] AnTにおけるサーバプログラム間通信機構の評価 (2008)
  • Author(s): 岡本幸大, 谷口秀夫
  • Organizer: 第27回システム評価研究会
  • Place of Presentation: 長崎大学
  • Year and Date: 2008-12-01
• [Presentation] Tenderにおけるメモリページを意識した高速なデータ通信機構 (2008)
  • Author(s): 門直史, 田端利宏, 谷口秀夫
  • Organizer: コンピュータシステム(CPSY)研究会
  • Place of Presentation: 広島市立大学
  • Year and Date: 2008-10-31
• [Presentation] ファイルの格納ディレクトリを考慮したバッファキャッシュ制御法の機能拡充 (2008)
  • Author(s): 山田克泰, 田端利宏, 谷口秀夫, 乃村能成
  • Organizer: 平成20年度電気・情報関連学会中国支部第59回連合大会
  • Place of Presentation: 鳥取大学
  • Year and Date: 2008-10-25
• [Presentation] 再起動時間1秒未満のAnTオペレーティングシステム (2008)
  • Author(s): 谷口秀夫
  • Organizer: 平成20年度電気・情報関連学会中国支部第59回連合大会
  • Place of Presentation: 鳥取大学
  • Year and Date: 2008-10-25
• [Presentation] ライブラリ実装によるプロセッサ使用量調整法を利用したサービス保証法の評価 (2008)
  • Author(s): 境講一, 田端利宏, 谷口秀夫, 箱守聴
  • Organizer: コンピュータセキュリティシンポジウム2008(CSS2008)
  • Place of Presentation: 沖縄コンベンションセンター
  • Year and Date: 2008-10-09
• [Presentation] Apacheサーバの実行中ライブラリに対する入替えの評価 (2008)
  • Author(s): 西野裕一, 谷口秀夫
  • Organizer: FIT2008第7回情報科学技術フォーラム
  • Place of Presentation: 慶応義塾大学
  • Year and Date: 2008-09-04
• [Presentation] AnTオペレーティングシステムにおける高精度な周期実行制御法の設計 (2008)
  • Author(s): 古川友樹, 谷口秀夫, 田端利宏
  • Organizer: FIT2008第7回情報科学技術フォーラム
  • Place of Presentation: 慶応義塾大学
  • Year and Date: 2008-09-04
• [Presentation] AnTオペレーティングシステムにおけるLinuxのFDドライバのプロセス化手法 (2008)
  • Author(s): 島崎泰, 谷口秀夫, 田端利宏, 乃村能成
  • Organizer: FIT2008第7回情報科学技術フォーラム
  • Place of Presentation: 慶応義塾大学
  • Year and Date: 2008-09-04
• [Presentation] AnTにおけるファイル管理サーバの設計 (2008)
  • Author(s): 野村裕佑, 谷口秀夫
  • Organizer: 情報処理学会研究報告 2008-OS-109
  • Place of Presentation: 佐賀(vol.2008, no.77)
  • Year and Date: 2008-08-07
• [Presentation] システムコール発行間隔の制御によるプロセッサ使用量の調整 (2008)
  • Author(s): 境講一, 田端利宏, 谷口秀夫, 箱守聰
  • Organizer: 並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008)
  • Place of Presentation: アバンセ
  • Year and Date: 2008-08-07
• [Presentation] AnTにおけるファイル管理サーバの設計 (2008)
  • Author(s): 野村裕佑, 谷口秀夫
  • Organizer: 並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008)
  • Place of Presentation: アバンセ
  • Year and Date: 2008-08-07
• [Presentation] ファイルの使用頻度に基づくバッファキャッシュ制御法 (2008)
  • Author(s): 片上達也, 田端利宏, 谷口秀夫, 渡辺弘志, 乃村能成
  • Organizer: 第108回システムソフトウェアとオベレーティング・システム研究会
  • Place of Presentation: 沖縄県那覇市IT創造館
  • Year and Date: 2008-04-24
• [Presentation] AnTにおける入出力機器動作履歴を考慮したドライバプログラム起動制御法 (2008)
  • Author(s): 滝口 真一, 乃村 能成, 田端 利宏, 谷口 秀夫
  • Organizer: 組み込み技術とネットワークに関するワークショップETNET2008
  • Place of Presentation: 屋久島
  • Year and Date: 2008-03-27
• [Presentation] AnTオペレーティングシステムにおけるサーバプログラム間通信機構の評価 (2008)
  • Author(s): 岡本 幸大, 谷口 秀夫
  • Organizer: 組み込み技術とネットワークに関するワークショップETNET2008
  • Place of Presentation: 屋久島
  • Year and Date: 2008-03-27
• [Presentation] AnT における走行モード変更機構でのカーネル保護法 (2007)
  • Author(s): 仁科匡人, 梅本昌典, 谷口秀夫, 横山和俊
  • Organizer: 電子情報通信学会技術研究報告 CPSY2007-34
  • Place of Presentation: 熊本大学
  • Year and Date: 2007-10-26
• [Presentation] AnTにおける走行モード変更機構でのカーネル保護法 (2007)
  • Author(s): 仁科匡人, 梅本昌典, 谷口秀夫, 横山和俊
  • Organizer: 電子情報通信学会技術研究報告CPSY2007-34
  • Place of Presentation: 熊本
  • Year and Date: 2007-10-26
• [Presentation] ホームページの構成ファイルを優先的にバッファキャッシュに保持する制御法の評価 (2007)
  • Author(s): 小峠 みゆき, 田端 利宏, 谷口 秀夫
  • Organizer: 情報処理学会研究報告2007-OS-106(SWoPP2007)
  • Place of Presentation: 旭川
  • Year and Date: 2007-08-03
• [Presentation] AnT オペレーティングシステムにおけるプロセス生成制御機構 (2007)
  • Author(s): 仁科 匡人, 野村 裕佑, 田端 利宏, 乃村 能成, 谷口 秀夫
  • Organizer: 情報処理学会研究報告2007-OS-105
  • Place of Presentation: 沖縄
  • Year and Date: 2007-04-05
• [Presentation] AnT オペレーティングシステムにおけるメモリ領域管理の設計と実現 (2007)
  • Author(s): 梅本昌典, 田端利宏, 乃村能成, 谷口秀夫
  • Organizer: 情報処理学会研究報告 2007-OS-104
  • Place of Presentation: 立命館大学
  • Year and Date: 2007-01-30
• [Presentation] 適応性と堅牢性をあわせもつAnT オペレーティングシステム (2006)
  • Author(s): 谷口秀夫, 乃村能成, 田端利宏, 安達俊光, 野村裕佑, 梅本昌典, 仁科匡人
  • Organizer: 情報処理学会研究会報告
  • Place of Presentation: 高知商工会館(vol.2006-OS-103)
  • Year and Date: 2006-07-31
• [Remarks]
  • URL: http://www.swlab.cs.okayama-u.ac.jp/lab/tani/research/AnT/
• [Remarks]
  • URL: http://www.swlab.cs.okayama-u.ac.jp/lab/tani/research/AnT/index-i.html