Hypervisor-Based Multicore Feedback Control of Mixed-Criticality Systems
Hypervisor-Based Multicore Feedback Control of Mixed-Criticality Systems
复制标题
混合关键系统的基于管理程序的多核反馈控制
DOI：
10.1109/access.2018.2869094
复制
发表时间：
2018
期刊：
影响因子：
3.9
通讯作者：
P. Bonnot
中科院分区：
文献类型：
--
作者：
A. Crespo;P. Balbastre;J. Simó;J. Coronel;D. Gracia Pérez;P. Bonnot
混合批评系统最有前途的方法之一是使用基于管理程序的多核执行平台。几个成功的欧盟项目基于这种方法，并克服了这种方法引入的一些困难。但是，由于在计算机中使用共享资源而导致的COTS系统的干扰是未解决的问题之一。在本文中，我们试图为此问题提供现实的解决方案。本文提出了一种反馈控制方案，该方案在管理员级别上实施，并透明分区（关键和非关键）。控制方案定义了两种控制器类型。一种类型的控制器是通过限制非关键核心的总线访问来限制共享资源的使用。第二种类型测量临界核心的活性，并在性能降低时作用于非关键核心。该管理程序使用性能监视器单元，该单元提供由管理程序配置和处理的事件计数器。本文提出了在管理程序级别上的两种控制策略，可以保证执行关键分区。讨论了这两种策略的优势和缺点。控制理论需要确定要控制的过程。因此，必须确定关键分区的活动以调整控制器。提出了一种处理控制器调整的方法。一组实验将显示控制器参数的影响。
One of the most promising approaches to mixed-criticality systems is the use of multi-core execution platforms based on a hypervisor. Several successful EU Projects are based on this approach and have overcome some of the difficulties that this approach introduces. However, interference in COTS systems due to the use of shared resources in a computer is one of the unsolved problems. In this paper, we attempt to provide realistic solutions to this problem. This paper proposes a feedback control scheme implemented at hypervisor level and transparent to partitions (critical and non-critical). The control scheme defines two controller types. One type of controller is oriented towards limiting the use of shared resources by limiting bus accesses for non-critical cores. A second type measures the activity of a critical core and acts on non-critical cores when performance decreases. The hypervisor uses a performance monitor unit that provides event counters configured and handled by the hypervisor. This paper proposes two control strategies at hypervisor level that can guarantee the execution of critical partitions. Advantages and drawbacks of both strategies are discussed. Control theory requires to identify the process to be controlled. In consequence, the activities of the critical partitions must be identified in order to tune the controller. A methodology to deal with controller tuning is proposed. A set of experiments will show the impact of the controller parameters.