基于概率模型检查的预拷贝动态虚拟机迁移建模与评估

2018 12th International Conference on Signal Processing and Communication Systems (ICSPCS) Pub Date : 2018-12-01 DOI:10.1109/ICSPCS.2018.8631779

A. Bashar, Nazeeruddin Mohammad, Shahabuddin Muhammed

{"title":"基于概率模型检查的预拷贝动态虚拟机迁移建模与评估","authors":"A. Bashar, Nazeeruddin Mohammad, Shahabuddin Muhammed","doi":"10.1109/ICSPCS.2018.8631779","DOIUrl":null,"url":null,"abstract":"The proliferation of cloud technologies hosting complex applications has taken availability, scalability and affordabil-ity of IT services to the next level. Live VM migration is one of the core tools that automates the process of workload transfer without interfering with the applications running in dynamic cloud environments. In this paper we propose and implement a probabilistic model checking framework to study live VM migration process. In particular, we modeled well-known precopy live migration approach and evaluated the influence of various system parameters on the performance of live migration. The proposed implementation can be used as a stepping stone for modeling more complex live migration scenarios, and it can be a very beneficial tool for cloud service providers in predetermining various critical performance parameters of their cloud data centers in relation to the optimized utilization of the valuable IT resources.","PeriodicalId":179948,"journal":{"name":"2018 12th International Conference on Signal Processing and Communication Systems (ICSPCS)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Modeling and Evaluation of Pre-Copy Live VM Migration Using Probabilistic Model Checking\",\"authors\":\"A. Bashar, Nazeeruddin Mohammad, Shahabuddin Muhammed\",\"doi\":\"10.1109/ICSPCS.2018.8631779\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The proliferation of cloud technologies hosting complex applications has taken availability, scalability and affordabil-ity of IT services to the next level. Live VM migration is one of the core tools that automates the process of workload transfer without interfering with the applications running in dynamic cloud environments. In this paper we propose and implement a probabilistic model checking framework to study live VM migration process. In particular, we modeled well-known precopy live migration approach and evaluated the influence of various system parameters on the performance of live migration. The proposed implementation can be used as a stepping stone for modeling more complex live migration scenarios, and it can be a very beneficial tool for cloud service providers in predetermining various critical performance parameters of their cloud data centers in relation to the optimized utilization of the valuable IT resources.\",\"PeriodicalId\":179948,\"journal\":{\"name\":\"2018 12th International Conference on Signal Processing and Communication Systems (ICSPCS)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 12th International Conference on Signal Processing and Communication Systems (ICSPCS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSPCS.2018.8631779\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 12th International Conference on Signal Processing and Communication Systems (ICSPCS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSPCS.2018.8631779","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

托管复杂应用程序的云技术的激增将IT服务的可用性、可伸缩性和可负担性提升到了一个新的水平。实时VM迁移是自动化工作负载传输过程的核心工具之一，它不会干扰在动态云环境中运行的应用程序。本文提出并实现了一个概率模型检验框架来研究虚拟机迁移过程。特别是，我们对众所周知的预拷贝实时迁移方法进行了建模，并评估了各种系统参数对实时迁移性能的影响。建议的实现可以用作对更复杂的实时迁移场景进行建模的垫脚石，对于云服务提供商来说，它可以是一个非常有益的工具，用于预先确定其云数据中心的各种关键性能参数，以优化有价值的it资源的利用率。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Modeling and Evaluation of Pre-Copy Live VM Migration Using Probabilistic Model Checking

The proliferation of cloud technologies hosting complex applications has taken availability, scalability and affordabil-ity of IT services to the next level. Live VM migration is one of the core tools that automates the process of workload transfer without interfering with the applications running in dynamic cloud environments. In this paper we propose and implement a probabilistic model checking framework to study live VM migration process. In particular, we modeled well-known precopy live migration approach and evaluated the influence of various system parameters on the performance of live migration. The proposed implementation can be used as a stepping stone for modeling more complex live migration scenarios, and it can be a very beneficial tool for cloud service providers in predetermining various critical performance parameters of their cloud data centers in relation to the optimized utilization of the valuable IT resources.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2018 12th International Conference on Signal Processing and Communication Systems (ICSPCS)

自引率

0.00%

发文量