v8源码解析之Array和FixedArray（v8 0.1.5）

最新推荐文章于 2022-08-01 10:41:34 发布
最新推荐文章于 2022-08-01 10:41:34 发布
阅读量653 收藏 1
点赞数
分类专栏： v8引擎源码分析
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/THEANARKH/article/details/109125463
版权

v8中很多数据结构都具备数组的特性，今天我们先介绍Array和FixedArray。他们是V8中很多数据结构的基类。

1 Array

我们先看Array的定义。

class Array: public HeapObject {
 public:
  // 数组的长度
  inline int length();
  inline void set_length(int value);
  // 把对象object转成数字，存到index中
  static inline bool IndexFromObject(Object* object, uint32_t* index);
  // 布局信息
  static const int kLengthOffset = HeapObject::kSize;
  static const int kHeaderSize = kLengthOffset + kIntSize;

 private:
  // 禁止直接创建对象，复制函数，赋值函数，通过v8的接口创建
  DISALLOW_IMPLICIT_CONSTRUCTORS(Array);
};

首先我们看一下Array的内存布局。

Array的定义比较简单，我们主要看一下IndexFromObject函数。

// 把对象转数字索引
bool Array::IndexFromObject(Object* object, uint32_t* index) {
  // 是smi类型的对象（31比特）
  if (object->IsSmi()) {
  	// 直接转成整形，存到index
    int value = Smi::cast(object)->value();
    if (value < 0) return false;
    *index = value;
    return true;
  }
  // 是HeapNumber对象
  if (object->IsHeapNumber()) {
    // 转成数字double
    double value = HeapNumber::cast(object)->value();
    // 转成32位
    uint32_t uint_value = static_cast<uint32_t>(value);
    // 判断值是不是小于32位
    if (value == static_cast<double>(uint_value)) {
      *index = uint_value;
      return true;
    }
  }
  return false;
}

2 FixedArray

FixedArray是长度固定的数组，元素是Object*。我们看一下定义。

class FixedArray: public Array {
 public:
  // 按索引存取数组元素
  inline Object* get(int index);
  inline void set(int index, Object* value);
  // 设置索引index的值
  inline void set_undefined(int index);
  inline void set_the_hole(int index);
  // 写屏障模式
  enum WriteBarrierMode { SKIP_WRITE_BARRIER, UPDATE_WRITE_BARRIER };
  inline void set(int index, Object* value, WriteBarrierMode mode);
  inline WriteBarrierMode GetWriteBarrierMode();
  // 复制元素
  Object* Copy();
  Object* CopySize(int new_length);

  Object* AddKeysFromJSArray(JSArray* array);

  Object* UnionOfKeys(FixedArray* other);

  void CopyTo(int pos, FixedArray* dest, int dest_pos, int len);

  /*
	  FixedArray继承Array，kHeaderSize是Array属性的末地址，加上元素个数*单个元素长度（Object *）
  */
  static int SizeFor(int length) { return kHeaderSize + length * kPointerSize; }

  static inline FixedArray* cast(Object* obj);
  // 算出自己所占的内存大小
  int FixedArraySize() { return SizeFor(length()); }
  void FixedArrayIterateBody(ObjectVisitor* v);
  
  // Swap two elements.
  void Swap(int i, int j);

  // Sort this array and the smis as pairs wrt. the smis.
  void SortPairs(FixedArray* smis);

 protected:
  static inline void fast_set(FixedArray* array, int index, Object* value);

 private:
  DISALLOW_IMPLICIT_CONSTRUCTORS(FixedArray);
};

我们看一下FixedArray内存布局。

FixedArray的内存布局由数组长度和存储数组元素的内存组成。接下来我们逐个看一下各个函数的实现。

2.1 get

Object* FixedArray::get(int index) {
  ASSERT(index >= 0 && index < this->length());
  return READ_FIELD(this, kHeaderSize + index * kPointerSize);
}

偏移为kHeaderSize处开始存储数据，每个元素大小的kPointerSize。

2.2 set

