首頁 > web前端 > js教程 > 主體

深入理解JavaScript記憶體管理和GC演算法

WBOY
發布: 2022-07-26 13:50:32
轉載
1818 人瀏覽過

這篇文章為大家帶來了關於javascript的相關知識,主要介紹了深入理解JavaScript記憶體管理和GC演算法,主要講解JavaScript的垃圾回收機制以及常用的垃圾回收演算法;還講解了V8引擎中的記憶體管理,希望對大家有幫助。

深入理解JavaScript記憶體管理和GC演算法

【相關推薦:javascript影片教學web前端

##前言

JavaScript在創建變數(陣列、字串、物件等)是

自動進行了分配記憶體,並且在不使用它們的時候會「自動」的釋放分配的內容;JavaScript語言不像其他底層語言一樣,例如C語言,他們提供了記憶體管理的接口,例如malloc()用於分配所需的記憶體空間、free()釋放先前所分配的記憶體空間。

我們將

釋放記憶體的過程稱為垃圾回收,像是JavaScript這種高階語言提供了記憶體自動分配和自動回收,因為這個自動就導致許多開發者不會去關心記憶體管理。

即使高階語言提供了自動記憶體管理,但我們也需要對內管管理有基本的理解,有時自動記憶體管理出現了問題,我們可以更好的去解決它,或者說使用代價最小的方法解決它。

記憶體的生命週期

其實不管是什麼語言,記憶體的宣告週期大致分為以下幾個階段:

下面我們對每一步進行具體說明:

  • #記憶體分配:當我們定義變數時,系統會自動為其分配內存,它允許在程式中使用這塊內存。
  • 記憶體使用:在變數上進行讀寫的時候發生
  • ##記憶體回收:
  • 使用完畢後,自動釋放不需要內存,也就是由垃圾回收機制自動回收不再使用的內存
  • JavaScript中的內存分配

為了保護開發人員的頭髮,JavaScript在定義變數時就自動完成了記憶體分配,範例程式碼如下:

let num = 123 // 给数值变量分配内存
let str = '一碗周' // 给字符串分配内存

let obj = {
  name: '一碗周',
  age: 18,
} // 给对象及其包含的值分配内存

// 给数组及其包含的值分配内存(类似于对象)
let arr = [1, null, 'abc']

function fun(a) {
  return a + 2
} // 给函数(可调用的对象)分配内存

// 函数表达式也能分配一个对象
Element.addEventListener(
  'click',
  event => {
    console.log(event)
  },
  false,
)
登入後複製

有些時候並不會重新分配內存,如下面這段程式碼:

// 给数组及其包含的值分配内存(类似于对象)
let arr = [1, null, 'abc']

let arr2 = [arr[0], arr[2]]
// 这里并不会重新对分配内存,而是直接存储原来的那份内存
登入後複製
在JavaScript中使用記憶體

JavaScript中使用值的過程實際上是對分配記憶體進行讀取與寫入的操作。這裡的讀取與寫入可能是寫入一個變數、讀取某個變數的值、寫入一個物件的屬性值、為函數傳遞參數等。

釋放記憶體

JavaScript中的記憶體釋放是自動的,釋放的時機就是某些值(記憶體位址)不在使用了,JavaScript就會自動釋放其佔用的記憶體。

其實大多數記憶體管理的問題都在這個階段。這裡最艱難的任務就是找到那些不需要的變數。

雖然說現在打高階語言都有自己垃圾回收機制,雖然現在的垃圾回收演算法很多,但是也無法智慧的回收所有的極端情況,這就是我們為什麼要學習記憶體管理以及垃圾回收演算法的理由了。

接下來我們來討論一下JavaScript中的垃圾回收以及常用的垃圾回收演算法。

JavaScript中的垃圾回收

前面我們也說了,JavaScript中的記憶體管理是自動的,在建立物件時會自動分配內存,當物件不在被

引用

或不能從根上存取時,就會被當做垃圾給回收掉。 JavaScript中的可達物件簡單的說就是

可以存取到的物件

,不管是透過引用還是作用域鏈的方式,只要能存取的就稱之為可達對象。可達對象的可達是有一個標準的,就是必須從根上出發是否能被找到;這裡的根可以理解為JavaScript中的全域變數對象,在瀏覽器環境中就是window、在Node環境中就是global

為了更好的理解引用的概念,看下面這段程式碼:

let person = {
  name: '一碗周',
}
let man = person
person = null
登入後複製

圖解如下:

根據上面那個圖我們可以看到,最終這個

{ name: '一碗週' }

是不會被當做垃圾給回收掉的,因為還具有一個引用。

現在我們來理解可達對象,程式碼如下:

function groupObj(obj1, obj2) {
  obj1.next = obj2
  obj2.prev = obj1

  return {
    obj1,
    obj2,
  }
}
let obj = groupObj({ name: '大明' }, { name: '小明' })
登入後複製

