|
| 1.2, Аноним (-), 12:05, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]
| –29 +/– |
На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.
| | |
| |
| 2.3, Andrey Mitrofanov (?), 12:08, 05/04/2016 [^] [^^] [^^^] [ответить]
| +13 +/– | |
> На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.
Чё не так-то?? Майкрософт танцует. Отдел маркетинга потеет. Всё трендово.
| | |
| 2.4, Аноним (-), 12:08, 05/04/2016 [^] [^^] [^^^] [ответить]
| +6 +/– |
Вы разбираетесь в данной теме?Посоветуйте пожалуйста, что можно почитать по теме новичку.
| | |
| |
| |
| |
| 5.49, Очередной аноним (?), 08:30, 06/04/2016 [^] [^^] [^^^] [ответить]
| –2 +/– |
а зачем знать - тут разрабатывать собираются, т.е. можно и с нуля попробовать, нахватавшись лучших идей из имеющегося. Еще про микроядра и всякие QNX'ы можно холивар развести. Особенно в свете того что раньше в мире (не знаю как сейчас) QNX крепко использовался в управлении систем нефте/химической промышленности и др. сложных и опасных производствах (у нас на металлургическом заводе когда-то использовалось, еще QNX4)
| | |
|
| 4.36, Crazy Alex (ok), 19:03, 05/04/2016 [^] [^^] [^^^] [ответить]
| +5 +/– |
 Всё это красивая болтовня. А в реальных высоконадёжных системах полагаются на дублирование компонент, работающих на разных принципах, и на проектирование, при октором в случае отказа чего-либо остальныевы элементы выходят в более-менее безопасное состояние.
А математические доказательства корректности, во-первых, проходят только для крайне простого кода, а во-вторых держатся на предположении о корректности специфиакации.
| | |
| |
| |
| 6.43, Вареник (?), 00:00, 06/04/2016 [^] [^^] [^^^] [ответить]
| +2 +/– | |
Во-первых, верифицируются микроядра и изолируемые компоненты.
Т.е. моноблочная 70-мегабайтная простыня имени Линуса пролетает автоматом. В ней даже обычный статистический анализатор кучу всего находит.
Во-вторых, ОС - это вещь в себе, не реализующая критически важной прикладухи. ОС может быть математически верифицирована, а в прикладной части вы имеете деградирующие компоненты, горячие частицы (даже fault tolerant архитектуры имеют пределы, может "удачно" завалиться), глюки и погрешности сенсоров, абстрактность и упрощение мобели регулируемой системы.
Если у вас в руках надежный безотказный (математически верифицированный) нож - это не значит что он вас гарантированно спасет в джунглях (открытая система - реальный мир).
| | |
|
| 5.62, bOOster (ok), 06:14, 13/04/2016 [^] [^^] [^^^] [ответить]
| –1 +/– |
 > Всё это красивая болтовня. А в реальных высоконадёжных системах полагаются на дублирование
> компонент, работающих на разных принципах, и на проектирование, при октором в
> случае отказа чего-либо остальныевы элементы выходят в более-менее безопасное состояние.
Ну и повсеместные проверки состояний, исполнений, результатов даже в ущерб производительности. Линуксовый же подход и их "гордость" в 99% случаев выпиливание данных проверок в угоду производительности со словами - да нах они нужны? Все равно в 99%!!! случаев не работают.
facepalm
| | |
|
| 4.61, bOOster (ok), 06:09, 13/04/2016 [^] [^^] [^^^] [ответить]
| +/– |
Треп пустой. Кто-то диссертацию защитил. Кроме академической - никакой ценности не имеет.
| | |
|
|
| 2.8, Аноним (-), 12:42, 05/04/2016 [^] [^^] [^^^] [ответить]
| +/– |
Естественно, в них обязательно должен быть крайний, конкретный которого потом разопнут или обанкротят, иначе нельзя.
p.s. Я бы очень хотел что-бы было всё по человечески, только человеков для начала надо переделать, а в коммерческом мире всё определяет стоимость страховки от "если вдруг что не так пошло"
| | |
| 2.9, Анонимизатор (?), 12:43, 05/04/2016 [^] [^^] [^^^] [ответить]
| +/– |
Угу. Слишком сложное для сабжевой задачи. В самом ядре все баги отловить нереально, т е оно становится слабым местом изначально.
| | |
| 2.15, Аноним (-), 14:27, 05/04/2016 [^] [^^] [^^^] [ответить]
| +/– |
Не надо нас учить своим очистительным клизмам. А ядро в любой момент можно будет поменять на qunix
| | |
| |
| |
| 4.18, Andrey Mitrofanov (?), 14:31, 05/04/2016 [^] [^^] [^^^] [ответить]
| +/– |
>> можно будет поменять на qunix
> На куда, простите?
QNX (/ˌkjuː ˌɛn ˈɛks/ or /ˈkjuːnᵻks/) is a commercial Unix-like real-time operating system, aimed primarily at.
| | |
| |
| 5.19, Michael Shigorin (ok), 15:04, 05/04/2016 [^] [^^] [^^^] [ответить]
| +2 +/– |
 >>> можно будет поменять на qunix
