基于静态指令翻译技术的保护测试单元

现代微处理器中最为重要的一种工作模式为保护模式。对于复杂的保护模式,如果用硬件状态机实现需要花费较大的硬件代价;如果用软件实现则花费的周期数目较多。论文提出了一种采用静态指令翻译技术的保护测试单元来实现保护测试。由于保护测试单元提取了保护测试的共性,可以在一条保护测试指令中完成一次保护测试,因而可以在硬件增加不多的情况下高效率地实现保护测试。文中最后设计了一种保护测试指令的格式和保护测试单元的数据通路,并列举了一段保护测试程序说明了静态指令翻译的使用方法。

静态二进制翻译中动态地址解析恢复技术研究

静态二进制翻译的入口点通常为main函数,所以main函数执行之前的动态地址解析部分就无法在目标机上恢复。通过分析基于ELF文件的动态地址解析机制,提出了在目标代码中插入代码模拟动态地址解析的方法来解决该问题。该方法已在静态二进制翻译项目中实现,测试结果表明该方法是有效的。

静态二进制翻译中间接过程调用恢复技术研究

间接过程调用的恢复问题是静态二进制翻译中的难点之一。针对使用c后端的静态二进制翻译框架,提出并实现间接过程调用恢复方法,该方法结合代码间隙分析,在后端c代码生成过程中插入映射源过程地址到目标机过程地址的代码。相对于使用解释器的方法,该方法具有实现简洁、在目标机上运行速度更快的优点。

静态二进制翻译中回调函数逆向恢复技术研究

回调函数的逆向恢复是静态二进制翻译的一个难点。针对使用C后端的静态二进制翻译框架,提出并实现回调函数逆向恢复方法,该方法结合代码间隙分析,在后端C代码生成过程中插入映射源回调函数地址到目标机函数地址的代码。相对于使用解释器的方法,该方法具有实现简洁,在目标机上运行速度更快的优点。

一种高效解决间接转移的反馈式静态二进制翻译方法

为了在追求程序执行效率的同时解决静态二进制翻译中的间接转移问题,针对现有间接转移问题处理方法中线性遍历翻译方式代码优化较少、冗余代码较多的缺陷,提出了基于基本块翻译的反馈式静态二进制翻译方法,并结合二级地址映射表实现了间接转移目标地址的快速映射.首先,在目标可执行程序运行过程中添加监控反馈机制解决代码发现问题,对未确定的间接转移地址进行反馈,以便对源程序重新划分基本块并重新翻译执行;然后构造二级地址映射表,借助二级地址映射快速解决代码定位问题.在开源二进制翻译平台QEMU(quick emulator)上实现了反馈式静态二进制翻译框架FD-SQEMU(feedback static QEMU),并基于SPEC2006和NBENCH测试集进行测试,与QEMU相比,FD-SQEMU平均加速比分别达到3.97倍和6.94倍;与课题组之前提出的保存源程序指令全地址的静态SQEMU翻译器相比,FD-SQEMU的平均加速比达到1.18倍,最高加速比达到了1.36倍,验证了提出的框架和方法的有效性.

静态对等翻译视角下的劳动合同汉英翻译实践

法律文本的特点和功能目的决定了其适用于静态对等翻译。对劳动合同文本特点进行分析后,运用静态对等翻译来指导劳动合同的翻译实践,特别实例论证了劳动合同句式中的并列关系和主从关系的静态对等翻译以及劳动合同中具有文化差异的词汇的静态对等翻译。

利用科技翻译培养学生的动态翻译意识

高校翻译课选用文本时往往忽视科技文章。本文尝试从认知的特点和动态翻译意识的培养角度,分析科技文本在翻译教学中的作用,说明科技翻译对于培养学生良好的翻译习惯有着独特优势。

培养学生的动态翻译思想——以法译汉笔译为例

翻译在外语教学中占有重要地位,围绕如何改进翻译教学方法、更新翻译教材、丰富教学手段和提高学生语言水平等问题,翻译界已经进行了很多深入探讨。然而,教学中动态翻译思想的培养也不容忽视。本文通过对比静态翻译思想与动态翻译思想尝试从笔译教学角度阐述培养学生动态翻译思想的重要性。

过程恢复技术在IA64二进制翻译中的应用与实现

论文介绍了静态二进制翻译中的过程恢复技术。根据IA64体系结构特点及其对过程调用的有关约定,实现了对IA64过程的恢复;并在对大量实例进行研究的基础上,提出了一种浮点参数恢复的改进方法。

二进制翻译中间接调用动态链接库恢复技术

针对使用C后端的静态二进制翻译框架,提出了间接调用动态链接库函数恢复方法。该方法使用伪地址来代替需要动态解析的动态链接库函数的地址,在后端构建了伪地址与目标机上动态链接库函数地址的对应表,在后端C代码生成过程中插入根据伪地址获得动态链接库函数地址的查表代码,使用查表得到的库函数地址恢复对于动态链接库函数的间接调用。

二进制翻译中动静结合的寄存器分配优化方法

针对二进制翻译器QEMU(quick emulator)在寄存器映射时未考虑基本块之间以及循环体之间对寄存器需求的差异,造成不必要的寄存器溢出而导致的冗余访存开销问题,引入全局寄存器静态映射和局部寄存器动态分配思想,提出高效的基于优先级的动静结合寄存器映射优化算法.该算法首先基于源平台不同寄存器使用的统计特征和各变量的生命周期,静态进行全局寄存器映射;然后依据中间表示与源平台寄存器之间的映射关系,获取基本块中间指令需求寄存器次数并排序确定寄存器分配的优先级;之后依据优先级顺序动态进行寄存器分配,从而减少寄存器溢出次数,降低生成的本地代码的膨胀率以及访存次数,提高目标程序性能.对NBENCH、典型的递归程序和SPEC2006的测试表明:该算法有效地减少了本地代码的访存次数,提高了程序性能,平均比优化前性能分别提升了8.67%, 8.25%, 8.10%.

对等翻译理论及其对法律文本的适用性研究

文本类型决定翻译理论的选择,不同的翻译理论适用于不同的文本类型。通过分析文本类型,阐释对等翻译理论,论述形式对等、动态对等和动能对等不适用于法律文本的翻译,进而指出静态对等翻译对于法律文本翻译的适用性。

静态对等视角下法律条文的英译问题探析——基于《中华人民共和国外商投资法》三个译本的对比研究

本文采用静态对等的翻译策略,以《中华人民共和国外商投资法》的三个译本为研究对象,探讨法律条文中的术语和常用句型的英译,并在此基础上提出提高我国法律条文英译质量的建议。本文认为,静态对等的翻译策略对法律翻译,尤其是法律条文的英译具有重要指导意义。

网络地址转换功能论述

基于NAT功能的概述,介绍了用于配置、监控和管理NAT策略的任务。通过NAT,用户可以使用私有IP地址从内部私有网络连接到Intemet上。NAT将私有IP地址转换为公网IP地址。