JS のガベージコレクションメカニズムの詳細な分析-jsチュートリアル-php.cn

基本型はスタックに保存され、参照型はヒープに保存されます。 JavaScript は、変数 (オブジェクト、文字列など) が作成されるときに自動的にメモリを割り当て、使用されないときは「自動的に」解放します。解放するプロセスはガベージコレクションと呼ばれます。

JS のガベージコレクションメカニズムの詳細な分析

#ガベージコレクション戦略

すべてのガベージコレクターが実行する必要があるタスク

スペース内のアクティブ (ライブ) オブジェクトと非アクティブ (非ライブ) オブジェクトをマークする
非アクティブなオブジェクトによって占有されているメモリをリサイクルまたは再利用します
メモリ断片化の発生を防ぐためのメモリ構成

ガベージオブジェクトとは何ですか?

一般に、参照されていないオブジェクトはゴミであるため、削除する必要があります。ルートから開始してオブジェクトをトラバースします。

例外複数のオブジェクト参照がリングを形成し、相互に参照しているにもかかわらず、ルートがそれらにアクセスできない場合、これらのオブジェクトもガベージであるため、クリアする必要があります。

ルートオブジェクトと存続オブジェクトとは

ルートオブジェクトには、本質的に到達可能なオブジェクトの基本セットがあります。

#グローバル変数ウィンドウグローバルオブジェクト、DOM ドキュメントツリールートオブジェクトなど

#…
# #values は明らかな理由により削除できません。 #ライブオブジェクト

参照または参照チェーンがルートから他の値にアクセスできる場合、値はアクセス可能であるとみなされます

V8 エンジンのリサイクル世代別リサイクル方法ヒープを新しい世代と古い世代に分割します。新世代は有効期間の短いオブジェクトを保存し、古い世代は有効期間が長いオブジェクトを保存します。

新世代のガベージコレクタースカベンジコピーアルゴリズムヒープメモリ

を 2 つの部分に分割し、1 つは使用領域です。使用中のスペース、もう 1 つは空き領域、アイドル状態のスペースです。

に保存されます。使用領域がほぼいっぱいになったら、ゴミを取り除く必要があります。クリーンアップ操作。
新世代のガベージコレクターは、使用領域内の
オブジェクトをマークします。マークが完了すると、
は使用領域内のアクティブオブジェクトをコピーします。エリアからフリーエリアへ。メモリブロックが散在する問題を解決しました。使用領域内の非アクティブなオブジェクトが占めていたスペースをクリーンアップします。最後に、役割が逆転し、元の使用領域が新たな空き領域となり、元の空き領域が新たな使用領域となる。
#オブジェクトは古い世代に移動されました

オブジェクトが何度もコピーされてもまだ残っている場合、そのオブジェクトは存在するとみなされます。ライフサイクルが長いため、長いオブジェクトはその後古い世代に移動されます。オブジェクトを空き領域にコピーし、空き領域の 25% 以上を占有している場合、オブジェクトは古い世代のスペースに直接昇格されます。その理由は、元の空き領域が新たな使用領域となり、オブジェクトのメモリ割り当てが継続され、比率が高すぎると、新しいオブジェクトに使用できる領域が不足するためです。

#新世代の最適化並列リサイクル

完全一時停止問題 JavaScript はシングルスレッドですメインスレッドで実行すると、JavaScript スクリプトの実行はガベージコレクション中にブロックされます。スクリプトの実行を再開する前に、ガベージコレクションが完了するまで待つ必要があります。

GC に時間がかかりすぎると、ページがフリーズする可能性があります。

並列リサイクルメカニズム

メインスレッドでのガベージコレクターの実行中に、複数の補助スレッドが開始され、同じリサイクル作業を同時に実行します。

#旧世代のガベージコレクション

JS のガベージコレクションメカニズムの詳細な分析

スカベンジメソッドの使用に関する問題

1. 生存オブジェクト数が多すぎると、生き残ったオブジェクトを頻繁にコピーする効率が低下します 2. スペースの半分が無駄になりますは主にマーククリア

メソッドを使用します。割り当てが不十分です。

mark-organize を使用してください。
メソッド

