Русский перевод ОС A2. Оригинал сделан в Швейцарии в школе Вирта, есть коммерческие применения в Швейцарии и Китае во встроенных применениях (медицинское оборудование, пром. автоматизация, и ещё что-то секретное). Идут одновременные процессы перевода и документирования, до завершения перевода ядра остался примерно 1 человеко-год, но с учётом хоббийности процесса результат ожидается через 3-10 лет.

https://gitlab.com/budden/ja-o-s

Не, что-то я ошибся с трудоёмкостью. Пока меньше 3 лет фулл-тайм пока не получается, т.е. это 10-30 лет в хобби-режиме силами одного человека, как сейчас. Объяснение, зачем - длинное, в репозитории есть ссылка.

Это ОС, в ней все вызовы можно сделать на русском. Хотя она может работать в режиме приложения под Linux и Windows, тогда, конечно, вызовы ядра остаются на латинице. Можно и их перевести, но не уверен, что есть смысл. В любом случае, слой абстракции от железа или ОС достаточно маленький, это не повлечёт существенной латинизации всего исходника.

США и Китай занимаются импортозамещением и/или импортонедопущением. Как пример, совсем недавно США импортозаместили космический корабль "Союз". Значит, и России тоже можно и нужно этим заниматься. Для внутренних разработок иностранный язык не нужен. 97% иностранных разработчиков тоже в этом процессе никак не нужны, и цели, чтобы они понимали смысл наших технологий, нет.

Кроме скорости, есть и другие свойства и требования к разработке. Нужно, чтобы система была безопасной. Способов найти все закладки в достаточно сложной программе не существует. Если бы они существовали, не было бы уязвимости bashdoor, которую нашли только через 20 лет после её появления.

Допуская иностранцев к разработке, мы умножаем безопасность на ноль. Единственное, на что можно уповать - это на людей. Вот, например, взять ПВО. Наша армия использует не "Пэтриоты" и не "Железный купол", а С-400. Нам не нужны 97% мировых инженеров для этой разработки. Более того, если они получат доступ к "исходникам" С-400, то это будет называться шпионаж и безопасность России сильно пострадает. Вот, например, у нас недавно украли секрет гиперзвуковых ракет - теперь нам будет жить хуже, потому что страна в большей опасности. Если бы мы попытались использовать защищать своё небо с помощью американских систем ПВО, то, возможно, мы смогли бы их купить через третьи страны, как раньше покупали машины IBM. Но не факт, что мы бы сейчас могли сидеть на форуме - возможно, пришлось бы уже лежать в канаве (не знаю, из какой Вы страны, но я живу в России). Сегодня компьютеры и ПО к ним - это тоже оружие, Россия должна контролировать свой ИТ-стек, а этого нет.

Понятно, что у меня нет ресурсов в одно лицо написать безопасное ПО. Я просто показываю, что это можно, и показываю пример, как можно. И показываю, что необязательно писать на Си и Си++.

Т.е. этот проект больше про культуру и терминологию - у него нет цели создания конкретной ОС, потому что такая задача не для хоббийщика. Это что-то типа басен Крылова. Они до него уже были, он их в основном перевёл и слегка допилил. Поэтому никакой беды от открытости данной разработки нет, тем более, у неё нет и никакого заказчика.

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

Во-первых, откуда такие оценки и кто их доказал?

Во-вторых, в одном только ядре линукс 10 млн строк кода. По вашей оценке - 1700 ошибок. Изучите историю кибердиверсий США в Иране и Венесуэле. У нас есть 1700 потенциальных бекдоров. Это мало или много? Среди них, кстати, в течение 20 лет находился и bashdoor.

https://ru.wikipedia.org/wiki/Bashdoor

авторИзначальная ошибка была обнаружена Стефани Шазеля [1] (фр. Stéphane Chazelas) 12 сентября 2014 года... Анализ исходного кода Bash свидетельствует, что уязвимость была заложена в код приблизительно в версии 1.13 в 1992 году или ранее и с тех пор оставалась необнаруженной среди общей публики и незадекларированной.

Предполагается, что уязвимы миллионы систем. Ошибка получила максимальную оценку по шкале опасности и сравнивается по значению с Heartbleed — ошибкой в OpenSSL

ptr128, не жалко, пусть задонатит, к примеру :) По сути дела, я уже ответил: потому что для подобных систем важнее безопасность, чем скорость разработки. Безопасность в системах, от которых зависит безопасность государства, достигается прежде всего тем, что она пишется людьми, которым можно доверять (всё равно безопасность будет не 100%, как нас учит история шпионажа, кротов, диверсий и прочих шпионских штучек). Я же сейчас создаю систему, в которой русскоязычность была поставлена как цель не для того, чтобы она была безопасной, а для того, чтобы наработать терминологическую базу и вообще создать прецедент (хотя в СССР подобные системы уже были, но, наверное, их можно считать устаревшими, т.к. компьютеры с тех пор сильно измениились). Поэтому китайцу, не знающему русский, просто так вот не повезло, что он ничем не может помочь в достижении этой цели, разве только денег даст :) Он мог бы помочь, если бы система не была русскоязычной, но у меня нет цели создавать не-русскоязычную систему. В целом-то операционных систем вполне достаточно.

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

