动态二进制翻译中的中间表示

在二进制翻译中采用中间表示,可以适当隔离不同机器平台的特点,便于二进制翻译系统的移植。提出一种VINST中间表示方法,介绍其指令集与特点,运用SSA形式化和冗余指令删除等方法对VINST进行初步优化。优化前后的性能比较结果表明,相对简单高效的方法可以弥补优化的开销,提高系统性能。     

元数据展开的动态二进制翻译寄存器化优化

动态二进制翻译技术可以使编译好的二进制代码无缝运行于其他架构下,目前得到越来越广泛的应用.由于在动态翻译执行的过程中缺少程序的原始语义信息而只能采用保守的策略来保证程序的正确性,从而制约到动态二进制翻译的性能.为了解决这种不足,本文提出一种基于静态编译阶段产生的对性能有影响的元数据进行动态翻译中的寄存器化优化算法,进而来提高动态翻译器的整体性能.实验数据表明优化方法对于SPECfp2000和SPECint2000测试集分别获得了15.03%和1.21%的性能提升,其中的一些测试包的加速比甚至达到了37.09%.     

基于龙芯处理器的二进制翻译器优化

二进制翻译是实现系统迁移的主要方法,但基于通用平台的仅靠软件实现的二进制翻译性能不高。该文以龙芯2F处理器为实现平台,提出一种QEMU二进制翻译器并进行优化,其中包括编译环境的优化以及二进制翻译器本身的优化2个方面,对后者的优化主要涉及寄存器直接映射和多媒体指令的改进。实验结果表明,通过寄存器映射优化后,系统能够获得1．45的加速比,通过多媒体优化后,多媒体程序的执行能达到本地机器执行的80％的性能。     

面向国产平台的二进制翻译库函数替换优化处理机制

在二进制翻译中,库函数本地化处理是指不直接翻译源文件中的库函数而是使用本地目标机的库函数进行替换,以此提高翻译性能。针对国产平台二进制翻译中库函数处理翻译模式的相关特性,提出一种库函数解析处理机制,借助helper函数实现库函数替换操作。通过修改基本块划分规则,将库函数替换部分翻译的基本块进行合并,构建超级块,减少源程序中基本块划分数量与程序执行跳转次数,在保证翻译正确性基础上有效提高翻译效率。在动态二进制翻译器QEMU上进行的实验结果表明,与未优化的库函数处理翻译方式相比,翻译后程序加速比平均提升9%,有效提高了翻译效率。     

Verilog到VHDL翻译器的设计与实现

描述了一个Verilog到VHDL翻译器Verilog2VHDL的设计与实现。首先将Verilog模块转换为中间格式,然后按照预定义的翻译规则,生成功能等价的VHDL设计实体。该翻译器目前只支持Verilog的一个子集。通过Verilog2VHDL,使得在Verilog-VHDL混合设计环境中重用Verilog设计成为可能。     

硬件描述语言翻译器的研制

本文介绍了硬件描述语言NCH的概貌和特点,并论述了相应的翻译器NITTR的实现过程和有关的优化策略。     

一个基于面向对象模型的并行翻译器

本文介绍了一个面向对象范式和大粒度流模型结合的ＯＯＤＡ模型和基于此模型的一个并行翻译器。ＯＯＤＡ模型支持对象之间和象内部的并行性开发，支持面向对象范式。     

硬件描述语言到C语言的翻译

本文介绍了一种用于ＶＬＳＩ设计仿真中的硬件描述语言到Ｃ语言的转换实例，其设计思想及实现办法适合于各行各业在处理相应问题时所采用的某种描述语言编译器的研制，无论从理论上还是实际问题处理，都证明该方法是行之有效，可移植的方法。     

一个从关系数据模型到XML文档的翻译器设计

XML技术与关系数据模型的关系非常密切,将关系数据库中的数据转换为XML文档格式有着重要的现实意义,本文介绍了利用OmniMark语言开发一个从关系数据模型到XML文档翻译器的方法,重点分析了关系模式、DTD与XMLSchemas,跨平台无关性,SGML语法检查等关键技术。     

一种基于Re-Engineering的自动翻译方法研究

分析了结合Re Engineering技术的翻译器Bogart的工作原理，并与传统翻译器进行了比较，同时对源程序的存储方法提出了改进，采用了新的支持程序语言定义的语言处理系统。测试结果表明，该方法能够提高自动翻译的效率。     

WindwosNT环境下地址翻译器（NAT）的设计与实现

地址翻译是一项重要的安全技术，介绍了地址翻译的原理及其在网络防火墙中的应用，同时提出了在WindwosNT下实现一个地址翻译器（NAT）的方法。     

Uppaal到PVS的时间自动机翻译器

Uppaal是一种对实时系统模型进行建模和验证的工具,PVS（Prototype Verification System）是开发和分析形式化规格说明的原型证明系统。介绍了Uppaal2PVS翻译器的设计与实现,给出了一种将用Uppaal生成的时间自动机规格说明翻译成PVS文件的方法,从而将模型检查问题转换成了定理证明问题,解决了潜在的状态空间爆炸问题。最后给出了一个实例。     

Verilog到Java翻译器VtoJ的设计与实现

提出了一种将硬件描述语言Verilog转换到Java代码的设计方法,给出一组从Verilog到Java的转换规则。通过设计一个VtoJ翻译器完成自动转换功能,实现软硬件系统的协同仿真。     

IP网络地址翻译器

文中介绍一种私有网络与Ｉｎｔｅｒｎｅｔ互连的简单方式－ＮＡＴ。私有网络在组建时，可以使用ＩＡＮＡ为其保留的３个私有地址块来为自己网络的主机分配ＩＰ地直，以后若要与外部网络连接。     

Verilog到Java在线翻译器Verilog2Java的设计与实现

为实现Verilog语言的跨平台操作,完成软硬件之间的协同设计验证,提出了在线翻译器Verilog2Java的设计思路。通过对Verilog和Java语言的比较,首先设计出一组从Verilog到Java的翻译规则,然后采用B/S结构,将已定义的规则加载到配置好的Eclipse工作环境下,再到数据库中执行相应的查询操作,最终生成功能等价的Java目标代码。结果表明:该翻译器经多次实例验证,可完成预期的设计功能。     

KRL到Java翻译器KtoJ的设计与实现

提出了一种将农业知识表示语言KRL(Knowledge Representation Language of Agriculture)转换到Java代码的设计方法,给出了一组从KRL到Java的转换规则。通过设计一个KtoJ翻译器完成自动转换功能,使得KRL表示的知识库能够跨平台,并具有一定的软件重用和面向对象特性,其中有些研究观点和结论适用于相关程序语言转化的工作,并对面向对象语言转换问题有所启示。     

一种PL/M语言到C语言自动翻译器的设计与实现

各种程序设计语言的相互翻译技术是一项非常有意义的研究工作。探讨了将在嵌入式系统中广泛使用的PL/M语言翻译成应用更加广泛的C语言的基本实现技术与设计方法,并给出了一个自动翻译器的具体实现。