高阶代码消除性能比较框架的设计与实现

• 作者: 华保健 朱洪军 赵迪
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 编译框架 函数式语言 高阶代码 闭包变换 函数消除
• 年，卷（期）: 2016,（9）
• 所属期刊栏目: 计算机软件技术
• 页码范围: 2481-2485
• 页数: 5页
• 分类号: TP311.5
• 字数: 5576字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2016.09.2481

摘要

函数式语言编译中,闭包变换和函数消除是广泛采用的高阶代码消除方法.为了提高函数式语言的运行效率,针对函数式语言编译阶段的高阶代码消除过程对目标代码效率的影响,设计并实现了一种函数式语言编译框架.该框架采用了菱形的架构,平行地使用了闭包变换与函数消除两种高阶代码消除方法.设计了一种具有代表性的函数式语言——FUN语言,并以FUN语言为基础,给出了比较框架的一个完整实现.通过该系统,对闭包变换与函数消除的效率影响进行对比实验,选取具有典型特征的测试例,分别从生成代码的规模和运行效率方面对闭包变换与函数消除两种方法的结果进行比较.实验结果表明,与闭包变换相比,使用函数消除方式所得的目标代码量更少,最多可减少33.76％的目标代码量;并且运行效率更高,最多可提高69.51％.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	华保健	中国科学技术大学软件学院	17	116	6.0	10.0
5	朱洪军	中国科学技术大学软件学院	8	48	4.0	6.0
9	赵迪	中国科学技术大学软件学院	12	15	2.0	3.0