学位论文 > 优秀研究生学位论文题录展示

保证Java精确异常的指令调度技术

作　者: 张垚
导　师: 朱传琪
学　校: 复旦大学
专　业: 计算机软件与理论
关键词: Java 精确异常指令调度编译优化
分类号: TP312.2
类　型: 硕士论文
年　份: 2008年
下　载: 48次
引　用: 0次
阅　读: 论文下载

内容摘要

Java作为一种通用编成语言如今已在诸多领域得到了普遍的发展与应用,然而Java程序较低的执行效率却阻碍了其在诸多领域的进一步发展。随着Java即时编译技术与自适应动态编译技术的日趋成熟,造成Java性能瓶颈问题的一个主要原因是Java语言规范定义的精确异常模型和程序中频繁出现的异常检测严重限制和阻碍了诸多指令调度算法在Java本地代码编译中的应用。Java精确异常模型为程序引入了额外的精确异常相关依赖。为保证这些依赖关系不被破坏,指令调度通常只能在程序中不存在异常检测的区域发挥比较好的作用,然而异常检测在程序中的频繁出现使得对这些区域进行指令调度优化所起到的性能提升效果非常不明显;在存在异常检测的区域,很多被证明行之有效的指令调度方法由于精确异常相关依赖的存在和严格限制或是无法起到显著的效果、或是根本无法被应用,从而大大降低了Java程序代码的指令级并行度,严重阻碍了程序性能的提升。为完全化解指令调度与Java精确异常模型之间的矛盾,本文提出了一种全新的保证Java精确异常的指令调度技术。该方法允许编译器在进行指令调度的同时完全忽略Java精确异常模型的存在并打破其引入的相关依赖关系,由此使指令调度算法能够以最为有效的方式优化程序代码并充分发掘代码的指令级并行度,同时方法通过一定的机制保证当程序运行期抛出异常时,Java精确异常模型不会被之前所应用的指令调度破坏。与现有的研究工作相比,本文提出的方法具有以下优势:①通用性,即方法对Java程序中出现的异常检测普遍适用、对现有的指令调度算法普遍适用;②高效性,即在保证Java精确异常的前提下,方法可以使指令调度的效果在整个程序区域得到最大的发挥,而不仅限于不存在异常检测的区域,从而更加有效地提升程序的整体性能。实验结果显示本文提出的方法使基准程序达到了平均超过50%的净加速,从而证明了方法的可行性和有效性。

全文目录

目录  3-5
摘要  5-6
Abstract  6-7
第1章引言  7-11
第2章背景介绍  11-25
  2.1 指令调度  11-17
    2.1.1 体系结构并行性  11-13
    2.1.2 指令调度的主要方法  13-17
      2.1.2.1 局部调度  14
      2.1.2.2 全局调度  14-16
      2.1.2.3 指令调度中的变换  16-17
  2.2 Java动态编译技术  17-20
  2.3 Java异常和异常处理  20-25
    2.3.1 Java异常分类  21-22
    2.3.2 Java异常处理  22-25
第3章 Java精确异常与指令调度的矛盾  25-35
  3.1 Java动态编译中的异常检测与抛出  25-28
  3.2 Java精确异常模型  28-30
  3.3 精确异常相关依赖  30-32
  3.4 精确异常与指令调度的矛盾  32-35
第4章 Java精确异常与指令调度的统一  35-45
  4.1 基本定义与转换  35-37
  4.2 指令调度与程序可见状态的统一  37-41
    4.2.1 顺控制流调度的处理  37-39
    4.2.2 逆控制流调度的处理  39-41
  4.3 指令调度与异常抛出顺序的统一  41-43
    4.3.1 顺控制流调度的处理  41-42
    4.3.2 逆控制流调度的处理  42-43
  4.4 指令调度与算法的集成  43-45
第5章实验结果与分析  45-49
  5.1 实验平台  45-46
  5.2 基准程序  46-47
  5.3 实验结果  47-48
  5.4 数据分析  48-49
第6章结束语  49-50
参考文献  50-52
致谢  52-53

保证Java精确异常的指令调度技术

内容摘要

全文目录

相似论文