PS
Наверное, чтобы в форме натуральной операционной семантики задать спецификацию интерпретатора и получить все остальное бесплатно %)
Size: a a a
2020 June 10
EG
Наверное, чтобы в форме натуральной операционной семантики задать спецификацию интерпретатора и получить все остальное бесплатно %)
Обычно проблемы находятся где-то между «написать оп семантику» и «бесплатно»
МБ
Наверное, чтобы в форме натуральной операционной семантики задать спецификацию интерпретатора и получить все остальное бесплатно %)
Ну. Не бесплатно, но в каком-нибудь виде, с котрым можно работать. Когда всё в виде просто программного кода, из него не извлечь информацию простыми методами.
PS
Ну. Не бесплатно, но в каком-нибудь виде, с котрым можно работать. Когда всё в виде просто программного кода, из него не извлечь информацию простыми методами.
А Вы те же Truffle/Graal пробовали использовать?
AT
А Вы те же Truffle/Graal пробовали использовать?
Но они не особенно-то позволяют тюнить ВМ под нагрузку...
PS
Но они не особенно-то позволяют тюнить ВМ под нагрузку...
А, может, Михаилу уже и не нужно это... ;)
AD
Но они не особенно-то позволяют тюнить ВМ под нагрузку...
форкай и тюнь)
PS
Кстати, это, возможно, хорошая тема для курсовой или диплома.
p
что? где? какая тема?
PS
что? где? какая тема?
Прикрутить к тому же Graal автонастройку для узкого класса задач. Но сначала надо проверить, действительно ли там ничего на этот счет нет :)
AD
Прикрутить к тому же Graal автонастройку для узкого класса задач. Но сначала надо проверить, действительно ли там ничего на этот счет нет :)
всегда можно подобрать настолько узкий класс задач, чтобы ничего не было)
PS
всегда можно подобрать настолько узкий класс задач, чтобы ничего не было)
Ну, здесь идея в том, что класс задач определяется только набором тестовых программ («бенчмарков»). Другой набор — другая настройка.
МБ
А Вы те же Truffle/Graal пробовали использовать?
Попробую в ближайшее время. Вы не знаете, там есть что-нибудь типа абстрактной интерпретации?
AS
Прикрутить к тому же Graal автонастройку для узкого класса задач. Но сначала надо проверить, действительно ли там ничего на этот счет нет :)
AS
(прямо бинго сложилось)
PS
Ого! Спасибо, буду смотреть! И в https://t.me/plcomp заберу ссылку, если не возражаете :)
AS
Собственно, ничего особенного нового: вариация на известный вопрос "какие же должны быть дефолтовые настройки у инлайнера, например?!"
МБ
Они по исходному коду определяют?
AS
Нет, как чёрный ящик оптимизируют на лету в своём флоте серваков/сервисов
AS
новизна тут скорее в том, что это не в оффлайне где-то делается, а потом золотой конфиг деплоится в прод, а что прямо на зеркальном проде...