Language Support for Navigating Architecture Design in Closed Form
Language Support for Navigating Architecture Design in Closed Form
复制标题
DOI：
10.1145/3360047
复制
发表时间：
2019-10
期刊：
影响因子：
--
通讯作者：
Weilong Cui;Georgios Tzimpragos;Y. Tao;Joseph McMahan;Deeksha Dangwal;Nestan Tsiskaridze;George Michelogiannakis
中科院分区：
文献类型：
--
作者：
Weilong Cui;Georgios Tzimpragos;Y. Tao;Joseph McMahan;Deeksha Dangwal;Nestan Tsiskaridze;George Michelogiannakis
随着计算机体系结构继续从软件无关的微体系结构扩展到专门的和异构的逻辑，甚至是完全不同的新兴计算模型（例如，量子核，DNA存储单元），详细的周期级模拟不再是先决条件。在如此复杂的相互作用关系下探索设计（例如，性能，能量，热量，频率）需要一种更综合但更高层次的方法。我们提出了一种支持封闭式高级架构建模的建模语言Charm。Charm使相互依赖的体系结构关系的数学表示能够被指定、组合、检查、评估、重用和共享。该语言通过自动符号评估、可伸缩图形转换和高效编译器技术的组合来解释，生成可执行的dag和优化的分析程序。Charm还利用满意度模理论求解器的进步来自动搜索设计空间，以帮助建筑师同时探索多个设计旋钮（例如，不同的CNN平铺配置）。通过两个案例研究，我们证明了Charm允许人们以干净简洁的格式定义高级架构模型，最大限度地提高可重用性和可共享性，捕获不合理的假设，并大大简化了高层次的设计空间探索。
As computer architecture continues to expand beyond software-agnostic microarchitecture to specialized and heterogeneous logic or even radically different emerging computing models (e.g., quantum cores, DNA storage units), detailed cycle-level simulation is no longer presupposed. Exploring designs under such complex interacting relationships (e.g., performance, energy, thermal, frequency) calls for a more integrative but higher-level approach. We propose Charm, a modeling language supporting closed-form high-level architecture modeling. Charm enables mathematical representations of mutually dependent architectural relationships to be specified, composed, checked, evaluated, reused, and shared. The language is interpreted through a combination of automatic symbolic evaluation, scalable graph transformation, and efficient compiler techniques, generating executable DAGs and optimized analysis procedures. Charm also exploits the advancements in satisfiability modulo theory solvers to automatically search the design space to help architects explore multiple design knobs simultaneously (e.g., different CNN tiling configurations). Through two case studies, we demonstrate that Charm allows one to define high-level architecture models in a clean and concise format, maximize reusability and shareability, capture unreasonable assumptions, and significantly ease design space exploration at a high level.