权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

高性能・高信頼な高水準言語の実装向け持続型例外処理機構の理論と実践

实现高性能可靠高级语言的持久异常处理机制的理论与实践

基本信息

批准号：
19H04087
负责人：
八杉昌宏
金额：
$ 10.82万
依托单位：
Kyushu Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2019
资助国家：
日本
起止时间：
2019-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

提案している持続型例外処理機構等の計算状態操作機構（提案機構）について、以下の研究を実施した。[１．新しい処理系や言語仕様の調査・比較]：C++のラムダ式について調査を進めた。[２．提案機構を持つ拡張言語の望ましい言語仕様の基本的設計方針と意味論の探究、３．提案機構を持つ拡張言語の翻訳に基づく実装技術の開発]：２．の機構を入れ子関数の形態へと翻訳する枠組みの整備を進めた。[４．ごみ集めや一級継続がサポートされた高水準言語の実装]：２．の機構で実現するための準備を進めた。[５．冗長実行や負荷分散やマイグレーションにより仮想化・階層化なども想定して並列システムにおける資源を有効活用する手法の開発]：基礎的研究としては、グラフ計算向け高水準言語、仮想環境における高性能・高信頼確保方式の研究を行った。バックトラックに基づく負荷分散に関しては、C++上での負荷分散、分散環境向け階層行列構築、優先度と重みを併用するスティール戦略の検討、ARM上での評価を進めた。階層的計算省略に基づく（耐障害性を持つ）並列実行モデルについては、実行順序計画法の比較、２．の機構で実現するための準備、階層的省略可能な乱数生成法の研究を行った。また、両実行モデルにおいて、UTSベンチマークによる評価、バックトラック探索時の作業空間長期利用の有効性、ヒストグラム等のサイズが大きい結果用作業空間の適応的共有の提案について発表した。[６．動的再構成・保全の前後での抽象的な計算状態（不変条件）の維持などの検証]：持続型例外処理機構の意味論、実装方式、高水準言語実装のための利用方式、利用した個々のプログラム、前提条件やこれらの組み合せのどういった性質を検証の目的とするかを今後明確にすることとした。

Proposal of a computing state operating mechanism (proposal mechanism) that maintains a type of exception handling mechanism, etc., and the following research is carried out. [1． [Survey and Comparison of New Processing System]: C++ [Survey and Comparison] of [New Processing System]: C++ [Survey and Comparison]. [2. The proposal organization is committed to exploring the basic design principles and meaning theory of the language, 3. The proposing organization is responsible for the translation of the language and the technical support of the project: 2. The structure of the organization is in the form of the number of sub-levels. [4．ごみ集めやFirst-level 継続がサポートされたHigh-level speech の実装]: 2. The organization is ready and ready. [5． Redundant work and load dispersion, effective use of resources, and effective use of resources. Method of development]: Basic research and development of high-level language and high-level language for high-level computing, research and implementation of high-performance and high-confidence assurance methods for imaginary environments. Hierarchy for load distribution and distributed environment on C++ Queue construction, priority and heavy use of the system, and ARM on the evaluation system. Calculation of levels omits the comparison of 実行モデルについては, 実行 sequential planning method and 実行sequential planning method. The preparation of the organization and the omission of the hierarchical structure are possible and the research on the random number generation method is carried out.また、両実行モデルにおいて、UTSベンチマークによる Comment価、バックトラックExploration time no working space for a long time Utilize the effectiveness of the application, and use the work space to share the results of the shared proposal and the application form. [6． Active reconstruction and preservation of the abstract calculation state (invalidity condition) and maintenance of the abstract calculation state [certificate]: the theory of meaning, implementation method, and high-level language implementation of the exception handling mechanism How to use it, how to use it, how to use it, and how to use it, prerequisites and combinations The nature and purpose of the certificate will be clarified from now on.