Projektet Redox OS har presenterat paketförvaltaren pkgar, skriven i Rust

Utvecklarna av operativsystemet Redox, skrivet med hjälp av programmeringsspråket Rust och mikrokernelkonceptet, har presenterat ny paketmanager pkgar. Inom projektet utvecklas ett nytt paketformat, ett bibliotek för hantering av paket och ett kommandoradsverktyg för att skapa och extrahera kryptografiskt verifierade samlingar av filer. Koden pkgar är skriven i Rust och sprids licensieras under MIT.

pkgar-formatet gör inte anspråk på att vara universellt och är optimerat med hänsyn till de specifika egenskaperna hos operativsystemet Redox OS. Paketmanagern stöder verifiering av källan genom digital signatur och integritetskontroll. Kontrollsummor beräknas med hjälp av hash-funktionen blake3. Den verifieringsrelaterade funktionaliteten hos pkgar kan nås utan att faktiskt spara paketarkivet, endast genom att manipulera med headerdelen. I synnerhet består paketet av en headerfil (.pkgar_head) och en datafil (.pkgar_data). Ett korrekt signerat fullständigt samlat paket (.pkgar) kan erhållas genom att enkelt sammanfoga headerfilen med datafilen ("cat example.pkgar_head example.pkgar_data > example.pkgar").

Headerfilen innehåller separata kontrollsummor för headern och strukturer med parametrar från datafilen, samt en digital signatur för att verifiera paketet. Datafilen inkluderar en sekventiell uppräkning av alla filer och kataloger som ingår i paketet. Före varje dataelement ges en struktur med metadata som inkluderar kontrollsumman för själva datan, storlek, åtkomsträttigheter, den relativa sökvägen till den installerade filen och förskjutningen av parametrarna för nästa dataelement. Om vissa filer inte har ändrats under uppdateringen och kontrollsumman matchar, så hoppar man över dem och laddar inte ner.

Integriteten för källan kan kontrolleras enbart genom att få headerfilen, och korrektheten av den valda datafilen kan verifieras genom att endast ladda ner strukturerna med parametrarna för den filen och säkerställa att de överensstämmer med kontrollsumman som är verifierad i headerfilen. Själva datan kan verifieras efter att den har laddats ner, med kontrollsumman från strukturen med parametrar som föregår datan.

Paket ska ursprungligen innebära möjligheten till återkommande byggande, vilket innebär att skapandet av ett paket för en viss katalog alltid resulterar i bildandet av ett identiskt paket. Efter installationen lagras endast metadata i systemet, vilket räcker för att rekonstruera paketet från de installerade uppgifterna (pakettets sammansättning, kontrollsummor, vägar och behörigheter finns i metadatan).

Huvudsyften med pkgar:

• Atomaritet — uppdateringar tillämpas automatiskt när det är möjligt.
• Trafikbesparing — data överförs över nätverket endast vid förändring av hash (vid uppdatering laddas endast ändrade filer ner).
• Hög prestanda, snabba kryptografiska algoritmer används (blake3 stödjer parallell behandling av data vid beräkning av hash). Om uppgifterna från lagret inte har cachats tidigare, kan hashen för de nedladdade uppgifterna beräknas under nedladdningen.
• Minimalism — till skillnad från andra format inkluderar pkgar endast den metadata som krävs för att extrahera paketet.
• Oberoende av installationskatalog — paket kan installeras i valfri katalog av vilken användare som helst (användaren måste ha skrivbehörighet i den valda katalogen).
• Säkerhet — paket verifieras alltid kryptografiskt, och verifieringen utförs före faktiska operationer med paketet (först laddas headern ner och om den digitala signaturen är korrekt, laddas data ner till en temporär katalog, som flyttas till målkatalogen efter verifiering).

Källa: opennet.ru