Xen虚拟机Credit调度算法的实时性能分析  

Analysis of Real-time Performance of Algorithm Credit in Xen Virtual Machine

作　　者：张天宇[1] 关楠[1] 邓庆绪[1] 

机构地区：[1]东北大学信息科学与工程学院,沈阳110819

出　　处：《计算机科学》2015年第12期115-119,共5页Computer Science

基　　金：国家自然科学基金(61472072);国家973预研计划项目(2014CB360509);国家科技支撑计划项目(2012BAF13B08)资助

摘　　要：为了降低开销以及增加灵活性,通过虚拟化技术将多个系统运行在一个通用计算平台上已成为复杂实时嵌入式系统的趋势。Xen是近年来应用最广泛的虚拟化技术,对其默认使用的Credit调度算法进行实时性能分析,使得能够直接对运行在Xen上的实时系统进行可调度性测试,并且可以通过形式化的资源界限函数对Credit的实时性进行直观的评估。首先分析了Credit调度算法的基本实现,提出并且证明了一种配置VCPU参数的方法使得Credit的实时性得到提升,在此基础上,通过证明得到了Credit算法的基本性质,并得出其在最坏情况下为VCPU分配的资源函数曲线。The development of complex real-time embedded systems has become a trend in recent years. To reduce cost and enhance flexibility, multiple systems are sharing common computing platforms via virtualization technology. We studied the real-time performance of algorithm Credit in Xen which is the most popular virtual machine monitor. Firstly we analyzed the basic implementation of Credit which is the default scheduling algorithm in Xen virtual machine. Then we proposed and proved an effective method that can configure VCPU parameters to improve the real-time performance of Credit for promotion. On this basis, we finally obtained the resources function curve SBF allocated for VCPU in the worst case by showing and getting the basic properties of Credit scheduling algorithm.

关 键 词：虚拟化 XEN 调度算法 实时系统 资源界限函数 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]