Superoptimizing compilers: Evaluation of feasibility of commercial deployment

超级优化编译器：商业部署可行性评估

• 批准号: 131637
• 金额: $ 3.15万
• 依托单位: EMBECOSM LIMITED
• 依托单位国家: 英国
• 项目类别: Feasibility Studies
• 财政年份: 2014
• 资助国家: 英国
• 起止时间: 2014 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=131637
• 关键词: Superoptimizing; compilers; Evaluation; feasibility; commercial

Compilers translate software into code executed by actual processors, but that translation is not always as efficient as desired. Superoptimization exhaustively searches to find the most efficient translation (in terms of code size, execution speed and energy efficiency). We believe with increased computer power and significant advances in techniques that enable superoptimization, it may be practical to offer this technique on a commercial basis.This feasibility study will explore techniques for deploying superoptimization in a commercial context. In the event of success (far from guaranteed – this is high risk), Embecosm and the UK's reputation for excellence in compilers will be further enhanced, helping to attract additional business from around the world.

编译器将软件翻译成由实际处理器执行的代码，但这种翻译并不总是像期望的那样有效。Superoptimization会彻底搜索以找到最有效的翻译（在代码大小，执行速度和能源效率方面）。我们相信，随着计算机能力的提高和技术的重大进步，使超级优化，它可能是实际的，以商业为基础提供这种技术。如果成功（远非保证-这是高风险的），Embecosm和英国在编译器方面的卓越声誉将进一步提高，有助于吸引来自世界各地的更多业务。