并发数据访问代码缺陷分析

来源 :航天控制 | 被引量 : 0次 | 上传用户:yaqinghualei
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现代软件系统中普遍使用并发任务提高软件的性能、增加算法实现的灵活性。数据的并发访问,如果没有进行恰当的同步,可能带来数据竞争、死锁和数据没有初始化等问题,程序的执行结果将依赖于并发任务执行的相对时序,给整个系统的正确性、安全性和可靠性带来严重的隐患。本文在深入分析涉及并发数据访问的实际工程代码的基础上,揭示了并发数据访问缺陷代码的本质特点,总结出了2大类4种代码缺陷模式,最后给出了实现并发数据访问代码缺陷静态分析工具的难点及需要解决的问题。
其他文献
当今的中国,正在树立起“制造业大国”的国际形象。瑞安的机械电子产业,便是其中的一个神话。  今天可以追溯到的历史,是1916年瑞安人李毓蒙先生发明的麒麟牌弹棉机,这是瑞安的第一台工业机器,在中国近代工业史上写下了可贵的一笔。  到了上世纪五六十年代,在武汉、上海、杭州、温州等许多重要城市的大型工厂中,来自瑞安的机械专家、技术工人,可算得上是一块响当当的招牌。  从上世纪90年代开始,随着改革开放的
井士剑1960年,生于辽宁省黑山县;1988年,毕业于中国美术学院油画系;任教于中国美术学院油画系多维表现绘画工作室主任,理论与实践绘画博士。个展1996年,法国巴黎艺术城;1997年,
波束指向同步是主星带伴随分布式小卫星雷达系统必须解决的问题之一。主星为补偿多普勒频移而进行的姿态导引会导致地面目标点相对位置漂移,针对这一现象,伴随分布式小卫星应
通过给出非线性绝对值方程组解的存在和唯一性的充分条件,提出数值求解该方程组的类AOR迭代方法并证明其收敛性.数值算例表明,与Picard-HSS迭代方法比较,类AOR迭代方法更有效
摘 要:随着我国加快推经社会主义现代化的步伐,职业教育迎来了发展的黄金期,但职业教育仍是我国教育体系发展的薄弱环节,职业教育培养结构和专业设置不够合理,不能很好地满足市场需求和社会需要。加快职业教育教学改革步伐,优化专业结构、深化教学改革。提高学生的综合能力,培养高技能人才,满足社会对技能型人才的需求。增强职业教育的吸引力,提升职业教育服务经济社会发展的水平,是职业教育工作者义不容辞的责任  关键
以2-呋喃甲醛-4-甲氧基苯甲酰腙(HL)与Cd(N03)·4H2O为原料合成出一个Cd(II)的配合物晶体.通过元素分析、红外光谱和Ⅺ射线单晶衍射等手段对其进行表征.结构分析表明,该晶体属于单
本文针对SINS/DGPS/Magnetometer全组合系统进行了研究,建立了相应的误差模型和系统观测模型.应用扩展卡尔曼滤波算法将GPS测量方程和SINS动态线性化,进行SINS验前状态估计及