霍英东基金(111072)
- 作品数：4 被引量：6H指数：2
- 相关作者：卢凯周旭李旭章婧李根更多>>
- 相关机构：国防科学技术大学更多>>
- 发文基金：霍英东基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 可满足性求解器算法基于GPU的加速研究
- 2011年
- 可满足性求解(SAT)问题被广泛应用于软件验证、理论证明、微处理器验证、模块验证等领域,工业应用实例问题求解变量规模已达到百万数量级,传统的基于CPU的串行和并行SAT求解方法已无法满足如此规模的问题求解。不同于以往的并行SAT研究,利用GPU并行处理的特点和SAT算法的特点,将SAT算法中最耗时的BCP(Boolean Constraint Propagation)过程并行化,设计实现了基于GPU的BCP过程GP_BCP(GPU Paralleled BCP),从而将BCP过程的性能提高了5.4～10.3倍。
- 王鹤卢凯
- 关键词：SATGPU
- FLSP:一个高效的系统级垃圾收集算法被引量：2
- 2010年
- 垃圾收集是Java操作系统的核心功能,它直接影响到整个系统效率。现代Java操作系统中使用的垃圾收集算法普遍还是沿用应用程序级的垃圾收集算法。应用程序级垃圾收集算法的优化主要面向于普通的Java虚拟机。而Ja-va操作系统与Java虚拟机相比有更高的操作权限和更灵活的资源管理策略,如何利用这些特点和权限来提高垃圾收集算法的效率是以前的垃圾收集算法所没有考虑的。本文分析了操作系统下内存管理和垃圾收集的特点,在JUnicorn操作系统上,利用操作系统平台提供的便利,设计并实现了一个高效的系统级垃圾收集算法FLSP。测试数据表明,在操作系统级别,这种垃圾收集算法能够提高13%的系统性能,并且使垃圾收集的停顿时间缩短50%。
- 卢凯周旭迟万庆
- 关键词：垃圾收集JAVA虚拟机
- Jikes RVM动态编译技术分析与性能评测被引量：2
- 2009年
- 随着Java语言的广泛应用,Java虚拟机的性能越来越受到人们重视,而虚拟机的动态编译技术是影响其性能的重要因素。Jikes RVM使用Java语言实现了一个Java虚拟机。首先分析了Jikes RVM的3个主要动态编译器的结构及其涉及的关键编译技术,包括基线编译、优化编译和自适应编译,然后利用SPECjvm Client98对Jikes RVM和Sun JVM的动态编译性能进行了测试和比较。测试结果显示,Jikes RVM的性能和Sun JVM性能基本相同。最后针对Jikes RVM的不足提出了改进Jikes RVM编译器的方法。
- 李旭卢凯李根
- 关键词：RVM优化编译器CLIENT
- Java程序内存行为研究被引量：2
- 2011年
- Java程序内存行为研究是对Java平台存储管理系统进行能耗优化的首要工作.测试了大量典型Java应用程序的内存行为数据,通过对数据的分析发现Java程序的内存分配模式和内存使用轨迹存在明显的规律.最终得出了Java程序内存行为具有阶段性、周期性和平稳性等结论,这些规律对于Java虚拟机优化垃圾收集和Java程序的能耗优化有着重要的指导意义.
- 章婧卢凯周旭
- 关键词：JAVA能耗优化垃圾收集
