遗产代码迁移中的用户界面自动转换技术

随着Internet计算技术的迅速发展,将遗产系统迁移到Web平台逐渐成为一种必需.传统的遗产代码通常使用字符终端界面,它与Web图形界面在界面显示和用户交互方面都有着显著的不同.本文实现了一种基于停止等待协议的方法可以将这种字符界面自动化地迁移到Web图形界面.实验表明,此方法可以显著地增加整个转换过程的自动化程度.     

支持有向有环图的微调度方法

指令调度是编译器中的重要优化阶段．如何充分利用处理器结构相关的资源,发掘程序并行性,以提高编译优化性能和增强代码可适应性,一直是指令调度的研究难点之一．目前微调度已经取得了一定的效果,但对软件流水产生的有向有环图则未能提供支持．在ORC中提出并实现了一种基于IA-64体系结构的支持有向有环图的微调度方法,有效地减少了程序执行周期和流水线停顿,取得了较为满意的编译优化性能．     

汇编代码中的热路径搜寻工具

介绍并实现了一种热路径搜索算法,它能在汇编代码中搜寻出执行频率最高的若干条路径。编译器开发人员可以专注精力分析热路径上的代码,大大节省了工作量。该工具配合ORC编译器的开发,为改善性能做出了重要贡献。     

一种提高时序安全属性静态检测实用性的方法

程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍.     

面向IXP网络处理器的内联优化

内联优化是一种有效的编译优化技术，它通过将函数体直接嵌入到调用点来消除函数调用开销。然而，网络处理器特殊的体系结构对内联优化提出了新的要求，需要新的技术辅助传统内联优化来更好地适应这种特殊的体系结构。本文描述了如何利用关键路径提取技术和迭代编译技术对传统内联优化技术进行扩充和改造，来更好地适应IXP体系结构。实验数据表明，改进后的内联优化能够有效地提高网络系统的性能。     

多寄存器组网络处理器上的寄存器分配技术

针对传统的图着色寄存器分配算法不能直接处理网络处理器的操作问题，提出了一种多寄存器组网络处理上的寄存器分配技术．在依次分析了一个符号寄存器可能位于哪些寄存器组？如果没有候选组，该如何解决这种冲突？如果有多个候选组，该选用哪个组等问题的基础上，通过将这些方法与图着色寄存器分配算法相融合，在IXP上实现了这种多寄存器组的寄存器分配，提高了它的可编程性．这种方法也可运用到其它具有类似寄存器结构的处理器上．     

生物磁学的若干进展

生物磁学是磁学和生物学互相渗透的一门边缘科学。广义的生物磁学包括范围很宽,最近有人提出,生物磁学是研究生物系统的磁场起源问题,磁生物学是研究磁场对生物器官的影响问题。     

支持语言扩展的编译基础结构--X体系结构的研究

语言机制是提供抽象的核心手段,但并不能容易地扩展,给软件的编写和维护带来困难,我们定义了一个可扩展的编译体系结构－Ｘ体系结构,目标是支持用户扩展语言机制,编码领域抽象和优化技巧。它提供了一个可扩展的语言－Ｘ语言,允许用户程序访问程序的多个视图（如ＡＳＴ,类图,类型,上下文等）,并用该语言定义语言扩展,逐步提高该语言的抽象能力,得到高效的定制编译系统,本文中展示了新的语言扩展－程序枚举的实现过程,表     

PVM并行程序验证系统的原理与实现

本文主要介绍ＰＶＭ并行程序验证系统的基本原理和实现技术。首先,我们扼要分析ＰＶＭ程序的构成与特点,然后阐述验证系统的理论模型和验证算法;最后,讨论开发过程中的若干关键技术,本系统的研制可为产行程序的自动转换和分析验证提供了一个可视化的运行环境。     

自动并行库中基于存储转发机制的通信优化

文中工作是在曙光２０００上的ＰＶＭ环境中为自动并行识别同的,介绍的是数据收集函数Ｃｏｌｌｅｃｔ算法及其设计优化以及对原有算法所作的结构性改进,主要思想是将存储转发机引入到数据收集算法中,从而省去了大量的数据填充及抽取操作。