|
| 1.2, A.Stahl (ok), 12:52, 01/05/2015 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– |
 >PVS–Studio
Что-то вы активизировались последнее время. Куда ни глянь -- ваша реклама. Что-то случилось? Или должно в скором времени случиться?
| | |
| |
| 2.4, ligurio (??), 12:58, 01/05/2015 [^] [^^] [^^^] [ответить]
| +19 +/– |
Ребята рекламируют свой продукт проверяя исходный код открытых проектов. Разве это плохо?
| | |
| |
| 3.7, annualslayer (ok), 13:06, 01/05/2015 [^] [^^] [^^^] [ответить]
| +5 +/– |
 стоит добавить, что это не просто запуск порверки, но и много ручной работы по разбору
| | |
| 3.19, _KUL (ok), 13:49, 01/05/2015 [^] [^^] [^^^] [ответить]
| +18 +/– |
 Это самая ПОЛЕЗНАЯ реклама, которую я только видел. Может быть менеджеры других компаний возьмут на прицел данную технику и тогда мир станет немного светлее...
| | |
| 3.29, Аноним (-), 18:21, 01/05/2015 [^] [^^] [^^^] [ответить]
| +3 +/– |
Проверка открытых проектов бесплатно, а закрытых за денежку. Одобрямс.
| | |
|
| 2.24, Сырна (ok), 15:04, 01/05/2015 [^] [^^] [^^^] [ответить]
| +4 +/– |
 Автор новости — энтузиаст от Haiku, а не представитель компании, выпускающей PVS-Studio.
| | |
| 2.36, Michael Shigorin (ok), 20:41, 01/05/2015 [^] [^^] [^^^] [ответить]
| +1 +/– |
 > Что-то вы активизировались последнее время.
Хорошие ребята. А что слышно стало -- так это ж тоже хорошо, я вон о них узнал при личном столкновении то ли на ADDConf, то ли на ещё какой конференции...
| | |
| |
| 3.41, Аноним (-), 23:48, 01/05/2015 [^] [^^] [^^^] [ответить]
| –1 +/– | |
> Хорошие ребята.
...но работенку делают грязноватую. Потому что эта их софтина - не только проприетарная, но и работает только под виндой. А даже упырь Баллмер - понимал, что developers, developers, developers.
И эти "хорошие" ребята как-то так способствуют залочиванию разработчиков на винду.
| | |
|
|
| 1.10, Аноним (-), 13:13, 01/05/2015 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
Я конечно за отечественные продукты, но есть и другой статический анализатор он тоже нашими спецами разрабатывается и к тому же бесплатный
| | |
| |
| 2.12, A.Stahl (ok), 13:25, 01/05/2015 [^] [^^] [^^^] [ответить]
| +1 +/– |
Какой? Можешь уже не стесняться -- тред-то уже по факту рекламный. Может то, о чём ты говоришь, ещё и на нормальных ОС работает.
| | |
| |
| 3.14, Аноним (-), 13:33, 01/05/2015 [^] [^^] [^^^] [ответить]
| +1 +/– |
> Какой? Можешь уже не стесняться -- тред-то уже по факту рекламный. Может
> то, о чём ты говоришь ещё и на нормальных ОС работает.
Вам наверное он не подойдет, дабы он работает только с Си: Berkeley Lazy Abstraction Software Verification Tool (BLAST)
Сейчас его поддерживает ИСП РАН
| | |
| |
| 4.15, anonymous (??), 13:35, 01/05/2015 [^] [^^] [^^^] [ответить]
| +1 +/– |
>> Какой? Можешь уже не стесняться -- тред-то уже по факту рекламный. Может
>> то, о чём ты говоришь ещё и на нормальных ОС работает.
> Вам наверное он не подойдет, дабы он работает только с Си: Berkeley
> Lazy Abstraction Software Verification Tool (BLAST)
> Сейчас его поддерживает ИСП РАН
Спасибо за информацию
| | |
| |
| 5.65, Ytch (ok), 18:25, 03/05/2015 [^] [^^] [^^^] [ответить]
| +/– |
 "потому что" - это ибо ))
