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

Program synthesis for Processing-in-Memory architectures

Research Project

Project/Area Number 22K17872
Research Category

Grant-in-Aid for Early-Career Scientists

Allocation TypeMulti-year Fund
Review Section Basic Section 60050:Software-related
Research InstitutionThe University of Electro-Communications (2023)
The University of Tokyo (2022)

Principal Investigator

佐藤 重幸  電気通信大学, 大学院情報理工学研究科, 准教授 (90779464)

Project Period (FY) 2022-04-01 – 2026-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2025: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2024: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2023: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2022: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywordsコ ン パ イ ラ / 自動並列化 / PIM / デ ー タ 並列性 / コンパイラ / データ並列性 / 並列プログラム / プログラム合成
Outline of Research at the Start

近年実用化段階になりつつあるPIM(Processing-in-Memory)プロセッサアーキテクチャは,低消費電力且つ高効率な並列計算を実現するポテンシャルをもつハードウェアである.しかし,PIM特有のハードウェア事情を考慮したプログラミングを要するため,正しく効率的な並列プログラムを記述するのが難しい.そこで本研究では,理解しやすい計算仕様から,PIMの計算性能を引き出す並列プログラムの構成を可能にするような,プログラムの自動合成技術を開発する.これによって,PIM上のプログラムの開発の生産性を高める.

Outline of Annual Research Achievements

昨年度に開発した決定性有限オートマトンに基づく並列マッチング技法を,複数の実行戦略で一般して,ライブラリの形で実装した.様々な入力文字列や入力クエリに対して安定して性能を発揮するように,ユーザ定義の実行戦略を,モジュラーに組み合わせて,実行時に切り替えることができるように設計されている.パケットフィルタのSnortのルールセットからベンチマークを構築し,開発したライブラリの性能を評価し,既存の最先端の並列マッチャを安定して上回る性能を達成した.開発した要素技術は,幅広い並列計算機に応用できるものであり,実行戦略をカスタマイズすることで,PIM環境に適応した並列マッチングが実現できる.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

今年度の成果は,トップ国際会議のfull paperとしてまとめて投稿するに至っている.出版には至っていないが,開発した要素技術についてはポジティブな評価を受けており,論文改訂して投稿を続ければ,十分採択される水準にあると考えている.

Strategy for Future Research Activity

2024年度は,既存成果の論文出版を第一に努める.それと並行して,並列DSLのプロトタイプに着手する.

Report

(2 results)
  • 2023 Research-status Report
  • 2022 Research-status Report
  • Research Products

    (2 results)

All 2023

All Presentation (2 results)

  • [Presentation] ZDDによる並列正規表現マッチング2023

    • Author(s)
      佐藤重幸
    • Organizer
      第25回プログラミングおよびプログラミング言語ワークショップ PPL 2023
    • Related Report
      2022 Research-status Report
  • [Presentation] On-the-fly Simultaneous Finite Automatonによる並列正規表現マッチング2023

    • Author(s)
      高品剛大, 佐藤重幸, 田浦健次朗
    • Organizer
      第25回プログラミングおよびプログラミング言語ワークショップ PPL 2023
    • Related Report
      2022 Research-status Report

URL: 

Published: 2022-04-19   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi