Ka mor'a selemo le halofo ea tsoelo-pele, morero oa MirageOS 4.0 o lokollotsoe, o lumella ho thehoa ha mekhoa ea ts'ebetso bakeng sa kopo e le 'ngoe, moo kopo e fanoang e le "unikernel" e ikemetseng, e khonang ho sebetsa ntle le tšebeliso ea ts'ebetso. litsamaiso, kernel ea OS e arohaneng le likarolo life kapa life. Puo ea OCaml e sebelisoa ho nts'etsapele lits'ebetso. Khoutu ea projeke e ajoa tlasa laesense ea mahala ea ISC.
Ts'ebetso eohle ea boemo bo tlase e amanang le sistimi ea ts'ebetso e kengoa ts'ebetsong ka mokhoa oa laeborari e hoketsoeng ts'ebelisong. Kopo e ka ntlafatsoa ho OS leha e le efe, ka mor'a moo e bokelloa ho kernel e khethehileng (unikernel concept), e ka tsamaeang ka ho toba ka holim'a Xen, KVM, BHyve le VMM (OpenBSD) hypervisors, ka holim'a li-platform tsa mobile, mokhoa oa ts'ebetso tikolohong e lumellanang le POSIX kapa tikolohong ea maru Amazon Elastic Compute Cloud le Google Compute Engine.
Tikoloho e hlahisitsoeng ha e na ntho leha e le efe e sa hlokahaleng mme e sebelisana ka ho toba le hypervisor ntle le bakhanni kapa likarolo tsa tsamaiso, e leng se lumellang ho fokotseha ho hoholo ha litšenyehelo tse holimo le ts'ireletso e eketsehileng. Ho sebetsa le MirageOS ho theohela methating e meraro: ho lokisa tlhophiso ka ho hlalosa liphutheloana tsa OPAM tse sebelisoang tikolohong, ho bokella tikoloho, le ho qala tikoloho. Ho netefatsa ts'ebetso ka holim'a li-hypervisors, Runtime e hahiloe motheong oa kernel ea Solo5.
Leha taba ea hore lits'ebetso le lilaebrari li entsoe ka puo ea boemo bo holimo ea OCaml, maemo a teng a bonts'a ts'ebetso e ntle le boholo bo fokolang (mohlala, seva sa DNS se nka 200 KB feela). Tlhokomelo ea tikoloho e boetse e nolofalitsoe, kaha haeba ho hlokahala ho ntlafatsa lenaneo kapa ho fetola tlhophiso, ho lekane ho theha le ho qala tikoloho e ncha. Lilaebrari tse makholo a 'maloa ka puo ea OCaml li tšehetsoa bakeng sa ho etsa ts'ebetso ea marang-rang (DNS, SSH, OpenFlow, HTTP, XMPP, Matrix, OpenVPN, joalo-joalo), ho sebetsa ka polokelo le ho fana ka ts'ebetso ea data e tšoanang.
Lintlafatso tsa mantlha:
- Mokhoa oa ho bokella merero le unikernel o fetotsoe. Sebakeng sa sistimi ea kopano ea ocamlbuild e neng e sebelisoa pele, ho sebelisoa sesebelisoa sa lithulusi tsa dune le polokelo ea lehae (monorepo). Ho theha polokelo e joalo, sesebelisoa se secha, opam-monorepo, se ekelitsoe, e leng se nolofalletsang ho arola tsamaiso ea liphutheloana ho tloha mohahong ho tloha mohloling oa mohloli. Ts'ebeliso ea opam-monorepo e sebetsa joalo ka ho theha lifaele tsa senotlolo bakeng sa litšepeho tse amanang le projeke, ho kenya le ho ntša khoutu ea ts'epo, le ho theha tikoloho ho sebelisa sistimi ea kaho ea litutulu. Kopano ea 'nete e etsoa ke sesebelisoa sa lithulusi tsa dune.
- Ho fanoe ka ts'ebetso ea kaho e phetoang. Ho sebelisa lifaele tsa senotlolo ho fana ka sehokelo ho liphetolelo tsa ho its'etleha 'me ho u lumella ho pheta ts'ebetso ea kaho ka ho felletseng ka khoutu e ts'oanang ka nako efe kapa efe.
- Ts'ebetso e ncha ea ho kopanya e se e kentsoe ts'ebetsong 'me bokhoni ba ho tšela lipolanete tsohle tse tšehelitsoeng ho tsoa tikolohong e le' ngoe e tloaelehileng ea kaho bo fanoe, hape bo kopanyang ho its'etleha le lilaebrari tse nang le litlamo tsa C, ntle le tlhoko ea ho kenyelletsa litlamo tsena ho sephutheloana se seholo . Ho bokellana ho hlophisitsoe ho sebelisoa libaka tsa mosebetsi tse fanoeng ke sistimi ea kaho ea litutulu.
- Ts'ehetso bakeng sa liforomo tse ncha tse reretsoeng ho eketsoa, mohlala, ho fanoe ka bokhoni ba liteko ba ho iketsetsa likopo tsa ho sebetsa ka liboto tsa Raspberry Pi 4.
- Ho entsoe mosebetsi oa ho kopanya likarolo tsa MirageOS ho tikoloho e amanang le nts'etsopele ea puo ea OCaml ho nolofatsa kopano ea likopo ka mokhoa oa unikernel. Liphutheloana tse ngata tsa MirageOS li kentsoe tsamaisong ea kaho ea dune. Sesebelisoa sa opam-monorepo se fumaneha bakeng sa ho kenngoa ho sebelisoa mookameli oa sephutheloana sa opam 'me se ka sebelisoa mererong e sebelisang mokhoa oa ho haha oa dune. Ho boloka maqeba a rarollang mathata a ho itshetleha ha moaho dune, ho theilwe dipolokelo tse pedi: dune-universe/opam-overlays le dune-universe/mirage-opam-overlays, tse nolofaletswang ka ho sa feleng ha ho sebediswa sesebediswa sa mirage CLI.
- Khokahano ea MirageOS le lilaebrari tsa C le Rust e nolofalitsoe.
- Ho hlahisitsoe nako e ncha ea ho sebetsa ea OCaml e u lumellang ho etsa ntle le libc (mahala ea libc).
- Hoa khoneha ho sebelisa tšebeletso ea Merlin bakeng sa ho kopanngoa le maemo a tloaelehileng a ntlafatso a kopanetsoeng.
Source: opennet.ru