Actor模型及原理

1.Actor模型

在使用Java进行并发编程时需要特别的关注锁和内存原子性等一系列线程问题,而Actor模型内部的状态由它自己维护即它内部数据只能由它自己修改(通过消息传递来进行状态修改),所以使用Actors模型进行并发编程可以很好地避免这些问题,Actor由状态(state)、行为(Behavior)和邮箱(mailBox)三部分组成

  1. 状态(state):Actor中的状态指的是Actor对象的变量信息,状态由Actor自己管理,避免了并发环境下的锁和内存原子性等问题
  2. 行为(Behavior):行为指定的是Actor中计算逻辑,通过Actor接收到消息来改变Actor的状态
  3. 邮箱(mailBox):邮箱是Actor和Actor之间的通信桥梁,邮箱内部通过FIFO消息队列来存储发送方Actor消息,接受方Actor从邮箱队列中获取消息

Actor的基础就是消息传递

2.使用Actor模型的好处:

  1. 事件模型驱动--Actor之间的通信是异步的,即使Actor在发送消息后也无需阻塞或者等待就能够处理其他事情
  2. 强隔离性--Actor中的方法不能由外部直接调用,所有的一切都通过消息传递进行的,从而避免了Actor之间的数据共享,想要
    观察到另一个Actor的状态变化只能通过消息传递进行询问
  3. 位置透明--无论Actor地址是在本地还是在远程机上对于代码来说都是一样的
  4. 轻量性--Actor是非常轻量的计算单机,单个Actor仅占400多字节,只需少量内存就能达到高并发

3.Actor模型原理

以下通过学生与教师之间的邮件通信来理解akka中的Actor模型

学生-教师的消息传递

首先先只考虑学生单向发送消息给教师(学生--->教师),如下图:

图解:

  1. 学生创建一个ActorSystem
  2. 通过ActorSystem创建ActorRef,将QuoteRequest消息发送到ActorRef(教师代理)
  3. ActorRef(教师代理)消息传递到Dispatcher中
  4. Dispatcher依次的将消息发送到TeacherActor的邮箱中
  5. Dispatcher将邮箱推送到一条线程中
  6. 邮箱取出一条消息并委派给TeacherActor的receive方法

下面再详细的解释每一步骤

StudentSimulatorApp主程序详解:

首先StudentSimulatorApp会先启动JVM并初始化ActorSystem

如上图所示,StudentSimulatorApp的主要工作为:

  1. 创建ActorSystem

    • ActorSystem作为顶级Actor,可以创建和停止Actors,甚至可关闭整个Actor环境,
      此外Actors是按层次划分的,ActorSystem就好比Java中的Object对象,Scala中的Any,
      是所有Actors的根,当你通过ActorSystem的actof方法创建Actor时,实际就是在ActorSystem
      下创建了一个子Actor。
      可通过以下代码来初始化ActorSystem

      val system = ActorSystem("UniversityMessageSystem")

  2. 通过ActorSystem创建TeacherActor的代理(ActorRef)
    • 看看TeacherActor的代理的创建代码

      val teacherActorRef:ActorRef = system.actorOf(Props[TeacherActor])

    ActorSystem通过actorOf创建Actor,但其并不返回TeacherActor而是返
    回一个类型为ActorRef的东西。
    ActorRef作为Actor的代理,使得客户端并不直接与Actor对话,这种Actor
    模型也是为了避免TeacherActor的自定义/私有方法或变量被直接访问,所
    以你最好将消息发送给ActorRef,由它去传递给目标Actor

  3. 发送QuoteRequest消息到代理中
    • 你只需通过!方法将QuoteReques消息发送给ActorRef(注意:ActorRef也有个tell方法,其作用就委托回调给!)

      techerActorRef!QuoteRequest
      等价于teacherActorRef.tell(QuoteRequest, teacherActorRef)

完整StudentSimulatorApp代码

