权益分类	功能权益	普通用户	{{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ベンチマークによる評価、バックトラック探索時の作業空間長期利用の有効性、ヒストグラム等のサイズが大きい結果用作業空間の適応的共有の提案について発表した。[６．動的再構成・保全の前後での抽象的な計算状態（不変条件）の維持などの検証]：持続型例外処理機構の意味論、実装方式、高水準言語実装のための利用方式、利用した個々のプログラム、前提条件やこれらの組み合せのどういった性質を検証の目的とするかを今後明確にすることとした。

The following research is carried out by the calculation status operation mechanism (proposal mechanism) such as the holding exception handling mechanism. [1. The new processing system is the investigation of speech function. Comparison]: C++ is the main processing system. The investigation of speech function is advanced. [2. 3. Development of basic design policy and implication theory for the proposed organization to support the development of language translation technology; 2. Development of organization to support the development of language translation technology; 3. Development of organization to support the development of language translation technology. [4. 2. The organization is ready to implement the plan. [5. The development of resource utilization methods for long-term implementation, load dispersion, hierarchical design, parallel design, etc.]: Basic research, reverse engineering, computation, high-level speech, high-performance, high-reliability research. Load dispersion on C++, load dispersion on C++, hierarchical structure on C++, priority on C++. The calculation of hierarchy omits the basis of fault tolerance and parallel implementation of fault tolerance. Comparison of implementation sequence planning methods. 2. Preparation of implementation of mechanism. Study of hierarchy omitting probability and random number generation method. The common proposal for the long-term utilization of workspace during exploration, such as long-term utilization of workspace during exploration, long-term utilization of workspace during exploration, long-term utilization of workspace during exploration, and long-term utilization of workspace during exploration, such as long-term utilization of workspace during exploration. [6. The maintenance of abstract computational state (no condition) before and after the reconstruction of movement: the meaning of the maintenance exception handling mechanism, the implementation mode, the utilization mode of high-level speech implementation, the utilization of the first class, the premise, the combination of the characteristics of the system, the purpose of the verification, and the future clarity.