31、ReServE服务与连续Petri网并行计算方法解析

ReServE服务与连续Petri网并行计算方法解析

1. ReServE服务概述

ReServE服务可被建模为对外部服务的调用。该服务需保证在重新执行时，与外界的交互不会重复。而且，一个服务的失败不应强制其他服务回滚，服务的强制回滚也不应导致其他服务回滚。

若服务状态显示已发送某些响应，但这些响应丢失，我们会将服务强制回退到更早的恢复点，以重新生成响应。不过，这种回滚可能会引发恢复点之后调用的服务级联回滚，这严重违反了服务提供者（SP）的自主性。因此，只要架构有可能无法实现业务流程的一致状态，我们就会暂停对外部服务的调用。

2. 模拟实验与性能评估

为了定量评估ReServE服务的性能，我们进行了模拟实验，主要关注无故障处理情况下该服务引入的开销。由于要保证系统在故障发生时的正确行为，预计会有显著的性能损失。实验的具体内容如下：
- 实验环境 ：使用具有SuSE Linux 11.1内核2.6.27.45 - 0.1 - default操作系统、Intel Pentium 4 3.20GHz x 2处理器和2.9 GB RAM的工作站。服务及其代理服务器运行在同一工作站上，服务使用RestLet 1.1环境实现，代理服务器使用MProxy 0.4。稳定存储采用PostgreSQL数据库，客户端应用及其代理服务器使用JMeter 2.3.4软件。
- 实验设置 ：每个客户端工作站依次使用10到100个线程进行模拟实验，由于使用了10个客户端工作站，最多有1000个线程同时运行。每个线程重复模拟实验500次。假设服务实现的时间是恒定的，设置为100 ms，这被认为