Cách đóng JavaScript được thu gom rác

Tôi đã ghi lại lỗi Chrome sau đây , dẫn đến nhiều rò rỉ bộ nhớ nghiêm trọng và không rõ ràng trong mã của tôi:

(Các kết quả này sử dụng trình lược tả bộ nhớ của Chrome Dev Tools , chạy GC, và sau đó chụp ảnh toàn bộ mọi thứ không được thu thập.)

Trong mã dưới đây, someClassví dụ là rác được thu thập (tốt):

var someClass = function() {};

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

window.f_ = f();

Nhưng nó sẽ không phải là rác được thu thập trong trường hợp này (xấu):

var someClass = function() {};

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

window.f_ = f();

Và ảnh chụp màn hình tương ứng:

Dường như một bao đóng (trong trường hợp này function() {}) giữ cho tất cả các đối tượng "sống" nếu đối tượng được tham chiếu bởi bất kỳ bao đóng nào khác trong cùng một bối cảnh, cho dù chính nó có thể truy cập được hay không.

Câu hỏi của tôi là về bộ sưu tập rác đóng cửa trong các trình duyệt khác (IE 9+ và Firefox). Tôi khá quen thuộc với các công cụ của webkit, chẳng hạn như trình lược tả heap JavaScript, nhưng tôi biết rất ít các công cụ của các trình duyệt khác, vì vậy tôi chưa thể kiểm tra điều này.

Trong trường hợp nào trong ba trường hợp này, IE9 + và Firefox sẽ thu thập someClass cá thể?

Theo như tôi có thể nói, đây không phải là một lỗi mà là hành vi dự kiến.

Từ trang quản lý bộ nhớ của Mozilla : "Kể từ năm 2012, tất cả các trình duyệt hiện đại đều cung cấp trình thu gom rác đánh dấu và quét." "Giới hạn: các đối tượng cần phải được thực hiện rõ ràng không thể truy cập được " .

Trong ví dụ của bạn, nơi nó thất bại somevẫn có thể truy cập được trong bao đóng. Tôi đã thử hai cách để làm cho nó không thể truy cập và cả hai đều hoạt động. Hoặc bạn đặt some=nullkhi bạn không cần nó nữa, hoặc bạn đặt window.f_ = null;và nó sẽ biến mất.

Cập nhật

Tôi đã thử nó trong Chrome 30, FF25, Opera 12 và IE10 trên Windows.

Các tiêu chuẩn không nói bất cứ điều gì về thu gom rác thải, nhưng đưa ra một số manh mối về những gì nên xảy ra.

• Mục 13 Định nghĩa hàm, bước 4: "Đặt đóng là kết quả của việc tạo đối tượng Hàm mới như được chỉ định trong 13.2"
• Mục 13.2 "Môi trường từ điển được chỉ định bởi Phạm vi" (scope = clos)
• Mục 10.2 Môi trường từ điển:

"Tham chiếu bên ngoài của Môi trường từ điển (bên trong) là một tham chiếu đến Môi trường từ điển bao quanh một cách hợp lý môi trường từ điển bên trong.

Tất nhiên, một Môi trường Ngôn ngữ học bên ngoài có thể có Môi trường Ngôn ngữ học bên ngoài riêng. Một môi trường từ điển có thể đóng vai trò là môi trường bên ngoài cho nhiều môi trường từ điển bên trong. Ví dụ: nếu một Tuyên bố chức năng chứa hai Tuyên bố chức năng lồng nhau thì Môi trường từ điển của mỗi chức năng lồng nhau sẽ có như Môi trường từ điển bên ngoài của chúng, Môi trường từ điển của việc thực hiện chức năng xung quanh. "

Vì vậy, một chức năng sẽ có quyền truy cập vào môi trường của cha mẹ.

Vì vậy, somenên có sẵn trong việc đóng hàm trả về.

Vậy thì tại sao nó không luôn có sẵn?

Có vẻ như Chrome và FF đủ thông minh để loại bỏ biến trong một số trường hợp, nhưng trong cả Opera và IE, somebiến này đều có sẵn trong bao đóng (NB: để xem điều này đặt điểm dừng return nullvà kiểm tra trình gỡ lỗi).

GC có thể được cải thiện để phát hiện nếu someđược sử dụng hay không trong các chức năng, nhưng nó sẽ phức tạp.

Một ví dụ tồi:

