多线程机制以其诸多优势在程序开发中被广泛使用,然而随着多线程软件规模的增长,程序中潜存着许多并发缺陷,最常见的并发缺陷是数据竞争和死锁。目前,针对这些并发缺陷的检测手段都无法处理线程时序的不确定性,无法处理运行时环境对线程时序的影响,同时也不能计算这些并发缺陷发生的概率并根据概率生成其处理优先级。针对以上问题,提出了一种基于二型模糊逻辑的多线程数据竞争检测方法。该方法将传统的多线程时序分析和缺陷检测方法作为预处理,考虑程序运行时环境因素对线程时序的影响,利用二型模糊逻辑和隐马尔科夫模型对待检测程序建模,计算待检测程序在某一系统负载下的时序概率,并根据时序概率生成时序缺陷处理优先级列表供软件开发人员参考。
热门知识
线程同步的方法-
话题： 项目管理zaishuiyif
-
话题： 建筑施工yazhoudeng
精华知识
线程同步的方法-
话题： 室内设计yansichang
-
话题： 工程造价liangqichang
-
话题： 造价软件rourou.zhou
最新知识
线程同步的方法-
话题： 项目管理xilaideng01
-
话题： 项目管理lfxingsheng
-
话题： 造价软件zhoujianmy
线程同步的方法相关专题
- 卡箍的量是怎么算出来的
- 卡箍工程量问题
- 卡箍件的计算问题
- 卡箍如何计算
- 卡箍与法兰有何区别
- 卡簧尺寸怎么量
- 卡普隆雨棚做什么检验批
- 卡套接头的选用标准
- 卡箍连接管道
- 卡簧钳的型号是多少
- 基于压电堆驱动器的喷嘴挡板式气体控制阀
- 磷铵技术改造五大磷肥工程的建议
- 以大豆油多元醇制备的硬质聚氨酯泡沫塑料的性能
- 逆变TIG焊机接触引弧电路的设计(引弧电路)
- 应用模糊数学理论对公路工程建设项目方案的综合评价
- 可替代现有隔热保温材料的新型材料
- 以贯穿项目为核心载体的建筑工程技术专业素材库建设
- 多逆变器太阳能光伏并网发电系统的组群控制方法
- 影响萘高效减水剂与普通硅酸盐水泥适应性的关键因素
- 在全县非煤矿山和危化企业安全生产工作会议上的讲话
- 永磁同步电机简介
- 中国工程造价咨询业的发展趋势
- 支持并行工程和智能CAPP的制造资源建模技术
- 中共重庆市委重庆市人民政府关于建设平安重庆的决定
- 智能建筑工程报警与电视监控系统前端设备的安装施工
- 在“建筑节能与居住舒适”专题技术交流会议上的讲话
- 以MSP430FW427为核心的远程数字水表设计