多线程程序时序分析的隐Markov模型

来源 :软件学报 | 被引量 : 0次 | 上传用户:kanoabin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对多线程程序数据竞争分析与检测困难的问题,提出一种基于隐Markov模型的多线程程序时序分析方法.用随机变量不确定性刻画不同线程之间时序上的交互关系,分析数据竞争条件下程序不确定结果的概率分布情况;建立多线程程序时序分析的隐Markov模型,使用Baum—welch和前向算法仿真上下文对程序实际运行状态的影响.实验结果表明,该模型能够快速有效反映多线程执行时序,用于指导多线程程序时序竞争检测过程.
其他文献
利用积分变换,得到了平面波的角谱,给出了衍射问题的一般计算方法,并通过实例作了说明。
随着我国金融体制改革的加快以及金融市场的建立与发展,日益开放的国民经济中金融资本的集中趋势明显,也必然伴有不可忽视的金融风险。本文探讨了中国金融风险防范的若干问题,提
1 让每个公民享受应有的治疗权目前.我国卫生资源配置结构不合理.卫生资源总量80%左右配置在城市.因集中在大城市的大医院。先进的医疗仪器设备和技术及高级卫生技术人员集中在经
跨国并购是当前国际直接投资的重要形式,也是我国利用外资改组改造国有企业的主要方式.从我国外资并购现状入手,分析了外资并购国有企业主要形式及并购中存在的主要问题,剖析
现在的学校教育还是比较注重知识的传授而缺失对学生智慧的启迪。图书馆作为学校课堂教学的延伸和补充,是内涵丰富、知识多样的第二课堂。图书馆拥有丰富的书刊、杂志、硬软件
目的了解上海市成人社区获得性肺炎住院患者痰培养和血培养致病菌分布及其耐药情况,为治疗提供依据。方法分析住院患者痰培养和血培养致病菌检出的阳性率、各种致病菌的分布以
高等职业教育以培养高素质职业技能型人才为目标,此类人才正是促进我国经济发展、产业结构调整的关键人才,电子商务专业作为一个新兴的专业,在人才培养上应紧跟社会求,努力为社会
对TMS320LF240x系列DSP的中断结构及特性进行了剖析,总结介绍了用汇编语言和C语言编写中断程序的思想,并举例论述了如何利用中断特征进行模块化编程、解决实时性、数据联系以
硬质合金端铣刀是机械制造行业中应用非常广泛的一种刀具,主要介绍硬质合金端铣刀的破损形式,产生原因及防止和减少端铣刀破损的措施.
本文通过分析制造工艺和成分对软磁材料物理性能的影响,筛选出了一种性能较为优良的软磁材料.通过对比试验进行了性能考核.结果表明其使用性能与原有材料相当,但具有明显的经