void FixedArray::set(int index, Object* value) {
  ASSERT(index >= 0 && index < this->length());
  int offset = kHeaderSize + index * kPointerSize;
  WRITE_FIELD(this, offset, value);
  // 写屏障
  WRITE_BARRIER(this, offset);
}

2.3 set_undefined

设置某个索引的值为undefined

void FixedArray::set_undefined(int index) {
  ASSERT(index >= 0 && index < this->length());
  ASSERT(!Heap::InNewSpace(Heap::undefined_value()));
  WRITE_FIELD(this, kHeaderSize + index * kPointerSize,
              Heap::undefined_value());
}

2.4 set_the_hole

设置某个索引的值为空

void FixedArray::set_the_hole(int index) {
  ASSERT(index >= 0 && index < this->length());
  ASSERT(!Heap::InNewSpace(Heap::the_hole_value()));
  WRITE_FIELD(this, kHeaderSize + index * kPointerSize, Heap::the_hole_value());
}

2.5 Copy

Copy函数实现数组的浅复制。

Object* FixedArray::Copy() {
  int len = length();
  // 没有内容则不需要复制
  if (len == 0) return this;
  // 首先分配一个数组长度为len的固定数组
  Object* obj = Heap::AllocateFixedArray(len);
  if (obj->IsFailure()) return obj;
  // 转成FixedArray
  FixedArray* result = FixedArray::cast(obj);
  WriteBarrierMode mode = result->GetWriteBarrierMode();
  // 逐个元素复制内容过去
  for (int i = 0; i < len; i++) {
    result->set(i, get(i), mode);
  }
  // 设置map
  result->set_map(map());
  return result;
}

2.6 CopySize

CopySize是复制数组的前new_length个元素到新数组，如果new_length比本来的数组长度length大，则只复制length个元素。

Object* FixedArray::CopySize(int new_length) {
  if (new_length == 0) return Heap::empty_fixed_array();
  // 分配一个新的数组
  Object* obj = Heap::AllocateFixedArray(new_length);
  if (obj->IsFailure()) return obj;
  FixedArray* result = FixedArray::cast(obj);
  WriteBarrierMode mode = result->GetWriteBarrierMode();
  // Copy the content
  int len = length();
  // 取小者
  if (new_length < len) len = new_length;
  for (int i = 0; i < len; i++) {
    result->set(i, get(i), mode);
  }
  result->set_map(map());
  return result;
}

2.7 AddKeysFromJSArray

AddKeysFromJSArray首先提取数组的有效元素，然后复制到另一个数组中，再执行合并和去重。

Object* FixedArray::AddKeysFromJSArray(JSArray* array) {
  // 把数组中空洞元素移除，相当于shrink
  Object* object = array->RemoveHoles();
  if (object->IsFailure()) return object;
  // 拿到有效元素
  JSArray* compacted_array = JSArray::cast(object);
  // 数组长度
  int compacted_array_length = Smi::cast(compacted_array->length())->value();
  // 分配一个新的数组
  object = Heap::AllocateFixedArray(compacted_array_length);
  if (object->IsFailure()) return object;
  FixedArray* key_array = FixedArray::cast(object);
  // 逐个复制过去
  for (int i = 0; i < compacted_array_length; i++) {
    key_array->set(i, compacted_array->GetElement(i));
  }
  // 去重合成新数组返回
  return UnionOfKeys(key_array);
}

2.8 UnionOfKeys

UnionOfKeys实现两个数组的合并和去重

// 把this和other去重后合成一个数组
Object* FixedArray::UnionOfKeys(FixedArray* other) {
  int len0 = length();
  int len1 = other->length();
  // Optimize if either is empty.
  if (len0 == 0) return other;
  if (len1 == 0) return this;

  // Compute how many elements are not in this.
  int extra = 0;
  // 遍历other，算出多少个元素不在this中
  for (int y = 0; y < len1; y++) {
    if (!HasKey(this, other->get(y))) extra++;
  }

  // Allocate the result
  // 分配新的数组
  Object* obj = Heap::AllocateFixedArray(len0 + extra);
  if (obj->IsFailure()) return obj;
  // Fill in the content
  FixedArray* result = FixedArray::cast(obj);
  // 把之前的元素先复制过去
  for (int i = 0; i < len0; i++) {
    result->set(i, get(i));
  }
  // Fill in the extra keys.
  // 把新成员也复制过去
  int index = 0;
  for (int y = 0; y < len1; y++) {
    if (!HasKey(this, other->get(y))) {
      result->set(len0 + index, other->get(y));
      index++;
    }
  }
  ASSERT(extra == index);
  return result;
}

