Вариант для распечатки |
Пред. тема | След. тема | ||
Форум Разговоры, обсуждение новостей | |||
---|---|---|---|
Изначальное сообщение | [ Отслеживать ] |
"Выпуск Muen 1.0, открытого микроядра для создания высоконадёжных систем" | +/– | |
Сообщение от opennews (?), 25-Окт-21, 22:02 | ||
После восьми лет разработки увидел свет выпуск проекта Muen 1.0, развивающего ядро разделения (Separation kernel), отсутствие ошибок в исходных текстах которого подтверждено при помощи математических методов формальной верификации надёжности. Ядро доступно для архитектуры x86_64 и может применяться в критически важных системах, требующих повышенного уровня надёжности и гарантии отсутствия сбоев. Исходные тексты проекта написаны на языке Ада и его верифицируемом диалекте SPARK 2014. Код распространяется под лицензией GPLv3... | ||
Ответить | Правка | Cообщить модератору |
Оглавление |
Сообщения | [Сортировка по времени | RSS] |
1. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +13 +/– | |
Сообщение от Онаним (?), 25-Окт-21, 22:02 | ||
"написаны на языке Ада" - хорошо звучит. | ||
Ответить | Правка | Наверх | Cообщить модератору |
4. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –6 +/– | |
Сообщение от Онаним (?), 25-Окт-21, 22:16 | ||
А если по делу... SATA... в критически важных системах... оценил. | ||
Ответить | Правка | Наверх | Cообщить модератору |
14. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –21 +/– | |
Сообщение от Аноним (-), 25-Окт-21, 23:16 | ||
Хоть на васике , как бы не звучало - не на си оно никому не нужно. | ||
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору |
15. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +5 +/– | |
Сообщение от Ingdfg (?), 25-Окт-21, 23:26 | ||
Даалект который математически проверяется. Как на си это сделать? Никак. | ||
Ответить | Правка | Наверх | Cообщить модератору |
29. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –14 +/– | |
Сообщение от МарьВанна (?), 26-Окт-21, 06:17 | ||
Математическая верификация не спасает от ошибок в коде. Математическая верификация - это просто игрушка академиков и профессоров. | ||
Ответить | Правка | Наверх | Cообщить модератору |
36. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +3 +/– | |
Сообщение от Онаним (?), 26-Окт-21, 07:31 | ||
"Математическая верификация" гарантирует только, что оно не слетит в UB или runtime error. От разрушительного поведения в силу логических ошибок она не спасает. | ||
Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору |
37. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +2 +/– | |
Сообщение от Аноним (37), 26-Окт-21, 07:37 | ||
Вам этого мало? | ||
Ответить | Правка | Наверх | Cообщить модератору |
57. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Онаним (?), 26-Окт-21, 09:48 | ||
А смысл? | ||
Ответить | Правка | Наверх | Cообщить модератору |
80. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +3 +/– | |
Сообщение от Ingdfg (?), 26-Окт-21, 12:10 | ||
По крайней мере она от чего-то спасает. А с си как? Никак. | ||
Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору |
83. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Совершенно другой аноним (?), 26-Окт-21, 12:34 | ||
см сообщения #43 - для SeL4, который на C тоже делали "Математическую верификацию". И по-моему там тоже использовалось подмножество языка C, но его никто не называл красивыми словами SPARK-2014 или как-то ещё. | ||
Ответить | Правка | Наверх | Cообщить модератору |
88. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +3 +/– | |
Сообщение от Аноним (-), 26-Окт-21, 12:46 | ||
> см сообщения #43 - для SeL4, который на C тоже делали "Математическую | ||
Ответить | Правка | Наверх | Cообщить модератору |
97. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –4 +/– | |
Сообщение от Совершенно другой аноним (?), 26-Окт-21, 13:28 | ||
>> см сообщения #43 - для SeL4, который на C тоже делали "Математическую | ||
Ответить | Правка | Наверх | Cообщить модератору |
113. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (-), 26-Окт-21, 16:34 | ||
> что-то у Вас не сходится - Вы сами пишете, что верификация, которая | ||
Ответить | Правка | Наверх | Cообщить модератору |
43. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Совершенно другой аноним (?), 26-Окт-21, 08:23 | ||
Например так - https://www.opennet.ru/opennews/art.shtml?num=40297 | ||
Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору |
149. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от читатель (?), 29-Окт-21, 22:49 | ||
frama-c, погуглите | ||
Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору |
25. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –10 +/– | |
Сообщение от Аноньимъ (ok), 26-Окт-21, 04:10 | ||
Это какая-то новая стадия отрицания. | ||
Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору |
54. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +2 +/– | |
Сообщение от sdfgjsdfjdj (?), 26-Окт-21, 09:39 | ||
Си - это ассемблер для ленивых. он легко позволяет делать реализации всяких resource-critical вещей, вплоть до того, что можно предсказать сколько тактов процессора займёт исполнение кода, за это его и любят | ||
Ответить | Правка | Наверх | Cообщить модератору |
65. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –3 +/– | |
Сообщение от Админ Анонимов (?), 26-Окт-21, 10:41 | ||
кто любит ? терпят, да, но любить ... | ||
Ответить | Правка | Наверх | Cообщить модератору |
67. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от sdfgjsdfjdj (?), 26-Окт-21, 10:47 | ||
весь HPC на сях и фортране, вряд-ли это было бы так если б язык не нравился | ||
Ответить | Правка | Наверх | Cообщить модератору |
77. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Админ Анонимов (?), 26-Окт-21, 11:40 | ||
тут скорее другое - жена страшная как война но держат дети | ||
Ответить | Правка | Наверх | Cообщить модератору |
82. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –2 +/– | |
Сообщение от sdfgjsdfjdj (?), 26-Окт-21, 12:15 | ||
ты шутишь? в этих системах транспорты точат так, что за каждый лишний бранч на fast path глотку перегрызают, переменные в структурах группируют таким образом, чтобы они на одной кеш-линии оказались, да и много всего такого делают чтобы наносекунды сэкономить. вот какой ещё язык программирования такое позволяет из коробки? | ||
Ответить | Правка | Наверх | Cообщить модератору |
104. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Админ Анонимов (?), 26-Окт-21, 14:56 | ||
для оптимизации узких мест есть ассемблер | ||
Ответить | Правка | Наверх | Cообщить модератору |
129. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от sdkhflskhgl (?), 26-Окт-21, 20:17 | ||
пробовал на асме большие проекты делать? а под несколько архитектур? да хотя бы под несколько процов одной архитектуры? | ||
Ответить | Правка | Наверх | Cообщить модератору |
109. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –2 +/– | |
Сообщение от Аноньимъ (ok), 26-Окт-21, 16:00 | ||
>>кто любит сишку? терпят, да, но любить ... | ||
Ответить | Правка | К родителю #67 | Наверх | Cообщить модератору |
84. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (-), 26-Окт-21, 12:36 | ||
> вплоть до того, что можно предсказать сколько тактов процессора | ||
Ответить | Правка | К родителю #54 | Наверх | Cообщить модератору |
107. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Аноньимъ (ok), 26-Окт-21, 15:51 | ||
>Си - это ассемблер для ленивых. он легко позволяет делать реализации всяких resource-critical вещей, вплоть до того, что можно предсказать сколько тактов процессора займёт исполнение кода | ||
Ответить | Правка | К родителю #54 | Наверх | Cообщить модератору |
94. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –2 +/– | |
Сообщение от uis (ok), 26-Окт-21, 12:59 | ||
> На котором можно просто и быстро писать системное ПО невероятно низкого качества. | ||
Ответить | Правка | К родителю #25 | Наверх | Cообщить модератору |
108. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Аноньимъ (ok), 26-Окт-21, 15:58 | ||
>При чём тут питон? А, тьфу, питон про прикладное ПО невероятно низкого качества. | ||
Ответить | Правка | Наверх | Cообщить модератору |
127. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Онаним (?), 26-Окт-21, 19:57 | ||
> В сишке синтаксиса очень очень дофига. Я никогда не говорил что в сишке не хватает синтаксиса. | ||
Ответить | Правка | Наверх | Cообщить модератору |
18. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –2 +/– | |
Сообщение от Dzen Python (ok), 26-Окт-21, 00:53 | ||
Подумать только...на АДА. А почему на сверхбезопасном и самом-мамом луДшем <deleted>? | ||
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору |
24. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +2 +/– | |
Сообщение от Аноньимъ (ok), 26-Окт-21, 04:05 | ||
Потому, что Ада куда более структурирована, детерминирована, и поддаётся верификации. | ||
Ответить | Правка | Наверх | Cообщить модератору |
93. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от uis (ok), 26-Окт-21, 12:54 | ||
Мне кажется, это был сарказм | ||
Ответить | Правка | Наверх | Cообщить модератору |
112. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноньимъ (ok), 26-Окт-21, 16:19 | ||
Ада с рустом это как мягкое с солёным. | ||
Ответить | Правка | Наверх | Cообщить модератору |
128. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Онаним (?), 26-Окт-21, 19:58 | ||
Хрусту надо больше Ада. | ||
Ответить | Правка | Наверх | Cообщить модератору |
47. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Аноним (47), 26-Окт-21, 08:57 | ||
> Подумать только...на АДА. А почему на сверхбезопасном и самом-мамом луДшем <deleted>? | ||
Ответить | Правка | К родителю #18 | Наверх | Cообщить модератору |
99. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от YetAnotherOnanym (ok), 26-Окт-21, 13:58 | ||
> твой объект ненависти за год то этого был еще в пеленках и непонятно чем | ||
Ответить | Правка | Наверх | Cообщить модератору |
68. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +2 +/– | |
Сообщение от Аноним (68), 26-Окт-21, 10:48 | ||
Оно не на ADA написано, а на верифицируемом подмножестве языка ADA, диалекте ADA - языке SPARK-2014: | ||
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору |
125. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Kuromi (ok), 26-Окт-21, 19:45 | ||
При загрузке из колонок раздается Descent Into Cerberon из Quake 2 | ||
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору |
2. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Аноним (2), 25-Окт-21, 22:09 | ||
Есть ли там watchdog, который позволял бы ребутнуть проц без потери запущенных приложений и виртуалок. | ||
Ответить | Правка | Наверх | Cообщить модератору |
3. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +8 +/– | |
Сообщение от Онаним (?), 25-Окт-21, 22:13 | ||
Э-э-э, а какой в этом смысл? | ||
Ответить | Правка | Наверх | Cообщить модератору |
33. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Аноним (33), 26-Окт-21, 07:04 | ||
смысл зависит от реализации. Вызов вачдога может запустить полную проверку контекстов. Получим надежность в целом с минимальными потерями. По крайней мере в контроллерах это прокатывает, хотя в ос конечно сложней. | ||
Ответить | Правка | Наверх | Cообщить модератору |
35. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +3 +/– | |
Сообщение от Онаним (?), 26-Окт-21, 07:29 | ||
Единственный смысл - снять дамп/бектрейс (опционально) и перезапуститься. | ||
Ответить | Правка | Наверх | Cообщить модератору |
92. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от uis (ok), 26-Окт-21, 12:53 | ||
> Вызов вачдога может запустить полную проверку контекстов. | ||
Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору |
110. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (33), 26-Окт-21, 16:14 | ||
да успокойтесь уже, не говорится в этой оси про вачдог. Речь была о контроллере. Была необходимость и было так сделано. Какие блин виртуалки? | ||
Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору |
100. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от YetAnotherOnanym (ok), 26-Окт-21, 14:00 | ||
> без потери запущенных приложений и виртуалок | ||
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору |
6. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –5 +/– | |
Сообщение от QwertyReg (ok), 25-Окт-21, 22:32 | ||
> Ядро доступно для архитектуры x86_64 | ||
Ответить | Правка | Наверх | Cообщить модератору |
12. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –4 +/– | |
Сообщение от Аноним (12), 25-Окт-21, 22:40 | ||
Действительно, сейчас все бросятся на твой растопроц | ||
Ответить | Правка | Наверх | Cообщить модератору |
13. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –3 +/– | |
Сообщение от пончик (?), 25-Окт-21, 22:43 | ||
И как же ты по такой фразе сделал такой вывод? | ||
Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору |
19. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –2 +/– | |
Сообщение от Dzen Python (ok), 26-Окт-21, 00:55 | ||
Единственный вопрос: почему твои посты настолько жирные, что уже даже неинтересные? Зачем? | ||
Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору |
20. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Аноним (20), 26-Окт-21, 01:03 | ||
Там в пору уже к доктору сходить... | ||
Ответить | Правка | Наверх | Cообщить модератору |
16. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (16), 26-Окт-21, 00:32 | ||
Нужно. | ||
Ответить | Правка | Наверх | Cообщить модератору |
17. Скрыто модератором | –1 +/– | |
Сообщение от Аноним (17), 26-Окт-21, 00:36 | ||
Ответить | Правка | Наверх | Cообщить модератору |
26. Скрыто модератором | +/– | |
Сообщение от Аноньимъ (ok), 26-Окт-21, 04:14 | ||
Ответить | Правка | Наверх | Cообщить модератору |
22. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (22), 26-Окт-21, 02:54 | ||
Посоветуйте хороший учебник по языку программирования Ада пожалуйста. | ||
Ответить | Правка | Наверх | Cообщить модератору |
40. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (40), 26-Окт-21, 08:22 | ||
У меня книга где то валяется так и называется "Язык Ада" , могу дать | ||
Ответить | Правка | Наверх | Cообщить модератору |
45. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +1 +/– | |
Сообщение от anonymous (??), 26-Окт-21, 08:38 | ||
Была очень хорошая книжка издательства Мир (1988): Н.Джехани - Язык Ада | ||
Ответить | Правка | К родителю #22 | Наверх | Cообщить модератору |
61. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +4 +/– | |
Сообщение от pofigist (?), 26-Окт-21, 10:09 | ||
Да-да-да! | ||
Ответить | Правка | Наверх | Cообщить модератору |
91. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +1 +/– | |
Сообщение от uis (ok), 26-Окт-21, 12:48 | ||
Главное чтобы они не были вооружены тележками | ||
Ответить | Правка | Наверх | Cообщить модератору |
96. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +1 +/– | |
Сообщение от Аноним (-), 26-Окт-21, 13:27 | ||
Шигорину язык программирования Ада не понравится. | ||
Ответить | Правка | К родителю #61 | Наверх | Cообщить модератору |
72. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от доброжелатель (?), 26-Окт-21, 11:15 | ||
спасибо | ||
Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору |
90. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +1 +/– | |
Сообщение от uis (ok), 26-Окт-21, 12:47 | ||
У Джехани вроде и по сям была книга неплохая. | ||
Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору |
114. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от YetAnotherOnanym (ok), 26-Окт-21, 16:34 | ||
Ага, в волосатой обложке ))) | ||
Ответить | Правка | Наверх | Cообщить модератору |
51. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Минона (ok), 26-Окт-21, 09:19 | ||
путеводитель по Аду? | ||
Ответить | Правка | К родителю #22 | Наверх | Cообщить модератору |
58. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Онаним (?), 26-Окт-21, 09:48 | ||
Да, тоже хотел Данте предложить. | ||
Ответить | Правка | Наверх | Cообщить модератору |
79. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +1 +/– | |
Сообщение от Аноним (79), 26-Окт-21, 11:54 | ||
Например, вот, от компании AdaCore: | ||
Ответить | Правка | К родителю #22 | Наверх | Cообщить модератору |
111. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (22), 26-Окт-21, 16:16 | ||
Спасибо | ||
Ответить | Правка | Наверх | Cообщить модератору |
126. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Kuromi (ok), 26-Окт-21, 19:46 | ||
Некрономикон (под ред. Брюса "Эш" Кэмпбелла) | ||
Ответить | Правка | К родителю #22 | Наверх | Cообщить модератору |
140. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +1 +/– | |
Сообщение от PnD (??), 27-Окт-21, 10:41 | ||
Вот тут мне нравится как концепции показывают: | ||
Ответить | Правка | К родителю #22 | Наверх | Cообщить модератору |
23. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (23), 26-Окт-21, 03:13 | ||
20 часов работает еще не зависло! Вау)) | ||
Ответить | Правка | Наверх | Cообщить модератору |
98. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (-), 26-Окт-21, 13:28 | ||
Отпишись поподробнее. | ||
Ответить | Правка | Наверх | Cообщить модератору |
27. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (27), 26-Окт-21, 06:11 | ||
Альтернатива Линуксу! Годно! | ||
Ответить | Правка | Наверх | Cообщить модератору |
31. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (31), 26-Окт-21, 06:26 | ||
>В образах компонентов с Linux задействовано ядро Linux 5.4.66. | ||
Ответить | Правка | Наверх | Cообщить модератору |
32. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –2 +/– | |
Сообщение от Аноним (32), 26-Окт-21, 07:02 | ||
Муэн - заявочка на ядро здорового человека. | ||
Ответить | Правка | Наверх | Cообщить модератору |
56. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от sdfgjsdfjdj (?), 26-Окт-21, 09:42 | ||
когда muen обрастёт таким-же количеством поддерживаемого железа - станет тоже похожа на помойку :) | ||
Ответить | Правка | Наверх | Cообщить модератору |
62. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от pofigist (?), 26-Окт-21, 10:11 | ||
Не станет. Потому что в микроядерной архитектуре не придется все это васянское г-но тащить в ведро... | ||
Ответить | Правка | Наверх | Cообщить модератору |
66. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от sdfgjsdfjdj (?), 26-Окт-21, 10:45 | ||
хех, и получишь что-то вроде 3.11 венды: микроядро, но все дрова надо качать руками (если сетка поднимется) | ||
Ответить | Правка | Наверх | Cообщить модератору |
81. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от pofigist (?), 26-Окт-21, 12:11 | ||
Нда... у 3.11 - микроядро... учи матчасть! | ||
Ответить | Правка | Наверх | Cообщить модератору |
89. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от sdfgjsdfjdj (?), 26-Окт-21, 12:47 | ||
нда... вот и выросло поколение ЕГЭ... | ||
Ответить | Правка | Наверх | Cообщить модератору |
118. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от pofigist (?), 26-Окт-21, 17:34 | ||
> нда... вот и выросло поколение ЕГЭ... | ||
Ответить | Правка | Наверх | Cообщить модератору |
130. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от sdkhflskhgl (?), 26-Окт-21, 20:19 | ||
да, затупил, не тот минор написал, давно дело было, забывать стал | ||
Ответить | Правка | Наверх | Cообщить модератору |
148. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от pofigist (?), 28-Окт-21, 16:58 | ||
Это деменция... Прививался чтоль? :) | ||
Ответить | Правка | Наверх | Cообщить модератору |
87. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от uis (ok), 26-Окт-21, 12:45 | ||
Угу. И количество переключений контекста тоже здоровенного человека. Особенно это весело с использованием приёмчиков предотвращения утечек по сторонним каналам. | ||
Ответить | Правка | К родителю #32 | Наверх | Cообщить модератору |
30. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +6 +/– | |
Сообщение от Аноним (31), 26-Окт-21, 06:25 | ||
>Код распространяется под лицензией GPLv3. | ||
Ответить | Правка | Наверх | Cообщить модератору |
39. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –2 +/– | |
Сообщение от . (?), 26-Окт-21, 08:20 | ||
Ненужная ос на ненужном языке - с ненужной лицензией, все правильно. | ||
Ответить | Правка | Наверх | Cообщить модератору |
59. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +1 +/– | |
Сообщение от Онаним (?), 26-Окт-21, 09:49 | ||
Ну почему ненужная-то. | ||
Ответить | Правка | Наверх | Cообщить модератору |
69. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –2 +/– | |
Сообщение от пох. (?), 26-Окт-21, 11:00 | ||
Ну вот это и есть синоним ненужного - "годно не знаю для чего". | ||
Ответить | Правка | Наверх | Cообщить модератору |
71. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Аноним (68), 26-Окт-21, 11:08 | ||
А тем временем, на SPARK-2014, под Muen OS, люди в Европе потихоньку переписывают код с C и Rust.. | ||
Ответить | Правка | Наверх | Cообщить модератору |
86. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от uis (ok), 26-Окт-21, 12:41 | ||
Ну вот с РВ не согласен, там лучше подходит си, а остальное - да, Ада | ||
Ответить | Правка | Наверх | Cообщить модератору |
70. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (68), 26-Окт-21, 11:03 | ||
Люди на Muen OS давно девайсы выпускают, например такой: https://www.nitrokey.com/products/nethsm Меня повеселила одна фича: "наш девайсы с OS настолько безопасны, что даже консоль для ввода и вывод на монитор не предусмотрены..." | ||
Ответить | Правка | К родителю #59 | Наверх | Cообщить модератору |
76. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +1 +/– | |
Сообщение от Онаним (?), 26-Окт-21, 11:29 | ||
А если ещё входа под кабель питания нет - вообще экстра-безопасно выйдет. | ||
Ответить | Правка | Наверх | Cообщить модератору |
78. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (78), 26-Окт-21, 11:41 | ||
Нет, вход для питания и выход в сеть девайсу нужны. А клавы, мониторы, даже светодиодная индикация не надо. | ||
Ответить | Правка | Наверх | Cообщить модератору |
102. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Онаним (?), 26-Окт-21, 14:41 | ||
Только выхода, входа из сети не надо? :D | ||
Ответить | Правка | Наверх | Cообщить модератору |
116. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Anonymous XE (?), 26-Окт-21, 16:52 | ||
Действительно, зачнм независающей ОС локальная консоль? А для конфигуряния есть же SSH. | ||
Ответить | Правка | К родителю #70 | Наверх | Cообщить модератору |
50. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Минона (ok), 26-Окт-21, 09:13 | ||
* открыл попкорн и приготовился к очередному срачу. | ||
Ответить | Правка | К родителю #30 | Наверх | Cообщить модератору |
95. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (-), 26-Окт-21, 13:23 | ||
Зря достал попкорн, кина не будет. | ||
Ответить | Правка | Наверх | Cообщить модератору |
138. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (138), 27-Окт-21, 10:19 | ||
А почему под срач так хорош именно попкорм? А горох не лучше? | ||
Ответить | Правка | К родителю #50 | Наверх | Cообщить модератору |
141. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Минона (ok), 27-Окт-21, 10:47 | ||
какой? зеленый из баночки? | ||
Ответить | Правка | Наверх | Cообщить модератору |
143. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (-), 27-Окт-21, 12:00 | ||
Для того чтобы наслаждаться срачем со сороны, не учавствуя в нём, нужен мягкий диван и попкорн. Всё. | ||
Ответить | Правка | К родителю #138 | Наверх | Cообщить модератору |
144. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (138), 27-Окт-21, 12:45 | ||
А пыво??? | ||
Ответить | Правка | Наверх | Cообщить модератору |
139. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (138), 27-Окт-21, 10:20 | ||
Закрытый таки всегда надёжнее. Чем распахнутый. | ||
Ответить | Правка | К родителю #30 | Наверх | Cообщить модератору |
42. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от . (?), 26-Окт-21, 08:23 | ||
> Система непрерывной интеграции переведена с эмулятора Bochs на вложенные окружения QEMU/KVM. | ||
Ответить | Правка | Наверх | Cообщить модератору |
44. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от Аноним (44), 26-Окт-21, 08:27 | ||
А какой футпринт? Неyжто Qubes здорового человека? | ||
Ответить | Правка | Наверх | Cообщить модератору |
52. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +1 +/– | |
Сообщение от Аноним12345 (?), 26-Окт-21, 09:25 | ||
Прибито гвоздями к интелу ? | ||
Ответить | Правка | Наверх | Cообщить модератору |
60. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (60), 26-Окт-21, 10:08 | ||
А есть сравнение с se4L ? | ||
Ответить | Правка | Наверх | Cообщить модератору |
64. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (64), 26-Окт-21, 10:37 | ||
А что там с AMD-V? Незаслуженно обидели красных. | ||
Ответить | Правка | Наверх | Cообщить модератору |
101. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (101), 26-Окт-21, 14:35 | ||
У программистов писавших Муэн материнки с процами от Интел. | ||
Ответить | Правка | Наверх | Cообщить модератору |
85. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | –1 +/– | |
Сообщение от uis (ok), 26-Окт-21, 12:39 | ||
Ада - это Ада, это не раст. Вот где настоящая надёжность. | ||
Ответить | Правка | Наверх | Cообщить модератору |
103. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (-), 26-Окт-21, 14:42 | ||
Только вот язык Ада - не модный. | ||
Ответить | Правка | Наверх | Cообщить модератору |
115. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Anonymous XE (?), 26-Окт-21, 16:42 | ||
Это хорошо, модно-молодёжные в него лезть не будут. | ||
Ответить | Правка | Наверх | Cообщить модератору |
117. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (-), 26-Окт-21, 17:12 | ||
Старые программисты на Ада умрут от старости, без модной молодёжи кому вы свою Адскую Отчизну оставите? Или думаете, как в Дебиане, на вашу сторону появится поток из стареющих пацанов? | ||
Ответить | Правка | Наверх | Cообщить модератору |
123. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Anonymous XE (?), 26-Окт-21, 18:18 | ||
Молодые и модно-молодёжные, это, как бы, не эквивалентно. | ||
Ответить | Правка | К родителю #115 | Наверх | Cообщить модератору |
119. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (119), 26-Окт-21, 17:38 | ||
Кто на Аду будет вкатываться, есть такие? | ||
Ответить | Правка | Наверх | Cообщить модератору |
124. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (-), 26-Окт-21, 18:37 | ||
многаденех курсы бисплатные личная пальма под цвет ноутбука ада за 24 часа от нуля до гираскутера гламурная барада в пакете с первой дозой в падарок | ||
Ответить | Правка | Наверх | Cообщить модератору |
133. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (-), 27-Окт-21, 06:31 | ||
Райдер модного, молодёжного и прогрессивного человека. | ||
Ответить | Правка | Наверх | Cообщить модератору |
147. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (33), 27-Окт-21, 17:08 | ||
Аду же разрабатывала оборонка америки. Наса на ней клепала управление своими шатлами. Помнится трапалась на пуске по каждому чиху. Но работала вроде надежно. Программисты на ней писали кажется только для ихнего впк, про гражданские проекты не слышно было | ||
Ответить | Правка | К родителю #119 | Наверх | Cообщить модератору |
131. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Gogi (??), 26-Окт-21, 20:30 | ||
Мне от одного списка (аппаратных) возможностей плохо стало! Неужели ВСЁ ЭТО нужно для того, чтобы юзер тупо запустил ворд?? (условно говоря) | ||
Ответить | Правка | Наверх | Cообщить модератору |
132. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Онаним (?), 26-Окт-21, 20:44 | ||
Главное - не смотри на инициализацию ACPI и PCI в линуховом ядре... | ||
Ответить | Правка | Наверх | Cообщить модератору |
142. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (142), 27-Окт-21, 11:40 | ||
на суперзащищенном airgap ждать пока вскроют через трансформатор | ||
Ответить | Правка | К родителю #131 | Наверх | Cообщить модератору |
137. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (138), 27-Окт-21, 10:18 | ||
Открытый и (высоко)надёжный таки разные вещи. Друг с другом никак не связанные. | ||
Ответить | Правка | Наверх | Cообщить модератору |
145. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (142), 27-Окт-21, 12:48 | ||
сперва академическое открытое, потом уж точное наведение на нужную голову в реалтайм. но цена головы/репутации с нулевых сильно упала, потому можно и гражданским линуксом по квадрату с задержкой и осечкой. | ||
Ответить | Правка | Наверх | Cообщить модератору |
146. "Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." | +/– | |
Сообщение от Аноним (-), 27-Окт-21, 14:28 | ||
>гражданским линуксом по квадрату с задержкой и осечкой. | ||
Ответить | Правка | Наверх | Cообщить модератору |
Архив | Удалить |
Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |