• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2006 Fiscal Year Annual Research Report

最適化検証つきコンパイラの理論と実証のための展開

Research Project

Project/Area Number 17500016
Research InstitutionThe University of Tokyo

Principal Investigator

佐藤 周行  東京大学, 情報基盤センター, 助教授 (20225999)

Keywords分散スケジューリング / セキュリティ / 検証 / 自律分散性 / 最適化
Research Abstract

本研究の目的として、データフロー解析を包含する型理論の構築と、性能モデルに基づいた最適化適用の真の最適性の検証がある。本年度は、特に分散計算環境において、あらたな性能モデルの構築とスケジューリングの最適化について成果を得た。さらに、分散計算環境において重要な要素であるセキュリティについての考察をおこない、分散計算環境において本格的な計算を展開するための知見を得た。
[分散計算環境におけるスケジューリングの研究]
Gridなどでは、自律分散性をもった分散環境としての理解が必要になり、性能モデルもそれにあわせて構築する必要がある。本年度は、従来の中央集権的なスケジューリングではスケールしないことを指摘し、計算資源の自律分散性をそのまま反映したスケジューリングの枠組を提案した。予備的な実験では、Gridの標準的なスケジューラであるCSFと比較して、各計算資源の能力その他をよく反映したスケジューリングができるようになった。これを性能モデルとして抽象し、あらたな最適化適用の対象とすることが強く求められることがわかった。
[分散計算環境におけるセキュリティの研究]
インターネットなど現実の分散環境で問題になるセキュリティ、特に認証に関係する部分について研究を行い、特にSSL-VPNをゲートウェイとして認証を一本化する擬似的なSSOに関する研究を行った。現実的なプラットフォームにおける計算の要素を考慮に入れて計算モデルを構築する必要性がわかった。

  • Research Products

    (5 results)

All 2007 2006

All Journal Article (5 results)

  • [Journal Article] A Reource-Oriented Grid Meta-Scheduler based on Agents,2007

    • Author(s)
      Sakimoto Kentaro, Sato Hiroyuki
    • Journal Title

      Proc. 2007 Parallel and Distributed Computing and Networks

      Pages: 109-114

  • [Journal Article] Program Analysis and Security Analysis in Optimization Verifying Compilers2007

    • Author(s)
      Sato Hiroyuki
    • Journal Title

      Proc. COE Symposium on Advanced Electronics for Future Generations, --Secure Life Electronics for Quality Life and Society--

      Pages: 271-275

  • [Journal Article] レガシーWebアプリケーションに対応するPKIを用いた簡易 Single Sign-Onの実現2007

    • Author(s)
      西村 健, 佐藤周行
    • Journal Title

      情報処理学会2006年度第4回QAI研究会研究会報告

  • [Journal Article] 自律的組織の集合体としての大学におけるPKIの運用2007

    • Author(s)
      西村 健, 佐藤周行
    • Journal Title

      情報処理学会第70回全国大会講演集

  • [Journal Article] Authentication with PKI - a Case Study in Information Technology Center in the University of Tokyo2006

    • Author(s)
      Nishimura Takeshi, Sato Hiroyuki
    • Journal Title

      Proc. Int'l Symp. Advance ICT

      Pages: 251-256

URL: 

Published: 2008-05-08   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi