38、基于SRMC的Web服务定量分析

基于SRMC的Web服务定量分析

1. 服务器探测与xsp语言

在服务器分析中，存在不同类型的探测方式。一种可能是服务器内存在多个故障点；另一种探测方式则是将防护置于 :stop 标签本身，这意味着当首次进入没有服务器处于故障状态时，该探测会认为通道已终止。xsp语言有其完整的语法规则。

2. 多模型的马尔可夫建模

在从PEPA模型生成连续时间马尔可夫链（CTMC）的过程中，会遇到著名的状态空间爆炸问题。PEPA模型规模的微小增加，或者模型中某个或某些组件的种群规模的变化，都可能导致生成的CTMC的不同状态数量急剧增加。虽然可以通过聚合的方法在一定程度上缓解这个问题，但效果有限。

为避免状态空间爆炸，我们从单个随机资源马尔可夫链（SRMC）模型生成大量的PEPA模型，且每个模型可独立求解。由于不通过增加单个大型PEPA模型的复杂性来建模不确定性，只要每个派生的PEPA模型本身不是太大，就能避免状态空间爆炸。这些生成的PEPA模型甚至可以在网格或集群计算环境中的多台机器上并行求解，属于并行计算领域中“易于并行化”的问题。

不过，使用CTMC技术可求解的模型规模仍然较小。例如，即使只有数千个用户和数百个服务器进程，生成的CTMC状态空间也会大到难以管理。因此，我们只能分析系统的一部分，如一组服务器进程的性能。为此，我们修改SRMC模型，为每种服务器进程设置一个模型，即设置 NRP 、 NPC 、 NFS 和 NPS 的值都为1。这样可以减少客户端数量，因为有些客户端会由其他服务器进程服务。在这