课题基金 / 基金详情

非同期通信に基づく並列言語の静的解析とそれに基づく最適化

非同期通信に基づく並列言語の静的解析とそれに基づく最適化
基于异步通信的并行语言的静态分析及基于其的优化
批准号：
08780242
负责人：
小林 直樹
金额：
$0.7万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1996
资助国家：
日本
项目状态：
已结题
起止时间：
1996 至 --
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-08780242/
关键词：
並列言語静的解析型システムプロセス計算

项目摘要

项目成果

小林 直樹的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
本研究の目的は、並列オブジェクト指向言語をはじめとする非同期通信に基づく並列言語の静的解析とそれに基づく最適化の技法を、プロセス計算のモデルに基づく型つき並列言語HALCをとおして、確立・改良することにあった。研究成果としては、静的解析手法として(1)通信チャネルの使用順序の解析のための型システム、および(2)通信チャネルの使用回数の解析のための型システムの開発・改良が、最適化に関しては(3)並列言語における部分計算の定式化、(4)型情報を利用した分散環境における通信の高速化、が挙げられる。以下各々についてもう少し詳細に述べる。(1)通信チャネルの使用順序の情報を含んだ型システムを開発することによって、従来困難とされてきたプロセス間のデッドロックの静的な検出や、通信のための効率のよいコードの生成が可能となった。(2)並列プログラムにおける、通信チャネルや関数の使用回数の情報を含んだ型システムを開発することによって使用回数の静的解析を可能とし、その情報が冗長な通信の除去、通信の高速化、GCの負担軽減に有用であることを示した。(3)並列言語における部分計算を定式化しさらにその正当性を証明した。これによって、部分計算による並列プログラムの最適化の手法および最適化の正当性の基準の確立に貢献した。(4)型つき並列言語において、実行時型情報を用いて分散環境における通信の際のデータ量およびデータの変換のコストが削減する手法を提案し、HACLの分散処理系dHACLをとおしてその有効性を検証した。
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
Naoki Kobayashi and Akinori Yonezawa: "Toward Foundations of Concurrent Object-Oriented Programming-Types and Language Design" Theory and Practice of Object Systems,John-Wiley & Sone. 1(4). 243-268 (1996)
Naoki Kobayashi 和 Akinori Yonezawa：“面向并发对象编程类型和语言设计的基础”对象系统的理论与实践，John-Wiley
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
清水智弘、小林直樹: "並列言語の高レベルなデータの通信における型を利用した最適化について" コンピュータソフトウェア. 14(2). (1997)
Tomohiro Shimizu、Naoki Kobayashi：“在并行语言中使用高级数据通信中的类型进行优化”计算机软件 14(2)。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Haruo Hosoya,Naoki Kobayashi,and Akinori Yonezawa: "Partial Evaluation Scheme for Concurrent Languages and Its Correctness" Euro-Par'96 Parallel Processing,Springer-Verlag LNCS. 1123. 625-632 (1996)
Haruo Hosoya、Naoki Kobayashi 和 Akinori Yonezawa：“并发语言的部分评估方案及其正确性”Euro-Par96 并行处理，Springer-Verlag LNCS。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Naoki Kobayashi: "A Partially Deadlock-free Typed Process Calculus (I) -A Simple System-" Technical Report,Department of Informaiton Science,University of Tokyo. 96-02. 1-32 (1996)
小林直树：“部分无死锁类型化过程演算（I）-简单系统-”技术报告，东京大学信息科学系。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
無住道暁と南宋代成立典籍に関する総合的研究
  • 批准号：
    23K00298
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $1.41万
  • 财政年份：
    2023
  • 负责人：
    小林 直樹
  • 依托单位：
    Osaka Metropolitan University
潜在的カビ毒産生菌種を利用したカビ毒生合成抑制メカニズムの解明
  • 批准号：
    23K05081
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.91万
  • 财政年份：
    2023
  • 负责人：
    小林 直樹
  • 依托单位：
    Azabu University
偏光分光型マルチスペクトルカメラを用いた目視診断用画像システムの研究開発
  • 批准号：
    23K11878
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $3.08万
  • 财政年份：
    2023
  • 负责人：
    小林 直樹
  • 依托单位：
    Saitama Medical University
Program Verification Based on Higher-Order Fixpoint Logic
  • 批准号：
    20H00577
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
  • 资助金额：
    $28.45万
  • 财政年份：
    2020
  • 负责人：
    小林 直樹
  • 依托单位：
    The University of Tokyo
海外基金