The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка  RSS
"Лаборатория Касперского подтвердила планы по созданию собств..."
Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от opennews (??) on 18-Окт-12, 11:16 
Евгений Касперский опубликовал (http://eugene.kaspersky.ru/2012/10/16/secure-os-for-industri.../) в своём блоге заметку, в которой поверхностно рассказал о работе по созданию новой операционной системы, нацеленной на обеспечение безопасности  критически важных информационных систем. Главной задачей новой ОС является предоставление безопасного окружения для работы уже существующих и работающих критически важных информационных систем, берущего на себя функции защиты, мониторинга и контроля достоверности потоков информации, даже если выполняемые программные комплексы предприятия содержат неисправленные уязвимости или уже поражены вредоносным ПО. Для обеспечения гарантированной безопасности  ОС будет применён метод написания ПО, полностью блокирующий выполнение стороннего кода.


Основные требования к новой ОС:


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


Технические детали проекта пока держатся в секрете, но общие черты и мотивы создания новой ОС изложены в данной статье (http://www.securelist.com/ru/analysis/208050772/Bezopasnost_...).

URL: http://eugene.kaspersky.ru/2012/10/16/secure-os-for-industri.../
Новость: https://www.opennet.ru/opennews/art.shtml?num=35107

Ответить | Правка | Cообщить модератору

Оглавление

Сообщения по теме [Сортировка по времени | RSS]


2. "Лаборатория Касперского подтвердила планы по созданию собств..."  +79 +/
Сообщение от anonymous (??) on 18-Окт-12, 11:16 
Какая-то "ИдеалОС" получается. Но, по-моему, она будет испытывать проблемы совместимости с реальностью.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

80. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от rshadow (ok) on 18-Окт-12, 14:41 
> поэтому должна быть написана с нуля
> полностью блокирующий выполнение стороннего кода

Все совместимо. Ей вполне может пользоваться сам косперский для загона туда кучи вирусов, и с надменной усмешкой повышать свое ЧСВ.

P.S. Пиар акт очевидно же.

Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

87. "Лаборатория Касперского подтвердила планы по созданию собств..."  +5 +/
Сообщение от Аноним (??) on 18-Окт-12, 15:06 
Осталось только выполнить даное обещание и написать собственную ОС с нуля.
Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

111. "Лаборатория Касперского подтвердила планы по созданию собств..."  –3 +/
Сообщение от Аноним (??) on 18-Окт-12, 17:13 
Достойный ответ Касперского на вашу клевету http://www.youtube.com/watch?v=3LOIM7QC25A
Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

113. "Лаборатория Касперского подтвердила планы по созданию собств..."  –4 +/
Сообщение от Аноним (??) on 18-Окт-12, 17:16 
C какой реальностью?
Это не для ворда и игрушек
Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

119. "Лаборатория Касперского подтвердила планы по созданию собств..."  +4 +/
Сообщение от SubGun (ok) on 18-Окт-12, 17:54 
С реальной реальностью.
Ответить | Правка | ^ к родителю #113 | Наверх | Cообщить модератору

122. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Аноним (??) on 18-Окт-12, 18:25 
> С реальной реальностью.

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

Ответить | Правка | ^ к родителю #119 | Наверх | Cообщить модератору

183. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 22:38 
> а Тюринг вообще доказал что одна программа не может полностью верифицировать другую

Программа не может, а человек, при знании математических методов, - еще как

Ответить | Правка | ^ к родителю #122 | Наверх | Cообщить модератору

200. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 19-Окт-12, 04:24 
> Программа не может, а человек, при знании математических методов, - еще как

Грозилась синица море поджечь.

Ответить | Правка | ^ к родителю #183 | Наверх | Cообщить модератору

246. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Michael Shigorin email(ok) on 20-Окт-12, 14:09 
> а человек, при знании

1) этот?!
2) знания недостаточно, ещё потребуется умение по своей аппаратной части, очевидно.

Ответить | Правка | ^ к родителю #183 | Наверх | Cообщить модератору

257. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Прохожий (??) on 22-Окт-12, 03:26 
>> "Какая-то "ИдеалОС" получается. Но, по-моему, она будет испытывать проблемы совместимости с реальностью".

Она будет отлично совместима с реальностью по части попила бабла. На 100%.

Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

3. "Лаборатория Касперского подтвердила планы по созданию собств..."  +13 +/
Сообщение от luckym email(ok) on 18-Окт-12, 11:16 
Писать все драйвера с нуля - это неподъёмная задача.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

6. "Лаборатория Касперского подтвердила планы по созданию собств..."  –4 +/
Сообщение от Wormik (ok) on 18-Окт-12, 11:20 
Ведро-то, наверное, готовое возьмут. А под написанным с нуля ПО имеется в виду, возможно, то что не будут использоваться попсовые DE, либо и вовсе проект GNU.
Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

20. "Лаборатория Касперского подтвердила планы по созданию собств..."  +9 +/
Сообщение от R on 18-Окт-12, 11:48 
> Ведро-то, наверное, готовое возьмут.

А как же "-   ОС не может быть основана на каком-то уже существующем программном коде, поэтому должна быть написана с нуля.
-   В целях гарантии безопасности она не должна содержать ошибок и уязвимостей в ядре, контролирующем остальные модули системы. Как следствие, ядро должно быть верифицировано средствами, не допускающими существования уязвимостей и кода двойного назначения.
-  Ядро должно содержать критический минимум кода, а значит, максимальное возможное количество кода, включая драйверы, должно контролироваться ядром и исполняться с низким уровнем привилегий." ?
Если такое ядро, которое удовлетворяет последние 2 процитированных пункта уже есть (ага, особенно второй пункт ;) ), то какой смысл тогда создавать все с нуля?
И вообще, вызывает удивление второй пункт - а что, есть системы, которые ДОЛЖНЫ содержать ошибки и уязвимости? Я по своей наивности полагал, что это одно из основных требований для любого ПО - оно не должно содержать ошибок и уязвимостей. Windows и Linux тоже не должны их содержать, но, по факту, содержат.

А в общем, новость неплохая. Если есть у г. Касперского лишние пару десятков миллиардов и желание вложить их во что-то новое в IT, пусть сейчас это представляется и несколько идеалистическим, это хорошо. Возможно, некоторые новые идеи этой новой ОС действительно будут прорывом в ОСостроении.

Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

48. "Лаборатория Касперского подтвердила планы по созданию собств..."  +12 +/
Сообщение от VldK email(ok) on 18-Окт-12, 12:50 
Все много проще, у господина касперского есть обещание госконтракта под обязательство откатить.
Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

55. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от a (??) on 18-Окт-12, 13:19 
> Все много проще, у господина касперского есть обещание госконтракта под обязательство откатить.

Может быть, но МужЫк крепкий (именно Ы, ибо крепкий).
Ну, и конечно удачи, в пиаре!

Ответить | Правка | ^ к родителю #48 | Наверх | Cообщить модератору

58. "Лаборатория Касперского подтвердила планы по созданию собств..."  +5 +/
Сообщение от Майкрософт on 18-Окт-12, 13:30 
Этот господин известный М***к. Только нет, не мужик.
Ответить | Правка | ^ к родителю #55 | Наверх | Cообщить модератору

53. "Лаборатория Касперского подтвердила планы по созданию собств..."  +4 +/
Сообщение от sasa (??) on 18-Окт-12, 13:11 
> Возможно, некоторые новые идеи этой новой ОС действительно будут прорывом в ОСостроении.

http://www.ertos.nicta.com.au/research/l4.verified/approach.pml
http://www.genode.org/

видимость "прорыва" очевидно создается искуственно для привлечения инвестиций

> Разработка по-настоящему безопасной среды – проект сложный, практически невыполнимый без
> активной работы с потенциальными заказчиками. Множество деталей этого проекта мы сейчас
> не можем раскрыть как раз по причине такого сотрудничества.

Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

62. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Loooooker (ok) on 18-Окт-12, 13:44 
> видимость "прорыва" очевидно создается искуственно для привлечения инвестиций

потому как без инвестиций любой (крупный) прорыв в современном мире остается без внимания, т.е. не у дел.

Ответить | Правка | ^ к родителю #53 | Наверх | Cообщить модератору

63. "Лаборатория Касперского подтвердила планы по созданию собств..."  +5 +/
Сообщение от sasa (??) on 18-Окт-12, 13:51 
> потому как без инвестиций любой (крупный) прорыв в современном мире остается без внимания, т.е. не у дел.

в данном случае никакого прорыва нет, а налицо лохотрон как и все что в этой "лабратории" делается - может вы и антивирус их считаете прорывом ?

Ответить | Правка | ^ к родителю #62 | Наверх | Cообщить модератору

90. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Loooooker (ok) on 18-Окт-12, 15:14 
>> потому как без инвестиций любой (крупный) прорыв в современном мире остается без внимания, т.е. не у дел.
> в данном случае никакого прорыва нет, а налицо лохотрон как и все
> что в этой "лабратории" делается - может вы и антивирус их
> считаете прорывом ?

Я говорю абстрактно. Про этот антивирь ничего не могу сказать, т.к. ими не пользуюсь. А вы? ;)

Ответить | Правка | ^ к родителю #63 | Наверх | Cообщить модератору

68. "Лаборатория Касперского подтвердила планы по созданию собств..."  –2 +/
Сообщение от Vkni (ok) on 18-Окт-12, 14:00 
> видимость "прорыва" очевидно создается искуственно для привлечения инвестиций

С другой стороны, если они смогут ввести L4 в "десктопы/сервера", будет неплохо. Всё-таки и люди типа Стива Джобса тоже иногда полезны (он двинул в массы планшет-компьютер, оконную систему - разработки Xerox PARC).

Ответить | Правка | ^ к родителю #53 | Наверх | Cообщить модератору

143. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 19:13 
> С другой стороны, если они смогут ввести L4 в "десктопы/сервера", будет неплохо.

Кому и почему?

Ответить | Правка | ^ к родителю #68 | Наверх | Cообщить модератору

159. "Лаборатория Касперского подтвердила планы по созданию собств..."  –3 +/
Сообщение от Vkni (ok) on 18-Окт-12, 19:42 
> Кому и почему?

Пользователям, разработчикам драйверов. Под микроядром отладка драйверов легче, чем под монолитом. И требования к качеству драйверов тоже ниже.

Ответить | Правка | ^ к родителю #143 | Наверх | Cообщить модератору

177. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Аноним (??) on 18-Окт-12, 22:12 
> Пользователям,

И что пользователям даст очередная экзотичная и скорее всего проприетарная хрень?

> разработчикам драйверов.

За кадром в этом месте слышен конский топот разработчиков драйверов возжелавших писать драйвера для какой-то неведовой фигни от каспера.

> Под микроядром отладка драйверов легче, чем под монолитом.

Ну это мы еще будем посмотреть. Что-то не видно толп разработчиков таких драйверов.

> И требования к качеству драйверов тоже ниже.

А вот это плохо. Зачем кому-то нужны падучие драйвера, теряющие данные?

Ответить | Правка | ^ к родителю #159 | Наверх | Cообщить модератору

196. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Vkni (ok) on 19-Окт-12, 01:19 
> И что пользователям даст очередная экзотичная и скорее всего проприетарная хрень?

После появления iOS появился Android.

> За кадром в этом месте слышен конский топот разработчиков драйверов возжелавших писать драйвера для какой-то неведовой фигни от каспера.

Есть такое, да.

> Ну это мы еще будем посмотреть. Что-то не видно толп разработчиков таких драйверов.

Сравните разработку ядерных драйверов ФС и драйверов для FUSE. Второе по уверениям многих спецов на порядок легче.

> А вот это плохо. Зачем кому-то нужны падучие драйвера, теряющие данные?

Лучше уж какой-то драйвер, чем вообще никакого.

Хотя, конечно, вы правы - падение качества драйверов нежелательно, а оно в случае микроядра явно будет.

Ответить | Правка | ^ к родителю #177 | Наверх | Cообщить модератору

201. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 05:05 
> После появления iOS появился Android.

Да, а также сдох симбиан. В том числе и потому что это некий неведомый микроядерный экзот, под который было некому писать системные компоненты. Так что каждый раз поддержку нового оборудования нокия вымучивала из себя с диким скрипом и скрежетом. При совершенно неприемлимых сроках. Они пробовали сорц открыть но толку было мало. А iOS - нечто типа дарвина. Т.е. гибридное ядро, опять же. Андроид - модульный монолит. И вот опять эти два победили, выпнув нафиг микроядро, ага :). Еще блэкберри c qnx - тоже буксует от души.

> Есть такое, да.

Ну вот и получается что преимущество - теоретическое. То-есть, в теории мне мог бы прямо сейчас свалиться миллион баксов. Просто так. А на практике вероятность этого - ...

>> Ну это мы еще будем посмотреть. Что-то не видно толп разработчиков таких драйверов.
> Сравните разработку ядерных драйверов ФС и драйверов для FUSE. Второе по уверениям
> многих спецов на порядок легче.