Если башдор был не простой ошибкой, а закладкой, то его автор в течение 20 лет имел несанкционированный доступ к огромному количеству систем.

Ошибку нашли, но какой ущерб был нанесён за 20 лет?

Это ортогональные вещи. Если у вас в штабе сидит вражеский шпион, то никакая криптография не поможет. Если же у вас плохая криптография, то вас и без шпионов разбомбят. Это разные оси безопасности, обе нужны.
А кстати, спасибо за термин, я не знал, как это называется. Можете объяснить, что такое первый принцип Керкгоффса?
Система должна быть физически, если не математически, невскрываемой

Быть разработчиком не обязательно, но весьма желательно. Если вам доверяют и ставят вашу систему к себе, то вы уже почти у цели. Осталось внедрить туда закладки, которые дадут вам доступ. Если же вы пытаетесь взломать чужую систему, которую вы не до конца понимаете, то, во-первых, вам будет труднее. Во-вторых, высока вероятность, что вы наследите. Закладки, конечно, нужно маскировать под ошибки. На минном поле у каждой мины не стоит столбик с надписью "мина находится именно здесь".

Самое смешное, это когда вы разработчик, ваш клиент уже 100 раз стал вашей жертвой и в 101 раз вам доверяет и опять ставит вашу систему. Это как раз ситуация с Линуксом.

ptr128, аналогия с ядерной и космической гонкой не совсем точная. Если мы строим ракету, то у нас есть задача - чтобы ракета полетела. Полетела ракета или нет - можно проверить, испытав её. Если ракета не полетела и мы уверены, то это немецкий инженер её испортил, то его можно расстрелять. Если же мы делаем безопасную ОС, то у нас есть две задачи - чтобы она работала и чтобы в ней не было бекдоров. Проверить, что она работает, мы можем. Проверить, что в ней нет бекдоров, мы не можем. Расстрелять заморского специалиста, который внедрил бэкдор, мы тоже не можем. Т.е. его правительство сказало ему "внедри бекдор", а мы не можем сказать ему "не внедряй бекдор, а то мы тебя убъём". Заморский специалист говорит нам: Линукс поставляется без гарантии, не хотите - не пользуйтесь. Не нравится наш код - берите другую систему. И тем самым он нас может послать, если мы даже справедливо укажем ему на те или иные слабости. Совсем не то же, что пленный немецкий инженер.

Ну ок, а если мы проверим это на примере Энигмы? Что защищали разработчики Энигмы?

Вы не ответили, откуда эта информация про количество ошибок и про то, много или мало 1700 ошибок. Честно сказать, я вообще не готов поверить в 0.17 ошибок на 1000 строк кода. Как это замеряли?

Но на самом деле я не против открытости. Но ведь 97% разработчиков в мире не участвуют в разработке линукса и не читают его исходники. И 3% не участвуют. Вы вот лично участвуете в разработке Линукса? Кто из присутствующих может показать свой вклад в линукс? Участвует ничтожное количество. Притом на сегодня, большинство разработчиков линукса работает за зарплату в американских корпорациях, которые и являются спонсорами линукса. Так что даже если этот принцип принять, то относительная малочисленность российских программистов не помешает достичь хорошего качества кода.

ptr128, она не полетела, в чём проблема? Факт налицо, ошибку нашли.

ptr128, ну вот смотрите, у нас есть два фактора - потенциально бОльшее количество разработчиков Линукса с одной стороны и невозможность их расстрелять - с другой. То, что в линуксе 20 лет был башдор - это факт. И за это никого не расстреляли. Эти два фактора работают друг против друга. Если мы их сложим, то что окажется выгоднее - использовать 3% наших программистов, которые не хотят, чтобы им на голову томагавки прилетели (их и расстреливать не надо, среди них будет не очень большой процент предателей, но если надо, то можно и расстрелять), или использовать 97% анонимов из интернета, а точнее 0,3% сотрудников американских корпораций, возможно, заверобванных АНБ и ЦРУ, зная, что у них есть прекрасные возможности заложит бекдоры, что им на нашу безопасность начхать, и что мы до них в случае чего не дотянемся.

Вы прямо так уверены, что вот этот фактор 97%/3% однозначно сильнее? Если да, то на чём основана эта уверенность? Как можно её количественно определить?

