Роскосмос пару дней назад опубликовал отчёт о том, почему упала "Луна-25". Там конечно канцелярит, но можно примерно понять, что двигатель коррекции получил неверные данные от акселерометра:
из-за возможного попадания в один массив данных команд с различными приоритетами их исполнения прибором
Это очень похоже на программную ошибку, а это моя сфера, и я решил над ситуацией поразмыслить.
Хейтеры сразу стали строчить комментарии в стиле "Ололо, наняли каких-то идиотов, которые простейшие тесты не провели". Тут обычно справедливо вспоминают аварию с европейской ракетой Ариан-5 в 1996 году. Там буквально из-за пары строчек кода в результате неправильного приведения числовых типов ракета за 7 млрд баксов развалилась на куски в воздухе. Бывает.
Что касается Роскосмоса, при всей его сомнительной репутации, объяснение "Дураки не провели тесты" звучит лично для меня неправдоподобно. На мой личный взгляд возможны два варианта:
1. Если в описании ошибки слово "приоритет" обозначает какой-то признак внутри объекта команды, значит, на входе в приёмный модуль эти команды не были отфильтрованы. Выглядит как грубая ошибка, целый логический блок упущен. Вряд ли этот блок вообще не написан, скорее всего он не выполнился. Такое бывает, если в тестовой среде есть какое-то условие, которого нет в рабочей, и именно это условие отвечает за выполнение участка кода.
Сталкивался с таким миллион раз. Самое дикое из последнего: код парсит эксель-таблицу с числами. Разработчик написал, запустил проверил, прогнал тесты, всё ок. Отправляем в прод — все числа будто бы рандомно меняются на другие. Запускаем снова — у всех разработчиков функционирует нормально, а в проде на сервере нет. Таблица одна и та же. Можете подумать, почему так. Ответ: у разработчиков стоит русская локаль и десятичный разделитесь это запятая, а на проде в докере точка. При парсинге на проде запятая уже интерпретируется как разделитель тысячных разрядов.
2. Куда вероятнее, что слово "приоритет" в описании ошибки обозначает время, а, значит, список команд просто не был отсортирован, и в обработчик уже после актуальных значений попали какие-нибудь начальные нулевые данные, сбившие логику. По косвенному описанию проблемы очень похоже именно на это. Значит, на тестах всегда порядок возникновения команд соответствовал порядку их прихода, а в реальности перестал соответствовать. Вообще, работать с железом очень сложно. Какую-нибудь схемку заглючило от холода, она задержала ответ от датчика на миллисекунду, и всё. Никто не знал, что такая проблема возможна, пока она не возникла.
Мне рассказывали о таком случае: юзер логинится на сайт и иногда логин проходит, а иногда нет. Логин и пароль те же самые. Просто в случайные моменты времени ему возвращают токен авторизации, а в другие моменты времени ошибку 403. Никакой закономерности нет вообще. Нет зависимости от времени суток и даты. Сервер точно работает стабильно и не падает все 100% времени. Почему так может быть? Ответ: у сервиса авторизации два инстанса, перед которыми балансировщик нагрузки. В одном инстансе данные для авторизации есть, в другом нет. Балансировщик при примерно одинаковой нагрузке включает просто случайный выбор между ними.
В общем, программисты иногда допускают такие косяки, что какая-то мелочь может привести к серьёзной аварии. Это я вам говорю как программист, который пишет для атомных станций :)
#dev
#Italia
Il deputato e Segretario del #PLD|Liberali Luigi #Marattin, intervistato dal quotidiano "il Riformista":
"Le battaglie non si fanno solo quando si è certi di vincerle, o solo perché conviene. Si fanno quando sono giuste. Quella sulla separazione delle carriere lo era, e siamo fieri di averla fatta. Tra un centrodestra confuso è una sinistra che, come dopo il referendum del 2011, già si vede al governo, è sempre più necessaria un'offerta politica autenticamente liberale e fuori dalle curve ultra. Nelle prossime settimane tireremo anche noi "la rete", e capiremo le condizioni a cui è possibile cominciare a metterla in campo".
@Osservatorioitaliano
#Italia#Venezia#Comunali
Anche il #PLD|Liberali di Luigi #Marattin annuncia il sostegno al candidato sindaco del centrodestra Simone #Venturini.
La nota del partito sui social:
“A Venezia ci sono solo due candidature. Quella di centrosinistra e quella di centrodestra. Dopo settimane di interlocuzione, e avendo accettato, e inserito nel programma, le nostre priorità programmatiche, abbiamo deciso di sostenere Venturini”.
@Osservatorioitaliano
#Italia#Sondaggi
Sondaggio autoprodotto EMG Different:
"E PER QUALE PARTITO VOTEREBBE? Base: coloro che hanno intenzione di andare a votare"
Totale cdx: 45,2%
#FdI|ECR: 27%
#FI|EPP: 8,7%
#Lega|PfE: 8%
#NM|EPP: 1,5%
Totale csx: 44,9%
#PD|S&D: 22,7%
#M5S|LEFT: 12%
#AVS|G/EFA|LEFT: 6%
#IV|RE: 2,2%
#PiùE|RE 2%
Totale centro 3,9%
#Azione|RE 2,7%
#PLD|Centro: 1,2%
#FN|ESN: 3,6%
#DSP|Populisti euroscettici: 1,4%
Altra lista 1,0%
Rilevazione: 30-31 marzo
Intervistati: 1000
Margine d’errore: ±3,1%
@OsservatorioItaliano
#Italia🇮🇹
#Comunali
#Taranto
❗️Piero #Bitetti (#PD|S&D; #AVS|G/EFA|LEFT; #Azione|RE; #DemoS|S&D; #Pos|S&D; #PLD|RE; #DC|Centro; civiche) e Francesco #Tacente (#LSP|PfE; #UdC|PPE; #PSI|S&D; civiche) si sfideranno al ballottaggio, che si terrà domenica 8 e lunedì 9 giugno 2025.
@TuttoElezioni
#Italia#Comunali#Campania
Comunali di #Salerno: De Luca spacca le coalizioni ed è un tutti contro tutti. Di seguito i candidati:
📌 Vincenzo #DeLuca, sostenuto da #PD, #PSI, #EV, #ATA e civiche deluchiane
📌 Franco Massimo #Lanocita, sostenuto da #M5S, #SI e civiche di sinistra
📌 Armando Zambrano, sostenuto da #Azione, #IV, #NdC, #PLD e #FI
📌 Gherardo Maria #Marenghi, sostenuto da #FdI, #Lega e #NM
📌 Mimmo Ventura, sostenuto da #AP e Dimensione Bandecchi
📌 Alessandro Turchi, civico
@OsservatorioItaliano
#Italia🇮🇹
#Comunali
#Taranto
A Taranto sono 6 i candidati ed entrambe le coalizioni nazionali si presentano separate.
Nel campo del centrosinistra i candidati sono:
- Annagrazia #Angolano, sostenuta dal Movimento 5 Stelle (#M5S|LEFT) e da una lista civica;
- Pietro #Bitetti, sostenuto da Partito Democratico (#PD|S&D), Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT), #Azione|RE, Democrazia Solidale (#DemoS|S&D), Partito Liberal Democratico (#PLD|RE), Democrazia Cristiana e da 3 liste civiche.
Il centrodestra ha come candidati:
- Luca #Lazzaro, sostenuto da Fratelli d'Italia (#FdI|ECR), Forza Italia (#FI|PPE), Noi moderati (#NM|PPE|PPCE) e Partito Liberale Italiano (#PLI|Centro-destra);
- Francesco #Tacente, sostenuto da Lega (#LSP|PfE), Unione di Centro (#UdC|PPE) e da 5 liste civiche.
Altri candidati sono:
- Cosimo #DiBello, sostenuto da 6 liste civiche;
- Mario #Cito, sostenuto dalla Lega d'Azione Meridionale (#LAM|Estrema destra).
@TuttoElezioni