金星
- 作品数：4 被引量：19H指数：2
- 供职机构：北京神舟航天软件技术有限公司更多>>
- 发文基金：航天支撑技术基金国防科技技术预先研究基金航天科技创新基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于锁集合算法的增强型数据竞争检测方法被引量：3
- 2009年
- 针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率.
- 富浩蔡铭董金祥金星龚宜
- 关键词：数据竞争
- 目标码流图和结构覆盖率获取方法被引量：1
- 2010年
- 为了有效进行目标码分析与验证,提出了通过扩展CPU模块获取目标码控制流图及结构覆盖率的方法。采用CPU分支指令功能扩展,并新增动态地址跳转记录单元,实现目标码控制流信息的有效采集,结合目标码流图构造算法,完成结构覆盖率计算。分析结果表明,该方法不依赖于开发工具链信息和无需代码插桩,对CPU运行性能影响小且目标码流图构造算法为线性复杂度。
- 文勇蔡铭陈刚杨子江金星
- 关键词：控制流图
- 异种数据库复制方法
- 本发明公开了一种异种数据库复制方法，涉及原数据库及待复制数据库，包括步骤：建立异种数据库系统通用接口驱动，所述异种数据库系统通用接口驱动包括原数据库数据库系统通用接口驱动和待复制数据库数据库系统通用接口驱动；判断对原数据...
- 何清法陈刚金星程胜降志勇
- 文献传递
- 资源受限下多项目管理软件模型中任务的调度被引量：15
- 2001年
- 首先分析了现有的项目管理软件以及项目管理研究中存在的一系列问题，然后给出了资源限制下多项目任务调度的数学描述，接着利用面向对象的方法，定义了任务对象、资源对象和调度对象；在调度对象中，给出用户可自定义的多启发式的调度算法。
- 金星陈刚董金祥
- 关键词：面向对象项目管理软件任务调度
