┌─[nonos@] └──╼ | nonos-ydin | Muistinhallinta ja binaaripäivitys. Ydin on siirtynyt turvallisempaan, todennettavissa olevaan järjestelmään. Tämä vaihe viimeistelee osittain sen muistialijärjestelmän, binäärirakenteen ja yleisen rakennuksen eheyden arkkitehtonisen muutoksen. Ydin käännetään nyt 71 872 tavun staattisena ELF64-suoritettavana tiedostona, joka on riisuttu, optimoitu ja toistettavissa eri koontiversioissa. Jokainen osio on sivulle kohdistettu, validoitu ja eksplisiittisesti määritelty binääritasolla. Kuva toimii suoraan pitkässä tilassa paljaalla metallilla, ei siirtoja, ei dynaamista linkittämistä, ei ajonaikaista latausta. Deterministinen järjestelmä. Tietoturvan valvonta on ehdotonta. Write-XOR-Execute (W^X) -yhteensopivuus on täysin toteutettu koko kuvassa. Koodiosiot ovat suoritettavia, mutta eivät koskaan kirjoitettavia. Data- ja pinosegmenttejä ei voi suorittaa. Tämä takaa eristyksen käskyn ja datamuistin välillä, mikä eliminoi rajat ylittävän muistin vioittumisesta riippuvaisten hyväksikäyttöjen luokan. Ydin toimii suljettuna, todennettavissa olevana ELF-kuvana, jossa ei ole muuttuvaa koodia. i) Muistinhallintakerrosta on parannettu kokonaan. Vanha lineaarinen kekoonjakolaite on korvattu kaveriallokaattorilla, jolla on logaritminen allokointi ja poistosuoritus. Kaikki muistitoiminnot sisältävät nyt allokoinnin metatiedot, kanarialintujen arvot, ylivuodon havaitsemisen, aikaleiman rikosteknistä seurantaa varten ja turvallisen nollauksen sopimuksen sijainnissa. Yli 130 paniikki- ja purkamispolkua on poistettu ja korvattu tulospohjaisella deterministisellä virheenkäsittelyllä. Pinosuojat ja eheystarkistukset ovat aktiivisia koko suorituksen ajan. Sivualijärjestelmä esittelee eksplisiittiset sivutason metatiedot, salatut muistialueet ja oikean TLB-synkronoinnin. Jokainen sivutaulukon toiminto on validoitu, virheen levittämä ja atominen. Nämä mekanismit muodostavat perustan tuleville NUMA- ja sivujen salausominaisuuksille, jotka on suunniteltu myöhempään kehitykseen. ii) Rakennusprosessi saavuttaa nyt täyden toistettavuuden ja todennuksen. Käyttämällä mukautettua kohdemääritystä x86_64-nonos:lle kaikki riippuvuudet käännetään staattisesti hallitulla LTO-optimoinnilla. Tuloksena oleva binaari läpäisee ELF64- ja Multiboot-yhteensopivuuden validoinnin ja suoritetaan täysin itsenäisenä näköistiedostona. Jokainen koontiversio voidaan tarkistaa kryptografisesti viitekoosteen perusteella toistettavuuden varmistamiseksi. iii) Suorituskykymittaukset osoittavat valtavia tehokkuushyötyjä. Allokointiviive pienenee noin yhdeksänkymmentä prosenttia. Paniikkivapaa virheenkäsittely ja turvallinen nollaus suoritetaan nyt deterministisesti kuormitettuna. Muistin pirstoutuminen on edelleen mitätön kahden kaverin voimajärjestelmän rakenteen vuoksi. Kaikki suuret ajonaikaiset viat kasautuvat, sivut tai pinot heikkenevät sulavasti ilman ytimen paniikkia. Arkkitehtonisesti ydin noudattaa nyt neljää ohjaavaa periaatetta: nollapaniikkisuunnittelu, syvällinen puolustus, deterministinen toistettavuus ja minimaalinen luottamuspinta. Nämä periaatteet määrittelevät jokaisen toteutuspäätöksen matalan tason MMU-operaatioista korkean tason allokaattorikäytäntöihin. Seuraavat tavoitteet keskittyvät salattujen sivujen tukeen, NUMA-optimointiin ja reaaliaikaiseen muistitelemetriaan. Keskipitkän aikavälin työhön kuuluu Intel CET:n integrointi ohjausvirran eheyden takaamiseksi ja rikosteknisen muistin alijärjestelmän laajentaminen virheenkorjausta ja post mortem -analyysiä varten. Pidemmällä aikavälillä etenemissuunnitelma sisältää kvanttikestävän salaussuojauksen muistin salausavaimille ja mukautuvan koneoppimispohjaisen allokointiheuristiikan. 71 kt:n kuva on kompakti, tehokas ja suunniteltu erityisesti NØNOSin edustamaa laskentaa varten: laskentaa, johon voi luottaa, koska se on läpinäkyvä, mitattavissa ja vapaa ulkoisesta riippuvuudesta. Huomenna annamme päivityksen NOXORIUSista, kuten laukaisun lähestymisestä ✍️