https://www.opennet.ru/openforum/vsluhforumID3/102343.html Команда PVS&#8211;Studio, которая разрабатывает коммерческий статический анализатор C/C++ кода, проверила исходный код Haiku и опубликовала статью (часть 1 (http://www.viva64.com/ru/b/0317/), часть 2 (http://www.viva64.com/ru/b/0318/)) с обзором подозрительных участков исходного кода. Начиная с ревизии hrev49129 (пакетное обновление OS) командой разработчиков Haiku начато устранение выявленных ошибок. В ядре OS ошибок не выявлено.<br><br><br>Из других открытых проектов, которые недавно были проверены в системе статического анализа PVS-Studio можно отметить: САПР FreeCAD (http://www.viva64.com/ru/b/0322/), игровой движок Godot (http://www.viva64.com/ru/b/0321/), текстовый редактор Vim (http://www.viva64.com/ru/b/0311/), офисный пакет LibreOffice (http://www.viva64.com/ru/b/0308/), ядро Linux (http://www.viva64.com/ru/b/0299/), библиотека NSS (http://www.viva64.com/ru/b/0286/), пользовательское окружение KDE (http://www.viva64.com/ru/b/0283/), VirtualBox (часть 1 (http://www.viva64.com/ru/b/0281/), часть 2 (http://www https://www.opennet.ru/openforum/vsluhforumID3/102343.html#66 Wed, 06 May 2015 23:46:01 GMT Вот, например, ссылка на статью В.Ю.Волконского &#171;Безопасная реализация языков программирования на базе аппаратной и системной поддержки&#187; - http://mcst.ru/doc/SecureLanguagesImplementation-req_rus-2008.doc . Возможно, что есть и другие статьи, но эта - первая в выдаче гугла.<br><br>С точки зрения вашего вопроса наиболее актуален раздел &#171;3. Перенос программ в среду безопасной реализации языков программирования&#187;, в котором перечислен ряд проблем проявившихся при переносе программ на Эльбрус. Часть этих проблем это просто традиционные ошибки - использование неинициализированных переменных, выход за границу массива, сохранение указателей на локальные переменные в глобальные данные и т.п. Эти ошибки скорее всего обнаруживаемы с помощью статического либо динамического анализа кода на традиционных архитектурах, они время от времени проявляются в падении программ или получении неверного результата.<br><br>А часть проблем обусловлена тем, что в головах программистов довольно крепкое представление о том, что https://www.opennet.ru/openforum/vsluhforumID3/102343.html#65 Sun, 03 May 2015 15:25:09 GMT "потому что" - это ибо ))<br><br>"чтоб нонче да надысь перепутать - нет" (с)<br> https://www.opennet.ru/openforum/vsluhforumID3/102343.html#64 Sun, 03 May 2015 12:22:35 GMT &gt; это Linux - натужно пытается дотянуться до ее уровня с MacOS-ю.<br><br>Дружочек, это надо писать отдельным постом, шрифтом побольше и чтоб переливалось.<br>Ну, то есть не на этом форуме.<br> https://www.opennet.ru/openforum/vsluhforumID3/102343.html#63 Sun, 03 May 2015 02:47:08 GMT Ну а так, да, мы можем смотреть картинки и качать торренты, ну и малевать в подобии пейнта. Это не спектр задач современного десктопа. <br><br>А тут поподробнее, плиззз.. Про спектр задач современного десктопа. ;))<br> https://www.opennet.ru/openforum/vsluhforumID3/102343.html#62 Sun, 03 May 2015 01:29:41 GMT &gt; http://www.youtube.com/watch?v=NMSkGSdicjM <br>&gt; http://www.youtube.com/watch?v=h3rg1RLAxGU <br>&gt; ThinkFree office<br>&gt; Wonderbrush<br>&gt; Еще что-то такое было<br><br>Проприетара - несчетово.<br><br>&gt; Старые КДЕшные проги<br><br>Говно мамонта.<br><br>&gt; Все, что на Java<br><br>Фу.<br><br>Ну а так, да, мы можем смотреть картинки и качать торренты, ну и малевать в подобии пейнта. Это не спектр задач современного десктопа.<br> https://www.opennet.ru/openforum/vsluhforumID3/102343.html#61 Sun, 03 May 2015 01:17:29 GMT http://www.youtube.com/watch?v=NMSkGSdicjM<br>http://www.youtube.com/watch?v=h3rg1RLAxGU<br> https://www.opennet.ru/openforum/vsluhforumID3/102343.html#60 Sat, 02 May 2015 18:12:32 GMT &gt; кстати, а где-то была статейка по томе, как Эльбрусы типа E2K сканировали <br>&gt; "эталонный х86 код" на ошибки и что-то там нашли... это было <br>&gt; в какой степени "правда"?<br><br>Читайте про контекстную аппаратную защиту реализованную на Эльбрусах .Контроль границ данных,контроль границ кода,контроль соответствия данных и кода,контроль интерфейса функции <br> и т.д . Часть защиты реализовано чисто аппаратно ,а часть аппаратно-программно ,с обязательной поддержкой со стороны операционной системы .Приложения должна быть скомпилированы на специальной версии компилятора с поддержкой атрибутов защиты .И в рамках этих работ удалось выявить ряд ошибок для х86 кода .Подробно описано в книге ISBN 978-5-459-01697-0 (одно время выкладывали на родном сайте компании &#171;МЦСТ&#187; ) -Микропроцессоры и вычислительные комплексы семейства &#171;Эльбрус&#187; .<br><br><br> https://www.opennet.ru/openforum/vsluhforumID3/102343.html#58 Sat, 02 May 2015 16:06:10 GMT &gt; а Haiku - вполне юзабельно. <br><br>Никто не спорит о принципиальной юзабельности. Как я уже говорил, мне она самому нравится.<br><br>&gt; и рядом корпоративных инженеров <br><br>Довольно небольшим рядом, но это не важно.<br><br>&gt; используется на личных коробках и ноутах, во внеработчее время.<br><br>Ну если так, то во внерабочее время оно может использоваться хоть Васей Пупкиным, это не имеет значения, насколько он копроративный инженер. Я веду речь о жестоком холодном реальном мире.<br>А то получается как у бздунов - костьми ляжем за бздю, но работать почему-то все равно продолжаем на винде.<br><br>&gt; Haiku - не надо догонять Linux.<br>&gt; это Linux - натужно пытается дотянуться до ее уровня <br><br>Say what?<br>Не, я опять же понимаю, что мы маленькие и гордые, но реальность, бессердечная сука, путает все карты.<br><br>&gt; с MacOS-ю.<br><br>Вот уж чего даром не надо, если честно. Кроме классного дизайна интерфейса (и то, до версии Mavericks - потом уже началось плоское нечто на любителя), в макоси нет ничего волшебного, оно еще более прожорливо и тормознуто https://www.opennet.ru/openforum/vsluhforumID3/102343.html#57 Sat, 02 May 2015 15:51:15 GMT не, неправда.<br>щас в таком состоянии - разве что маргинальные штуковины вроде ReactOS, eCommstation(текущий форк OS/2), Minix и прочих чудесатых ОС-ей.<br>а Haiku - вполне юзабельно. и рядом корпоративных инженеров - используется на личных коробках и ноутах, во внеработчее время.<br>QNX много где пащет. от кучи спутников и атомных подлодок до магистральных маршрутизаторов циско, управления рядом АЭС, транспортом и производством до смартфонов RIM(но это недавно. уже после покупки оными QNX.)<br>Haiku - не надо догонять Linux.<br>это Linux - натужно пытается дотянуться до ее уровня с MacOS-ю.<br>