【摘 要】
：
本文设计并实现了一套面向RISC-V的汇编程序语义等价性自动化测试系统.在面向RISC-V开发软件时,尤其是基于扩展指令(例如向量指令)编写高效的程序时,很难避免以手写汇编的方式编写代码.例如,为标准的C函数库编写相应的向量版函数.与编译器自动生成的代码不同,手写的汇编代码虽然可以最大限度地提高程序的效率,但因绕过了编译时对程序的约束(如类型检查、寄存器分配等)而对开发者提出了更高的要求.能否对新
【机 构】
：
军事科学院国防科技创新研究院,北京100097
论文部分内容阅读
本文设计并实现了一套面向RISC-V的汇编程序语义等价性自动化测试系统.在面向RISC-V开发软件时,尤其是基于扩展指令(例如向量指令)编写高效的程序时,很难避免以手写汇编的方式编写代码.例如,为标准的C函数库编写相应的向量版函数.与编译器自动生成的代码不同,手写的汇编代码虽然可以最大限度地提高程序的效率,但因绕过了编译时对程序的约束(如类型检查、寄存器分配等)而对开发者提出了更高的要求.能否对新版本与标准版本的汇编程序进行快速地、自动化的语义等价性测试,将大大影响代码的正确性和软件开发和调试的效率
其他文献
肾病综合征患者由于大量蛋白尿,伴有不同程度低蛋白血症、血浆胶体渗透压降低,进而引起水钠潴留及全身水肿,出现大量腹腔积液,严重时并发急性肾损伤,威胁患者生命安全[1,2].临床主要采取药物治疗本病,但病程漫长,治疗期间易并发多种并发症,影响疾病治疗效果.相关研究显示[3],多数肾病综合征合并大量腹腔积液患者对于病情缺乏准确全面的认知,自我护理能力差,常因未及时发现水肿与体质量变化而延误病情,影响治疗效果.因此,加强对肾病综合征合并大量腹腔积液护理干预,提升患者健康认知水平与自护能力,在降低并发症风险、增强疾
糖尿病是目前威胁全人类健康的主要非传染性疾病之一,目前我国的糖尿病患者数约为1.1亿例,且近年来呈现年轻化的趋势,因为中青年的健康管理意识缺乏,加上学习、工作、生活等压力较大,导致患病率也不断提升[1].2型糖尿病是其中最为常见的类型,其以持续性高血糖为特征,虽然经过临床治疗后患者的病情会有所改善,但是出院后患者往往由于自我管理意识较低而导致血糖控制不佳,随着病情的发展,将会对机体脏器造成损伤,严重影响患者的生活质量.因此,加强延续性的健康管理对患者意义重大,它将直接影响患者病程及病情控制的好坏.常规护理
异位妊娠是指孕卵在子宫腔外着床发育的异常妊娠过程,以输卵管妊娠最为常见,具有反复发作、剧烈腹痛等急性症状,甚至可发生休克表现[1].异位妊娠目前常采用腹腔镜下输卵管开窗病灶清除术进行治疗,但手术不仅会为患者带来身体创伤,还会导致患者产生焦虑、抑郁等不良情绪[2].快速康复外科是一种新型护理理念,可加速患者术后康复,降低术后并发症发生风险[3].同时低频脉冲治疗仪可通过特定的治疗脉冲信号,打通人体经络,促进血液循环,有利于术后患者康复、减轻疼痛,缓解心理压力[4].
应用型、技术技能型人才的培养要求学生具有扎实的专业能力和突出的实践应用能力[1,2].《医学影像检查技术》课程是医学影像技术专业一门技术性、职业性、临床性很强的专业核心[3].目前大多数高校的医学影像检查技术学的实践环节采用传统的示教模式,即教师在检查临床患者的同时进行“围观式”教学[4],学生在示教过程中仅仅是观摩学习.利用案例教学法(case based learning,CBL)联合标准化患者(standardized patients,SP)是指将临床的病例经过标准化、系统化培训后通过情景模拟表现
腹腔镜胆囊切除术(LC)是治疗胆囊息肉及胆囊结石等胆道疾病的主要方法,多数患者对手术治疗缺乏深刻认知,加之医护人员工作责任意识不高、手术配合差等多种因素影响,易增加安全隐患事件发生风险,影响手术顺利进行[1,2].加强手术室护理干预和配合是保证手术顺利进行的关键.常规护理未重点关注医护人员之间配合,导致手术流程条理性较差,应用效果有限.手术室护理路径具有严格的护理流程和时间框架,依照路径表开展有计划的护理工作,使护理更加流程化、合理化,有助于提高护理效率,更好地促进患者术后康复[3,4].本研究将探讨手术
膝关节置换术是临床对重度关节疾病治疗的重要手段,能够有效重建关节功能、解除关节疼痛、恢复下肢正常力线、提高患者生活质量[1,2].但其仅能提供为患者改善功能的条件,患者术后需经连续、长期的功能锻炼才能获得良好的术后康复效果[3,4].本研究回顾分析2019年2月至2020年5月在我院行膝关节置管术治疗的90例老年患者临床资料,分析膝关节置换术后老年患者康复锻炼依从性状况及其影响因素,为临床制定相应的护理干预措施提供指导,现报告如下.
聚焦田间杂草清除领域,首先介绍了除草机器人的产生背景及其应用价值,并回顾了除草机器人国内外发展现状.然后,重点分析了除草机器人的结构组成及相关技术,并展望了除草机器人的未来发展趋势.最后,作了总结.
手术是治疗腰椎间盘突出症(lumbar disc herni-ation,LDH)的主要方法,但多数患者术后受疼痛、症状好转等因素影响,护理依从性较差,无法坚持良好的康复训练,增加疾病复发风险,影响功能康复[1,2].“一病一品”特色化护理以循证护理为基础,通过全面正确评估患者躯体、心理状态,制定具有专科特色的护理措施,从而达到恢复机体健康的目的[3].本研究将探讨“一病一品”特色化护理模式应用于LDH患者中的效果,现报告如下.
开源指令集RISC-V自2011年推出,至今已有10个年头.作为一个新兴的指令集架构,其发展势头非常迅猛,受到产业界和学术界的广泛关注.RISC-V的崛起,给体系结构、系统软件等领域带来了新的机遇和挑战.RISC-V指令集架构的开放性、模块化、高度可定制的特点也使其成为体系结构和系统软件创新的理想实验平台.
RISC-V指令集架构具有模块化、可扩展等特性.基于RISC-V架构的处理器,可以在整数指令集的基础之上,有选择地支持官方标准指令集扩展,以及非标准的用户自定义指令集扩展.这也意味着,对于每个新增的自定义扩展指令集,用户都需要自己在编译工具链中实现相应支持.通过分析LLVM编译框架,研究RISC-V自定义扩展指令支持的通用方法,并以玄铁C910自定义指令集为例进行实现和验证.为基于LLVM基础架构的RISC-V自定义指令集扩展研究与实现提供借鉴.