导读:本文包含了硬件资源优化论文开题报告文献综述及选题提纲参考文献，主要关键词:系统崩溃,程序分析,符号执行,模型检查
硬件资源优化论文文献综述
卡纳阿尼尔（Anil,Kumar,Karna）[1]（2017）在《优化硬件资源使用：一种避免软件应用崩溃的技术》一文中研究指出随着计算机硬件和相关软件的快速发展,软件开发的质量控制已成为开发者需要面对的重要挑战。软件开发的复杂度随着硬件结构的变化和软件功能的增加而愈加复杂,而增长的软件代码又引入了新的错误。在关键系统中,一个小错误也有可能造成巨大的财产生命损失。因此,为了使程序能够稳定执行并且免于造成自身和系统的崩溃,开发人员花费了大量的时间精力用于检查和消除程序中的错误。免于崩溃的软件应用上的开发和研究工作引起了工业界和学术界的广泛兴趣,相关工作通常会在编程语言及编译器、应用程序行为、操作系统行为、程序测试以及验证等多个方面展开。软件质量在系统的可靠性中起着非常重要的作用,因此当软件应用不能保证高可用时,系统整体的可靠性也无法得到保证。在构造免崩溃软件的过程中,本论文通过研究在程序分析、程序测试和程序验证等过程中提高检测错误能力的方法,提出了RUSH分析框架,实现了在软件源代码的编译之前,编译过程中和编译后等各个阶段对软件程序及运行系统的错误分析。RUSH的第一个方向是编译前代码分析。在软件发布之前主要有代码分析、程序测试和程序验证等过程,本论文主要关注于通过在代码分析和验证技术中优化CPU核心和其他硬件资源使用的方法提高穷尽型代码分析技术(符号执行)和验证技术(模型检查)的性能以实现软件的免崩溃。本论文通过分析KLEE和Cloud9(KLEE的并行版本)等具有代表性的符号执行引擎的源代码发现在CLOUD9中存在3处性能瓶颈,分别为:CPU核心之间的通讯时间差、加载均衡器的任务传输策略和针对KLEE的已求解条件的缓存管理策略。为解决上述瓶颈,本论文(1)通过优化的参数对通讯时间差进行调优,以及早发现空闲核心;(2)修改任务分发算法,仅将任务分配到空闲核心上;(3)增加新的参数选项以调优已求解约束缓存列表的大小,进而削减搜索约束缓存的时间。通过实验评估发现,经过本论文方法调优的Cloud9与原始Cloud9相比,在执行中平均多释放出140%~150%的核心数。值得一提的是,在某些情况下,对缓存策略的修改可以降低500%的执行时间。另一方面,为深入了解目前最新的模型检查工具和技术,本论文通过广泛的文献调研研究了其在软件工程中的作用。本论文通过对其在软件调试、约束求解、和恶意软件检测方面应用现状的观察,发现模型检查被广泛应用于软件和系统验证中。本论文的研究可帮助判断是否可以通过模型检查技术验证一个实际软件应用以生成免崩溃版本的应用。模型检查在实际应用中面临着严重的状态爆炸问题。为解决该问题,本论文通过分析模型检查器Spin的源码,提出了有限深度优先广度搜索算法。该算法合并了深度优先和广度优先算法,将现有的手动解决方案自动化。实验表明,对于大部分Spin因状态爆炸而不能处理的程序,本论文的算法可以成功执行并发现反例。RUSH的第二个方向为代码的编译中分析。编译器的质量在很大程度上决定了生成二进制代码的健壮性和性能。虽然编译器已经得到广泛的研究,但是很少有涉及到对生成二进制代码的健壮性的研究。本论文对流行的C语言编译器,包括GCC、Intel、SUN、PGI、LLVM和Visual Studio等,进行了比较研究以分析编译器在不同操作系统平台上对二进制代码健壮性的影响。实验结果表明,GCC是GNU/Linux平台上的最佳编译器,PGI在基于UNIX的系统上优于Intel,但是Intel和VS则在Windows平台上表现更优。RUSH的第叁个方向为编译后分析。尽管经过了上述各个阶段的代码错误检测和验证,最终的发布版本仍然可能存在遗漏的错误并引发程序或系统的崩溃,而用户不得不忍受可能的问题直到下一次修复补丁的发布。为解决这一问题,本论文提出了Anticrasher工具持续地分析硬件资源的使用和其他系统基本进程的运行以防止可能产生的崩溃。该工具可以在用户端防止大多数流行操作系统的崩溃。综上所述,RUSH框架关注于通过在软件程序的编译前、编译中和编译后的研究,使软件应用免于崩溃。该框架增强了代码分析工具的能力,检查了验证工作的作用,分析了可生成健壮二进制代码的C编译器,以及创建了Anticrasher工具。为支持针对多系统的研究,本论文创建并使用了基于USB硬盘驱动器的多操作系统安装工具。(本文来源于《上海交通大学》期刊2017-03-01）
王明远[2]（2006）在《把握叁个环节,优化硬件资源》一文中研究指出要想在年底的预算会上说服老总接受信息系统每年“庞大”的硬件采购计划,CIO一定要有一套合理的硬件投入方案才行。(本文来源于《中国计算机用户》期刊2006年42期）
李树盛,杨碧波[3]（2005）在《基于指令统计的SOPC硬件资源优化技术》一文中研究指出在可编程片上系统(System on P rogramm ab le Ch ip,SOPC)中,特定应用程序中用到的指令是软核CPU指令集的子集,如果在FPGA中实现软核CPU时仅保留应用程序用到的指令子集,将可以提高硬件资源利用率.文中分析了对应用程序进行指令统计的方法,重点介绍了通过修改HDL文件对8051软核CPU指令集进行删减和扩充的技术.采用这一技术设计的SOPC芯片硬件资源利用率得到了显着的提高,降低了系统成本,适用于可编程逻辑资源受到限制和对成本敏感的嵌入式应用中.(本文来源于《中北大学学报(自然科学版)》期刊2005年06期）
秦宗全[4]（1999）在《优化NOVELL软件环境充分利用硬件资源》一文中研究指出NOVELL3．12无盘工作站组成的网络，能运行的软件非常有限，每个应用软件，都得精挑细选。本文结合实际应用，给出了具体实现DOS单用户软件、WINDOWS3．2及WINDOWS下多种软件在NOVELL无盘工作站上顺利安装运行的优化设置方法。(本文来源于《浙江万里学院学报》期刊1999年01期）
硬件资源优化论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
要想在年底的预算会上说服老总接受信息系统每年“庞大”的硬件采购计划,CIO一定要有一套合理的硬件投入方案才行。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
硬件资源优化论文参考文献
[1].卡纳阿尼尔（Anil,Kumar,Karna）.优化硬件资源使用：一种避免软件应用崩溃的技术[D].上海交通大学.2017
[2].王明远.把握叁个环节,优化硬件资源[J].中国计算机用户.2006
[3].李树盛,杨碧波.基于指令统计的SOPC硬件资源优化技术[J].中北大学学报(自然科学版).2005
[4].秦宗全.优化NOVELL软件环境充分利用硬件资源[J].浙江万里学院学报.1999