Erlang笔记 -- 并发编程

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

1. 创建和销毁进程是非常快速的；
2. 在进程间发送消息是非常快速的；
3. 进程在所有操作系统上都具有相同的行为方式；
4. 可以拥有大量进程；
5. 进程不共享任何内存，是完全独立的；
6. 进程唯一的交互方式就是消息传递。

1. 基本并发函数

• 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函数的参数里取了两个模式，然后把它们重置为接收语句里的模式。

%% area_server0.erl
-module(area_server0).
-export([loop/0]).

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

1> Pid = spawn(area_server0, loop, []).
<0.62.0>
2> Pid ! {
   rectangle, 2, 3}.
Area of rectangle is 6
{
   rectangle,2,3}
3> Pid ! {
   square, 2}.
Area of square is 4
{
   square,2}

我们在第1行里创建了一个新的并行进程。spawn(area_server, loop, [])会创建一个执行area_server:loop()的并行进程，然后返回Pid，也就是打印出来的<0.62.0>。
在第2行里向这个进程发送了一个消息。这个消息匹配loop/0接收语句里的第一个模式：

loop() ->
    receive
        {
   rectangle, Width, Heigth}