How to deal with JavaScript memory leaks-JS Tutorial-php.cn

As current programming language functions become more mature and complex, memory management is easily ignored by everyone. This article will discuss memory leaks in JavaScript and how to deal with them, so that everyone can better deal with the problems caused by memory leaks when using JavaScript coding. In this article, we will share with you how to deal with JavaScript memory leaks, so that you can understand more thoroughly through a combination of theory and examples.

Overview

Programming languages like C language have simple memory management functions, such as malloc() and free(). Developers can use these functions to explicitly allocate and free system memory.

When objects, strings, etc. are created, JavaScript allocates memory and automatically releases the memory when it is no longer used. This mechanism is called garbage collection. This kind of release of resources seems to be "automatic", but the essence is confusing, which also gives developers of JavaScript (and other high-level languages) the wrong impression that they can not care about memory management. Actually this is a big mistake.

Even when using high-level languages, developers should understand the knowledge of memory management. Sometimes there are problems with automatic memory management (such as bugs in the garbage collector or implementation limitations) that developers must be aware of in order to handle it correctly.

Memory life cycle

No matter what programming language you are using, the memory life cycle is almost the same:

Here is an overview of what happens at each step in the memory life cycle:

Allocate Memory - Memory is allocated by the operating system, allowing programs to use it. In simple programming languages, this process is an explicit operation that developers should handle. However, in high-level programming languages, the system does this for you. Memory Usage - This is the period of time the program allocates memory before it is used, and your code reads and writes memory by using the allocated variables

Release memory - The operation of releasing memory that is no longer needed to ensure that it becomes free and can be used again. Like the memory allocation operation, this operation requires explicit operation in simple programming languages. What is memory?

At the hardware level, the computer's memory is composed of a large number of flip-flops. Each flip-flop contains a number of transistors and is capable of storing one bit of data. Individual triggers are addressable by unique identifiers, so we can read and overwrite them. So, conceptually, we can think of the entire computer memory as a large chunk of space that we can read and write to.

A lot of stuff is stored in memory:

All the variables and other data used by the program. Program code, including operating system code.

The compiler and operating system work together to handle most of the memory management, but we need to understand what is going on essentially.

When compiling code, the compiler checks the primitive data types and calculates in advance how much memory they require, and then allocates the required memory to the program in the call stack space. The space allocated for these variables is called stack space, and as functions are called, memory is added to the existing memory. When terminated, space is removed in LIFO (last in first out) order. For example, the following statement:

int n; // 4个字节
int x [4]; // 4个元素的数组，每一个占4个字节
double m; // 8个字节

Copy after login

The compiler inserts code that interacts with the operating system to request the required number of bytes on the stack to store the variable.

In the above example, the compiler knows the exact memory address of each variable. In fact, whenever we write to this variable n, it is internally translated to "memory address 4127963".

Note that if we try to access x[4], we will access the data associated with m. This is because we're accessing an element that doesn't exist in the array - it's 4 bytes x[3] more than the last data in the array was actually allocated, and may end up reading (or overwriting) some m bits. This has adverse consequences for the rest.

#When a function calls other functions, each function gets its own stack block when called. It retains all local variables and a program counter, and also records where it was executed. When a function completes, its memory block is released and can be used again for other purposes.

Dynamic allocation

If we don't know the amount of memory required by the variable at compile time, things will become complicated. Suppose we want to do the following:

int n = readInput（）; //读取用户的输入
...
//用“n”个元素创建一个数组

Copy after login

At compile time, the compiler does not know how much memory the array requires because it is determined by the input values provided by the user of.

Therefore, it cannot allocate space for variables on the stack. Instead, our program needs to explicitly request the appropriate space from the operating system at runtime. This memory is allocated from the heap space. The following table summarizes the differences between static and dynamic memory allocation:

在JavaScript中分配内存

现在来解释如何在JavaScript中分配内存。

JavaScript使得开发人员免于处理内存分配的工作。

var n = 374; // allocates memory for a number
var s = &#39;sessionstack&#39;; // allocates memory for a string
var o = {
a: 1,
b: null
}; // allocates memory for an object and its contained values
var a = [1, null, &#39;str&#39;]; // (like object) allocates memory for the
// array and its contained values
function f(a) {
return a + 3;
} // allocates a function (which is a callable object)
// function expressions also allocate an object
someElement.addEventListener(&#39;click&#39;, function() {
someElement.style.backgroundColor = &#39;blue&#39;;
}, false);

