代码翻译中Case语句的识别和恢复

提出了在开发IA 64二进制翻译系统中采用的n 条件分支跳转表和目标地址恢复技术。着重论述了该技术的核心——过程内切片和表达式替换，以及针对IA 64特性的改进算法。     

基于IA64二进制翻译的解码技术研究

作为64位处理器架构,IA64提供了更高的指令级并行性,代表了一种新型微处理器的发展方向。该文介绍了基于SLED对IA64指令的描述和利用MLTK生成反向工具,讨论了IA64中指令解码器的设计与实现。这些技术对IA64二进制指令代码流的自动分析和变换,以及实现IA64二进制自动翻译具有重要的意义。     

IA64二进制翻译中过程抽象技术及其实现

过程抽象技术是用机器无关的表达方式对过程中与机器相关的内容进行抽象。然而用传统的Pascal,C或者是C 语言来实现该技术是相当困难的。本文基于IA64二进制翻译框架,提出了一种新的过程抽象技术,并对扩展的过程抽象语言进行了详细介绍。     

IA64二进制翻译中过程抽象技术及其实现

过程抽象技术是用机器无关的表达方式对过程中与机器相关的内容进行抽象.然而用传统的Pascal,C或者是C++语言来实现该技术是相当困难的.本文基于IA64二进制翻译框架,提出了一种新的过程抽象技术,并对扩展的过程抽象语言进行了详细介绍.     

IA-64架构的寄存器机制的几点研究

IA－64架构是Intel公司开发出的新一代64位微处理器体系结构，它的设计思想介于传统的RISC（精简指令集计算机）和并行处理器之间，其特殊的寄存器栈机制为应用程序提供了大量可用的通用寄存器，作者对支持IA－64的编译器进行了设计和实现，过程了IA－64的寄存器结构，寄存器栈轮转做了一些深入研究，本文对比传统处理器架构中的寄存器结构，对该寄存器栈机制在编译器中实现的重要特点进行了阐述。     

Linux/IA64存储管理的研究

安腾处理器家族是Intel公司新一代64位处理器,它已成功应用于科学计算和事务处理等领域,Linux是支持IntelIA-64平台的主流操作系统之一。该文研究了Linux/IA64存储管理,包括Linux/IA64灵活的地址空间划分、TLB等机制,并着重讨论了与IA64VHPT(VirtualHashPageTable)walker紧密结合的虚实地址变换、基于IA64区ID的懒惰TLB刷新等新技术。     

安腾2战车滚滚而来HP篇

基于开放标准的IA64计算平台代表了工业标准企业计算技术的未来,IA64服务器已成为企业计算平台发展的必然趋势。今天的IT界已经围绕安腾2构建了一个“生态环境”,越来越多的硬件厂商、独立软件供应商和系统集成商加入到IA64的阵营,推动了IA64计算平台进入实质性的企业关键应用阶段,最终促成64位成为主流。     

《中国计算机用户》读者信息反馈表

随着越来越多的硬件厂商、独立软件供应商和系统集成商加入到IA64平台的阵营,IA64平台的生态环境快速丰富,并推动IA64计算平台进入实质性的企业关键应用阶段。惠普企业系统集团首席技术顾问张报昌先生认为,无论从设计思想、制造工艺、开放性、批量生产能力、推广力度以及OEM和ISV支持程序,IA64计算平台所表现的超群能力都奠定了其成为高端应用主流平台的基础,IA64服务器已成为企业计算平台的必然趋势。     

降低复杂性——SAS推出基于安腾2的银行智能解决方案

IT 界已经围绕 IA64计算平台构建了一个“生态环境”,越来越多的硬件厂商,独立软件供应商和系统集成商加入到 IA64计算平台的阵营,使 IA64计算平台的生态环境快速发展,推动 IA64计算平台进入实质性的企业关键应用阶段,安腾2服务器的应用条件正在趋于成熟。作为 IA64基础架构最积极的推动者之一,惠普与众多领先的供应商和开放商合作提供了从操作系统和工具软件,系统基础件到业务基础软件的全面的解决方案,并为 ISV 开发基于 IA64计算平台的行业应用提供强有力的支持,推动 IA64位行业应用的开发进程,如今已获得了累累硕果——基于 IA 计算平台的商业应用已全面遍及金融、证券,电信、网络服务供应商,制造业、服务业、高性能技术计算以及跨行业企业管理应用领域。从本期开始,我们将连续八期详细介绍基于惠普安腾2服务器的行业应用解决方案。     