"чтоб нонче да надысь перепутать - нет" (с)
| | |
|
|
|
|
| |
| 2.52, Аноним (-), 14:35, 02/05/2015 [^] [^^] [^^^] [ответить]
| +/– |
> Ядро без ошибок и подозрительного кода - факт примечательный. Линукс ядро оказалось
> весьма подозрительным кодом.. http://www.linux.org.ru/news/kernel/11210932
ЧСХ, там Coverity гоняют чартерными рейсами, на каждое ядро. И PVS гоняли. В общем там подозрительного для статических анализаторов кода здорово поубавилось.
| | |
|
| |
| 2.32, Аноним (-), 19:25, 01/05/2015 [^] [^^] [^^^] [ответить]
| +/– |
конечно.
у многих уже начиная с R2 на ноутах стоит.
правда с частью железа(принтеры итп) оно дружит слабо, но в целом - вполне работоспособно.
лучшая десктоп-Ось за последние 15 лет.
qnx все-ж в эмбеддовке место.
стрекоза пока молодовата а seL4 профита дает пожиже чем любой из них, пусть и привычен многим.
| | |
| |
| 3.40, dr Equivalent (ok), 23:08, 01/05/2015 [^] [^^] [^^^] [ответить]
| +/– |
 Не, чувак, я, конечно, тоже беось люблю, я с нее и начинал (мой первый около-юникс), но сейчас это - маргинальщина маргинальная.
Дров нет, софта нет, нихъя нет, в мультиюзерность не может, зато технологически интересная, да.
"лучшая десктоп-Ось за последние 15 лет" она была 15 лет назад.
Конечно, желаю всех благ проекту, но Линух ей уже не догнать, несмотря на все его болячки.
К слову, qnx прилично пашет в одной блэкберриевской трубке.
| | |
| |
| 4.42, Аноним (-), 23:49, 01/05/2015 [^] [^^] [^^^] [ответить]
| +/– |
Ну, гайка-то, по крайней мере, работоспособна в отличие от всяких хурдов и прочих реактосов.
| | |
| |
| 5.46, Аноним (-), 23:57, 01/05/2015 [^] [^^] [^^^] [ответить]
| +/– |
> Ну, гайка-то, по крайней мере, работоспособна в отличие от всяких хурдов и
> прочих реактосов.
И правда, свежий зомбячок, резвенький. Но - гвоздями прибит к десктопу, разработчики страдают махровой некромансией и таскают ископаемый gcc, ради полутора не менее ископаемых проприетарных программ, которые даже купить легально уже невозможно. В общем, desktop-only система с самобытным апи, без поддержки софта и оборудования и с переклином на совместимость с какй-то проприетарной архаикой - это как чемодан без ручки.
| | |
| |
| 6.48, Vkni (ok), 05:33, 02/05/2015 [^] [^^] [^^^] [ответить]
| +/– |
 > Но - гвоздями прибит к десктопу
