Импортозамещение

[Serge V Iz]

Да-да. И чтобы сделать систему реального времени, нужно лишь взять (эту великую и ужасную  ) операционную систему реального времени.

Так вот. Это, на самом деле, гнусная ложь. )

Нужно всего лишь знать достаточно точно и подробно что именно происходит в системе в каждый момент времени, чтт это происходит так, как тебя устраивает, и тщательно проверить, что твои знания совпадают с объективной реальностью. В т.ч. экспериментально. Тогда не будет ни удивления, ни сомнения в том, что и на Windows NT    могут летать настоящие североамериканские боевые самолеты.

[nonconvex]

Ну если б все так действительно кучеряво было, то не было бы дыр.

А не надо излишне доверять суперскоростным процессорам от Интел, где в угоду скорости отдана безопасность.

[nonconvex]

и тщательно проверить, что твои знания совпадают с объективной реальностью..

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

[NightFlight]

Ну если б все так действительно кучеряво было, то не было бы дыр.

А не надо излишне доверять суперскоростным процессорам от Интел, где в угоду скорости отдана безопасность.

А дело вообще не в процессорах Интел. Если проверки переполнения буфера нет в коде на С, то ее нет и на Интеле и на Эльбрусе.

[opinion]

А в этом ulibс-ng *printf есть или нет?

[opinion]

И снова вспоминаем Ариану-5. Целочисленное переполнение вызвало необработанное исключение и ракета взорвалась. А если бы программа была написана на си, а не на языке из ада, то никто об этом переполнении даже и не узнал бы.
Адаптация существующих программ под защищенный режим потребует принятия множества аналогичных решений: отключать ли в данном месте проверки или не отключать. С аналогичной вероятностью допустить ошибку. Написание специализированного софта исключительно под этот режим, это такое лютое импортозамещение, что даже и думать об этом не хочется.

[Serge V Iz]

И снова вспоминаем Ариану-5. Целочисленное переполнение вызвало необработанное исключение и ракета взорвалась. А если бы программа была написана на си, а не на языке из ада, то никто об этом переполнении даже и не узнал бы.
Адаптация существующих программ под защищенный режим потребует принятия множества аналогичных решений: отключать ли в данном месте проверки или не отключать. С аналогичной вероятностью допустить ошибку. Написание специализированного софта исключительно под этот режим, это такое лютое импортозамещение, что даже и думать об этом не хочется.

Для физических величин модульная арифметика дополнительного кода - такая же точно вычислительная катастрофа. Все равно взорвется. )

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

Это просторазные задачи, с разными требованиями. )

[mind22]

Видите ли, ув. Ратников, в Эльбрусе аппаратная защита от переполнения буфера. Дальше рассказывать?

Это не проблема переполнения, это "проблема" самой логики функции. В кавычках потому что когда ее делали, считалось, что никакой проблемы нет, а потом решили эту возможность ограничить (с возможностью отключения для сохранения возможности работы с работающими системами).

Особенность заключается в том, что клиент может не знать, какие файлы ему нужно получать, если делается запрос по маске имени (типа scp ...*).

[mind22]

Для физических величин модульная арифметика дополнительного кода - такая же точно вычислительная катастрофа.

Для физических величин целочисленные значение -- это, очевидно, сырые данные с датчиков. Прямых расчетов с сырыми данными не должно быть. Если в архитектуре ПО нет четкого разделения ответственности между частями программы, то образуется спагетти-логика.

В Ариане-5 экономили на байтах и тактах, поэтому спагетти-код и логика там закономерны.

[Serge V Iz]

Для физических величин модульная арифметика дополнительного кода - такая же точно вычислительная катастрофа.

Для физических величин целочисленные значение -- это, очевидно, сырые данные с датчиков. Прямых расчетов с сырыми данными не должно быть. Если в архитектуре ПО нет четкого разделения ответственности между частями программы, то образуется спагетти-логика.

В Ариане-5 экономили на байтах и тактах, поэтому спагетти-код и логика там закономерны.

Это в процитированном сообщении классический пример спагетти-логики. ) А в специализированных встраивамых вычислителях, которые могут жить, например, по соседству с самим физизмерителем и измерительным преобразователем, например, внутри модуля инерциальных измерений, использование целочисленной арифметики с некоторой ценой е.м.р. - нормально. Тем более, в те стародавние времена.

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

