Dimittis de MirageOS 4.0, suggestum ad applicationes currens super hypervisoris

Post annum et dimidium evolutionis, emissio MirageOS 4.0 propositi divulgata est, quae creationem systematum operandi ad unam applicationem permittit, in qua applicatio "unikernel" in se contenta liberatur, sine currendi capax. usus systemata operandi, nucleus separatus OS et quibusvis laminis. Lingua OCaml ad applicationes explicandas adhibetur. Propositum signum sub gratuita ISC licentia distribuitur.

Omnis humilitas campestris functionis inhaerens rationi operanti impletur in forma bibliothecae, quae applicationi adnectitur. Applicatio explicari potest in aliquem OS, post quem in nucleum specialem (conceptio unikernel), qui directe currere potest super Xen, KVM, BHyve et VMM (OpenBSD) hypervisores, super tabulata mobilia, in form of a process in a POSIX-compliant environment or in cloud ambitus Amazon Elastic Compute Cloud and Google Compute Engine.

Ambitus genitus nihil superfluum et inter se cohaeret cum hypervisore sine stratis rectoribus vel systematis, quod permittit ut significantem reductionem in capitis sumptibus et securitatem augeat. Laborans cum MirageOS ad tres gradus descendit: conformationem praeparans cum definiendis fasciculis OPAM in ambitu usitatis, ambitum colligens, ambitum deducendo. Ut operationem super hypervisores, Runtime ex nucleo Solo5 aedificatur.

Quamquam applicationes et bibliothecae in lingua OCaml summo gradu creantur, ambitus inde demonstrant satis bene perficiendi et minimae magnitudinis (exempli gratia, DNS cultor tantum 200 KB occupat). Victus ambituum etiam simplicior est, quia, si necesse est rationem renovare vel configurationem mutare, satis est novum ambitum creare ac deducere. Plures centum bibliothecae in lingua OCaml sustentantur ad operationes retis conficiendas (DNS, SSH, OpenFlow, HTTP, XMPP, Matrix, OpenVPN, etc.), cum repositione operando et notitias parallelas comparandas.

Clavis emendandi:

  • Processus scribendorum inceptorum et unikernel mutatus est. Loco systematis conventus antea adhibitae ocamlbuild, dune toolkit et repositoria localia (monorepo) adhibentur. Ad huiusmodi repositoria facienda, nova utilitas, opam-monorepo, addita est, quae efficit ut sarcinam ab aedificando codice fonte separare possit. Opam-monorepo utilitas laborat ut scrinia creandi pro clientela actis projectorum, dependens codicem onerantem et extrahendum, et ambitum instituat ut ratio aedificandi dune utatur. Actualis ecclesia a toolkit dune peragitur.
  • Iterabile processum constructum proferat. Lima utens cincinnis praebet nexum versionum dependentiae ac permittit ut processum aedificandi omnino cum eodem codice quovis tempore repetas.
  • Novus processus crucis-compilation ad effectum adducta est et facultas transeundi compilandae omnibus fultis scoparum suggestuum ab uno communi ambitus constructo cavetur, qui etiam clientelas et bibliothecas cross-compiles quae ligaturas C habent, sine necessitate ad has ligaturas addendi sunt. pelagus sarcina. Crux compilatio ordinatur utens workspaces a dune systema constructum.
  • Auxilio novis machinis suggestis additis, exempli gratia, facultas experimentalis applicationes sui contentas aedificandi ad currendum in Raspberry Pi 4 tabulis provisum est.
  • Opus factum est ut partes MirageOS in oecosystematis ecosystematis evolutionis in lingua OCaml perficiant ut congregationem applicationum in specie unikernel simpliciorem redderet. Multae MirageOS fasciculi ad systema fabricandi dune portati sunt. Opam-monorepo utilitas praesto est ad institutionem utendi procuratoris sarcinae opam et adhiberi potest in inceptis quae ratio aedificandi dune utuntur. Ad conservandum inaequalitates quae quaestiones solvendas cum dependentiis aedificandis in dune, duo repositoria creata sunt: ​​dune-universi/opam-obductiones et dune-universae/mirag-opam-obductiones, quae possunt per defaltam cum utilitate monstri CLI utens.
  • MirageOS integratio cum C et Rust bibliothecis facilior facta est.
  • Novum OCaml runtime propositum est quod te sine libc facere sino (libc-free).
  • Fieri potest uti Merlini servitio ad integrationem cum norma evolutionis integratae ambitus.

Source: opennet.ru