基于SMT求解器的嵌入式多线程程序数据竞态条件分析

作     者：容会 潘有顺 王艳玲 周祖坤 王晓亮 RONG Hui;PAN Youshun;WANG Yanling;ZHOU Zukun;WANG Xiaoliang

作者机构：昆明冶金高等专科学校艺术设计学院昆明650033 昆明理工大学云南省计算机技术应用重点实验室昆明650500 昆明理工大学信息工程与自动化学院昆明650500 昆明冶金高等专科学校外语学院昆明650033 昆明冶金高等专科学校招生就业处昆明650033 昆明冶金高等专科学校商学院昆明650033 

基　　金：国家自然科学基金项目(编号:61662088) 云南省应用基础研究项目(编号:2013FZ107) 昆明冶金高等专科学校科研基金项目(编号:14B004)资助 

出 版 物：《计算机与数字工程》 (Computer & Digital Engineering)

年 卷 期：2018年第46卷第3期

页      码：424-428页

摘      要：针对嵌入式多线程程序中出现的数据竞态条件,论文提出了一种基于SMT求解器数据竞态条件检测分析方法。通过对多线程程序执行路径与源程序分析,构建对应的约束条件,将其作为输入,SMT求解器验证是否满足数据竞态条件。通过实验,论文提出的嵌入式多线程程序数据竞态条件的分析与检测方法在检测效率上还是比较理想的。

主 题 词：嵌入式多线程程序 数据竞态条件 竞态条件分析 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1672-9722.2018.03.002

馆 藏 号：203284885...