The OpenNET Project / Index page

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

Выпуск Muen 1.0, открытого микроядра для создания высоконадёжных систем

25.10.2021 21:50

После восьми лет разработки увидел свет выпуск проекта Muen 1.0, развивающего ядро разделения (Separation kernel), отсутствие ошибок в исходных текстах которого подтверждено при помощи математических методов формальной верификации надёжности. Ядро доступно для архитектуры x86_64 и может применяться в критически важных системах, требующих повышенного уровня надёжности и гарантии отсутствия сбоев. Исходные тексты проекта написаны на языке Ада и его верифицируемом диалекте SPARK 2014. Код распространяется под лицензией GPLv3.

Ядро разделения представляет собой микроядро, предоставляющее окружение для исполнения изолированных друг от друга компонентов, взаимодействие которых жёстко регулируются заданными правилами. Изоляция основана на применении расширений виртуализации Intel VT-x и предусматривает в том числе механизмы защиты для блокировки организации скрытых каналов связи. Ядро разделения более минималистично и статично по сравнению с другими микроядрами, что позволяет сократить число ситуаций, способных привести к сбою.

Ядро выполняется в корневом режиме VMX по аналогии с гипервизором, а всё остальные компоненты в некорневом режиме VMX по аналогии с гостевыми системами. Доступ к оборудованию производится с использованием расширений Intel VT-d DMA и ремаппинга прерываний, что даёт возможность реализовать безопасную привязку PCI-устройств к компонентам, запускаемым под управлением Muen.

Из возможностей Muen отмечается поддержка многоядерных систем, вложенных страниц памяти (EPT, Extended Page Tables), MSI (Message Signaled Interrupts), таблиц атрибутов страниц памяти (PAT, Page Attribute Table). Muen также предоставляет фиксированный цикличный планировщик на базе вытесняющего таймера Intel VMX, компактный runtime, не влияющий на производительность, систему аудита крахов, механизм статического назначения ресурсов на основе правил, систему обработки событий и каналы разделяемой памяти для взаимодействия внутри запускаемых компонентов.

Поддерживается запуск поверх Muen компонентов с 64-разрядным машинным кодом, 32- или 64-разрядных виртуальных машин, 64-разрядных приложений на языках Ada и SPARK 2014, виртуальных машин с Linux и самодостаточных "unikernel" на базе MirageOS.

