Using priced timed automaton to analyse the energy consumption in cloud computing environment |
| |
Authors: | Zhigang Deng Guosun Zeng Qi He Yunjie Zhong Wei Wang |
| |
Institution: | 1. Department of computer Science and Technology, Tongji University, Shanghai?, 201804, China 2. School of Electronics & Information Engineering, Jinggangshan University, Ji’an?, 343009, Jiangxi, China 3. Tongji Branch, National Engineering & Technology Center of High Performance Computer, Shanghai?, 201804, China
|
| |
Abstract: | According to the fact that cloud servers have different energy consumption on different running states, as well as the energy waste problem caused by the mismatching between cloud servers and cloud tasks, we carry out researches on the energy optimal method achieved by a priced timed automaton for the cloud computing center in this paper. The priced timed automaton is used to model the running behaviors of the cloud computing system. After introducing the matching matrix of cloud tasks and cloud resources as well as the power matrix of the running states of cloud servers, we design a generation algorithm for the cloud system automaton based on the generation rules and reduction rules given ahead. Then, we propose another algorithm to settle the minimum path energy consumption problem in the cloud system automaton, therefore obtaining an energy optimal solution and an energy optimal value for the cloud system. A case study and repeated experimental analyses manifest that our method is effective and feasible. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|