Generation and verification of COINS compiler optimizers using temporal logic and high-level extensions of optimizers

使用时序逻辑和优化器的高级扩展生成和验证 COINS 编译器优化器

• 批准号: 22300007
• 负责人: SASSA Masataka
• 金额: $ 11.56万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22300007/
• 关键词: コンパイラ; コード最適化; 時相論理; 静的単一代入形式; 網羅型データフロー 解析; 要求駆動型データフロー解析; キャッシュ効率化; 大域値番号付け; 最適化; COINS; スカラー置換; 部分冗長性除去; 部分無用コード除去; キャッシュ最適化; 時相論理理; CTL

We generated a C language compiler optimizers using the low-level intermediate form of the COINS compiler. We specify patterns and transformations of optimizers in CTL-FV, which is a bi-directional temporal logic, and performed model checking.On the other hand, a generic algorithm is made, which converts partial redundancy elimination (PRE) in the normal form into one in the static single assignment form. In addition to the generalization, we have improved the effectiveness and the efficiency of the PRE and the partial dead code elimination which is another code optimization technique similar to PRE. As a new code optimization, we also have proposed atechnique that increases cache-hit ratio.

我们使用 COINS 编译器的低级中间形式生成了 C 语言编译器优化器。我们在CTL-FV（一种双向时序逻辑）中指定优化器的模式和转换，并进行模型检查。另一方面，制定了通用算法，将范式形式的部分冗余消除（PRE）转换为一种是静态单一赋值形式。除了泛化之外，我们还提高了 PRE 的有效性和效率，以及部分死代码消除，这是另一种类似于 PRE 的代码优化技术。作为一种新的代码优化，我们还提出了一种提高缓存命中率的技术。

项目成果

Global Load Instruction Aggregation Based on Code Motion

基于代码运动的全局加载指令聚合

• 发表时间: 2012
• 期刊: Proc. of IEEE International Symposium on Parallel Architectures, Algorithms and Programming, PAAP'12
• 作者: Sumikawa;Y.
• 通讯作者: Y.

質問伝播に基づく大域ロード命令集約

基于问题传播的全局加载指令聚合

• 发表时间: 2013
• 作者: Uchida;S.;澄川靖信,滝本宗宏
• 通讯作者: 澄川靖信,滝本宗宏

効率的な要求駆動型部分冗長除去

高效的需求驱动部分冗余去除

• 发表时间: 2013
• 期刊: 情報処理学会論文誌:プログラミング
• 作者: Uchida;S.;Yamashita S;澄川靖信,滝本宗宏
• 通讯作者: 澄川靖信,滝本宗宏

並列化と実行時コード生成を用いた正規表現マッチングの高速化

使用并行化和运行时代码生成加速正则表达式匹配

• 发表时间: 2012
• 作者: Y.Kobayashi;A.Kishimoto;O.Watanabe;山下俊一;新屋良磨,光成滋生,佐々政孝
• 通讯作者: 新屋良磨,光成滋生,佐々政孝

スピルコストを考慮した部分冗長除去

考虑溢出成本的部分冗余去除

• 发表时间: 2013
• 作者: 杉木 章義,奥畑 聡仁;加藤 和彦;澄川靖信,滝本宗宏
• 通讯作者: 澄川靖信,滝本宗宏