http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Formal Description of the Virtual Machines System Framework
Xiaodong Liu,Li He,Hating Xu 보안공학연구지원센터 2015 International Journal of Multimedia and Ubiquitous Vol.10 No.3
Virtual resources have the duality of hardware and software, which brings new challenges to virtual resources management and manipulation. There is urgent need for formally describing virtual resources in order to effectively reason about virtual resources allocation, scheduling and management. This paper describes the virtual resources and their dynamic behavior. We first give the formal definition of the resources pool and the virtual machine (VM). Then, we describe the dynamic behavior of VMs. In particular, we present a formal description of how virtual resources are used by VMs. This paper reveals the logical laws of virtual resources and their dynamic behaviors and makes the virtualization theory system more rigorous.