【摘 要】
:
嵌入式系统是专用计算机系统,其以现代计算机技术为基础,面向应用,能够根据用户需求灵活裁剪软硬件模块,具备结构简单、软硬件资源需求低和定制化程度高等特点,目前已广泛应用于医疗健康、工业自动化、自动驾驶、消费电子等诸多领域。为有效控制系统成本,硬件中核心处理器通常资源受限,难以设计复杂的安全保护机制,软件上为提高运行性能、降低内存开销和增强底层硬件控制能力,普遍采用内存不安全的编程语言进行实现,缺乏必
论文部分内容阅读
嵌入式系统是专用计算机系统,其以现代计算机技术为基础,面向应用,能够根据用户需求灵活裁剪软硬件模块,具备结构简单、软硬件资源需求低和定制化程度高等特点,目前已广泛应用于医疗健康、工业自动化、自动驾驶、消费电子等诸多领域。为有效控制系统成本,硬件中核心处理器通常资源受限,难以设计复杂的安全保护机制,软件上为提高运行性能、降低内存开销和增强底层硬件控制能力,普遍采用内存不安全的编程语言进行实现,缺乏必要的内存访问安全检查机制。利用内存访问漏洞的攻击由于入口广、实施简单和危害程度高,已经成为嵌入式系统所面临安全威胁的重要组成形式。为提升嵌入式系统运行时内存安全性,降低安全机制实现的软硬件开销,本文提出了元数据并行嵌入式处理器体系结构,研究了基于元数据扩展和并行处理实现内存安全机制对处理器硬件设计和软件编程的影响,设计并实现了一款内存安全增强型32位RISC处理器,验证了所提方案的有效性和实用性。使用元数据抽象描述了内存访问模型并论证了其在内存安全实现中的有效性。通过对编程语言定义中内存模型进行形式化描述,引入元数据严格定义内存访问操作中目标内存状态空间,借助形式化推理系统证明了元数据约束下无限内存模型的访问安全性,并将该模型及其访问操作在有限内存空间的处理器模型上进一步细化实现,通过合理组织元数据并扩展设计指令集,实现了内存访问指令能且只能访问程序定义中目标内存状态,即内存访问安全,为元数据并行体系结构提供了理论基础。基于现有通用嵌入式处理器体系结构引入元数据系统,提出了元数据并行体系结构并验证了其提升内存安全的有效性。本文研究了元数据存储和并行处理对处理器软硬件设计的影响,主要包括:详细定义了时间、空间和类型元数据结构及其存储组织形式,设计了独立寄存器文件和元数据处理指令集来存储和处理元数据,实现了用户模式下指令级数据隔离和安全检查,提供了完整的元数据编程接口。评估结果表明所设计元数据并行嵌入式处理器可以准确检测内存安全测试集RIPE(Runtime Intrusion Prevention Evaluator)中全部可用的攻击向量,能够有效提升程序运行时内存安全性,但元数据引入了平均10.93%和227.82%的内存空间和访问次数开销。研究了从处理器体系结构层面优化元数据内存空间和访问效率的方法。通过扩展处理器数据访问通路宽度,采用聚合时间元数据表征范围,挖掘空间元数据域间信息冗余并实现编码复用,设计元数据感知内存访问控制单元和层次化元数据缓存等方法,使得优化后元数据平均内存空间和访问开销降至7.79%和5.50%。提出了软件定义元数据结构及其处理规则的方法,实现安全机制按需自定义设计。通过解耦合元数据处理单元硬件实现与元数据具体定义,并支持安全规则编程,使设计者可以根据安全目标选择性设计已知或创造性定义新型安全机制,提高了安全设计的灵活性和可扩展性。采用ASIP(Application Specific Instruction-set Processor)开发流程设计并实现了一款基于RV32IM指令集和元数据并行体系结构的5级顺序流水线内存安全处理器RV5Z,完整地收集了指令集功能覆盖率,并系统地分析了元数据机制的软硬件开销。Mi Bench评估结果显示测试程序的代码空间平均增加了4.96%,数据空间平均增加了7.79%,相应的数据内存访问延迟平均增加了1.63%,而程序总体运行周期则平均增加了4.71%,与业界类似内存安全硬件方案处于同等水平;基于TSMC 28nm工艺的硬件实现结果显示元数据机制增加了26.09%的资源,低于业界类似方案39.04%至110%的资源开销,最高工作频率为587MHz,相比没有扩展元数据机制的参考处理器实现略微下降了1.17%,最终芯片面积约0.054mm~2。相比于现有业界领先的内存安全硬件实现方案,本文所提出的处理器架构及其实现具有软硬件开销小,安全机制实现灵活且可扩展的优点,在嵌入式安全领域具有较好的安全和开销平衡优势,对嵌入式安全处理器体系结构探索和设计实现有积极的理论和实践意义。
其他文献
2021年3月,中共中央发布的《中华人民共和国国民经济和社会发展第十四个五年规划和2035年远景目标纲要》明确指出要加快数字化发展,推进数字产业化和产业数字化,推动数字经济和实体经济深度融合,打造具有国际竞争影响力的数字产业集群。数字经济作为发展最快,最具有潜力的经济增长点,成为我国重要发展战略,受到社会各界的广泛关注。由于数字经济相关理论及应用在我国起步较晚,又存在迫切的实践需求,因此针对数字经
随着我国经济建设的快速发展,工业烟气污染物排放量日益增加,近年来,我国对生态环境保护与固废资源化利用研究给予了高度重视,在工业烟气二氧化硫(SO2)的污染控制方面取得了显著成效,湿法脱硫技术是当前燃煤烟气脱硫的主流工艺技术,其副产物—脱硫石膏的资源化利用,特别是高含尘脱硫石膏的资源化利用已成为当前亟待解决的重要课题。针对脱硫石膏开展的资源化利用开展了较多研究并取得了成功,但目前我国的脱硫石膏资源化
煤与瓦斯突出发生时伴随极强的动力效应,突出冲击波及煤-瓦斯两相流掩埋会造成一定的人员伤亡;突出的瓦斯可能逆风流进入进风系统,扩大事故的范围,造成更多人员窒息伤亡;遇有火源,还可能引起瓦斯煤尘爆炸,造成更大的人员伤亡。研究煤与瓦斯突出动力学行为特征可以为制定科学的防灾救灾措施,防止突出灾害扩大提供理论指导。本文以巷道煤与瓦斯突出抛出物动力学特征为研究主体,基于现场案例分析,运用空气动力学理论知识,分
住房问题是当今世界各国共同面临的难题。本世纪以来,面对日益攀升的房价和中低收入家庭住房困难的加剧,我国在加强房地产市场调控以遏制房价过快上涨的同时,持续加大对特定住房困难群体的住房救助力度。《法治社会建设实施纲要(2020-2025年)》明确指出,法治社会是保障权利的社会,尤其要保障困难群体、特殊群众的正当权益。于此背景下,研究特定住房困难群体在住房救助方面的权利保障问题,无疑具有十分重要的理论和
“有恒产者有恒心”,解决居民住房问题是群众生活和谐、社会稳定的保障。住房公积金作为我国最重要的政策性住房金融制度,在推动住房市场化发展,提高职工住房消费水平等方面发挥了重要作用。然而,随着经济社会的快速发展,住房公积金支持住房消费的政策效应依然饱受争议,甚至有人提出应当废除住房公积金制度。在新时代的住房需求下,提高对住房消费的支持力度是住房公积金改革的重要内容,也是解决居民住房问题的重要任务。本文
协同制造通过企业间资源共享,实现资源优化配置,以应对快速变化的市场需求和日趋激烈的竞争。协同制造模式下企业围绕产品制造和服务而聚集形成价值关系连接的协同制造网络,正成为企业共享资源获取竞争优势的有效手段。知识传播既是协同制造网络中资源共享的重要内容,而广泛的知识传播又是协同制造网络成功的重要保障。然而,知识在现实系统中广泛传播并非必然,如何让协同制造网络中知识传播活跃,探明其传播的动力机制是本领域
目前空调的广泛使用大幅增加了建筑能耗,并导致了严重的建筑病态综合症等相关建筑空调病症,引起了人员对室内空气质量的抱怨。针对建筑能耗高和室内空气质量差这两个问题的科学回应就是设计和开发建筑用新型的被动式通风降温技术。所谓新型被动式通风降温技术应具有减小建筑得热、强化建筑散热和为建筑提供新鲜空气的功能。将太阳能烟囱(solar chimney)与土壤-空气换热器(earth-air heat exch
镁合金板材有限的成形性能极大的限制了其在轻量化领域的广泛应用。而弱基面织构镁合金板材的开发使这一问题的解决成为可能,但是其塑性变形机制(位错滑移和孪生)的演变规律尚未得到深入研究。本研究选用Mg-2Zn-0.1Ca合金板材为研究对象,采用准原位拉伸测试、扫描电镜测试(SEM)、电子背散射衍射测试(EBSD)及数字图像相关(DIC)等技术结合滑移迹线分析手段对样品进行了力学性能、微观结构、应变分布和
这篇论文试图回答两个问题:一、十七世纪欧洲作家描述中国的时候,为什么他们不愿意接受新儒家的“统一”概念作为事物共同起源的这种思想?进而转向第二个问题,即宋明理学家究竟是如何处理统一问题的?对这两个问题的问答是本文一般的脉络。而回答这两个问题主要基于三种的文字材料:第一种材料是在欧洲由耶稣会家所出版的描述中国古代哲学的书籍;第二种材料是利玛窦写给中国知识分子的书籍(特别是他的对话式著作——《天主实义
高光谱遥感将光谱技术与成像技术相结合,对地物的反射电磁波进行连续密集获取,其采样通道数可达上百个。高光谱图像海量的光谱信息能够区分不同地物的细节,可为地物精细分类提供判别依据,在资源勘探、精准农业、城市规划和目标识别等领域被广泛应用。然而,其具有数据量大且冗余信息多、光谱维度高且呈现复杂非线性等特点,给高光谱图像分类任务带来了巨大挑战。因而,如何寻求有效的特征学习方法、建立符合数据特点的数学模型以