LS MPP编译系统中间代码的设计与实现

有效中间代码的设计与实现对提高编译系统的可移植性和高效性具有重要的作用。文中在分析LSMPP编译系统所依托硬件环境和语言特征的基础上 ,提出了针对LSMPP语言的中间代码设计和实现方法 。

基于中间表示规则替换的二进制翻译中间代码优化方法

动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题。传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法。将优化重点聚焦在针对特殊指令匹配的中间表示规则替换上,提出了一种基于中间表示规则替换的二进制翻译中间代码优化方法。该方法针对中间代码膨胀所呈现的几种典型情景,描述了中间表示替换规则,并将以往应用在后端代码优化上的寄存器直接映射策略应用在此处。通过建立映射公式,实现了将原来的内存虚拟操作替换为本地寄存器操作,从而降低了中间代码膨胀率。使用SPEC CPU2006测试集进行了实验,验证了此优化方法的正确性和有效性。测试用例在优化前和优化后的执行结果一致,验证了优化方法的正确性;优化后测试用例的中间代码平均缩减率达到32.59%,验证了优化方法的有效性。

语义分析和中间代码产生教学过程研究

本文针对“编译原理”中语义分析和中间代码产生部分的理论教学，从教学手段、教学方法和教学过程等方面进行了有益的探讨和研究。

ECMAScript解释器的中间代码生成技术研究

论文详细介绍了在ECMAScript解释器中,中间代码生成部分的设计和实现方法。同时也简要介绍了解释器的整体结构。

CALL指令中间代码语句的生成

本文介绍在实现SUN4FORTRAN反编译工具软件时，如何实现CALL（调用子程序）指令的中间代码语句；怎样确定其参数和参数个数。

基于源码变更分析的程序中间代码生成技术

当前存在很多针对程序中间代码变更进行的程序增量分析、验证技术。为更有效地在实际中应用这些技术,如何获取程序中间代码的变更信息成为一个关键研究问题。本文主要研究通过提取源码的变更,将源码变更映射至中间代码变更的新的程序中间代码生成技术IRChange。IRChange基于Clang和LLVM中间代码,在源码中添加标记,在程序编译过程中传递变更标记;进一步地,将变更前中间代码与变更标记进行合成,以生成新的中间代码。实验结果表明,本文所获取的带增量信息的中间代码不仅具有较高正确性,且可以用于中间代码的差异分析,为增量程序分析、验证提供便利。

编译中间代码优化的CAI系统

本系统用一种动态的方法演示了编译中间代码优化的三个基础工作的过程:基本块的划分、程序流图的生成和循环的查找(包括必经节点和回边的查找)。为了配合教学工作,系统用面向对象和可视化的手段将代码优化中间过程的信息详细地呈现给用户。本系统使用Delphi 4.0开发,运行于Windows 9X或Windows NT操作系统。

基于中间代码的恶意软件检测技术研究

软件的中间代码是位于机器语言和高级程序语言之间程序语言,具有容易理解的语义信息和控制结构信息,能真实地反映软件在执行过程中的实际情况.利用中间代码的语义信息来研究恶意软件,可以发现恶意软件的具体行为信息或特点;通过多种方式对比中间代码形成的控制流图整体或局部信息,实现恶意软件的检测.机器学习为软件安全性信息或规则挖掘提供便利,成为一种先进的恶意软件检测方法.本文从中间代码的语义信息和控制结构两方面对多种恶意软件检测技术进行归类与比较,同时对基于机器学习的中间代码处理与应用方法进行了深入分析和探讨.

一种用于反编译代码与源代码的比较算法

现有反编译器产生的代码与对应的源代码之间存在差异,找到并理解差异有助于改进并完善反编译器的设计。该文给出一种适用于C语言反编译代码与源代码的比较算法。该算法以语法树匹配方法为基础,定义新的C语言中间代码表示形式并对表达式进行动态匹配,提高了语法树匹配的准确性。实验结果表明,该算法能有效计算出反编译代码与源代码之间的多数差异。

基于XML的数控仿真系统的NC代码解析

在直接通过NC代码来驱动仿真加工过程的数控仿真系统中,NC代码的解析处于系统的核心地位。然而各种NC代码之间的差异给系统的通用造成巨大的困难,系统各个模块的工作严格依赖于特定的NC代码格式,也使得系统难以扩展与变更。采用XML文档来作为用户提交的NC代码与系统之间的中间代码,很好地解决了以上问题,并获得了良好的应用效果,同时,对实现基于网络服务的数控仿真服务提供了可行性方案。

可编程保护测控功能通用性设计与实现

