JavaScript kapanışları çöp nasıl toplanır

Kodumda birçok ciddi ve açık olmayan bellek sızıntısına yol açan aşağıdaki Chrome hatasını girdim :

(Bu sonuçlar, Chrome Dev Tools'un GC'yi çalıştıran ve daha sonra toplanmayan her şeyin yığın anlık görüntüsünü alan bellek profillerini kullanır .)

Aşağıdaki kodda, someClassörnek çöp toplanır (iyi):

var someClass = function() {};

function f() {
  var some = new someClass();
  return function() {};
}

window.f_ = f();

Ama bu durumda çöp toplanmayacak (kötü):

var someClass = function() {};

function f() {
  var some = new someClass();
  function unreachable() { some; }
  return function() {};
}

window.f_ = f();

Ve ilgili ekran görüntüsü:

Bir kapama (bu durumda function() {}), nesneye aynı bağlamdaki başka bir kapama tarafından başvurulursa, bu kapamanın kendisine ulaşılabilir olsa da olmasa da, tüm nesneleri "canlı" tutar.

Benim sorum diğer tarayıcılarda (IE 9+ ve Firefox) çöp toplama hakkında. JavaScript yığın profiler gibi webkit araçlarına oldukça aşinayım, ancak diğer tarayıcıların araçlarını çok az biliyorum, bu yüzden bunu test edemedim.

Bu üç durumdan hangisinde IE9 + ve Firefox çöpü örneği toplar someClass ?

Anlayabildiğim kadarıyla, bu bir hata değil, beklenen davranıştır.

Mozilla'nın Bellek yönetimi sayfasından : "2012'den itibaren tüm modern tarayıcılar bir işaretleme ve süpürme çöp toplayıcısı gönderiyor." "Sınırlama: nesnelerin açıkça erişilemez hale getirilmesi gerekir " .

Başarısız someolduğu örneklerinizde kapanışta hala erişilebilir. Erişilemez hale getirmek için iki yol denedim ve her ikisi de işe yaradı. Ya some=nullartık ihtiyaç duymadığınızı belirlersiniz, ya da siz belirlersiniz window.f_ = null;ve gider.

Güncelleme

Windows'ta Chrome 30, FF25, Opera 12 ve IE10'da denedim.

Standart çöp toplama hakkında bir şey söylemek, ama ne olacağına bazı ipuçları verir vermez.

• Bölüm 13 İşlev tanımı, adım 4: "Kapatmanın, 13.2'de belirtildiği gibi yeni bir İşlev nesnesi oluşturmasının sonucu olmasına izin verin"
• Kısım 13.2 "Kapsam tarafından belirtilen Sözlüksel Bir Ortam" (scope = closure)
• Bölüm 10.2 Sözlüksel Ortamlar:

Msgstr "Bir (iç) Lexical Ortamının dış referansı, dahili Lexical Ortamını mantıksal olarak çevreleyen Lexical Environment'a bir referanstır.

Dışsal bir Lexical Environment elbette kendi dış Lexical Environment'a sahip olabilir. Bir Lexical Environment, birden fazla iç Lexical Ortamının dış ortamı olarak işlev görebilir. Bir Örneğin, Fonksiyon Bildirgesi iç içe geçmiş iki içeren Fonksiyon Açıklamasında sonra iç içe fonksiyonların her birinin Sözcük Ortamları dış Sözcük Çevre çevreleyen fonksiyonun mevcut yürütme Sözcük Çevre olarak sahip olacaktır."

Böylece, bir fonksiyonun ebeveynin ortamına erişimi olacaktır.

Bu nedenle, somegeri dönen fonksiyonun kapanmasında mevcut olmalıdır.

O zaman neden her zaman mevcut değil?

Chrome ve FF'nin bazı durumlarda değişkeni ortadan kaldıracak kadar akıllı olduğu görülüyor, ancak hem Opera hem de IE'de somedeğişken kapanmada mevcut (NB: bunu bir kesme noktasını görmek return nullve hata ayıklayıcıyı kontrol etmek için).

GC some, fonksiyonlarda kullanılıp kullanılmadığını tespit etmek için geliştirilebilir , ancak karmaşık olacaktır.

Kötü bir örnek:

var someClass = function() {};

function f() {
  var some = new someClass();
  return function(code) {
    console.log(eval(code));
  };
}

window.f_ = f();
window.f_('some');

