BWDSP译码器自动验证及编译向量化的研究与实现

来源 :中国科学技术大学 | 被引量 : 0次 | 上传用户:hynyjhnyjn66656
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
BWDSP是一款高性能数字信号处理器,同时兼容16位和32位定点数据格式,采用超长指令字架构,具有强大的并行处理能力,能较好的满足高速实时信号处理的应用要求。BWDSP具有多个执行簇,每个执行簇上有多个运算部件,同时提供了多种类型的向量化指令,为SIMD编译优化提供了大量的机会和支持。本文的主要工作包括两点。其一,设计并实现了BWDSP指令译码器的自动化验证平台;其二,在Open64编译基础设施的基础上研究并实现了基于高层WHIRL表示的支持BWDSP程序SIMD优化的编译算法。DSP译码器自动化验证平台是在BWDSP译码器的基础上,为了验证不断变动的指令集译码器的正确性,基于面向对象的理念设计的一套译码器验证工具。平台的设计首次使用了面向对象的思想。自动化译码器验证方案能够很好的支持重用和扩展,针对指令集的变动和扩展,能够在极短的时间内完成对应的测试版本。本文在OPEN64编译基础设施的基础之上,提出并实现了基于高层WHIRL表示的SIMD向量化算法。算法主要在OPEN64的中间语言高层WHIRL上进行,以最内层循环为主要优化对象,通过一系列的分析和变换工作,发现并利用程序循环潜在的指令并行,将该类操作进行SIMD优化处理。此外,BWDSP指令集还包括一些特殊的向量化指令,针对这些指令,算法也增加了对应的SIMD替换过程,通过对特殊向量化机会的识别,找到并替换成特殊SIMD操作,从而在WHIRL树层次上完成特殊指令SIMD变换。特殊SIMD操作替换算法已经实现了BWDSP指令集中的所有特殊向量化指令的替换优化算法。最终的实验结果表明,基于高层WHIRL表示的SIMD优化算法在BWDSP上针对可合成单字和双字的循环程序能够分别取得平均6.30倍和4.15倍的加速比。这表明,基于树匹配的SIMD优化算法对循环程序的效率提高是非常可观的。
其他文献
构造可以通过决策产生智能行为的智能体可以看作是人工智能现阶段的主要目标之一。各类决策算法使得智能体能够在多个方面近似做出人类可以做出的智能行为。在不确定性环境中
工作流技术是近年来在计算机应用领域中发展最为迅速的新技术之一,它实现了系统中应用逻辑与过程逻辑的分离,是实现业务流程自动化的关键技术。工作流引擎作为工作流技术的核心
随着业务需求不断变化,业务流程的设计,优化和管理成为企业竞争的重要手段。目前工作流技术已成为流程定义,管理,监控的核心技术,工作流管理系统以工作流技术为基础,通过合理的调用
演化数据普遍存在于许多动态情景中,这类数据的分布会随时间而逐渐变化。演化数据的学习问题越来越受到重视,是机器学习和数据挖掘领域一个新的重要研究课题。而演化数据的聚
遗传算法作为一种基于生物界自然选择和遗传原理的高效的搜索技术,已成功的应用于工程设计,工商管理,科学实验等领域中的复杂优化问题的求解。然而,GA在进化寻优的过程中将不
无线传感器网络技术将是21世纪最有发展前景的技术之一。由于其具有组网快捷、灵活,且不受有线网络约束的优点,因而可应用于紧急搜索、灾难救助、环境监测等领域,具有广泛的应用
随着网络技术的发展,多媒体技术进入了流媒体时代,而流媒体技术的一个典型应用就是视频通信系统。本文尝试实现一种在 IP 网络中任意两个Pc终端之间P2P实时视频通信软件,其功能
为了提高图像资源利用率,快速、有效地查询和检索数据库中的图像,基于内容的图像检索技术(CBIR)便应运而生。其方法是在检索图像时,对给定的图像自动提取其特征向量,并根据匹
WebGIS(Web Geographic Information System)是地理信息系统研究中的一项重要内容。WebGIS可以使全社会范围内各领域、各部门之间的空间数据信息实现共享,极大地提高了空间信
在计算机辅助教学(CAI)软件的开发中,基于题库的自适应测试系统已成为一个重要的发展方向。目前在国际上最新的测试理论研究成果是项目反应理论,本文介绍的就是一个采用项目