【基於线程的Java程序自动并行化技术】刘英.pdf

论文提要本文以Java程序为对象,以线程机制做基础,研究了顺序程序到并行化程序的转换技术。文中详细地介绍了转换系统所涉及的内容,如:用线程机制实现并行化,并行化分析,符号执行,可交换性操作检测技术等。此外,还给出了部分实现技术,包括:系统环境的建立,别名分析,可交换操作的检测和内部树到线程化程序的转换.本论文的重点在于对转换系统技术的分析,从对程序的并行化分析到程序转换所涉及的各个方面都进行较为详细的介绍。但由于实现上的复杂度,论文只对系统作了部分实现。

第六章可交换操作检测技术 6 问题的提出6 操作 6 可交换性操作的概念 6 基于数据相关的可交换性分析6 基于符号执行的可交换性分析6 可交换操作在并行化中的应用 6 应用实例第七章系统实现技术 7 系统功能概述 7 系统总体结构 7 系统环境的建立7 别名分析的实现 7 符号执行的实现7 可交换操作的检测7 程序变换的实现及策略7 小结

前言 1研究现状随着Java语言的不断普及,并考虑到Java语言本身的特点,目前,国内外的一些并行化专家们已把注意力转移到了Java语言的并行化研究上.在国内,南京大学、清华大学、中科院智能计算机研究开发中心等一些研究机构,就从语言、虚拟并行机或硬件等不同的方面2,在进行相关的工作,取得了一定成果.在国外,有关Java语言并行化和分布化的工作主要集中在以下两个方面:1 对Java语言进行并行化方面的扩充。有代表性的工作又分为两类.用于从扩充的Java语言产生Java并行程序的工具。