función lenta llamada en V8 cuando se utiliza la misma tecla para las funciones en diferentes objetos

Primeros fundamentos.

V8 utiliza clases ocultas conectadas con transiciones para descubrir la estructura estática en los objetos JavaScript esponjosos y sin forma.

Las clases ocultas describen la estructura del objeto, las transiciones vinculan las clases ocultas entre sí describiendo qué clase oculta se debe usar si se realiza una determinada acción en un objeto.

Por ejemplo, el siguiente código conduciría a la siguiente cadena de ocultos clases:

var o1 = {};
o1.x = 0;
o1.y = 1;
var o2 = {};
o2.x = 0;
o2.y = 0;

Esta cadena se crea a medida que construyes o1. Cuando se construye o2 V8 simplemente sigue las transiciones establecidas.

Ahora, cuando se usa una propiedad fn para almacenar una función V8 intenta darle a esta propiedad un tratamiento especial: en lugar de simplemente declarar en la clase oculta que el objeto contiene una propiedad fn V8 pone la función en la clase oculta.

var o = {};
o.fn = function fff() { };

Ahora hay un interesante consecuencia aquí: si almacena diferentes funciones en el campo con el mismo nombre V8 ya no puede seguir simplemente las transiciones porque el valor de la propiedad function no coincide con el valor esperado:

var o1 = {};
o1.fn = function fff() { };
var o2 = {};
o2.fn = function ggg() { };

Al evaluar o2.fn = ... assignment V8 verá que hay una transición etiquetada fn pero conduce a una clase oculta que no es adecuada: contiene fff en la propiedad fn, mientras que estamos tratando de almacenar ggg. Nota: He dado nombres de funciones solo por simplicidad - V8 no utiliza internamente sus nombres sino su identidad.

Debido a que V8 no puede seguir esta transición, V8 decidirá que su decisión de promover la función a la clase oculta fue incorrecta y derrochadora. La imagen cambiará

V8 creará una nueva clase oculta donde fn es solo una propiedad simple y ya no una propiedad de función constante. Redireccionará la transición y también marcará el destino de transición antiguo obsoleto. Recuerde que o1 todavía lo está usando. Sin embargo, la próxima vez que el código toque o1, por ejemplo, cuando se carga una propiedad desde él, runtime migrará o1 de la clase oculta obsoleta. Esto se hace para reducir el polimorfismo - no queremos que o1 y o2 tengan diferentes clases ocultas.

¿Por qué es importante tener funciones en las clases ocultas? Debido a que esto proporciona la información del compilador de optimización de V8 que utiliza para llamadas a métodos inline. Solo puede llamar al método en línea si llama al destino se almacena en la propia clase oculta.

Ahora vamos a aplicar este conocimiento al ejemplo anterior.

Debido a que hay un choque entre las transiciones bar.fn y foo.fn se convierten en propiedades normales, con funciones almacenadas directamente en esos objetos y V8 no puede alinear la llamada de foo.fn lo que lleva a un rendimiento más lento.

¿Podría insertar la llamada antes? Sí. Esto es lo que cambió: en V8 anterior no había mecanismo de desaprobación así que incluso después de que tuvimos un choque y la transición redireccionada fn, foo no se migró a la clase oculta donde fn se convierte en una propiedad normal. En su lugar, foo todavía mantuvo la clase oculta donde fn es una propiedad de función constante directamente incrustada en la clase oculta que permite al compilador de optimización insertarla.

Si intentas timing bar.fn en el nodo anterior verás que es más lento:

for (var i = 0; i < 100000000; i++) {
    bar.fn();  // can't inline here
}       

Precisamente porque usa clase oculta que no permite optimizar el compilador a inline bar.fn llamada.

Ahora bien, lo último que hay que notar aquí es que este punto de referencia no mide el rendimiento de una llamada a una función, sino que mide si el compilador de optimización puede reducir este bucle a un bucle vacío insertando la llamada dentro de él.