面向异构系统的语义感知代码转换工具链
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems
摘要：
在对异构计算平台进行编程时获得良好的性能提出了重大挑战。我们提出了一个程序转换环境，在Haskell中实现，其中架构不可知的科学C代码与语义注释转换成功能等效的代码更适合于给定的平台。转换步骤被表示为规则，当满足某些语法和语义条件时，可以触发这些规则。这些规则不是硬连接到重写引擎中的：它们是用类似C的语言编写的，并被自动处理和合并到重写引擎中。这使得最终用户可以添加自己的规则或提供适合某些特定领域或目的的规则集。
英文摘要：
Obtaining good performance when programming heterogeneous computing platforms poses significant challenges. We present a program transformation environment, implemented in Haskell, where architecture-agnostic scientific C code with semantic annotations is transformed into functionally equivalent code better suited for a given platform. The transformation steps are represented as rules that can be fired when certain syntactic and semantic conditions are fulfilled. These rules are not hard-wired into the rewriting engine: they are written in a C-like language and are automatically processed and incorporated into the rewriting engine. That makes it possible for end-users to add their own rules or to provide sets of rules that are adapted to certain specific domains or purposes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