object StudentSimulatorApp extends App{
?//初始化ActorSystem
?val actorSystem=ActorSystem("UniversityMessageSystem")
?//构建teacherActorRef
?val teacherActorRef=actorSystem.actorOf(Props[TeacherActor])
?//发送消息给TeacherActor
?teacherActorRef! QuoteRequest
?Thread.sleep (2000)
?//关闭 ActorSystem,如果不关闭JVM将不会退出
?actorSystem.shutdown()
}

QuoteRequest类

object TeacherProtocol{
?case class QuoteRequest() //请求
?case class QuoteResponse(quoteString:String) //响应
}

Dispatcher和MailBox

ActorRef将消息处理能力委派给Dispatcher,实际上,当我们创建ActorSystem和ActorRef时,
Dispatcher和MailBox就已经被创建了

  • MailBox

    • 每个Actor都有一个MailBox,同样,Teacher也有个MailBox,其会检查MailBox并处理消息。
      MailBox内部采用的是FIFO队列来存储消息,有一点不同的是,现实中我们的最新邮件
      会在邮箱的最前面。
  • Dispatcher

    • Dispatcher从ActorRef中获取消息并传递给MailBox,Dispatcher封装了一个线程池,之后在
      线程池中执行MailBox。

      protected[akka] override def registerForExecution(mbox: Mailbox, ...): Boolean = {
      ? ...
      ?try {
      ?executorService execute mbox
      ?...
      }

    • 为什么能执行MailBox?
      • 看看MailBox的实现,没错,其实现了Runnable接口

        private[akka] abstract class Mailbox(val messageQueue: MessageQueue) extends SystemMessageQueue with Runnable

TeacherActor

当ActorRef发送消息调用目标Actor的reveive方法时,MailBox中的run方法被执行,接着从消息队列中取出一条消息并传递给Actor处理

class TeacherActor extends Actor {
?val quotes = List(
??"Moderation is for cowards",
??"Anything worth doing is worth overdoing",
??"The trouble is you think you have time",
??"You never gonna know if you never even try")
?def receive = {
??case QuoteRequest => {
??import util.Random
??//从list中随机选出一条消息作为回应(这里只print并没回应学生的请求)
??val quoteResponse=QuoteResponse(quotes(Random.nextInt(quotes.size)))
??println (quoteResponse)
??}
?}
}
TeacherActor的receive方法将匹配QuoteRequest消息

参考文章: 

https://rerun.me/tag/akka/page/2/

原文地址:https://www.cnblogs.com/barrywxx/p/10284319.html

时间: 2024-08-30 03:38:23

Actor模型及原理的相关文章

.NET的Actor模型:Orleans

Orleans是微软推出的类似Scala Akka的Actor模型,Orleans是一个建立在.NET之上的,设计的目标是为了方便程序员开发需要大规模扩展的云服务, 可用于实现DDD+EventSourcing/CQRS系统. 传统的三层体系结构包括无状态的前端,无状态的中间层和存储层在可伸缩性方面是有限制的,由于存储层在延迟和吞吐量方面的限制,这对于每个用户请求都有影响.通常办法是在中间层和存储层之间添加缓存层来提高性能.然而,缓存会失去了大部分的并发性和底层存储层的语义保证.为了防止缓存和存

大数据运算模型 MapReduce 原理

大数据运算模型 MapReduce 原理 2016-01-24 杜亦舒 MapReduce 是一个大数据集合的并行运算模型,由google提出,现在流行的hadoop中也使用了MapReduce作为计算模型 MapReduce 通俗解释 图书馆要清点图书数量,有10个书架,管理员为了加快统计速度,找来了10个同学,每个同学负责统计一个书架的图书数量 张同学 统计 书架1王同学 统计 书架2刘同学 统计 书架3...... 过了一会儿,10个同学陆续到管理员这汇报自己的统计数字,管理员把各个数字加

Actor模型[转]

原文链接:http://blog.jeoygin.org/archives/477 Actor这个模型由Carl Hewitt在1973年提出,Gul Agha在1986年发表技术报告“Actors: A Model of Concurrent Computation in Distributed Systems”,至今已有不少年头了.在计算机科学中,它是一个并行计算的数学模型,最初为由大量独立的微处理器组成的高并行计算机所开发,Actor模型的理念非常简单:天下万物皆为Actor. Actor

《结构方程模型的原理与应用》的读书笔记

<结构方程模型的原理与应用>是学习结构方程的必读的著作.全书总共11章. 第一章:结构方程模型概说. 上个世纪,影响社会科学研究最大的统计方法是因素分析和回归分析.潜在结构因素分析模型和路径模型的结合,形成了结构方程模型.结构方程模型是用来处理复杂的多变量研究数据的探究和分析的方法,已经成为现在社会与行为科学中最重要的一个统计方法范式. SEM的特性1能对抽象的构念进行估计和检定.对于变量因果关系的证明或构念内在结构的确认,均有赖于研究变量的性质与内容的厘清,并清除描述变量的假设性关系,由此提

Orleans框架------基于Actor模型生成分布式Id

一.Actor简介 actor模型是一种并行计算的数学模型. 响应于收到的消息,演员可以:做出决定,创建更多Actor,发送更多消息,并确定如何响应接收到的下一条消息. 演员可以修改自己的状态,但只能通过消息相互影响(避免需要任何锁). actor是一个计算实体,当其收到消息时,可以并发执行如下操作: 1. 发送有限数量的消息给其他actor 2. 创建有限数量的新actor 3. 指定收到下一消息时的行为 在Orleans中使用的是虚拟Actor方式,详细:http://dotnet.gith

ActorLite: 一个轻量级Actor模型实现

Actor模型 Actor模型为并行而生,具Wikipedia中的描述,它原本是为大量独立的微型处理器所构建的高性能网络而设计的模型.而目前,单台机器也有了多个独立的计算单元,这就是为什么在并行程序愈演愈烈的今天,Actor模型又重新回到了人们的视线之中了.Actor模型的理念非常简单:天下万物皆为Actor,Actor之间通过发送消息进行通信.Actor模型的执行方式有两个特点: 每个Actor,单线程地依次执行发送给它的消息. 不同的Actor可以同时执行它们的消息. 对于第1点至今还有一些

Akka v2.4-ARTERY-M4,Actor 模型开发库

Akka v2.4-ARTERY-M4 发布了.Akka 是一个用 Scala 编写的库,用于简化编写容错的.高可伸缩性的 Java和 Scala 的 Actor 模型应用. 暂未发现该版本更新内容,点击下面链接保持关注更新: http://akka.io/news/ https://github.com/akka/akka/releases/tag/v2.4-ARTERY-M4 https://github.com/akka/akka/compare/v2.4-ARTERY-M4...mast

Actor模型

[原文链接] Actor模式是一个解决分布式计算的数学模型,其中Actor是基础,它能回应接收到消息,能够自我决策,创建更多的Actor,发送更多的消息,决定 如何回应下一个接收到的消息.Actor认为一切皆是Actor,类似于面向对象认为一切皆Object一样.OO的执行是顺序的,Actor模型内在设 计就是并行的. Actor是计算实体,它回复接收到的消息,能够并行的: 1. 发生有限的消息给其他Actor 2. 创建有限数目的新Actor 3. 指定小一个消息到达时的行为 这些操作并没有顺

在.NET中实现Actor模型的不同方式

上周,<实现领域驱动设计>(Implementing Domain-Driven Design)一书的作者Vaughn Vernon,发布了Dotsero,这是一个使用C#编写的.基于.NET的Actor模型工具包,它的实现参考了Akka API.Akka工具包是对Actor模型的一种实现,目前为止已经有对应Java和Scala版本的API. 今年早些时候,微软Research部门也发布了一个基于Actor模型的框架,Orleans框架的预览版.这个框架采用了云端编程模型,编写这个框架的目的在