Modeling And Application Of Inter-process Communication In Virtual Environment Based On Pi-calculus

In recent years, due to the promotion of computer science and technology, service and applications supported by virtual machine technology has developed rapidly.At present, the virtual machine technique has been extended to many fields of computer. Virtual machine technology can help to solve the integration of server resources and improve the utilization rate of equipment.It can provide the isolation of runtime environment, help developers to analyze the compatibility issues of sofeware and also avoid risk caused by malicious software. Using technology can achieve realtime transfer of operating system and application sofeware so as to solve the problem of server load balance, complete the maintenance and upgrade of server and provide assistance in constructing a system which has high reliability. Cloud virtual host genetated from the combination of virtual technology and cloud computing greatly promotes the applications of cloud services.This thesis introduces the virtual principle and key technology in Xen and the inter-process communication of Xen virtual machine in the thesis is analyzed specifically. By using Pi-calculus that is process algebra as model of inter-process communication, this thesis establishs Pi-calculus model for the process of virtual machine domain management of Xen, the process of inter-process communication running on the same physical machine, the process of communication between domains on different physical machines. Then it analyzes the transfer of data and control in the process of the model.Finally, the tool of MWB has been used to validate the execution steps of Pi-calculus model and whether any deadlocks exist in it.Verification results prove that the model of inter-process communication is correct and ground a well foundation for the analysis and improvement of the projects of process communicaton in virtual machine.