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

2017 Fiscal Year Research-status Report

代数的性質と型システムに基づく自動並列化

Research Project

Project/Area Number 15K15965
Research InstitutionThe University of Tokyo

Principal Investigator

森畑 明昌  東京大学, 大学院総合文化研究科, 准教授 (10582257)

Project Period (FY) 2015-04-01 – 2019-03-31
Keywords自動並列化 / 型システム / ラムダ計算
Outline of Annual Research Achievements

2017年度は引き続き自動リダクション並列化をを研究するための理論的基盤としてのラムダ計算体系の定式化に取り組んだ。これは通常のラムダ計算に結合法則や分配法則など代数的性質を用いた式の単純化を加えたものであり、型システムによって並列計算時の計算コストに保証を与えている。前年度までに定式化の大筋はできあがっていたのだが、詳細を詰めてゆく過程で2つの問題点が発覚した。1つは、現実のプログラムをこの体系でモデル化することの難しさである。ラムダ計算は現実のプログラムのほとんどの要素を表現できることが知られている。しかし、今回の体系では、並列計算が可能となるかどうかがエンコードの詳細に依存することが発覚し、そのため既知の結果を素直に応用することはできなかった。もう一つは、型システムの能力とその安全性の証明である。本体系では型システムが並列計算の性能を保証する。この保証は、型システムが多くのプログラムを却下すれば簡単だが、何でも却下するようでは使い物にならならない。一方で、詳細な解析を型システムが行うほど、その性質の証明は難しくなり、また型推論・型検査の実用的なアルゴリズムも構築し難くなる。前年度までの型システムはアドホックに設計してきたため、適切なものがなかなか与えられずにいた。本年度はこれらの解決を目指し研究を行った。進捗が研究の細部であることもあり、具体的な成果として公表できる形にはなっていないが、上記問題を概ね解決することに成功した。
なお、これと平行し、並列プログラムの代数的性質を用いた自動的な効率化の可能性について研究を行った。特に、SMTソルバーなどの制約解消器を用いることで非自明な効率化を行う手法を提案した。この成果を第34回ソフトウェア科学界大会で発表した。この成果を発展させたものは、来年度開催される国際会議FLOPS 2018での採択が決まっている。

Current Status of Research Progress
Current Status of Research Progress

3: Progress in research has been slightly delayed.

Reason

上述の通り、詳細を詰める際に深刻な問題が発見され、その解決に予想以上の時間を要したためである。

Strategy for Future Research Activity

現時点での成果をまとめ、出版することが重要だと考えている。

Causes of Carryover

研究の理論的詳細の改善が必要となったため、研究全体としてデスクワークが中心となり、また成果の発表にも至らなかった。また、研究のための備品等については前年度までに購入したもので不足がなかった。以上の状況から、今年度は予定に比して使用額が少なくなっている。

  • Research Products

    (2 results)

All 2018 2017

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (1 results)

  • [Journal Article] Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers2018

    • Author(s)
      Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
    • Journal Title

      Proc. FLOPS 2018 (Lecture Notes in Computer Sciense)

      Volume: 採択決定済 Pages: 採択決定済

    • Peer Reviewed
  • [Presentation] 頂点主体並列グラフ処理の制約解消器による効率化2017

    • Author(s)
      森畑明昌, 江本健斗, 松崎公紀, 胡振江, 岩崎英哉
    • Organizer
      日本ソフトウェア科学会第34回大会

URL: 

Published: 2018-12-17  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi