【摘 要】
：
针对嵌入式系统中多线程的数据竞态条件问题,提出了一种基于图形的数据竞态条件分析方法,包括数据竞态条件分析算法、图形表示方法、线程竞争集、数据竞态图和二维数组五个部
【基金项目】
：
贵州省教育厅自然科学研究项目"基于大数据的并行聚类分析优化算法研究"(黔教合KY字[2018]459),"云计算环境下的资源调度方法及关键技术研究"(黔教合KY字[2018]460)
论文部分内容阅读
针对嵌入式系统中多线程的数据竞态条件问题,提出了一种基于图形的数据竞态条件分析方法,包括数据竞态条件分析算法、图形表示方法、线程竞争集、数据竞态图和二维数组五个部分。其中,数据竞态算法分析嵌入式系统中具有数据竞态关系的线程及其竞态关系构成线程竞争集,数据竞态图描述系统中同步多线程数据竞态条件关系,二维数组存储线程数据竞态逻辑,利用获得的数据竞态图推理系统中可能的其他线程数据竞态关系。
其他文献
专题制教学是根据课程性质和育人目标,重新整合教材内容,将教学内容细化为若干专题,由不同专长的教师选择某个专题在若干教学班轮流授课的教学模式。专题制教学是改革“思想
物权法的起草工作始于1998年3月初，受全国人大常委会法制工作委员会的委托、江平、王家福等9位法学家成立了民法起草工作小组，包括物权法在内的民法典从此走上了“专家立法”的
本文对当前物业管理主要存在的相关法规不健全;市场意识缺乏;社会认知度不高;缺乏公平竞争等问题进行了分析,并提出了四个方面的发展措施。