什么是Actor

约定不等于承诺〃 2022-06-17 12:25 31阅读 0赞

严肃的说,演员是一个广泛的概念,作为外行人我对Actor 模型的定义:

Actor是一个系统中参与者的虚拟人物,Actor与Actor之间是可以相互沟通,所有的沟通都是通过Message

比如说一个呼叫中心,数以百万计的客户可能会呼叫一个1-800的号码,并与许多可能的客户服务代表进行对话

![438221-20170425212350725-1579866135.png][]

向这样类型的交互可以使用演员建模

![438221-20170425212533944-1983097217.png][]

在Actor模型中,一切都是Actor,就想在面向对象编程(OOP)中一切都是"Object"一样.在OOP中,你需要使用类和对象进行建模,在Akka中,你可以使用Actor和Message进行建模

以下是Akka中基本例子

###### .Net ######

![ContractedBlock.gif][]

###### Scala ######

![ContractedBlock.gif][]

###### Java ######

![ContractedBlock.gif][]

# 什么是Message #

可能已经注意到了BasicActor中定义的方法

###### .Net ######

![ContractedBlock.gif][]

###### Scala ######

![ContractedBlock.gif][]

###### Java ######

![ContractedBlock.gif][]

该OnReceive方法是Actor接收Message的地方,在Akka中,一个Message就是一个Object,Message可以是任意类型的实例

Actor通常只能处理特定类型的Message,如果Actor收到无法处理的Message,则不会触发任何异常,一般只是将Message标记为"unhandled"  
Message是不变的

什么是"不可变"的对象呢?

不可变对象:是一个对象中的状态(即该对象在内存中的内容)一旦被实例化就不能修改

类似于String类型([.net中 string][.net_ string])

不可变的Message本质上是线程安全的.没有线程可以修改不可变Message的内容,所以接收到原始Message的第二个线程不必担心以前的线程有修改Message的可能

因此,在Akka中,所有消息都是不可变的,线程也是安全的,这也是为什么可以让上千万Akka的Actor同时处理消息的原因之一.正式不可变的Message消除了同步机制和其他不必要的代码

# Actor的行为 #

我们大概了解了Actor和Message,那这些如何用?

## Actor通过Message进行通信 ##

在OOP中,对象通过函数调用与其他对象进行通信.A类在B类上调用一个函数,并等待该函数返回,然后A类可以继续其余工作.在Akka和Actor模型中,Actor之间通过Message进行通信

![438221-20170425225656334-1501018779.png][]

那有什么特别的呢?

对于初学者来说,消息传递是异步的,发送Message的Actor可以在接收的Actor处理发件人的Message时继续执行其他工作.所以Actor之间的互动,默认情况下都是异步的

还有另一个变化

由于所有"函数调用"都被Message代替,即对象的不同实例,因此Actor可以存储其函数调用的历史记录,甚至延迟处理一些函数调用

想象一下,如何使用一个Actor来构建像Microsoft Word中的“撤消”按钮这样的功能?默认情况下，你有一个Message代表每个人对文档所做的更改.要撤消其中一个更改，只需要将消息从UndoActor的垃圾邮件中删除,并将该更改推送回管理Word文档的当前状态的另一个Actor。在实践中这是一个非常强大的概念。

## Actor发送Message到地址，而不是直接发送给Actor ##

位置透明

什么是位置透明,位置透明意味着无论在何时向Actor发送Message,都不需要知道他们在系统中的位置,可能这个Message覆盖数百台计算机,所以只需要知道Actor的地址.

![438221-20170425231429834-1583494507.png][]

就像给别人打电话一样,你只需要知道电话号码,其他的电信供应商就会帮你连通.

Actor的工作方式也是一样,每个Actor都包含了以下部分地址

![438221-20170425231706897-2097376191.png][]

Protocol(协议):就像网络上使用的Http和Https一样,Akka支持多种传输协议用于进程间的通信.单进程Actor系统默认协议是akka://如果使用的远程或者集群,则通常会使用akka.tcp://或者akka.udp://在节点之间进行通信

ActorSystem(Actor系统):在akka的每个ActorSystem实例必须在启动时赋予一个名称,该名称可以由所有参与分布式的多个进程或者计算机共享ActorSystem.

Address(地址):如果不使用远程处理,则ActorPath可以省略这一部分,这部分是用来传达用于Actor系统之间的远程通信的具体IP地址/域名和端口信息

Path(路径):这是一个特定Actor在地址上的路径,结构就像一个网站的Url,所有用户定义的actor都是在/user/下

因此,要向Actor发送消息:

###### .Net ######

![ContractedBlock.gif][]

###### Scala ######

![ContractedBlock.gif][]

###### Java ######

![ContractedBlock.gif][]

向远程Actor发送Message就像本地Actor一样,这就是位置透明的意思

## 发送给Actor地址的所有Message都是放置在属于Actor的"邮箱"中 ##

当向Actor发送Message时,该Message不会直接进入Actor的OnReceive方法.

Message被放置在按照FIFO(先进先出)顺序排列的"邮箱"中,就像C\#中Queue<T>(java中LinkedList)数据结构一样.邮箱有一个非常简单的工作,接收和挂起邮件,直到Actor准备好处理它们.

