导读:本文包含了线程一致性模型论文开题报告文献综述、选题提纲参考文献，主要关键词:模型,线程,多线程,同构,分布式,内核,静态。
线程一致性模型论文文献综述写法
杨舜尧[1]（2018）在《在弱一致性模型中线程模块化的静态分析方法》一文中研究指出本文提出一种内存感知情况下,静态程序分析方法。这种方法能够精准的分析并发软件在弱一致性模型下的表现,例如:x86-TSO(标准存储器模型)内存系统,SPARC-PSO(SPARC可扩充处理器架构)(PSO部分存储命令模型),SPARC-ROM(弱一致性存储模型)。本文方法的核心是用统一的框架来确定内部线程间的干扰存在的可行性,从而避免虚假数据流在静态分析中的传播,提高静态分析器的性能。制定了检查线程干扰可行性的数据标准,能够高效的解决问题并能很好地适应一系列的硬件级的存储模型。与现在的技术相比,本文的方法可以明显的减少虚假报警和无关的数据产生。对于这种改进的方法,使用了大量的多线程的C语言程序进行评估。实验显示,就系统运行时开销而言,本文的方法显着优于其他技术水平。(本文来源于《网络安全技术与应用》期刊2018年01期）
戴华东,杨学军[2]（2003）在《以操作系统为中心的存储一致性模型——线程一致性模型》一文中研究指出分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行过程中线程状态的变化来观察和限制存储访问事件的正确顺序 ,有利于系统的可扩展性、一致性维护信息获取的方便性和完备性以及操作系统本身的设计和实现 分别从模型的定义、正确性证明、实现方案和性能分析等几个方面展开了论述(本文来源于《计算机研究与发展》期刊2003年02期）
周伟波,戴华东,杨学军[3]（2003）在《线程一致性模型及其实现》一文中研究指出在虚拟分布式共享存储系统(SVM)中,为了保证程序在分布式环境下正确运行,维护存储一致性是关键问题之一。本文提出了一种全新的一致性模型——线程一致性模型(TC),并阐述了基于TC模型的虚拟分布式共享存储系统MTK的实现。线程一致性模型从操作系统内核的角度出发,把程序执行过程中的同步点与线程状态结合起来考虑存储一致性问题,有利于数据局部性的开发。另外,多线程体系结构的一个显着优势就是能把计算和通信重迭起来,从而有效地隐藏通信延迟。在内核级实现线程一致性模型时,线程及同步原语(锁、栅栏)都维护一个写记录,同时定义了同构唤醒线程簇。(本文来源于《计算机工程与科学》期刊2003年01期）
线程一致性模型论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行过程中线程状态的变化来观察和限制存储访问事件的正确顺序 ,有利于系统的可扩展性、一致性维护信息获取的方便性和完备性以及操作系统本身的设计和实现 分别从模型的定义、正确性证明、实现方案和性能分析等几个方面展开了论述
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
线程一致性模型论文参考文献
[1].杨舜尧.在弱一致性模型中线程模块化的静态分析方法[J].网络安全技术与应用.2018
[2].戴华东,杨学军.以操作系统为中心的存储一致性模型——线程一致性模型[J].计算机研究与发展.2003
[3].周伟波,戴华东,杨学军.线程一致性模型及其实现[J].计算机工程与科学.2003