【摘 要】
：
针对嵌入式系统中多线程的数据竞态条件问题,提出了一种基于图形的数据竞态条件分析方法,包括数据竞态条件分析算法、图形表示方法、线程竞争集、数据竞态图和二维数组五个部
【基金项目】
：
贵州省教育厅自然科学研究项目"基于大数据的并行聚类分析优化算法研究"(黔教合KY字[2018]459),"云计算环境下的资源调度方法及关键技术研究"(黔教合KY字[2018]460)
论文部分内容阅读
针对嵌入式系统中多线程的数据竞态条件问题,提出了一种基于图形的数据竞态条件分析方法,包括数据竞态条件分析算法、图形表示方法、线程竞争集、数据竞态图和二维数组五个部分。其中,数据竞态算法分析嵌入式系统中具有数据竞态关系的线程及其竞态关系构成线程竞争集,数据竞态图描述系统中同步多线程数据竞态条件关系,二维数组存储线程数据竞态逻辑,利用获得的数据竞态图推理系统中可能的其他线程数据竞态关系。
其他文献
阐述了差式微位移放大机构的基本设计原理，分析了机构中位移损失的原因。研制的放大机构具有较好的放大效果，而且机构的位移输出线性特性也较好。采用片状柔性铰链成功地解决了
研制了一种新型的双定子驱动的差动往复式线性超声马达，提出了分组脉冲驱动控制方法，分析了其工作过程，实现了差动往复式线性超声马达的单向步进式进给及双向差动往复式进给，移动
对液体－压电晶片结构中叉指换能器所激发的兰姆波进行了理论研究和数据分析，给出了兰姆波的相速度、叉指换能器激发兰姆波的机电耦合系数与压电晶片的归一化厚度、晶体切向之间
专题制教学是根据课程性质和育人目标,重新整合教材内容,将教学内容细化为若干专题,由不同专长的教师选择某个专题在若干教学班轮流授课的教学模式。专题制教学是改革“思想
物权法的起草工作始于1998年3月初，受全国人大常委会法制工作委员会的委托、江平、王家福等9位法学家成立了民法起草工作小组，包括物权法在内的民法典从此走上了“专家立法”的
内部会计控制制度是为适应生产经营管理的需要而产生的，是现代企业内部管理制度的一个重要组成部分。本文概述了会计电算化内部控制制度的基本内容，并提出完善会计电算化内部控
本文对当前物业管理主要存在的相关法规不健全;市场意识缺乏;社会认知度不高;缺乏公平竞争等问题进行了分析,并提出了四个方面的发展措施。