IA64二进制翻译中的数据段映射技术

数据段映射是二进制翻译过程中源可执行文件和目标可执行文件数据关系的纽带。论文介绍了32位处理器二进制翻译的数据段映射技术,指出了这种映射技术在IA64二进制翻译中存在的缺陷,进而提出了改进方法,并解决了IA64二进制翻译的数据段映射问题。     

基于IA64架构的虚拟哈希页表的研究与实现

虚拟哈希页表（VHPT）是高性能微处理器系统实现虚拟地址到物理地址的转换映像，是存储管理的关键技术之一。本文在讨论IA64微处理器地址空间的基础上分析了单地址空间（SAS）和多地址空间（脑）模型的应用需求，研究了长格式、短格式两种页表映射机制，实现了基于这两种格式的64位虚地址空间的哈希地址算法，增强了虚地址转换的
性能。模拟结果表明，该设计与IA64架构兼容。     

基于数据流分析的寄存器参数恢复方法

针对在反编译IA32体系结构可执行程序过程中涉及的寄存器参数恢复问题,基于IA32适用的ABI约定,分析寄存器参数的特征,借鉴数据流分析中到达-定义分析及使用-定义链等经典方法,利用寄存器定义和使用等信息,提出一种寄存器参数的识别、处理及实参恢复的方法。     

大规模并行系统中的Firmware结构及其实现研究

Firmware是IA64体系结构的一个重要组成部分。在系统启动时，首先运行Firmware，它对系统的各部件进行初始化、配置和测试，同时还对操作系统的引导进行管理。在大规模并行计算机系统中，节点问的Firmware结构是设计系统时要解决的重要问题。本文提出一种基于IA64的大规模并行系统的Firmware的结构，并对其作了简要分析。     

On the single processor performance of simple lattice Boltzmann kernels

This report presents a comprehensive survey of the effect of different data layouts on the single processor performance characteristics for the lattice Boltzmann method both for commodity “off-the-shelf” (COTS) architectures and tailored HPC systems, such as vector computers. We cover modern 64-bit processors ranging from IA32 compatible (Intel Xeon/Nocona, AMD Opteron), superscalar RISC (IBM Power4), IA64 (Intel Itanium 2) to classical vector (NEC SX6+) and novel vector (Cray X1) architectures. Combining different data layouts with architecture dependent optimization strategies we demonstrate that the optimal implementation strongly depends on the architecture used. In particular, the correct choice of the data layout could supersede complex cache-blocking techniques in our kernels. Furthermore our results demonstrate that vector systems can outperform COTS architectures by one order of magnitude.     

一种基于可重定向编译器的功耗优化框架

当今,低功耗设计成为系统设计中的关键问题之一,而编译中的低功耗优化也成为系统设计中的一个重要环节.文章针对传统功耗优化缺乏通用性的缺点,提出一个基于可重定向编译器的功耗优化框架.该框架通过对编译生成的二进制目标码进行横向再调度来降低指令总线上的高低电位切换次数,从而达到降低系统功耗的目的,并且,基于xpADL的支持,为该框架提供不同的体系结构描述,可以生成针对不同体系结构的功耗优化代码.以IA-64体系结构为例,在其仿真器Ski上作了大量实验,实验表明,对于静态代码,该框架的优化可达25%左右,对于动态代码,该框架可以达到30%以上的优化.因此,该框架的优化是行之有效的,并且具有相当的可扩展性.     

编译器的性能监控、分析和调试方案

介绍了在基于1A64体系结构的高性能优化编译器ORC的性能调试阶段所开发的工具、利用的方法和积累的经验。实验数据部分给出了ORC性能调试阶段的实际情况．证明了文中介绍的工具、经验和方法在找到新的优化机会、快速定位并排除性能下降和保持性能稳步上升等多方面都是行之有效的。     

用户指导的多层混合检查点技术及性能优化*

检查点机制是一种典型有效的软件容错技术。在对现有检查点实现技术综合研究的基础上,设计了一个用户指导的多层混合检查点模型uHybcr,并在IA64 Linux系统中予以实现。最后,通过对比测试对引入用户指导机制所带来的性能优化进行了验证。