2.9 CopyTo

CopyTo实现把一个数组的某len个元素复制到另一个数组中。

// pos和dest_pos是两个数组开始复制的位置，len是长度
void FixedArray::CopyTo(int pos, FixedArray* dest, int dest_pos, int len) {
  WriteBarrierMode mode = dest->GetWriteBarrierMode();
  for (int index = 0; index < len; index++) {
    dest->set(dest_pos+index, get(pos+index), mode);
  }
}

2.10 Swap

Swap实现两个元素的交换

void FixedArray::Swap(int i, int j) {
  Object* temp = get(i);
  set(i, get(j));
  set(j, temp);
}

2.11 fast_set

设置某个元素的值

void FixedArray::fast_set(FixedArray* array, int index, Object* value) {
  ASSERT(index >= 0 && index < array->length());
  WRITE_FIELD(array, kHeaderSize + index * kPointerSize, value);
}
theanarkh
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
c++ 构造函数数组_查缺补漏从详细操作js数组到浅析v8中array.js
weixin_39874795的博客
11-20 259
前言最近在写面试编程题，经常用到数组，经常想偷个懒，用它提供的方法，奈何还是对数组方法使用不熟练，导致写了很多的垃圾代码，很多地方稍加修改的话肯定变得简洁高效优雅?所以✍这篇文章本着了解一下JavaScript数组的特性，正如标题所写「通过v8中array.js源码浅析如何自己实现常见的数组方法」，如果你想提高自己编码能力，可以留下来看看这篇文章「阅读完，你将收获?」对常见数组操作方法更...
JS数组在V8引擎中的实现
weixin_34112900的博客
06-19 757
最近看到了一篇论文：ChromeV8引擎中的Javascript数组实现分析与性能优化，看完之后感觉收获还是挺多的，现在和大家分享一下。 先说下主流的浏览器内核 主流浏览器 js引擎 IE -> Edge JScript（IE3.0-IE8.0）/ Chakra（IE9+之后，查克拉） Chrome V8（大名鼎鼎） Safari Nitro（4-） Firefox...
V8中的快慢数组（附源码、图文更易理解）
heyYouU的博客
08-01 470
接上一篇 V8 中的快慢属性，本篇分析V8 中的快慢数组，了解数组全填充还是带孔、快慢数组、快慢转化、动态扩缩容等等。
V8 堆外内存 ArrayBuffer 垃圾回收的实现
标子 的专栏
04-29 924
前言：V8 除了我们经常讲到的新生代和老生代的常规堆内存外，还有另一种堆内存，就是堆外内存。堆外内存本质上也是堆内存，只不过不是由 V8 进行分配，而是由 V8 的调用方分配，比如 Node.js，但是是由 V8 负责 GC 的。本文介绍堆外内存的一种类型 ArrayBuffer 的 GC 实现。 1 创建 ArrayBuffer ArrayBuffer 的创建有很多种方式，比如在 JS 层创建 Uint8Array 或者 ArrayBuffer（对应实现 builtins-arraybuffer.cc），
read-v8-0.1.5:js引擎v8原始码解析（基于0.1.5）-源码解析
03-24
这个“read-v8-0.1.5”项目是对 V8 引擎源代码的一个解析版本，基于 V8 的 0.1.5 版本。下面我们将详细探讨 V8 引擎的一些核心概念和技术特点。 1. **V8 源码结构** V8 源码结构复杂，包括多个模块，如：i18n 国际...
libref_array-0.1.5-39.el8.i686.rpm
12-12
官方离线安装包，亲测可用。使用rpm -ivh [rpm完整包名] 进行安装
libref_array-0.1.5-39.el8.aarch64.rpm
12-12
官方离线安装包，亲测可用。使用rpm -ivh [rpm完整包名] 进行安装
libref_array-0.1.5-32.el7.i686.rpm
12-12
官方离线安装包，亲测可用。使用rpm -ivh [rpm完整包名] 进行安装
libref_array-0.1.5-39.el8.x86_64.rpm
12-12
官方离线安装包，亲测可用。使用rpm -ivh [rpm完整包名] 进行安装
js引擎v8源码解析之allocation（基于0.1.5）
标子 的专栏
06-08 383
#ifndef V8_ALLOCATION_H_ #define V8_ALLOCATION_H_ namespace v8 { namespace internal { // A class that controls whether allocation is allowed. This is for // the C++ heap only! class NativeAlloca...
V8 Promise源码全面解读
qq_35385241的博客
03-21 500
阅读本文你将收获什么？ 了解 V8 Promise 源码全过程，世界上不再有能困住你的 Promise 题目，我就是这么肯定这篇文章的干货 仅仅了解或者实现了 Promise/A+ 规范，这与 JavaScript 的 Promise 中间还有很大的差距 如果你在面试时将 Promise 回答到本文的深度，一定是收获 SP 或者 SSP offer 的利器，因为面试官大概率也不知道这些知识。 你知道 浏览器 & Node 中真正的 Promise 执行顺序是怎么样的吗，如果你只是看过 Promise
js引擎v8源码解析之list（基于0.1.5）
标子 的专栏
06-09 232
#ifndef V8_LIST_H_ #define V8_LIST_H_ namespace v8 { namespace internal { // ---------------------------------------------------------------------------- // The list is a template for very light-we...
动态数组之六：TFixedArray
Panda的专栏
07-14 446
*Symbian操作系统还提供了固定长度的数组类来替代动态数组*当数组元素在编译时已知时，这种固定数组非常有用*TFixedArray封装了标准的固定长度C++数组，并且加入了边界检查*与通用C++数组相比，TFixedArray提供了其它的函数 - Begin(),End(): 用于导航数组 - Count(): 返回数组元素个数 - Length(): 返回数组占用的字
Array.from()和new Set()的用法详解
weixin_45621877的博客
12-25 1万+
Array.from()方法就是将一个类数组对象或者可遍历对象转换成一个真正的数组。 那么什么是类数组对象呢？所谓类数组对象，最基本的要求就是具有length属性的对象。 let arrayLike = { 0: 'tom', 1: '65', 2: '男', 3: ['jane','john','Mary'], 'length': 4 } let ar...
v8的初始化
路
03-02 2688
isolate.cc中定义的 struct StaticInitializer {   StaticInitializer() {     Isolate::EnsureDefaultIsolate();   } } static_initializer; 这个变量是一个Global变量，在C++初始化，早于main函数被调用之前就被调用了。 Isolate::EnsureDefau
js set集合转数组 Array.from的使用方法
热门推荐
u011784205的专栏
08-17 5万+
1.set集合转化Array数组  注意：这个可以使用过滤数组中的重复的元素 你可以先把数组转化为set集合 然后在把这个集合通过Array.from这个方法把集合在转化为数组 var set = new Set([1, 2, 3, 3, 4]); Array.from(set) //输出[1,2,3,4] 2.字符串通过Array.from 会被分割成单个字符的数组 A
在C++中嵌入V8
doon的专栏
10-23 1万+
本文翻译自 http://write.blog.csdn.net/postedit Handle和垃圾收集 handle在v8中，用于记录js对象在堆中的位置。v8的垃圾收集器在收集那些不可到达的内存时，会对堆进行整理。它会移动对象的位置，以达到优化内存的目的。 当v8的垃圾收集器移动js对象的位置时，它会同时更新handle的值，让handle能够指向对象新的位置。 v
elasticsearchhead0.1.5谷歌插件下载
最新发布
07-14
要下载elasticsearchhead0.1.5谷歌插件，您可以按照以下步骤进行操作： 1. 首先，打开您的Chrome浏览器，并在地址栏中输入"Chrome网上应用店"。 2. 在搜索栏中，输入"elasticsearchhead0.1.5"并点击搜索按钮。 3. ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值