Erlang并发编程-基本的并发函数

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

前言

Erlang的并发是基于进程（process）的。进程是一些独立的小型虚拟机，可以执行Erlang函数。
在Erlang里，进程隶属于编程语言，而非操作系统。这就意味着Erlang的进程在任何操作系统上都会具有相同的逻辑行为，这样，就能编写可移植的并发代码，让它在任何支持Erlang的操作系统上运行。

一、基本的并发函数

• Pid = spawn(Mod, Func, Args)
  创建一个新的并发进程来执行apply(Mod, Func, Args)。这个新进程和调用进程并列运行。spawn返回一个Pid（process identifier的简称，即进程标识符）。可以用Pid来给此进程发送消息。==请注意，元数为length(Args)的Func函数必须从Mod模块导出。当一个新进程被创建后，会使用最新版的代码定义模块。
• Pid = spawn(Fun)
  创建一个新的并发进程来执行Fun()。这种形式的spawn总是使用被执行fun的当前值，而且这个fun无需从模块里导出。
• Pid ! Msg
  向标识符为Pid的进程发送消息Message。消息发送是异步的。!被称为发送操作符。
  Pid ! M的结果被定义为M。Pid1 ! Pid2 !..! Msg的意思是把消息Msg发送给Pid1、Pid2等所有进程。
• receive…end

接收发送给某个进程的消息。它的语法如下：

receive
    Pattern1 [when Guard1] ->
        Expressions1;
    Pattern2 [when Guard2] ->
        Expressions2;
    ...
end

当某个消息到达进程后，系统会尝试将它与 Pattern1 （以及可选的关卡 Guard1 ）匹配，
如果成功就执行 Expressions1 。如果第一个模式不匹配，就会尝试 Pattern2 ，以此类推。
如果没有匹配的模式，消息就会被保存起来供以后处理，进程则会开始等待下一条消息。

当spawn命令被执行时，系统会创建一个新的进程。每个进程都带有一个邮箱，这个邮箱是和进程同步创建的。给某个进程发送消息后，消息会被放入该进程的邮箱。只有当程序执行一条接收语句时才会读取邮箱。定义area/1函数的代码如下：

%% geometry.erl
area({rectangle, Width, Heigth}) -> Width * Heigth;
area({square, Side}) -> Side * Side.

现在把这个函数改写成一个进程。为此，我们从 area 函数的参数里取了两个模式，然后把
它们重置为接收语句里的模式。

loop()->
    receive
			{rectangle,Width,Ht}->
				io:format("Area of rectangle is ~p~n",[Width*Ht]),
				loop();
			{square,Side}->
				io:format("Area of square is ~p~n",[Side*Side]),
				loop()
		end.

–执行结果为：-

1> c(area_server).
{ok,area_server}
2> Pid=spawn(fun area_server:loop/0).
<0.84.0>
3> Pid!{rectangle,6,10}.
Area of rectangle is 60
{rectangle,6,10}       
4> Pid!{square,3}.
Area of square is 9
{square,3}
5>

我们在第2行里创建了一个新的并行进程。 spawn(fun area_server:loop/0) 会创建一个执
行 area_server:loop() 的并行进程，然后返回 Pid ，也就是打印出来的 <0.84.0> 。
在第3行里向这个进程发送了一个消息。这个消息匹配 loop/0 接收语句里的第一个模式：
收到消息之后，这个进程打印出矩形的面积。最后，shell打印出 {rectangle, 6, 10} ，这
是因为 Pid ! Msg 的值被定义为 Msg 。