JavaScript virtual machines

Что такое виртуальная машина?

Виртуальная машина программная и/или аппаратная система, эмулирующая аппаратное обеспечение некоторой платформы (target — целевая, или гостевая платформа) и исполняющая программы для target-платформы на host-платформе (host — хост-платформа, платформа-хозяин)

Examples

pascal 1970
smalltalk 1980
self 1986
python 1991
java 1995
javascript 1995

Как работает виртуальная машина?

Parser
Intermediate Representation (IR)
Interpreter
Garbage Collection
Optimization

Parser

Tokenize
AST

Intermediate Representation

Bytecode
Stack vs. register

Stack vs. register

Stack: (JVM, .NET, php, python, Old JavaScript engine)
Register: (Lua, Dalvik, All modern JavaScript engine)

Garbage Collection

Reference counting (php, python ...), smart pointer
Tracing
- Stop the world
- Copying, Mark-and-sweep, Mark-and-compact
- Generational GC
- Precise vs. conservative

Mark-and-sweep

Optimization Magic

Interpreter optimization
Compiler optimization
JIT
Type inference
Hidden classes
Inline cache

JIT

компиляции байт-кода
динамической компиляции

Type inference

a + b

Ожидаю шуточек

Hidden classes

         function Point(x, y) {
            this.x = x;
            this.y = y;
        }

         function Point(x, y) {
            this.x = x;
            this.y = y;
        }

         function Point(x, y) {
            this.x = x;
            this.y = y;
        }

         function Point(x, y) {
            this.x = x;
            this.y = y;
        }

Inline cache

For example, the JavaScript code to access property x from a Point object is:

point.x

In V8, the machine code generated for accessing x is:

        # ebx = the point object
        cmp [ebx, <hidden class offset>],<cached hidden class>
        jne <inline cache miss>
        mov eax,[ebx, <cached x offset>]