| 嵌入式系统的数据竞态条件研究 |
| |
| 引用本文： | 潘有顺.嵌入式系统的数据竞态条件研究[J].安顺学院学报,2019(2):116-120. |
| |
| 作者姓名： | 潘有顺 |
| |
| 作者单位： | 茅台学院酿酒工程自动化系 |
| |
| 基金项目： | 贵州省教育厅自然科学研究项目“基于大数据的并行聚类分析优化算法研究”(黔教合KY字[2018]459)、“云计算环境下的资源调度方法及关键技术研究”(黔教合KY字[2018]460) |
| |
| 摘 要： | 针对嵌入式系统中多线程的数据竞态条件问题,提出了一种基于图形的数据竞态条件分析方法,包括数据竞态条件分析算法、图形表示方法、线程竞争集、数据竞态图和二维数组五个部分。其中,数据竞态算法分析嵌入式系统中具有数据竞态关系的线程及其竞态关系构成线程竞争集,数据竞态图描述系统中同步多线程数据竞态条件关系,二维数组存储线程数据竞态逻辑,利用获得的数据竞态图推理系统中可能的其他线程数据竞态关系。
|
| 关 键 词： | 嵌入式系统 多线程程序 线程竞争集 数据竞态图 |
Simulation and Research on the Data Race Conditions of Multithreading Programs in Embedded Systems |
| |
| PAN Youshun.Simulation and Research on the Data Race Conditions of Multithreading Programs in Embedded Systems[J].Journal of Anshun College,2019(2):116-120. |
| |
| Authors: | PAN Youshun |
| |
| Institution: | (Department of Wine MakingEngineering and Automation,Faculty of Moutai,Zunyi 456300,Guizhou,China) |
| |
| Abstract: | PAN Youshun(Department of Wine MakingEngineering and Automation,Faculty of Moutai,Zunyi 456300,Guizhou,China) |
| |
| Keywords: | embedded system multithreading thread competitive set data race condition diagram |
| 本文献已被 维普 等数据库收录！ |
|
