Erlang 123#
作者 小山 (ArcBlock 后端工程师)
之前在程序人生公众号撰写过一篇小文Erlang入坑指南,文中以6个Erlang函数介绍了一下Erlang的世界观。在ArcBlock,我们后端服务用Elixir打造。既然都用Elixir了,自然会涉及到Erlang。这篇博文是基于我们的Technical Learning Series技术培训,用3个Erlang函数带您认识Erlang的世界观。
我们的世界#
我们所生活的世界是一个并行的世界。人类总体构成一个社会,同时我们每个人也是独立的个体。每个个体都有差异,我们都有自己独立的思想,并且我和你之间不会共享记忆。举个例子,虽然新郎新娘一起经历了结婚这件事,但是在新郎的记忆里面存着的是新郎的角度经历的婚礼,新娘的记忆存的是以新娘的角度经历的婚礼。新郎新娘各有一个婚礼的记忆拷贝,但是他们之间却不共享任何记忆。
同时,人与人之间的交流完全是异步进行的。我给你发了个微信之后会继续刷我的朋友圈,你收到信息也不一定立即回复,信息的传递是完全异步进行的。所谓的同步信息传递,比如打电话,也只是我们人为地约定俗成你说一句话,然后我说一句话来进行交流。我完全可以不等你说话而自顾自地说,这时候你会觉得我没有礼貌,但是信息传递的本质其实还是异步传递。
编程语言#
自从有了计算机,我们有了编程语言,目的是为了让我们可以通过编程语言来告诉计算机做什么。一开始我们用汇编语言直接告诉计算机做什么,但是这很麻烦,所以我们发明了高等程序语言,用我们人类能理解的方式写代码,然后编译器翻译成机器语言去执行相应的命令。我们在学校所接触到的大部分高等语言都是面向对象的,面向对象的语言尝试用对象来模拟我们的真实世界,对象源于类。比如,桌上的水杯是一个水杯类的实体,该类有属性比如水杯容量,该类有方法比如接水倒水。这是很不错的模拟现实世界的方式,但是面向对象语言最大的问题就是找不到对象。
Erlang则尝试从另一个角度来模拟我们的真实世界,那就是用进程。每个进程都是独立个体,有自己的状态,互相之间不共享任何信息,进程之间的唯一通信手段就是异步消息传递。在Erlang的世界里面没有类和对象,有的只是一个个进程。Erlang的这种对世界的模拟方法和我们平时所生活的真实世界其实很像,所以理解Erlang的世界观反而会更加自然直观。接下来我们看看Erlang的世界观用代码写出来是什么样的。
hello world#
先看最简单的hello world长什么样。
-module(foo).
-export([hello/0]).
hello() ->
io:format("world~n").
在终端运行一下
$ erl
1> c(foo),foo:hello(). % c(foo)用来对foo模块进行编译生成目标文件.beam
% 每次进行改动后都要重新编译加载最新的目标文件
world
ok
接下来我们在调用io:format/1
之前加一个等待函数等待一秒钟
hello() ->
timer:sleep(1000), % 1000毫秒为1秒钟
io:format("world~n").
再次在终端调用
2> c(foo),foo:hello().
world % 1秒后打印出来
ok
如果我们调用3次,则会花3秒钟
3> foo:hello(),foo:hello(),foo:hello().
world % 1秒后打印出来
world % 2秒后打印出来
world % 3秒后打印出来
ok
spawn#
现在我们来看今天要讲的第一个函数spawn/3
。这个函数会启动一个进程,该进程会执行一个函数。
4> spawn(foo,hello,[]). % 传入的三个参数分别是模块名、函数名和函数参数
% hello函数没有参数,所以第三个参数我们传入[]表示空
<0.105.0> % 返回的这个东西叫pid,表示进程的id(process id)
world % 1秒后打印出来
如果我们调用三次,看看会发生什么
5> spawn(foo,hello,[]),spawn(foo,hello,[]),spawn(foo,hello,[]).
<0.111.0> % 返回一个pid
world
world
world % 1秒后同时打印出来3个信息
也就是说,我们通过调用spawn/3
三次开启了三个进程,每个进程等待一秒后打印信息,所以三条信息同时被打印出来。这就是并发。
所以在Erlang里面并发的概念极其简单,就是调用spawn
函数即可。要同时有100个进程并发做事,只需调用spawn
100次。简单粗暴。
send#
一个进程被启动后会有一个pid,我们可以通过该pid往进程发消息。这就好像我们可以通过电话号码给某人打电话一样。事实上当我们启动一个Erlang shell的时候,shell本身也是一个进程,我们可以给自己发条消息。
6> self() ! 1. % self()会返回自己的pid,用惊叹号表示发送消息
1
7> process_info(self(),messages). % 我们可以检查一下自己的邮箱里面的消息
{messages,[1]} % 可以看到刚才发送的1已经在邮件里面了
以上就是异步发送,是Erlang里面进程交流的唯一手段。
receive#
如何收取在邮箱中的消息呢?用receive
函数
8> receive Msg -> Msg end.
1
好了,以上就是今天要讲的3个函数。虽然很简单,但是却构建出了Erlang的世界观:该世界由进程组成,进程之间不共享任何信息,进程之间靠异步消息传递作为唯一通信手段。
Erlang能做什么?#
知道这三个函数了,接下来呢?Erlang能用来做什么呢?我们把刚才的hello/0
函数稍作修改如下:
hello() ->
receive
{Msg,From} -> % 对于任何长成{Msg,From}的信息
io:format("~p: ~p~n",[From,Msg]), % 我们将其打印出来
hello()
end.
我们重新开一个终端,这次带点参数
$ erl -sname a % -sname 可以起个名字
(a@sbs)1> c(foo),P = spawn(foo,hello,[]). % sbs是我的机器名,a是这个Erlang节点的名字
<0.107.0> % 他们共同组成我这个Erlang节点的名字a@sbs
(a@sbs)2> register(a,P). % 我们为其注册一个名字a
true
(a@sbs)3> a ! {1,node()}. % 我们可以给a这个名字发消息, node()会返回我们节点名字
a@sbs: 1 % 当进程收到该消息时将其打印出来
{1,a@sbs}
再开一个终端,起名为b
$ erl -sname b
(b@sbs)1> a ! {1,node()} % 我们往a这个名字发条消息
** exception error: bad argument % 结果出错,因为在b@sbs这个节点中并没有叫a的进程
in operator !/2
called as a ! {1,b@sbs}
(b@sbs)4> {a,a@sbs} ! {1,node()}. % 因为叫a的进程在a@sbs里面,所以我们试着往a@sbs
{1,b@sbs} % 节点中发消息
这时我们看到在b节点中,消息并没有被打印出来,但是我们再看一下a节点的终端窗口
b@sbs: 1 % 消息在a的终端窗口被打印出来了
(a@sbs)4>
短短几行代码,我们实现了一个最简单的聊天程序。原理其实非常简单,就是往某个节点的某个进程发消息,该进程收到消息后将其打印。Erlang的简洁之处在于,从语言层面来说,开发者无需关心底层的通讯协议,只需关心把什么消息发送到什么地方,以及收到消息后要如何处理该消息。