83、深入理解 Actor 服务：原理、组合与应用

深入理解 Actor 服务：原理、组合与应用

1. Actor 服务基础

Actor 服务描述了系统中消息传递的响应特性。当任何 QueryManager 实例 M 接收到查询设置消息（带有参数 Q 和 U ）时，对应的消息处理程序代码会确保向 User 参与者 U 发送一条就绪消息，即：

M.query setup(Q, U) ; U.ready(M)

所有本地服务都针对接收参与者和参数进行量化，其含义涉及消息处理程序的所有可能调用，且与程序状态无关。不过，我们可以针对特定参与者实例化本地服务。例如，在某个程序点，若变量 m 引用 QueryManager 参与者， u 引用 User 参与者，可实例化得到：

m.query setup(Q, u) ; u.ready(m)

这个参与者服务描述了这两个特定参与者的属性，其真假取决于程序状态。

2. Actor 服务组合

Actor 服务推理的一个关键方面是能够组合现有服务以推导出新的服务。假设 User 实例 u 被编程为在