А также на порядок тормознее. Все виденные fuse ФС для диска проц грузили на редкость хардкорно. По поводу чего ими как правило предпочитают не пользоваться всерьез. Ну то-есть, перекинуть файло с нтфсного диска данные и забыть о нем навсегда - ну да. А вот постоянно это тормозилово использовать - желающих мало. Fuse может и имеет смысл для не сильно критичных к скорости вещей, типа монтирования "вон той сетевой шары" как "куска ФС", но как дисковая ФС, которая должна сотни мегов в секунду лопатить - не-не-не, Дэвид Блэйн. И если кому кажется что писюки стали быстрыми - так и SSD втыкаемые в PCI-E как-то медленностью не страдают. Быстрым машинам - быстрые сторажи.

>> А вот это плохо. Зачем кому-то нужны падучие драйвера, теряющие данные?
> Лучше уж какой-то драйвер, чем вообще никакого.

Вот только почему-то самые развитые ядра с наибольшим количеством дров для оборудование - поголовно гибриды и монолиты. А вы тут сватаете какие-то кривые драйвера под экзотичную ОС. Как вы думаете, какие шансы что меня [как пользователя] сие соблазнит?

> Хотя, конечно, вы правы - падение качества драйверов нежелательно, а оно в
> случае микроядра явно будет.

А еще кроме всего прочего, дрова в ядре просто берут и делают с своим железом то что им надо. Так как это было надо. Что является самым простым и логичным вариантом.

Ответить | Правка | ^ к родителю #196 | Наверх | Cообщить модератору

220. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Vkni (ok) on 19-Окт-12, 11:40 
> Вот только почему-то самые развитые ядра с наибольшим количеством дров для оборудование - поголовно гибриды и монолиты.

А ещё самые используемые операционные системы - 30-40 летней архитектуры. Вот такие мы тормоза. :-)

Ответить | Правка | ^ к родителю #201 | Наверх | Cообщить модератору

224. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Аноним (??) on 19-Окт-12, 11:58 
> А ещё самые используемые операционные системы - 30-40 летней архитектуры. Вот такие
> мы тормоза. :-)

А многие удачные конструкции электродвигателей придумали более сотни лет назад. Настолько удачно получилось что почти без изменений делают до сих пор. Вот тормоза? :)

Ответить | Правка | ^ к родителю #220 | Наверх | Cообщить модератору

164. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Crazy Alex (ok) on 18-Окт-12, 20:13 
Собственно, в этом основной вред Джобса. Сделал из многоцелевого устройства обработки информации потреблялку контента
Ответить | Правка | ^ к родителю #68 | Наверх | Cообщить модератору

167. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Vkni (ok) on 18-Окт-12, 20:27 
> Собственно, в этом основной вред Джобса. Сделал из многоцелевого устройства обработки информации потреблялку контента

Не, это изначальная PARC'овская мысль, насколько я понимаю, так шла - планшет=потребление контента.

Но я бы не переживал насчёт этого - по итогам дискуссии на ixbt "что считать компьютером?", могу сказать, что универсальный комп - это ноутбук. Чуть менее универсален десктоп. А остальные - графические станции, суперкомпьютеры, сервера, планшеты - это узкоспециализированные машины. А самый универсальный компьютер сейчас, это, конечно, ноутбук класса ультрабук (с виндами - если они стоят, то и остально взгромоздить можно :-).

Поэтому, ну добавил Джобс ещё один специализированный комп. И что?

Ответить | Правка | ^ к родителю #164 | Наверх | Cообщить модератору
Часть нити удалена модератором

189. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Андрей (??) on 18-Окт-12, 23:12 
http://www.southparkfan.ru/online/15_season/south_park_s15e0...
Ответить | Правка | ^ к родителю #177 | Наверх | Cообщить модератору

197. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Vkni (ok) on 19-Окт-12, 01:20 
> А ничего хорошего. Вырастил в результате поколение потреб-дей, соревнующееся "кто больше
> зохавает". Огромная услуга человечеству - лишний балласт.

Вообще-то, это общая идеология сейчас такая. Чай не коммунизм строим. :-)

Ответить | Правка | ^ к родителю #177 | Наверх | Cообщить модератору

202. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 05:07 
> Вообще-то, это общая идеология сейчас такая. Чай не коммунизм строим. :-)

В том числе благодаря такой идеологии микроядра никому кроме десятка-другого академиков нафиг не уперлись.

Ответить | Правка | ^ к родителю #197 | Наверх | Cообщить модератору

221. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Vkni (ok) on 19-Окт-12, 11:40 
> В том числе благодаря такой идеологии микроядра никому кроме десятка-другого академиков
> нафиг не уперлись.

Много чего не упёрлось - термоядерная энергия, космос. Микроядра тут проходят по разряду фигни.

Ответить | Правка | ^ к родителю #202 | Наверх | Cообщить модератору

225. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 12:13 
> Много чего не упёрлось - термоядерная энергия, космос. Микроядра тут проходят по
> разряду фигни.

Термоядерная энергия уперлась: как это, можно почти ничего не тратить и здорово зарабатывать на продажах энергии. Если отладить, конечно. В силу того что отладка геморна ибо объект на редкость капризен, собственно как видим, процессы известны давно а всерьез их юзать желанием пока не горят. Так что ученые со скрипом выбивают деньги на экспериментальные установки и не более того.

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

А операционки - штука для большинства юзерей утилитарная. Потому и проходят по указанному разряду.

Ответить | Правка | ^ к родителю #221 | Наверх | Cообщить модератору

248. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Vkni (ok) on 20-Окт-12, 14:24 
> Термоядерная энергия уперлась

Это видимость. Затраты на косметику в одной Франции превышают мировые затраты на ИТЕР в пару раз.

> Космос - ну да, на него всякие ученые и энтузиасты умудряются что-то
> выбивать. Сделав его вопросом престижа.

:-( Какой престиж, когда главное - торговля и финансы? СССР давно почил, а больше никто ни с кем не соревнуется.

Ответить | Правка | ^ к родителю #225 | Наверх | Cообщить модератору

66. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Vkni (ok) on 18-Окт-12, 13:57 
> Если такое ядро, которое удовлетворяет последние 2 процитированных пункта уже есть (ага,
> особенно второй пункт ;) ), то какой смысл тогда создавать все
> с нуля?

Такие системы есть, базируются на ядрах семейства L4. Каких конкретно - не помню.

> новые идеи этой новой ОС действительно будут прорывом в ОСостроении.

Всё процитированное - пройденный этап в исследовательских ОС. Причём давно пройденный. Просто мы работаем на таких системах, которые устарели на 20-30 лет. (возьмите ту же VM/370, по-отечественному Система Виртуальных Машин - до сих пор аналога нет. Всякие Xen/VMWare - бледная тень.)

Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

228. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Anonimous on 19-Окт-12, 13:32 
>  Просто мы работаем на таких системах, которые устарели на 20-30 лет.

Пипл хавает. (тм)
Потихоньку вытаскивают отдельные элементы той же 30..40-летней давности.

>(возьмите ту же VM/370, по-отечественному Система Виртуальных Машин - до сих пор аналога нет. Всякие Xen/VMWare - бледная тень.)

OS/390, так же известна как Z-OS. Собственной персоной.

В данном случае больше волнует другое: на данный момент в ЛК даже пингвиниксы толком готовить не научились, так шо "с нуля при наличии инвестиций" означает именно "совсем с нуля", где от нынешней ЛК будет только верховное руководство.

Ответить | Правка | ^ к родителю #66 | Наверх | Cообщить модератору

120. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Deluxe (??) on 18-Окт-12, 18:02 
> И вообще, вызывает удивление второй пункт - а что, есть системы, которые
> ДОЛЖНЫ содержать ошибки и уязвимости?

Конечно же должны! Иначе техподдержка останется без работы и будет выкинута на мороз.

Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

47. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от savant (ok) on 18-Окт-12, 12:49 
Скорее L4se - который математически верифицирован.
Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

148. "Лаборатория Касперского подтвердила планы по созданию собств..."  +3 +/
Сообщение от ffirefox on 18-Окт-12, 19:24 
Ох уж эти теоретики. Вы бы хоть говорили, что там верифицировано, а то опять раздувается синдром "серебряной пули".

PS: Я всегда вспоминаю в таких случаях qmail. Тоже ведь вроде бы самый безопасный MTA, да вот только его безопасное ядро без плагинов никому не сдалось, а плагины дырявили и дырявят. Зачем нужен навороченный защищенный сейф, если он стоит дороже того, что хранится или его можно не вскрывая просто унести с собой?

Ответить | Правка | ^ к родителю #47 | Наверх | Cообщить модератору

156. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 19:33 
> можно не вскрывая просто унести с собой?

Как-то так иногда и поступают. Прецеденты тыринга банкоматов и автоматов оплаты целиком науке известны.

Ответить | Правка | ^ к родителю #148 | Наверх | Cообщить модератору

170. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от savant (ok) on 18-Окт-12, 20:49 
> Ох уж эти теоретики. Вы бы хоть говорили, что там верифицировано, а
> то опять раздувается синдром "серебряной пули".
> PS: Я всегда вспоминаю в таких случаях qmail. Тоже ведь вроде бы
> самый безопасный MTA, да вот только его безопасное ядро без плагинов
> никому не сдалось, а плагины дырявили и дырявят. Зачем нужен навороченный
> защищенный сейф, если он стоит дороже того, что хранится или его
> можно не вскрывая просто унести с собой?

http://ertos.nicta.com.au/research/sel4/

Ответить | Правка | ^ к родителю #148 | Наверх | Cообщить модератору

172. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от ffirefox on 18-Окт-12, 21:30 
Спасибо. Я если туплю, то гуглю.
Вы бы сами читали, то на что ссылаетесь, а потом бы ответили хотя бы на простой вопрос:
То, чем собирать будете это чудо-ядро и софт к нему уже верифицировано? Или вы будете медитировать только на ядро?
Ответить | Правка | ^ к родителю #170 | Наверх | Cообщить модератору

180. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Аноним (??) on 18-Окт-12, 22:14 
> Или вы будете медитировать только на ядро?

"Красиво было на бумаге, да забыли про овраги".

Ответить | Правка | ^ к родителю #172 | Наверх | Cообщить модератору

253. "Лаборатория Касперского подтвердила планы по созданию..."  +/
Сообщение от arisu (ok) on 20-Окт-12, 23:09 
> То, чем собирать будете это чудо-ядро и софт к нему уже верифицировано?

и это мы пока даже не упоминали ошибки в железе.

Ответить | Правка | ^ к родителю #172 | Наверх | Cообщить модератору

165. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Crazy Alex (ok) on 18-Окт-12, 20:16 
Угу. А кто будет верифицировать систему верификации и систему критериев верификации? Прав народ - болтовня это под распил. А на практике уже двно известно, что надежная система - это та, которая давно в продакшне, которую просмотрели тысячи глаз, проверили на тысячах сценариев и поправили найденные баги. Что и показывает пример RHEL того же.
Ответить | Правка | ^ к родителю #47 | Наверх | Cообщить модератору

7. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 11:20 
все и не придется а только для "критически важных информационных систем".
Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

9. "Лаборатория Касперского подтвердила планы по созданию собств..."  +4 +/
Сообщение от WherWolf on 18-Окт-12, 11:29 
> нацеленной на обеспечение безопасности критически важных информационных систем

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

А может, все это выльется в какой-нибудь "Планшет Касперского", с десятком программ, зато вообще без вирусов )

Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

12. "Лаборатория Касперского подтвердила планы по созданию собств..."  +17 +/
Сообщение от Аноним (??) on 18-Окт-12, 11:35 
А зачем она нужна без вирусов то? Конторе, которая на вирусах зарабатывает.
Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

17. "Лаборатория Касперского подтвердила планы по созданию собств..."  +3 +/
Сообщение от WherWolf on 18-Окт-12, 11:44 
А кто их знает? Может, ихний антивирус в виндовый магазин не взяли, теперь мечутся.
Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

26. "Лаборатория Касперского подтвердила планы по созданию собств..."  +5 +/
Сообщение от ЮзверЪ on 18-Окт-12, 12:02 
А она будет сама вирусов создавать, а потом успешно изничтожать...
Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

121. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Deluxe (??) on 18-Окт-12, 18:04 
> А зачем она нужна без вирусов то? Конторе, которая на вирусах зарабатывает.

Контора хочет переквалифицироваться с производства и продажи вирусов-антивирусов на производство и продажу принципиально новой BolgenOS.

Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

28. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от тоже Аноним (ok) on 18-Окт-12, 12:03 
Именно прошивка, причем, скорее всего, для "железного" файрволла.
Потому что ни сервер, ни, тем более, десктоп (даже планшетный) с такими исходными установками сделать просто нереально. Большая часть производительности железа будет съедена этим самым "сверхпопечительным" ядром.
Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

69. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Vkni (ok) on 18-Окт-12, 14:02 
> Большая часть производительности железа
> будет съедена этим самым "сверхпопечительным" ядром.

Посмотрите Genode - она очень быстро работает на L4. То есть, именно на таком ядре. :-) Большая часть производительности жрётся всякими KDE-Gnome/Firefox-Chrome.

