编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

基于YH-F2 系统的一般算术表达式的并行成分识别

本文深入研究了基于ＹＨ－Ｆ２系统的算术表达式的并行计算特点,提出了嵌套层次树的概念和相应的计算模式。这种模式充分利用了ＹＨ－Ｆ２系统的并行计算能力,完满地解决了基于ＹＨ－Ｆ２的算术表达式的并行编译问题     

一种开发逻辑程序中AND并行性的静态编译方法

逻辑程序AND并行性的开发是逻辑程序并行执行研究中的一个重要课题。文中提出了一种开发逻辑程序中AND并行性的静态编译方法。该方法分成三个阶段:第一阶段,进入模式(entry mode) 的分析;第二阶段,退出模式(exit mode) 的生成;第三阶段,执行图表达式(execution graphexpression) 的确定。通过运行一些基准程序可知,与其它方法相比,该方法能在“生产者一消费者”原则(producer-consumer scheme) 下最大限度地开发AND并行性,且只需很小的动态开销。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

一种面向分布式寄存器文件的VLIW调度新策略

新一代面向密集计算的高性能处理器普遍采用分布式寄存器文件来支撑ALU阵列,并通过VLIW开发指令级并行.面向分布式寄存器文件的编译成为新兴的研究热点,在斯坦福大学的kernelC编译器ISCD中最早提出了面向分布式寄存器的VLIW调度问题,在该领域处于领先水平,但是没有解决重负载下的分布式寄存器分配问题,使应用编程受到极大限制.在其基础上提出了一种新的VLIW调度策略,实验结果表明能够很好地解决重负载下的分布式寄存器分配问题.     

Open64的MPI代码自动生成算法

针对开源编译器Open64存在MPI不能自动并行化的问题,对Open64中面向Cluster的MPI代码自动生成进行了研究。分析了MPI代码自动生成模块在Open64体系结构中的位置,提出了基于Open64的MPI代码自动生成算法,并对其进行了实验验证。实验结果表明：该算法不但能够有效降低MPI并行程序的通信开销,而且能够明显提高其加速比。     

GFT中的向量编译技术

本文介绍了一个高效而简洁的编译程序GFT及其所使用的主要编译技术。     

一个基于图着色的CACHE优化方法

提出了一个编译时的Cache管理优化方法。该方法根据访存行为将程序中的数据划分成若干数据对象,根据数据对象的大小将Cache划分为一个带有别名的伪寄存器文件,每个伪寄存器由若干Cache行组成,可以容纳一个数据对象;使用一个经过改进的图着色寄存器分配算法来决定这些对象在Cache中的位置以及发生冲突时的替换关系。数据对象的划分将Cache的管理分为两个层次,一个是编译时编译器对粗粒度的数据对象的管理,另一个是运行时硬件对细粒度的Cache行的管理,这样编译器和硬件的优势都得到发挥。基于GCC进行了方法实现,并通过simplescalar构造了支持Cache Coloring的硬件模拟平台。实验结果表明Cache Coloring能较好地开发程序的局部性,降低Cache失效率。     

菜单窗口软件的自动生成

本文提出了一个菜单窗口自动生成系统,能自动把用户以MWSL语言编写的菜单窗口程序编译生成Turbo C语言的菜单窗口软件,满足用户对多菜单多窗口的要求,具有很强的通用性.     

基于IEC61131标准PLC控制器的设计与实现

PLC已经广泛应用于军工、钢铁、石油、化工、电力、建材、机械制造、汽车、轻纺、交通运输、环保及文化娱乐等各个行业。但是传统的PLC（称硬PLC）存在较多问题,制约了PLC的发展。随着计算机技术的迅猛发展以及关于PLC的国际标准IEC 61131-3的制定,打破了传统PLC垄断、封闭的局限性,软PLC控制器伴随着新兴技术发展起来了。本文针对软PLC控制器提出了几种设计与实现的方法。采用基于IEC61131—3标准的开发平台软件进行二次开发,如德国infoteam公司的OpenPCS等。运行系统可根据实际情况需要采用解释型或编译型。解释型的PLC系统有很多特点,比如移植性好,不受实际硬件的束缚,易于理解,开发难度小,可用于微、小型PLC中应用。而编译型的PLC指令运行效率高,存储容量小,可用于中、大型PLC中应用。