Theseus OS

[vak]

На языке Rust разрабатывается уже не одна операционная система, и самая известная из них Redox. Но моё внимание привлёк проект Theseus, как наиболее органичное переосмысление управления ресурсами и вообще организация системы из компонентов. Сдаётся мне, эта штука отлично подходит для встроенных применений и всякого IoT.

Статья с прошлогодней конференции Usenix: "Theseus: an Experiment in Operating System
Structure and State Management"

Исходные тексты: https://github.com/theseus-os/Theseus

Comments

[juan_gandhi]

Какой хороший и правильный прогресс!

[johnconst.livejournal.com]

чего только не придумают, нет, чтобы Genode развивать и seL4

[vak]

История Mach и Minix показывает, что микроядерный подход не годится, увы. Несмотря на всю красоту идеи.

[johnconst.livejournal.com]

Правда что-ли ? Ну вот интел внутри Intel Management Engine использует minix, начиная со Skylake

Вот еще, как L4 не "используется"
OKL4 shipments exceeded 1.5 billion in early 2012,[2] mostly on Qualcomm wireless modem chips. Other deployments include automotive infotainment systems.[13]

Apple A series processors beginning with the A7 contain a Secure Enclave coprocessor running an L4 operating system[14] based on the L4-embedded kernel developed at NICTA in 2006.[15] This implies that L4 is now shipping on all iOS devices, the total shipment of which is estimated at 310 million for the year 2015.[16]

[vak]

Ну, наверное. Верю на слово. В каких-то нишах может и теплится. Но заявлялось как ОС общего назначения, в замену всех этих юниксов и виндовсов. Даже на рынке RTOS не прижилось.

[johnconst.livejournal.com]

одна из важных причин использования L4 операционок, это формальная верифицируемость.

Starting with ME 11, it is based on the Intel Quark x86-based 32-bit CPU and runs the MINIX 3 operating system.[13] The ME state is stored in a partition of the SPI flash, using the Embedded Flash File System (EFFS).[14] Previous versions were based on an ARC core, with the Management Engine running the ThreadX RTOS. Versions 1.x to 5.x of the ME used the ARCTangent-A4 (32-bit only instructions) whereas versions 6.x to 8.x used the newer ARCompact (mixed 32- and 16-bit instruction set architecture). Starting with ME 7.1, the ARC processor could also execute signed Java applets.


Эндрю Таненбаум, труды которого в своё время вдохновили Линуса Торвальдса на создание ядра Linux, опубликовал открытое письмо к компании Intel, в котором высказал благодарность за использование операционной системы MINIX в составе прошивки чипа Intel ME 11 (Management Engine). Intel ME 11 поставляется во всех современных ПК и ноутбуках с процессорами Intel, что делает MINIX наиболее широко используемой ОС в мире.
https://www.opennet.ru/opennews/art.shtml?num=47539

[vak]

Я только _за_ формальную верифицируемость. Когда-то, лет десять назад я мечтал перейти на Minix 3 на своём десктопе. Не взлетело.

Про Minix на Intel ME я читал. Печально всё это. И даже там, где нужна защищённость, типа Trusted Boot, всё равно микроядерные ОС не применяются.

[johnconst.livejournal.com]

Про Minix на Intel ME я читал. Печально всё это. И даже там, где нужна защищённость, типа Trusted Boot, всё равно микроядерные ОС не применяются.

Как же не применяются, а это, что по вашему

Apple A series processors beginning with the A7 contain a Secure Enclave coprocessor running an L4 operating system[14] based on the L4-embedded kernel developed at NICTA in 2006

https://support.apple.com/guide/security/secure-enclave-sec59b0b31ff/web