Ответить | Правка | ^ к родителю #28 | Наверх | Cообщить модератору

75. "Лаборатория Касперского подтвердила планы по созданию собств..."  +3 +/
Сообщение от тоже Аноним (ok) on 18-Окт-12, 14:24 
Ну, так умножьте прожорливость этих "всяких" на попечительность ядра, которое будет их старательно огораживать от ошибок. Никакой суперкомпьютер такое не вытянет.
Ответить | Правка | ^ к родителю #69 | Наверх | Cообщить модератору

77. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Vkni (ok) on 18-Окт-12, 14:37 
> Ну, так умножьте прожорливость этих "всяких" на попечительность ядра, которое будет их старательно огораживать от ошибок. Никакой суперкомпьютер такое не вытянет.

L4 работает практически с той же скоростью, что и монолитное ядро.

Ответить | Правка | ^ к родителю #75 | Наверх | Cообщить модератору

144. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 19:16 
> L4 работает практически с той же скоростью, что и монолитное ядро.

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

Ответить | Правка | ^ к родителю #77 | Наверх | Cообщить модератору

169. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Vkni (ok) on 18-Окт-12, 20:31 
> А радости?

Драйвера легче отлаживать. Надёжность на драйверах того же качества выше, чем на монолите. А как показывает практика MS (у них есть статистика), большая часть синих экранов - это заслуга драйверов. С Linux'ом, по-видимому, дела обстоят похоже.

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

Ответить | Правка | ^ к родителю #144 | Наверх | Cообщить модератору

181. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 22:23 
>> А радости?
> Драйвера легче отлаживать.

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

> Надёжность на драйверах того же качества выше, чем на монолите.

По моему нескромному мнению системный софт просто не должен падать. Он при этом имеет потенциал терять данные или ронять систему. Даже если ядро останется живое - это еще не значит что периферия будет в состоянии нормально взаимодействовать с пользователем. Наиболее очевидный фокус - баг в драйвере GPU. Я пару раз видел и на монолите как отпадало само взаимодействие драйвер - железка. Само ядро при этом живое, а толку - нуль. А вы предлагаете такое еще и более часто встречать? Э нет, фатальное падение драйверов при удобном случае - отличный стимул писать их качественно и руками специалистов.

> А как показывает практика MS (у них есть статистика), большая
> часть синих экранов - это заслуга драйверов.

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

> С Linux'ом, по-видимому, дела обстоят похоже.

Лично мне нравятся и линуксные дрова и обработка ими ошибок оборудования. Как правило оно работает. По крайней мере то что не обозначено как нечто супер-экспериментальное.

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

Для начала, у них есть толпа компетентных спецов набивших руку. Они делают хорошие дрова. А зачем мне падучие драйвера, собственно? То-есть я не против наличия спасательных шлюпок на параходе самих по себе. Но когда при этом приводится аргументация что это позволит сделать корпус потоньше из железа похлипче - я пожалуй другим рейсом поплыву, извините.

Ответить | Правка | ^ к родителю #169 | Наверх | Cообщить модератору

195. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 01:10 
> По моему нескромному мнению системный софт просто не должен падать. Он при этом имеет потенциал терять данные или ронять систему. Даже если ядро останется живое - это еще не значит что периферия будет в состоянии нормально взаимодействовать с пользователем. Наиболее очевидный фокус - баг в драйвере GPU. Я пару раз видел и на монолите как отпадало само взаимодействие драйвер - железка. Само ядро при этом живое, а толку - нуль. А вы предлагаете такое еще и более часто встречать? Э нет, фатальное падение драйверов при удобном случае - отличный стимул писать их качественно и руками специалистов.

Э нет, не греби все под одну гребенку и забудь про код без ошибок. Есть важные железки и функционал, а есть не очень, где и данные потерять не жалко. Видел давно как некоторое время мучались с подвисающим драйвером USB на среваке. Разделить все по разным сервакам было нельзя (наверное не было оборудования да и виртуальные сервера нормально на том железе не запустишь) и на одном линукс-серваке крутились корпоративный жаббер, почтовик и обслуживание нескольких USBшных вин-модемов, через которые клиенты подключались. И усб-модемы стабильно через какое-то время начинали по одному зависать, просто не поднимали трубку. Клиенты, естественно, недовольны. Начальник админа шпыняет чтобы он что-то сделал, а админ так просто "что-то сделать" не может - как я понял, на команды модемы не реагируют, а при попытке тупо выдернуть усб-шнурок и воткнуть его заново, равно как и выгрузить/загрузить соответствующий модуль ядра - тупо кернел паник. Т.е. только перезагрузка сервака спасала. А жаббер и почтовик на этом серваке тоже "ну очень важны". И админ мучался, оттягивал перезагрузку до последнего (пока хоть один рабочий модем оставался), а потом все-таки перегружал сервер (что вызывало большой шухер и оборванные телефоны). А было бы ядро не монолитное, а микроядерное, типа QNX, то наверное можно было бы просто тупо перезапустить сервис-драйвер работы с усб. Да, конечно, все работающие с усб программы получат ошибку, но их тоже можно перезапустить, зато все остальное работает - т.е. в данном конкретном случае ядро бы никуда не упало, сервер не перегрузился, жаббер и почтовик как работали так и продолжали бы работать, все модемы бы тоже заработали. Причем, наверное даже сработало простое передергивание усб-шнурка при кривом драйвере (которое в линухе на том железе выдавало кернел паник) - драйвер бы вызвал ошибку, система его перезагрузила и модем после втыкания шнурка начал работать со свежезапущенным процессом драйвера.

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

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

Ответить | Правка | ^ к родителю #181 | Наверх | Cообщить модератору

204. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 05:23 
> Э нет, не греби все под одну гребенку и забудь про код
> без ошибок. Есть важные железки и функционал, а есть не очень,

Есть. И ряд очень важных железок даже MMU не содержит, так оно что чисто физически не может изолировать никакие "процессы" друг от друга. Все делает простая как топор прошивка. Однозадачная. Созданная лишь с одной целью. И за счет ее простоты ее можно более-менее сносно отверифицировать. Это еще понятно. Вообще, достаточно интересно почитать как делают софт всякие авиаторы и автомобилисты, где just in case - шкуру спустят. Там обычно вообще никто не упирает ни на какие микроядра. То-есть, оно просто не упоминается как необходимый критерий для получения супернадежности. Есть туева хуча добиться супернадежности без всяких микроядер.

>  Т.е. на каком-то серваке наиболее важны дисковые подсистемы и сеть

Ну окей, корпоративщики наиндусячат в драйверах контроллера дисков, драйверах ФС и прочая. И что будет при крахе драйвера? Мне видится как минимум потенциальная потеря всего что в кэшах и прочая. Более того - если этого не будет а состояние попытается восстановиться в вид как было 1 в 1, есть риск что драйвер снова упадет точно так же по тем же причинам. И в результате не отрекаверится вообще никогда. При том скажем честно, мне не нравится ни один из этих вариантов: в одном я теряю данные. В другом - вообще при удобном случае случается тупейший дедлок. Я кстати подобные сценарии видел даже в софте :)

Ответить | Правка | ^ к родителю #195 | Наверх | Cообщить модератору

207. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от другой аноним on 19-Окт-12, 09:50 
> Вообще, достаточно интересно почитать как делают софт всякие авиаторы и автомобилисты, где just in case - шкуру спустят. Там обычно вообще никто не упирает ни на какие микроядра.

Ага, как же. Почитай про QNX. Основой его надежности как раз заявляется микроядерность.  На многих ответственных производствах управляет оборудованием. Даже в нашем захолустном регионе есть крупный металлургический завод (раньше был союзного значения) и там есть (или были, сейчас уже не знаю) производственные линии которые QNX4 управлялись.


>>  Т.е. на каком-то серваке наиболее важны дисковые подсистемы и сеть
>Ну окей, корпоративщики наиндусячат в драйверах контроллера дисков, драйверах ФС и прочая. И что будет при крахе драйвера?

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


> Более того - если этого не будет а состояние попытается восстановиться в вид как было 1 в 1, есть риск что драйвер снова упадет точно так же по тем же причинам. И в результате не отрекаверится вообще никогда. При том скажем честно, мне не нравится ни один из этих вариантов: в одном я теряю данные. В другом - вообще при удобном случае случается тупейший дедлок

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

> И в результате не отрекаверится вообще никогда

Ну и хрен со звуковой подсистемой, если она мне не важна до перезапуска компа а работу надо продолжить или хотя бы сохранить ее результат! А при важных сбоях никто не отменяет останов сервера.

Ответить | Правка | ^ к родителю #204 | Наверх | Cообщить модератору

233. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 20:11 
> где just in case - шкуру спустят. Там обычно вообще никто не упирает ни на какие микроядра.
> Ага, как же. Почитай про QNX. Основой его надежности как раз заявляется микроядерность.
> На многих ответственных производствах управляет оборудованием.

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

> Даже в нашем захолустном регионе есть крупный металлургический завод
> (раньше был союзного значения) и там есть (или были, сейчас уже не
> знаю) производственные линии которые QNX4 управлялись.

Ну так есть производственные линии которые и с досом и даже с виндой. Не показатель.

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

А пропущено это потому что бред.
1) В моем понимании сбои такого порядка на серверах просто не должны случаться. То-есть, для меня норма это 0 oops-ов и уж тем более паников и 0 записей о сбоях оборудования. Если это не так - я начну изучать WTF, собственно.
2) В монолитах если GPU никто не дергает (а кто его дернет на сервере такого плана) - то и глюков драйвера GPU не случится. Чтобы ничего не делающий драйвер упал - это фантастика. Падает обычно активно вкалывающий драйвер. А если что-то вкалывало - оно было нужно, так? :)

> неважный - перезапуск драйвера, переинициализация
> железа и перезапуск программ-пользователей этой железки - там же написано -
> при крахе усб или звукового драйвера на моем домашнем компе я
> бы хотел просто передернуть это хозяйство,

Btw при сбоях оборудования Linux именно так и делает. Отпал SATA? Ресет линку, ресет девайсу, и вот оно взлетает снова. Отпал usb? Аналогично. GPU повис? Reset по шине, сброс, релоад фирмвари, восстановление состояния - о, пашет снова. Только экран притормаживает на несколько секунд и немного мерцает пока GPU ребутается и фирмвару перегружает.

> а не потерять кусочек работы из-за того что не сохранялся последние
> пол-часа и студенческий звуковой драйвер кинул все в кернел-паник.

И часто у вас "студенческий звуковой драйвер" панику вызывает? У меня - ни разу за 7 лет. Ну и от чего вы меня (пользователя) собираетесь избавить? От проблемы которой у меня никогда не было? Вай спасибо :)

> Как ты узко мыслишь, высасываешь проблемы из пальца.

Вообще-то это реальный анализ реальных отказов драйверов. Я видел несколько смешных случаев когда драйвер вогнал железку в кривое состояние а потом пытался отрекаверить. Но рекавери приводил к идентичному сбою и все начиналось по кругу :)

> Никто не мешает тебе реализовать микроядрную систему так, что количество
> перезапусков драйвера тоже можно задать (пользователем).

Правда что мне делать если драйвер не перезапустится? Ну окей, драйвер GPU не перезапустился, картинки нет. И чего мне делать с такой системой?

> Типа максимум три попытки перезапуска звукового драйвера и пять -
> драйвера усб. И предваряя твои дальнейшие недальновидные возражения - задать интервал
> между повторами и действия после неудачи всех попыток (останов сервера или
> просто прекращение попыток перезапуска)

Учитывая что кольцевую реинициализацию я видел для GPU, представляю себе мой бурный восторг когда драйвер GPU совсем не станет запускаться. Ну и чего мне в такой системе потом делать? Там проблема еще и в том что если восстанавливать состояние - оно может осыпаться нахрен с точно тем же что и было. А если не восстанавливать - программы это мягко говоря заметят. Тогда я могу испытать кучу невкусных последствий вплоть до потери части работы. Напрашивается вывод что такой драйвер просто не должен падать.

>> И в результате не отрекаверится вообще никогда
> Ну и хрен со звуковой подсистемой, если она мне не важна до
> перезапуска компа а работу надо продолжить или хотя бы сохранить ее
> результат! А при важных сбоях никто не отменяет останов сервера.

У меня звуковая система в Linux ни разу за 7 лет панику не вызывала. Зачем чинить то что не сломано? А вот сложные дрова типа GPU - невозможность перезапуска чревата отпадением графики, невосстановление состояния - сбоями программ, а восстановление - тем что драйвер снова отвалится с тем же багом. No win, кроме варианта сделать его работоспособным и не падучим.

Ответить | Правка | ^ к родителю #207 | Наверх | Cообщить модератору

198. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Vkni (ok) on 19-Окт-12, 02:24 
> А как насчет пруфа в виде обилия отлаженных драйверов? А то этим микроядерщики бредят уже черт знает сколько.

Вы очень эмоциональны. Какие могут быть "обилия драйверов", если микроядро уже 25 лет, как не может пробиться в общеупотребительные ОС.