调用groupObj()函数的的结果obj是一个包含两个对象的一个对象,其中obj.obj1next属性指向obj.obj2;而obj.obj2prev属性又指向obj.obj2。最终形成了一个无限套娃。

如下图:

现在来看下面这段代码:

delete obj.obj1
delete obj.obj2.prev
登入後複製

我们删除obj对象中的obj1对象的引用和obj.obj2中的prev属性对obj1的引用。

图解如下:

此时的obj1就被当做垃圾给回收了。

GC算法

GC是Garbage collection的简写,也就是垃圾回收。当GC进行工作的时候,它可以找到内存中的垃圾、并释放和回收空间,回收之后方便我们后续的进行使用。

在GC中的垃圾包括程序中不在需要使用的对象以及程序中不能再访问到的对象都会被当做垃圾。

GC算法就是工作时查找和回收所遵循的规则,常见的GC算法有如下几种:

  • 引用计数:通过一个数字来记录引用次数,通过判断当前数字是不是0来判断对象是不是一个垃圾。
  • 标记清除:在工作时为对象添加一个标记来判断是不是垃圾。
  • 标记整理:与标记清除类似。
  • 分代回收:V8中使用的垃圾回收机制。

引用计数算法

引用计数算法的核心思想就是设置一个引用计数器,判断当前引用数是否为0 ,从而决定当前对象是不是一个垃圾,从而垃圾回收机制开始工作,释放这块内存。

引用计数算法的核心就是引用计数器 ,由于引用计数器的存在,也就导致该算法与其他GC算法有所差别。

引用计数器的改变是在引用关系发生改变时就会发生变化,当引用计数器变为0的时候,该对象就会被当做垃圾回收。

现在我们通过一段代码来看一下:

// { name: '一碗周' } 的引用计数器 + 1
let person = {
  name: '一碗周',
}
// 又增加了一个引用,引用计数器 + 1
let man = person
// 取消一个引用,引用计数器 - 1
person = null
// 取消一个引用,引用计数器 - 1。此时 { name: '一碗周' } 的内存就会被当做垃圾回收
man = null
登入後複製

引用计数算法的优点如下:

  • 发现垃圾时立即回收;
  • 最大限度减少程序暂停,这里因为发现垃圾就立刻回收了,减少了程序因内存爆满而被迫停止的现象。

缺点如下:

  • 无法回收循环引用的对象;

就比如下面这段代码:

function fun() {
  const obj1 = {}
  const obj2 = {}
  obj1.next = obj2
  obj2.prev = obj1
  return '一碗周'
}
fun()
登入後複製

上面的代码中,当函数执行完成之后函数体的内容已经是没有作用的了,但是由于obj1obj2都存在不止1个引用,导致两种都无法被回收,就造成了空间内存的浪费。

  • 时间开销大,这是因为引用计数算法需要时刻的去监控引用计数器的变化。

标记清除算法

标记清除算法解决了引用计数算法的⼀些问题, 并且实现较为简单, 在V8引擎中会有被⼤量的使⽤到。

在使⽤标记清除算法时,未引用对象并不会被立即回收.取⽽代之的做法是,垃圾对象将⼀直累计到内存耗尽为⽌.当内存耗尽时,程序将会被挂起,垃圾回收开始执行.当所有的未引用对象被清理完毕 时,程序才会继续执行.该算法的核心思想就是将整个垃圾回收操作分为标记和清除两个阶段完成。

第一个阶段就是遍历所有对象,标记所有的可达对象;第二个阶段就是遍历所有对象清除没有标记的对象,同时会抹掉所有已经标记的对象,便于下次的工作。

为了区分可用对象与垃圾对象,我们需要在每⼀个对象中记录对象的状态。 因此, 我们在每⼀个对象中加⼊了⼀个特殊的布尔类型的域, 叫做marked。 默认情况下, 对象被创建时处于未标记状态。 所以, marked 域被初始化为false

进行垃圾回收完毕之后,将回收的内存放在空闲链表中方便我们后续使用。

标记清除算法最大的优点就是解决了引用计数算法无法回收循环引用的对象的问题 。就比如下面这段代码:

function fun() {
  const obj1 = {},
    obj2 = {},
    obj3 = {},
    obj4 = {},
    obj5 = {},
    obj6 = {}
  obj1.next = obj2

  obj2.next = obj3
  obj2.prev = obj6

  obj4.next = obj6
  obj4.prev = obj1

  obj5.next = obj4
  obj5.prev = obj6
  return obj1
}
const obj = fun()
登入後複製

当函数执行完毕后obj4的引用并不是0,但是使用引用计数算法并不能将其作为垃圾回收掉,而使用标记清除算法就解决了这个问题。