当Actor准备处理Message时,邮箱将把Message推送到Actor的OnReceive方法中,并运行Actor的消息处理方法.

## Actor只能一次处理一个Message ##

![438221-20170425234339397-494011461.png][]

Akka中保证参与者处理Message时,Actor的上下文和内部状态都是线程安全的

之所以这样的原因是:

因为Message是不可变的,所以每个Message的内容本质上是线程安全的

因为Message是串行处理的,所以更改一个actor的内部状态和上下文都不需要跨多个线程进行同步

因此,一个Actor在它的OnReceive方法退出之前,都无法处理下一个Message.当处理完时,邮箱会将下一个可用的Message推送到OnReceive方法中

## Actor可以拥有内部状态 ##

就像任何类一样,Actor可以拥有自己的属性和字段

当一个Actor重启时,actor实例就像我们这个BasicActor类的一个实例一样被销毁并重新创建.

BasicActor创建新的一个实例,通过Props把构造函数的参数传递给新的实例

## Actor有一个明确的生命周期 ##

在Actor可以从邮箱中开始处理Message之前,必须由Actor系统进行实例化并运行其生命周期.

![438221-20170425235555115-93778469.png][]

Actor被创建并启动,然后会花费大部分时间接收消息,如果不再需要Actor,可以终止或者停止Actor

如果Actor以外崩溃(即抛出未处理的Exception),Actor的父级将从头开始自动重启Actor的生命周期,而不会丢失仍在Actor邮箱中的剩余的Message

结合之前的例子BasicActor中实现这个生命周期:

Actor's constructor(构造函数):BasicActor没有中并没有声明,而是使用了默认的构造函数,当然也可以使用任何带参数的构造函数

PreStart:这是在actor可以开始接收消息之运行,是放置初始化逻辑的好地方,在重启时会被调用

PreRestart:如果Actor意外失败(即抛出未处理的Exception),Actor的父级会重启Actor

PostStop:一旦Actor停止并且不再接收消息,就会被调用,这里可以处理清理引用对象,PostStop在Actor重启时不会调用,只有在人为关闭时才调用

PostRestart:在PreRestart之后,PreStart之前被调用,这是可以处理崩溃错误和诊断报告

![438221-20170426001629615-70291538.png][]

##  每个Actor都有父级,有的有子级 ##

就像人一样,Actor有父母,有的有祖父母,兄弟姐妹和孩子

![438221-20170426001823506-1962032946.png][]

这意味着每个Actor都必须由其他Actor创建,所以我们代码:

###### .Net ######

![ContractedBlock.gif][]

###### Scala ######

![ContractedBlock.gif][]

###### Java ######

![ContractedBlock.gif][]

在/user/根Actor下创建一个新的Actor,新的Actor的路径就是/user/myActor

同样,还可以在BasicActor中创建其他Actor

###### .Net ######

![ContractedBlock.gif][]

###### Scala ######

![ContractedBlock.gif][]

###### Java ######

![ContractedBlock.gif][]

这样childActor的路径就是/user/myActor/child1/

## 父级监督子级 ##

在关于Actor生命周期的部分中,提到了"Actor是由他们的父级进行重启"的概念.这就类似于,每个家长都收到他们孩子发的特别的消息"求助,我要崩溃了".

每个父级都带有默认的SuperviserStrategy对象(可以自定义).该对象决定了如何处理他们的子级Actor的失败.有三种方式:

Restart:重启失败的Actor,父级默认方式,除非子级在60秒内反复重启

Stop:永久停止失败的Actor

Escalate:将决定交给父级的父级处理

当发出一个Restart或者Stop 的Message,受影响的所有的子级包括自己都会重启或者停止.当然,也可以重启失败的Actor的actor家族树整个部分

[438221-20170425212350725-1579866135.png]: /images/20220617/f2ed9f5715cf4078aa90e2859f88da04.png
[438221-20170425212533944-1983097217.png]: /images/20220617/5f94b8cd4edb4c74a18f9b35aabc6e30.png
[ContractedBlock.gif]: /images/20220617/ea34c43cabee4112adc7e8c7cf216520.png
[.net_ string]: http://stackoverflow.com/questions/2365272/why-net-string-is-immutable
[438221-20170425225656334-1501018779.png]: /images/20220617/574eb542e90a4bc68a9ba67bb06dfaac.png
[438221-20170425231429834-1583494507.png]: /images/20220617/59896e1a2f004b1da57d549309b5eaa3.png
[438221-20170425231706897-2097376191.png]: /images/20220617/02d8e53efd0c457890056ee0948248c2.png
[438221-20170425234339397-494011461.png]: /images/20220617/d903daa44aef42eea20d01c4ecf7714f.png
[438221-20170425235555115-93778469.png]: /images/20220617/638f00ff8be14d8b90bcb8d745e04dd3.png
[438221-20170426001629615-70291538.png]: /images/20220617/99c47ec5a9594a2c8a4e675e07b1b3ac.png
[438221-20170426001823506-1962032946.png]: /images/20220617/f14a8fba71f449b1a8231bf0fdf5924c.png