基于二型模糊逻辑的多线程数据竞争检测方法研究
100 积分
50
评分
4.6 积分- 详情
- 2021-04-27
- 简介
pdf
- 1.3MB
- 页数 9P
- 阅读 80
- 下载 29
多线程机制以其诸多优势在程序开发中被广泛使用,然而随着多线程软件规模的增长,程序中潜存着许多并发缺陷,最常见的并发缺陷是数据竞争和死锁。目前,针对这些并发缺陷的检测手段都无法处理线程时序的不确定性,无法处理运行时环境对线程时序的影响,同时也不能计算这些并发缺陷发生的概率并根据概率生成其处理优先级。针对以上问题,提出了一种基于二型模糊逻辑的多线程数据竞争检测方法。该方法将传统的多线程时序分析和缺陷检测方法作为预处理,考虑程序运行时环境因素对线程时序的影响,利用二型模糊逻辑和隐马尔科夫模型对待检测程序建模,计算待检测程序在某一系统负载下的时序概率,并根据时序概率生成时序缺陷处理优先级列表供软件开发人员参考。
对不起，您暂无在线预览权限，如需浏览请
立即登录热门商品
相关推荐
基于二型模糊逻辑的多线程数据竞争检测方法研究 1.3MB
一种多线程软件并发漏洞检测方法 317KB
基于模糊逻辑的高速公路事件检测算法研究 1.1MB
一种基于多线程的宽带跳频物理层DSP设计实现方法 154KB
基于无线以太网的多线程数据采集系统设计 60KB
基于多线程的网络隔离系统代理模块设计 536KB
基于VIZARD和KBENGINE的多线程虚拟消防演习系统 85KB
基于模糊逻辑诊断技术的汽车空调系统故障诊断方法研究 144KB
基于模糊逻辑诊断技术的汽车空调系统故障诊断方法研究 335KB
湿能空调测控软件的多线程设计 1.3MB