[opinion]

Если я правильно помню, что было написано в отчете, для основных вычислений как раз использовались вещественные числа. А та целочисленная переменная была интерфейсом какого-то вспомогательного модуля (который остался от Ариан-4, а в Ариан-5 вообще был не нужен). Алгоритм очень простой, никакого спагетти. Просто в какой-то момент результат преобразования к целому не поместился в переменную.

[mind22]

Если я правильно помню, что было написано в отчете, для основных вычислений как раз использовались вещественные числа. А та целочисленная переменная была интерфейсом какого-то вспомогательного модуля (который остался от Ариан-4, а в Ариан-5 вообще был не нужен). Алгоритм очень простой, никакого спагетти. Просто в какой-то момент результат преобразования к целому не поместился в переменную.

Спагетти-логика и экономия налицо.

[opinion]

Спагетти-логика и экономия налицо.

Непонятно, что вы называете спагетти-логикой. А на слайде ошибка. Правильно так: "Error handling was not suppressed..."

[Serge V Iz]

Ошибок было несколько - тот модуль имел свои причины работать с такими числами (относился к задачам, которые с такими величинами и работают, и заимствован оттуда) но его заимствовали не особо об этом задумываясь.

Спагетти-логикой я назвал взаимоувязывание двух совершенно разных аспектов, полностью ортогональных - представления информации и организации в упрпвляемые части/группы/модули процедур ее обработки )

[mind22]

Правильно так: "Error handling was not suppressed..."

Согласен.

[pkl]

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

Ну, это так, что у них фондовый рынок растёт и экономика тоже. Трамп вообще очень много сделал. Программу полёта на Луну возобновил.

[pkl]

Нейтрино можно вооружить?

Н.Захаров: Что нейтрино?

В.Путин: Вооружить.

---

Похоже, у дедушки окончательно кукуха едет.

Увы, это Вы ничего не поняли. Путин спрашивал учёного о возможности практического применения результатов исследований нейтрино в военной области. Учёный ему ответил о гипотетической возможности использования нейтрино для связи с погружёнными подлодками и космическими аппаратами за линией горизонта.

[pkl]

Ожидаемое продолжение марлезонского балета от Трампа.

https://tass.ru/mezhdunarodnaya-panorama/9597871

Вообще, теперь так будет принято, привыкайте,

Готовятся к войне.

[pkl]

Меня там там еще другое позабавило.

Huawei может заинтересоваться российскими операционными системами на базе Linux.

"Отечественные" операционные системы они такие... На базе линукс. 

А что здесь не так?

[pkl]

Совсем у ты не любишь нашего дедушку. Ничего у него не едет. Он просто ни в чём не разбирается. Максимум моет быть в политике, а в остальном больше ни в чём. В науке и технике точно ни ухом ни рылом.
 В условиях авторитарного государства практически все ключевые решения по любым вопросам (уровня постановления совета министров) должны решаться авторитарным лидером. Он должен вникнуть, выслушать разные (почти всегда взамопротивоположные) мнения специалистов, составить своё мнение, принять решение и твёрдо провести его в жизнь. (см. Сталин) Если авторитарный лидер в своём решении ошибается то вместе с ним ошибается вся страна.
 Наш же дедушка ни в чём не разбирается и разбираться не хочет. Он уверен что его дело - найти и дать деньги, а всё остальное сделается само. "Они же специалисты, им виднее". В итоге побеждают беспринципные и нанглые, сумевшие оттеснить от кормушки остальных и пропихнуть свой прожект.
 Вот отсюда и идёт "слежение через Глонасс" и всё остальное. А вовсе не от того что у дедушки поехала кукуха.

Дело не только в этом, но и в том, что Россией управляет вполне определённый, довольно однородный класс людей, у которых, естественно, свои достоинства и недостатки. Вот из подробное описание, которое мне больше всего нравится:

Если вкратце: это люди 1950-х гг рождения +/- 5 лет; как правило, мужчины; бывшие сотрудники силовых структур /КГБ, МВД, армия/. Что предполагает определённый образ мышления и, соответственно, типовые поступки в определённых ситуациях.