Гоночный робомобиль врезался в стену из-за присвоения одной переменной NaN

[freeExec]

NaN не используется для вывода бесконечности, для этого есть своё значение.

[defuz]

Вероятнее всего там было что-то вроде такого:

loop {
    direction = update_direction(direction);

    if direction < 0.0 {
         turn_left();
    } else {
         turn_right();
    }
}

Если значение direction равно NaN, сколько его не обновляй, машина всегда будет крутить в право.

[v1000]

Из-за NaN произошёл DNF.

[BubaVV]

Скорее FUBAR

[Cerberuser]

Ну, в контексте гонок DNF — это один из возможных FUBAR'ов (или SNAFU, в зависимости от причины самого DNF).

[Tsimur_S]

Посмотрел на заголовок и сразу показалось, где то я уже я похожее видел —
www.linux.org.ru/news/java/1109623

[Stinkynnov]

Дело Томми живет!

[v1000]

Там вроде еще был шикарный комментарий в стиле «единственный случай в истории, когда Java не тормозила» :)

[amarao]

У них должен был быть signalling NaN, а был quite.

[amarao]

Ух, nan'ы — это очень сложный тип данных. Сложнее только указатели. Там же не только nan'ы, но и ещё пачка мерзости. Разнознаковые нули, ненормализованные мантиссы. Это не говоря уже про PartialOrd (вместо Ord), и ошибки округления, которые типа-фича.

[Kvarkas]

По идее должен быть дублирующий процес который следит за «адекватностью» даже если технически атрибуты правильные — в данном случае он бы не позволил тронуться при заблокированом рулевом имхо

[AllexIn]

Что по вашему означает «заблокированное управление»?
Оно не было заблокировано ни одним штатным способом, оно просто не могло изменить значение потому что операции с NaN приводят к NaN.
Ваш комментарий равносилен «они должны были сделать дублирующий процесс, которые проверял бы значения на NaN». Потому что никакая другая проверка по сути здесь не помогла бы.

[Kvarkas]

«что-то произошло, и это, по-видимому, привело к тому, что сигнал рулевого управления перешел на NaN, а затем рулевое управление заблокировалось на максимальном уходе вправо»
Я о том что неважно NaN или NULL, и не дублирующая проверка, а проверка «логичности» тоесть в данном случае если автомобиль стоит на старте — то значение положения колес должно быть «прямо» и не позволять начать двигаться пока это не измениться, равносильно не начинать движение если открыта дверь, багажник и т.д.

[Megakazbek]

Скорее, должен быть процесс, который следит, что результат движения совпадает с намерением. А то, вообще говоря, кроме багов ещё существуют и непредсказуемые внешние условия — например животное попало под колесо или ещё что-нибудь такое. Даже если бы и не было проблем с рулём, то всё равно нельзя автоматически верить, что если у тебя колёса направлены вперёд, то и едешь ты вперёд.

[Kvarkas]

да, в том числе скажем не начинать двигаться если машина скажем находиться кверху колесами, тоесть для нас кожаных этих самых :) это понятная интуитивная логика же а вот машине нужно все обьяснять, ей же все равно в низ колесами или вверх колесами :) другое дело что такое казалось бы не возможно — но, это как хамер перевернуть (с)

[BubaVV]

Ну вот, а писали бы на NodeJS — получили бы undefined, а он привелся бы к нулю. Наверное

[akuzmin]

В JS тоже есть NaN :) И он бы не привелся к нулю. По поводу приведения типов есть хорошая игра: eqeq.js.org

[mihacoder]

Увидел NaN в заголовке, подумал, уж не на js ли робомобили кодить начали

[FreeNickname]

Хоть до первого поворота бы доехало)

[iodine_enidoi]

безопасность превыше производительности. наверное

[RideaPlane]

Видимо, посчитали sin(INF)

[iShrimp]

Если где-то в вычислениях возникает NaN, то все зависящие от этой переменной данные дробных типов, в т.ч. телеметрия, тут же превращаются в NaN, разве не так?

[It_cynic]

Вопрос: баг на проде, кто виноват разработчик или тестер? :D

[tmin10]

Или менеджер, который выстроил процесс? :)
Скорее надо искать, не кто виноват, а как избежать такого в будущем.

[akurilov]

Главное к самолётам этих программистов не пускайте

[Fedorkov]

Где-то в рубрике «гейзенбаги народов мира» читал про систему корректировки бомбометания, которая постоянно падала от одного конкретного пилота. Выяснилось, что он наводил самолёт с такой точностью, что это вызывало вещественное деление на ноль.

[AnthonyMikh]

Звучит как-то слишком фантастически, чтобы быть правдой. Источника не сохранилось?

[Fedorkov]

Читал давно и вроде в бумаге. Сейчас не смог найти.
В случае half precision или fixed point это более правдоподобно.

[Iv38]

Было бы ещё более забавно, если бы оказалось, что в телеметрии была сделана проверка на NaN, но тупым и неправильным способом:

isValidValue = value !== NaN;

[JordanoBruno]

Что-то Хабр желтеет с такими заголовками:

Гоночный робомобиль врезался в стену из-за присвоения одной переменной NaN

В самой статье же указана причина в виде:

что-то произошло, и это, по-видимому, привело к тому, что сигнал рулевого управления перешел на NaN

Я бы понял, если б это было на каком-нибудь сайте, далеком от технологий, но здесь даже ежу понятно, что дело не в NaN.

[unsignedchar]

Это как в том анекдоте, где причина смерти — не попадание пули в организм, а обширная кровопотеря.
Оборвался датчик поворота — датчик вернул NaN — обрыв датчика, как оказалось, никак не проверяется — можно продолжать ехать.

[IvUyr]

Roborace явно был фанатом Томми!

[thedeath]

Написать новость, конечно, хорошо, но разобраться бы тоже неплохо) Справедливости ради: болид находился под управлением софта одной из команд. Суть гонки в «соревновании» команд в умении писать софт, который рулит технически иденитичными ТС. С учетом данного контекста вот это:

«Робомобиль Roborace, участник беспилотных автогонок в рамках этапов Формулы Е, врезался в бетонную стену во время прямой трансляции в Twitch»

должно звучать как:

«Робомобиль Roborace, участвуя в беспилотных автогонках в рамках этапов Формулы Е*, находясь под управлением ПО команды „The Acronis SIT Autonomous“ врезался в бетонную стену во время прямой трансляции в Twitch»

* Кроме того, ставлю под сомнение, что гонка проходит как этап Формулы Е. Дайте пруф, а в противном случае абзац должен принять следующий вид:

«Робомобиль Roborace, участвуя в беспилотных автогонках Season Beta, находясь под управлением ПО команды „The Acronis SIT Autonomous“ врезался в бетонную стену во время прямой трансляции в Twitch»