偷偷摘套内射激情视频,久久精品99国产国产精,中文字幕无线乱码人妻,中文在线中文a,性爽19p

通過(guò)Handle理解V8的代碼設(shè)計(jì)(基于V0.1.5)

開(kāi)發(fā) 前端
Handle在V8里是一個(gè)非常重要的概念,本文從早期的源碼分析Handle的原理,在分析的過(guò)程中我們還可以看到V8在代碼設(shè)計(jì)上的一些細(xì)節(jié)。

[[402071]]

本文轉(zhuǎn)載自微信公眾號(hào)「編程雜技」,作者theanarkh。轉(zhuǎn)載本文請(qǐng)聯(lián)系編程雜技公眾號(hào)。

前言:Handle在V8里是一個(gè)非常重要的概念,本文從早期的源碼分析Handle的原理,在分析的過(guò)程中我們還可以看到V8在代碼設(shè)計(jì)上的一些細(xì)節(jié)。

假設(shè)我們有以下代碼

  1. HandleScope scope; 
  2. Local<String> hello = String::New(參數(shù)); 

這個(gè)看起來(lái)很簡(jiǎn)單的過(guò)程,其實(shí)在V8的內(nèi)部實(shí)現(xiàn)起來(lái)比較復(fù)雜。

HandleScope

我們從創(chuàng)建一個(gè)HandleScope對(duì)象開(kāi)始分析。HandleScope是負(fù)責(zé)管理多個(gè)Handle的對(duì)象,主要是為了方便管理Handle的分配和釋放。

  1. class HandleScope { 
  2.  public
  3.   HandleScope() : previous_(current_), is_closed_(false) { 
  4.     current_.extensions = 0; 
  5.   } 
  6.  
  7.   static void** CreateHandle(void* value); 
  8.  
  9.  private: 
  10.  
  11.   class Data { 
  12.    public
  13.     // 分配了一塊內(nèi)存后,又額外分配的塊數(shù) 
  14.     int extensions; 
  15.     // 下一個(gè)可用的位置 
  16.     void** next
  17.     // 達(dá)到limit執(zhí)行的地址后說(shuō)明當(dāng)前內(nèi)存塊用完了 
  18.     void** limit; 
  19.     inline void Initialize() { 
  20.       extensions = -1; 
  21.       next = limit = NULL
  22.     } 
  23.   }; 
  24.   // 當(dāng)前的HandleScope 
  25.   static Data current_; 
  26.   // 上一個(gè)HandleScope 
  27.   const Data previous_; 
  28. }; 
  29.  
  30. HandleScope::Data HandleScope::current_ = { -1, NULLNULL }; 

通過(guò)HandleScope的構(gòu)造函數(shù)我們知道每次定義一個(gè)HandleScope對(duì)象的時(shí)候,previous就會(huì)指向前一個(gè)HandleScope的數(shù)據(jù)(但是current_除了第一次創(chuàng)建HandleScope的時(shí)候更新了(見(jiàn)CreateHandle),后續(xù)似乎沒(méi)有更新?后續(xù)詳細(xì)看一下),從HandleScope的定義中我們知道他的布局如下。

接著我們看HandleScope的CreateHandle方法。

  1. void** v8::HandleScope::CreateHandle(void* value) { 
  2.   // 獲取下一個(gè)可用的地址 
  3.   void** result = current_.next
  4.   // 到達(dá)limit的地址了或者為空(初始化的時(shí)候)則獲取新的內(nèi)存 
  5.   if (result == current_.limit) { 
  6.     // Block是二維數(shù)組,每個(gè)元素指向一個(gè)可以存儲(chǔ)數(shù)據(jù)的數(shù)組。非空說(shuō)明可能有可用的內(nèi)存空間 
  7.     if (!thread_local.Blocks()->is_empty()) { 
  8.       // 拿到list中最后一個(gè)元素,得到一個(gè)數(shù)組首地址,然后再獲取他的limit地址,即末地址 
  9.       void** limit = &thread_local.Blocks()->last()[i::kHandleBlockSize]; 
  10.       if (current_.limit != limit) { 
  11.         current_.limit = limit; 
  12.         // v8里少了這一句,看起來(lái)是需要修改result的值的 
  13.         // result = limit - i::kHandleBlockSize;  
  14.       } 
  15.     } 
  16.   } 
  17.   // 下一個(gè)可用的地址 
  18.   current_.next = result + 1; 
  19.   *result = value; 
  20.   return result; 

我們看到CreateHandle會(huì)首先獲取一片內(nèi)存,然后把入?yún)alue的值保存到該內(nèi)存中。

String::New

