利用Java字节码文件中的属性,本文提出了一种用于Java程序优化的方法。该方法利用前置改良同步逃逸分析算法,将待优化Java程序中冗余同步操作对象找出,然后将这些信息通过标签形式附加在框架中间语句表示上,接着将得到的优化的信息转化到字节码文件属性(Attribute)中,最后通过改进的Jasmin汇编器生成用于执行的字节码。本文算法以Soot为基础完成实现；Soot是一种支持和转换Java字节码的框架。完成以下工作：(1)提出改良的逃逸分析算法。以指针分析(points-to)为基础,针对过程间静态字段、线程对象以及线程字段逃逸分析操作,将其上具体分析操作放在同一单while循环体内,从而有效降低分析算法功耗。利用已有的逃逸分析准则和逃逸状态结合准则,进行相应迭代操作,将整个Java应用程序线程局部对象标注出来,通过标签操作将信息标注到字节码属性上,最终该程序在执行的时候虚拟机会依据字节码上的属性信息,做出相应的优化,删除多余的同步操作。(2)利用Soot框架实现上述提出的算法。本文算法的最终是基于开源的Soot框架来实现的。利用Soot内置的points-to分析框架——Soot Pointer Analysis Research Kit (SPARK),进行必要的指针图分析；在此基础上,通过本文扩展Soot工具的流分析框架,实现该逃逸分析算法。具体实现最主要的地方是加入了前人研究中忽视的循环流中不必要同步操作的删除判断,同时扩展利用Soot中的注解框架(annotation framework),结合Java类文件属性来优化Java程序,将程序分析后得到的优化信息设计成标签加注到相关字节码上,在虚拟机执行的时候可以依据这些标记信息,实现运行时程序的同步优化。