А то, что драйвера, работающие в пользовательском контексте отлаживать проще - давно известно. См. FUSE, в том числе linux-ntfs.

> По моему нескромному мнению системный софт просто не должен падать.

Но он таки падает. Мы же не в волшебной стране эльфов живём.

> Э нет, фатальное падение драйверов при удобном случае - отличный стимул писать их качественно и руками специалистов.

Я в своё время писал под MS DOS. В этом "мониторе" нет защиты памяти. В результате, отладка значительно тяжелее отладки программ для нормальных ОС. В частности, потому, что если программа под Win/Lin обратится к невыделенной памяти, она вылетит. Аналогичная ситуация для драйверов в макроядерных и микроядерных ситуациях.

Если драйвер FUSE залезет не туда, он грохнется, если драйвер ядра залезет не туда, он, скорее всего, выживет.

Ответить | Правка | ^ к родителю #181 | Наверх | Cообщить модератору

205. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 05:44 
> Вы очень эмоциональны. Какие могут быть "обилия драйверов", если микроядро уже 25
> лет, как не может пробиться в общеупотребительные ОС.

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

> А то, что драйвера, работающие в пользовательском контексте отлаживать проще - давно
> известно. См. FUSE, в том числе linux-ntfs.

Я смотрел. Посмотрел как работает NTFS в FUSE и в свое время полностью изничтожил все диски в NTFS в пользу xfs и ext4. Потому что мне не нравится когда вентилятор проца взвывает при простом копировании файлов. И скорость работы NTFS over FUSE мне не нравится. Более того, те же граждане продают ядерный модуль для NTFS - сие недвусмысленно намекает о том что баг, а что фича :)

>> По моему нескромному мнению системный софт просто не должен падать.
> Но он таки падает. Мы же не в волшебной стране эльфов живём.

На практике все-таки достаточно редко. Как вы понимаете, выпустив глючную железку и/или драйвер к сколь-нибудь популярной системе производитель мигом отхватит поток тухлых помидоров. Мало кто заинтересован в потере репутации.

> Я в своё время писал под MS DOS. В этом "мониторе" нет
> защиты памяти. В результате, отладка значительно тяжелее отладки программ для нормальных  ОС.

Вот только программы != драйвера.

> В частности, потому, что если программа под Win/Lin обратится к
> невыделенной памяти, она вылетит. Аналогичная ситуация для драйверов в макроядерных и
> микроядерных ситуациях.

Вот только для драйвера может быть нужно сделать такой маневр совершенно штатно. Для работы с memory-mapped девайсами, например. И тут начинаются костыли, подпорки, пляски с бубнами и прочая. И вот уже простая и предсказуемая операция превращается в черт знает что...

> Если драйвер FUSE залезет не туда, он грохнется, если драйвер ядра залезет
> не туда, он, скорее всего, выживет.

К счастью, у меня не грохаются драйвера ядра. А какой-ниюудь FUSE-NTFS у меня не может грохнуться просто потому что я видал я такое тормозилово у меня в системе...

Ответить | Правка | ^ к родителю #198 | Наверх | Cообщить модератору

222. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Vkni (ok) on 19-Окт-12, 11:49 
> Просто в этом месте наблюдается нестыковка с заявлением о том что драйвера,
> мол, отлаживать проще. Наблюдаемые факты не согласуются с теорией.

Потому, что вы теорию навели куцую. А полная теория включает в себя и утверждение, что из-за консерватизма отрасли "программирование" мы работаем на ОС 30-25-ти летней давности разработки.

> Я смотрел. Посмотрел как работает NTFS в FUSE и в свое время
> полностью изничтожил все диски в NTFS в пользу xfs и ext4.
> Потому что мне не нравится когда вентилятор проца взвывает при простом
> копировании файлов. И скорость работы NTFS over FUSE мне не нравится.
> Более того, те же граждане продают ядерный модуль для NTFS -
> сие недвусмысленно намекает о том что баг, а что фича :)

Это потому, что linux+FUSE - это всё-таки НЕ микроядро. В том же L4 скорость была бы значительно выше.

FUSE показывает, что ОТЛАДКА драйверов, работающих не в ядерном пространстве, значительно проще. НО FUSE не работает с микроядерной скоростью, поэтому как оценка производительности, FUSE служить НЕ может.

Диалектика и логика, понимаете.

> На практике все-таки достаточно редко. Как вы понимаете, выпустив глючную железку и/или
> драйвер к сколь-нибудь популярной системе производитель мигом отхватит поток тухлых помидоров.

Не отхватывают. Вы знаете, сколько времени народ работал на Windows 9x?

> Вот только программы != драйвера.

Проблемы те же - ошибка доступа к памяти есть, но не проявляется.

>> В частности, потому, что если программа под Win/Lin обратится к
>> невыделенной памяти, она вылетит. Аналогичная ситуация для драйверов в макроядерных и
>> микроядерных ситуациях.
> Вот только для драйвера может быть нужно сделать такой маневр совершенно штатно.
> Для работы с memory-mapped девайсами, например.

Там есть маленькая область памяти, куда стоит лезть драйверу. А в остальную память ему путь заказан.

Ответить | Правка | ^ к родителю #205 | Наверх | Cообщить модератору

237. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 22:08 
> Потому, что вы теорию навели куцую. А полная теория включает в себя
> и утверждение, что из-за консерватизма отрасли "программирование" мы работаем на ОС
> 30-25-ти летней давности разработки.

А это не плохо и не хорошо: удачные решения могут работать десятками а иногда и сотнями лет. Вот колесо например предмет древний, а используется до сих пор. Придумано много чего еще, более современного. Ну а колесо не собирается уступать свое место.

> L4 скорость была бы значительно выше.

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

> FUSE показывает, что ОТЛАДКА драйверов, работающих не в ядерном пространстве,
> значительно проще.

Честно говоря не заметил особой разницы по времени создания драйверов ФС для фуза и ядра. Так, если понаблюдать, примерно один фиг - уйма времени тратится, так что тезис надо бы еще как-то доказать, IMHO. Тем паче что в эпоху виртуалок это ни о чем - в виртуалке ядерное пространство доступно так и сяк через гипервизор. А то что оно там упало - так это не хост упал а гуест :). Ну и программеру соответственно все доступно и ничего не факапается.

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

> НО FUSE не работает с микроядерной скоростью, поэтому как оценка
> производительности, FUSE служить НЕ может.

Ну вот когда и если сделают - тогда и посмотрим.

> Диалектика и логика, понимаете.

Я понимаю что пока рассказывается про некую сферическую скорость в вакууме. Ибо несмотря на то что разрабатывать файловые системя для L4 "якобы проще", по факту драйверов нет. Так что мало того что сравнить не с чем, так еще и тезис про "якобы проще" остается недоказанным. Если бы кто в ударные сроки и/или мизерными ресурсами... но чуда то не случилось.

> Не отхватывают. Вы знаете, сколько времени народ работал на Windows 9x?

И как ни странно, в конечном итоге драйвера основного оборудования таки были доведены до стабильности которая требовалась в повседневной деятельности. Если б это было не так - тут же выиграли бы конкуренты. Это кстати должно бы навести на мысли на то что массовому покупателю нафиг не упала супернадежность. Если вы еще не заметили, в обществе потребления товар вообще оптимизируется в сторону потребительских свойств а не супернадежности. У микроядер все наоборот, так что в этом мире они инопланетяне.

>> Вот только программы != драйвера.
> Проблемы те же - ошибка доступа к памяти есть, но не проявляется.

Это далеко не единственная проблема. Драйвера как правило не очень активно работают с памятью и используют для этого системные услуги. По поводу чего это наврядли самая злободневная проблема. По моим наблюдениям проблемы нынче разве что у дров GPU и в основном потому что GPU сложный агрегат, в нем бывают аппаратные глюки (errata), часть из которых даже в доках не описана. Плюс надо генерить код под экзотичную архитектуру. На лету и по брейнфакерским правилам. Т.е. проблемы с отладкой именно логики поведения драйвера, а не чего-то еще. Как-то не совсем понятно чем микроядра тут помогут, а все остальное вроде и так хорошо работает и каши не просит.

>> Вот только для драйвера может быть нужно сделать такой маневр совершенно штатно.
>> Для работы с memory-mapped девайсами, например.
> Там есть маленькая область памяти, куда стоит лезть драйверу. А в остальную
> память ему путь заказан.

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

Ответить | Правка | ^ к родителю #222 | Наверх | Cообщить модератору

199. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Vkni (ok) on 19-Окт-12, 02:26 
> Для начала, у них есть толпа компетентных спецов набивших руку. Они делают
> хорошие дрова.

Увы, этой толпы нет. Мне много лет те же Интеловские видеодрайвера вешали систему напрочь.

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

Это обмен - микроядро позволит либо сделать более надёжную систему, либо удешевить при той же надёжности. Большая часть народу предпочитает пусть дерьмо, но много. Меньшая - мало, но качественно. Увы, это свойство людей, а не ядер ОС.

Ответить | Правка | ^ к родителю #181 | Наверх | Cообщить модератору

203. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Аноним (??) on 19-Окт-12, 05:14 
> Увы, этой толпы нет. Мне много лет те же Интеловские видеодрайвера вешали систему напрочь.

А мне вот как-то обычно везло увидеть полностью живое ядро, но напрочь отапвшее взаимодействие GPU <-> драйвер. Ядро при этом пашет, можно синкануться, лог скинуть, да и вообще, если ремотно по ssh зайти - все живое, веселое. Но работать то за такой системой не получается: на мониторе нифига нет или хардкорный абстракт-арт. Я не вижу как меня от такого спасет микроядро.

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

При том акуды бизнеса, понятено дело, плевать хотели что будет с пассажирами, а вот сделать подешевле - о, PROFIT!

Ответить | Правка | ^ к родителю #199 | Наверх | Cообщить модератору

227. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от другой аноним on 19-Окт-12, 12:59 
> А мне вот как-то обычно везло увидеть полностью живое ядро, но напрочь отапвшее
> взаимодействие GPU <-> драйвер. Ядро при этом пашет, можно синкануться, лог скинуть,
> да и вообще, если ремотно по ssh зайти - все живое, веселое. Но работать то за такой
>системой не получается: на мониторе нифига нет или хардкорный абстракт-арт. Я не вижу
>как меня от такого спасет микроядро.

Ну как тут можно быть таким слепым. Вот как раз оно бы и спасло, если на серваке - зашел по ssh, убил программы, юзающие графику (всякие KDE и Xы и все программы, которые ниже в дереве процессов), УБИЛ/ПЕРЕЗАПУСТИЛ процесс драйвера видюхи (который в микроядерной системе мало чем отличается от простых процессов, разве что доступ к железу имеется), драйвер ЗАНОВО проинициализировал видяху, как он это делает и при простом запуске компа, а ты после этого снова запустил любимые Xы, KDE. Если переинициализация железа драйвером не срабатывает - то уж извините, тут проблема с железом вырисовывается, если его для переинициализации (ресета) надо обязательно физически обесточить.

Ответить | Правка | ^ к родителю #203 | Наверх | Cообщить модератору

238. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 22:21 
> и спасло, если на серваке - зашел по ssh,

Зачем мне графические программы на серваке? Это такая шутка?

> убил программы, юзающие графику

Пардон, они при этом несохраненные данные потеряют и это будет ничем не лучше ребута.

> драйвер ЗАНОВО проинициализировал видяху, как он это делает и при простом запуске компа,

Внезапно, линевый драйвер GPU так умеет. Он честно вбахивает reset по шине, ребутит девайс, переливает в него фирмвару (как при холодной инициализации) и прочая. Честнейший переесброс девайса. Вышибает его в адекватное состояние гарантированно.

Проблема в том что дальше возникает дилемма: дальше или надо ресторить GPU в вид "как было", чтобы софт ничего не заметил. Но с неким риском что драйвер нарвется на ту же проблему и GPU нагнется ровно в ту же позу. Я такое видел пару раз - смешно выглядит, драйвер вешает GPU раз в 10 секунд и ребутает его каждые 10 сек. Или не ресторим и софт и графическая подсистема крупно обламывается, ибо состояние которое ожидали приложения совсем не соответствует тому что в железке есть. После чего скорее всего все люто факапается. Как минимум 2D приложения не будут отображены корректно а opengl вероятно должны будут совсем упасть, т.к. текущее состояние GPU крайне далеко от того что они ожидали.

Итого: я зашел по ssh. Повтыкал как линевый драйвер лихо ресетит GPU раз в 10 секунд. Система живая. Хоть и не микроядерная. Но что мне с ней делать, если на экране - нифига? Ну логика у драйвера такая что он пытается отресторить состояние GPU, дабы софт ожидающий вполне определенное состояние GPU не посыпался как горох. После чего GPU встает в ту же позу. При том я вполне могу предсказать что такой баг в микроядре будет выглядеть идентично :)

Ответить | Правка | ^ к родителю #227 | Наверх | Cообщить модератору

258. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от zyx (ok) on 22-Окт-12, 11:52 
>[оверквотинг удален]
> в вид "как было", чтобы софт ничего не заметил. Но с
> неким риском что драйвер нарвется на ту же проблему и GPU
> нагнется ровно в ту же позу. Я такое видел пару раз
> - смешно выглядит, драйвер вешает GPU раз в 10 секунд и
> ребутает его каждые 10 сек. Или не ресторим и софт и
> графическая подсистема крупно обламывается, ибо состояние которое ожидали приложения
> совсем не соответствует тому что в железке есть. После чего скорее
> всего все люто факапается. Как минимум 2D приложения не будут отображены
> корректно а opengl вероятно должны будут совсем упасть, т.к. текущее состояние
> GPU крайне далеко от того что они ожидали.

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

Ответить | Правка | ^ к родителю #238 | Наверх | Cообщить модератору

208. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от тоже Аноним (ok) on 19-Окт-12, 10:18 
> микроядро позволит

Двадцать лет назад Торвальдс на этой почве уже спорил с Танненбаумом...
В теории Эндрю был прав. Он и сейчас, наверное, прав. В теории.

Ответить | Правка | ^ к родителю #199 | Наверх | Cообщить модератору

223. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Vkni (ok) on 19-Окт-12, 11:51 
> Двадцать лет назад Торвальдс на этой почве уже спорил с Танненбаумом...
> В теории Эндрю был прав. Он и сейчас, наверное, прав. В теории.

Тогда не было L4. Всё-таки, как не мал прогресс в програзме, за 20-ть лет что-то меняется. :-)

Ответить | Правка | ^ к родителю #208 | Наверх | Cообщить модератору

239. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 22:21 
> Тогда не было L4.

Зато была куча иных концептов. Какая разница?

Ответить | Правка | ^ к родителю #223 | Наверх | Cообщить модератору

249. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Vkni (ok) on 20-Окт-12, 14:26 
>> Тогда не было L4.
> Зато была куча иных концептов. Какая разница?

У нас не было атомного реактора, но была теория про флогистон. Как разница?

Ответить | Правка | ^ к родителю #239 | Наверх | Cообщить модератору

247. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Michael Shigorin email(ok) on 20-Окт-12, 14:20 
> Тогда не было L4.

И kthreads.

Ответить | Правка | ^ к родителю #223 | Наверх | Cообщить модератору

123. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 18:27 
> Посмотрите Genode - она очень быстро работает на L4.

А также нифига не умеет, по поводу чего является неуловимым Джо.

Ответить | Правка | ^ к родителю #69 | Наверх | Cообщить модератору

141. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 19:03 
Промавтоматике обычно какая-то особая производительность ни к чему, а вот стабильность и надежность намного нужнее. Впрочем, там и сама по себе ОС - зачастую слишком сложное решение.

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

Ответить | Правка | ^ к родителю #28 | Наверх | Cообщить модератору

67. "Лаборатория Касперского подтвердила планы по созданию собств..."  +3 +/
Сообщение от Drist (ok) on 18-Окт-12, 13:59 
Ничего не будет. Это классическая схема перевода денег с гос. счетов в собственный карман - распил, по-нынешнему.
Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

11. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Йооо on 18-Окт-12, 11:34 
Лаборатория касперского собралась кормить производителей буржуйского железа?
Может сначала наш отечественный проц запилим. А потом уже программы сделаем.

А то как-то новые чехлы и руль с педалями к вражескому танку шить будем.

Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

21. "Лаборатория Касперского подтвердила планы по созданию собств..."  +4 +/
Сообщение от 1 (??) on 18-Окт-12, 11:48 
касперович это очень условный россиянин, так что этот танк ну никак не вражеский :)
Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору

110. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Kibab email(ok) on 18-Окт-12, 17:13 
google://KOMDIV32
Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору

138. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 18:55 
ОС позиционируется для промышленной эмбеддовки - почему бы и нет, там эта задача хотя бы условно обозрима.
Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

168. "Лаборатория Касперского подтвердила планы по созданию собств..."  –2 +/
Сообщение от Anton (??) on 18-Окт-12, 20:28 
> Писать все драйвера с нуля - это неподъёмная задача.

Неуч! Драйвер - м.ч. драйверы.

Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

209. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от тоже Аноним (ok) on 19-Окт-12, 10:21 
"Мы говорим не «штормы», а «шторма»..."
(из переписки Владимира Семеновича с Дитмаром Эльяшевичем).
Ответить | Правка | ^ к родителю #168 | Наверх | Cообщить модератору

4. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Wormik (ok) on 18-Окт-12, 11:18 
Гы, прикол. Пусть будет! Их LiveCD - проверялке винды давно пора эволюционировать и обзавестись хотя бы минимальным десктопом.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

51. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от DannyBoy (ok) on 18-Окт-12, 13:06 
Таки есть уже. На кедах пашет. Но дистрибутив настолько сырой, что даже dhcpcd не взлетал. Вчера просто с рукой у лица сидел за ним.
Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

52. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от жабабыдлокодер (ok) on 18-Окт-12, 13:06 
Таки обзавелась - на КДЕ4.
Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

101. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Apple fanboy on 18-Окт-12, 16:23 
> Гы, прикол. Пусть будет! Их LiveCD - проверялке винды давно пора эволюционировать
> и обзавестись хотя бы минимальным десктопом.

(давно:) уже - www.hardnsoft.ru/default.asp?artID=14381&trID=173

Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

5. "Лаборатория Касперского подтвердила планы по созданию собств..."  +4 +/
Сообщение от Случайный прохожий email on 18-Окт-12, 11:19 
Как Касперский будет бороться  с методом взлома "Ректальный крипотанализ" ?

Если система будет такой идеальный то там будет только один баг - Человек?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

13. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от чпок on 18-Окт-12, 11:36 
Это-же идеальная система. Там нет ректуса!
Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

42. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от cijic (ok) on 18-Окт-12, 12:33 
Именно так компьютеры и захватят мир :)
Ответить | Правка | ^ к родителю #13 | Наверх | Cообщить модератору

124. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 18:29 
> Именно так компьютеры и захватят мир :)

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

Ответить | Правка | ^ к родителю #42 | Наверх | Cообщить модератору

211. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Andrey Mitrofanov on 19-Окт-12, 10:29 
> Если система будет такой идеальный то там будет только один баг -
> Человек?

"Убить всех человеков!"(тм)

ЗЫЖ Полностью верифицированный процессор, включённый в верифицированную модель безопасности -- не забыли? Даёшь i8080 к 3000-му году.

Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

8. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 11:28 
>В целях гарантии безопасности она не должна содержать ошибок и уязвимостей в ядре

а мужики то и не знают...

>Ядро должно содержать критический минимум кода, а значит, максимальное возможное количество кода

знатные вещества они там принимают....

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

14. "Лаборатория Касперского подтвердила планы по созданию собств..."  +3 +/
Сообщение от Аноним (??) on 18-Окт-12, 11:37 
>>В целях гарантии безопасности она не должна содержать ошибок и уязвимостей в ядре
> а мужики то и не знают...
>>Ядро должно содержать критический минимум кода, а значит, максимальное возможное количество кода
> знатные вещества они там принимают....

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

Нехорошо из контекста фразы выдёргивать.

Ответить | Правка | ^ к родителю #8 | Наверх | Cообщить модератору

57. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 13:30 
Minix же.
Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

70. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Vkni (ok) on 18-Окт-12, 14:03 
>>В целях гарантии безопасности она не должна содержать ошибок и уязвимостей в ядре
> а мужики то и не знают...
>>Ядро должно содержать критический минимум кода, а значит, максимальное возможное количество кода
> знатные вещества они там принимают....

Почитайте про семейство ядре L4, там ровно такие системы есть. То есть, верифицированные микроядра.

Ответить | Правка | ^ к родителю #8 | Наверх | Cообщить модератору

125. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 18:32 
> верифицированные микроядра.

...которые обладают сложностью хелловорлда и ничего не умеют. Поэтому хакеры будут долбать драйвера, которые и делают весь цимес. А вот отверифицировать драйвер с кучей состояний и дофига кода - ну, удачи :)

Ответить | Правка | ^ к родителю #70 | Наверх | Cообщить модератору

10. "Лаборатория Касперского подтвердила планы по созданию собств..."  +5 +/
Сообщение от Аноним (??) on 18-Окт-12, 11:29 
Похоже на мыльный пузырь. Если их система будет работать как шлюз для контроля потоков информации, то им не блокировать уязвимости и новые черви. Если они решили написать ОС для запуска СУБД и SCADA, то им никогда не обеспечить полную совместимость API и поддержку оборудования. Текущие ОС полировались многие годы и API имеет кучу полудокументированных нюансов, а Касперский хочет так сразу написать полностью стабильную и совместимую со всем ОС.

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

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

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

15. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Амнезин on 18-Окт-12, 11:38 
>Ядро должно содержать критический минимум кода, а значит, максимальное возможное количество кода, включая драйверы, должно контролироваться ядром и исполняться с низким уровнем привилегий.

Microkernel?  Хм, наверное, тупо сдерут Darwin, и сырцы закроют :D

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

255. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от vle email(ok) on 21-Окт-12, 20:43 
>>Ядро должно содержать критический минимум кода, а значит, максимальное возможное количество кода, включая драйверы, должно контролироваться ядром и исполняться с низким уровнем привилегий.
> Microkernel?  Хм, наверное, тупо сдерут Darwin, и сырцы закроют :D

Darwin -- не микрокернел

Ответить | Правка | ^ к родителю #15 | Наверх | Cообщить модератору

22. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 11:55 
Подход здравый, и, наверное, единственно верный, хорошо, что такие идеи озвучиваются уже сейчас. Но задачи безошибочного программирования - это очень долго и дорого, для проектов подобного масштаба - скорее всего десятилетия работы даже при приоритетном гос.финансировании. Даже если будет создан международный консорциум с привлечением ведущих институтов. Задача на не самую ближнюю перспективу, но всё-таки, хорошо, что идея озвучена уже сейчас и достаточно авторитетным специалистом в данном вопросе.
Другая проблема - аппаратные закладки, например скрытая аппаратная виртуализация с возможностью внешнего доступа к системе. С массово выпускаемыми платформами никаких гарантий безопасности ни при какой ОС не будет. Здесь безопасная ОС никак не поможет, скорее наоборот, лишь навредит, создав иллюзию безопасности в скомпрометированной среде. Военным чуть проще - российские закажут машины на E2K, китайские - на godson, но большинству пользователей данная опция недоступна
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

27. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 12:03 
> идея озвучена уже сейчас и достаточно авторитетным специалистом в данном вопросе.

Вы думаете они сами поняли что написали? :) Наверняка этот текст писал отдел рекламы.

Ответить | Правка | ^ к родителю #22 | Наверх | Cообщить модератору

36. "Лаборатория Касперского подтвердила планы по созданию собств..."  –2 +/
Сообщение от Аноним (??) on 18-Окт-12, 12:22 
помимо очевидной саморекламы, с таким проектом можно очень неплохо брать государственные гранты. Если проект создался под них, или действительно есть амбициозные планы - не исключены и адекватные результаты. В любом случае, если делать по уму, это проект на десятилетия. Хотя для грантов - так даже лучше
Ответить | Правка | ^ к родителю #27 | Наверх | Cообщить модератору

210. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от тоже Аноним (ok) on 19-Окт-12, 10:26 
Получить грант - это и есть амбициозный и адекватный результат. Потом под это дело можно десятилетиями заниматься имитацией бурной деятельности.
Ответить | Правка | ^ к родителю #36 | Наверх | Cообщить модератору

173. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от ffirefox on 18-Окт-12, 21:38 
> Но задачи безошибочного программирования - это очень долго и дорого

Вы физику в школе прогуливали? Вам учитель тоже говорил, что строить вечный двигатель не надо пытаться только потому, что это долго и дорого?

Ответить | Правка | ^ к родителю #22 | Наверх | Cообщить модератору

30. "Лаборатория Касперского подтвердила планы по созданию собств..."  +5 +/
Сообщение от mma on 18-Окт-12, 12:13 
Волщебник изумрудного города не иначе, другие ядра значит ДОЛЖНЫ содержать ошибки и уязвимости.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

126. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Аноним (??) on 18-Окт-12, 18:33 
> Волщебник изумрудного города не иначе, другие ядра значит ДОЛЖНЫ содержать ошибки и
> уязвимости.

Можно сделать тривиальное ядро уровня хелловорлда где багам будет почти негде спрятаться. Просто проблема перекочует в драйвера :)

Ответить | Правка | ^ к родителю #30 | Наверх | Cообщить модератору

174. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от R on 18-Окт-12, 21:56 
> Можно сделать тривиальное ядро уровня хелловорлда где багам будет почти негде спрятаться.
> Просто проблема перекочует в драйвера :)

Hell-о-world ? ;)

Рискну повторить вопрос, заданный чуть выше. А собирать этот "хеловорлд" тоже будем "хеловорлдом" или как?


Ответить | Правка | ^ к родителю #126 | Наверх | Cообщить модератору

182. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Аноним (??) on 18-Окт-12, 22:33 
> Рискну повторить вопрос, заданный чуть выше. А собирать этот "хеловорлд" тоже будем
> "хеловорлдом" или как?

О том кто будет проверять проверяющих каспер подумает как-нибудь потом :)

Ответить | Правка | ^ к родителю #174 | Наверх | Cообщить модератору

31. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Дед Анон on 18-Окт-12, 12:16 
Что-то мало представляется современное оборудование работающее под управлением такой ОС. Одно из двух:
1. Им придётся создать устройство под которым будет работать эта ОС.
2. Они заключат контракт с какой то компанией которая будет производить это оборудование только для них.

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

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

33. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от MarCo email on 18-Окт-12, 12:18 
Замах на рубль. Если можно бало бы написать такую ОС, её давно бы написали. Похоже на блеф с фигой в кармане. Ну для отдельно взятого железа написать с нуля ОС можно, писали же для ЕС ЭВМ, СМ ЭВМ, БЭСМ и т. п.. Но вот, что бы без ошибок... (если не писать её бесконечно долго). А сетевое взаимодействие - тоже с нуля? А BIOS с "безопасной загрузкой"? А ошибки в процессоре?
Ребята, где подвох?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

34. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от mma on 18-Окт-12, 12:19 
"включая драйверы, должно контролироваться ядром и исполняться с низким уровнем привилегий" - И как это реализовать на современных процессорах без существенной потери производительности на вводе-выводе?

Если лаборатория это сделает то будет прорыв.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

72. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Vkni (ok) on 18-Окт-12, 14:04 
> Если лаборатория это сделает то будет прорыв.

Достаточно откопировать L4.

Ответить | Правка | ^ к родителю #34 | Наверх | Cообщить модератору

37. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 12:25 
Написать антивирус, и написать ОС с нуля, очень разные направления, но они обратно зависимые. Проект национальной операционной системы, вот откуда эта идея проекта
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

38. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от АнониМ on 18-Окт-12, 12:25 
Денег у каспера много, опытные люди тоже есть - так что есть шанс что что-нить и сделают, под ограниченный набор железа.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

40. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Boboms (ok) on 18-Окт-12, 12:32 
> ...под ограниченный набор железа.

и ограниченный набор софта и пользователей. Доступ в интернет тоже будет запрещён.

Ответить | Правка | ^ к родителю #38 | Наверх | Cообщить модератору

175. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от R on 18-Окт-12, 21:59 
>> ...под ограниченный набор железа.
> и ограниченный набор софта и пользователей. Доступ в интернет тоже будет запрещён.

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

Ответить | Правка | ^ к родителю #40 | Наверх | Cообщить модератору

232. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 19:19 
Вам действительно нужно подключать контроллер прокатного стана к интернету?
Ответить | Правка | ^ к родителю #40 | Наверх | Cообщить модератору

39. "Лаборатория Касперского подтвердила планы по созданию собств..."  +3 +/
Сообщение от Darth Revan (ok) on 18-Окт-12, 12:27 
> верифицировано средствами, не допускающими существования уязвимостей

Где эти средства найти? Очень хочу.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

44. "Лаборатория Касперского подтвердила планы по созданию собств..."  +6 +/
Сообщение от digg on 18-Окт-12, 12:43 
Все средства в лаборатории касперского и их уже скурили.
:)
Ответить | Правка | ^ к родителю #39 | Наверх | Cообщить модератору

74. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от ... on 18-Окт-12, 14:11 
http://ru.wikipedia.org/wiki/%D0%A4%D0%B...

Формальная верификация существует довольно давно.

Ответить | Правка | ^ к родителю #39 | Наверх | Cообщить модератору

128. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 18:37 
> следует проверить ещё и верификатор, для чего нужен ещё один верификатор и так далее

На третий день Зоркий Глаз заметил что верификатор не верифицирован...

Ответить | Правка | ^ к родителю #74 | Наверх | Cообщить модератору

166. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от ... on 18-Окт-12, 20:19 
Пусть Зоркий Глаз узрит что речь шла не о возможностях автоматической проверки доказательства, но об средствах не допускающих существования уязвимостей. И я считаю что формальную верификацию вполне можно отнести к таким средствам.
Ответить | Правка | ^ к родителю #128 | Наверх | Cообщить модератору

184. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 22:42 
> об средствах не допускающих существования уязвимостей.

Нет, такие средства конечно есть. А баги тем не менее продолжают существовать. Более того, там где отказ систем реально критичен, типа бортовых компьютеров самолетов, предпочитают сделать допущение о том что баги могут быть. И делают так чтобы это не вызывало проблем. Например многократным резервированием и отстрелом заглючившего по принципу "2 из 3" или подобным по смыслу.

Ответить | Правка | ^ к родителю #166 | Наверх | Cообщить модератору

41. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от cijic (ok) on 18-Окт-12, 12:32 
Очень скептически отношусь к этому.
Чтобы одна программа не могла повредить другую доступа от одной к другой быть не должно вообще. Получается у каждого должна быть своя файловая система, свой доступ к интернету и прочее. Единственным компонентом, который может работать с другими частями д.б. ядро, где команды могут только передаваться, но никакого результата получаться. Тогда у нас получится ОС, но очень ограниченная. А оно нам надо?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

45. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от MarCo email on 18-Окт-12, 12:45 
Одна программа - одна ОС. Была токая программа, жутко тормозила и глючила, Windows называлась.
Ответить | Правка | ^ к родителю #41 | Наверх | Cообщить модератору

46. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от cijic (ok) on 18-Окт-12, 12:48 
> Одна программа - одна ОС. Была токая программа, жутко тормозила и глючила,
> Windows называлась.

Так. В ОС Вы не разбираетесь. Ясно.

Ответить | Правка | ^ к родителю #45 | Наверх | Cообщить модератору

73. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Vkni (ok) on 18-Окт-12, 14:05 
> Одна программа - одна ОС.

Такое было и есть, называется VM/370. Только она как раз не тормозит. :-)

Ответить | Правка | ^ к родителю #45 | Наверх | Cообщить модератору

129. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 18:39 
> работать с другими частями д.б. ядро, где команды могут только передаваться,
> но никакого результата получаться. Тогда у нас получится ОС, но очень
> ограниченная. А оно нам надо?

Рутковска в этом плане сделала забавный пепелац из существующих компонентов, разнеся по разным виртуалкам xen-овский dom0, драйвера работающие с сетью, запускаемые программы, UI для них и прочая.

Ответить | Правка | ^ к родителю #41 | Наверх | Cообщить модератору

130. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от cijic (ok) on 18-Окт-12, 18:41 
>> работать с другими частями д.б. ядро, где команды могут только передаваться,
>> но никакого результата получаться. Тогда у нас получится ОС, но очень
>> ограниченная. А оно нам надо?
> Рутковска в этом плане сделала забавный пепелац из существующих компонентов, разнеся по
> разным виртуалкам xen-овский dom0, драйвера работающие с сетью, запускаемые программы,
> UI для них и прочая.

Да, видел, читал, смотрел. Получиться должно было что-то очень безопасное, но между собой не взаимодействующее.

Ответить | Правка | ^ к родителю #129 | Наверх | Cообщить модератору

145. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 19:20 
> Да, видел, читал, смотрел. Получиться должно было что-то очень безопасное, но между
> собой не взаимодействующее.

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

Ответить | Правка | ^ к родителю #130 | Наверх | Cообщить модератору

218. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от sasa (??) on 19-Окт-12, 10:56 
> Очень скептически отношусь к этому.
> Чтобы одна программа не могла повредить другую доступа от одной к другой быть не должно вообще.

Вы слишком буквально все понимаете, идея таких ОС другая

> We understand the complexity of code and policy as the most fundamental security problem
> shared by modern general-purpose operating systems. Because of high functional demands
> and dynamic workloads, however, this complexity cannot be avoided. But it can be organized.

http://en.wikipedia.org/wiki/Capability-based_security

Ответить | Правка | ^ к родителю #41 | Наверх | Cообщить модератору

49. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 12:51 
Каждая программа будет иметь свою песочницу, иными словами весь софт будет переписан согласно требованиям ОС. Для реализации подобной системы, я бы пошел путем разработки сначала одноплатного компьютера. Это подарит независимость от производителей железа, в плане внедрения необходимых аппаратных компонентов, если таковы будут нужны. Более того как показала практика разработать одноплатный компьютер по доступной цене и с необходимой функциональностью возможно. Но нужно сначала доказать что данный подход откупает себя м выполняет поставленные задачи. А на данный момент этот только желание, а точнее теория и не более того
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

50. "Лаборатория Касперского подтвердила планы по созданию собств..."  +3 +/
Сообщение от Аноним email(??) on 18-Окт-12, 13:03 
Ребятки походу набрели ночью на страничку Сингулярити и вкурили. Молодца.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

160. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 19:44 
Inferno, вы хотели сказать?
Ответить | Правка | ^ к родителю #50 | Наверх | Cообщить модератору

54. "Лаборатория Касперского подтвердила планы по созданию собств..."  +4 +/
Сообщение от jOKer (ok) on 18-Окт-12, 13:12 
>ОС не может быть основана на каком-то уже существующем программном коде

Возможно, хотя очень дорого. Ну или (как вариант) слишком большой срок разработки

>В целях гарантии безопасности она не должна содержать ошибок и уязвимостей в ядре

Глюк. Баги есть и будут всегда. Человеческий фактор, ибо


>Ядро должно содержать критический минимум кода

Кэп сообщает что идея не нова

>максимальное возможное количество кода, включая драйверы, должно контролироваться ядром и исполняться с низким уровнем привилегий

Есть мнение, что не зная кода дровишек, это, - как бы сказать? - сложновато. Слегка.

>В ОС должна присутствовать мощная и надежная система защиты, поддерживающая различные модели безопасности

Общие слова и ничего более. И, да: а чем не по нраву SELinux? Тем что слово "Linux" присутствует?

Короч, лично мое имхо мне говорит что этот выс###р не стоит своего места в новостях.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

60. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 13:35 
Касперский как бы намекает, что QNX не нужна. Дружно ответим ему: "твоя ось не нужна".
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

61. "Лаборатория Касперского подтвердила планы по созданию собств..."  –3 +/
Сообщение от Аноним (??) on 18-Окт-12, 13:40 
> Евгений Касперский опубликовал в своём блоге заметку, в которой поверхностно рассказал о работе по созданию новой операционной системы, нацеленной на обеспечение безопасности критически важных информационных систем.

А критически важные информационные системы как работали на win98, так и будут работать. Те же SCADA под другие оси и не выпускаются (по крайней мере, так сименс отвечает России).

Новость в целом - очевидно, брехня и пиар, в стиле космонавта. Либо это тихо сойдет на нет, либо сделают для отмазки очередной болгенос.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

64. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 13:54 
Интересно, на чем писать будут. Явно не С и не С++
АТС?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

65. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Boboms (ok) on 18-Окт-12, 13:56 
ВижуалКаспер.
Ответить | Правка | ^ к родителю #64 | Наверх | Cообщить модератору

71. "Лаборатория Касперского подтвердила планы по созданию собств..."  +5 +/
Сообщение от Аноним (??) on 18-Окт-12, 14:03 
> В целях гарантии безопасности она не должна содержать ошибок и уязвимостей в ядре

Ох щи... *поднялся со стола* это как вообще ? Уязвимость были, есть и будут всегда. Дядя Касперский на плесени сидит видимо ибо под грибами такое в голову не придет.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

76. "Лаборатория Касперского подтвердила планы по созданию собств..."  +9 +/
Сообщение от ShturmN email(ok) on 18-Окт-12, 14:34 
В давнем споре "кто первый напишет свою ОС, ACDSee или Nero" неожиданно победил Касперский.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

78. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от baz (??) on 18-Окт-12, 14:40 
пока одни хотят пилить что-то заоблачное, другие пробуют существующее, например Qubes
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

79. "Лаборатория Касперского подтвердила планы по созданию собств..."  –3 +/
Сообщение от DmA email(??) on 18-Окт-12, 14:41 
он хочет сделать ОС, для которой только он написать антивирус :) похоже ему сильно надоели вирусы ,сняться уже наверно который год. Он хочет убить Билла за создание Виндовс...
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

82. "Лаборатория Касперского подтвердила планы по созданию собств..."  +4 +/
Сообщение от Аноним (??) on 18-Окт-12, 14:47 
> Он хочет убить Билла за создание Виндовс...

Да он на него молится. Кто же захочет отрубить руку, которая его кормит?
ЗЫ ОС Касперского будет начинена вирусами искаробки, чтобы антивирусу было чем заняться.

Ответить | Правка | ^ к родителю #79 | Наверх | Cообщить модератору

81. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 14:43 
Судя по тому, что Касперский всю жизнь занимался ловлей блох в винде, стоит ожидать что-то типа РеактОС. Касперос_РекталОС®‎.
...И не знаю, что это будет за ОС, но антивирус там точно будет. И я даже могу угадать какой.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

132. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 18:42 
> ...И не знаю, что это будет за ОС, но антивирус там точно
> будет. И я даже могу угадать какой.

