Каков наилучший способ компилировать JavaScript-подобные структуры в статический, быстрый C ++?

Question

Каков наилучший способ компилировать JavaScript-подобные структуры в статический, быстрый C ++?

0

Что касается разработки компилятора с языка, очень похожего на JavaScript на C++, мне нужен способ представления структур данных. Основными структурами данных JavaScript являются массивы и хэш-таблицы. Массивы более сложны: я могу использовать вектор нетипизированных указателей. Он должен быть вектором, потому что массивы JS являются динамическими и указателями, потому что массивы JS могут содержать любой объект, например:

var array = [1,2,[3,4],"test"];

Я не вижу способа представить это, кроме этого (есть?). Для хэшей я мог бы использовать что-то похожее, за исключением включения шага хеширования строки на доступ.

Проблема заключается в следующем: JavaScript-хэши JIT-компилируются в реальные C++ объекты, которые, вероятно, намного быстрее, чем хеши. Таким образом, я боюсь, что моя попытка сгенерировать C++, как это, приведет к более медленному коду, чем версия JavaScript!

Имеет ли это смысл?
Какой был бы лучший подход к моему компилятору?

MaiaVictor 17 нояб. 2013, в 15:07

Источник

0

Как насчет простой репликации того, что делают JIT-компиляторы JavaScript, и создания скрытых классов для распространенных шаблонов объектов? mrale.ph/blog/2012/06/03/...
Frank van Puffelen 17 нояб. 2013, в 13:56
1

Вы повторно обнаружили одну из многих причин, по которым быстрые динамические реализации языка выполняют адаптивную оптимизацию во время выполнения. Компилятор AOT плохо подходит для этих языков, точка. Если вы хотите конкурировать с JIT-компиляторами в этом отношении, не пишите AOT-компилятор.
user395760 17 нояб. 2013, в 14:06
0

Вы можете использовать библиотеки Boost Variant или Any для динамических типов без (обязательно) динамического выделения памяти. Или напишите свой собственный тип профсоюзов, если вы чувствуете себя мазохистом.
Mike Seymour 17 нояб. 2013, в 14:14
0

Это право есть одна из причин, по которой SO является таким мощным инструментом. И за статью, и за те комментарии, спасибо! Очень проницательно (Сейчас я просто думаю о другой структуре, которую я мог бы использовать вместо этого, которая была бы мощной, не создавая трудностей при кодировании - это мой язык, поэтому мне не нужно иметь массивы JS, в конце концов.)
MaiaVictor 17 нояб. 2013, в 14:18

Показать ещё 2 комментария

Теги:

c++

javascript

c

data-structures

compiler-construction

1 ответ

Ещё вопросы

Как насчет простой репликации того, что делают JIT-компиляторы JavaScript, и создания скрытых классов для распространенных шаблонов объектов? mrale.ph/blog/2012/06/03/...
Вы повторно обнаружили одну из многих причин, по которым быстрые динамические реализации языка выполняют адаптивную оптимизацию во время выполнения. Компилятор AOT плохо подходит для этих языков, точка. Если вы хотите конкурировать с JIT-компиляторами в этом отношении, не пишите AOT-компилятор.
Вы можете использовать библиотеки Boost Variant или Any для динамических типов без (обязательно) динамического выделения памяти. Или напишите свой собственный тип профсоюзов, если вы чувствуете себя мазохистом.
Это право есть одна из причин, по которой SO является таким мощным инструментом. И за статью, и за те комментарии, спасибо! Очень проницательно (Сейчас я просто думаю о другой структуре, которую я мог бы использовать вместо этого, которая была бы мощной, не создавая трудностей при кодировании - это мой язык, поэтому мне не нужно иметь массивы JS, в конце концов.)

asandroq · Answer 1 · 2013-11-17T11-23-00.000Z

Если это компилятор AOT, вы можете обрабатывать только хэш-ключи, которые вы видите во время компиляции. В этом случае вы можете изменять хеш-доступ к известным ключам к обращениям к массиву, предоставляя каждому известному ключу небольшое целое число как индекс.

function f(o) { return o.a; }; f({a: 1, b: 2}); f({a: 1, c: 2});
В этом случае компилятор знает, что ключи a , b и c всегда будут доступны, и может преобразовать хеширование в простой смещенный доступ.
Какое смещение? Вам нужны разные смещения для разных наборов участников. И поскольку вы предлагаете массив, а не целочисленную хеш-таблицу, вам нужно зарезервировать столько слотов, сколько имен атрибутов используются во всей программе для каждого объекта . JIT-компиляторам это сходит с рук, поскольку они специализируют код для конкретных макетов объектов, но компилятор AOT не может этого сделать.
Да, но в приведенном вами примере f может быть встроено в сайты вызовов для этих литералов. Очевидно, что это не может быть сделано везде и для каждого объекта.
Да, пример был упрощен, потому что я не удосужился написать более сложный пример.