JavaScript утечка памяти от закрытия лексической среды

Question

Я пытаюсь понять, почему следующий код вызывает утечку памяти

var aThing = null; 
 
var outer = function() { 
 

 
    console.log('running'); 
 
    var something = aThing; 
 

 
    var closure1 = function() { 
 
     if (something) { 
 
      console.log('something'); 
 
     } 
 
    }; 
 

 
    aThing = { 
 
     str: new Array(1000000).join('8'), 
 
     someMethod: function() {} 
 
    }; 
 
}; 
 
setInterval(outer, 1000);

Вот это показывает памяти график увеличения от Google Chrome:

но этот код, который является очень незначительным вариантом ы не вызывают такую ​​же утечку памяти:

var aThing = null; 
 
var outer = function() { 
 

 
    console.log('running'); 
 
    var something = aThing; 
 
    var closure1 = function() { 
 
     if (something) { 
 
      console.log('something'); 
 
     } 
 
    } 
 

 
    aThing = { 
 
     str: new Array(1000000).join('8') 
 
    }; 
 

 
    function someMethod() {}; 
 
}; 
 
setInterval(outer, 1000);

Вот эквивалент график, показывающий, что ГХ очистки ОК.

Я понимаю, что в первой версии есть утечка памяти, так как переменная «что-то» не порядок. Почему он включен в второй пример, но не первый?

Answer 1

Первичный ответ, что в вашем втором блоке кода, ни один из затворов (closure1 или someMethod) выживает возвращение outer (ничего вне outer относится к ним), и поэтому там не осталось ничего, что относится к контексту, где они были созданы, и этот контекст можно очистить. Однако во втором блоке кода someMethod выживает при возврате, как часть объекта, который вы назначаете aThing, и поэтому контекст не может быть GC'd.

Давайте проследим, что происходит с вашим первым блоком:

После первого исполнения outer, мы (не обращая внимания на кучу деталей):

 
      +-------------+ 
aThing----->| (object #1) |  
      +-------------+  
      | str: ... |  +--------------------+ 
      | someMethod |---->| (context #1)  | 
      +-------------+  +--------------------+ 
           | something: null | 
           | closure1: function | 
           +--------------------+ 

после выполнения на второго:

 
      +-------------+ 
aThing----->| (object #2) |  
      +-------------+  
      | str: ... |  +--------------------+  
      | someMethod |---->| (context #2)  |  
      +-------------+  +--------------------+  +-------------+       
           | something   |---->| (object #1) |       
           | closure1: function |  +-------------+       
           +--------------------+  | str: ... |  +--------------------+ 
                  | someMethod |---->| (context #1)  | 
                  +-------------+  +--------------------+ 
                       | something: null | 
                       | closure1: function | 
                       +--------------------+ 

после третий исполнитель на:

 
      +-------------+ 
aThing----->| (object #3) |  
      +-------------+  
      | str: ... |  +--------------------+  
      | someMethod |---->| (context #3)  |  
      +-------------+  +--------------------+  +-------------+                   
           | something   |---->| (object #2) |                   
           | closure1: function |  +-------------+                   
           +--------------------+  | str: ... |  +--------------------+            
                  | someMethod |---->| (context #2)  |            
                  +-------------+  +--------------------+  +-------------+       
                       | something   |---->| (object #1) |       
                       | closure1: function |  +-------------+       
                       +--------------------+  | str: ... |  +--------------------+ 
                              | someMethod |---->| (context #1)  | 
                              +-------------+  +--------------------+ 
                                   | something: null | 
                                   | closure1: function | 
                                   +--------------------+ 

Вы можете видеть, куда это направляется.

Поскольку второй блок никогда не сохраняет ссылку на closure1 или someMethod, ни один из них не сохраняет контекст в памяти.

Я немного удивлен тем, что V8 (двигатель JavaScript в Chrome) не оптимизирует эту утечку далеко, поскольку сохраняется только someMethod и someMethod фактически не используют something или closure1 (или eval или new Function или debugger), так хотя теоретически он имеет ссылки на них через контекст, статический анализ показал бы, что они фактически не могут использоваться и поэтому могут быть отброшены. Но оптимизация закрытия на самом деле легко беспокоить, я думаю, что что-то в ней беспокоит.