[基于线程的Java程序自动并行化技术]刘英

【基於线程的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并行程序的工具。
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。