[00:59:39] <ada_ru> (Oleg) Мда, линух и опенсурс сгубил многие компании
[01:00:03] <ada_ru> (Oleg) FirePower купила циска и закрыла свой IPS
[01:00:13] <ada_ru> (Oleg) а это такой треш
[03:14:13] <ada_ru> (insert_reference_here) отвечает (Sergei) на <Пример. Вот есть акт…>
Актуальные проблемы в CS есть, только: 1) они изучаются в университетах; 2) индустрия предпочитает пользоваться дай бог если тридцатилетними достижениями CS
[08:02:10] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <У него есть нормальн…>
"Windows CE — это компонентная многозадачная многопоточная многоплатформенная операционная система с поддержкой реального времени"
[08:23:38] <ada_ru> (Gourytch) но почему всё же Win CE, почему бы не фапать на QNX?
Blackberry, конечно, те ещё снобы, но Blackberry как система-то хороша!
[08:25:23] <ada_ru> (Eugene) QNX слишком древняя, из 80-х ещё, она крутая, конечно, но, хз, мне в руки не попадалась...
[08:25:41] <ada_ru> (Eugene) Скачивал я как-то всякие нейтрины, но что-то не завелось на виртуалках...
[08:26:10] <ada_ru> (Gourytch) чё это она древняя? она вполне современная.
даже расейсая чючють теперь =)
http://www.kpda.ru/products/kpda10964/
[08:27:26] <ada_ru> (Gourytch) мучительно жаль что её сперва открыли для опенсурца, а потом - хвать - и закрыли опять.
[08:27:50] <ada_ru> (AnatoliyChepiga) отвечает (Eugene) на <QNX слишком древняя,…>
Это неправда. QNX4 действительно, древняя из 80. QNX6+ (нейтрино) очень современная система. Одна из наиболее полно поддерживающая POSIX
[08:29:06] <ada_ru> (AnatoliyChepiga) отвечает (Gourytch) на <мучительно жаль что …>
Ну кто хотел посмотреть на сорцы - посмотрел. И сейчас на них может смотреть. А свободой эта ос никогда не была, даже когда была опенсурсом.
[08:30:26] <ada_ru> (Eugene) отвечает (AnatoliyChepiga) на <Это неправда. QNX4 д…>
а чем 4 от 6 отличается?
[08:30:41] <ada_ru> (AnatoliyChepiga) Мягко говоря - всем
[08:30:54] <ada_ru> (Eugene) вот есть, например, seL4 -- она формально верифицирована, а QNX может таким похвастать?
[08:30:56] <ada_ru> (Gourytch) отвечает (AnatoliyChepiga) на <Ну кто хотел посмотр…>
смотря что понимать под "свобода".
бесплатной - была один период времени.
[08:31:38] <ada_ru> (Eugene) отвечает (AnatoliyChepiga) на <Мягко говоря - всем>
то есть QNX6 -- это не та QNX, проверенная десятилетиями использования, а что-то новое?
[08:31:40] <ada_ru> (AnatoliyChepiga) отвечает (Eugene) на <вот есть, например, …>
Я не помню. Очень может быть.
[08:31:48] <ada_ru> (Gourytch) вот из того что древнее и до сих пор ни оживёт, ни подохнет - это хурд.
[08:32:51] <ada_ru> (Gourytch) и его, кстати, даже перепихнуть с MACH на L4 пытались вроде
[08:33:00] <ada_ru> (AnatoliyChepiga) отвечает (Eugene) на <то есть QNX6 -- это …>
Если кто десятилетиями и проверена, так это как раз нейтрино, а не qnx4
[08:53:04] <ada_ru> (Eugene) отвечает (AnatoliyChepiga) на <Если кто десятилетия…>
нейтрине ещё двух десятков лет нет, так что про десятилетия эксплуатации говорить рано ))
[08:55:13] <ada_ru> (AnatoliyChepiga) Осталось всего-ничего, а qnx4 так и останется навсегда в старых системах) всё новое делают на qnx6
[08:57:04] <ada_ru> (Eugene) "В 1982 году QNX попала под запрет комитета COCOM, как технология двойного назначения. Этот запрет был снят в 1990 году, однако жёсткая политика лицензирования привела к тому, что в странах Восточного блока система не получила широкого распространения. "
ну в общем-то этим всё и сказано, делать ставку на такое ПО опасно...
[08:58:48] <ada_ru> (Eugene) отвечает (AnatoliyChepiga) на <Я не помню. Очень мо…>
не нашёл я никаких упоминаний об этом, а ведь если бы они её верифицировали, что наверняка кричали бы об этом направо и налево
[09:06:20] <ada_ru> (AnatoliyChepiga) Я давно не слежу за ней, очень возможно, что со времён 4 версии что-то не было верифицировано ввиду невозможности или отсутствия необходимости.
Но как минимум SIL3 на нейтину распространяется
[09:06:29] <ada_ru> (AnatoliyChepiga) http://qnx.symmetry.com.au/resources/whitepapers/qnx_safe_kernel.pdf
[10:32:47] <ada_ru> (I_vlxy_I) Альтернатива qnx’у только какая-нибудь Integrity, думаю она тоже двойного назначения :-)
[11:06:08] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Альтернатива qnx’у т…>
seL4 же...
[11:06:25] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <seL4 же...>
Это не ось. Это ничто
[11:06:50] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Это не ось. Это ничт…>
Это микроядро, как и qnx
[11:07:31] <ada_ru> (I_vlxy_I) qnx это в первую очередь ось, то есть полный набор всех инструментов для создания промышленного решения
[11:07:46] <ada_ru> (I_vlxy_I) Плюс сертификация и саппорт
[11:08:16] <ada_ru> (Борис) — вот именно, основанная на микроядере. А seL4 — это тольео микроядро.
[11:09:09] <ada_ru> (Борис) отвечает (I_vlxy_I) на <Альтернатива qnx’у т…>
VxWorks
[11:10:46] <ada_ru> (I_vlxy_I) отвечает (Борис) на <VxWorks>
Согласен, да
[12:35:32] <ada_ru> (Gourytch) на базе L4 линух же есть. и эта... как его... Genode, во!
[12:36:23] <ada_ru> (Gourytch) и даже эти ваши ондроеды. L4Android
[12:37:57] <ada_ru> (Gourytch) https://l4linux.org
(конечно оформление у него вызывает желание завыть на луну, но это не главное)
[12:40:38] <ada_ru> (Gourytch) http://www.l4hq.org/projects/os/
[14:18:18] <ada_ru> (Eugene) https://research.csiro.au/tsblog/sel4-raspberry-pi-3/
[14:23:09] <ada_ru> (Eugene) http://heshamelmatary.blogspot.com/2015/06/sel4-on-risc-v-is-running-sos-simple.html
[14:38:03] <ada_ru> (I_vlxy_I) Эти все поделки один фиг менее безопасные нежели qnx и не пригодны к проду
[14:44:34] <ada_ru> (Oleg) VxWorks QNX BSD и Linux использует Cisco
[15:34:12] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Эти все поделки один…>
Так-то один из вариантов L4 в радиоблоках большинства (скорее даже всех) современных смартфонов крутится, параллельно всем этим андроидам, иосам, что там ещё...
[15:48:02] <ada_ru> (I_vlxy_I) Там и Java крутится...