RP
про жвм - хз
Size: a a a
2021 June 06
MO
в жвм джит собирает профиль
AS
В Hotspot JVM сгенерированный JIT-ом код не меняет состояние "интерпретатора" абстрактной машины, а тащит достаточно метаинформации, чтобы восстановить состояние абстрактной машины для ухода, например, в интерпретатор или вообще полную деоптимизацию. Если разрешать такие переходы только в конкретных местах (вызовы, обратные дуги циклов, етц), то такой метаинфы нужно достаточно мало.
DF
Круто спасибо
[
а оптимизация хвостовой рекурсии делается заменой
на
да?
call foo
ret
на
jmp fooда?
K
Вроде того, да
2021 June 07
VS
Подозреваю, что не особо: в прямо таком варианте у вас будет бесконечный цикл - нужно аккуратно написать условие для условного
jmp. Кроме того, не надо удалять ret после заменённого call. Ну и направлять jmp нужно не в голову функции (там например есть работа со стеком, а мы вроде бы не хотим сильно растущего стека), а на старт содержательной части.[
ret по идее должна вызывать другая ветвь функции, нет? Мы просто делегируем foo вернуть управление по адресу, находящемуся сверху "стека возврата", если это можно так назвать.
Про переход же сразу к логике наверное справедливо🤔
Про переход же сразу к логике наверное справедливо🤔
VS
Ну я имел в виду, что в общем у нас внутри функции foo образуется цикл с условием выхода, которое надо ещё аккуратно определить.
[
Это уже задача статического анализатора
[
Если человек написал
То нет никакой разницы между переполнением стека и бесконечным циклом
int foo()
{
return foo();
}
То нет никакой разницы между переполнением стека и бесконечным циклом
VS
Каждая оптимизация делает какой-то статический анализ...
VS
Это да
[
Ну, я имею ввиду: показать юзеру варн о бесконечной рекурсии. (Если, конечно, твой язык не строится на её использовании)
RA
С PIC-ами не работал как раз, но они вроде общего назначения?
РС
Интересный вопрос, какие тесты помимо модульных нужны при реализации синтаксических анализаторов)
AT
Функциональные, end-to-end, регрессионные. Performance-тесты тоже не будут лишними. Всё как всегда. 🤷♀️
РС
а end-to-end в данном случае как?
к
на вход в тулу файл с кодом, на выходе файл с ошибками и ворнингами, сравниваем что ошибки те что нужны
можно оба файла комитать и после каждого изменения проверять, что файл с ошибками не поменялся или поменялся именно так как надо
можно оба файла комитать и после каждого изменения проверять, что файл с ошибками не поменялся или поменялся именно так как надо
AT
Точнее, на вход 2 файла: грамматика и текст, на выходе — структура данных с деревом разбора и/или ошибками.