导读:本文包含了内存管理方法论文开题报告文献综述及选题提纲参考文献，主要关键词:非易失存储介质,编程模型,线段树,持久性内存管理
内存管理方法论文文献综述
侯泽毅,万虎,徐远超[1]（2018）在《NMST:一种基于线段树的持久性内存管理优化方法》一文中研究指出新型非易失存储介质(Non-Volatile Memory,NVM)的出现引发了编程模型的革新。现有的基于函数库的编程模型为存储系统提供的ACID特性解决了数据一致性问题,但是在分配持久性内存时,延迟较大,不能很好地满足应用程序对动态内存分配速度的要求。针对现有函数库编程模型中存在持久化内存管理和分配低效的问题,以目前最具代表性的函数库编程模型NVML为基础,提出了一种基于线段树的持久性内存管理分配优化方法 NMST;另外,针对线段树在持久性内存分配过程中维护连续空间时开销较大的问题,提出构造多粒度叶子结点的线段树的方法。实验结果表明,相比于NVML原始方法,NMST方法在分配持久性内存时使延迟降低了36.9%,而优化后的NMST方法在分配持久性内存时使延迟降低了43.6%。实验结果也证明,性能提升的大小与调用NVML函数库的程序中实际持久性内存分配的次数及粒度紧密相关。(本文来源于《计算机科学》期刊2018年07期）
唐思超[2]（2018）在《无需内存管理单元的微控制器动态程序管理方法》一文中研究指出嵌入式软件设计的挑战之一是为处理器提供独立的应用程序加载、更新及删除等功能而无需内存管理单元支持。实现上述功能有助于提升系统易用性和便携性,可节省应用程序集成和重新编译的工作量,支持分发二进制文件到其它设备。本文讨论了解决这一挑战的几种观点,并基于位置无关技术为Cortex-M内核提供了一种动态程序管理方法。(本文来源于《单片机与嵌入式系统应用》期刊2018年05期）
刘天漪,钟志农,熊伟,甘麟露,陈荦[3]（2017）在《基于内存数据库的叁维模型管理方法》一文中研究指出现有的叁维模型大多利用关系数据库和文件系统进行管理,在对其可视化的过程中,存在调用模型速度慢、前端绘制不流畅等问题。为解决上述问题,提出了一种基于redis内存数据库的叁维模型管理方法。首先,将不同格式的叁维数据批量转换成glTF格式或Binary glTF格式,继而分析redis的存储机制并设计分层结构管理叁维数据,然后搭建Web服务程序发布数据,最后利用Cesium引擎实现叁维模型可视化。通过实验验证,结果表明:采用本文提出的方法管理叁维模型,模型调用速度显着提高,可视化效果更加流畅。(本文来源于《地理信息世界》期刊2017年02期）
郝继锋[4]（2017）在《嵌入式虚拟机管理器内存虚拟化方法研究》一文中研究指出嵌入式虚拟机管理器需对3类硬件资源进行虚拟化才能支持客户OS的正常运行,而且支持虚拟内存的客户OS需对MMU页表进行虚拟化;以NXP公司的PowerPC架构处理器为例介绍了MMU概况、管理方法,并提出MMU虚拟化的需求;研究了XEN、ViMo、KVM/ARM、NOVA、MobiVMM 5个典型虚拟机管理器软件中所采用的主流内存虚拟化方案,并给出了基于软件影子页表、基于硬件支持特性、软硬件结合等3种对MMU页表进行虚拟化的解决方案。(本文来源于《航空计算技术》期刊2017年02期）
钱振江,刘永俊,姚宇峰,汤力,黄皓[5]（2017）在《微内核架构内存管理的形式化设计和验证方法研究》一文中研究指出由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare叁元组描述模块接口函数的前后置条件,作为函数正确性的定义.以实现的VSOS(Verified Secure Operating System)内存管理模块为例,在Isabelle/HOL定理证明器环境中对建立的内存管理模型和系统行为的操作语义进行形式化描述,并对内存管理模块的设计和实现的正确性进行验证.结果表明,这一方法是可行的和高效的.(本文来源于《电子学报》期刊2017年01期）
陈丹敏,孙越,陈志国[6]（2015）在《基于B方法的内存管理模型的设计》一文中研究指出内存管理是操作系统的重要组成部分,一个安全可靠的内存管理程序,对于操作系统的运行十分关键.采用传统软件开发方法开发的内存管理系统,安全性和可靠性得不到很好的保证.为此提出用形式化的B方法开发内存管理系统.首先使用B方法建立了内存管理的形式化模型,利用B工具对该阶段生成的证明义务进行证明,保证系统在初始规范说明层次上的内在一致性和设计的正确性.然后根据B方法分层构造的思想对上一阶段得到的抽象规范模型进行精化.最终得到一个可实现的内存管理模型,该模型更好地保证了系统的一致性和可靠性.(本文来源于《河南大学学报(自然科学版)》期刊2015年04期）
孙岳龙[7]（2014）在《Android应用开发中内存管理优化方法的研究》一文中研究指出随着Google Play中应用数量的飞速增长，Android用户可选择的应用越来越多，对应用的要求也越来越高，不再只是满足基本功能，还要美观、流畅、稳定等。本文以一个需要大量使用图片的Android应用——RUI手机桌面为研究对象。根据其特点和开发过程中出现的OOM问题，提出了一种优化内存管理解决方案，既保证应用程序的美观、流畅、稳定，又能够大量使用图片，不出现内存溢出的异常。本文完成如下工作：1)分析产生OOM问题的原因，并针对不同的情况提出不同的解决方案。2)分析影响缓存大小的因素，根据这些因素怎么合理设置缓存的大小。3)实现从已安装的应用、本地res目录、网络、Sqlite数据库中加载图片，并对图片做缩放和圆角化处理。4)实现异步刷新视图的任务，即从非主线程中获取图片资源，在主线程中对视图进行进行刷新。5)实现LRU缓存替换策略，并在此基础上提出改进，实现双缓存替换策略，比较使用不同的策略对应用程序加载效率的影响。本文提出了使用缓存策略来解决OOM的问题，并且实现了自定义的异步刷新视图的任务，保证了应用的稳定和流畅。最终的测试结果表明，使用缓存策略时，图片的平均加载时间缩短到原来的1/5，有效提高了应用的加载效率。(本文来源于《武汉理工大学》期刊2014-04-01）
张轶,关楠,王义[8]（2014）在《一种多核系统上基于页着色的内存管理方法》一文中研究指出当今多核平台多采用共享cache架构,但运行在不同核心上的任务产生的cache冲突问题使得程序最坏执行时间的计算变得十分困难.因此提出了使用页着色技术解决多核cache上访存冲突问题的方法.此方法的优势是使已有单核上的WCET分析技术可以对多核上的程序执行时间进行判断.在Linux系统上实现了支持页着色划分方法的内存管理系统,并使用通用测试集对该方法进行了测试.实验结果表明,在Linux系统中使用该内存管理策略后,在相同多核平台上程序的执行时间变得可预测.(本文来源于《东北大学学报(自然科学版)》期刊2014年03期）
汪永虎[9]（2012）在《基于内存和状态管理的模型检测方法》一文中研究指出模型检测是一种自动化形式验证技术，主要用于检测软硬件设计模型，这些模型规范通过时序逻辑公式给出。模型检测从用户所描述的模型开始，然后发现用户断言的假设对该模型是否有效。如果无效，模型检测工具可以产生由执行轨迹所构成的反例。然而模型检测存在因状态空间爆炸而导致内存不够的问题，这也是大规模并发系统验证的瓶颈。很多研究人员做了很多相关研究，虽然没有彻底地解决这个问题，然而提出了一些技术在特定的情况下可以大大地提高检测效率。其中效果较为理想的就是on-the-fly模型检测。on-the-fly模型检测将自动机理论应用到模型检测中，在很多情况下并不需要构造整个系统的状态空间。这是因为在检测系统的自动机A和属性自动机S的乘积时，A的状态仅当需要它们时才被构造出来。on-the-fly模型检测优势是，当检测系统的自动机A和属性自动机S的乘积自动机时，根本就不会生成A的某些状态。另外一个优势是，在完成构造两个自动机的交之前，可能已经找到了一个反例。一旦找到了一个反例，就没有必要再继续构造乘积自动机。在on-the-fly模型检测中，乘积自动机的状态由双深度优先算法按需产生。本文分析了这个双深度优先算法在检测过程中的内存使用情况。双深度优先遍历中需要用到两个堆栈，当系统规模很大时，要找的反例路径可能非常长，这就是使得堆栈上要存放很多状态。通过利用数据库，可以将搜索堆栈里暂时用不到的状态存储到外存上，在需要的时候再调回内存，这样可以减少在检验器运行过程中对内存的需求，从而提高了模型检测的能力。本文提出了两种利用数据库的方法。一种是静态的状态和内存管理，一种是动态的状态和内存管理。由于使用了数据库，将内存中的状态存储到磁盘上可能出现的内存抖动问题。针对两种不同的内存和状态管理策略，分别提出了相应的内存状态管理策略以很好的解决内存抖动的问题。在开源软件SPIN的基础上，将本文描述的算法实现，这样做主要是利用SPIN原有的存储状态的数据结构，以及它的输入输出方法。算法实现后，通过实验分析了动态管理内存中的状态的算法的实际效果，并分析了在实际运行中算法的优势和未来的工作。(本文来源于《电子科技大学》期刊2012-03-01）
吴立军,骆翔宇,陈清亮[10]（2011）在《基于动态内存和状态管理的模型检测新方法》一文中研究指出模型检测是并发系统验证的主要形式化方法之一,但其存在因状态空间爆炸而导致内存不够的问题,这也是大规模并发系统验证的瓶颈。很多研究人员尽管做了很多相关研究,但仍然没有很好地解决这个问题。在研究动态内存和状态管理的基础上,提出了一种新的模型检测方法,避免了因为内存不足而无法模型检测的问题。(本文来源于《计算机科学》期刊2011年11期）
内存管理方法论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
嵌入式软件设计的挑战之一是为处理器提供独立的应用程序加载、更新及删除等功能而无需内存管理单元支持。实现上述功能有助于提升系统易用性和便携性,可节省应用程序集成和重新编译的工作量,支持分发二进制文件到其它设备。本文讨论了解决这一挑战的几种观点,并基于位置无关技术为Cortex-M内核提供了一种动态程序管理方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
内存管理方法论文参考文献
[1].侯泽毅,万虎,徐远超.NMST:一种基于线段树的持久性内存管理优化方法[J].计算机科学.2018
[2].唐思超.无需内存管理单元的微控制器动态程序管理方法[J].单片机与嵌入式系统应用.2018
[3].刘天漪,钟志农,熊伟,甘麟露,陈荦.基于内存数据库的叁维模型管理方法[J].地理信息世界.2017
[4].郝继锋.嵌入式虚拟机管理器内存虚拟化方法研究[J].航空计算技术.2017
[5].钱振江,刘永俊,姚宇峰,汤力,黄皓.微内核架构内存管理的形式化设计和验证方法研究[J].电子学报.2017
[6].陈丹敏,孙越,陈志国.基于B方法的内存管理模型的设计[J].河南大学学报(自然科学版).2015
[7].孙岳龙.Android应用开发中内存管理优化方法的研究[D].武汉理工大学.2014
[8].张轶,关楠,王义.一种多核系统上基于页着色的内存管理方法[J].东北大学学报(自然科学版).2014
[9].汪永虎.基于内存和状态管理的模型检测方法[D].电子科技大学.2012
[10].吴立军,骆翔宇,陈清亮.基于动态内存和状态管理的模型检测新方法[J].计算机科学.2011