spawn/1 和共享外部变量

Question

对于以下片段：

outer_func(State) ->
    spawn(fun()-> do_something(State) end).

State 是否会共享或深度复制到生成的进程堆？

Answer 1

会被深拷贝。这是一个简单的演示：

1> State = lists:seq(1, 1000000).
[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,
 23,24,25,26,27,28,29|...]
2> DoSomething = fun(State) -> io:format("~p~n", [process_info(self(), memory)]) end.
3> spawn(fun() -> DoSomething(State) end), spawn(fun() -> DoSomething(State) end), spawn(fun() -> DoSomething(State) end).
{memory,16583520}
{memory,16583520}
{memory,16583520}

与此相反，这是当状态是一个大型二进制文件时的输出，当与多个进程共享时永远不会 "deep" 复制：

1> State = binary:copy(<<"a">>, 50000000).
<<"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"...>>
2> DoSomething = fun(State) -> io:format("~p~n", [process_info(self(), memory)]) end.
3> spawn(fun() -> DoSomething(State) end), spawn(fun() -> DoSomething(State) end), spawn(fun() -> DoSomething(State) end).
{memory,8744}
{memory,8744}
{memory,8744}

因此，具有 1 到 100 万整数列表的进程使用了大约 16MB 的内存，而具有大型二进制文件的进程使用了 8KB（二进制文件实际上应该是其中可以忽略不计的一部分）。

spawn/1 和共享外部变量

spawn/1 and sharing of the outer variables

erlang

heap-memory

spawn