именно граалевский

вылетело из головы

Truffle, сделать интерпретатор для васма

спасибо

Пока что можно скомпилировать в asm.js и просто запускать. Должно работать вроде

Ну, его эталонная реализация без выпендрёжа — это  мёртвый цикл. Это же машина тьюринга упрощённая до предела. Да, он ТП, но его безхитростно написанное ядро — это два массива (команд и памяти), два индекса (указывающие в этои два массива) и мёртвый цикл со свитчом на 10 строчек. Хватит ли у трюфеля или чего-то ещё это суперкомпилировать (по сути) под конкретное содержание одного из массивов (команд) — я не уверен и вообще сильно сомневаюсь.

Максимум что из классических профильных оптимизацией можно учесть что в часть свитчей ходит реже и сделать их ниже, а суперкомпиляция должна учитывать семантику исходного языка

но повторяющиеся операции можно схлопывать

а ещё весь рантайм языка превратится в 8 функций )

Эт разные вещи )

Это надо учитывать семантику bf

@shelajevoleg а есть где нибудь дока ? Желательно с примером интерпретации байткода. Ну и насколько сложно будет туда встроить рантайм хаки(типа тредов и подсчета стоимости вызова)

Спеки пожалуй как таковой нет. Можно посмотреть как сделан sulong

В GitHub.com/oracle/graal

Сулонг работает для ллвм биткода

Они могут быть похожими

Хаки наверное не сложнее чем на остальных платформах, треды у тебя на джвм есть, надо только синтаксис и модель памяти наверное придумать для васма?

Подсчет стоимости вызова наверное сложно, особенно для джитующихся вещей

Я не знаю как такое делают

мне не сколько это интересно, сколько насколько сложно сделать интринзик