您的位置: 专家智库 > >

王云飞

作品数:1 被引量:1H指数:1
供职机构:中国科学院软件研究所更多>>
发文基金:中国科学院知识创新工程国家科技重大专项更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇动态优化
  • 1篇原子性

机构

  • 1篇中国科学院软...

作者

  • 1篇刘剑
  • 1篇王云飞
  • 1篇马越

传媒

  • 1篇计算机应用与...

年份

  • 1篇2014
1 条 记 录,以下是 1-1
排序方式:
基于锁信息的多线程软件原子性错误检测方法被引量:1
2014年
原子性错误是多线程软件开发中常见的并发错误之一。传统的静态分析方法存在误报的可能,动态方法由于利用的信息过少而存在运行效率低下的问题。针对以上问题,设计以动态方法为基础通过计算锁信息,根据锁信息判断是否可能发生原子性错误的方法,据此减少程序的回溯次数和运行时间。通过对一系列开源程序的测试,实验数据证明此方法可以大大提高原子性错误检测的效率。
王云飞刘剑马越
关键词:动态优化
共1页<1>
聚类工具0