var someClass = function() {};

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

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

Trong ví dụ ở trên, GC không có cách nào để biết biến đó có được sử dụng hay không (mã được kiểm tra và hoạt động trong Chrome30, FF25, Opera 12 và IE10).

Bộ nhớ được giải phóng nếu tham chiếu đến đối tượng bị phá vỡ bằng cách gán giá trị khác cho window.f_.

Theo tôi đây không phải là một lỗi.

Tôi đã thử nghiệm điều này trong IE9 + và Firefox.

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);

Trang web trực tiếp ở đây .

Tôi hy vọng sẽ kết thúc với một mảng 500 function() {}, sử dụng bộ nhớ tối thiểu.

Thật không may, đó không phải là trường hợp. Mỗi hàm trống giữ một mảng (mãi mãi không thể truy cập được, nhưng không phải là GC) của một triệu số.

Cuối cùng Chrome dừng lại và chết, Firefox hoàn thành toàn bộ sau khi sử dụng gần 4GB RAM và IE phát triển chậm hơn một cách bất thường cho đến khi nó hiển thị "Hết bộ nhớ".

Loại bỏ một trong những dòng nhận xét sẽ sửa chữa mọi thứ.

Dường như cả ba trình duyệt này (Chrome, Firefox và IE) đều giữ một bản ghi môi trường cho mỗi bối cảnh, không phải mỗi lần đóng. Boris đưa ra giả thuyết lý do đằng sau quyết định này là hiệu suất, và điều đó dường như có khả năng, mặc dù tôi không chắc nó có thể được gọi như thế nào trong ánh sáng của thí nghiệm trên.

Nếu cần một tham chiếu đóng cửa some(được cho là tôi đã không sử dụng nó ở đây, nhưng hãy tưởng tượng tôi đã làm), nếu thay vì

function g() { some; }

tôi sử dụng

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

nó sẽ khắc phục các vấn đề về bộ nhớ bằng cách di chuyển bao đóng sang một bối cảnh khác với chức năng khác của tôi.

Điều này sẽ làm cho cuộc sống của tôi tẻ nhạt hơn nhiều.

Vì tò mò, tôi đã thử điều này trong Java (sử dụng khả năng của nó để định nghĩa các lớp bên trong các hàm). GC hoạt động như tôi đã hy vọng ban đầu cho Javascript.

Heuristic khác nhau, nhưng một cách phổ biến để thực hiện loại điều này là tạo một bản ghi môi trường cho mỗi cuộc gọi đến f()trong trường hợp của bạn và chỉ lưu trữ các địa phương của fnó thực sự bị đóng (bởi một số đóng) trong bản ghi môi trường đó. Sau đó, bất kỳ đóng cửa được tạo ra trong cuộc gọi để fgiữ cho bản ghi môi trường sống. Tôi tin rằng đây là cách Firefox thực hiện việc đóng cửa, ít nhất.

Điều này có lợi ích của việc truy cập nhanh vào các biến đóng và đơn giản thực hiện. Nó có nhược điểm của hiệu ứng quan sát được, trong đó việc đóng cửa tồn tại trong thời gian ngắn đối với một số biến khiến nó được giữ sống nhờ các lần đóng cửa tồn tại lâu.

Người ta có thể thử tạo nhiều bản ghi môi trường cho các lần đóng khác nhau, tùy thuộc vào những gì chúng thực sự đóng, nhưng điều đó có thể trở nên rất phức tạp rất nhanh và có thể gây ra các vấn đề về hiệu năng và bộ nhớ của chính nó ...

1. Duy trì trạng thái giữa các lệnh gọi Giả sử bạn có hàm add () và bạn muốn nó thêm tất cả các giá trị được truyền vào nó trong một số cuộc gọi và trả về tổng.

thích thêm (5); // trả về 5

thêm (20); // trả về 25 (5 + 20)

thêm (3); // trả về 28 (25 + 3)

Hai cách bạn có thể làm điều này trước tiên là bình thường xác định một biến toàn cục Tất nhiên, bạn có thể sử dụng một biến toàn cục để giữ tổng số. Nhưng hãy nhớ rằng anh chàng này sẽ ăn sống bạn nếu bạn (ab) sử dụng toàn cầu.

bây giờ cách mới nhất bằng cách sử dụng đóng với định nghĩa biến toàn cục

(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));
  
}());