而標記清除演算法的缺點也是有的,這種演算法會導致記憶體碎片化,位址不連續;還有就是使用標記清除演算法即使發現了垃圾物件不裡能立刻清除,需要到第二次去清除。

標記整理演算法

標記整理演算法可以看做是標記清除演算法的增強型,其步驟也是分為標記和清除兩個階段。

但是標記整理演算法那的清除階段會先整理,移動物件的位置,最後進行清除。

步驟如下圖:

#V8中的記憶體管理

V8是什麼

V8是一款主流的JavaScript執行引擎,現在的Node.js和大多數瀏覽器都採用V8作為JavaScript的引擎。 V8的編譯功能採用的是及時編譯,也稱為動態翻譯或運行時編譯,是一種執行電腦程式碼的方法,這種方法涉及在程式執行過程中(在執行期)而不是在執行之前進行編譯。

V8引擎對記憶體是設有上限的,在64位元作業系統下上限是1.5G的,而32位元作業系統的上限是800兆的。至於為什麼設定記憶體上限主要是內容V8引擎主要是為瀏覽器而準備的,不適合太大的空間;還有一點就是這個大小的垃圾回收是很快的,用戶幾乎沒有感覺,從而增加用戶體驗。

V8垃圾回收策略

V8引擎採用的是分代回收的思想,主要是將我們的記憶體依照一定的規則分成兩類,一個是新生代儲存區,另一個是老生代儲存區。

新生代的對象為存活時間較短的對象,簡單來說就是新產生的對象,通常只支援一定的容量(64位元作業系統32兆、32位元作業系統16兆),而老生代的對象為存活事件較長或常駐記憶體的對象,簡單來說就是經歷過新生代垃圾回收後還存活下來的對象,容量通常比較大。

下圖展示了V8中的記憶體:

#V8引擎會根據不同的物件採用不同的GC演算法,V8常用的GC演算法如下:

  • 分代回收
  • #空間複製
  • 標記清除
  • #標記整理
  • 標記增量

新生代物件垃圾回收

上面我們也介紹了,新生代中存放的是存活時間較短的物件。新生代物件回收過程採用的是複製演算法和標記整理演算法。

複製演算法將我們的新生代記憶體區域劃分為兩個相同大小的空間,我們將目前使用狀態的空間稱為From狀態,空間狀態的空間稱為To狀態,

如下圖所示:

我們將活動的物件全部儲存到From空間,當空間接近滿的時候,就會觸發垃圾回收。

首先需要將新生代From空間中的活動物件做標記整理,標記整理完成之後將標記後的活動物件拷貝到To空間並將沒有進行標記的物件進行回收;最後將From空間和To空間進行交換。

還有一點需要說的就是在進行物件拷貝的時候,會出現新生代物件移動至老生代物件中。

這些被移動的物件是具有指定條件的,主要有兩種:

  • #經過一輪垃圾回收還存活的新生代物件會被移動到老生代物件中
  • 在To空間佔用率超過了25%,這個物件也會被移到老生代物件中(25%的原因是怕影響後續記憶體分配)

如此可知,新生代對象的垃圾回收採用的方案是空間換時間。

老生代物件垃圾回收

老生代區域存放的物件就是存活時間長、佔用空間大的物件。也正是因為其存活的時間長且佔用空間大,也就導致了不能採用複製演算法,如果採用複製演算法那就會造成時間長和空間浪費的現象。

老生代物件一般採用標記清除、標記整理和增量標記演算法進行垃圾回收。

在清除階段主要才採用標記清除演算法來進行回收,當一段時候後,就會產生大量不連續的記憶體碎片,過多的碎片無法分配足夠的記憶體時,就會採用標記整理演算法來整理我們的空間碎片。

老生代物件的垃圾回收會採用增量標記演算法來最佳化垃圾回收的過程,增量標記演算法如下圖所示:

#

由於JavaScript是單線程,所以程式執行和垃圾回收同時只能運行一個,這就會導致在執行垃圾回收的時候程式卡頓,這樣給用戶的體驗肯定是不好的。

所以提出了增量標記,在程式運行時,程式先跑一段時間,然後進行初步的標記,這個標記有可能只標記直接可達的對象,然後程式繼續跑一段時間,在進行增量標記,也即標記哪些間接可達的物件。由此反复,直至結束。

Performance工具

由於JavaScript沒有提供我們操作記憶體的API,只能靠本身提供的記憶體管理,但我們並不知道實際上的記憶體管理是什麼樣的。而有時我們需要時時關注記憶體的使用情況,Performance工具提供了多種監控記憶體的方式。

Performance使用步驟

首先我們開啟Chrome瀏覽器(這裡我們使用的是Chrome瀏覽器,其他瀏覽器也是可以的),在網址列中輸入我們的目標位址,然後開啟開發者工具,選擇【效能】面板。

