列表垃圾收集

Question

如果我做了以下內容：

List2 = [V || V <- List1, ...] 

看來，列表2是指在List1和Erlang：garbage_collect（）不清晰的記憶。如何創建一個沒有引用的新列表並丟棄舊的？

Answer 1

VM應該管理垃圾收集。如果您使用gen_server，或者如果您使用的是「自制」 server_loop（州），你應該總是相同的模式：

server_loop(State) -> 
    A = somefunc(State), 
    B = receive 
      mesg1 -> func1(...); 
      ... 
     after Timeout -> 
      func2(...) 
     end, 
    NewState = func3(...), 
    server_loop(NewState). 

只要過程是活的，在執行這個循環中，VM將分配和管理內存區域以存儲所有需要的信息（變量，消息隊列... +一些餘量）據我所知，爲進程分配了一些備用內存，並且如果VM不嘗試恢復內存在它被釋放後很快，但是如果你強制垃圾收集，使用erlang：garbage_collect（Pid），你可以驗證內存是否空閒 - 參見下面的示例。

startloop() -> spawn(?MODULE,loop,[{lists:seq(1,1000),infinity}]). 

loop(endloop) -> ok; 
loop({S,T}) -> 
    NewState = receive 
     biglist -> {lists:seq(1,5000000),T}; 
     {timeout,V} -> {S,V}; 
     sizelist -> io:format("Size of the list = ~p~n",[length(S)]), 
          {S,T}; 
     endloop -> endloop 
    after T -> 
     L = length(S) div 2, 
     {lists:seq(1,L),T} 
    end, 
    loop(NewState). 
    %% Here, NewState is a copy of State or a totally new data, depending on the 
    %% received message. In general, for performance consideration it can be 
    %% interesting to take care of the function used to avoid big copies, 
    %% and allow the compiler optimize the beam code 
    %% [H|Q] rather than Q ++ [H] to add a term to a list for example 

和VM中的結果：

2> P = lattice:startloop(). 
<0.57.0> 
... 
6> application:start(sasl). 
.... 
ok 
7> application:start(os_mon). 
... 
ok 
... 
11> P ! biglist. 
biglist 
... 

％get_memory_data（） - > {合計，分配，最壞}。

14> memsup:get_memory_data(). 
{8109199360,5346488320,{<0.57.0>,80244336}} 
... 
23> P ! {timeout,1000}.    
{timeout,1000} 
24> memsup:get_memory_data(). 
{8109199360,5367361536,{<0.57.0>,80244336}} 

最壞的情況下是循環處理：{< 0.57.0>，80244336}

... 
28> P ! sizelist.    
Size of the list = 0 
sizelist 
... 
31> P ! {timeout,infinity}. 
{timeout,infinity} 
32> P ! biglist.      
biglist 
33> P ! sizelist.   
Size of the list = 5000000 
sizelist 
... 
36> P ! {timeout,1000}.  
{timeout,1000} 
37> memsup:get_memory_data(). 
{8109199360,5314289664,{<0.57.0>,10770968}} 

%%注意在前面的行中的垃圾收集：{< 0.57。 0>，10770968}

38> P ! sizelist.    
sizelist 
Size of the list = 156250 
39> memsup:get_memory_data(). 
{8109199360,5314289664,{<0.57.0>,10770968}} 
... 
46> P ! sizelist.    
Size of the list = 0 
sizelist 
47> memsup:get_memory_data(). 
{8109199360,5281882112,{<0.57.0>,10770968}} 
... 
50> erlang:garbage_collect(P). 
true 
51> memsup:get_memory_data(). 
{8109199360,5298778112,{<0.51.0>,688728}} 

％GC後，過程< 0.57.0>不再是最壞的情況

Answer 2

如果您按照這種方式創建新列表，則新列表將包含第一個列表中的元素，一些元素將在這兩個列表之間共享。如果將第一個列表拋出，共享元素仍然可以從新列表中訪問，並且不會算作垃圾。

如何檢查第一個列表是否被垃圾收集？你在erlang控制檯中測試了嗎？控制檯存儲每個表達式的評估結果，這可能是您看不到列表垃圾收集的原因。

Answer 3

在使用垃圾收集的任何語言中，只需要在「垃圾收集」之前「丟失」所有對某段數據的引用。只需從生成原始列表的函數返回，而不將其存儲在任何其他「持久性」位置（例如過程字典）中，就應該允許回收內存。