导读:本文包含了内存模型论文开题报告文献综述及选题提纲参考文献，主要关键词:单元测试,抽象内存模型,约束提取,测试用例生成
内存模型论文文献综述
于航[1]（2019）在《单元测试中抽象内存模型优化技术研究》一文中研究指出测试用例自动生成是自动化单元测试的重点之一,在面向路径的自动化单元测试中,抽象内存模型用于精准的提取路径上变量的语义和约束,其为自动生成测试用例的前提条件。但是,已有的抽象内存模型还存在不足之处,比如类型支持不全面、难以精确处理复杂操作、记录信息不全面等,这导致不能为一些所选路径生成测试用例或者生成了错误的测试用例,降低了测试效率及效果。本文围绕提高抽象内存模型记录的精确度和支持的完备性等方面进行研究,在已有抽象内存模型的基础上,提出了优化后的抽象内存模型,包括数值型、指针型、结构体型、数组型、共用体型。并且改进了约束提取算法和非数值型测试用例形状构建算法,使其能够更加精确的模拟复杂操作的语义,并提取约束。在优化后的抽象内存的基础上,解决了现存的两类问题,为自动测试用例生成提供了更为准确全面的信息。作者在代码测试系统(Code Test System,CTS)中实现了上述抽象内存模型,并对其进行了测试。结果表明,本文提出的优化后的抽象内存模型比原有的抽象内存模型更加通用,特别是在复杂类型的程序中,可以正常生成测试用例,测试覆盖率显着提高。(本文来源于《北京邮电大学》期刊2019-05-27）
王茂钢[2]（2019）在《Java内存模型描述及变量运用分析》一文中研究指出在使用Java编程的过程中,内存是保障编程程序顺利进行的重要资源,而加强对内存的合理、有效运用,有助于编程效率的极大提升,并且在大量的研究和探索中,挖掘出其更加全面的功能。本文主要对Java内存模型的概念、Java的内存分配及相关功能进行了介绍,最后通过对Java内存的详细分析,明确了Java内存分配机制的具体应用,以供相关研究工作者参考。(本文来源于《现代信息科技》期刊2019年04期）
常欢,罗奇鸣,李薛剑,陈意云[3]（2019）在《一种基于栈区内存模型的C程序别名判断算法》一文中研究指出C语言中的指针导致C程序中会出现表达式别名的情况.在基于演绎推理的程序验证中,使用Hoare逻辑的赋值规则前必须消除断言中的别名.别名增加了程序验证的难度.本文根据C语言的语义提出了一种栈区内存模型,可以精确地跟踪栈区的多种类型的表达式,包括取地址、多级解引用、指针关系运算、结构体和数组等.基于上述内存模型,本文提出了一种判断别名的算法,使得验证工具在使用Hoare逻辑的赋值公理之前可以准确的消除断言中的别名.目前该模型已经在一个名为Safe-C验证器的程序验证工具中实现,并且成功验证了多例经典程序.(本文来源于《小型微型计算机系统》期刊2019年02期）
唐科[4]（2018）在《Java内存模型分析与其在编程中的应用》一文中研究指出Java编程应用中内存是重要的资源,安全而有效地利用它能够提高编程效率,促进开发出优秀的应用。分析Java内存模型及其分配机制,剖析了JVM的主要内部结构及各部分的功能,通过创建对象及对象初始化的示例展示了内存模型与分配机制理论的应用,并明确指出今后的研究工作。(本文来源于《福建电脑》期刊2018年10期）
胡建华,鄢旭[5]（2018）在《基于数据结构与简化内存模型的Java集合教学方法研究》一文中研究指出分析高校Java语言课程集合框架章节中学生难懂的问题,提出从数据结构的角度理解Java集合的各种类及各自的特点,并以JVM的简化内存模型分析Java集合类的实现方式,帮助学生轻松掌握Java集合框架的应用。(本文来源于《计算机教育》期刊2018年05期）
刘帅[6]（2017）在《支持类型转换的抽象内存模型的研究与设计》一文中研究指出面向路径的自动化单元测试可以自动为程序生成测试用例并执行这些测试用例,从而提高软件测试的效率,大幅降低测试的成本。传统的方法已经能为大部分情况的程序操作生成正确的测试用例,但是当程序路径中出现类型转换操作时,由于符号执行对于类型转换的语法结构分析存在精度不够的问题,导致不能为参与类型转换的变量生成正确的符号、内存模型和约束,从而无法为之生成正确的测试用例。针对基本数据类型转换问题,本文提出了符号表达式重构以及约束分片两种解决方案。符号表达式重构方案重构了符号表达式的递归推导关系,在原有的递推式的基础上增加了对于类型的推导,用于支持类型转换操作的符号和约束的表示,并设计了对于该表达式的区间运算规则,用于支持类型转换的测试用例生成。约束分片方案设计了参与类型转换的变量的符号和约束的分片,通过这些约束求出分片符号的测试用例值,并按照一定的规则将分片符号的用例值组装成原符号的用例值。针对复杂数据类型转换问题,本文扩展了传统的抽象内存模型,在原有模型的基础上增加了对指针转化为数组,数组转化为指针的情况的语义和约束的存取,并设计了支持复杂数据类型转换的约束提取算法,最终为出现复杂数据类型转换的代码生成正确的测试用例。(本文来源于《北京邮电大学》期刊2017-03-15）
胡泳霞[7]（2016）在《基于内存模型的Java并发编程》一文中研究指出多核处理器为并发编程打开了一扇扇新的大门,Java内置的多线程机制可以方便地实现多个并发程序的开发以及多任务同时执行,但是Java线程之间的通信对程序员完全透明,内存可见性问题很容易困扰Java开发人员,本文将简单分析基于内存模型的Java并发编程。(本文来源于《电子测试》期刊2016年13期）
张其良[8]（2016）在《基于确定性虚拟内存模型的无阻塞通信的研究》一文中研究指出在多核单机系统上,多个共享资源的线程或进程间的交错执行是不确定的,导致并行软件难以开发、调试,存在安全隐患。为保证线程或进程交错执行的确定性,课题组已提出确定性生产-消费虚拟内存模型SPMC,并封装SPMC内存区域建立确定性消息通道及其编程接口DetMP,实现DetMPI以支持MPI中语义确定的子集。DetMPI (?)能使MPI程序不经修改即可被编译和确定地执行,但是许多MPI程序在DetMPI上的性能相比不确定的MPI实现要差。实验分析表明,DetMPI性能差的原因之一是底层SPMC和消息通道是阻塞式的,DetMPI利用阻塞式通道和消息缓存机制实现MPI中的无阻塞通信接口。为此,本文扩展SPMC和DetMP以提供对无阻塞通信的支持,改进DetMPI中无阻塞通信函数的实现,在保证确定性的前提下提升性能。本文的主要贡献是：(1)在SPMC层和消息通道层引入支持无阻塞通信的原语和接口，并基于扩展后的DetMP改进DetMPI的实现。DetMPI中改进的通信函数实现包括语义确定的点对点无阻塞通信函数、1：N和N：1模式的集合通信函数。(2)在消息通道层,为扩展后的DetMP设计SelfMP和CothreadMP两种无阻塞实现模式。SelfMP下的每个进程,其通信和计算由该进程本身处理：而在CothreadMP下,每个进程会附加一个线程负责通信,使得通信和计算能重迭。在32核Linux机器上的实验表明,针对OSU Micro-BenchMarks中7个MPI程序,原阻塞式实现是SelfMP执行时间的0.98-2.21倍；针对1：N和N：1集合通信分别用DetMP程序comp-bcast和comp-gather评测,相比SelfMP, CothreadMP通过重迭通信和计算可以带来平均19%的性能提升。(3)设计基于传统共享内存的并发多播队列框架CMQue,并基于CMQue重新实现DetMP。该工作旨在评估内存模型(SPMC和传统共享内存)、数据的存储组织(顺序、链式)、同步机制(粗粒度锁、细粒度锁、比较交换原子指令)对DetMP程序的性能影响。6种CMQue实现是2种存储组织和3种同步的组合。对于beast程序,在32核下当广播给23个消费者时,使用粗粒度锁的总运行时间约是细粒度锁的4.5倍、无锁的8倍和SPMC通道的6.2倍。对于PARSEC dedup，使用SPMC通道有最好的可伸缩性,在32核时比其他6种快7倍左右。(本文来源于《中国科学技术大学》期刊2016-04-19）
张扬[9]（2015）在《基于操作语义的弱内存模型描述及程序逻辑研究》一文中研究指出程序语言的内存模型规定了在程序执行的过程中内存访问是如何发生的。它作为桥梁将为程序员和语言实现连接起来,帮助程序员写出正确的并发程序。在现实世界中,大多数的硬件和编译系统都是基于弱内存模型的假设,即内存访问并不是严格按照程序顺序执行,以用来支持各类优化。本文研究了弱内存模型的设计,并提出了可以支持在弱内存模型上进行程序验证的程序逻辑。具体来说,本文在弱内存模型和程序逻辑方面做出了如下的贡献：首先,本文提出一种新的弱内存模型OHMM,这是Happens-before内存模型(HMM)的变种。这个模型通过对一个简单语言赋予具体的操作语义,并通过它在抽象机上的程序行为来模拟HMM。由于OHMM所允许的程序行为是通过操作语义自然生成的,所以它自然而然的避免了所谓的凭空出现(out-of-thin-air)的程序行为。另外一方面,OHMM使用一种我们称之为重放的机制来允许某些符合一定条件的指令在抽象机上能够多次执行,来模拟现实世界中编译器和处理器优化中的投机执行和优化。总的来说,我们的模型对于无锁程序的约束会比Java内存模型(JMM)更加弱一些,因此我们将会允许更多的编译器优化算法在我们的模型上能够使用。同时,在OHMM上,程序行为在直观上会比JMM更加自然。许多在JMM上可能出现但是明显违反直观认识的程序,在我们的模型上就不再合法。我们希望OHMM可以成为可供类Java语言选择的一种新内存模型。其次,本文提出一种新的用于验证并发程序在TSO(Total Store Order)弱内存模型下正确性的程序逻辑。TSO模型所允许的弱行为是OHMM的子集。我们知道,TSO模型已经被用作X86和SPARC-TSO处理器族的模型基础,并且在一些高级语言中也正在被提案作为其内存模型的基础。我们的逻辑对LRG(Local Rely-Guarantee)进行扩展,对其加入了关于TSO写缓存的断言,这可以让我们对TSO模型中对外部线程不可见的局部的写缓存的状态进行描述。如同LRG一样,我们的程序逻辑支持对细粒度并发具有表达力强的rely/guarantee推理以及分离逻辑中的局部推理。同时,我们在逻辑上对TSO模型进行进一步抽象,把TSO共享内存分为local和shared两部分,这可以允许我们可以将那些在访问时只有单个线程能够访问的内存单元(逻辑上等同于local单元)的写操作直接写入内存,不需要经过写缓存。我们使用这个逻辑证明了一些具有代表性的并发算法在TSO上的正确性,包括Peterson's lock算法,Simpson's four slot算法,concurrent GCD算法以及lock的优化实现算法。(本文来源于《中国科学技术大学》期刊2015-05-01）
林菲,孙勇,丁宏,任一支[10]（2014）在《自稳定的分布式事务内存模型及算法》一文中研究指出针对具有瞬时故障的分布式系统,综合考虑系统鲁棒性和可扩展性,提出了一种自稳定的分布式事务内存模型(self-stabilizing distributed transactional memory,SSDTM).首先,利用分层技术和抵押组合理论建立模型框架,并对生成树算法进行了自稳定改进,以克服现有算法只能适应稳定环境的缺点;其次,将数据流技术与自稳定相结合,设计了数据对象操作方法,提高了系统的数据访问局部性;然后,在给出事务服务模型的基础上,提出了基于改进逻辑时钟的SSDTM并发控制算法;最后,结合理论推导,使用4个典型测试用例在SimJava环境下对SSDTM进行了多角度、大规模的分析和性能测试.结果表明,所提算法具有较强的参数鲁棒性和适用性,与其他模型相比,SSDTM具有更高的吞吐量和容错性.(本文来源于《计算机研究与发展》期刊2014年09期）
内存模型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在使用Java编程的过程中,内存是保障编程程序顺利进行的重要资源,而加强对内存的合理、有效运用,有助于编程效率的极大提升,并且在大量的研究和探索中,挖掘出其更加全面的功能。本文主要对Java内存模型的概念、Java的内存分配及相关功能进行了介绍,最后通过对Java内存的详细分析,明确了Java内存分配机制的具体应用,以供相关研究工作者参考。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
内存模型论文参考文献
[1].于航.单元测试中抽象内存模型优化技术研究[D].北京邮电大学.2019
[2].王茂钢.Java内存模型描述及变量运用分析[J].现代信息科技.2019
[3].常欢,罗奇鸣,李薛剑,陈意云.一种基于栈区内存模型的C程序别名判断算法[J].小型微型计算机系统.2019
[4].唐科.Java内存模型分析与其在编程中的应用[J].福建电脑.2018
[5].胡建华,鄢旭.基于数据结构与简化内存模型的Java集合教学方法研究[J].计算机教育.2018
[6].刘帅.支持类型转换的抽象内存模型的研究与设计[D].北京邮电大学.2017
[7].胡泳霞.基于内存模型的Java并发编程[J].电子测试.2016
[8].张其良.基于确定性虚拟内存模型的无阻塞通信的研究[D].中国科学技术大学.2016
[9].张扬.基于操作语义的弱内存模型描述及程序逻辑研究[D].中国科学技术大学.2015
[10].林菲,孙勇,丁宏,任一支.自稳定的分布式事务内存模型及算法[J].计算机研究与发展.2014