面向可重构计算系统的软硬件划分技术研究

代理获取

页面导航

目录
摘要
著录项
相似文献
相关主题

摘要

基于现场可编程门阵列的可重构计算系统兼有通用处理器的灵活性和现场可编程门阵列的高效性，所以在高性能计算领域中正在被广泛应用。一个高效率的软硬件划分算法能够将应用程序自动而有效地分配到通用处理器和现场可编程门阵列上，可以使两种运算部件最大限度地发挥出各自计算模式的优势，因此，对软硬件划分的研究正逐渐成为可重构计算系统领域的研究热点。
　　纵观国内外研究现状，对软硬件划分的研究已经取得了很多成果，但仍存在许多亟待解决的问题。在前人工作的基础上，本文以现场可编程门阵列的面积作为约束条件，以系统整体性能作为优化目标，设计了一种面向中央处理器/现场可编程门阵列的可重构加速系统的软硬件划分框架。该框架的主体由三大主要功能模块组成，在每个模块中，分别对应用程序片段在中央处理器和现场可编程门阵列上实现时花费代价的估计、以及软硬件划分算法等关键技术进行了深入研究，希望上述框架不仅能够确定程序片段是放在中央处理器上或是现场可编程门阵列上运行，并且能对被选中放在现场可编程门阵列上运行的每个程序片段（例如循环）可能的多个硬件版本进行确定，以得到尽可能佳的划分解决方案。具体的研究内容包括：
　　在计算密集型应用程序中循环部分往往是其主要的工作负载，经过分析，采用传统面向循环的静态分析技术无法得到循环执行次数等动态信息；而采用边剖析等动态分析技术虽能得到程序片段的执行次数等信息，但却不能判定该程序片段是否是循环结构，针对这种情况，本文将基于支配关系的循环识别技术和边剖析的分析技术相结合，设计了一种动静态结合的循环运行时分析算法，并在LLVM平台上实现。实验结果表明，该算法既能够自动识别所有循环结构，又能对循环部分的平均迭代次数、循环调用次数、循环软件运行时间及在现场可编程门阵列上实现时软硬件间通信开销等进行精确分析，进而为可重构计算系统待加速循环的选择提供较全面、精确的依据。
　　在可重构计算系统的高层次设计过程中，采用估计技术获取硬件实现及执行时的性能参数是一种快速可行的方法。但是现有的高层次硬件执行时间/面积估计方法往往与特定的硬件实现环境（例如现场可编程门阵列的某种结构及其使用的工具链属性等）相关，通用性差；另外，对循环实现时可能的多个版本的硬件实现代价的估计也支持不足。针对通用性差的问题，本文在评估时首先根据程序语言中不同的运算表达式，结合其通常的电路实现模式，推导出一整套与实现环境无关的针对每个运算的硬件执行时间/面积估计公式，再利用真实反馈信息对推导出的估计公式进行修正，使其可以适用于各种不同的实现环境；针对硬件多版本的估计支持不足的问题，设计了一种面向多版本的细化到以运算操作为基本单位的参数输入统一接口，再结合各个运算操作经过修正后的估计公式，构建了一种面向循环在FPGA上实现时多版本特征的估计算法。该方法能够快速、精确估计出不同程序片段在FPGA上实现时的硬件执行时间/面积，尤其能够对循环实现时各个不同硬件版本的执行时间/面积进行估计，为硬件多版本设计空间探索和软硬件划分提供了精确的信息支持。
　　承上所述，目前在 RCS领域已经有很多软硬件划分算法的成果，但这些方法通常默认循环在FPGA上实现时只有一种硬件实现方式，忽略了循环的硬件多版本特征，降低了划分解的质量。另外在基于CPU/FPGA的可重构加速系统中，通信开销往往是系统整体性能的瓶颈。针对以上两种情况，本文首先构建了一个带有硬件多版本特征的软硬件划分模型，然后面向软硬件间通信开销最优对循环进行分簇，并依据分簇的结果对划分模型中的优化目标函数进行更新，最后从全局优化的角度，采用以浮点数编码的遗传算法来进行求解，从而形成了本文设计的一种带有硬件多版本探索和划分粒度优化再选择的软硬件划分算法。通过该算法，不仅可以确定程序中某循环片段应该放在 CPU或在FPGA上实现，而且还可以确定循环在FPGA上实现的较佳硬件版本形式，从全局性能最优的角度提高了软硬件划分解的质量。
　　实验结果表明，采用遗传算法求解带有硬件多版本探索及划分粒度再选择的软硬件划分问题得到了较好的效果，但随着待划分集合的规模增大，遗传算法较弱的局部搜索能力又会影响划分解的质量。经过分析，发现在选择，交叉，变异算子中，遗传算法的局部搜索能力在很大程度上依靠变异算子，该算子传统上采用的随机变异策略容易对优秀的染色体造成破坏，产生较差的个体。因此本文在上述遗传算法的基础上，经过改进，又设计了一种性能更佳的基于 Q-学习和遗传算法的面向硬件多版本探索的软硬件划分算法。依据硬件多版本的性能、面积的矛盾特征、将 Q-学习算法和贪婪规则相结合，自适应选择合适的变异方向，成为改进后遗传算法的明显特征。实验结果表明，与标准遗传算法相比，改进算法在搜索质量、收敛性方面都具有良好的效果，增强了针对硬件多版本探索的局部搜索能力，进一步提高了软硬件划分解的质量。

著录项

作者
牛晓霞;
展开▼
作者单位

哈尔滨工程大学;

展开▼
授予单位哈尔滨工程大学;
学科计算机应用技术
授予学位博士
导师姓名顾国昌;
年度 2013
页码
总页数
原文格式 PDF
正文语种中文
中图分类设计;
关键词
可重构计算; 现场可编程门阵列; 软硬件划分; 性能估计; 遗传算法;

相似文献

中文文献
外文文献
专利

1. 一种用于可重构计算系统的软硬件划分算法 [J] . 沈英哲 ,周学海 . 中国科学技术大学学报 . 2009,第002期
2. 可重构计算平台上软硬件任务划分与调度算法 [J] . 马宏星 ,周学海 ,高妍妍 . 系统工程与电子技术 . 2010,第011期
3. 一种面向动态部分可重构片上系统的列表式软硬件划分算法 [J] . 郭彪 ,唐麒 ,文智敏 . 计算机科学 . 2021,第006期
4. 面向松耦合可重构系统的软硬件划分算法 [J] . 党林玉 ,庞建民 ,于锦涛 . 信息工程大学学报 . 2015,第003期
5. 概率构造算法与遗传算法融合的可重构计算系统硬件任务划分 [J] . 陈伟男 ,周博 ,彭澄廉 . 计算机辅助设计与图形学学报 . 2007,第008期
6. 面向数据处理领域嵌入式系统在实时性约束条件下的软硬件划分 [C] . 吴百锋 ,彭澄廉 ,孙晓光 . 全国第十五届计算机科学与技术应用学术会议 . 2003
7. 可重构计算系统中软硬件代码划分技术研究 [A] . 沈英哲 . 2007

面向可重构计算系统的软硬件划分技术研究

目录

摘要

著录项

相似文献

相关主题

期刊订阅