Lëshimi i parë i QSOE, një sistem operativ në stilin QNX me dy mikrocore të zëvendësueshëm

Është prezantuar rregjistrimi i parë i sistemit operativ QSOE, i projektuar në stilin QNX dhe i pajisur me dy mikrojezga të zëvendësueshme "Skimmer" dhe "seL4". Në nivelin e jezgës ekzekutohen vetëm sistemi i shpërndarjes së burimeve, mekanizmi i komunikimit të sinkronizuar (QNX IPC) dhe një bërthamë minimalistike, ndërsa komponentët e tjerë zbatohen në hapësirën e përdoruesit. Mbështetet funksionimi në CPU 64-bit me arkitekturë RISC-V. OS është testuar në platinë SiFive HiFive Unmatched dhe në QEMU. Kodi i projektit është shkruar në gjuhën C dhe shpërndahet nën licencën Apache 2.0.

Mundësitë e zgjedhjes janë: QSOE/N me mikrojezgën e vet Skimmer dhe QSOE/L mbi bazën e mikrojezges seL4, e cila ka një verifikim formal të besueshmërisë për arkitekturën RISC-V. Përveç kësaj, zhvillohet ngarkuesi mr-bml mbi bazën e GRUB 2.13, biblioteka standarde libc dhe një grup programesh quser. Në përmbajtjen e grupit të programeve përfshihet shell-i qsh mbi bazën e mksh, sistemi i inicializimit dhe një grup utilitarësh standardë unix, të tillë si ls, cat, ps, lspci dhe login.

Mikrojezgja Skimmer përdor një implementim të lehtë për t'u përdorur të hua nga projekti DragonFly BSD për rrjedhat e lehta (LWKT, Light Weight Kernel Threads) me radhë pune të lidhura me CPU dhe primitivë të transferimit të mesazheve msgport. QSOE lejon përdorimin e jezgavëve të ndryshëm me një mjedis të vetëm për përdoruesit dhe një grup drejtuesish, të cilët nuk ndryshojnë me ndërrimin e mikrojezga. Në lidhje me jezgat, ndërtohen vetëm menaxheri i detyrave (taskman) dhe biblioteka libc, e cila shërben si një lidheze mbi API-të e ngjashme me QNX që ofrohen nga mikrojezgjat.

┌──────────────────────────────────────────────────────────┐
│ qsh + drejtuesit + utilitarët (të lidhur dinamikisht) │
├──────────────────────────────────────────────────────────┤
│ libc.so (trupi i ndarë; qepje specifike për LQ në lq/libc/) │
│ rtld (i bazuar në FreeBSD; BSD-2-Clause) │
├──────────────────────────────────────────────────────────┤
│ taskman menaxher i procesit / memorjes / rrugës │
│ libtaskman trupi portativ i taskman (rrugë / besim / │
│ syscfg / sinkronizim / reloc / cpio / elf) │
├──────────────────────────────────────────────────────────┤
│ mikrojezgja seL4 (RISC-V Sv39, verifikuar formalisht) │
│ elfloader (ngarkon mikrojezgën + taskman) │
└──────────────────────────────────────────────────────────┘

Rregjistrimi i parë i QSOE është i njohur për arritjen e mundësisë së ngarkimit dhe hyrjes në shell-in e komandave në platinë e vërtetë SiFive Unmatched (FU740) me një përmirësues NVMe. Ngarkimi i suksesshëm është zbatuar për konfigurimet me të dyja mikrojezgzat (QSOE/L dhe QSOE/N).

Burimi: opennet.ru