GCC编译器中间代码层控制流扩充研究

本文首先对CFCSS(控制流检错算法)进行了介绍,对GCC编译器的运行流程进行了简要分析,再次给出了在GCC编译器中扩充CFCSS算法的具体方法,最后通过故障注入实验对扩充后的GCC进行了有效性验证。实验表明,扩充了CFCSS算法的GCC编译器所编译的程序在运行过程中具有控制流检错能力。这为我们下一步的故障定位和故障恢复提供了有力的支持,为解决星载计算机的运行故障奠定了基础。     

世界碳酸钙工业发展近况

世界碳酸钙工业发展迅速，产能不断增加，首先介绍了近几年来重质研磨碳酸钙（GCC）产业的发展概况，重点介绍了中国、日本、马来西亚、韩国、泰国的GCC产业及国际著名GCC生产公司在中国的经营情况。其次介绍了世界轻质沉淀碳酸钙（PCC）的市场概况及国外大型PCC生产公司的基本情况。最后，重点介绍了中国大陆地区的碳酸钙生产与市场情况，并通过分析近几年中国碳酸钙产品的进出口数量及价格情况指出，开发适合碳酸钙用户需求的新产品、新技术，参与国际竞争是今后中国碳酸钙生产企业的发展方向。     

“编译原理专题训练”课程介绍

"编译原理专题训练"是清华大学为计算机科学与技术系本科生开设的实践类限选课,旨在提高学生的实践能力。课程首次将开放源代码软件GCC和Open64作为实验框架引入实践教学,引导学生参与大型开源软件开发和维护活动,基于具有工业水准的真实软件开展实践。本文重点介绍了该课程在我校开设的基本情况,以期给大家更多的启示。     

基于GCC的C/C＋＋源程序静态信息提取技术

给出了一种基于GCC的AST中间文件来提取C/C＋＋语言源程序静态信息的方法。主要思想是利用GCC编译源程序时产生的AST文件,借助XOgastan工具将其转换成GXL格式文件,然后从GXL格式文件转换成标准的XML文档,最后树形化地显示源程序的结构关系。     

基于Windows平台VxWorks交叉编译工具的设计

在开发VxWorks嵌入式平台时,开发厂商会推出一整套交叉编译工具链来配合自身的嵌入式产品,但是这些由商业公司提供的工具链,都不会附有工具链相关的源代码和制作方法,灵活性不足,并且它们一般都与整套开发系统捆绑销售使用,成本较高.为了更好地理解这种技术和降低成本,使用了国际开源组织GNU开发的工具链作为产品开发的工具,提...     

Intel64体系结构的数据预取机制及效果

数据预取是为缓解微处理器与DRAM之间速度差异而出现的隐藏访存延迟的方法。当前Intel各系列处理器都采用多种预取机制来加速数据和代码向Cache的移动,从而提升程序的性能。通过对Intel64体系结构存储层次的分析,剖析了X86/X64体系的数据预取机制,包括硬件预取和软件预取,并且分析了编译器对软件预取机制的支持。最后测试了Intel64体系结构数据预取对科学计算程序中紧嵌套循环性能的影响,总结出了影响数据预取有效性的几个因素。此项工作对在Intel平台上进行循环数组预取优化有指导意义。     

利用二次相关改进的广义互相关时延估计算法

为了提高传统广义互相关时延估计算法的性能,本文将二次相关时延估计算法与广义互相关时延估计算法相结合,提出了一种利用二次相关改进广义互相关的时延估计新算法。该算法先对信号进行二次相关处理,利用相关函数抑制了噪声的干扰,然后在相关函数序列上进行权重处理,进一步提高了算法的抗噪声性能与估算精度。仿真实验证明新算法较广义互相关算法性能有了明显的提升,对闪电辐射源定位资料的分析也验证了该算法的有效性。     

GCC4．1数据依赖分析器的分析与改进

本文深入分析了GCC4．1的数据依赖分析器，针对它在分析Fortran程序的线性化数组访问时的不足，给出了两点改进：一是初步实现了一个非仿射数组下标依赖分析算法；二是提出并实现了分裂递归链的仿射数组下标数据依赖分析方法。实验表明，这两点改进增强了GCC4．1的数据依赖分析能力，为进行循环变换如循环交换提供了更准确的数据依赖信息。     

基于GCC的TMS320C67xx汇编代码的优化

为了使生成的汇编代码具有更高的执行效率,设计并实现了一种基于GCC的 TMS320C67xx汇编指令级的代码优化算法。首先,将汇编指令按照功能划分为不同的指令类型,并将汇编指令链接到链表中。然后,针对每一个寄存器建立对该寄存器的读写操作指令链表。最后,通过对指令类型的判断和对寄存器读写操作指令链表的分析,完成了冗余代码的删除和指令合并。实验结果表明,经过代码优化后,TMS320C67xx汇编代码的执行效率提高了20％左右,较中间代码级的优化算法执行效率提高了15％左右。     

Design for the Future: Educational Institutions in the Gulf

Despite a distinguished heritage of learning in the Middle East, the expansion of provision for higher education is currently at an unprecedented scale. The Gulf States, in particular, are seeking to keep up with accelerated population growth and a demographic ‘youth bulge’. Guest-Editor Kevin Mitchell describes the architectural approaches employed in the design of institutions in the region from the first universities in Saudi Arabia to Foster + Partners's ground-breaking sustainable design for the Masdar Institute in Abu Dhabi and future projects.