心血來潮之棧和堆的思考

時間 2019-11-07

標籤心血來潮思考欄目興趣愛好简体版

原文原文鏈接

源頭

常常看到一些編程語言的書上有說，程序運行過程當中，會涉及到棧（Stack）和堆（Heap）。尤爲遇到涉及調查內存泄漏的場景時，書本會提醒讓開發人員查看堆的狀況javascript

基於上述現象，來了兩個疑問：java

程序執行過程當中，爲何常常會涉及到棧和堆兩個數據結構，他們一般的做用是什麼？c++
選用棧能夠理解，但爲何選用堆呢？對比其餘的數據結構，在程序執行過程當中，堆的優點是什麼？編程

回答疑問

根據上述資料可知，上述的兩個疑問提到的堆 其實都不是對應數據結構中的堆的概念，因此問題自己是不許確的~架構

至於棧和堆在程序運行過程當中起到什麼樣的做用，詳細過程又是怎麼樣的，上述資料已經能夠窺探一二，而其中的細節，就不是這個篇章能夠容納的了（並且不一樣的系統架構，不一樣的 runtime 細節上又不同），就不在這裏展開細述了。併發

追加思考：堆在 javascript runtime 中是怎麼表現的呢？

參考 runtime：v8 引擎

查看源碼

先看一下 v8 源碼中的 heap 頭文件，能夠看到有個 HeapStats 類，對 heap 進行描述

class HeapStats {
 public:
  static const int kStartMarker = 0xDECADE00;
  static const int kEndMarker = 0xDECADE01;

  intptr_t* start_marker;                  // 0
  size_t* ro_space_size;                   // 1
  size_t* ro_space_capacity;               // 2
  size_t* new_space_size;                  // 3
  size_t* new_space_capacity;              // 4
  size_t* old_space_size;                  // 5
  size_t* old_space_capacity;              // 6
  size_t* code_space_size;                 // 7
  size_t* code_space_capacity;             // 8
  size_t* map_space_size;                  // 9
  size_t* map_space_capacity;              // 10
  size_t* lo_space_size;                   // 11
  size_t* code_lo_space_size;              // 12
  size_t* global_handle_count;             // 13
  size_t* weak_global_handle_count;        // 14
  size_t* pending_global_handle_count;     // 15
  size_t* near_death_global_handle_count;  // 16
  size_t* free_global_handle_count;        // 17
  size_t* memory_allocator_size;           // 18
  size_t* memory_allocator_capacity;       // 19
  size_t* malloced_memory;                 // 20
  size_t* malloced_peak_memory;            // 21
  size_t* objects_per_type;                // 22
  size_t* size_per_type;                   // 23
  int* os_error;                           // 24
  char* last_few_messages;                 // 25
  char* js_stacktrace;                     // 26
  intptr_t* end_marker;                    // 27
};
複製代碼

從狀態類上，咱們能夠看到，有針對新生代和老生代的描述：new_space_size，new_space_capcacity，old_space_size，old_space_capacity，可知 javascript 的堆內存參考過 jvm 的堆內存管理模式，以便優化內存回收的效率app

查看 objects.h 文件，從該文件的註釋描述中，能夠看到有對 HeapObject 的描述，以下：

//
// Most object types in the V8 JavaScript are described in this file.
//
// Inheritance hierarchy:
// - Object
// - Smi (immediate small integer)
// - HeapObject (superclass for everything allocated in the heap)
// - JSReceiver (suitable for property access)
// - JSObject
// - JSArray
// - JSArrayBuffer
// - JSArrayBufferView
// - JSTypedArray
// - JSDataView
// - JSBoundFunction
// - JSCollection
// - JSSet
// - JSMap
// - JSDate
// - JSFunction
// - JSGeneratorObject
// - JSGlobalObject
// - JSGlobalProxy
// - JSMapIterator
// - JSMessageObject
// - JSModuleNamespace
// - JSPrimitiveWrapper
// - JSRegExp
// - JSSetIterator
// - JSStringIterator
// - JSWeakCollection
// - JSWeakMap
// - JSWeakSet
// - JSCollator // If V8_INTL_SUPPORT enabled.
// - JSDateTimeFormat // If V8_INTL_SUPPORT enabled.
// - JSListFormat // If V8_INTL_SUPPORT enabled.
// - JSLocale // If V8_INTL_SUPPORT enabled.
// - JSNumberFormat // If V8_INTL_SUPPORT enabled.
// - JSPluralRules // If V8_INTL_SUPPORT enabled.
// - JSRelativeTimeFormat // If V8_INTL_SUPPORT enabled.
// - JSSegmenter // If V8_INTL_SUPPORT enabled.
// - JSSegmentIterator // If V8_INTL_SUPPORT enabled.
// - JSV8BreakIterator // If V8_INTL_SUPPORT enabled.
// - WasmExceptionObject
// - WasmGlobalObject
// - WasmInstanceObject
// - WasmMemoryObject
// - WasmModuleObject
// - WasmTableObject
// - JSProxy
複製代碼