28、可移动服务组件建模与轻量级桌面即服务解决方案

可移动服务组件建模与轻量级桌面即服务解决方案

可移动服务组件建模

在可移动服务组件的建模中，首先会涉及到扩展生成矩阵 (Q’) 的定义。其相关公式如下：

Q'(i,j) = 0;
Q'(i, H +1) = pjQ(i,j);
Q'(i, H +2) = (1 - Pt )Q(i,j)
Q'(H + 1,H +2) = l /Dtail,
Q'(H +2,j) = l /Di,j 

其中，(Q’) 的对角元素需要相应调整。若组件 (i) 和 (j) 放置在同一实体上（(c(i) = c(j))），则 (Q’(i,j) = Q(i,j))。使用矩阵来表示远程通信延迟，能够区分与远程调用相关的参数/数据大小不同的组件。在后续的数值示例中，对于所有的 (i) 和 (j)，采用 (D_{i,j} = 1)。

扩展生成矩阵 (Q’) 包含了到达状态 (N)（假定为服务成功状态）的相类型分布，可应用标准矩阵计算来得出矩、尾概率或密度值。

执行时间模型存在多种变体。例如，当前方法假设网络以概率 (1 - P_t) 正常运行，此时远程组件调用可成功完成。也可考虑在远程组件调用期间网络连接失败的情况，这对应于图中从状态 (H + 2) 到状态 (H + 1) 的转移。同样，比指数分布更一般的网络停机时间可以通过用状态的相类型框替换状态 (H + 1) 来表示。

数值结果

为了说明服务失败和执行时间模型，以文本编辑器服务为例给出了数值结果。
- 文本编辑器示例服务 ：该编辑器示例用于展