172 похожих чатов

А есть ли какой-то способ заставить раст не выкидывать в

релизе вещи которые он доказал что не могут произойти?

13 ответов

8 просмотров

1. чтобы что 2. black_box

Андрей-(малиновский) Автор вопроса
Пух
1. чтобы что 2. black_box

Типо у меня есть extern a: u32; a = a.saturating_add(10); if a < 10 { do_stuff(); }

Андрей-(малиновский) Автор вопроса
Пух
1. чтобы что 2. black_box

black_box прям большими буквами пишет, IT MUST NOT BE RELIED TO CONTROL cRITICAL PROGRAM BEHAVIOUR

Андрей-(малиновский) Автор вопроса
Пух
угу. А нафига тебе вообще этот иф тогда?

а вдруг doomsday случился и кто-то память извне поменят

Андрей (малиновский)
black_box прям большими буквами пишет, IT MUST NOT...

а что если космические лучи поменяют память и вместо do_stuff случится джамп в dont_do_stuff() ?

Андрей-(малиновский) Автор вопроса
Αλεχ Zhukovsky
а что если космические лучи поменяют память и вмес...

смерть ☠ но если повезет что лучи в данные попадут, то можно отловить и громко заплакать, если лучи не подпортили код который должен плакать...

Αλεχ Zhukovsky
а что если космические лучи поменяют память и вмес...

Обычно 1 битик меняется. А тут - целое редактирование.

Marek Kotovsky
Обычно 1 битик меняется. А тут - целое редактирова...

какое редактирование? у тебя call 0xabcd станет call 0xcbcd

Αλεχ Zhukovsky
какое редактирование? у тебя call 0xabcd станет ca...

Память ECC спасет от случайно изменённого битика.

Marek Kotovsky
Память ECC спасет от случайно изменённого битика.

Ну раз у нас ECC значит можно писать нормально и не выдумывать)

Αλεχ Zhukovsky
Ну раз у нас ECC значит можно писать нормально и н...

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

Похожие вопросы

Обсуждают сегодня

А как старый хаскел с новым стыковать ? потому как тут работает https://play.haskell.org/saved/C3xpMzcd, а вот тут https://stepik.org/lesson/7602/step/9?unit=1473 нет ошибка C...
Fedor
131
Ребят, что лучше для реверса: гидра или ида?
En Vind Av Sorg
26
Вопрос я правильно понимаю что в коде newtype ArrowMap k v = ArrowMap { getArrowMap :: k -> Maybe v } getArrowMap есть функция типа k -> Maybe v, если да, то не понимаю задач...
Fedor
64
Делаю велосипед логгер. К сообщению хочу прикрутить некоторую информацию, типа, кем отправлено, какой уровень, и всякое такое. И тут подумалось мне, почему бы не хранить весь...
Serjone
24
Как Вы считаете нормально ли в двадцатых годах 21 века в ВУЗах Российской Федерации обучать студентов работе с TASM? Не слишком ли это "архаично"? (Если оффтоп или флейм для э...
Spiker01
52
Комрады, хотел уточнить. Проперть в OnDestroy юнита-хозяина по-прежнему доступна? И еще уточнение: finalization юнита наступает раньше или позже OnDestroy?
Ed Doc
48
а не подскажете вот это скрин из какой IDE ?
Iluha Companets
14
Продолжая диалог про свифт в проде – сейчас возник вопрос в активном наборе бекендеров. В основном в нашей компании мы фанаты Java Spring и полностью ей довольны. Однако найм ...
Guseyn
27
Народ всем привет Подскажите, как включить самописные dll библиотеки в итоговую сборку Сейчас при запуске dev сервера локально формируется папка build, из которой запускается...
Андрей
4
Читаю сейчас [нет, уже больше не читаю!] курсовую о Булгакове, написанную, похоже, с помощью ChatGPT. Это удивительный психоделический опыт. Текст в основном написан в стиле б...
✨ Uni [🌊 В отпуске]
1
Карта сайта