Основные новшества, предложенные в выпуске Muen 1.0:

  • Опубликованы документы со спецификациями ядра (устройство и архитектура), системы (системные политики, Tau0 и инструментарий) и компонентов, в которых документированы все аспекты работы проекта.
  • Добавлен инструментарий Tau0 (Muen System Composer), включающий набор готовых верифицированных компонентов для компоновки системных образов и разработки типовых сервисов, запускаемых поверх Muen. Среди предоставляемых компонентов драйвер AHCI (SATA), Device Manager (DM), загрузчик, системный менеджер, виртуальный терминал и т.п.
  • Linux-драйвер muenblock (реализация блочного устройства, работающего поверх разделяемой памяти Muen) переведён на использование API blockdev 2.0.
  • Реализованы инструменты для управления жизненным циклом нативных компонентов.
  • Системные образы переведены на использование SBS (Signed Block Stream) и CSL (Command Stream Loader) для защиты целостности.
  • Реализован верифицированный драйвер AHCI-DRV, написанный на языке SPARK 2014 и позволяющий подключать к компонентам накопители, поддерживающие интерфейс ATA, или отдельные дисковые разделы.
  • Улучшена поддержка unikernel от проектов MirageOS и Solo5.
  • Инструментарий для языка Ада обновлён до выпуска GNAT Community 2021.
  • Система непрерывной интеграции переведена с эмулятора Bochs на вложенные окружения QEMU/KVM.
  • В образах компонентов с Linux задействовано ядро Linux 5.4.66.


  1. Главная ссылка к новости (https://groups.google.com/g/mu...)
  2. OpenNews: Проект Genode опубликовал выпуск ОС общего назначения Sculpt 21.10
  3. OpenNews: Выпуск MirageOS 3.6, платформы для запуска приложений поверх гипервизора
  4. OpenNews: Сверхнадёжное ядро seL4 будет переведено в разряд открытых проектов
  5. OpenNews: Новая криптографическая библиотека EverCrypt с математическим доказательством надёжности
  6. OpenNews: Микроядро seL4 математически верифицировано для архитектуры RISC-V
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/56033-muen
Ключевые слова: muen, microkernel, hypervisor, virtual
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (121) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Онаним (?), 22:02, 25/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +13 +/
    "написаны на языке Ада" - хорошо звучит.
     
     
  • 2.4, Онаним (?), 22:16, 25/10/2021 [^] [^^] [^^^] [ответить]  
  • –6 +/
    А если по делу... SATA... в критически важных системах... оценил.
     
  • 2.14, Аноним (-), 23:16, 25/10/2021 [^] [^^] [^^^] [ответить]  
  • –21 +/
    Хоть на васике , как бы не звучало - не на си оно никому не нужно.
     
     
  • 3.15, Ingdfg (?), 23:26, 25/10/2021 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Даалект который математически проверяется. Как на си это сделать? Никак.
     
     
  • 4.29, МарьВанна (?), 06:17, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –14 +/
    Математическая верификация не спасает от ошибок в коде. Математическая верификация - это просто игрушка академиков и профессоров.

    Только чистый Си.

     
  • 4.36, Онаним (?), 07:31, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +3 +/
    "Математическая верификация" гарантирует только, что оно не слетит в UB или runtime error. От разрушительного поведения в силу логических ошибок она не спасает.
     
     
  • 5.37, Аноним (37), 07:37, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Вам этого мало?
     
     
  • 6.57, Онаним (?), 09:48, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    А смысл?
    Оно всё равно всё так же при неудачном раскладе звёзд может например потерей данных кончиться, просто в другом месте.
     
  • 5.80, Ingdfg (?), 12:10, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +3 +/
    По крайней мере она от чего-то спасает. А с си как? Никак.
     
     
  • 6.83, Совершенно другой аноним (?), 12:34, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    см сообщения #43 - для SeL4, который на C тоже делали "Математическую верификацию". И по-моему там тоже использовалось подмножество языка C, но его никто не называл красивыми словами SPARK-2014 или как-то ещё.
     
     
  • 7.88, Аноним (-), 12:46, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +3 +/
    > см сообщения #43 - для SeL4, который на C тоже делали "Математическую
    > верификацию". И по-моему там тоже использовалось подмножество языка C,

    Писали на самом деле на хаскеле, лишь после верификации корректности логики работы транслируя в сишку. И обошлась та верификация где-то в 20 человеко-лет на 9000 строк кода. А так да, все с Великой Сишкой хорошо и все придумки нового - от лукавого!

     
     
  • 8.97, Совершенно другой аноним (?), 13:28, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –4 +/
    что-то у Вас не сходится - Вы сами пишете, что верификация, которая выполнялась ... текст свёрнут, показать
     
     
  • 9.113, Аноним (-), 16:34, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    У тех, кто лишь ту новость и читал, но ни по каким сылкам не ходил http web1 ... большой текст свёрнут, показать
     
  • 4.43, Совершенно другой аноним (?), 08:23, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Например так - https://www.opennet.me/opennews/art.shtml?num=40297
     
  • 4.149, читатель (?), 22:49, 29/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    frama-c, погуглите
     
  • 3.25, Аноньимъ (ok), 04:10, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –10 +/
    Это какая-то новая стадия отрицания.

    Сишка это помойный язык с нездоровым синтаксисом, околонулевой семантикой, и фрагментированой инфраструктурой.

    На котором можно просто и быстро писать системное ПО невероятно низкого качества.

     
     
  • 4.54, sdfgjsdfjdj (?), 09:39, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Си - это ассемблер для ленивых. он легко позволяет делать реализации всяких resource-critical вещей, вплоть до того, что можно предсказать сколько тактов процессора займёт исполнение кода, за это его и любят
     
     
  • 5.65, Админ Анонимов (?), 10:41, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –3 +/
    кто любит ? терпят, да, но любить ...
     
     
  • 6.67, sdfgjsdfjdj (?), 10:47, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    весь HPC на сях и фортране, вряд-ли это было бы так если б язык не нравился
     
     
  • 7.77, Админ Анонимов (?), 11:40, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    тут скорее другое - жена страшная как война но держат дети
     
     
  • 8.82, sdfgjsdfjdj (?), 12:15, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    ты шутишь в этих системах транспорты точат так, что за каждый лишний бранч на f... текст свёрнут, показать
     
     
  • 9.104, Админ Анонимов (?), 14:56, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    для оптимизации узких мест есть ассемблер... текст свёрнут, показать
     
     
  • 10.129, sdkhflskhgl (?), 20:17, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    пробовал на асме большие проекты делать а под несколько архитектур да хотя бы ... текст свёрнут, показать
     
  • 7.109, Аноньимъ (ok), 16:00, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    >>кто любит сишку? терпят, да, но любить ...
    >весь HPC на фортране любит

    Хмммммммм?

     
  • 5.84, Аноним (-), 12:36, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > вплоть до того, что можно предсказать сколько тактов процессора
    > займёт исполнение кода, за это его и любят

    Скорее - вплоть до самых разных баек о том, "как можно суперкруто".

     
  • 5.107, Аноньимъ (ok), 15:51, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    >Си - это ассемблер для ленивых. он легко позволяет делать реализации всяких resource-critical вещей, вплоть до того, что можно предсказать сколько тактов процессора займёт исполнение кода

    Yes.

    >за это его и любят

    Любят его престарелые смузихлебы за то-же за что молодые любят жаваскрипт.

     
  • 4.94, uis (ok), 12:59, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    > На котором можно просто и быстро писать системное ПО невероятно низкого качества.

    При чём тут питон? А, тьфу, питон про прикладное ПО невероятно низкого качества.

    Может тебе ещё и в асме синтаксис нужен? А какой, at&t или intel? Или лучше ради единственно-верного карго-культа собирать компилятор на десяток-другой гигов места под объектники и восемь гигов исходников?

     
     
  • 5.108, Аноньимъ (ok), 15:58, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    >При чём тут питон? А, тьфу, питон про прикладное ПО невероятно низкого качества.

    Да, сишка это системный питон такой. Врайт ванце краш еверивере.

    >Может тебе ещё и в асме синтаксис нужен?

    В сишке синтаксиса очень очень дофига. Я никогда не говорил что в сишке не хватает синтаксиса.
    Речь шла о том, что он ужасный, и лишённый семантики.

    >А какой, at&t или intel? Или лучше ради единственно-верного карго-культа собирать компилятор на десяток-другой гигов места под объектники и восемь гигов исходников?

    Чё? Да, GCC ужасный монстр, я согласен. Монструозность GCC, к которому ещё и систему сборки нужно отдельно прикручивать, и систему управления пакетами, хорошо демонстрирует мною сказанное.

     
     
  • 6.127, Онаним (?), 19:57, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > В сишке синтаксиса очень очень дофига. Я никогда не говорил что в сишке не хватает синтаксиса.
    > Речь шла о том, что он ужасный, и лишённый семантики.

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

     
  • 2.18, Dzen Python (ok), 00:53, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Подумать только...на АДА. А почему на сверхбезопасном и самом-мамом луДшем <deleted>?
     
     
  • 3.24, Аноньимъ (ok), 04:05, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Потому, что Ада куда более структурирована, детерминирована, и поддаётся верификации.
    К тому же за Адой стоят промышленные стандарты.
    Без которых, ваши заявления о надёжности вашего ПО в контексте критических задачь, ничего не стоят.
     
     
  • 4.93, uis (ok), 12:54, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Мне кажется, это был сарказм
     
     
  • 5.112, Аноньимъ (ok), 16:19, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Ада с рустом это как мягкое с солёным Раст это про функциональщину и безопаснос... большой текст свёрнут, показать
     
     
  • 6.128, Онаним (?), 19:58, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Хрусту надо больше Ада.
     
  • 3.47, Аноним (47), 08:57, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Наверное критически поразмыслить тебе не позволяет твой жмущий сишный гениальный... большой текст свёрнут, показать
     
     
  • 4.99, YetAnotherOnanym (ok), 13:58, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > твой объект ненависти за год то этого был еще в пеленках и непонятно чем

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

     
  • 2.68, Аноним (68), 10:48, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Оно не на ADA написано, а на верифицируемом подмножестве языка ADA, диалекте ADA... большой текст свёрнут, показать
     
  • 2.125, Kuromi (ok), 19:45, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    При загрузке из колонок раздается Descent Into Cerberon из Quake 2
     

  • 1.2, Аноним (2), 22:09, 25/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Есть ли там watchdog, который позволял бы ребутнуть проц без потери запущенных приложений и виртуалок.
     
     
  • 2.3, Онаним (?), 22:13, 25/10/2021 [^] [^^] [^^^] [ответить]  
  • +8 +/
    Э-э-э, а какой в этом смысл?
    Если возникла ситуация, в которой только реакция watchdog поможет - сохранять что-то уже поздно, и небезопасно - есть риск данных лишиться.
     
     
  • 3.33, Аноним (33), 07:04, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    смысл зависит от реализации. Вызов вачдога может запустить полную проверку контекстов. Получим надежность в целом с минимальными потерями. По крайней мере в контроллерах это прокатывает, хотя в ос конечно сложней.
     
     
  • 4.35, Онаним (?), 07:29, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Единственный смысл - снять дамп/бектрейс (опционально) и перезапуститься.
    Никакая "полная проверка контекстов" не выявит причин вставания системы раком.
    Либо будет сложнее и затратнее самой системы.
    А если потенциальные причины известны и есть ресурсы на создание "проверки контекстов" - проще вложить их собственно в устранение этих причин.
     
  • 4.92, uis (ok), 12:53, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > Вызов вачдога может запустить полную проверку контекстов.

    Если это он, то не может. Он должен делать аппаратный сброс.

     
  • 4.110, Аноним (33), 16:14, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    да успокойтесь уже, не говорится в этой оси про вачдог. Речь была о контроллере. Была необходимость и было так сделано. Какие блин виртуалки?
     
  • 3.100, YetAnotherOnanym (ok), 14:00, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > без потери запущенных приложений и виртуалок

    Чтобы сразу же после ребута влететь в то же самое состояние?

     

  • 1.6, QwertyReg (ok), 22:32, 25/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –5 +/
    > Ядро доступно для архитектуры x86_64

    То есть даже тут x86 слили в отстойник истории. А кто-то до сих пор над десктопе насилует труп, лол.

     
     
  • 2.12, Аноним (12), 22:40, 25/10/2021 [^] [^^] [^^^] [ответить]  
  • –4 +/
    Действительно, сейчас все бросятся  на твой растопроц

    А я думал уже глупее фрактала с лошадкой быть не может. Но тут появился ты.

     
  • 2.13, пончик (?), 22:43, 25/10/2021 [^] [^^] [^^^] [ответить]  
  • –3 +/
    И как же ты по такой фразе сделал такой вывод?

    Ты бы с наркотой завязал а? пока не поздно. Или уже поздно и мозг проржавел?

     
  • 2.19, Dzen Python (ok), 00:55, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Единственный вопрос: почему твои посты настолько жирные, что уже даже неинтересные? Зачем?
     
     
  • 3.20, Аноним (20), 01:03, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Там в пору уже к доктору сходить...
     

  • 1.16, Аноним (16), 00:32, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Нужно.
     
  • 1.17, Аноним (17), 00:36, 26/10/2021 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • –1 +/
     

  • 1.22, Аноним (22), 02:54, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Посоветуйте хороший учебник по языку программирования Ада пожалуйста.
     
     
  • 2.40, Аноним (40), 08:22, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    У меня книга где то валяется так и называется "Язык Ада" , могу дать
     
  • 2.45, anonymous (??), 08:38, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Была очень хорошая книжка издательства Мир (1988): Н.Джехани - Язык Ада
     
     
  • 3.61, pofigist (?), 10:09, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Да-да-да!
    Коричневая обложка...
    Еду как-то на 22м троллейбусе мимо елоховки - тогда в этом поповнике весь цвет РПЦ отирался... Читаю эту книжку... А рядом - куча воцерквленных бабок...
    Представляете какой цирк с конями начался, когда я книжку закрыл и они прочитали ее название? 🤣
     
     
  • 4.91, uis (ok), 12:48, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Главное чтобы они не были вооружены тележками
     
  • 4.96, Аноним (-), 13:27, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Шигорину язык программирования Ада не понравится.
     
  • 3.72, доброжелатель (?), 11:15, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    спасибо
     
  • 3.90, uis (ok), 12:47, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    У Джехани вроде и по сям была книга неплохая.
     
     
  • 4.114, YetAnotherOnanym (ok), 16:34, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Ага, в волосатой обложке )))
     
  • 2.51, Минона (ok), 09:19, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    путеводитель по Аду?
    Пожалуйста "https://ru.wikipedia.org/wiki/Божественная_комедия#Концепция_Ада_в_«Божес
     
     
  • 3.58, Онаним (?), 09:48, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Да, тоже хотел Данте предложить.
     
  • 2.79, Аноним (79), 11:54, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Например, вот, от компании AdaCore:

    https://learn.adacore.com/

    Есть ещё "А.Гавва "Адское программирование", если хотите на русском:

    https://www.ada-ru.org/V-0.4w/

     
     
  • 3.111, Аноним (22), 16:16, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Спасибо
     
  • 2.126, Kuromi (ok), 19:46, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Некрономикон (под ред. Брюса "Эш" Кэмпбелла)
     
  • 2.140, PnD (??), 10:41, 27/10/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Вот тут мне нравится как концепции показывают:
    http://www.ada-ru.org/safe_secure_2012
     

  • 1.23, Аноним (23), 03:13, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    20 часов работает еще не зависло! Вау))
     
     
  • 2.98, Аноним (-), 13:28, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Отпишись поподробнее.
     

  • 1.27, Аноним (27), 06:11, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Альтернатива Линуксу! Годно!
     
     
  • 2.31, Аноним (31), 06:26, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    >В образах компонентов с Linux задействовано ядро Linux 5.4.66.

    Муэн - микроядро. А Линукс- это и ещё сброник аппаратных и виртуальных драйверов.

     
     
  • 3.32, Аноним (32), 07:02, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Муэн - заявочка на ядро здорового человека.
    Линукс - клиническая помойка.
     
     
  • 4.56, sdfgjsdfjdj (?), 09:42, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    когда muen обрастёт таким-же количеством поддерживаемого железа - станет тоже похожа на помойку :)
     
     
  • 5.62, pofigist (?), 10:11, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Не станет. Потому что в микроядерной архитектуре не придется все это васянское г-но тащить в ведро...
     
     
  • 6.66, sdfgjsdfjdj (?), 10:45, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    хех, и получишь что-то вроде 3.11 венды: микроядро, но все дрова надо качать руками (если сетка поднимется)
     
     
  • 7.81, pofigist (?), 12:11, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Нда... у 3.11 - микроядро... учи матчасть!

    Лучше как у линакса - когда в процессе установки надо качать все окружение... если сеть подымется. netinstall ога :)

     
     
  • 8.89, sdfgjsdfjdj (?), 12:47, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    нда вот и выросло поколение ЕГЭ WinNT до версии 4 0 имела архитектуру очен... текст свёрнут, показать
     
     
  • 9.118, pofigist (?), 17:34, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Да уж - заметно Нет и никогда не было WinNT 3 11 - это была Windows for Worksgr... текст свёрнут, показать
     
     
  • 10.130, sdkhflskhgl (?), 20:19, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    да, затупил, не тот минор написал, давно дело было, забывать стал... текст свёрнут, показать
     
     
  • 11.148, pofigist (?), 16:58, 28/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Это деменция Прививался чтоль Такое перепутать - невозможно ... текст свёрнут, показать
     
  • 4.87, uis (ok), 12:45, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Угу. И количество переключений контекста тоже здоровенного человека. Особенно это весело с использованием приёмчиков предотвращения утечек по сторонним каналам.
     

  • 1.30, Аноним (31), 06:25, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +6 +/
    >Код распространяется под лицензией GPLv3.

    Не бздуноподобная пермиссивка-разрешиловка. Зачёт.

     
     
  • 2.39, . (?), 08:20, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Ненужная ос на ненужном языке - с ненужной лицензией, все правильно.

    Кто-то защитил свой phd, и можно выносить.

     
     
  • 3.59, Онаним (?), 09:49, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Ну почему ненужная-то.
    Да, академическая поделка.
    Но с учётом проделанной работы по верификации секущихся концов (не алгоритмической конечно...), вполне себе годно, только не знаю, для чего.
     
     
  • 4.69, пох. (?), 11:00, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Ну вот это и есть синоним ненужного - "годно не знаю для чего".

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

     
     
  • 5.71, Аноним (68), 11:08, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    А тем временем, на SPARK-2014, под Muen OS, люди в Европе потихоньку переписывают код с C и Rust..

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

     
     
  • 6.86, uis (ok), 12:41, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Ну вот с РВ не согласен, там лучше подходит си, а остальное - да, Ада
     
  • 4.70, Аноним (68), 11:03, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Люди на Muen OS давно девайсы выпускают, например такой: https://www.nitrokey.com/products/nethsm Меня повеселила одна фича: "наш девайсы с OS настолько безопасны, что даже консоль для ввода и вывод на монитор не предусмотрены..."

    Гениально! Зачем компу клава и монитор? Еще и админа тогда надо чтоб сидел и стучал по клаве, смотрел в монитор. Комп должен просто работать, без человека, как лампочка, включил и оно работает.

     
     
  • 5.76, Онаним (?), 11:29, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А если ещё входа под кабель питания нет - вообще экстра-безопасно выйдет.
     
     
  • 6.78, Аноним (78), 11:41, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Нет, вход для питания и выход в сеть девайсу нужны. А клавы, мониторы, даже светодиодная индикация не надо.
     
     
  • 7.102, Онаним (?), 14:41, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Только выхода, входа из сети не надо? :D
     
  • 5.116, Anonymous XE (?), 16:52, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Действительно, зачнм независающей ОС локальная консоль? А для конфигуряния есть же SSH.
     
  • 2.50, Минона (ok), 09:13, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    * открыл попкорн и приготовился к очередному срачу.
     
     
  • 3.95, Аноним (-), 13:23, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Зря достал попкорн, кина не будет.
     
  • 3.138, Аноним (138), 10:19, 27/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    А почему под срач так хорош именно попкорм? А горох не лучше?
     
     
  • 4.141, Минона (ok), 10:47, 27/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    какой? зеленый из баночки?
    попробуй ☺
     
  • 4.143, Аноним (-), 12:00, 27/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Для того чтобы наслаждаться срачем со сороны, не учавствуя в нём, нужен мягкий диван и попкорн. Всё.
     
     
  • 5.144, Аноним (138), 12:45, 27/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    А пыво???
     
  • 2.139, Аноним (138), 10:20, 27/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Закрытый таки всегда надёжнее. Чем распахнутый.
     

  • 1.42, . (?), 08:23, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    > Система непрерывной интеграции переведена с эмулятора Bochs на вложенные окружения QEMU/KVM.

    все что нужно знать об этой бесполезной поделке.

     
  • 1.44, Аноним (44), 08:27, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    А какой футпринт? Неyжто Qubes здорового человека?
     
  • 1.52, Аноним12345 (?), 09:25, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Прибито гвоздями к интелу ?
     
  • 1.60, Аноним (60), 10:08, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    А есть сравнение с se4L ?
     
  • 1.64, Аноним (64), 10:37, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    А что там с AMD-V? Незаслуженно обидели красных.
     
     
  • 2.101, Аноним (101), 14:35, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    У программистов писавших Муэн материнки с процами от Интел.
     

  • 1.85, uis (ok), 12:39, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Ада - это Ада, это не раст. Вот где настоящая надёжность.
     
     
  • 2.103, Аноним (-), 14:42, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Только вот язык Ада - не модный.
     
     
  • 3.115, Anonymous XE (?), 16:42, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Это хорошо, модно-молодёжные в него лезть не будут.
     
     
  • 4.117, Аноним (-), 17:12, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Старые программисты на Ада умрут от старости, без модной молодёжи кому вы свою Адскую Отчизну оставите? Или думаете, как в Дебиане, на вашу сторону появится поток из стареющих пацанов?
     
  • 4.123, Anonymous XE (?), 18:18, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Молодые и модно-молодёжные, это, как бы, не эквивалентно.
     

  • 1.119, Аноним (119), 17:38, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Кто на Аду будет вкатываться, есть такие?
     
     
  • 2.124, Аноним (-), 18:37, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    многаденех курсы бисплатные личная пальма под цвет ноутбука ада за 24 часа от нуля до гираскутера  гламурная барада в пакете с первой дозой в падарок
     
     
  • 3.133, Аноним (-), 06:31, 27/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Райдер модного, молодёжного и прогрессивного человека.

    1. Много денег.
    2. Бесплатные курсы по языку Ада.
    3. Свой остров, или пляж с пальмами под цвет ноутбука.
    4. Книжка "Освой Ада за 24 часа".
    5. Гироскутер.
    6. Гламурная борода.
    7. Доза веществ в пакете (в подарок). Нужно для того чтобы возникали в голове творческие мысли.

    В принципе всё, юридически оформил. Пунк 7 хорошо реализуем в Калифорнии, либо в Нидерландах.

     
  • 2.147, Аноним (33), 17:08, 27/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Аду же разрабатывала оборонка америки. Наса на ней клепала управление своими шатлами. Помнится трапалась на пуске по каждому чиху. Но работала вроде надежно. Программисты на ней писали кажется только для ихнего впк, про гражданские проекты не слышно было
     

  • 1.131, Gogi (??), 20:30, 26/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Мне от одного списка (аппаратных) возможностей плохо стало! Неужели ВСЁ ЭТО нужно для того, чтобы юзер тупо запустил ворд?? (условно говоря)
    По-моему, проектировщики аппаратуры стали такой же тупой индуснёй, как и в софте - главное наструячить побольше фич, а надо оно или нет - да пофиг, оплачено! (как было с x86 + защищённый режим + тонна сопутствующих НЕНУЖНЫХ регистров, таблиц и т.п.)

    Гениальное обязано быть простым и понятным. Если какую-то платформу раздули до неосязаемых архитектурных громад, нахрен такую архитектуру. Я лучше на БК0010 буду редактировать, чем на суперзащищённом x86 ждать, когда меня вскроют через IME.

     
     
  • 2.132, Онаним (?), 20:44, 26/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Главное - не смотри на инициализацию ACPI и PCI в линуховом ядре...
    Вот где ад так ад.
     
  • 2.142, Аноним (142), 11:40, 27/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    на суперзащищенном airgap ждать пока вскроют через трансформатор
     

  • 1.137, Аноним (138), 10:18, 27/10/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Открытый и (высоко)надёжный таки разные вещи. Друг с другом никак не связанные.
     
     
  • 2.145, Аноним (142), 12:48, 27/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    сперва академическое открытое, потом уж точное наведение на нужную голову в реалтайм. но цена головы/репутации с нулевых сильно упала, потому можно и гражданским линуксом по квадрату с задержкой и осечкой.
     
     
  • 3.146, Аноним (-), 14:28, 27/10/2021 [^] [^^] [^^^] [ответить]  
  • +/
    >гражданским линуксом по квадрату с задержкой и осечкой.

    Это вояка?

     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



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

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