最成熟的Actor框架

今天给大家推荐是由瑞士的团队Asynkron出品的Actor框架protoactor-go,Actor模型是一种适用于高并发的编程模型。

早在1973 年 Carl Hewitt 发表的论文中定义了Actor,但一直流行于Erlang 语言中。

Erlang 被爱立信公司应用于建立高并发、可靠通信系统,取得了巨大成功,著名的rabbitMQ 就是Erlang的代表作。

Java 语言的 Akka 库里面角色的API 跟Scala 框架里面角色相似,后者一些语法模仿Erlang语言。

Golang中 始终缺乏一个代表性的Actor 框架,Golang自身的协程处理被广大Golang推崇,但从生产实践来看,在大规模并发的情况下,协程并不是最佳的方案,使用Actor框架编写大规模并发服务通常被认为是更好的选择。

推荐理由

从目前gitHub 上的Star数量观察, protoactor-go 是唯一个star 过千的Actor框架,由于背后有专业团队持续维护,因此稳定性有保证,同时protoactor-go有.Net/Golang/Java/Kotlin 的跨语言平台的实现,给开发者提供了更多系统集成的方案, 特别是在互联网公司,多语言共同开发环境下,优势明显。

Actor模型概述

Actor模型为并行而生,为解决高并发场景的一种编程思路。

在Actor模型中,主角是Actor,类似一种worker,Actor彼此之间直接发送消息,不需要经过什么中介,消息是异步发送和处理的; 所谓 "一切皆是Actor",所有逻辑或者模块均别看做Actor,通过不同Actor之间的消息传递实现模块之间的通信和交互。

Actor模型描述了一组为了避免并发编程的常见问题的公理:

  1. 所有Actor状态是Actor本地的,外部无法访问。
  2. Actor必须只有通过消息传递进行通信。
  3. 一个Actor可以响应消息:推出新Actor,改变其内部状态,或将消息发送到一个或多个其他参与者。
  4. Actor可能会堵塞自己,但Actor不应该堵塞它运行的线程。

介绍

The Actor Model provides a higher level of abstraction for writing concurrent and distributed systems. It alleviates the developer from having to deal with explicit locking and thread management, making it easier to write correct concurrent and parallel systems.

特性

Minimalistic API - The API should be small and easy to use. Avoid enterprisey JVM like containers and configurations.

Build on existing technologies - There are already a lot of great tech for e.g. networking and clustering, build on those. e.g. gRPC streams for networking, Consul.IO for clustering.

Pass data, not objects - Serialization is an explicit concern, don't try to hide it. Protobuf all the way.

Be fast - Do not trade performance for magic API trickery.

Ultra fast remoting, Proto Actor currently manages to pass over two million messages per second between nodes using only two actors, while still preserving message order! This is six times more the new super advanced UDP based Artery transport for Scala Akka, and 30 times faster than Akka.NET.

重点

该框架目前仍然是Beta版本状态,但已经被很多团队使用在生产环境,官网提示当该版本到达1.0后,API接口可能会发生改变,因此如果考虑迭代中版本兼容的问题,使用protoactor-go上生产确实不是一个最佳选择。

后记

在构建分布式高并发、容错通信平台,对比Java Akka,Erlang,Rust actix的光环,protoactor-go确实不算很耀眼,但是作为Golang开发者,protoactor-go 几乎是目前最好的选择。

希望大家能从protoactor-go学到有价值的东西。

愿我们在 Go 语言的学习之路上 从此结伴而行

关注一下→