前言
最近和同僚聊天的時候,我突然想到程序Pid格式為,其中A1代表Node值, A2, A3則代表指定Node下的程序值,開始A3為0。當A2的值增加到一定數後, A3的值加1,那麼問題來了:
1. A2增加到多少,A3加1
2. 如果A3的值也增加到這個值後會有什麼情況出現呢?
問題1
源碼:
-module(spawn_loop_infinite2).
-author("zhaoweiguo").
%% API
-export([loop/1]).
-export([do_nothing/0]).
-export([loop1/2]).
loop(N) ->
{ok, F} = file:open("aaa.txt", [append]),
loop1(F, N).
loop1(_F, 0) ->
ok;
loop1(F, N) ->
Pid = spawn(spawn_loop_infinite, do_nothing, []),
file:write(F, io_lib:format("[~p]:(~p)~n", [N, Pid])),
loop1(F, N-1).
do_nothing() ->
ok.
執行指令:
erl> spawn_loop_infinite2:loop(33000).
打開檔案aaa.txt:
[303]:(<0.32766.0>)
[302]:(<0.32767.0>)
[301]:(<0.0.1>)
[300]:(<0.1.1>)
[299]:(<0.2.1>)
結論:
A2增加到32767,A3加1
問題2
% 每次生成100萬新程序,列印下一程序的pid,休息0.1秒後再生成100萬新程序
-module(spawn_loop_infinite).
-author("zhaoweiguo").
%% API
-export([loop/2]).
-export([do_nothing/0]).
loop(N, N) ->
io:format("stop~n");
loop(M, N) ->
Add = 32768*10,
io:format("~p;", [N]),
{ok, F} = file:open("fff"++ integer_to_list(N) ++".txt", [append]),
loop1(Add, N, F),
file:close(F),
timer:sleep(10),
loop(M, N+1).
loop1(0, _N, _F) ->
ok;
loop1(Add, N, F) ->
Pid = spawn(spawn_loop_infinite, do_nothing, []),
file:write(F, io_lib:format("[~p]:(~p)~n", [Add, Pid])),
loop1(Add-1, N, F).
do_nothing() ->
ok.
在檔案fff820.txt中看到::
[296800]:(<0.32762.8191>)
[296799]:(<0.32763.8191>)
[296798]:(<0.32764.8191>)
[296797]:(<0.32765.8191>)
[296796]:(<0.32766.8191>)
[296795]:(<0.32767.7>)
[296794]:(<0.5.0>)
[296793]:(<0.7.0>)
[296792]:(<0.11.0>)
[296791]:(<0.8.0>)
[296790]:(<0.17.0>)
[296789]:(<0.16.0>)
[296788]:(<0.24.0>)
[296787]:(<0.6.0>)
...
[296755]:(<0.72.0>)
[296754]:(<0.73.0>)
[296753]:(<0.74.0>)
[296752]:(<0.75.0>)
[296751]:(<0.76.0>)
[296750]:(<0.77.0>)
[296749]:(<0.78.0>)
A3在增加到8191後就不再增加,改為使用已經回收的程序
經過很短的混亂後又變的有序起來
之後每一次A3+1都會先亂,再有序,并且亂的順序都是對的
其他發現:
% 有個有趣的發現, 在每次程序到達<0.32766.8191>後産生的下一個程序分别是:
<0.32767.7>
<0.32767.15>
<0.32767.23>
<0.32767.31>
<0.32767.39>
<0.32767.47>