У неё, с одной стороны, великолепный десктопный планировщик ЦП, с другой стороны, совершенно невозможно поставить мозаичный оконный менеджер.
| | |
| |
| 7.53, Аноним (-), 14:39, 02/05/2015 [^] [^^] [^^^] [ответить]
| +/– | |
> У неё, с одной стороны, великолепный десктопный планировщик ЦП,
С другой стороны я и на другие системы не жаловался. В плане именно планировщика ЦП. А всякое там IO, которое обычно намного более злободневно - его вообще планировать сложно, особенно для механических дисков всяких.
В смысле - я даже и не помню момента чтобы у меня например DE в проц упиралось и как-то недополучало бы ресурсы проца.
> с другой стороны, совершенно невозможно поставить мозаичный оконный менеджер.
...или обрубить на...й DE, если оно мне не упало. Случаи бывают разные. В том числе - неинтерактивные/автоматические применения, эмбедовка, etc. Это мне что - разучивать дюжину разных осей на разные задачи? Да провались оно все, вертикальное масштабирование рулит.
| | |
| |
| 8.55, Vkni (ok), 18:27, 02/05/2015 [^] [^^] [^^^] [ответить] | +1 +/– | Ну, Винды, даже NT - это характернейший пример плохого планировщика Под Линуксо... текст свёрнут, показать | | |
|
|
| 6.49, HaikuOS_user (?), 07:14, 02/05/2015 [^] [^^] [^^^] [ответить]
| +/– |
Софта достаточно - Qt 4 , Qt 5, openjava и нативный (gcc4 и gcc2). В официальном гибриде прекрасно работают бинарники, собранные и gcc4 и gcc2. Репозитории с пакетами имеются. Обновление ревизии ос пакетным менеджером с инета - http://www.youtube.com/user/1wqwqdedw для наглядности...
| | |
| |
| 7.56, dr Equivalent (ok), 18:31, 02/05/2015 [^] [^^] [^^^] [ответить]
| +/– |
Сколько раз ты эту ссылку в этом треде кинул?
Никто не сомневается, что ось крутая. Но она сейчас в реальном мире, где людям окромя игр с микроядром, надо работу работать, не настолько полезна. Вот напиши мне на гайке курсовик или отчет какой. Не получится, потому что вменяемого офиса нету. (и не надо про ThinkFree office, ибо проприетарщина, несчетово) Отретушируй фотографию/нарисуй что-нибудь с планшета - тоже пролетаем, гимпа нема, да и планшет не понимаем.
И это десктопные задачи, для которых беось и была создана. Лет 25 назад.
Не, для каких-нибудь микрозадач оно подходит хорошо: ест мало, программам оставляет ресурсов много - у меня на ней пункт видеонаблюдения работает, к примеру. Но пока до универсальности (а значит, полезности) Линуха - как до Луны пешком.
| | |
|
|
|
| 4.44, Аноним (-), 23:52, 01/05/2015 [^] [^^] [^^^] [ответить]
| +/– | |
> qnx прилично пашет в одной блэкберриевской трубке.
Вот только поскольку "микроядра не тормозят" - блэкберри были вынуждены брать дорогое топовое железо, долго сношаться с управлением питанием, а результат... если Нокию пришлось экстренно саботировать, то Блэкберри и сам не против околеть.
| | |
| 4.50, Манюнин гусь (?), 08:40, 02/05/2015 [^] [^^] [^^^] [ответить]
| +/– |
 > К слову, qnx прилично пашет в одной блэкберриевской трубке.
от qnx там мало чего есть.
| | |
| 4.57, Аноним (-), 18:51, 02/05/2015 [^] [^^] [^^^] [ответить]
| –1 +/– |
не, неправда.
щас в таком состоянии - разве что маргинальные штуковины вроде ReactOS, eCommstation(текущий форк OS/2), Minix и прочих чудесатых ОС-ей.
а Haiku - вполне юзабельно. и рядом корпоративных инженеров - используется на личных коробках и ноутах, во внеработчее время.
QNX много где пащет. от кучи спутников и атомных подлодок до магистральных маршрутизаторов циско, управления рядом АЭС, транспортом и производством до смартфонов RIM(но это недавно. уже после покупки оными QNX.)
Haiku - не надо догонять Linux.
это Linux - натужно пытается дотянуться до ее уровня с MacOS-ю.
| | |
| |
| 5.58, dr Equivalent (ok), 19:06, 02/05/2015 [^] [^^] [^^^] [ответить]
| +1 +/– | |
> а Haiku - вполне юзабельно.
Никто не спорит о принципиальной юзабельности. Как я уже говорил, мне она самому нравится.
> и рядом корпоративных инженеров
Довольно небольшим рядом, но это не важно.
> используется на личных коробках и ноутах, во внеработчее время.
Ну если так, то во внерабочее время оно может использоваться хоть Васей Пупкиным, это не имеет значения, насколько он копроративный инженер. Я веду речь о жестоком холодном реальном мире.
А то получается как у бздунов - костьми ляжем за бздю, но работать почему-то все равно продолжаем на винде.
> Haiku - не надо догонять Linux.
> это Linux - натужно пытается дотянуться до ее уровня
Say what?
Не, я опять же понимаю, что мы маленькие и гордые, но реальность, бессердечная сука, путает все карты.
> с MacOS-ю.
Вот уж чего даром не надо, если честно. Кроме классного дизайна интерфейса (и то, до версии Mavericks - потом уже началось плоское нечто на любителя), в макоси нет ничего волшебного, оно еще более прожорливо и тормознуто чем эта ваша винда.
| | |
| 5.64, scorry (ok), 15:22, 03/05/2015 [^] [^^] [^^^] [ответить]
| +2 +/– |
 > это Linux - натужно пытается дотянуться до ее уровня с MacOS-ю.
