如果v8在对象增长时重新散列

Question

假设您对一个对象进行了更改，该对象触发存储哈希值的基础数组或数据结构的大小更改。

var x = { a: 1, b: 2, c: 3 }
// trigger a resize theoretically
x.d = 4
x.e = 5
x.f = 6

假设哈希的底层数组在v8中如下所示

[ 1, 3, 2, null, null ]

最初它创造了一些额外的空间。但是它还不够，所以它不得不生长。有两种选择。

1. 它的增长，留下了原来的价值在那里，目前的地方。
2. 它生长并重新散列，将值移动到任意的新位置。

所以看起来是：

// (1) 1, 3, 2 stay where they are
[ 1, 3, 2, 6, 4, 5, null, null, null, null ]

// (2) 1, 3, 2 are moved
[ 6, 2, 5, 3, 4, 1, null, null, null, null ]

想知道v8在这种情况下做了什么。还想知道调整大小的启发式方法是什么(当数组的大小超过增长时，它是否是数组大小的两倍，等等)。

Answer 1

V8引擎使用两种对象表示：

• 字典模式-其中对象作为键值映射存储为散列映射。
• 快速模式-其中对象存储为结构，其中不涉及属性访问的计算。

对于属性访问来说，快速模式通常要快得多--但需要知道对象的结构。

V8最初将尝试构建一个对象看起来像“隐藏类”的模板。对象将通过隐藏类进行转换，直到V8放弃并将对象存储为一个慢速属性。

我将更深入地讨论"蓝鸟的util.toFastProperties函数如何使对象的属性“快速”？“中的相关代码。

至于您的直接问题，对象将对这些属性赋值(每个这样的赋值)进行“快速分配”，并迁移到不同的映射(根据需要复制内存)。

Answer 2

V8发布了一个关于如何存储属性的详细博客。

对于字典属性V8 (在您的示例中不是这样)，底层数据结构是一个散列映射，因此底层数组中的实际位置发生了变化。

但是，JavaScript要求按插入顺序迭代属性。因此，每个字典当前都会跟踪它的插入位置，以便按正确的顺序迭代条目。

V8对字典大小使用2的幂，并试图保持它们大致为50%空，以避免频繁的哈希冲突。