Prvo izdanje QSOE-a, operativnog sustava u stilu QNX s dva zamjenjiva mikrojezgra

Predstavljen je prvi izdanak operativnog sustava QSOE, dizajniranog u stilu QNX i isporučenog s dva zamjenjiva mikrojezgra „Skimmer“ i „seL4“. Na razini jezgre izvršavaju se samo sustav raspodjele resursa, mehanizam sinkronizirane razmjene poruka (QNX IPC) i minimalistička jezgra, dok su svi ostali sastavni dijelovi implementirani u korisničkom prostoru. Podržava rad na 64-bitnim CPU-ima s arhitekturom RISC-V. OS je testiran na ploči SiFive HiFive Unmatched i u QEMU. Kod projekta napisan je na jeziku C i distribuira se pod licencom Apache 2.0.

Na izbor su dostupne opcije: QSOE/N s vlastitim mikrojezgrom Skimmer i QSOE/L na temelju mikrojezgra seL4, koje ima formalnu verifikaciju pouzdanosti za arhitekturu RISC-V. Osim toga, razvija se učitavač mr-bml temeljen na GRUB-u 2.13, standardna biblioteka libc i set programa quser. U setu programa nalazi se komandna ljuska qsh temeljena na mksh, sustav inicijalizacije i skup tipičnih unix alata, kao što su ls, cat, ps, lspci i login.

Mikrojezgro Skimmer koristi implementaciju laganih niti u jezgru (LWKT, Light Weight Kernel Threads) posuđenu iz projekta DragonFly BSD s radnim redovima vezanim uz CPU i primitivan za prijenos poruka msgport. QSOE omogućuje korištenje različitih jezgri s jednim korisničkim okruženjem i setom drajvera, koji ostaju nepromijenjeni pri promjeni jezgre. U vezi s jezgrama sastavljaju se samo upravitelj zadataka (taskman) i knjižnica libc koja predstavlja oblogu nad QNX-sličnim API-jima, koje pružaju mikrojezgri.

┌──────────────────────────────────────────────────────────┐
│ qsh + drajveri + alati (dynamically linked) │
├──────────────────────────────────────────────────────────┤
│ libc.so (shared body; LQ-specific seam in lq/libc/) │
│ rtld (FreeBSD-derived; BSD-2-Clause) │
├──────────────────────────────────────────────────────────┤
│ taskman upravitelj procesa / memorije / putanje │
│ libtaskman prenosiva tijela taskmana (putanja / vjerodajnica / │
│ syscfg / sinkronizacija / relokacija / cpio / elf) │
├──────────────────────────────────────────────────────────┤
│ seL4 mikrojezgro (RISC-V Sv39, formalno verificirano) │
│ elfloader (učitava jezgru + taskman) │
└──────────────────────────────────────────────────────────┘

Prvo izdanje QSOE ističe se postizanjem mogućnosti pokretanja i pristupa komandnoj ljusci na stvarnoj SiFive Unmatched (FU740) ploči s NVMe pohranom. Uspješno pokretanje ostvareno je za konfiguracije s obje jezgre (QSOE/L i QSOE/N).

Izvor: opennet.ru

Kupite pouzdan hosting za web stranice s DDoS zaštitom, VPS VDS servere 🔥 Kupite pouzdan hosting za web stranice s DDoS zaštitom, VPS VDS servere | ProHoster