Redoxi operatsioonisüsteemi arendajad avalikustasid hiljuti mida nad on tutvustanud uus paketihaldur pkgar, mida süsteemis kasutatakse.
Neile, kes ei tea Redoxist mis see on operatsioonisüsteem et Selle põhirõhk on see, et selle arendamisel kasutatakse Rust keelt ja mikrotuuma kontseptsiooni kus tuuma tasandil pakutakse ainult suhtlust protsesside ja ressursside haldamise vahel ning kogu muu funktsionaalsus kantakse üle teekidesse, mida saavad kasutada nii kernel kui ka kasutajaagendid.
Projekti raames väljatöötamisel on uus paketivorming, teek koos paketihalduse funktsioonide ja käsurea tööriistaga krüptograafiliselt kontrollitud failide kogu loomiseks ja väljavõtmiseks.
Pkgari formaat pole mõeldud universaalseks ja see on optimeeritud, võttes arvesse Redox OS-i operatsioonisüsteemi eripära.
Paketihaldur toetab allika kinnitamist digitaalallkirja ja terviklikkuse kontrollimisega. Kontrollsummad arvutatakse räsifunktsiooni blake3 abil. Pkgari kontrollifunktsionaalsusele pääseb juurde ilma pakifaili tegelikult salvestamata, manipuleerides ainult päiseosaga.
Eelkõige pakett koosneb päisefailist (.pkgar_head) ja andmefail (.pkgar_data). Korralikult allkirjastatud täieliku kokkuvõtte paketi (.pkgar) saab lihtsalt päisefaili andmefaili manusega.
Päisefail sisaldab päise ja andmefaili parameetriseeritud struktuuride eraldi kontrollsummasid ning paketi kontrollimiseks digitaalset allkirja.
Andmefail sisaldab kõigi tarnitud failide ja kataloogide järjestuslikku loendit pakendis. Enne iga andmeelementi on metaandmetega struktuur, mis sisaldab andmete enda kontrollsummat, suurust, juurdepääsuõigusi, installitava faili suhtelist teed ja järgmise andmeelemendi parameetrite nihet.
Kui värskendamise käigus pole üksikud failid muutunud ja kontrollsumma kattub, jäetakse need vahele ja neid ei laadita alla.
Allika terviklikkust saab kontrollida, hankides ainult päisefaili ja valitud andmefaili õigsuse, laadides selle faili parameetritega ainult struktuurid ja veendudes, et need vastavad päisefailis kontrollitud kontrollsummale.
Otse saab andmeid ise pärast nende allalaadimist kontrollida, kasutades struktuuri kontrollsummat koos andmetele eelnevate parameetritega.
Esialgu paketid tähendavad korduva kokkupaneku võimalust, mis tähendab, et konkreetse kataloogi jaoks paketi loomine viib alati identse paketi moodustamiseni. Pärast installimist salvestatakse süsteemi ainult metaandmed, mis on piisav paketi taastamiseks installitud andmetest (metaandmetes on saadaval paketi koostis, kontrollsummad, teed ja juurdepääsuõigused).
Pkgari peamised eesmärgid:
- Aatom: värskendused rakendatakse igal võimalusel automaatselt.
- Liikluse kokkuhoid: andmeid edastatakse võrgu kaudu ainult siis, kui räsi muutub (värskendamise ajal laaditakse alla ainult värskendatud failid).
- Kaasatud on suure jõudlusega kiired krüptograafilised algoritmid (blake3 toetab räsi arvutamisel andmetöötluse paralleelsust). Kui hoidla andmeid pole varem vahemällu salvestatud, saab alglaadimisel allalaaditud andmetele arvutada räsi.
- Minimalism: Erinevalt teistest vormingutest sisaldab pkgar ainult paketi väljavõtmiseks vajalikke metaandmeid.
- Installimiskataloogi sõltumatus: Iga kasutaja saab paketi installida mis tahes kataloogi (kasutajal peab olema õigus valitud kataloogi kirjutada).
- Turvalisus: paketid kontrollitakse alati krüptograafiliselt ja kontroll tehakse enne pakettide tegelike toimingute tegemist (kõigepealt laaditakse päis ja kui digitaalallkiri on õige, kantakse andmed ajutisse kataloogi, mis viiakse pärast kinnitamist kataloogi sihtkohta).