>> На куда, простите?
> QNX
Так это другие буковки. :)
PS: да и с заменой юзерспейса лёгким взмахом ре... руки человек явно погорячился.
| | |
| |
| |
| 7.28, RomanCh (ok), 16:53, 05/04/2016 [^] [^^] [^^^] [ответить]
| +1 +/– |
 > Qunix is a Unix-like system built in PHP
ЙОШКЕН КОТ!!11...
> Образец как оно работает: (:-)))
Ну как должно будучи на PHP написано, так и работает.
| | |
| 7.47, невидимка (?), 04:29, 06/04/2016 [^] [^^] [^^^] [ответить]
| +/– | |
>Unable to connect to database server
Ага, точно работает. Только ответ, не тот что нужно =)
| | |
|
|
|
|
|
| 2.16, Michael Shigorin (ok), 14:28, 05/04/2016 [^] [^^] [^^^] [ответить]
| +/– | |
> На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.
Всё познаётся в сравнении. Помните Code Red?
| | |
| |
| 3.34, none_first (ok), 17:50, 05/04/2016 [^] [^^] [^^^] [ответить]
| +1 +/– |
 >> На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.
> Всё познаётся в сравнении. Помните Code Red?
я даже застал всю это красоту (нимду тоже) в действии, ИТ пачками выдергивало серваки из сетки :)
супернадежная в2к показала всем - "как надо"
| | |
| |
| 4.39, Michael Shigorin (ok), 19:40, 05/04/2016 [^] [^^] [^^^] [ответить]
| +/– |
>>> Высоконадёжные системы создаются совсем иначе.
>> Всё познаётся в сравнении.
> супернадежная в2к показала всем - "как надо"
Ну человек наверняка имел-то в виду совсем не винду, а намёкивал на специализированные даже не системы, а методы (непонятно, один писал, двое или более). Да только в "цивилизациях" они сильно невыгодней надувания биржевых пузырей и подобной наркомании, такая вот штука.
| | |
| |
| 5.51, nbw (ok), 09:46, 06/04/2016 [^] [^^] [^^^] [ответить]
| +1 +/– |
 > в "цивилизациях" они сильно невыгодней надувания биржевых
> пузырей и подобной наркомании, такая вот штука.
При всём уважении к вашей точке зрения, подавляющая часть IT-культуры - таки продукт презренных "цивилизаций" (тех, которые с биржевыми пузырями и прочей наркоманией). Пусть местами и _говно_продукт, но, тем не менее, двигающий прогресс вперёд.
| | |
| |
| 6.57, Michael Shigorin (ok), 17:32, 06/04/2016 [^] [^^] [^^^] [ответить]
| –1 +/– | |
> подавляющая часть IT-культуры - таки продукт презренных "цивилизаций"
Это так; а если копнуть чуточку глубже, то недавно пробегал очередной top10 и то ли все вообще, то ли восемь из десяти позиций "топовых" ИТ-фирм конкретно в штатах были созданы иммигрантами в первом или втором поколениях. Бишь после второй (а то и первой) мировой.
PS: предлагаю сворачивать или в почту, а то уже офтопик совсем будет, но для меня было неожиданностью...
| | |
|
|
|
|
| 2.24, Sfinx (ok), 15:58, 05/04/2016 [^] [^^] [^^^] [ответить]
| +1 +/– |
 Ага, ставится отстой типа windows nt или qnx. Только тперь это Г даже за откаты никто ставить не будет
| | |
| |
| 3.27, _ (??), 16:39, 05/04/2016 [^] [^^] [^^^] [ответить]
| +1 +/– |
Я в 10 лет тоже верил, что скоро все хорошие люди соединятся в один большой, планетарный СССР :)
А ныне ... тут помнится совсем недавно, совсем не далеко - на управление целой страной (sic!) такое _Г_ поставили ... что виндуз был бы просто счастьем каким то. За откат в кило печенек, да 8-/
| | |
| |
| |
| 5.52, nbw (ok), 09:49, 06/04/2016 [^] [^^] [^^^] [ответить]
| +1 +/– | |
> Хорошие таки валили из СССР со страшной силой.
В Израиль, полы подметать?
| | |
| |
| 6.54, Василий Теркин (?), 10:28, 06/04/2016 [^] [^^] [^^^] [ответить]
| +1 +/– |
Какие "спецы" - такая и работа. Это только в СССР-ии и России тебя будут держать на окладе, потому что ты "хороший парень", а в мире загнивающего капитализьма понапридумывали всякие KPI...
| | |
|
| 5.56, Michael Shigorin (ok), 17:29, 06/04/2016 [^] [^^] [^^^] [ответить]
| +/– | |
> Хорошие таки валили из СССР со страшной силой.
Поспрашивайте у таких, к чему они пришли, свалив. Познавательно.
| | |
| |
| 6.64, Sarmat (?), 12:41, 13/04/2016 [^] [^^] [^^^] [ответить]
| +/– |
 google, yahoo (сейчас конечно не фонтан), а один не сознаётся так как в М$, не помню название софт для Абрамса делает и так далее...
