Chrome/V8 不会垃圾收集循环引用？

Question

查看 Chrome 堆快照的这一部分：

它显示了堆中一个对象的保持器，据我所知和可以看到，它应该是垃圾，但尽管如此，它并没有被收集。

到根的“最短”路径毕竟是一条循环路径（它实际上从未到达根）。这让人不禁想知道，快照查看器是如何为它分配 12 的距离的呢？这仅仅是放弃之前通过循环所采取的步骤数吗？请注意距离永远不会低于 11。

我了解到，清理带有循环引用的子图可能需要几次迭代。但重复的强制收集（使用“时间轴”选项卡中的垃圾桶按钮）未能清理这些对象。

请注意，通过“185”引用探索最终会导致相同的system / Context @862399，因此实际上没有从根到该对象的路径（至少在此处不可见）。

是我疯了，还是垃圾收集器真的坏了？我不记得过去有这个问题。我在 Chrome 45.0.2454.101 上。 Beta 46.0.2490.64 的行为相同。

Answer 1

老实说，我们需要快速查看您复制此代码的一些测试代码，但我对您所遇到的情况有一个大致的了解。如果我错了，您可以提供一些测试代码来证明这一点，请告诉我。

您似乎已经知道，为了“清理”，Javascript 不想再引用要释放的项目。

一个简单的例子：

// Currently not eligible for garbage
var myObj = {
    data : 'test'
};

// Reference data inside myObj
// A unique identifier to myObj.data now exists 
var myData = myObj.data;

// Whoops
myObj = 'something else';

// Because myData exists, so does data and can not be freed either, understandable
// This sounds simple and logical but most do not understand what is happening in the engine
// A relationship has been born between 'myData' and 'data' and as long as it exists, it is not eligible for garbage and remains in memory
console.log( myData );

您的代码可能比这更复杂，但这可能有助于解释如何在某处无法收集垃圾，因为范围链可以跟随引用。

考虑以下

function oops(text){

    function doStuff(){
        return text.toLowerCase();
    }
    return doStuff();
}

// 'doStuff' stays alive thanks to 'test' below.
var test = oops('closure');

函数doStuff 不会被垃圾回收，因为它被test 引用。

// You can see where this is headed. We have 2 references to the same 'doStuff' function object with separate unique identifiers now below.
var test2 = oops('closures...');

// This is now another unique identifier to 'doStuff'
var test3 = test2;

// doStuff survives yet still
test = 0;
test2 = 0;

// Now we let the function object of 'doStuff' be freed because there is no longer any references to it
test3 = 0;

这本质上是我们创建的内存泄漏。每次调用 oops 时，都会创建一个具有唯一标识符的函数对象 doStuff。

避免这种情况的方法可能是

function doStuff( text ){
    return text.toLowerCase();
}

function oops( text ){
    return doStuff();
}

var test = oops( 'closure' );

现在我们没有内存泄漏。 doStuff 正在被调用，而不是创建。

仔细查看您的代码，您会发现您可能正在某处执行此操作。

如果你在搞乱元素，我想你可能会，IBM has a good article about circular references 你可能想看看。

---

已经很晚了，其中一些未经测试，但理论仍然存在，所以如果我拼错了什么等，请告诉我，我明天可以看看这个页面的未来访问者。