您的位置： 专家智库 > >

杨振

作品数：1 被引量：6H指数：1
供职机构：哈尔滨工业大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇多线程
  • 1篇多线程程序
  • 1篇数据竞争
  • 1篇线程

机构

  • 1篇哈尔滨工业大...

作者

  • 1篇苏小红
  • 1篇王甜甜
  • 1篇禹振
  • 1篇杨振

传媒

  • 1篇智能计算机与...

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
多线程程序数据竞争检测和验证方法研究综述!被引量：6
2017年
随着软件规模的日益增长,多线程并发程序带来的缺陷也很快蔓延开来。数据竞争作为多线程并发程序中常见的问题,经常会导致程序不能正常运行,或更为严重地导致程序直接崩溃。数据竞争产生的条件往往都比较隐蔽和苛刻,不仅需要特定的输入,而且还需要特定的线程执行交错。因此,数据竞争很难被检测出来。本文介绍了多线程数据竞争检测和验证相关的研究现状,并对已有的数据竞争检测和验证方法在检测能力以及检测效率等方面做出比较、分析以及归纳。同时,对未来数据竞争检测和验证相关的研究方向进行了展望。
禹振杨振苏小红王甜甜
关键词：多线程
全选 清除 导出
共1页<1>
聚类工具0