Copy after login

一些函数调用也会导致对象分配：

var d = new Date(); // allocates a Date object
var e = document.createElement(&#39;p&#39;); // allocates a DOM element

Copy after login

方法可以分配新的值或对象：

var s1 = &#39;sessionstack&#39;;
var s2 = s1.substr(0, 3); // s2 is a new string
// Since strings are immutable, 
// JavaScript may decide to not allocate memory, 
// but just store the [0, 3] range.
var a1 = [&#39;str1&#39;, &#39;str2&#39;];
var a2 = [&#39;str3&#39;, &#39;str4&#39;];
var a3 = a1.concat(a2); 
// new array with 4 elements being
// the concatenation of a1 and a2 elements

Copy after login

在JavaScript中使用内存

基本上在JavaScript中使用分配的内存，意味着在其中读写。

这可以通过读取或写入变量或对象属性的值，或者甚至将参数传递给函数来完成。

当内存不再需要时进行释放

大部分内存泄漏问题都是在这个阶段产生的，这个阶段最难的问题就是确定何时不再需要已分配的内存。它通常需要开发人员确定程序中的哪个部分不再需要这些内存，并将其释放。

高级语言嵌入了一个名为垃圾收集器的功能，其工作是跟踪内存分配和使用情况，以便在不再需要分配内存的情况下自动释放内存。

不幸的是，这个过程无法做到那么准确，因为像某些内存不再需要的问题是不能由算法来解决的。

大多数垃圾收集器通过收集不能被访问的内存来工作，例如指向它的变量超出范围的这种情况。然而，这种方式只能收集内存空间的近似值，因为在内存的某些位置可能仍然有指向它的变量，但它却不会被再次访问。

由于确定一些内存是否“不再需要”，是不可判定的，所以垃圾收集机制就有一定的局限性。下面将解释主要垃圾收集算法及其局限性的概念。

内存引用

垃圾收集算法所依赖的主要概念之一就是内存引用。

在内存管理情况下，如果一个对象访问变量（可以是隐含的或显式的），则称该对象引用另一个对象。例如，JavaScript对象具有对其原对象（隐式引用）及其属性值（显式引用）的引用。

在这种情况下，“对象”的概念扩展到比普通JavaScript对象更广泛的范围，并且还包含函数范围。

引用计数垃圾收集

这是最简单的垃圾收集算法。如果有零个引用指向它，则该对象会被认为是“垃圾收集” 。

看看下面的代码：

var o1 = {
o2: {
x: 1
}
};
// 2 objects are created. 
// &#39;o2&#39; is referenced by &#39;o1&#39; object as one of its properties.
// None can be garbage-collected
var o3 = o1; // the &#39;o3&#39; variable is the second thing that 
// has a reference to the object pointed by &#39;o1&#39;.
o1 = 1;   // now, the object that was originally in &#39;o1&#39; has a     
// single reference, embodied by the &#39;o3&#39; variable
var o4 = o3.o2; // reference to &#39;o2&#39; property of the object.
// This object has now 2 references: one as
// a property. 
// The other as the &#39;o4&#39; variable
o3 = &#39;374&#39;; // The object that was originally in &#39;o1&#39; has now zero
// references to it. 
// It can be garbage-collected.
// However, what was its &#39;o2&#39; property is still
// referenced by the &#39;o4&#39; variable, so it cannot be
// freed.
o4 = null; // what was the &#39;o2&#39; property of the object originally in
// &#39;o1&#39; has zero references to it. 
// It can be garbage collected.

Copy after login

周期引起问题

在周期方面有一个限制。例如下面的例子，创建两个对象并相互引用，这样会创建一个循环引用。在函数调用之后，它们将超出范围，所以它们实际上是无用的，可以被释放。然而，引用计数算法认为，由于两个对象中的每一个都被引用至少一次，所以两者都不能被垃圾收集机制收回。

function f() {
var o1 = {};
var o2 = {};
o1.p = o2; // o1 references o2
o2.p = o1; // o2 references o1. This creates a cycle.
}
f( );

Copy after login

标记和扫描算法

为了决定是否需要对象，标记和扫描算法会确定对象是否是活动的。

标记和扫描算法经过以下3个步骤：

roots：通常，root是代码中引用的全局变量。例如，在JavaScript中，可以充当root的全局变量是“窗口”对象。Node.js中的相同对象称为“全局”。所有root的完整列表由垃圾收集器构建。然后算法会检查所有root和他们的子对象并且标记它们是活动的（即它们不是垃圾）。任何root不能达到的，将被标记为垃圾。最后，垃圾回收器释放所有未标记为活动的内存块，并将该内存返回给操作系统。

这个算法比引用计数垃圾收集算法更好。JavaScript垃圾收集（代码/增量/并发/并行垃圾收集）领域中所做的所有改进都是对这种标记和扫描算法的实现改进，但不是对垃圾收集算法本身的改进。

周期不再是问题了

在上面的相互引用例子中，在函数调用返回之后，两个对象不再被全局对象可访问的对象引用。因此，它们将被垃圾收集器发现，从而进行收回。

即使在对象之间有引用，它们也不能从root目录中访问，从而会被认为是垃圾而收集。

抵制垃圾收集器的直观行为

尽管垃圾收集器使用起来很方便，但它们也有自己的一套标准，其中之一是非决定论。换句话说，垃圾收集是不可预测的。你不能真正知道什么时候进行收集，这意味着在某些情况下，程序会使用更多的内存，虽然这是实际需要的。在其它情况下，在特别敏感的应用程序中，短暂暂停是很可能出现的。尽管非确定性意味着不能确定何时进行集合，但大多数垃圾收集实现了共享在分配期间进行收集的通用模式。如果没有执行分配，大多数垃圾收集会保持空闲状态。如以下情况：

大量的分配被执行。大多数这些元素（或所有这些元素）被标记为无法访问（假设我们将一个引用指向不再需要的缓存）。没有进一步的分配执行。

在这种情况下，大多数垃圾收集不会做出任何的收集工作。换句话说，即使有不可用的引用需要收集，但是收集器不会进行收集。虽然这并不是严格的泄漏，但仍会导致内存使用率高于平时。

什么是内存泄漏？

内存泄漏是应用程序使用过的内存片段，在不再需要时，不能返回到操作系统或可用内存池中的情况。

编程语言有各自不同的内存管理方式。但是是否使用某一段内存，实际上是一个不可判定的问题。换句话说，只有开发人员明确的知道是否需要将一块内存返回给操作系统。

四种常见的JavaScript内存泄漏

1：全局变量

JavaScript以一种有趣的方式来处理未声明的变量：当引用未声明的变量时，会在全局对象中创建一个新变量。在浏览器中，全局对象将是window，这意味着

function foo(arg) {
bar = "some text";
}

Copy after login

相当于：

function foo(arg) {
window.bar = "some text";
}

Copy after login

bar只是foo函数中引用一个变量。如果你不使用var声明，将会创建一个多余的全局变量。在上述情况下，不会造成很大的问题。但是，如若是下面的这种情况。

你也可能不小心创建一个全局变量this：

function foo() {
this.var1 = "potential accidental global";
}
// Foo called on its own, this points to the global object (window)
// rather than being undefined.
foo( );

Copy after login

你可以通过在JavaScript文件的开始处添加‘use strict';来避免这中错误，这种方式将开启严格的解析JavaScript模式，从而防止意外创建全局变量。

意外的全局变量当然是一个问题。更多的时候，你的代码会受到显式的全局变量的影响，而这些全局变量在垃圾收集器中是无法收集的。需要特别注意用于临时存储和处理大量信息的全局变量。如果必须使用全局变量来存储数据，那么确保将其分配为空值，或者在完成后重新分配。

2：被遗忘的定时器或回调

下面列举setInterval的例子，这也是经常在JavaScript中使用。

对于提供监视的库和其它接受回调的工具，通常在确保所有回调的引用在其实例无法访问时，会变成无法访问的状态。但是下面的代码却是一个例外：

var serverData = loadData();
setInterval(function() {
var renderer = document.getElementById(&#39;renderer&#39;);
if(renderer) {
renderer.innerHTML = JSON.stringify(serverData);
}
}, 5000); //This will be executed every ~5 seconds.

Copy after login

上面的代码片段显示了使用引用节点或不再需要的数据的定时器的结果。

该renderer对象可能会在某些时候被替换或删除，这会使interval处理程序封装的块变得冗余。如果发生这种情况，那么处理程序及其依赖项都不会被收集，因为interval需要先停止。这一切都归结为存储和处理负载数据的serverData不会被收集的原因。

当使用监视器时，你需要确保做了一个明确的调用来删除它们。

幸运的是，大多数现代浏览器都会为你做这件事：即使你忘记删除监听器，当被监测对象变得无法访问，它们就会自动收集监测处理器。这是过去的一些浏览器无法处理的情况（例如旧的IE6）。

看下面的例子：

var element = document.getElementById(&#39;launch-button&#39;);
var counter = 0;

function onClick(event) {
counter++;
element.innerHtml = &#39;text &#39; + counter;
}
element.addEventListener(&#39;click&#39;, onClick);
// Do stuff
element.removeEventListener(&#39;click&#39;, onClick);
element.parentNode.removeChild(element);
// Now when element goes out of scope,
// both element and onClick will be collected even in old browsers // that don&#39;t handle cycles well.

Copy after login

由于现代浏览器支持垃圾回收机制，所以当某个节点变的不能访问时，你不再需要调用removeEventListener，因为垃圾回收机制会恰当的处理这些节点。

如果你正在使用jQueryAPI（其他库和框架也支持这一点），那么也可以在节点不用之前删除监听器。即使应用程序在较旧的浏览器版本下运行，库也会确保没有内存泄漏。

3：闭包

JavaScript开发的一个关键方面是闭包。闭包是一个内部函数，可以访问外部（封闭）函数的变量。由于JavaScript运行时的实现细节，可能存在以下形式泄漏内存：

var theThing = null;
var replaceThing = function（）{
var originalThing = theThing; 
var unused = function（）{ 
if（originalThing）//对&#39;originalThing&#39;的引用
console.log（“hi”）; 
};
theThing = { 
longStr：new Array（1000000）.join（&#39;*&#39;），
someMethod：function（）{ 
console.log（“message”）; 
} 
}; 
};
setInterval（replaceThing，1000）;

Copy after login

一旦replaceThing被调用，theThing会获取由一个大数组和一个新的闭包（someMethod）组成的新对象。然而，originalThing会被unused变量所持有的闭包所引用（这是theThing从以前的调用变量replaceThing）。需要记住的是，一旦在同一父作用域中为闭包创建了闭包的作用域，作用域就被共享了。

在这种情况下，闭包创建的范围会将someMethod共享给unused。然而，unused有一个originalThing引用。即使unused从未使用过，someMethod 也可以通过theThing在整个范围之外使用replaceThing。而且someMethod通过unused共享了闭包范围，unused必须引用originalThing以便使其它保持活跃（两封闭之间的整个共享范围）。这就阻止了它被收集。

所有这些都可能导致相当大的内存泄漏。当上面的代码片段一遍又一遍地运行时，你会看到内存使用率的不断上升。当垃圾收集器运行时，其内存大小不会缩小。这种情况会创建一个闭包的链表，并且每个闭包范围都带有对大数组的间接引用。

4：超出DOM引用

在某些情况下，开发人员会在数据结构中存储DOM节点，例如你想快速更新表格中的几行内容的情况。如果在字典或数组中存储对每个DOM行的引用，则会有两个对同一个DOM元素的引用：一个在DOM树中，另一个在字典中。如果你不再需要这些行，则需要使两个引用都无法访问。

var elements = {
button: document.getElementById(&#39;button&#39;),
image: document.getElementById(&#39;image&#39;)
};
function doStuff() {
elements.image.src = &#39;http://example.com/image_name.png&#39;;
}
function removeImage() {
// The image is a direct child of the body element.
document.body.removeChild(document.getElementById(&#39;image&#39;));
// At this point, we still have a reference to #button in the
//global elements object. In other words, the button element is
//still in memory and cannot be collected by the GC.
}

Copy after login

在涉及DOM树内的内部节点或叶节点时，还有一个额外的因素需要考虑。如果你在代码中保留对表格单元格（标签）的引用，并决定从DOM中删除该表格，还需要保留对该特定单元格的引用，则可能会出现严重的内存泄漏。你可能会认为垃圾收集器会释放除了那个单元之外的所有东西，但情况并非如此。由于单元格是表格的一个子节点，并且子节点保留着对父节点的引用，所以对表格单元格的这种引用，会将整个表格保存在内存中。