SIMD扩展部件数据依赖关系约束条件研究

SIMD短向量扩展指令是实现细粒度数据级并行的一条重要途径,自动SIMD并行化是利用SIMD扩展指令最简单直接的方法,但现有编译器无法充分挖掘程序中的SIMD并行成分.文章在深入研究SIMD扩展部件执行方式基础上,提出SIMD短向量数据依赖关系约束条件,并实现了一种基于Tarjan算法的SIMD并行判定框架,提高了SIMD并行性识别率.实际程序测试结果显示,在面向复杂依赖关系的SIMD并行性判定方面优于ICC v11.0编译器.     

采用压入桩法加固煤气储气柜基础

就某钢铁厂煤气储气柜工程发生倾斜的问题进行了检测与分析，阐述了发生倾斜的原因，提出了采用压入桩法加固地基的处理方案，成功地阻止了基础的不均匀沉降。     

水玻璃系混凝土养护剂的研究

针对目前现浇混凝土的养护方法不仅浪费水资源，而且费时费工，难于保证养护质量的情况，阐述了水玻璃系混凝土养护剂能彻底改变传统的养护方法，对养护剂机理作了分析，指出水玻璃系混凝土养护剂效果显著。     

自动向量化中基于数据依赖分析的循环分布算法

循环分布是开发向量化程序的一个有效的方法。但是由于程序中的数据相关性,当前的自动向量化编译器实现完全的循环分布非常困难。因此,当前的自动向量化编译器一般采用简单的循环分布方法。以数据依赖关系分析为基础,从有无依赖环的角度分析了程序中语句的向量化能力,提出了基于语句向量化识别的循环分布算法,并在自动向量化中加以实现。通过此方法,可以充分地分析语句或依赖环的向量化能力,最终采用循环分布,将可向量化的语句与不可向量化的语句分布在不同的循环中。该方法可以处理当前的自动向量化编译器无法向量化的循环,对一些语句间有依赖关系的循环可达到较好的效果。     

面向科学计算程序的向量化

针对FPGA实现指数运算时,CORDIC方法计算范围小而多项式逼近需要较多乘法器的问题,设计了一种基于组合-移位的指数运算FPGA实现方法。通过对查找表中元素的线性组合逼近自变量,将其映射为对应指数函数值的相乘(加减移位),实现准确的指数运算。仿真结果表明,该指数运算的FPGA实现方法以较少的资源占用保证了指数运算的精度和速度,取得了良好的实现效果。     

面向科学计算程序的向量化

随着多媒体应用的普及,越来越多的处理器集成了SIMD扩展,如何充分发挥SIMD功能部件的性能成为现代编译器面临的难题之一。从集合的角度分析了传统向量化思想,从语句间和语句自身两方面阐述了如何利用依赖关系分析循环能否向量化;依据目标系统进行向量化代码生成;针对spec 2000测试集的实验结果表明这种向量化方法可以有效地对科学计算程序进行向量化。     

小麦水分与容重相关性的研究与应用

本文用数理统计的方法,根据实验所得数据,就小麦水分与容重的相关性进行了研究,证实小麦水分与容重确是显著相关的,并可建立线性回归模型,从而为实仓小麦的降水工作提供了理论依据。将此结论应用于生产实际,根据线性回归方程,通过控制水分,达到控制容重,升等增价,对贮粮工作有明显的社会效益和经济效益。     

铁路现浇箱梁高性能混凝土的配制与施工控制

以某客运专线特大桥为工程依托,对铁路现浇箱梁混凝土的配制技术、原材料选择、混凝土性能、施工工艺及质量控制进行论述,提出了实现铁路工程混凝土高性能化的方法与控制要点,从而提高箱梁混凝土的耐久性。     

反馈式编译在循环级性能分析中的应用

针对现有技术难以全面及精确地分析程序循环特性的不足,提出一种程序循环级性能分析的方法。该方法采用动态反馈的编译优化技术,并结合静态分析的部分方法,无需硬件架构的支持,适用范围广。测试结果证明该方法能够对程序的循环部分进行精确分析,帮助程序员找出循环级热点,辅助进行相应的手工优化。