李泉龙
- 作品数：3 被引量：0H指数：0
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 并行编程模型的确定性的证明方法及其应用
- 如何开发并行程序并保证其正确性是一个研究热点。由于线程交错执行次序的不确定性，测试、调试工作不易覆盖所有执行情况、不易再现出错的执行，于是即使进行大量的测试、调试工作也不能完全保证程序是正确的。确定性并行技术保证程序在相...
- 李泉龙
- 关键词：并行编程模型
- 文献传递
- 并行编程模型的确定性的证明方法及其应用
- 2014年
- 文章研究并行编程模型的确定性与其证明方法。论文介绍了确定性并行的构成因素,并给出较统一的认识;基于这些认识,提出一种从一组操作语义中归纳而得的性质证得确定性的证明方法;以一个使用共享消息通道的确定性并行编程模型为例,形式化该编程模型并证明其确定性。本文弥补了对确定性已有认识的不足,能更完善地指导测试与调试,且证明方法有一定的适用性。
- 李泉龙张昱
- 关键词：形式化验证
- 编译时对象回收中的Java库分析研究
- 2012年
- 在编译辅助的垃圾收集系统中,由于方法的动态绑定等特性,编译时的分析算法保守处理虚方法调用,从而难以识别并显式回收在虚方法调用期间变为不活跃的对象.提出一种改进Java库方法调用的生命期分析策略:它以指向逃逸图为基础来抽象描述库方法对堆中对象活跃状态的改变模式,并将堆变化模式应用到Java程序的对象生命期分析中,从而增强现有对象回收技术对库调用分析的精确性.通过将本文方法应用到Jolden测试程序集中对String相关类的库调用的分析,结果表明新方法以平均增加12%的编译时间开销将显式回收对象的大小提升了33%-37%.
- 彭文张昱李泉龙
