FOXPRO递归程序设计

递归是程序设计中最有力的方法之一,FOX-PRO提供相对于过程调用和返回处理的变量传递过程语句DO〈过程〉[WITH〈实参数表〉],PARAME-TERS,PRIVATE,RETURN〈表达式〉,并且充分利用了局部变量(PRIVATE)语句,即上级程序的内存变量名称暂时隐含,允许本级程序建立同名内存变量,又不影响被隐含变量的值,本级程序调用结束时,原被隐含的上级变量即行恢复,这样内存变量表就是一个动态数据区,实现了FOXPRO递归程序设计,充分发挥了FOXPRO的资源功能,对于某一变量来     

针对递归函数的高级综合编译优化算法

为了消除高级综合中的递归函数调用,提出一种基于函数调用图(FCG)和分支决策的编译优化算法.首先在LLVM编译器架构下给出FCG的中间结构,将递归调用转换为非递归函数的嵌套调用,然后借助决策树的构造规则去除函数体中的分支判断及未调用的子支,最后采用子函数复用、资源预评估的方法控制实现电路的规模.实验结果表明,与内联展开算法RecursionHW相比,采用该算法综合后的逻辑单元数平均减少63％,时钟频率平均提高3.2倍,并且高级综合的总时长随递归深度的增大而呈指数级减少.     

基于LLVM的函数内联优化技术研究

函数内联（Function Inlining）是使用函数体代替函数调用的一种编译优化技术。LLVM中原生的内联模型只根据函数体的大小来判断函数内联与否,而没有考虑函数的调用次数和后续的优化。针对这个问题,提出了基于函数调用次数（NFC）和考虑后续循环合并（BLF）的新内联模型。首先,通过NFC模型对被多次调用的函数进行内联,进而减少更多因函数调用而产生的额外消耗。其次,通过BLF模型能够识别出进行内联后可以进一步进行循环合并优化的函数,为后续循环合并优化提供支持。实验结果表明,提出的函数内联优化技术是可行的,测试程序平均加速比为1.52%。     

基于SUIF的函数内联技术

从基于调用图的函数内联技术、函数参数的映射技术和内联使用的不同策略3个方面讨论基于SUIF系统的内联技术的实现。根据KAP系统需求,提出叶节点的内联算法,以满足并行性分析的需要,降低全内联引起的代码膨胀问题。测试结果表明,该算法能够有效地内联NPB测试集中的一些函数,经函数内联后,加速比最高可提高15．78％。     

程序自动编译系统的研制与实现

开发了一个以Delphi为开发平台用Pascal语言编写的自动编译系统,能对for语句、while语句、repeat语句、if语句、procedure过程、function函数、递归调用、调用外部函数等进行解释执行.本系统针对源程序进行词法分析、语法分析、出错检测,并最终生成自定义的目标代码.后两项功能的实现是本系统的创新所在.     

基于汇编语言的递归算法教学设计探讨

本文根据作者多年的教学和软件开发经验,从递归的定义出发,通过对一个汇编语言递归子程序的剖析,详细分析了递归调用在类推和返回过程中堆栈的变化,从汇编语言的角度讨论了递归的本质和特点,这对学生正确理解和应用递归解决实际问题有很好的参考价值。     

基于图灵机的递归技术的实现陈晓亮[1] 卢朝辉[2] 宋文[1]

图灵机是通用的计算机模型,一般程序设计和以图灵机为机器模型的计算也是支持递归的。本文首先分析了递归的特征,利用多带图灵机作为计算模型,定义了递归技术转移 函数形式,提出了图灵机递归过程信息传递与保存的方法,给出了图灵机调用的实现,继而给出了图灵机递归技术的实现,同时证明了图灵机的调用与图灵机的递归调用是图灵可识别的。     

计算机代数系统REDUCE的过程段的调用问题

本文研完计算机代数系统REDUCE的一个较为复杂的问题——过程段的调用问题。在简单介绍过程段的基础上,本文讨论了REDUCE的“按值调用”问题,提出了越过这种保护实参量的三种方法,最后还指出了用LET语句定义过程段和用PRODUCE DURE定义这两者之间的区别。     

基于Oracle数据库的SOL语句优化

通过分析Oracle数据库执行SQL语句的过程。采用比较SQL语句优化之前和优化之后的执行时间和调用的数据块数量方法来判断优化效果,最后得到消耗时间少和调用数据块少的SQL语句。     

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

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