Дружочек, это надо писать отдельным постом, шрифтом побольше и чтоб переливалось.
Ну, то есть не на этом форуме.
| | |
|
|
|
|
| 1.25, Baz (?), 16:01, 01/05/2015 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
кстати, а где-то была статейка по томе, как Эльбрусы типа E2K сканировали "эталонный х86 код" на ошибки и что-то там нашли... это было в какой степени "правда"?
| | |
| |
| 2.45, Аноним (-), 23:53, 01/05/2015 [^] [^^] [^^^] [ответить]
| +/– | |
> в какой степени "правда"?
Это наверное не в степени, а в газете.
| | |
| 2.60, maximnik0 (?), 21:12, 02/05/2015 [^] [^^] [^^^] [ответить]
| +2 +/– |
> кстати, а где-то была статейка по томе, как Эльбрусы типа E2K сканировали
> "эталонный х86 код" на ошибки и что-то там нашли... это было
> в какой степени "правда"?
Читайте про контекстную аппаратную защиту реализованную на Эльбрусах .Контроль границ данных,контроль границ кода,контроль соответствия данных и кода,контроль интерфейса функции
и т.д . Часть защиты реализовано чисто аппаратно ,а часть аппаратно-программно ,с обязательной поддержкой со стороны операционной системы .Приложения должна быть скомпилированы на специальной версии компилятора с поддержкой атрибутов защиты .И в рамках этих работ удалось выявить ряд ошибок для х86 кода .Подробно описано в книге ISBN 978-5-459-01697-0 (одно время выкладывали на родном сайте компании «МЦСТ» ) -Микропроцессоры и вычислительные комплексы семейства «Эльбрус» .
| | |
| 2.66, oopsy (?), 02:46, 07/05/2015 [^] [^^] [^^^] [ответить]
| +/– | |
Вот, например, ссылка на статью В.Ю.Волконского «Безопасная реализация языков программирования на базе аппаратной и системной поддержки» - http://mcst.ru/doc/SecureLanguagesImplementation-req_rus-2008.doc . Возможно, что есть и другие статьи, но эта - первая в выдаче гугла.
С точки зрения вашего вопроса наиболее актуален раздел «3. Перенос программ в среду безопасной реализации языков программирования», в котором перечислен ряд проблем проявившихся при переносе программ на Эльбрус. Часть этих проблем это просто традиционные ошибки - использование неинициализированных переменных, выход за границу массива, сохранение указателей на локальные переменные в глобальные данные и т.п. Эти ошибки скорее всего обнаруживаемы с помощью статического либо динамического анализа кода на традиционных архитектурах, они время от времени проявляются в падении программ или получении неверного результата.
А часть проблем обусловлена тем, что в головах программистов довольно крепкое представление о том, что адрес в памяти - это просто номер ячейки. Это важный принцип архитектуры фон Неймана, и большинство платформ не противоречат такому представлению. Но Эльбрус радикально отличается в этом вопросе, там указатель является сложным объектом, и преобразование указателя в число или указателя на данные в указатель на функцию затруднено или невозможно.
эта часть проблем на традиционных x86/x86_64 никак не проявляется, но IMHO она вполне покрывается статическим анализом кода в стиле PVS-Studio. Напишите авторам студии, и если сумеете их заинтересовать то получите VivaElbrus ;)
| | |
|
|
