在弱一致性模型中线程模块化的静态分析方法

来源 :网络安全技术与应用 | 被引量 : 0次 | 上传用户：spls108

【摘要】

：

本文提出一种内存感知情况下,静态程序分析方法。这种方法能够精准的分析并发软件在弱一致性模型下的表现,例如:x86-TSO(标准存储器模型)内存系统,SPARC-PSO(SPARC可扩充处理器架构)(PSO部分存储命令模型),SPARC-ROM(弱一致性存储模型)。本文方法的核心是用统一的框架来确定内部线程间的干扰存在的可行性,从而避免虚假数据流在静态分析中的传播,提高静态分析器的性能。制定了检查线

【作者】

：

杨舜尧

【机构】

：

阜新高等专科学校工程系辽宁 123000

【出处】

：

网络安全技术与应用

【发表日期】

：

2018年01期

【关键词】

：

并行系统静态方法多线程弱一致性模型静态分析

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

Al-Si-Ti合金除铁工艺研究

通过对富铁的Ａｌ－Ｓｉ－Ｔｉ合金液进行自然沉降和添加锰元素再自然沉降后的组织观察和分析表明：自然沉降前后Ａｌ－Ｓｉ－Ｔｉ合金中铁相含量几乎无变化，而经加锰再自然沉降后则可去除大部分Ａｌ－Ｓｉ－Ｔｉ合金中的铁相 Th

期刊

合金元素铝合金添加物

基于PDF417二维码数字水印技术的实现

本文研究了一种基于PDF417二维码的数字水印算法并对其进行了性能分析,最后在Eclipse平台上运用Java语言实现了PDF417码的生成,读取,水印信息的嵌入和提取,形成一个APP的应用,具有一定的实用性。

期刊

PDF417数字水印鲁棒性

铸铁件表面铸渗碳化钨颗粒的耐磨机理

测试了不同粒度碳化钨和基体材料的铸渗层的耐滑动磨损性能、抗磨料磨损性能和抗冲蚀性能，分析了不同磨损条件下铸渗碳化钨复合层的耐磨机理和失效方式。研究结果表明，铸渗碳化

期刊

铸渗碳化钨耐滑动磨损性能抗磨料磨损性能抗冲蚀性能

基于RNN结构下的字母级别语言模型的研究与实现

本文设计实现了一种neural language model,它的输入只有字母,输出为所预测的单词。该模型是一种recurrent neural net-work language model(RNN-LM),具体实现方面应用了较为成熟的long short-term memory(LSTM)结构,并在字符输入模块后使用了highway net-work技术,提高了该模型的性能,该模型在Engli

期刊

RNN语言模型自然语言处理神经网络

医院管理培训的社会价值

作为一家有着130年悠长历史的制药公司,我们一直在思考一个问题,我们的价值何在?rn确实,我们在全球各地拥有超过4万名员工,药品行销于143个国家,去年的销售额高达146亿美元,

期刊

医院管理培训销售额制药员工药品企业美元历史价值国家

阳极键合强度对高g加速度传感器输出特性影响

晶圆键合强度是影响高g MEMS压阻式加速度传感器输出特性的主要因素之一。在200℃,200~800 V条件下完成硅-玻璃阳极键合实验,利用数字拉力机来表征不同参数条件下阳极键合强

期刊

anodic bondingbonding strengthMEMS acceleration sensorimpacted testingbondin

子宫颈癌筛查方法研究现状

目的:探讨目前宫颈癌筛查方法进展。方法:子宫颈癌筛查方法采用宫颈细胞学检查、肉眼醋酸及碘试验、阴道镜检查、人乳头瘤病毒(HPV)的检测。结果:随着宫颈癌病因学的研究发展

期刊

宫颈肿瘤/诊断综述[文献类型]人类

树干注药法治疗红松球果蝇

该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥

期刊

树干注药法治疗红松种子果蝇松球果发生危害危害面积害虫质量幼虫局部果轴果肉腐烂丰收丰产产量

设计模式在图上信息关联查询中的应用

为了在态势图形屏上提供所见即所得的快速的图形模式查询,本文基于设计模式给出了图上信息关联查询软件的设计与实现,降低了系统的耦合度,提高了软件性能、可维护性以及代码复用率,从而提高了参谋人员查询相关资料并进行方案、计划拟制以及图形的标绘的效率。

期刊

MVC查询态势图

复合变质对AlSi7Mg合金组织和性能的影响

通过在铸造ＡｌＳｉ７Ｍｇ合金中加入一种新型复合变质剂，研究其对合金力学性能和组织的影响，并采用透射电子显微镜（ＴＥＭ）研究合金在时效过程中组织的变化。结果表明：采用此新型变质剂可有效提高铸造

期刊

AlSi7Mg合金组织力学性能复合变质剂

在弱一致性模型中线程模块化的静态分析方法

与本文相关的学术论文