旧世代のガベージコレクション期間で使用されるアルゴリズム

1. まず、mark-clear を使用してガベージスペースの回復を完了します。 2. スペースの最適化にはマーク整理を使用します; 3. 効率の最適化には最適化増分マーキングと遅延クリーニングを使用します;

##マークのクリアとマーキング構成アルゴリズム

scavenge は生きているオブジェクトのみをコピーしますが、mark-clear は死んだオブジェクトのみを消去します。

生きている物体は新しい世代のほんの一部に過ぎず、死んだ物体は古い世代のほんの一部に過ぎないため、どちらのリサイクル方法も効率的に処理できます。欠点

記憶の断片が多すぎます。大きなメモリを割り当てる必要がある場合、残りの断片化された領域では割り当てを完了するのに十分ではないため、ガベージコレクションが事前にトリガーされ、このコレクションは不要です。

-> マーキング整理アルゴリズム 生き残ったオブジェクトをマーキングした後、生き残ったオブジェクトをメモリ空間の一端に移動し、移動が完了したら、境界の外側にあるすべてのメモリをクリアします

最適化 - 増分マーキングと遅延クリーンアップ

増分マーキング

オブジェクトが多く、セット全体を走査してマークしようとする場合複数のオブジェクトを同時に実行すると、時間がかかり、実行に多少の遅れが生じる場合があります。したがって、エンジンはガベージコレクションを複数の部分に分割しようとします。その後、各部分が個別に実行されます。

V8 は、 旧世代のガベージコレクターを最適化し、完全な一時停止マーキングから増分マーキング に切り替えました。
ガベージコレクションを短期間の GC ガベージコレクションに変える
JS のガベージコレクションメカニズムの詳細な分析
黒と白 (生存と死亡) のマーキング戦略が採用されている場合、ガベージコレクターはリサイクル後にインクリメントを実行します。アプリケーションで JavaScript コードを実行するために一時停止した後、メインスレッドが有効になります。その後、ガベージコレクターが再び開始されると、メモリ内には白黒が残り、次にどこに進むべきかわかりません。

遅延クリーンアップ

遅延クリーンアップは、増分マーキングが完了した後に開始されます。インクリメンタルマーキングが完了したときに、現在使用可能なメモリがコードをすぐに実行するのに十分な場合は、実際にはすぐにメモリをクリーンアップする必要はありません。クリーンアッププロセスを少し遅らせて、JavaScript スクリプトコードを最初に実行することができます。一度にすべてをクリーンアップする必要はありません。非アクティブなオブジェクトメモリがすべてクリアされた後、すべての非アクティブなオブジェクトメモリがクリアされるまで、必要に応じて 1 つずつクリーンアップしてから、増分マーキングを実行できます

3 色マーキング方式の一時停止と再開

3 色マーキング方式のマーク操作は、毎回メモリ空間全体をスキャンすることなく、段階的に実行できます。一時停止と回復のための増分リサイクルと適切に調整できるため、合計一時停止時間が短縮されます。

白: マークされていないオブジェクト
灰色: オブジェクト自体がマークされています。およびオブジェクトの参照オブジェクトはマークされていません
黒: それ自体とオブジェクトの参照オブジェクト (矢印が指すオブジェクト) の両方がマークされます

JS のガベージコレクションメカニズムの詳細な分析
ルートオブジェクトのグループから開始し、最初にルートオブジェクトが灰色にマークされ、マーキングワークシートにプッシュされます。リサイクル業者がマーキングワークシートからオブジェクトをポップし、その参照オブジェクトにアクセスすると、自身が灰色から黒に変換されます。灰色

灰色のマークが付けられるオブジェクトがなくなるまで、つまり到達できるオブジェクトがなくなるまで下に進み続け、その後、残りの白いオブジェクトがすべて変換されます。到達不能、つまりリサイクルを待っています。

現在のメモリに灰色のノードがあるかどうかで、マーク全体が完了したかどうかが決まります。灰色のノードがない場合は、直接クリーンアップフェーズに入ります。灰色のマークがまだある場合は、、リカバリ中に灰色のノードから直接実行を続行します。、タスクプログラムが実行され、オブジェクトの参照関係が変更されます。