[18:22:41] <ada_ru> (I_vlxy_I) Жаба? Какая жаба?
[18:23:43] <ada_ru> (Eugene) зелёная
[18:23:56] <ada_ru> (Eugene) адская такая, страшная
[18:24:46] <geniepro> ожила что ли?
[18:24:48] <geniepro> ping
[18:24:49] <Жаба> geniepro, Pong from you: 0.272963 s
[20:18:00] <ada_ru> (Максим) Почитал по диагонали документ из https://stackoverflow.com/questions/52792505/how-is-it-possible-in-ada-to-have-a-code-failure-from-assigning-a-64bit-floati
[20:19:54] <ada_ru> (Максим) Про катастрофу ракеты Ариане 5
[20:20:09] <ada_ru> (Максим) В отчете пишут
[20:20:12] <ada_ru> (Максим) > Part of these data at that time did not contain proper flight data, but showed a diagnostic bit pattern of the computer of the SRI 2, which was interpreted as flight data.
[20:21:33] <ada_ru> (Максим) Получается, что этот инерционный модуль хоть и сломался, но передал код диагностики, что у него там всё плохо, он сдох. Но этот код был обработан как данные о полёте 😊
[20:23:02] <ada_ru> (username_is_not_avalaible) Вот вам и strong typing
[20:23:18] <ada_ru> (Максим) там еще ссылка на хабр есть
[20:23:29] <ada_ru> (Максим) https://habr.com/ru/company/pvs-studio/blog/306748/
[20:30:45] <ada_ru> (I_vlxy_I) Вообще, очень здорово, что Ариан-5 взорвался. Это ж практически эталонный пример, где по косточкам всё разобрали.
[20:30:52] <ada_ru> (I_vlxy_I) и сделали выводы
[20:32:16] <ada_ru> (I_vlxy_I) кстати, слышал, что для совсем уж мишн критикалов, иногда делают дублирующую систему так, чтобы она функционально была 1 в 1 та же, но она должна быть писана другими людьми на другом ЯП и на другой элементарной базе.
[20:32:37] <ada_ru> (I_vlxy_I) чтобы не случилось так, что из за одних и тех же входных параметров зафейлились сразу обе системы из за одной и той же ошибки в ПО
[20:32:42] <ada_ru> (I_vlxy_I) (или крмении)
[20:34:09] <ada_ru> (I_vlxy_I) так что если бы в Ариан-5 дублирующая система была писана не на Аде, а на С++, то система целиком была бы надежней!
[20:40:49] <ada_ru> (nitrocerber) А кто решает, которая из систем гонит?
[20:43:30] <ada_ru> (Борис) Наши делаю тройное резервирование компов с голосованием.
[20:53:35] <ada_ru> (I_vlxy_I) отвечает (Борис) на <Наши делают тройное …>
ну вот типа так, да.
[20:54:04] <ada_ru> (username_is_not_avalaible) отвечает (Борис) на <Наши делают тройное …>
Командующий Икари, перелогиньтесь
[20:57:18] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <А кто решает, котора…>
Но вообще, скорее всего гонит та, у которой исключение случилось :-)
[20:58:21] <ada_ru> (nitrocerber) А если не исключение, а "горизонт заваливается", как в тех боингах?) один шоворит закрылки вверх, другой - вниз)
[20:58:29] <ada_ru> (nitrocerber) Без троих нифига не получиься
[20:58:50] <ada_ru> (nitrocerber) А заглючит в итоге межсистемный модуль голосования, написанный на пятоне)
[21:00:40] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <А если не исключение…>
ну а как в Ариане было сделано?
[21:00:54] <ada_ru> (nitrocerber) А я филин?)
[21:01:05] <ada_ru> (I_vlxy_I) Если две идентичные адские проги на идентичных модулях выдают разные показометры
[21:05:18] <ada_ru> (Максим) я так понимаю работает главная пока не сломается
[21:06:18] <ada_ru> (Максим) но как они узнают, что она сломается если они код диагностики восприняли как данные о полёте я хз 😊
[21:07:08] <ada_ru> (I_vlxy_I) ну, там же дублирующий комп отрубился раньше основного - значит он как-то сломался 😊
[21:07:44] <ada_ru> (I_vlxy_I) короче, предлагаю делать меганадежную систему с тройным резервированием - один модуль на Аде, другой на С++, третий на расте!
[21:07:51] <ada_ru> (I_vlxy_I) будет максимально надежно!
[21:08:00] <ada_ru> (nitrocerber) Ну она-то точно не упадёт
[21:08:13] <ada_ru> (nitrocerber) как известно, ниже пола упасть нельзя.
[21:08:26] <ada_ru> (nitrocerber) *insert смекалочка meme*
[21:08:36] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <как известно, ниже п…>
люк же есть!
[21:12:26] <ada_ru> (I_vlxy_I) короче, соревнование: на одной стороне тройка: ada, c++, rust, а сдругой высокоуровневые языки: js,python,ruby
Работает это дело голосованием. И посмотрим у кого надежней будет!
[21:13:48] <ada_ru> (I_vlxy_I) Можно еще третью команду: КП, Оберон, Active Oberon 😊
[21:51:56] <ada_ru> (I_vlxy_I) Точнее даже так: Component Pascal, Oberon-07, Active Oberon.
Три кита.