基于离散控制器合成的异构多核系统资源管理方法

Discrete controller synthesis based resource management method of heterogeneous multi-core processor system

近年来,随着半导体技术的发展以及应用多样化的需求,异构多核处理器已被广泛应用于高性能嵌入式系统中。这类系统面临的一个主要挑战就是如何在运行时对系统的可用资源(包括处理核等)进行管理分配从而满足系统及其所运行应用在性能和功耗等方面的需求。然而,虽然目前一些主流的资源管理技术在性能和/或功耗优化等方面取得了良好表现,但却经常对所设计的资源管理部件缺乏严格的可靠性保证,因此提出了一种基于离散控制器合成(DCS)的方法来对异构多核系统的在线资源管理策略进行自动、可靠的设计,即将形式化的、能够自动构造管理控制部件的DCS应用到异构多核系统的在线资源管理部件设计中。该方法通过采用形式化模型来描述异构系统的运行行为(例如如何为应用分配处理核),并将在线资源管理问题转换为一个面向某个系统管理目标(例如最大化应用性能)的DCS问题。在此基础上,通过现有的DCS工具对提出的方法进行了示例演示和验证,并对所使用DCS方法的可扩展性进行了评估。

Nowadays,with the development of semiconductor technology and the requirement of the diversification of applications,heterogeneous multi-core processors have been widely used in high-performance embedded systems.How to manage and distribute the available resources(such as processing cores)during running in order to meet the requirements in performance and power consumption of the system and the applications that the system runs is a main challenge that the system focuses.However,although some mainstream resource management techniques have achieved good results in terms of performance and/or power consumption optimization,they lack the strict reliability guarantee for the resource management component.Therefore,a method based on Discrete Controller Synthesis(DCS)was proposed to automatically and reliably design the online resource management scheme for heterogeneous multi-core systems,which applies DCS(which is formal and can construct management control components automatically)to the design of online resource management components for heterogeneous multi-core systems.In this method,the heterogeneous system’s running behaviors(such as how to distribute the processing cores to the applications)were described by using the formal models,and the online resource management problem was transformed to a DCS problem aiming at one system management objective(such as maximizing system performance).On this basis,the existing DCS tools were used to illustrate and validate the proposed method,and the scalability of the DCS method was evaluated.