基于SMT求解器的嵌入式多线程程序数据竞态条件分析
容会1
潘有顺2
王艳玲3
周祖坤4
王晓亮5
1.昆明冶金高等专科学校艺术设计学院 昆明6500332.昆明理工大学云南省计算机技术应用重点实验室 昆明650500;昆明理工大学信息工程与自动化学院 昆明6505003.昆明冶金高等专科学校外语学院 昆明6500334.昆明冶金高等专科学校招生就业处 昆明6500335.昆明冶金高等专科学校商学院 昆明650033
摘要：针对嵌入式多线程程序中出现的数据竞态条件,论文提出了一种基于SMT求解器数据竞态条件检测分析方法.通过对多线程程序执行路径与源程序分析,构建对应的约束条件,将其作为输入,SMT求解器验证是否满足数据竞态条件.通过实验,论文提出的嵌入式多线程程序数据竞态条件的分析与检测方法在检测效率上还是比较理想的.
关键词：嵌入式多线程程序数据竞态条件竞态条件分析
分类号：TP391(计算技术、计算机技术)
资助基金：国家自然科学基金(61662088)云南省应用基础研究计划(2013FZ107)昆明冶金高等专科学校科研基金项目(14B004)
论文发表日期：2018-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 424-428 )
英文信息