Yukarıdaki örnekte GC değişkenin kullanılıp kullanılmadığını bilmenin bir yolu yoktur (kod test edildi ve Chrome30, FF25, Opera 12 ve IE10'da çalışıyor).

Nesneye yapılan başvuru, başka bir değer atanarak kesilirse bellek serbest bırakılır window.f_.

Bence bu bir hata değil.

Bunu IE9 + ve Firefox'ta test ettim.

function f() {
  var some = [];
  while(some.length < 1e6) {
    some.push(some.length);
  }
  function g() { some; } //removing this fixes a massive memory leak
  return function() {};   //or removing this
}

var a = [];
var interval = setInterval(function() {
  var len = a.push(f());
  if(len >= 500) {
    clearInterval(interval);
  }
}, 10);

Burada canlı site .

function() {}Minimum bellek kullanarak 500'lü bir dizi ile sarılmayı umdum .

Maalesef konu bu değildi. Her boş işlev bir milyon sayıdan oluşan (sonsuza kadar ulaşılamaz, ancak GC'ed değil) bir dizi üzerinde durur.

Chrome sonunda durur ve ölür, Firefox neredeyse 4GB RAM kullandıktan sonra her şeyi bitirir ve IE "Bellek yetersiz" gösterene kadar asimptotik olarak yavaşlar.

Yorum yapılan satırlardan birini kaldırmak her şeyi düzeltir.

Bu tarayıcıların üçünün (Chrome, Firefox ve IE) her kapatma için değil, içerik başına bir ortam kaydı tuttuğu görülmektedir. Boris, bu kararın arkasındaki sebebin performans olduğunu varsayıyor ve bu muhtemel görünüyor, ancak yukarıdaki deney ışığında nasıl performans gösterilebileceğinden emin değilim.

Bir kapatma referansına ihtiyaç varsa some(burada kullanmadım, ama hayal ettim)

function g() { some; }

kullanırım

var g = (function(some) { return function() { some; }; )(some);

kapatmayı diğer işlevimden farklı bir bağlama taşıyarak bellek sorunlarını düzeltir.

Bu hayatımı çok daha sıkıcı hale getirecek.

PS Merakla, bunu Java'da denedim (fonksiyonların içindeki sınıfları tanımlama yeteneğini kullanarak). GC aslında Javascript için umduğum gibi çalışıyor.

Sezgisel tarama çeşitlilik gösterir, ancak bu tür şeyleri uygulamanın yaygın bir yolu, davanızdaki her çağrı için bir ortam kaydı oluşturmaktır f()ve yalnızca o yerel kayıtlarını f( bazı kapanışlarla) o ortam kaydında depolamaktır . Sonra çağrıda oluşturulan herhangi bir kapatma fçevre kaydını canlı tutar. En azından Firefox'un kapanışları böyle uyguladığına inanıyorum.

Bunun, kapalı değişkenlere hızlı erişim ve uygulamanın basitliği gibi avantajları vardır. Gözlemlenen etkinin dezavantajı vardır, burada bazı değişkenler üzerinde kısa ömürlü bir kapanma, uzun ömürlü kapaklar tarafından canlı tutulmasına neden olur.

Gerçekte neyi kapattıklarına bağlı olarak farklı kapanışlar için birden fazla ortam kaydı oluşturmayı deneyebilir, ancak bu çok hızlı bir şekilde karmaşıklaşabilir ve kendi başına performans ve bellek sorunlarına neden olabilir ...

1. İşlev çağrıları arasında Durumu Koru Diyelim ki, add () işlevine sahipsiniz ve birkaç çağrıda kendisine iletilen tüm değerleri eklemesini ve toplamı döndürmesini istiyorsunuz.

gibi ekle (5); // 5 döndürür

(20) ekleyin; // 25 döndürür (5 + 20)

(3) ekleyin; // 28 döndürür (25 + 3)

Bunu yapmanın iki yolu normaldir, global bir değişken tanımlamak Tabii ki, toplamı tutmak için global bir değişken kullanabilirsiniz. Ancak, eğer küreselleri kullanırsanız, bu dostun sizi canlı yiyeceğini unutmayın.

şimdi global değişkeni tanımlama ile kapatma kullanarak en son yolu

(function(){

  var addFn = function addFn(){

    var total = 0;
    return function(val){
      total += val;
      return total;
    }

  };

  var add = addFn();

  console.log(add(5));
  console.log(add(20));
  console.log(add(3));
  
}());