Вот только нафига оси без багов антивирус? :)

Ответить | Правка | ^ к родителю #81 | Наверх | Cообщить модератору

83. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от DmA email(??) on 18-Окт-12, 14:52 
в базах Касперского 8 миллионов сигнатур , если они создавались в течении 10 лет , то получится по 2000 вирусов в день в среднем... . Если 20 лет, то по тысяче вирусов.  Пусть Касперский издаст книгу -как обнаружить и вылечить вирус своими руками, цены не будет этой книге для сисадминов!Не нужно будет ждать ,когда выпустят антивирус.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

85. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 14:57 
Отличная идея, думаю, это можно ожидать в скором времени. Как только Гейтс откроет код винды, а фотошоп станет бесплатным.
Ответить | Правка | ^ к родителю #83 | Наверх | Cообщить модератору

93. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от YetAnotherOnanym on 18-Окт-12, 15:44 
Во многих случаях обнаружить вирус без поделий Касперского не так уж и сложно. Загружаемся с LiveCD/LiveUSB, открываем на чтение файлы реестра - мест, где прописываются вирусы, не так уж и много, просматриваем все, находим файлик, на который указывает запись в реестре. В 2007 я так выцепил вирус нулевого дня (на virusscan.jotti.org никем не распознавался, к вечеру у некоторых уже был у сигнатурах).
Ответить | Правка | ^ к родителю #85 | Наверх | Cообщить модератору

133. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 18:44 
> Касперский издаст книгу -как обнаружить и вылечить вирус своими руками,

А смысл? У 99% хомяков квалификации не хватит вышибить злобные экспонаты. А остальным 1% эта книга и так нафиг не нужна.

Ответить | Правка | ^ к родителю #83 | Наверх | Cообщить модератору

88. "Лаборатория Касперского подтвердила планы по созданию собств..."  +5 +/
Сообщение от dddd on 18-Окт-12, 15:07 
Вангую:
1. Исходники Kaspersky OS улетели в Сеть.
2. В Kaspersky OS обнаружена серьёзная уязвимость.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

89. "Лаборатория Касперского подтвердила планы по созданию собств..."  +4 +/
Сообщение от Buy (ok) on 18-Окт-12, 15:12 
> ОС не может быть основана на каком-то уже существующем программном коде
> Технические детали проекта пока держатся в секрете

Касперский пишет проприетарную ось. Какое отношение у всего этого к opensource и открытым технологиям?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

91. "Лаборатория Касперского подтвердила планы по созданию собств..."  +5 +/
Сообщение от Ярослав (??) on 18-Окт-12, 15:31 
Специально посмотрел на календарь, думал 1-е апреля...
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

92. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Boboms (ok) on 18-Окт-12, 15:33 
> Специально посмотрел на календарь, думал 1-е апреля...

Предполагаю, что выбор "праздника" пал на 1-е апреля некорректно. Осенью обострения проходят жёстче.

Ответить | Правка | ^ к родителю #91 | Наверх | Cообщить модератору

95. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Alex (??) on 18-Окт-12, 15:58 
А UNIX на что??
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

171. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от nuclight (??) on 18-Окт-12, 21:21 
А Unix нам зачем7 Он лучше Лексикона?.. (с)
Ответить | Правка | ^ к родителю #95 | Наверх | Cообщить модератору

96. "Лаборатория Касперского подтвердила планы по созданию собств..."  –4 +/
Сообщение от Сейд (ok) on 18-Окт-12, 16:06 
Мне кажется, что некоторые комментаторы не правы, очень скептически относясь к этому. Очень многие (почти все) необычные идеи на первоначальном этапе не находили понимания у неосведомлённой публики.
Система, к тому же, будет создаваться не на наши деньги.
Ну, будут каке-нибудь насосы управляться этой операционной системой. Значит, надо подумать, почему же там не GNU/Линукс.

Разнообразие доставляет удовольствие (ФЕДР).

Хотя тут какой-то подозрительный замысел наверняка имеется.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

114. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Пиу on 18-Окт-12, 17:20 
>необычные идеи

где тут необычная идея? может тут есть какой-то суперметод/суперпринцип написания защищенной ОС?

Ответить | Правка | ^ к родителю #96 | Наверх | Cообщить модератору

118. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Сейд (ok) on 18-Окт-12, 17:41 
Вы путаете идею и принцип.

Иде́я в широком смысле — мысленный прообраз какого-либо предмета.
Принцип — руководящее положение.

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

Ответить | Правка | ^ к родителю #114 | Наверх | Cообщить модератору

135. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 18:45 
> Создание компанией собственной операционной системы — это необычно.

Да ладно, синдром NIH кусает всех и каждого.

Ответить | Правка | ^ к родителю #118 | Наверх | Cообщить модератору

139. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Сейд (ok) on 18-Окт-12, 19:00 
Ну и что? Кто из комментаторов пострадает от этих планов?
Ответить | Правка | ^ к родителю #135 | Наверх | Cообщить модератору

147. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 19:23 
> Ну и что? Кто из комментаторов пострадает от этих планов?

Ну если на это будут спущены налоги комментаторов а выхлоп будет неочевиден - комментаторы, очевидно, несколько пострадают. Если ему это готовы оплатить сугубо какие-то коммерческие сущности - пусть хоть обкодится, мне не жалко.

Ответить | Правка | ^ к родителю #139 | Наверх | Cообщить модератору

162. "Лаборатория Касперского подтвердила планы по созданию собств..."  –2 +/
Сообщение от Сейд (ok) on 18-Окт-12, 20:04 
Ну так пусть ругают тех, кто распоряжается вашими налогами, а не компанию в сфере информационной безопасности. Но неужели ваше государство станет тратить деньги налогоплательщиков на поддержку проекта владельца международной группы компаний, которая осуществляет свою деятельность более чем в 200 странах и территориях мира? Если так, то оно должно поставить ему определённые условия.
Ответить | Правка | ^ к родителю #147 | Наверх | Cообщить модератору

186. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Аноним (??) on 18-Окт-12, 22:44 
> Ну так пусть ругают тех, кто распоряжается вашими налогами, а не компанию
> в сфере информационной безопасности.

Ну так каспер похоже решил просто фигурно примазаться к какому-то гранту или распилу. Т.к. антивирусная контора которая вдруг очертя голову бросилась писать свою ОС с нуля - довольно странное зрелище.

Ответить | Правка | ^ к родителю #162 | Наверх | Cообщить модератору

134. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Боря on 18-Окт-12, 18:45 
>Мне кажется, что некоторые комментаторы не правы, очень скептически относясь к этому. Очень многие (почти все) необычные идеи на первоначальном этапе не находили понимания у неосведомлённой публики.

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

Ответить | Правка | ^ к родителю #96 | Наверх | Cообщить модератору

140. "Лаборатория Касперского подтвердила планы по созданию собств..."  –2 +/
Сообщение от Сейд (ok) on 18-Окт-12, 19:02 
Невозможность — мать возможного.
Ответить | Правка | ^ к родителю #134 | Наверх | Cообщить модератору

154. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Аноним (??) on 18-Окт-12, 19:28 
> Невозможность — мать возможного.

Ну так айда, газуй строить коммунизм, если тебе 70 лет въе чтобы потом посмотреть как все загнется - не проблема.

Ответить | Правка | ^ к родителю #140 | Наверх | Cообщить модератору

163. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Сейд (ok) on 18-Окт-12, 20:08 
Ахаха! Казалось бы, при чём коммунизм к операционной системе… Негодование анонима такое забавное. Кстати, при коммунизме какая операционная система будет наиболее распространена?
Ответить | Правка | ^ к родителю #154 | Наверх | Cообщить модератору

176. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от R on 18-Окт-12, 22:12 
> Ахаха! Казалось бы, при чём коммунизм к операционной системе… Негодование анонима
> такое забавное. Кстати, при коммунизме какая операционная система будет наиболее распространена?

Скорее всего - никакая. При коммунизме операционные системы будут не нужны ;)


Ответить | Правка | ^ к родителю #163 | Наверх | Cообщить модератору

185. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Сейд (ok) on 18-Окт-12, 22:43 
Я тоже так думаю. Всё уйдёт в облака и тучи ;)
Ответить | Правка | ^ к родителю #176 | Наверх | Cообщить модератору

191. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 00:05 
> Очень многие (почти все) необычные идеи на первоначальном этапе

все необычные идеи на начальном этапе так и остались на начальном этапе

Ответить | Правка | ^ к родителю #96 | Наверх | Cообщить модератору

98. "Лаборатория Касперского подтвердила планы по созданию собств..."  –2 +/
Сообщение от Аноним (??) on 18-Окт-12, 16:17 
Всего то форкунуть Linux...
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

179. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от R on 18-Окт-12, 22:14 
> Всего то форкунуть Linux...

Не, не получится - лицензия не подходящая. Закрыть не получится, а если GPL использовать - то дешевле присоединиться к разработке, чем форкать.

Ответить | Правка | ^ к родителю #98 | Наверх | Cообщить модератору

256. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от vle email(ok) on 21-Окт-12, 20:52 
> Всего то форкунуть Linux...

http://grsecurity.net/

Ответить | Правка | ^ к родителю #98 | Наверх | Cообщить модератору

99. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от taliano (ok) on 18-Окт-12, 16:19 
Раз эта новость опубликована на опеннете, то ось от касперского будет опенсорсной, не?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

102. "Лаборатория Касперского подтвердила планы по созданию собств..."  –3 +/
Сообщение от анонимус (??) on 18-Окт-12, 16:27 
проект нужный. такая ОС в отечественном исполнении в скором времени будет очень востребована в нашей стране. и если он будет разрабатываться Лабораторией Касперского я только ЗА. Уж кому, как не ему, знать про ИБ и СЗИ (чтобы не говорили хомячки, считающие себя умнее Касперского).
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

105. "Лаборатория Касперского подтвердила планы по созданию собств..."  +4 +/
Сообщение от Аноним (??) on 18-Окт-12, 16:48 
> будет очень востребована в нашей стране

Это да, народные денюжки сами себя не попилют.

Ответить | Правка | ^ к родителю #102 | Наверх | Cообщить модератору

193. "Лаборатория Касперского подтвердила планы по созданию собств..."  –2 +/
Сообщение от анонимус (??) on 19-Окт-12, 00:16 
>> будет очень востребована в нашей стране
> Это да, народные денюжки сами себя не попилют.

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

Ответить | Правка | ^ к родителю #105 | Наверх | Cообщить модератору

108. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Boboms (ok) on 18-Окт-12, 16:59 
> проект нужный. такая ОС в отечественном исполнении в скором времени будет очень
> востребована в нашей стране. и если он будет разрабатываться Лабораторией Касперского
> я только ЗА. Уж кому, как не ему, знать про ИБ
> и СЗИ (чтобы не говорили хомячки, считающие себя умнее Касперского).

Знать мало. Надо еще уметь делать. Алгоритмы много кто знает, а что толку?

Пока прикладной софт в виде антивируса этой лаборатории вызывает некислое торможение системы в целом. Даже доктору фору даст. Это по факту.

Ответить | Правка | ^ к родителю #102 | Наверх | Cообщить модератору

192. "Лаборатория Касперского подтвердила планы по созданию собств..."  –3 +/
Сообщение от анонимус (??) on 19-Окт-12, 00:11 
вот уж не надо "ля ля" по поводу некислого торможения - вы наговариваете. Даже у KIS отличная скорость работы и при этом защита одна из самых лучших. Проверено временем и компами знакомых, где стояли другие антивири.
Ответить | Правка | ^ к родителю #108 | Наверх | Cообщить модератору

213. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от тоже Аноним (ok) on 19-Окт-12, 10:36 
У ваших знакомых просто геймерские компьютеры. На них что угодно будет отлично работать.
На конторских же Каспер - предмет постоянной ненависти оператора.
Ответить | Правка | ^ к родителю #192 | Наверх | Cообщить модератору

254. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Boboms (ok) on 21-Окт-12, 09:14 
> У ваших знакомых просто геймерские компьютеры. На них что угодно будет отлично
> работать.
> На конторских же Каспер - предмет постоянной ненависти оператора.

Не помогает и геймерский. Вернее он то помогает, но превращать Core i(2)7 4ГэГэцы в Pentium Mobile как-то не хочется.

Ответить | Правка | ^ к родителю #213 | Наверх | Cообщить модератору

103. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от zzz (??) on 18-Окт-12, 16:30 
а в реале будет какая нибудь хрень для венды - 98%
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

104. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Аноним (??) on 18-Окт-12, 16:43 
Врешь ведь, 146%.
Ответить | Правка | ^ к родителю #103 | Наверх | Cообщить модератору

107. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Анонимчег on 18-Окт-12, 16:54 
А разве не "Касперский 8" 6 ноября приезжает рекламировать Стиви?
Ответить | Правка | ^ к родителю #104 | Наверх | Cообщить модератору

106. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Анонимчег on 18-Окт-12, 16:53 
Касперский ОС -
Это единственная ОС которая будет целенаправленно ловить вирусы.
Это единственная ОС которая бекапится на 2 мб дискетке.
Это единственная ОС которая будет запрещать лайфСД с доктором вэбом.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

150. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 19:25 
> Это единственная ОС которая бекапится на 2 мб дискетке.

Осталось только такие дискетки найти.

Ответить | Правка | ^ к родителю #106 | Наверх | Cообщить модератору

188. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от ffirefox on 18-Окт-12, 22:59 
> Осталось только такие дискетки найти.

Эх молодежь... Если обычную дискетку правильно форматнуть, то туда и больше влезет. (Привет всем, кто писал под WDC1793 (КР1818ВГ93)). А ведь были еще и HD2 дискеты на 2.88Mb. Правда, они вымерли так и не родившись.


Ответить | Правка | ^ к родителю #150 | Наверх | Cообщить модератору

194. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от анонимус (??) on 19-Окт-12, 00:20 
ха-ха, вы бы еще вспомнили как флоппиком музыку проигрывали ;)
Ответить | Правка | ^ к родителю #188 | Наверх | Cообщить модератору

215. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от тоже Аноним (ok) on 19-Окт-12, 10:40 
Музыка - это баловство. Флоп на 5,25" и так штука громкая, только музыки не хватало.
А вот 900.com в автозагрузке - это обязательно!
Ответить | Правка | ^ к родителю #194 | Наверх | Cообщить модератору

250. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Michael Shigorin email(ok) on 20-Окт-12, 14:36 
> ха-ха, вы бы еще вспомнили как флоппиком музыку проигрывали ;)

И ведь вспомним: http://www.youtube.com/watch?v=dmoDLyiQYKw :)

Ответить | Правка | ^ к родителю #194 | Наверх | Cообщить модератору

240. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 22:32 
> Эх молодежь... Если обычную дискетку правильно форматнуть, то туда и больше влезет.

На стандартном IBMовском контроллере самый край получалось 1.88Мб (или 1.86) кажется.

> (Привет всем, кто писал под WDC1793 (КР1818ВГ93)).

Ну я лично его не программил но видел утилитку 2M которая довольно изощренно переколбашивала размещение секторов на дискетах так что в сумме емкость могла достичь чего-то типа 1.88Мб. Но это лютый нестандарт с чтением которого были проблемы + надежность чтения хромала, так что на другом флопповоде могло и не прочитаться уже. Что сильно снижало ценность технологии.

> А ведь были еще и HD2 дискеты на 2.88Mb.

Только было легче найти моржа в пустыне Сахара чем флопповод на данный формат.

> Правда, они вымерли так и не родившись.

Да уж. Сколь-нибудь массовыми после 1.44 стали LS-120 и ZIP-100 с "дискетками" на 120 и 100 Мб, но это были довольно редкие экспонаты. Я такие даже несколько раз видел в отличие от 2.88Мб флопповодов.

Ответить | Правка | ^ к родителю #188 | Наверх | Cообщить модератору

112. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 17:14 
А как же Линукс-несовместимый Линукс (на основе Генты)? По требованиям совсем не подошёл.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

115. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 17:24 
>> В целях гарантии безопасности она не должна содержать ошибок и уязвимостей в ядре

блин, мужики, как мы раньше до этого не додумались?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

149. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Аноним (??) on 18-Окт-12, 19:25 
> блин, мужики, как мы раньше до этого не додумались?

Великий Каспер - светоч коммуни^W капитализма.

Ответить | Правка | ^ к родителю #115 | Наверх | Cообщить модератору

127. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от frewq on 18-Окт-12, 18:36 
http://en.wikipedia.org/wiki/Singularity_(operating_system) - там тоже была предпринята попытка верификации:

Protection in this system is provided by a set of rules called invariants that are verified by static analysis.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

161. "Лаборатория Касперского подтвердила планы по созданию собств..."  +2 +/
Сообщение от Аноним (??) on 18-Окт-12, 19:53 
статический анализ ловит далеко не все типы проблем

также, сингулярити это во многом повторение пройденного в Inferno

Ответить | Правка | ^ к родителю #127 | Наверх | Cообщить модератору

131. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Pretender78 on 18-Окт-12, 18:41 
Касперский хочет стать еще одним Лениным :-)
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

137. "Лаборатория Касперского подтвердила планы по созданию собств..."  –2 +/
Сообщение от Аноним (??) on 18-Окт-12, 18:47 
Побольше ОС, красивых и разных...не понятно зачем, но людям же не доказать, что лучше. Сколько людей, столько и мнений. Во  только интересно, какое ядро ОС будут делать, случайно не микроядерное?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

142. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 18-Окт-12, 19:13 
Самая большая проблема сверхзащищенных ОС - это железо. Чтобы был профит от сверх-простой (и от этого защищенной и безбаговой) архитектуры, железо должно быть таким же простым, чего в реальности не наблюдается.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

152. "Лаборатория Касперского подтвердила планы по созданию собств..."  +5 +/
Сообщение от кэп on 18-Окт-12, 19:27 
просто Касперский решил использовать инновационный нанометод написания безбажных программ - сразу писать без багов
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

206. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от Аноним (??) on 19-Окт-12, 06:57 
Пусть назовёт "ДРУЖБА-2" - тоже ведь был великий инструмент попилить чего нить :)
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

214. "Лаборатория Касперского подтвердила планы по созданию собств..."  –1 +/
Сообщение от Аноним (??) on 19-Окт-12, 10:38 
Очевидно Касперский имеет в виду нечто подобное CureIt, только обвес у него будет свой. Ну, даже если представить себе десктопную ось от Касперского, то это может иметь успех в будущем, ведь у многох пользователей Касперский == сверх надежность. А вы не знали?
Тут пошел спор на счет драйверов и их надежности, а вы знаете, что для пользователя не существует такого понятия как "надежность ПО"? Пользователь во всех глюках винит непосредственно сам компьютер. Тормозит что-то - компьютер слабый, надо брать новый. Выбить это из головы пользователя невозможно.
Успехов Касперскому, ибо мне очень нравится глумиться над баранами.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

217. "Лаборатория Касперского подтвердила планы по созданию АкронисЦД"  +/
Сообщение от Andrey Mitrofanov on 19-Окт-12, 10:46 
> Очевидно Касперский имеет в виду нечто подобное CureIt, только

- ОС не может быть основана на каком-то уже существующем программном коде Уиндоуз, поэтому должна быть цельнотянута с kernel.org.

+++Фэнтэзи-фест "а что он имел в виду" объявляю открытым!

Ответить | Правка | ^ к родителю #214 | Наверх | Cообщить модератору

216. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от anonim on 19-Окт-12, 10:43 
Касперский изобрёл "антивирус" для систем АСУТП. Винда-то загибается потихоньку и защищать становится нечего.

Ключевые фразы из статьи:

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

Решение:
"Фактически речь идет об интеллектуальной системе противоаварийной защиты нового поколения. Системе защиты, учитывающей весь комплекс показателей предприятия сразу. Системе защиты, не позволяющей привести к аварии ни в результате неправильных действий оператора, ни в результате ошибок в ПО АСУТП, ни в результате кибератак. Помимо прочего, такая система сможет дополнить традиционные средства ПАЗ, что позволит отслеживать более сложные и комплексные сценарии происходящего.
Такое решение должно встраиваться в уже существующие АСУТП с целью их защиты и обеспечения достоверного мониторинга или учитываться при проектировании новых АСУТП – и в том, и в другом случае обеспечивая применение современных принципов безопасности."


Напоминает проблему "дыр" в винде и вместо их залатывания ставится система-страж "дыр" для вылавливания 70-80% пытающихся проскочить гадостей. В общем для тех, кто не "займутся тотальной проверкой и обновлением всего используемого ими ПО" нужно будет подумать "об интеллектуальной системе противоаварийной защиты нового поколения". Не бесплатно естественно.


Настоящее же решение проблемы состоит не в борьбе с  последствиями, а в устранении причины, то есть "дыр" и ошибок. То есть берётся существующее ПО, например GNU/Linux и OpenSCADA, создаются подрезанные версии с необходимой функциональностью, анализируется исходный код (которого уже не так много, как в полной версии), устраняются уязвимости, свободно распространяются доработки, система внедряется и в ремонтных перерывах обновляется из надёжного источника. Деньги можно заработать на поддержке такого специализированного дистрибутива и собственно разработке систем АСУТП, так как всегда будут 90% людей недостаточно разбирающихся в сложных системах или желающих новой функциональности. Сокрытие исходного кода (да и любой информации) в целях получения прибыли устарело.

Контроль параметров, действий оператора, сигнализацию при выходе значений за допустимые границы и коррекцию действий нужно предусматривать в любых системах АСУТП ещё при проектировании или при модернизации. Вместо установки параллельной контролирующей системы лучше произвести дублирование той же полнофункциональной системы для повышения надёжности (получаем две или даже три системы, контролирующие и резервирующие друг друга).

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

229. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 16:01 
>  учитывающей весь комплекс показателей предприятия сразу

прерываний учетчика хватит?
> обеспечения достоверного мониторинга

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

по-моему, дублирование позволяет удвоить ненадежность..
>> То есть берётся существующее ПО, например GNU/Linux и OpenSCADA, создаются подрезанные версии с необходимой функциональностью, анализируется исходный код (которого уже не так много, как в полной версии)

то есть подрезанные версии создаются без анализа кода? копипастом чтоли?
>> Контроль параметров, действий оператора

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


Ответить | Правка | ^ к родителю #216 | Наверх | Cообщить модератору

230. "Лаборатория Касперского подтвердила планы по созданию собств..."  +1 +/
Сообщение от тоже Аноним (ok) on 19-Окт-12, 17:05 
> по-моему, дублирование позволяет удвоить ненадежность..

Логику дублирования проходят на физике классе так в шестом: при включении лампочек последовательно перегорает одна - гаснут обе, при включении параллельно...

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

Ответить | Правка | ^ к родителю #229 | Наверх | Cообщить модератору

231. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 19:16 
> Логику дублирования проходят на физике классе так в шестом: при включении лампочек последовательно перегорает одна - гаснут обе, при включении параллельно...

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

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

Ответить | Правка | ^ к родителю #230 | Наверх | Cообщить модератору

234. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от тоже Аноним email(ok) on 19-Окт-12, 21:00 
Ответ на первый вопрос можно было получить все в том же шестом классе. Реально двух одинаковых, до неразличимости, условий в жизни просто не бывает. Например, из двух собранных одинаково (из одинаковых комплектующих одной партии) системников один может всю жизнь прокочевать по сервисам, второй - работать годами без всяких сбоев.
Если первый как раз будет обслуживать критически важную секцию - хуже от того, что рядом то же самое будет делать второй, не будет.
Ответить | Правка | ^ к родителю #231 | Наверх | Cообщить модератору

236. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 21:33 
> Если первый как раз будет обслуживать критически важную секцию - хуже от
> того, что рядом то же самое будет делать второй, не будет.

ну, раз хуже не будет, внедряйте конечно


Ответить | Правка | ^ к родителю #234 | Наверх | Cообщить модератору

251. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Michael Shigorin email(ok) on 20-Окт-12, 14:41 
> лампочки единой конструкции, включенные параллельно в идентичных цепях при едином факторе
> сгорят за компанию, разве нет?

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

Ответить | Правка | ^ к родителю #231 | Наверх | Cообщить модератору

235. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 21:03 
ps. система дифуравнений, в цикле проверяющая свои аргументы - показатели контрольных точек согласно матописанию, ну зачем дублирование? неизящно же..
Ответить | Правка | ^ к родителю #230 | Наверх | Cообщить модератору

241. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 22:35 
> согласно матописанию, ну зачем дублирование? неизящно же..

Обычно там где нужна совсем уж надежность, настолько что жаба не давит - используют штуки три девайсов запрограммленых совершенно по разному. При несовпадении вычислений отстрел виновника по принципу "2 из 3" или похожему по смыслу. Это лечит все. И глюки оборудования. И сбои программ. И что там еще. Но это дорого и геморно и применяется только там где иначе ну совсем никак, а масштаб возможного факапа оправдывает затраты.

Ответить | Правка | ^ к родителю #235 | Наверх | Cообщить модератору

243. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 20-Окт-12, 00:11 
спасибо, дошло. как-то не подумал за оборонку в контексте новости.
Ответить | Правка | ^ к родителю #241 | Наверх | Cообщить модератору

219. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Boboms (ok) on 19-Окт-12, 11:31 
От дятлов для дятлов:
http://www.youtube.com/watch?feature=endscreen&NR=1&v=OmPFNu...

No comments...

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

242. "Лаборатория Касперского подтвердила планы по созданию собств..."  +/
Сообщение от Аноним (??) on 19-Окт-12, 22:40 
Ну не для дятлов, но за кого считают пользователя вполне показано :)
Ответить | Правка | ^ к родителю #219 | Наверх | Cообщить модератору

252. "Лаборатория Касперского подтвердила планы по созданию..."  +/
Сообщение от arisu (ok) on 20-Окт-12, 23:05 
дяденька коцаперский в очередной раз хорошо упоролся и понёс бред в массы.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру