M(qwmj)WEA(M) j nvj
M(qwm1)M(qwmtnp) min , , nvtnp nv1 (9) M(q)nvj,}j∈{1, 2, …, tnp},|WEA(M)|表示集合WEA(M)中的其中,min_wec min{(wmj
元素个数。
(2)tji:即时变迁,结合库所qwmj,pmi与pmj一起描述虚拟机的动态迁移策略。可实施谓词为:
M(qwmi) f(tji):(M(pmi) 0) nvi
M(qwmj).x min_ec ( i j, pci
M(qwmj).xM(qwmj).x M(qwmj).x ) Bpcpcij
M(qwmj).xM(qwmj).x min_ec min , , pcpc 1tnp (10) (11)
其中,i j,且i = j∈{1,2,…,tnp}。
随机开关gji (M)为:
MDP(M)|, i j j MDP(M) gij(M) 0,otherwise
MDP(M) j
M(qwmj).x min_ec pci (12)
M(qwmi).xM(qwmi).x M(qwmi).x i j, Bpcjpci (13)
其中,|MDP(M)|表示集合MDP(M)中的元素个数,i = j∈{1,2,…,tnp}。tij表示虚拟机从服务器PMi迁移到PMj,与tji类似就不再复述。
5 性能分析
根据上文所述,我们在这一章中将基于稳态概率,进一步分析EAMC'模型的性能和能耗。与其他建模方法相比,如马尔可夫决策过程,DSSPN可以使用Petri网工具(如SPNP)中继承的功能实现自动推导出状态的稳态概率,而不需要再使用随机数学公式进行计算[20]。如表2所示,即时仅有2台服务器的可迁移云的状态也能达到几百甚至上千个。
可达状态数
发生变迁数 283 923 569 1977 1088 3928 1594 5842
(1)在时刻t,PMj上正在运行的虚拟机个数nwvj (t)