李健
- 作品数：4 被引量：0H指数：0
- 供职机构：复旦大学软件学院并行处理研究所更多>>
- 发文基金：国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- Java程序的对象单赋值分析
- 2012年
- 数据竞争检测、确定性回放等方法被广泛应用于解决多线程程序中由内存访问顺序不确定性引发的数据竞争及死锁等问题.但是,由于上述方法需要监测程序内存访问,所以通常带来很大的运行开销.实验表明,在多线程程序中存在着大量只被赋值一次的对象,去除这类对象内存访问的监测操作不会影响上述方法的正确性,且能有效减少系统的运行开销.在此基础上,本文形式化定义了单赋值对象,并提出了一个静态对象单赋值分析算法,将这一算法的分析结果应用到多种成熟的数据竞争检测、确定性回放系统中.测试数据表明使用对象单赋值分析可以有效减少数据竞争检测、确定性回放等系统的运行开销,从而扩展系统应用场景.
- 李健杨哲慜杨珉
- WHIRL SSA：一种基于高级中间表示的优化结构
- 中间表示对编译器的性能、效率和可扩展性都起着决定性作用。Open64编译器采用一种树型结构的中间表示WHIRL，能表示各种高级控制流结构，但不能显式的提供数据流信息。本文基于WHIRL对SSA(Static Single...
- 杨克峤李健
- Java程序的对象单赋值分析
- 随着对多核技术的深入研究与多核体系结构的广泛应用,多线程程序的开发与维护问题越来越引起人们的重视。其中,多线程程序运行时对内存访问顺序的不确定性常为程序带来数据竞争、死锁等问题。由于上述程序错误发生的不确定性,以及程序出...
- 李健
- 文献传递
- WHIRL SSA:一种基于高级中间表示的优化结构
- 2012年
- 中间表示对编译器的性能、效率和可扩展性都起着决定性作用.Open64编译器采用一种树型结构的中间表示WHIRL,能表示各种高级控制流结构,但不能显式的提供数据流信息.本文基于WHIRL对SSA(Static Single Assignment)进行扩展,提出了一个新的优化结构WHIRL SSA.WHIRL SSA通过将SSA信息标注在WHIRL节点上,显式的为数据流分析提供使用-定义(UD)信息.相比于传统的数据流信息构建方法,WHIRL SSA提供了更精确、有效的数据流信息.本文讨论了WHIRL SSA的设计与实现和基于WHIRL SSA的优化.
- 杨克峤李健胡益斌许铝才
- 关键词：SSA