了解了HandleScope后,我們繼續(xù)分析String::New。

  1. Local<String> v8::String::New(const char* data, int length) { 
  2.   i::Handle<i::String> result = 
  3.       i::Factory::NewStringFromUtf8(i::Vector<const char>(data, length)); 
  4.   return Utils::ToLocal(result); 

我們接著看NewStringFromUtf8。

  1. Handle<String> Factory::NewStringFromUtf8(Vector<const char> string,PretenureFlag pretenure) { 
  2.   CALL_HEAP_FUNCTION(Heap::AllocateStringFromUtf8(string,  
  3.                     pretenure),  
  4.                     String); 

我們先看一下AllocateStringFromUtf8的實(shí)現(xiàn),然后再看CALL_HEAP_FUNCTION。

  1. Object* Heap::AllocateStringFromUtf8(Vector<const char> string,PretenureFlag pretenure) { 
  2.   return AllocateStringFromAscii(string, pretenure); 
  3.  
  4. Object* Heap::AllocateStringFromAscii(Vector<const char> string,PretenureFlag pretenure) { 
  5.   // 從堆中分配一塊內(nèi)存 
  6.   Object* result = AllocateRawAsciiString(string.length(), pretenure); 
  7.   // 設(shè)置堆對(duì)象的內(nèi)容 
  8.   AsciiString* string_result = AsciiString::cast(result); 
  9.   for (int i = 0; i < string.length(); i++) { 
  10.     string_result->AsciiStringSet(i, string[i]); 
  11.   } 
  12.   return result; 

我們看到AllocateStringFromUtf8最后返回了一個(gè)堆內(nèi)存地址。接著我們看下CALL_HEAP_FUNCTION這個(gè)宏。

  1. #define CALL_HEAP_FUNCTION(FUNCTION_CALL, TYPE)         
  2.   do {                  
  3.     Object* __object__ = FUNCTION_CALL;                                       
  4.     return Handle<TYPE>(TYPE::cast(__object__));    
  5.   } while (false

CALL_HEAP_FUNCTION的作用是把函數(shù)FUNCTION_CALL執(zhí)行的結(jié)果轉(zhuǎn)成Handle對(duì)象。我們知道FUNCTION_CALL函數(shù)返回的結(jié)果是一個(gè)堆內(nèi)存指針。接下來(lái)我們看看是如何轉(zhuǎn)成Handle的。這個(gè)Handle不是我們?cè)诖a里使用的Handle。而是V8內(nèi)部使用的Handle(代碼在handles.h),我們看看實(shí)現(xiàn)。

  1. template<class T> 
  2. class Handle { 
  3.  public
  4.   explicit Handle(T* obj); 
  5.  private: 
  6.   T** location_; 
  7. }; 
  8.  
  9. template<class T> 
  10. Handle<T>::Handle(T* obj) { 
  11.   location_ = reinterpret_cast<T**>(HandleScope::CreateHandle(obj)); 

我們看到Handle內(nèi)部使用的是T**二級(jí)指針,而我們剛才拿到堆內(nèi)存地址是一級(jí)指針,自然不能直接賦值,而是通過(guò)CreateHandle又處理了一下。HandleScope::CreateHandle我們剛才已經(jīng)分析過(guò)了。執(zhí)行CreateHandle后布局如下。

所以NewStringFromUtf8最后返回了一個(gè)Handle對(duì)象(里面維護(hù)了一個(gè)二級(jí)指針location_),接著V8調(diào)用Utils::ToLocal把他轉(zhuǎn)成外部使用的Handle。接著賦值給Handle hello。這里的Handle是外部使用的Handle。

  1. Local<v8::String> Utils::ToLocal(v8::internal::Handle<v8::internal::String> obj) {  
  2.     return Local<String>(reinterpret_cast<String*>(obj.location()));  

首先通過(guò)obj.location()拿到一個(gè)二級(jí)指針。然后轉(zhuǎn)成一個(gè)String *指針。接著構(gòu)造一個(gè)Local對(duì)象。ToLocal是V8代碼的分水嶺,我們看看Local的定義。

  1. template <class T> class Local : public Handle<T> { 
  2.  public
  3.   template <class S> inline Local(S* that) : Handle<T>(that) { } 
  4. }; 

直接調(diào)用Handle類的函數(shù)

  1. template <class T> class Handle { 
  2.   explicit Handle(T* val) : val_(val) { } 
  3.   private: 
  4.     T* val_; 

這時(shí)候的結(jié)構(gòu)圖如下

  1. template <class T> class Handle { 
  2.   explicit Handle(T* val) : val_(val) { } 
  3.   private: 
  4.     T* val_; 

所以最后通過(guò)ToLocal返回一個(gè)外部Handle對(duì)象給用戶。當(dāng)執(zhí)行

  1. Local <String> xxx = Local對(duì)象 

時(shí)就會(huì)調(diào)用Local的拷貝函數(shù)。

  1. template <class S>  
  2.       inline Local(Local<S> that) 
  3.       // *that即取得他底層對(duì)象的地址 
  4.       : Handle<T>(reinterpret_cast<T*>(*that)) {} 

我們首先看一下that。Handle類重載了運(yùn)算符。

  1. template <class T> 
  2. T* Handle<T>::operator*() { 
  3.   return val_; 

所以reinterpret_cast(that)拿到了Handle底層指針的值并轉(zhuǎn)成String 類型。接著執(zhí)行

  1. explicit Handle(T* val) : val_(val) { } 

整個(gè)過(guò)程下來(lái),其實(shí)就是把被復(fù)制對(duì)象的底層指針復(fù)制過(guò)來(lái)。=

通過(guò)Handle訪問(wèn)一個(gè)函數(shù)

當(dāng)我們使用Handle hello這個(gè)對(duì)象的方法時(shí)是怎樣的,比如hello->Length()。Handle重載了->運(yùn)算符。

  1. template <class T> 
  2. T* Handle<T>::operator->() { 
  3.   return val_; 

我們看到執(zhí)行hello->Length()的時(shí)候首先會(huì)拿到一個(gè)String *。然后調(diào)用Length方法。其實(shí)就是調(diào)用String對(duì)象(在v8.h中定義)的Length方法。我們看看Length方法的實(shí)現(xiàn)。

  1. int String::Length() { 
  2.   return Utils::OpenHandle(this)->length(); 

首先通過(guò)傳入this調(diào)用OpenHandle拿到內(nèi)部Handle。從前面的架構(gòu)圖中我們知道this(即val_和location_指向的值)本質(zhì)上是一個(gè)String **,即二級(jí)指針。

  1. v8: :internal: :Handle < v8: :internal: :String >  
  2. Utils: :OpenHandle(v8: :String * that) { 
  3.     return v8: :internal: :Handle < v8: :internal: :String > (reinterpret_cast < v8: :internal: :String * *>(that)); 

OpenHandle就是首先把外部的表示轉(zhuǎn)成一個(gè)二級(jí)指針。然后再構(gòu)造一個(gè)內(nèi)部Handle。在內(nèi)部Handle里保存了這個(gè)二級(jí)指針。接著訪問(wèn)這個(gè)Handle對(duì)象的length方法。而Handle重載了->運(yùn)算符。

  1. INLINE(T* operator ->() const)  { return operator*(); } 
  2.  
  3. template <class T>inline T* Handle<T>::operator*() const { 
  4.   return *location_; 

我們看到->的操作最終會(huì)被解引用一次變成String *,然后訪問(wèn)函數(shù)length,也就是訪問(wèn)String對(duì)象的length函數(shù)。

后記:從上面的分析中我們不僅看到了Handle的實(shí)現(xiàn)原理,也看到了V8代碼的一些設(shè)計(jì)細(xì)節(jié),V8在內(nèi)部實(shí)現(xiàn)了一類對(duì)象,然后把內(nèi)部對(duì)象轉(zhuǎn)成外部使用的類型后返回給用戶,當(dāng)用戶使用該返回的對(duì)象時(shí),V8又會(huì)轉(zhuǎn)成內(nèi)部的對(duì)象再操作這個(gè)對(duì)象。核心的數(shù)據(jù)結(jié)構(gòu)是兩個(gè)Handle族的類。因?yàn)樗麄兪蔷S護(hù)了真實(shí)對(duì)象的句柄。其他的一些類,比如String,同樣分為外部和內(nèi)部類,內(nèi)部類是實(shí)現(xiàn)了String的細(xì)節(jié),而外部類只是一個(gè)殼子,他負(fù)責(zé)給用戶暴露API,而不負(fù)責(zé)實(shí)現(xiàn)細(xì)節(jié),但用戶操作這些類時(shí),V8會(huì)會(huì)轉(zhuǎn)成內(nèi)部類再進(jìn)行操作。外部類的定義在v8.h中,這是我們使用V8時(shí)需要了解的最好文檔。內(nèi)部類的實(shí)現(xiàn)根據(jù)版本不同而不同,比如早期版本都是在object.h里實(shí)現(xiàn)的,而實(shí)現(xiàn)內(nèi)外部對(duì)象轉(zhuǎn)換的方法在api.c中定義。

 

責(zé)任編輯:武曉燕 來(lái)源: 編程雜技
相關(guān)推薦

2023-06-05 16:38:51

JavaScript編程語(yǔ)言V8

2022-09-16 08:32:25

JavaC++語(yǔ)言

2014-11-26 09:51:24

GithubGoogleV8

2022-10-24 09:11:05

TypeScriptV8

2021-10-22 21:39:11

InspectorV8 JS

2023-10-10 10:23:50

JavaScriptV8

2010-07-20 16:35:52

V8JavaScript瀏覽器

2020-09-27 07:32:18

V8

2022-08-19 06:40:02

V8GC

2022-04-29 08:00:51

V8垃圾回收

2010-08-31 11:42:03

DB2MDC

2011-10-19 13:47:57

ibmdwRationalWAS

2016-10-18 15:18:48

JEECMS V*javaCMS系統(tǒng)

2021-08-29 18:34:44

編譯V8C++

2023-02-28 07:56:07

V8內(nèi)存管理

2022-04-29 08:05:06

內(nèi)存堆外GC

2022-05-06 23:03:48

V8CPUProfiler

2021-09-05 17:46:21

云計(jì)算No.jsio_uringJS

2021-03-08 10:49:11

漏洞攻擊網(wǎng)絡(luò)安全

2020-08-31 08:11:01

V8 8.5Promise前端
點(diǎn)贊
收藏

51CTO技術(shù)棧公眾號(hào)