Исходное сообщение
"SpaceX использует Linux и обычные x86-процессоры в Falcon 9" Отправлено Аноним, 06-Июн-20 22:12
Однако их тестовый сетап судя по описанию поймал бы факап ариана 5. В проекте ариана проблеяли нечто о том что это "сложно протестировать". А у Маска его "table rocket" должен такое поймать, раз реалистичную симуляцию прогоняют, с параметрами как в полете и случайными отказами. А о том что проц может хардварным эксепшном в тыкву дать адовики-затейники небось вообще забыли и всеми забытый обработчик сделал хрен его знает что, не специфичное для задачи, после чего стройная абстракция рассыпалась на квадратики, а плана B на этот случай вообще не было. Там же кстати и сказ о том как теоретики развели блабла про контракты и написали пример. И только одна рожа - разработчик локхидмартина занимающийся этими вещами - нашел в контракте :) баг, и довольно едко постебал все эти теоретизмы. Где-то тут и виден наглядный пример чем умозрительные подходы отличаются от инженерных, имхо.