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

並列分散システム統合のための安全な計算状態操作機構

用于并行分布式系统集成的安全计算状态操纵机制

基本信息

批准号：
17650008
负责人：
八杉昌宏
金额：
$ 2.11万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Exploratory Research
财政年份：
2005
资助国家：
日本
起止时间：
2005 至 2007
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-17650008/
关键词：
スタックレジスタ C言語コンパイラ入れ子関数

项目摘要

計算中のプロセスの計算状態を安全に操作可能にすることで、高い実行性能と安全性・正当性を両立させるための拡張C言語の仕様設計、実装技術および応用手法を提案し、それらを評価することで、多数のプロセッサやノードから成るシステムを統合できることを示そうとしている。提案方式は、言語仕様としては入れ子関数(クロージャ)をベースとし、関数呼出しの呼出し元のフレームで眠っている変数の値への正式なアクセスを可能としている。これを、L-closureと呼ぶ、高い実行性能を得るためのクロージャとして提案している。平成19年度は以下の成果を得た。1.提案手法の評価環境の構築提案する仕様と実装技術を、実動するコンパイラとして実現した。平成18年度までに、通常のC言語へのトランスレータとしての実装と、GNU C Compiler(GCC)のバージョン3.2を改造した実装を行ったが、平成19年度はさらにGCC3.4.6を用いた環境を構築した。また、GCC4対応に向けての調査を行った。2.応用プログラムの開発・提案手法の検証特にマルチスレッド、負荷分散、実行状態の保存・変更・復元、自動メモリ管理のポインタ補正を中心として応用プログラムを作成し、これらを用いた提案手法の有用性の検証を行った。結果として、特にレジスタ数の多い計算機において、高性能が達成されることが示された。3.言語仕様の改良L-closureへのポインタ(や型)を構造体メンバ、関数、配列、型定義などでも利用できるように、キーワードを付与した入れ子関数の定義についての構文の修正を行ってきた。平成19年度はさらに構文の修正を行い、L-closureを返すL-closure定義(意味的にはエラーになるが構文としては認められる)、関数プロトタイプ宣言における"*"記号の省略などに対応した。

The computational state of computing in computing is safe, operational, and feasible, and performance is high, security, and legitimacy are high, and language design, implementation technology, and application methods are high, and evaluation is high, and most of the computing state is safe, operational, and feasible. The method of proposal is to change the number of words, to change the number of words. L-closure and high performance. The following results were obtained in the year of Heisei 19. 1. Proposal method and evaluation of environmental construction proposal, installation technology, implementation of the project and implementation of the project In 2018, the implementation of the GNU C Compiler(GCC) version 3.2 was reformed, and in 2019, the GCC3.4.6 environment was constructed. The GCC4 has been investigated. 2. Development and proposal methods for application of the software are verified by special features, load dispersion, maintenance, change, restoration, automatic management, correction, and center. As a result, a large number of computers with special features and high performance have been achieved. 3. The improved L-closure structure of speech function is composed of structure, relationship, arrangement and type definition. The structure is modified by using the structure, relationship and type definition. In 2019, the revision of the text, L-closure, L-closure definition (meaning of the text), and the omission of the "*" sign were carried out.