介绍了保护测控装置中可编程保护测控功能的概念、应用场景及实现要求,提出适用于不同软硬件平台的可编程功能通用化设计方案.在分析可编程功能与保护测控装置标准或通用功能之间的数据接口及其描述方法的基础上阐述了编程语言的设计以及用户程序转换为中间代码和目标代码的实现方法,讨论了装置虚拟机通过构造逻辑堆栈高效地执行用户程序的过程,并提出了配套图形化编程工具软件的实现思路.该方案为保护测控装置提供了灵活的通用化二次可编程接口.

嵌入式组态软件脚本解释虚拟机的设计

为了增强嵌入式组态软件的功能,引入一种类似于C语言的脚本。设计一个编译器把该脚本编译成中间代码,采用中间代码的优点是可提高程序运行的速度,也减小了脚本解释程序的设计难度。提出一种仿微处理器结构的脚本虚拟机设计方案,在运行时对中间代码进行解释。虚拟机主要由程序存储器、指令译码器、运算器、程序计数器、控制器以及动态容器组成,其中动态容器的设计是关键,它具有可动态分配内存、自动释放内存等优点,适合于嵌入式操作系统下运行。实验与测试结果表明,该脚本解释虚拟机可满足嵌入式组态软件设计的要求。

一种面向列车监控系统的新型组态语言的研发

为了满足监控组态软件对编程接口不断增长的新需求,借鉴本学院开发的YSS电力系统中的C2000组态监控语言,设计了面向列车监控组态系统的C3000组态监控语言;C3000使用了面向对象编译技术、虚拟机技术和优先级中间代码导入内存算法;相对于C2000语言,C3000语言对中间代码、中间代码导入内存算法和异常处理机制进行了替换和改进,根据实验结果,执行效率、稳定性和可扩展性明显提高。

一种面向CoSy编译框架的编译优化开发方法

鉴于编译器在系统开发中日趋重要的地位和CoSy在编译器开发中的良好应用前景,文中引入并介绍了基于CoSy的编译器开发的整体流程,并且指出了开发过程中遇到的重点问题和难点问题。文章对编译器开发的主要工作和内容进行介绍,对编译过程进行详细分析,其中对编译器中间代码的优化进行了详细讲解,对窥孔优化思想做了详细介绍。最后,在文章末尾引入具体的开发实例并且结合窥孔优化思想进行具体分析,从而更好地体现基于CoSy的编译器开发方法的优势。

一种基于反汇编基础上的C反编译的新方法

反编译中,一般采用先将可执行代码转换成汇编语言(即反汇编)作为中间代码,再从中间代码转换到C语言或其他高级语言。现提出一种在反汇编基础上的新的C反编译方法,通过用读取源文件数据区的数据,写入新文件的数据区,以内联汇编的方法直接读取新文件的数据区的全局变量,而不用分析和定义源文件的全局变量类型。该方法在效率上比传统方法有很大提高。

编译器前端自动构造的研究与实现

编译器是高级语言的工作基础,它本身是一种复杂的程序。文中研究并实现了编译器前端的自动构造技术,能大大提高编译类软件的开发效率。重点讨论了如何合理设置接口,以便综合运用词法、语法分析器的自动构造工具LEX和YACC。提出了预置三级错误陷阱来分别俘获源程序词法、语法、语义错误的思想,能减少错误级联,并能更准确地报告错误的性质。作者已应用该技术编写出一个面向C语言的并行语言编译器前端,验证了该技术是可行的和高效的。

基于嵌入式硬件平台的软PLC设计与研究

在嵌入式硬件平台上的基础上,用软件实现传统PLC的功能,从整体上设计了符合IEC61131标准的嵌入式软PLC系统.设计由开发系统和运行系统两大部分组成,其中,开发系统实现梯形图的编辑和编译,运行系统实现软PLC虚拟机的控制功能.介绍了各个模块的实现方法,经实验证明满足控制要求.

基于数据流分析的表达式优化

本文通过对编译程序生成的中间代码或目标代码进行数据流分析后 ,建立数据流方程并使用适合的算法求出方程的解 ,通过所求出的解对代码进行优化。

GKD-Base PL/SQL存储函数实现的关键技术研究

介绍具有自主知识产权的某安全数据库管理系统GKD-Base的PL/SQL引擎,基于该引擎研究GKD-Base存储函数机制实现的关键技术。设计了函数管理器和执行状态堆栈,通过语法树表示存储函数编译后生成的中间代码,并解决了中间代码的执行问题。最后实现了IN、OUT、INOUT三种参数模式函数的参数传递机制。

一种基于Web Service的异构分布式计算模型

提出了一种基于Web Service的异构分布式计算模型,希望通过利用Web Service这一新技术给异构分布式计算带来一种新思路。通过应用这种模型,能够使用网络中的资源而不必关心网络环境。我们确信因为这种模型带来的一些特点,必将使其日后得到广泛的应用。