Opt/deopt bug

[ermouth]

Как-то я пропустил две недели назад бурное обсуждение прекраснейшей находки, просто феерического бага в V8. Наблюдается в Хроме 51.

https://www.reddit.com/r/javascript/comments/4oxtgk/javascript_developers_be_warned…/

Баг (ответ true – неверный) появляется при передаче управления оптимизированному коду. Я про возможность появления таких багов писал (http://ermouth.livejournal.com/669156.html, про Exotic bugs).

ХЗ, какими тестами такое можно поймать. Ни один сколь-нибудь рациональный способ тестирования в голову не приходит.

Comments

[victorgr.livejournal.com]

Кажется, особенность еще в том, что это воспроизводится только в консоли. Это снижает его северити, но все равно страшно, что же там еще может быть :)

[juan-gandhi.livejournal.com]

Типичное явление для JVM. Сначала JIT прогреть как следует, а потом уже тестировать.

[archaicos.livejournal.com]

Преждевременная оптимизация... (c) :) Нормальное явление. Находил глюки более чем в четырёх компиляторах. Даже такая простая вещь, как кэш, обязательно будет иметь ошибки либо внутри, либо на стороне вызывающего, как показывает практика. Как ловить экзотические глюки - х.з. Тестов не хватает. Возможно по этому серьёзные компиляторщики покупают разные наборы тестов в дополнение к своим. И потом всё равно что-то ещё находится на поле брани.