Технологии

Ядро и память

Микроядерное направление. Ядро предоставляет общие механизмы управления памятью и жизненным циклом компонентов.

GSL

Язык проекта для ядра и служб. Текущий компилятор переводит GSL в C, который компилируется Clang.

IPC и безопасность

Изолированные компоненты обмениваются сообщениями через IPC. Испытания проверяют, что при завершении компонента система отзывает его полномочия и освобождает ресурсы.

Графика

В QEMU можно открыть «Хаб» и терминал. Композитор использует сохранённые поверхности в проверенных сценариях рабочего стола.

Как устроена Guseva OS

Ядро и ресурсы

Ядро управляет адресными пространствами и жизненным циклом компонентов. Доступ к ресурсам выдаётся через полномочия, которые ядро проверяет при обращении. При завершении компонента испытания проверяют освобождение памяти и отзыв выданных полномочий.

Службы и драйверы

Системные компоненты взаимодействуют через IPC — обмен сообщениями между изолированными компонентами. Ядро предоставляет общие механизмы, а протокол конкретного устройства реализует его драйвер.

Язык и сборка

На GSL пишутся ядро и службы. Текущий компилятор преобразует исходники GSL в C, затем Clang собирает объектный код. ОС загружается через UEFI на x86-64, а целевые сценарии проверяются в QEMU.

Рабочий стол и окна

Композитор хранит изображения окон отдельно от фона. В этапе 236 проверены открытие «Хаба», запуск терминала и восстановление исходного кадра после закрытия. Общая интеграция окон независимых приложений остаётся в работе.

Технический отчёт этапа 236