可重构指令集处理器设计中的软件重定向关键技术分析-analysis of key technologies of software redirection in reconfigurable instruction set processor design.docxVIP

摘要摘要电子信息技术、、网络技术和硬件工艺的迅猛发展使得计算机系统越来越复杂。新应用领域的兴起对程序与计算能力提出了越来越严格的要求，多变的用户群体使得处理器的执行任务具有了高动态性的特点，而传统的基于静态指令集设计的处理器已经无法满足这类需要兼顾性能和灵活性两方面因素的应用需求。为了能够高效地适应用户动态变化的任务需求，可重构指令集处理器应运而生。可重构指令集处理器将可重构技术应用到专用指令集处理器的实现中，利用可重构逻辑器件的硬件可编程性，针对不同的应用特征自适应地定制其最优的执行环境，从而在保有专用指令集处理器优点的前提下更有效地满足嵌入式领域的不同应用要求。由于可重构指令集处理器的指令集能够在设计完成后根据应用程序特点进行动态更改，与传统的固定指令集的处理器设计有很大的不同。这就使得针对传统处理器设计的软件工具链不适合于可重构指令集处理器应用程序的开发，需要有新的设计方法用于构造适应动态指令集特征的工具链，以便充分挖掘系统的处理性能。本文针对上述的问题，以所设计的支持动态剖析的可重构指令集处理器为基础平台，提出了一个能够实现软件工具链可重定向设计的开发方案。该方案在对应用程序进行初始快速编译后利用仿真器执行二进制代码，通过对执行信息的剖析、映射等过程获得处理器的扩展指令集合。然后利用新的指令集体系结构完成对编译器和仿真器的可重定向扩展，实现对应用程序的优化编译。所提出的方案能够保证所设计的可重构指令集处理器在针对不同应用任务进行指令定制和硬件重构后，其上层应用程序开发模式的一致性和可重用性，满足对应用程序的兼容性要求，从而能够提高开发效率，降低开发人员的负担，并且对新的嵌入式处理器的开发设计和仿真评估具有积极的意义。在所设计的软件工具链可重定向开发方案中，剖析机制和编译代码生成是整个方案的核心问题，而这两者之间的联系在于实现动态指令序列与静态代码结构的映射匹配。因此，为了实现针对可重构指令集处理器体系结构的工具链可重定向设计，快速有效地生成能够高性能执行的二进制代码，本文深入地研究了软件工具链可重定向开发方案中的三个关键技术，包括高效的热点动态剖析技术、热点代码映射匹配机制和编译后端可重定向实现。本论文的主要贡献体现在下述几个方面：1)提出了一种适合所设计的具有动态剖析特性的可重构指令集处理器的软件工具链可重定向开发方案，融合了热点剖析、动静代码映射及编译后端重定向摘要等关键技术，能很好地适应动态变化的软硬件环境，提高开发效率。2)研究了一种基于路径剖析的可配置热点剖析机制。其与处理器松散耦合，不需了解处理器微体系结构信息而完成剖析。同时，兼具对全过程剖析和采样剖析的支持，能够针对不同的应用需求而采取不同的剖析方案，使得用户可以权衡剖析准确度和剖析开销两方面的因素而作出选择。3)研究了一种基于代数多项式表示的动．静代码映射匹配算法。该算法利用代数多项式来表示代码中的基本块乃至函数体与循环体等结构，在此基础上结合串匹配和多层次搜索的思想，通过多项式搜索匹配的方法实现动态序列表示与静态代码多项式集合的映射匹配，进而用于对源代码的注释标识。4)研究了一个扩展传统编译后端代码生成三阶段方法的代码混合优化生成算法。该算法能够根据可用资源情况和系统重构配置针对可重构指令的代码生成进行优化处理，获得切合平台特性的可执行程序，并且很大程度地复用原有三阶段方法中对基本指令集的代码生成算法，简化了实现的复杂度。关键词：可重构指令集处理器，软件工具链，可重定向，动态剖析，代码映射，代码生成·本论文的工作得到国家高技术研究发展计划(863计划)专项课题(No．2008AA012101)的支持。ⅡAbstractAbstractComputersystemhasbeenmorecomplicatedbecauseoftherapiddevelopmentofelectronic，networkandhardwaretechnique。Withtheemergenceofnewapplicationsandvarieduserrequirements，theprogrammabilityandcalculabilityofprocessorsbecomemoreandmorechallenging．TheconventionalprocessordesignbasedonstaticinstructionsetsCan’tachievetherequirementsonbothofperformanceandflexibility．Sothereconfigurableinstructionsetprocessor(RISP)emceed．RISPistheapplicationspecificinstruction—setprocessorco