CBS算法的RTAI内核调度器设计

近年来基于双内核架构增强Linux操作系统实时性的RTAI[1](Real-Time Application Interface)在工业控制等硬实时领域已经得到了越来越多的应用。本文提出的调度器通过采用基于服务策略的CBS算法对RATI内核下的EDF调度器进行扩展,可以保证分配一定的CPU资源供Linux上的软实时应用,即使在有硬实时任务并发时也能得到处理器资源。实验结果证明了基于CBS算法扩展RTAI内核调度器的正确性。

面向乱序执行漏洞测试的ARM处理器核隔离方法

随着spectre,meltdown为代表的处理器微架构漏洞的发现,微架构安全漏洞逐渐引起了学术界的关注,针对相关微架构漏洞的自动化测试方案陆续出台.但是在真实的测试环境中,测试微架构环境会被中断或被调度系统打断干扰,造成有效测试用例的遗漏.因此提出面向乱序执行漏洞测试的ARM处理器核隔离方法.该方法通过利用ARM处理器与Linux内核对中断及调度的管理机制及相应的进程同步机制,在测试过程中将处理器核隔离出中断与调度系统,保证测试指令块的运行不会被中断及调度程序打断,并通过设计相应的同步机制保证进程切换过程中不会被其他进程插入执行,保证测试的有效性.

μC/OS-Ⅱ内核分析

嵌入式系统在目前的应用中越来越广泛,嵌入式实时操作系统也成为操作系统研究领域的一个新方向,与其他实时操作系统相比,μC/OS-Ⅱ以其内核小巧、源码开放、可裁剪、占用空间小、可移植性强等多种特性在嵌入式实时操作系统中占有很重要的地位,该论文就μC/OS-Ⅱ的内核进行了分析,为做移植提供了技术支持。