Redox OS projekti tutvustas pakihaldurit pkgar, mis on kirjutatud Rust keeles

Operatsioonisüsteemi arendajad Redox, kirjutatud Rust keelt ja mikrokerne kontsepti kasutades, esitanud uus pakihaldur pkgar. Projekti raames arendatakse uut pakendiformaati, pakihalduri funktsioonide teeki ja käsureatööriistu krüptograafiliselt kontrollitud failikogumi loomiseks ja ekstrakteerimiseks. pkgar kood on kirjutatud Rust keeles ja levitatakse MIT litsentsi alusel.

Pkgar formaat ei pretendeeri universaalsusele ja on optimeeritud Redox OS operatsioonisüsteemi spetsiifikat arvesse võttes. Pakihaldur toetab allika kinnitamist digitaalsete allkirjadega ja terviklikkuse kontrollimist. Kontrollsummad arvutatakse hash-funktsiooni abil blake3. Pakihalduri kinnitamise funktsionaalsust võib kasutada ilma pakihalduse arhiivi tegeliku salvestamiseta, manipuleerides ainult päist osa. Eelkõige koosneb pakett päise failist (.pkgar_head) ja andmefailist (.pkgar_data). Korrektselt allkirjastatud täieliku pakendi (.pkgar) saab luua ühendades päisefaili andmefailiga („cat example.pkgar_head example.pkgar_data > example.pkgar“).

Päisefail sisaldab eraldi kontrollsummasid päise ja andmefaili parameetrite struktuuride jaoks, samuti digitaalset allkirja pakendi kontrollimiseks. Andmefail sisaldab järjestikku loetletud kõiki faile ja kaustu, mis on pakendis. Iga andmeelementi eelneb metainformatsiooni struktuur, mis sisaldab kontrollsummat andmete jaoks, suurust, õigusi, paigaldatava faili suhtelist teed ja järgmise andmeelemendi parameetrite nihke. Kui uuendamise käigus ei ole eraldi faile muudetud ja kontrollsumma klappib, siis need jäetakse vahele ja ei laadita alla.

Allika terviklikkust saab kontrollida, kui saada ainult päisefail, ja valitud andmefaili õigsust, laadides alla vaid selle faili parameetrite struktuurid ja veendudes nende kokkulangevuses päisefailis allkirjastatud kontrollsummaga. Otseselt andmeid saab kontrollida pärast nende allalaadimist, kasutades kontrollsummat parameetrite struktuurist, mis käib andmete eel.

Paketid eeldavad algselt korduva ehituse võimalust, mis tähendab, et paketi loomine kindlasse katalooge viib alati identse paketi moodustamiseni. Pärast süsteemis installimist jäävad alles ainult metainformatsioon, mis on piisav paketi rekonstrueerimiseks installitud andmetest (paketi koostis, kontrollsummad, teed ja õigused on metainformatsioonis).

Pkgar peamised eesmärgid:

• Atoomilisus — uuendused rakenduvad automaatselt, kui see on võimalik.
• Liikluse säästmine — andmeid edastatakse võrgus ainult siis, kui hashi muudatakse (uuendamisel laaditakse alla ainult muudetud failid).
• Kõrge jõudlus, kasutatakse kiireid krüptograafilisi algoritme (blake3 toetab andmete töötlemise paralleelset täitmist hash'i arvutamisel). Kui andmed hoidlast ei ole varem vahemälusse salvestatud, võib laaditavate andmete hash'i arvutada laadimise ajal.
• Minimalism — erinevalt teistest formaatidest sisaldab pkgar ainult metainformatsiooni, mis on vajalik paketi eraldamiseks.
• Paigalduskausta sõltumatus — paketti saab installida ükskõik millisesse katalooge, ükskõik millise kasutaja poolt (kasutajal peab olema kirjutamisõigus valitud katalooge).
• Turvalisus — pakette kontrollitakse alati krüptograafiliselt, ning kontrollimine toimub enne tõelisi toiminguid paketiga (kui alguses laaditakse alla pealkiri ja digitaalallkiri on õige, laaditakse ajutisse katalooge andmed, mis liiguvad sihtkatalooge pärast kontrollimist).

Allikas: opennet.ru