Россияне создали уникальную ОС — конкурента Linux.
Операционная система "Фантом". Созадана на базе микроядер Genode.
https://github.com/genodelabs/...
Genode OS Framework
https://ru.wikipedia.org/wiki/...
Genode OS Framework — открытая микроядерная операционная система,
которая предоставляет унифицированное окружение для создания приложений,
работающих как поверх ядра Linux, так и поверх микроядер Fiasco.OC, OKL4, L4ka::Pistachio и некоторых других.
Паравиртуализованное ядро L4Linux, работающее поверх ядра Fiasco.OC,
позволяет запускать в Genode прикладные программы для GNU/Linux.
При этом ядро L4Linux не имеет непосредственного доступа к аппаратному обеспечению,
а использует сервисы Genode через набор драйверов. В настоящее время Genode поддерживает Qt5, WebKit,
а также различные компоненты Linux и BSD.
Портированием на Genode занимается специальная рабочая группа, созданная в 2019 г. на базе «Иннополиса».
Процедура предусматривает сращивание среды исполнения программ этой операционной системы с программным ядром фреймворка,
имеющим возможность поддержки многочисленных аппаратных платформ (x86, ARM, RISC-V и др.) и гипервизоров,
включая формально верифицированную систему seL4.
Как подчеркнул глава DZ Systems, это позволит упростить и ускорить реализацию и доработку «Фантома».
DZ - Дмитрий Завалишин (персонаж хорошо известный в хакерских кругах) -
когда-то знал его лично, но пути разошлись - человек мега-квалифицированный и упорный - я рад, что он поднял серьезный проект.
В отличие от принципа «все есть файл», применяемого в Unix-подобных системах, к которым относится и популярная в России GNU/Linux – именно на ее основе построено большинство отечественных ОС («Альт», Astra Linux, «Ред ОС» и т.п.), «Фантом» базируется на принципе «все есть объект»..
Операционная система устроена таким образом, что с точки зрения прикладного процесса она никогда не перестает работать, – объясняет особенности своего детища Дмитрий Завалишин. – То есть физическое выключение компьютера для нее – то же самое, что пауза, не более. И прикладные программы при новом старте продолжают работать, как будто отключения не было».
Упрощенно говоря, «Фантом» представляет собой виртуальную машину, которая с заданной периодичностью «сбрасывает» снимки своего состояния (виртуальной памяти) в постоянную память (в некотором роде напоминает гибернацию в Microsoft Windows). Это позволяет в случае отключения питания компьютера или сбоя «откатить» систему к последней успешной транзакции и как ни в чем не бывало продолжить работу.
«В ситуации, когда ОС гарантирует программе вечную работу, каждая переменная такой программы семантически превращается в файл. Это означает, что программа перестает нуждаться в, собственно, файлах для хранения данных, которые требуются для работы. Это включает в себя как данные, которые поставляются вместе с программой, так и данные, порожденные в процессе работы. Нет файлов – нет точки входа для сторонней программы (вируса), нет способа вторгнуться в "личное пространство" программы для модификации ее поведения», – отметил Завалишин в разговоре с CNews, отвечая на вопрос о том, как помогает защититься от вредоносных программ применяемый в ОС «Фантом» подход.
Помимо повышения отказоустойчивости и безопасности, данная особенность «Фантома» упрощает разработку прикладного ПО под эту ОС: программисту, в частности, не нужно заботиться о сохранении данных, а ориентированность системы на управляемый код позволяет отказаться от управления памятью вручную.
Другая важная черта «Фантома», которую отмечают разработчики, – высокая производительность. Она достигается, в частности, за счет использования глобального адресного пространства и отсутствия характерного для современных мейнстримных ОС переключения контекста между ядром и запущенными программами, которое может быть весьма ресурсозатратным, но необходимым по соображениям безопасности.
Со слов Завалишина, сейчас «Фантом» функционирует на базе собственного ядра, которое прямо работает с аппаратурой компьютера.
По словам ректора университета «Иннополис» Александра Тормасова, в ближайшее время разработчики, помимо портирования ОС на Genode, рассчитывают подготовить ее к использованию в реальных проектах, а также добавить поддержку популярных языков программирования.
Ну что, Линус Торвальдс может идти на дембель?! Пусть скажет спасибо Дмитрию - он его освобождает от каторжной работы - "один за всех"!
Портирование Genode OS Framework на новую аппаратную платформу
https://habr.com/ru/post/17720...
Последнее время все больше компаний проявляет интерес к микроядерным операционным системам. Эти системы из разряда академических начинают переходить в разряд ОС для применения в реальных продуктах. Например, представленная недавно платформа Samsung Knox построена с использованием OKL4 Microvisor. Весьма вероятно, что таких решений гораздо больше, но не все производители афишируют используемые технологии, так как на данный момент микроядерные системы, в основном, применяются в сфере информационной безопасности.
Оценили 13 человек
26 кармы