面向软错误的程序可靠性优化技术研究

来源 :国防科技大学 | 被引量 : 0次 | 上传用户:lihai3120
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在大气层外的空间环境中,存在大量电子、质子和重离子等高能带电粒子,这些粒子会造成航天器半导体电路发生单粒子效应。单粒子效应是由于高能带电粒子对于集成电路一次轰击所造成的故障,主要包括单粒子翻转、单粒子功能中断和单粒子瞬态故障,这一类故障又被称为软错误。在航天领域由于高能粒子辐照的存在,系统可靠性十分容易收到软错误的影响。软错误对程序可能造成很多负面影响。其中静默数据损坏是指在软错误的影响下,程序正常执行至结束但是结果发生错误。由于这一特性,静默数据损坏被视为软错误影响下对程序可靠性影响最大的负面因素,所造成的负面影响可能会造成很严重的后果。现代的编译器在编译过程中会提供优化功能。编译优化会可能对指令顺序进行调换,对指令数量进行删减,这样就会导致错误传播过程发生改变,从而影响程序发生软错误的可能性,进一步影响程序发生静默数据损坏的可能性。然而,编译器提供的编译优化选项往往是针对程序性能提升进行设计,对于程序可靠性的提升并不显著。其次,编译器提供的编译优化选项具有普适性不具有针对性,无法针对特定的程序实现可靠性的显著提升。因此,针对不同的程序,要想使得编译优化选项效果最优就需要对编译优化选项进行配置,调整编译优化通道的顺序和数量。本文主要针对编译优化对于基于软错误的程序可靠性的影响展开研究,提出基于编译优化技术的程序可靠性优化方法,从以下两方面展开工作:(1)在LLVM编译框架的基础上,结合程序可靠性分析模型,研究LLVM编译优化通道以及子序列对于程序可靠性的影响,对编译优化序列与程序可靠性之间的关系进行定量分析,为针对特定程序生成特定的编译优化序列打下基础;(2)对强化学习的算法特性进行分析研究,提出基于强化学习的面向程序可靠性的编译优化序列生成框架P2OR,并设计深度强化学习模型POACER并实现强化学习模型。通过智能体的探索与策略学习,为特定程序生成可靠性提升最为显著的编译优化序列,并通过实验进行验证。
其他文献
<正>陶渊明的田园诗平淡自然,无论是在叙事、状物还是写景上都展现出朴质无华的特点。诗歌的内容大都贴近生活,感情非常浓厚、真挚。这些诗描写的都是田园生活中的寻常小事,表达了诗人对田园生活的喜爱之情。在《归园田居》中,陶渊明写的都是生活中常见的景物、寻常的人与事,整首诗充满了生活气息。下面,笔者就从景物与生活两个方面谈谈《归园田居》的平淡之美。一、寻常的景物陶渊明在写景时并不追求景物的形似,不会刻意描
期刊
随着雷达的发展和普及,雷达成为空间目标信息获取及态势感知的重要途径。在利用雷达对城区进行侦察监视时,由于密集建筑物的遮挡,电磁波信号通常无法直接以视距路径传播至目标,对于雷达而言,待侦察监视的目标则是非视距目标。这种隐蔽非视距目标,对常规雷达探测技术提出了新要求。本文基于城区隐蔽非视距目标探测在城市巷战、安防、防暴反恐等领域的实际应用需求,针对隐蔽非视距目标的探测及定位问题,采用与传统雷达利用视距
学位
<正>教学目标:语言建构与运用:抓重点词句,领会诗歌质朴的语言及表达的情感。思维发展与提升:通过自主、合作、探究,体会作者返朴归真的人生志趣和人生境界,进一步了解其文其人。审美鉴赏与创造:提炼表现陶渊明思想志趣的语句进行探究式学习。文化传承与理解:了解作者辞官归隐的原因,深刻体会诗人鄙弃官场,对田园生活无限热爱欣赏之情。
会议
当今,世界各国对超燃冲压发动机研究不断深入,其中超燃冲压发动机控制技术的研究重要性不言而喻,本文正是对超燃冲压发动机分布式控制系统方案的研究。把双冗余TTE总线技术应用于超燃冲压发动机分布式控制系统方案设计中,可以大大提高控制系统的实时性与可靠性。首先,本文建立了超燃冲压发动机流道(进气道、燃烧室、尾喷管等组件)及燃油供应系统(包括电机泵、调节阀等组件)数学模型并利用MATLAB建立超燃冲压发动机
学位
随着未来战争形式的改变,无人作战已经逐步占据重要地位,中小型战术无人机方便灵活、利于部署,得到了广泛关注。由于战术无人机作战任务特殊,有在失速攻角附近飞行的可能性,为了保证其飞行的安全性,需要具有缓失速特性;另外,其作战环境复杂,为了降低对起降环境的要求以及提高长航时能力,需要具有高升力、高升阻比。为了获得以上性能,论文从二维翼型出发,对高升力缓失速翼型和高升力分段翼型进行设计与分析。缓失速翼型可
学位
基于雷达的非接触生命体征检测技术是以电磁波为载体,穿透衣服、墙壁等非金属介质检测人体呼吸、心跳、体动等生命参数的前沿技术,该技术不受光照气温等环境条件限制,能够实时精确感知运动人体随时间变化的轨迹以及检测人体微动特征。除了用于临床生命体征检测,在军事反恐、消防救援、家居健康监护等多个领域也得到广泛应用,具有重要的研究价值和巨大的市场潜力。近年来,雷达生命体征检测技术的研究主要围绕雷达传感器系统开发
学位
氮(N)、磷(P)元素超标排放是造成水生态问题的主要原因。其中磷作为富营养化的限制性因素,又是一种不可再生资源,从污水厂富集并回收磷资源切实可行。为此,本研究采用厌氧/好氧交替附着生长生物脱氮蓄磷-碳源调控回收磷系统(Biofilm Bio-Nutrient removal Carbon source regulated Phosphorus Removal,BBNR-CPR),进行生物脱氮同时蓄
学位
随着空间技术的飞速发展,人类探索太空的脚步正一步步深入。然而,随着人类空间活动的增加,空间碎片的问题日益凸显,空间环境持续恶化,给航天器安全在轨运行造成极大风险。因此,提高航天器应对空间碎片撞击的定位、评估、分类能力成为一项尤为迫切的需求。基于声发射的在轨检测技术因其资源占用率低、结构限制小、可实现实时监测等特性得到了广泛的关注,并成功开展了空间应用。但泄漏声发射信号是一个宽频的微弱信号,并且舱内
学位
《“十四五”体育发展规划》指出,要深挖体育消费潜力,促进体育服务消费提质扩容,探索激发体育消费潜力的长效机制(1)。体育消费实现高质量发展必然离不开网络经济的推动,同时,网络渠道的多样化和网络消费的便捷性又催生出体育消费需求,大大增加了消费者对同一品牌或店铺进行重复购买的可能性。研究消费者重购行为,是企业识别客户需求、提高顾客消费黏性、激发消费潜力长效机制的突破口。大学生是网络消费的主力军,在一定
学位
灌丛是陆地生态系统中重要的植被类型之一,在水土保持和涵养水源方面具有重要的生态功能。广西壮族自治区因其特殊的地理环境和喀斯特地貌,水土流失严重。本文以该地区所分布的牡荆(Vitex negundo)、红背山麻杆(Alchornea trewioides)、羊蹄甲(Bauhinia purpurea)、杜茎山(Maesa japonica)四种典型灌丛为研究对象,通过野外调查和室内实验,在对群落的物
学位