Ну неправда же. Во-первых, была коммерческая версия и была военная. Экземпляры военной машины охранялись, сейчас некогда искать пруфлинки, но я когда-то читал, что нужно было обязательно уничтожить саму машину при возникновении риска попадания её к противнику. Машину, а не только шифры.
Чуть позже, в 1927 или 1929 годах, через таможню из Германии была попытка провезти в немецкое дипломатическое консульство коробку с «Энигмой». Как это произошло и почему немцы не переслали аппарат закрытым дипломатическим каналом? Никто сейчас на это не ответит, но поляки подробно изучили устройство аппарата – этим занимались ребята из радиотехнической фирмы AVA, которая давно работала с польской разведкой. После тщательного знакомства «Энигму» передали ничего не подозревающим немецким дипломатам. Конечно, устройство коммерческой версии шифровальной машины мало чего могло дать польским криптоаналитикам, но начало было положено.

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

Давайте не будем растекаться мысью по древу и постоянно менять тему - у меня не столько времени. В Ариан-5 не прошёл E2E тест, если угодно. Если бы они не пожлобились на 10 или 100 выполнений E2E теста и вложили бы достаточно ресурсов в отладку - у них бы всё полетело. Т.е. это просто недостаток ресурсов на отладку. Линукс то "летает" каждый день миллионами штук, да и любую другую ОС вполне можно потестировать. Ответьте, пожалуйста, на вопросы, которые я раньше задал.

Сотрудник Главного Управления, а что, тут нацпол разрешён? Хотите, чтобы пришли люди в сером и закрыли данную площадочку?

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

А если посмотреть по ссылке, то в первоисточнике читаем:
· На 1000 строк кода в открытом ПО в исследователи насчитали в среднем 0,45 ошибки. Средний размер проекта с открытым исходным кодом составляет 832 000 строк кода.

· На 1000 строк кода в проприетарном ПО в исследователи обнаружили в среднем 0,64 ошибки. Средний размер такого проекта составляет 7,5 миллионов строк кода.

· Для обоих видов программных продуктов на 1000 строк кода приходится 1 ошибка.

· Наиболее качественный код, по мнению исследователей, содержится в PHP 5.3, PostgreSQL 9.1, а также Linux 2.6 с частотой ошибок 0,20, 0,21 и 0,62 соответственно.

Подробнее: https://www.securitylab.ru/news/420674.php

Во-первых, я это не распарсил, т.к. тут получается 0,45 = 0,64 = 1. Во-вторых, разрыва, который Вы рекламировали, не наблюдается. Он на проценты, а не в десятки раз. В третьих, ошибки стат.анализа - это не обязательно ошибки и не все ошибки находятся стат.анализом. Так что пока никакого подтверждения по этому пункту у Вас нет. Предлагаю либо признать, что ошиблись, либо всё же привести доказательства.

И, как вишенка на торте, критические уязвимости ЕМНИП были найдены в 2019 году в PostgreSQL, а в PHP я начал гуглить и их вообще что-то много нашлось. Так что качество кода по стат.анализатору и его реальная безопасность вообще неясно как связаны. Причём, если взять конкретно статанализ, то там есть ложноположительные срабатывания, и возможность разработчику пометить срабатывание как ложноположительное. Можно отрефакторить код так, что ложноположительного срабатывания не будет, а истинную уязвимость пометить как ложноположительную. Так что уровень защиты, к-рый даёт стат анализатор, легко обходится.

Да пусть 2%, разницы никакой.


В теории это может быть и так, но на практике 20 лет башдор. А в Crypto AG инженеры тоже находили "ошибки" в машинке, и докладывали руководству. Однако, ошибки не исправлялись, потому что они не были ошибками :) Так что наличие бета-тестеров не поможет, если в системе есть закладки, находящиеся под охраной руководства. В этой связи уместно вспомнить историю про Линуса и генератор случайных чисел. В общем, что-то не так с данной теорией. Надеюсь, я свои резоны изложил достаточно подробно (более подробно, чем по ссылке). Если они не убедили - значит, у нас с вами разные убеждения, подходы и мировосприятие, или я просто был неубедителен :) Я заинтересован в серьёзных аргументах насчёт более высокой надёжности линукса, чем проприетарных систем, но это должны быть действительно серьёзные аргументы, пока с этим не сложилось.

Если я "тупо" не дошёл, то и подтвердите вот эту часть из википедии:
В подтверждение этого приведём пример, что исходный код Linux имеет 0.17 ошибок на тысячу строк исходного кода[3], в то время как закрытое коммерческое ПО в среднем насчитывает 20-30 ошибок на 1000 строк исходного кода.

Допустим, 0.17 и 0.38 по порядку величины - примерно одно и то же. Где первоисточник информации про 20-30 ошибок на 1000 строк в проприетарном ПО?

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

автор He goes on to say that “Microsoft Applications: about 10 – 20 defects per 1000 lines of code during in-house testing, and 0.5 defect per KLOC in production.


Т.е. сравнивается тёплое с мягким. В той ссылке, к-рая есть в википедии, цифры открытых и неоткрытых кодов отличаются процентов на 20, но не 200 раз, как Вы написали. В общем, Вы не доказали, что открытые коды лучше за счёт своей открытости. Кстати, даже если они вдруг и лучше, то ещё нужно понять, за счёт чего - могут ведь быть разные причины, почему обязательно дело в законе Линуса?