针对嵌入式系统中多线程的数据竞态条件问题,提出了一种基于图形的数据竞态条件分析方法,包括数据竞态条件分析算法、图形表示方法、线程竞争集、数据竞态图和二维数组五个部分。其中,数据竞态算法分析嵌入式系统中具有数据竞态关系的线程及其竞态关系构成线程竞争集,数据竞态图描述系统中同步多线程数据竞态条件关系,二维数组存储线程数据竞态逻辑,利用获得的数据竞态图推理系统中可能的其他线程数据竞态关系。
科研之友
微信
新浪微博
Facebook
分享链接
