摘要
随着spectre,meltdown为代表的处理器微架构漏洞的发现,微架构安全漏洞逐渐引起了学术界的关注,针对相关微架构漏洞的自动化测试方案陆续出台.但是在真实的测试环境中,测试微架构环境会被中断或被调度系统打断干扰,造成有效测试用例的遗漏.因此提出面向乱序执行漏洞测试的ARM处理器核隔离方法.该方法通过利用ARM处理器与Linux内核对中断及调度的管理机制及相应的进程同步机制,在测试过程中将处理器核隔离出中断与调度系统,保证测试指令块的运行不会被中断及调度程序打断,并通过设计相应的同步机制保证进程切换过程中不会被其他进程插入执行,保证测试的有效性.
With the discovery of processor microarchitecture vulnerabilities represented by spectre and meltdown,microarchitecture security vulnerabilities have gradually attracted the attention of academia,and automatic testing schemes for related microarchitecture vulnerabilities have also been proposed.However,in the real test environment,the test microarchitecture environment will be interrupted and disturbed by the scheduling system,resulting in the omission of effective test cases.Therefore,this paper proposes an arm processor core isolation method for out-of-order execution test.By using the management mechanism of interrupt and scheduling between ARM processor and Linux kernel and designing the corresponding process synchronization mechanism,this method can isolate the processor core from the interrupt and scheduling system during the test process,so as to ensure that the operation of test instruction block will not be interrupted by interrupt and scheduling program.The corresponding synchronization mechanism is designed to ensure that the process switching process will not be inserted and executed by other processes,so as to ensure the effectiveness of the test.
作者
赵旭
王佳慧
张伟
马利民
Zhao Xu;Wang Jiahui;Zhang Wei;Ma Limin(School of Computer,Beijing Information Science&Technology University,Beijing 100101;State Information Center Information and Network Security Department,Beijing 100045)
出处
《信息安全研究》
CSCD
2023年第4期347-355,共9页
Journal of Information Security Research
基金
国家重点研发计划项目(2020YFC1522702)。