選擇效能面板後開啟錄製功能,然後去存取特定介面,模仿使用者去執行一些操作,然後停止錄製,最後我們可以在分析介面中分析記錄的記憶體資訊。

記憶體問題的體現

出現記憶體的問題主要有以下幾種表現:

  • 頁面出現延遲載入或經常性暫停,它的底層就伴隨著頻繁的垃圾回收的執行;為什麼會頻繁的進行垃圾回收,可能是一些代碼直接導致內存爆滿而且需要立刻進行垃圾回收。

關於這個問題我們可以透過記憶體變化圖來分析原因:

  • 頁面持續性出現糟糕的效能表現,也就是說在我們使用的過程中,頁面給我們的感覺就是一直不好用,它的底層我們一般認為都會存在內存膨脹,所謂的內存膨脹就是當前頁面為了達到某種速度從而申請遠大於本身所需要的內存,申請的這個存在超過了我們設備本身所能提供的大小,這個時候我們就能感知到一個持續性的糟糕性能的體驗。

導致記憶體膨脹的問題有可能是我們程式碼的問題,也有可能是裝置本身就很差勁,想要分析定位並解決的話需要我們在多個裝置上進行反覆的測試

  • 頁面的效能隨著時間的延長導致頁面越來越差,載入時間越來越長,出現這種問題的原因可能是由於程式碼的原因出現記憶體外洩

想要偵測記憶體是否有洩漏,我們可以透過記憶體總視圖來監聽我們的內存,如果記憶體是持續升高的,就可能已經出現了記憶體外洩。

監控記憶體的方式

在瀏覽器中監控記憶體主要有以下幾種方式:

  • 瀏覽器提供的任務管理器
  • Timeline時序圖
  • 堆快照查找分離DOM
  • #判斷是否存在頻繁的垃圾回收
##接下來我們就分別講解這幾種方式。

任務管理器監控記憶體

在瀏覽器中按【Shift】 【ESC】鍵即可開啟瀏覽器提供的任務管理器,下圖展示了Chrome瀏覽器中的任務管理器,我們來解讀一

上圖中我們可以看到【掘金】標籤頁的【內存佔用空間】表示的的這個頁面的DOM在瀏覽器中所佔的內存,如果不斷增加表示有新的DOM在建立;而後面的【JavaScript使用的記憶體】(預設不開啟,需要透過右鍵開啟)表示的是JavaScript中的堆,而括號中的大小表示JavaScript中的所有可達對象。

Timeline記錄記憶體

上面描述的瀏覽器中提供的任務管理器只能用來幫助我們判斷頁面是否有問題,卻無法定位頁面的問題。

Timeline是Performance工具中的一個小的選項卡,其中以毫秒為單位記錄了頁面中的情況,從而可以幫助我們更簡單的定位問題。

堆快照查找分離DOM

堆快照是很有針對性的查找目前的介面物件中是否存在一些分離的DOM,分離DOM的存在也就是存在記憶體洩漏。

首先我們先弄清楚DOM有幾個狀態:

    #首先,DOM物件存在DOM樹中,這屬於正常的DOM
  • 然後,不存在DOM樹中且不存在JS引用,這屬於垃圾DOM對象,是需要被回收的
  • 最後,不存在DOM樹中但是存在JS引用,這就是分離DOM,需要我們手動進行釋放。
找出分離DOM的步驟:開啟開發者工具→【記憶體面板】→【使用者設定】→【取得快照】→在【濾鏡】中輸入

Detached來尋找分離DOM,

如下圖所示:

查找到建立的分離DOM後,我們找到該DOM的引用,然後進行釋放。

判斷是否存在頻繁的垃圾回收

因為GC工作時應用程式是停止的,如果當前垃圾回收頻繁工作,而且時間過長的話對頁面來說很不友好,會導致應用程式假死說我狀態,用戶使用中會感知應用程式有卡頓。

我們可以透過以下方式判斷是否存在頻繁的垃圾回收,具體如下:

  • 透過Timeline時序圖判斷,對目前效能面板中的記憶體走勢進行監控,如果其中頻繁的上升下降,就出現了頻繁的垃圾回收。這時候要定位程式碼,看看執行什麼的時候造成了這種情況。
  • 使用瀏覽器任務管理器會簡單一些,任務管理器中主要是數值的變化,其資料頻繁的瞬間增加減小,也是頻繁的垃圾回收。

【相關推薦:javascript影片教學web前端

以上是深入理解JavaScript記憶體管理和GC演算法的詳細內容。更多資訊請關注PHP中文網其他相關文章!

相關標籤:
來源:jb51.net
本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn
最新問題
熱門教學
更多>
最新下載
更多>
網站特效
網站源碼
網站素材
前端模板
關於我們 免責聲明 Sitemap
PHP中文網:公益線上PHP培訓,幫助PHP學習者快速成長!