| | |
|
|
|
|
|
| 1.6, Аноним (6), 12:21, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]
| +1 +/– |
 "Например, платформа CIP может быть использована для управления генерацией и передачей электроэнергии, нефте- и газопроводами, системами водозабора и водоотведения, коммуникационными магистралями, системами здравоохранения и транспорта."
Удачного плавания в бесконечность 8)
| | |
| |
| 2.11, Аноним (-), 12:58, 05/04/2016 [^] [^^] [^^^] [ответить]
| +2 +/– |
А вы не в курсе, под какой ОС современные SCADA в большинстве своем?!
| | |
| |
| 3.26, _ (??), 16:28, 05/04/2016 [^] [^^] [^^^] [ответить]
| +5 +/– |
Лучше выбери незнание и крепкий сон ... :-/
| | |
|
|
| |
| |
| 3.44, Вареник (?), 00:08, 06/04/2016 [^] [^^] [^^^] [ответить]
| +/– | |
> Наконец-то сделают хоть что-то цивильное.
Анонсировали коммунизм. Верифицировать моноядро, даже с минимальным набором дров - утопия.
| | |
| |
| 4.55, Василий Теркин (?), 10:32, 06/04/2016 [^] [^^] [^^^] [ответить]
| +/– |
>> Наконец-то сделают хоть что-то цивильное.
> Анонсировали коммунизм. Верифицировать моноядро, даже с минимальным набором дров - утопия.
А зачем это делать? Есть показатели вероятности, есть теория надежности. Ловить блох в отдельных блоках совсем не обязательно, если вопрос касается системы в целом.
| | |
| |
| 5.58, Вареник (?), 18:13, 06/04/2016 [^] [^^] [^^^] [ответить]
| +1 +/– | |
Действительно, зачем производители авто, самолетов, медоборудования парятся с верификацией компонентов.
Ведь с достаточно большой вероятностью пронесет и ничего не случится. Групые люди, теории вероятности не знают.
| | |
| |
| 6.63, bOOster (ok), 06:26, 13/04/2016 [^] [^^] [^^^] [ответить]
| +/– |
> Действительно, зачем производители авто, самолетов, медоборудования парятся с верификацией
> компонентов.
> Ведь с достаточно большой вероятностью пронесет и ничего не случится. Групые люди,
> теории вероятности не знают.
Верифицируют компоненты для того чтобы в любом случае компоненты соответствовали стандартам, которые однозначно присутствуют в применяемой отрасли. К критической важности, в которой грубо - 75% занимает отказоустойчивость, это имеет весьма слабое отношение.
| | |
|
|
|
|
|
| 1.23, SpiritOfStallman (ok), 15:52, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]
| +1 +/– |
 Еще один (или просто очередной?) громкий анонс. И вновь никакого кода.
Может, конечно, это и информирование для завлекания потенциальных разработчиков, но в таком свете это уже просто не воспринимается серьёзно.
| | |
| |
| 2.30, _ (??), 17:23, 05/04/2016 [^] [^^] [^^^] [ответить]
| +/– |
Трудно сказать. Hitachi и Siemens опыт в таких проектах точно имеют, остальные _относительно_ никто и звать их - ....
| | |
| 2.41, fail (?), 21:39, 05/04/2016 [^] [^^] [^^^] [ответить]
| +1 +/– | |
> Еще один (или просто очередной?) громкий анонс. И вновь никакого кода.
Какой-тaкoй кoд-шмoд, шановный - люди cypьeзные лопатами не махають.
Эта месага нe для тex. ЦA
> Может, конечно, это и информирование для завлекания потенциальных разработчиков, но в таком
> свете это уже просто не воспринимается серьёзно.
Возможно, для кого-то это очeнь серьёзно..
Kеу wоrds:
- 2001
- .com
- bubble
- etc.
| | |
|
| 1.40, anonymous (??), 21:34, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]
| +2 +/– |
Сименс и стандарты? Не смешите мои тапочки, они для каждого стандарта умудряются построить несовместимую систему.
| | |
| 1.42, Вареник (?), 23:45, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]
| +/– | |
>> Надёжность - платформа основана на ядре Linux, уже применяемом во многих промышленных системах;
Надежное моноядро для критических компонентов... Кого они хотят этим купить, когда даже в телефонах критичные компоненты делают под L4se/OKL4, а Linux-Android часть под гипервизором?
| | |
| 1.48, robux (ok), 08:14, 06/04/2016 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
 Зашёл я на сайт этой CIPы... Там же одни лозунги!
Ни кода, ни скриншотов, ни даже архитектуры системы.
Какой-то сферический конь в вакууме, и то, данный в лозунгах.
Неужели в Linux Foundation так всё плохо на сегодня?..
| | |
| 1.60, bOOster (ok), 06:06, 13/04/2016 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– | |
Лет 10 я слышу одни и теже лозунги от Линуксоидов, в разных проектах, а в высоконадежное оборудование строят либо на RTOSах либо на QNX либо на FreeBSD
ПыСы. А роутеры на Лине как падали - так и падают.
| | |
|
